yusuke1997/dblp-id-title huggingface dataset:
A New Text-Independent Speaker Identification Using Vector Quantization and Multi-layer Perceptron
Multi-view Moving Human Detection and Correspondence Based on Object Occupancy Random Field
A New Denoising Approach for Sound Signals Based on Non-negative Sparse Coding of Power Spectra
A New Method for Image Quantization Based on Adaptive Region Related Heterogeneous PCNN
Global Passivity of Stochastic Neural Networks with Time-Varying Delays
Fixed-Priority Scheduling Policies and Their Non-utilization Bounds
Research on SSVEP-Based Controlling System of Multi-DoF Manipulator
Unsupervised Learning for Hierarchical Clustering Using Statistical Information
An Adjacent Multiple Pedestrians Detection Based on ART2 Neural Network
A Novel Fast Fuzzy Neural Network Backpropagation Algorithm for Colon Cancer Cell Image Discrimination
Matrix Neural Networks
Optimal Preventive Maintenance Inspection Period on Reliability Improvement with Bayesian Network and Hazard Function in Gantry Crane
Finite-Time Boundedness Analysis of Uncertain CGNNs with Multiple Delays
An Efficient Recursive Total Least Squares Algorithm for Training Multilayer Feedforward Neural Networks
Optimal Control for Boiler Combustion System Based on Iterative Heuristic Dynamic Programming
Neural Network Based High Accuracy Frequency Harmonic Analysis in Power System
A Temporal Consistency Learning Framework for Face Forgery Detection
A Neural Network Algorithm for Second-Order Conic Programming
Quantum Neural Network for CDMA Multi-user Detection
Robust Stability for Delayed Neural Networks with Nonlinear Perturbation
DSC Approach to Robust Adaptive NN Tracking Control for a Class of SISO Systems
An Efficient Hardware Architecture for a Neural Network Activation Function Generator
Structure Analysis of Email Networks by Information-Theoretic Clustering
Simulation and Verification of Zhang Neural Networks and Gradient Neural Networks for Time-Varying Stein Equation Solving
SAR Image Recognition Using Synergetic Neural Networks Based on Immune Clonal Programming
Using Alpha-Beta Associative Memories to Learn and Recall RGB Images
Differential Inclusions-Based Neural Networks for Nonsmooth Convex Optimization on a Closed Convex Subset
Multi Step Prediction of Landslide Displacement Time Series Based on Extended Kalman Filter and Back Propagation Trough Time
Application of Adaptable Neural Networks for Rolling Force Set-Up in Optimization of Rolling Schedules
Neural-Network-Driven Fuzzy Reasoning for Product Development Processes
Study on Decision Algorithm of Neurons' Synchronization Based on Neurodynamics
Recognition and Classification of Power Quality Disturbances Based on Self-adaptive Wavelet Neural Network
Existence of Periodic Solution for Competitive Neural Networks with Time-Varying and Distributed Delays on Time Scales
Fast Tracking Control of Three-Phase PWM Rectifier for Microturbine
Estimation of Groutability of Permeation Grouting with Microfine Cement Grouts Using RBFNN
Identification and Extraction of Evoked Potentials Based on Borel Spectral Measure for Less Trial Mixtures
Detecting Emotions in Social Affective Situations Using the EmotiNet Knowledge Base
Neural Adaptive Dynamic Surface Control of Nonlinear Systems with Partially Constrained Tracking Errors and Input Saturation
A PSO-Based Method for Min-epsilon Approximation of Closed Contour Curves
The Hybrid Principal Component Analysis Based on Wavelets and Moving Median Filter
A Design Method of Associative Memory Model with Expecting Fault-Tolerant Field
A Visual Inertial SLAM Method for Fusing Point and Line Features
Convergence Analysis of a Discrete-Time Single-Unit Gradient ICA Algorithm
An Improved Kernel Principal Component Analysis for Large-Scale Data Set
Neurofuzzy Power Plant Predictive Control
Seismic Pattern Recognition of Nuclear Explosion Based on Generalization Learning Algorithm of BP Network and Genetic Algorithm
Designing Domain Work Breakdown Structure (DWBS) Using Neural Networks
Multiple Kernel Active Learning for Facial Expression Analysis
Comparison on Continuous-Time Zhang Dynamics and Newton-Raphson Iteration for Online Solution of Nonlinear Equations
Fourier Series Chaotic Neural Networks
A Sparse Infrastructure of Wavelet Network for Nonparametric Regression
Epileptic Detection Based on EMD and Sparse Representation in Clinic EEG
Representative Video Action Discovery Using Interactive Non-negative Matrix Factorization
Image Fakery and Neural Network Based Detection
WeiboCluster: An Event-Oriented Sina Weibo Dataset with Estimating Credit
Blind Separation of Positive Signals by Using Genetic Algorithm
Remote Sensing Image Classification Algorithm Based on Hopfield Neural Network
A Novel Clustering Analysis Based on PCA and SOMs for Gene Expression Patterns
Functional-Link Net Based Multiobjective Fuzzy Optimization
On the Universal Approximation Theorem of Fuzzy Neural Networks with Random Membership Function Parameters
Use PCA Neural Network to Extract the PN Sequence in Lower SNR DS/SS Signals
Synchronization between Two Different Hyperchaotic Dynamical Systems Using Nonlinear Control
Double Inverted Pendulum Control Based on Support Vector Machines and Fuzzy Inference
Circuitry Analog and Synchronization of Hyperchaotic Neuron Model
A Novel Solid Neuron-Network Chip Based on Both Biological and Artificial Neural Network Theories
Fuzzy Uncertainty Observer Based Filtered Sliding Mode Trajectory Tracking Control of the Quadrotor
A New Computational Model of Biological Vision for Stereopsis
Calculation of Latent Semantic Weight Based on Fuzzy Membership
Condition Prediction of Hydroelectric Generating Unit Based on Immune Optimized RBFNN
Modeling and Prediction of Violent Abnormal Vibration of Large Rolling Mills Based on Chaos and Wavelet Neural Networks
Soft Measurement Modeling Based on Hierarchically Neural Network (HNN) for Wastewater Treatment
ANN-Based Multi-scales Prediction of Self-similar Network Traffic
Intelligent Tool Condition Monitoring System for Turning Operations
Globally Exponentially Attractive Set and Synchronization of a Class of Chaotic Finance System
Gradient Algorithm for Nonnegative Independent Component Analysis
Neural Control of Uncertain Nonlinear Systems with Minimum Control Effort
Stability Analysis of Generalized Nonautonomous Cellular Neural Networks with Time-Varying Delays
Sliding Mode Control for Uncertain Nonlinear Systems Using RBF Neural Networks
The Essential Approximation Order for Neural Networks with Trigonometric Hidden Layer Units
Palmprint Classification Using Wavelets and AdaBoost
Advances in Neural Networks - ISNN 2010, 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part I
Efficient Training of RBF Networks Via the BYY Automated Model Selection Learning Algorithms
Self-adaptive FastICA Based on Generalized Gaussian Model
Chaos and Bifurcation in a New Class of Simple Hopfield Neural Network
SVM Based Internal Model Control for Nonlinear Systems
Application of Evidence Theory and Neural Network in Warning System of Financial Risk
Identification of Cell-Cycle Phases Using Neural Network and Steerable Filter Features
Robust Adaptive Resonant Damping Control of Nanopositioning
An Evolutionary Multi-objective Neural Network Optimizer with Bias-Based Pruning Heuristic
Cluster Aggregation for Analyzing Event-Related Potentials
Grid-Based Fuzzy Support Vector Data Description
Principal Component Analysis Neural Network Based Probabilistic Tracking of Unpaved Road
Adaptive Fuzzy Control of an Active Vibration Isolator
The Dahlquist Constant Approach to Stability Analysis of the Static Neural Networks
An Improved Symbol Entropy Algorithm Based on EMD for Detecting VT and VF
Robust Neural Networks Control for Uncertain Systems with Time-Varying Delays and Sector Bounded Perturbations
The Heuristic Algorithm Based on Learning-Competing Model and Its Application to Task Assignment Problem
A New Text Detection Approach Based on BP Neural Network for Vehicle License Plate Detection in Complex Background
Integrated Analytic Framework for Neural Network Construction
Human Detection Algorithm Based on Bispectrum Analysis for IR-UWB Radar
Robust Fin Control for Ship Roll Stabilization by Using Functional-Link Neural Networks
Audio Source Separation from a Monaural Mixture Using Convolutional Neural Network in the Time Domain
Chip Speed Prediction Model for Optimization of Semiconductor Manufacturing Process Using Neural Networks and Statistical Methods
Hidden Markov Model Networks for Multiaspect Discriminative Features Extraction from Radar Targets
Prediction of Protein Subcellular Multi-locations with a Min-Max Modular Support Vector Machine
A Design and Implementation of Reconfigurable Architecture for Neural Networks Based on Systolic Arrays
An Expert System Based on BP Neural Networks for Pre-splitting Blasting Design
Multisensors Information Fusion with Neural Networks for Noninvasive Blood Glucose Detection
Synthetic Fault Diagnosis Method of Power Transformer Based on Rough Set Theory and Bayesian Network
Driving Load Forecasting Using Cascade Neural Networks
Towards Benchmarking of Solidity Verification Tools
Formalizing Automated Market Makers in the Lean 4 Theorem Prover
Securing Aptos Framework with Formal Verification
Bringing the Power of Interactive Theorem Proving to Web3 (Invited Talk)
5th International Workshop on Formal Methods for Blockchains, FMBC 2024, Luxembourg City, Luxembourg, April 7, 2024
Formal Verification of a Fail-Safe Cross-Chain Bridge
Towards a Mechanization of Fraud Proof Games in Lean
Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq
6th International Workshop on Formal Methods for Blockchains, FMBC 2025, Hamilton, Canada, May 4, 2025
Deductive Verification of Smart Contracts (Invited Talk)
Is Formal Verification Practical? (Invited Talk)
Scar: Verification-Based Development of Smart Contracts (Tool Paper)
Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda
Program Logics for Ledgers
Towards Mechanised Consensus in Isabelle
A Benchmark Framework for Byzantine Fault Tolerance Testing Algorithms (Tool Paper)
Structured Contracts in the EUTxO Ledger Model
Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano
A Practical Notion of Liveness in Smart Contract Applications
Isabelle/Solidity: A Tool for the Verification of Solidity Smart Contracts (Tool Paper)
Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
ByteSpector: A Verifying Disassembler for EVM Bytecode
A Readable and Computable Formalization of the Streamlet Consensus Protocol
Formal Verification in Solidity and Move: Insights from a Comparative Analysis
Verifying Smart Contract Transformations Using Bisimulations
Formally Specifying Contract Optimizations with Bisimulations in Coq
Challenges and Solutions for Latin Named Entity Recognition
Finding Rising and Falling Words
Flexible and Reliable Text Analytics in the Digital Humanities - Some Methodological Considerations
Exploration of register-dependent lexical semantics using word embeddings
Original-Transcribed Text Alignment for Manyosyu Written by Old Japanese Language
Implementation of a Workflow Management System for Non-Expert Users
The MultiTal NLP tool infrastructure
Feelings from the Past - Adapting Affective Lexicons for Historical Emotion Analysis
Automatic parsing as an efficient pre-annotation tool for historical texts
A Visual Representation of Wittgenstein's Tractatus Logico-Philosophicus
Proceedings of the Workshop on Language Technology Resources and Tools for Digital Humanities, LT4DH@COLING, Osaka, Japan, December 2016
Web services and data mining: combining linguistic tools for Polish with an analytical platform
Language technology tools and resources for the analysis of multimodal communication
PAT workbench: Annotation and Evaluation of Text and Pictures in Multimodal Instructions
Large-scale Analysis of Spoken Free-verse Poetry
A Web-based Tool for the Integrated Annotation of Semantic and Syntactic Structures
Extracting Social Networks from Literary Text with Word Embedding Tools
Tagging Ingush - Language Technology For Low-Resource Languages Using Resources From Linguistic Field Work
A Dataset for Multimodal Question Answering in the Cultural Heritage Domain
Semantic Indexing of Multilingual Corpora and its Application on the History Domain
Shamela: A Large-Scale Historical Arabic Corpus
Using TEI for textbook research
Tools and Instruments for Building and Querying Diachronic Computational Lexica
Integrating Optical Character Recognition and Machine Translation of Historical Documents
Geographical Visualization of Search Results in Historical Corpora
Tracking Words in Chinese Poetry of Tang and Song Dynasties with the China Biographical Database
Technology as Driver, Enabler and Barrier of Digital Transformation: A Review
The Influence of Cloud Computing on IT Governance in a Swedish Municipality
Mapping of Enterprise Governance of IT Practices Metamodels
Addressing Development Dilemmas Collectively: Harnessing the Wisdom of the Crowd Through AI-Enhanced Digital Platforms
Factors for Successful IT Outsourcing Relationships in Large Companies in Sweden: A Service Buyer's Perspective
Automation Process for Co-evolution of Enterprise Architecture Meta-Models and Models
Exploring Machine Learning Models to Predict Harmonized System Code
The Importance of Studying Tabletop Games for Computer Game Design Courses
Sense of Presence in VR Mobile Application
The Determinants of XBRL Adoption: An Empirical Study in an Emerging Economy
Fairness Issues in Algorithmic Digital Marketing: Marketers' Perceptions
Towards Conceptual Meta-Modeling of ITIL and COBIT 5
e-Commerce Websites and the Phenomenon of Dropshipping: Evaluation Criteria and Model
The Importance of Blockchain for Ecomobility in Smart Cities: A Systematic Literature Review
E-GovSTP: An E-Government Model for a Small Island State, the Case of São Tomé and Principe
An Approach to Sustainable Energy Management in IoV Using Blockchain and the Metaverse
Disruption of Norms: A Conceptualised Antecedent of UTAUT
How Decentralized is Decentralized Governance Really? - A Network Analysis of ERC20 Platforms
Focus Area Maturity Models: A Comparative Review
Counterfactual Explanations for Predictive Business Process Monitoring
Cloud Meta-services: An Ontological Contribution
Investigating the Factors Affecting the Adoption of Cloud Computing in SMEs: A Case Study of Saudi Arabia
Strategic Alignment During Digital Transformation
Virtual Immersive Workplaces: The New Norm? - A Qualitative Study on the Impact of VR in the Workplace
Empirical Investigation of Practitioners' Perceptions of Agile Testing Coordination in Medical Information Systems Development
CSCCRA: A Novel Quantitative Risk Assessment Model for Cloud Service Providers
The Effects of Outsourcing on Performance Management in SMEs
Towards Analytical Business Services as a New Business Model for Shared Service Centers
An In-Store Mobile App for Customer Engagement: Discovering Hedonic and Utilitarian Motivations in UK Grocery Retail
A Sociotechnical Perspective from Managers on Current Predictive Analytics Systems
Users' Knowledge and Motivation on Using Cryptocurrency
Solution Approach for Asset Integration in Federated Ecosystems
Systematic Literature Review on Smart Marine Environments: Integrating Autonomous Sensor Networks in Coastal Cities
Modification of User Behavior Towards the Use of Privacy-Preserving Search Engines: Insights from an Experiment on Privacy
Revolutionizing Data Privacy: The ENCRYPT Project's Innovations and Applications
Evaluation of Machine Learning Methods for the Experimental Classification and Clustering of Higher Education Institutions
Experimental Evaluation of Big Data Analytical Tools
Information Systems - 19th European, Mediterranean, and Middle Eastern Conference, EMCIS 2022, Virtual Event, December 21-22, 2022, Proceedings
Utilizing Degree Centrality Measures for Product Advertisement in Social Networks
AIOps in Higher Education Institutions
Information Systems - 18th European, Mediterranean, and Middle Eastern Conference, EMCIS 2021, Virtual Event, December 8-9, 2021, Proceedings
A Systematic Literature Review on the Psychological Ramifications of Working from Home Model for Software Engineers
Application of Automated Trust Verification and Delegation Mechanisms in PEPPOL eProcurement Network
Raising the Interoperability of Cultural Datasets: The Romanian Cultural Heritage Case Study
ERP Implementation: Requirements Engineering for ERP Product Customization
Modified Least Significant Bit Technique for Securing Medical Images
Managing Modular Ontology Evolution Under Big Data Integration
Barriers to Digital Transformation in Public Organizations: A Case Study of a Greek Public Organization
Big Data Analysis in UAV Surveillance for Wildfire Prevention and Management
IT Value Management Capability Enabled with COBIT 5 Framework
Smart Government and Smart Citizens as a Smart Cities Building Blocks - A Survey
A Context Aware Notification Architecture Based on Distributed Focused Crawling in the Big Data Era
Smart City Adoption: An Interplay of Constructive and Adverse Factors
How Blockchain and Artificial Intelligence influence Digital Sovereignty
To Chain or Not to Chain? A Case from Energy Sector
The Effects of Artificial Intelligence in the Process of Recruiting Candidates
Monitoring the Gait Process During the Rehabilitation of Patients Using Computer Vision Techniques and UWB Technology
Artificial Intelligence Use and Potential within Project Management
Diffusion Powered Time Series Forecasting
User Perception of Algorithmic Digital Marketing in Conditions of Scarcity
Enhancing Decision-Making in New Product Development: Forecasting Technologies Revenues Using a Multidimensional Neural Network
Big Data Analytics in Healthcare Applications: Privacy Implications for Individuals and Groups and Mitigation Strategies
An Educational Metaverse Experiment: The First On-Chain and In-MetaverseAcademic Course
A New Text Independent Speaker Recognition System with Short Utterances Using SVM
Cultural Barriers in Digital Transformation in a Public Organization: A Case Study of a Sri-Lankan Organization
Information Systems - 21st European, Mediterranean, and Middle Eastern Conference, EMCIS 2024, Athens, Greece, September 2-3, 2024, Proceedings, Part II
A Framework for Cloud Selection Based on Business Process Profile
Business Process Automation in SMEs
Applying Predictive Analytics Algorithms to Support Sales Volume Forecasting
Telemedicine in Shipping Made Easy - Shipping eHealth Solutions
A Chief Information Officer (CIO) Framework for Managing the Fourth Industrial Revolution (4IR): An Exploratory Research Synthesis
A Change and Constancy Management Approach for Managing the Unintended Negative Consequences of Organizational and IT Change
Significance of Eco-Cement Constituents to Its Mechanical Properties, by Machine Learning Algorithms
The Influence of Locus of Control in the Actualisation of Mobile Dating Applications Affordances to Mitigate Privacy and Security Concerns
Ambiguity Function as a Network Intrusion Detection Indicator
Information Systems - 20th European, Mediterranean, and Middle Eastern Conference, EMCIS 2023, Dubai, United Arab Emirates, December 11-12, 2023, Proceedings, Part II
Distributed Representational Analysis in Support of Multi-perspective Decision-Making
Data Mesh Adoption: A Multi-case and Multi-method Readiness Approach
Positive Online Customer Experience as an Antecedent of the Willingness to Share Information with an E-Commerce Retailer
LOKI Vote: A Blockchain-Based Coercion Resistant E-Voting Protocol
Harnessing Cloud Scalability to Hadoop Clusters
Why are Rankings of 'Smart Cities' Lacking? An Analysis of Two Decades of e-Government Benchmarking
The Case for mHealth Standardization for Electronic Health Records in the German Healthcare System
Using 3D-Technology to Support Facial Treatment
Cryptocurrency Usage Impact on Perceived Benefits and Users' Behaviour
Democratizing Enterprise AI Success Factors and Challenges: A Systematic Literature Review and a Proposed Framework
Comparison of the Non-personalized Active Learning Strategies Used in Recommender Systems
Optimizing Self-consumption Algorithms for Enhanced Grid Feed-In from Renewable Sources
Security Risk Assessment of Blockchain-Based Patient Health Record Systems
UWB System for Frequent Positioning of Moving Objects
Factors that Affects the Use of AI Agents in Adaptive Learning: A Sociomaterial and Mcdonaldization Approach in the Higher Education Sector
Innovation and Competitiveness of Universities - An Empirical Research
Decentralization of DAOs: A Fundamental Analysis
Big Data from a Business Perspective
Pros and Cons of Integrating the Metaverse into Education: A Comprehensive Analysis
Exploring the Impacts of Artificial Intelligence (AI) Implementation at Individual and Team Levels: A Case Study in the UAE Government Sector
Blockchain Technology and Waste Management: A Systematic Literature Review
Designing an API for the Provision of Public Service Information Based on CPSV-AP
Determinants of the Intention to Use Online P2P Platforms from the Seller's Perspective
Assessing IT Governance Processes Using a COBIT5 Model
Role of ICT in City Learning for Developing Smart Cities: A Review of the Literature
The Effect of Big Data Analytics Capability on Firm Performance: A Pilot Study in China
Evaluation of Cloud Business Intelligence Prior to Adoption: The Voice of Small Business Enterprises in a South African Township
Positive and Negative Searches Related to the Bitcoin Ecosystem: Relationship with Bitcoin Price
A BPMN Extension for Integrating Knowledge Dimension in Sensitive Business Process Models
Cybersecurity and Data Quality in Cloud Computing: A Research Framework
A Security Approach for Data Migration in Cloud Computing Based on Human Genetics
Mobile Number Portability Using a Reliable Cloud Database Appliance to Match Predictable Performance
Information and Communication Technology Enabled Collaboration: Understanding the Critical Role of Computer Collective-Efficacy
Towards a New Value Chain for the Audio Industry
Organizational Aspects in Achieving a Successful Digital Transformation: Case of an ERP System Change
IT-Enabled Digital Service Design Principles - Lessons Learned from Digital Cities
Application of Machine Learning for Resource Management in Intent-Based Networks
A Comprehensive Framework for Measuring Governments' Digital Initiatives Including Open Data
An User Interest Ontology Based on Trusted Friends Preferences for Personalized Recommendation
Information Quality of Web Services: Payment Account Online Comparison Tools Survey in the Czech Republic and Slovakia
Blockchain Technology for Hospitality Industry
Towards a Better Understanding of the Value of Blockchains in Supply Chain Management
A Balanced Scorecard Approach for Evaluating the Utility of a Data Warehousing System
Perspectives of Merchants Regarding Bitcoin's Role as a Currency and Its Utility as a Payment System
Voice Assistants - Research Landscape
A Practice-Based Methodology to Enlighten Strategic Alignment Research
Digital Solutions to What? - - WPR as a Model for Public Servants Seeking a Better Grip on Their Local Digitalization Policy
Performance Evaluation of ANOVA and RFE Algorithms for Classifying Microarray Dataset Using SVM
IS Project Management Success in Developing Countries
Bibliometric Analysis of Publications on the Evacuation of Hazards Using GIS as a Decision Support Tool from the Scopus Database
Factors Affecting Intention to Use E-government Services: The Case of Non-adopters
A Security Mechanism Against the RSU Compromise Attack in a Ticket-Based Authentication Scheme for VANETs
Innovation Process Integration Challenges and Their Influence on Project Management Performance in Oil and Gas Field- A Conceptual Framework Development
Comparative Evaluation of Cybersecurity Maturity Models and Frameworks
Blockchain in Digital Government: Research Needs Identification
Modelling 5G Cloud-Native Applications by Exploiting the Service Mesh Paradigm
Critical Factors of Strategic Information Systems Planning Phases in SMEs