yusuke1997/dblp-id-title huggingface dataset:
An Introduction to Design Science
Distributed Simulation - A Model Driven Engineering Approach
Optimization of SQL Queries for Parallel Machines
Modeling and Simulation of Complex Systems - A Framework for Efficient Agent-Based Modeling and Simulation
A Resolution Principle for a Logic with Restricted Quantifiers
Substructuring Method for Civil Structural Health Monitoring
Ein Roboteraktionsplanungssystem
Computational Geometry - An Introduction
Entzifferte Geheimnisse: Methoden und Maximen der Kryptologie, 2. Auflage
Coevolutionary Fuzzy Modeling
Spatial Temporal Patterns for Action-Oriented Perception in Roving Robots II, An Insect Brain Computational Model
Ultra-Low-Voltage Frequency Synthesizer and Successive-Approximation Analog-to-Digital Converter for Biomedical Applications
Spatial Temporal Patterns for Action-Oriented Perception in Roving Robots
Introduction to Cyberdeception
Associative Digital Network Theory - An Associative Algebra Approach to Logic, Arithmetic and State Machines
The Design of Rijndael: AES - The Advanced Encryption Standard
Big Data Preprocessing - Enabling Smart Data
Smart STEM-Driven Computer Science Education - Theory, Methodology and Robot-based Practices
From Snapshots to Social Media - The Changing Picture of Domestic Photography
Embedding Artificial Intelligence into ERP Software - A Conceptual View on Business AI with Examples from SAP S/4HANA
Automatic Tuning of Compilers Using Machine Learning
The Triumph of Artificial Intelligence - How Artificial Intelligence is Changing the Way We Live Together
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
The German Language in the Digital Age
Text Mining with MATLAB®, Second Edition
FPGA EDA - Design Principles and Implementation
Artificial Intelligence Enabled Computational Methods for Smart Grid Forecast and Dispatch
MediaSync, Handbook on Multimedia Synchronization
The Dynamics of Concepts - A Connectionist Model
Solved Exercises in Fractional Calculus, Second Editiontion
Retrogame Archeology - Exploring Old Computer Games
Introduction to Programming with Fortran, 4th Edition
Multimedia Cloud Computing Systems
Mathematics for Computer Scientists - A Practice-Oriented Approach
Ultra-low Voltage Circuit Techniques for Energy Harvesting
Bandwidth and Efficiency Enhancement in Radio Frequency Power Amplifiers for Wireless Transmitters
Hesitant Fuzzy Set - Theory and Extension
Parallel, Distributed and Multiagent Production Systems
Deep Generative Modeling, Second Editiontion
Business Development - Processes, Methods and Tools, Second Edition
Analysis and Design for Positive Stochastic Jump Systems
Distributed Reason Maintenance for Multiagent Systems
Data Analytics - Models and Algorithms for Intelligent Data Analysis, Second Edition
Non-Standard Inferences in Description Logics
Universal Routing Strategies for Interconnection Networks
Antenna Architectures for Future Wireless Devices
Artificial Intelligence and the Arts - Computational Creativity, Artistic Behavior, and Tools for Creatives
Computational Inference and Control of Quality in Multimedia Services
Machine Learning Techniques to Predict Terrorist Attacks - Exemplified by Jama'at Nasr al-Islam wal Muslimin
Signal Processing and Analysis Techniques for Nuclear Quadrupole Resonance Spectroscopy
Visualization in Medicine and Life Sciences III, Towards Making an Impact
Aggregation Functions: A Guide for Practitioners
Wireless Networks and Security, Issues, Challenges and Research Trends
Effects of Thermal Stimulation during Passive Driver Fatigue
PREMO: A Framework for Multimedia Middleware - Specification, Rationale, and Java Binding
Utilizing Problem Structure in Planning, A Local Search Approach
A Concise Introduction to Scientific Visualization - Past, Present, and Future
Biometrics, Computer Security Systems and Artificial Intelligence Applications
Subjective Logic - A Formalism for Reasoning Under Uncertainty
Fundamentals of Reinforcement Learning
Hypothesis-Driven Simulation Studies - Assistance for the Systematic Design and Conducting of Computer Simulation Experiments
Strategy, Planning and Organization of Test Processes - Basis for Successful Project Execution in Software Testing
Facebook Nation - Total Information Awareness, Second Edition
Security of Cyber-Physical Systems: State Estimation and Control
An Introduction to Infinite-Dimensional Linear Systems Theory
When 5G Meets Industry 4.0
Pattern and Security Requirements - Engineering-Based Establishment of Security Standards
Cultural Diversity for Virtual Characters - Investigating Behavioral Aspects across Cultures
Content Distribution for Mobile Internet: A Cloud-based Approach
Integrated Business Information Systems - A Holistic View of the Linked Business Process Chain ERP-SCM-CRM-BI-Big Data, Second Edition
Automatic Differentiation: Techniques and Applications
Advances in Cryptology 1981-1997, Electronic Proceedings and Index of the CRYPTO and EUROCRYPT Conferences 1981-1997
Intelligent Wavelet Based Techniques for Advanced Multimedia Applications
Computational Models of Motivation for Game-Playing Agents
Die Interpretation des Verhaltens mehrerer Akteure in Szenenfolgen
Intelligent Reliability and Maintainability of Energy Infrastructure Assets
Built-in Fault-Tolerant Computing Paradigm for Resilient Large-Scale Chip Design - A Self-Test, Self-Diagnosis, and Self-Repair-Based Approach
Monte Carlo Methods in Fuzzy Optimization
A Developer's Guide to the Semantic Web, Second Edition
SEMPER - Secure Electronic Marketplace for Europe
Machine Learning Assisted Evolutionary Multi- and Many-Objective Optimization
Tangible Modeling with Open Source GIS
A Comparative Study of Very Large Data Bases
Resource Management in Cloud Computing - Concepts and Implementation
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Secure Integrated Circuits and Systems
Optimization in Industry, Present Practices and Future Scopes
Theory and Practice of Wireless Sensor Networks: Cover, Sense, and Inform
Vision Based Identification and Force Control of Industrial Robots
Image Texture Analysis - Foundations, Models and Algorithms
Logical Methods - The Art of Thinking Abstractly and Mathematically
Category Theory Using Haskell - An Introduction with Moggi and Yoneda
Haptic Rendering for Simulation of Fine Manipulation
Association Rule Mining, Models and Algorithms
Robot Adventures in Python and C
Practical Machine Learning Illustrated with KNIME
Engineering Adaptive Software Systems - Communications of NII Shonan Meetings
Advancing Recommender Systems with Graph Convolutional Networks
Multilevel Business Processes - Modeling and Data Analysis
Attribute Grammar Inversion and Source-to-source Translation
Understanding and Using Rough Set Based Feature Selection: Concepts, Techniques and Applications
Knowledge Discovery in Databases - Techniken und Anwendungen
Wandering Spurs in MASH-Based Fractional-N Frequency Synthesizers - How They Arise and How to Get Rid of Them
A Polynomial Translation of Mobile Ambients into Safe Petri Nets - Understanding a Calculus of Hierarchical Protection Domains
Visual Saliency: From Pixel-Level to Object-Level Analysis
Neuromorphic Computing Principles and Organization
Deep Learning for Hyperspectral Image Analysis and Classification
Gearing Up and Accelerating Cross-fertilization between Academic and Industrial Robotics Research in Europe: - Technology Transfer Experiments from the ECHORD Project
Big-Data Analytics and Cloud Computing - Theory, Algorithms and Applications
Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields
Data Structures and Algorithms 1: Sorting and Searching
Simulating Social Complexity - A Handbook, Second Edition
Automated Machine Learning - Methods, Systems, Challenges
Machine Learning and Deep Learning in Human Activity Recognition and Fall Detection - Algorithms, Frameworks, and Applications for Sustainable Healthcare
Face Detection and Gesture Recognition for Human-Computer Interaction
A Rigorous Semantics for BPMN 2.0 Process Diagrams
Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem
Large Deviations Techniques and Applications
Recipes for Communication and Signal Processing
Digital Twin Technologies in Transportation Infrastructure Management
Map Framework - A Formal Model of Maps as a Fundamental Data Type in Information Systems
Fundamentals of Information Systems Interoperability - Data, Services, and Processes
Anti-fragile ICT Systems
Fireworks Algorithm - A Novel Swarm Intelligence Optimization Method
Handbook of Large-Scale Distributed Computing in Smart Healthcare
Descriptor Systems of Integer and Fractional Orders
Being a Researcher - An Informatics Perspective
Combinatorics on Traces
Multiscale Forecasting Models
Audio System for Technical Readings
CABology: Value of Cloud, Analytics and Big Data Trio Wave
Enterprise Ontology - A Human-Centric Approach to Understanding the Essence of Organisation, Second Edition
Abgründe der Informatik: Geheimnisse und Gemeinheiten
Smart Agents for the Industry 4.0 - Enabling Machine Learning in Industrial Production
Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung
Resource Management and Performance Analysis of Wireless Communication Networks
The Internet of Things for Smart Urban Ecosystems
An Introduction to Text Mining
Text Mining in Multimedia
A Survey of Opinion Mining and Sentiment Analysis
Translingual Mining from Text Data
A Survey of Text Clustering Algorithms
Transfer Learning for Text Mining
A Survey of Text Classification Algorithms
Dimensionality Reduction and Topic Modeling: From Latent Semantic Indexing to Latent Dirichlet Allocation and Beyond
Probabilistic Models for Text Mining
Information Extraction from Text
Mining Text Streams
A Survey of Text Summarization Techniques
Biomedical Text Mining: A Survey of Recent Progress
Beyond Edge Computing - Swarm Computing and Ad-Hoc Edge Clouds
The Elements of Statistical Learning: Data Mining, Inference, and Prediction
SAP R/3 Implementation: Methods and Tools
Robust Discrete-Time Flight Control of UAV with External Disturbances
Conflict Management in Concurrent Engineering: Modelling Guides
Detecting Temporal Conflicts in Integrated Agent Specifications
Modelling Conflict-Resolution Dialogues
Conflict Ontology
Difference: a key to enrich knowledge - Concepts and Models
Conflict Management as Part of an Integrated Exception Handling Approach
On Conflicts in General and their Use in AI in Particular
Conflict Resolution in Distributed Assessment Situations
Managing Conflicts in Reflective Agents
Modeling Conflicts Between Agents in a Design Context
The Iterated Lift Dilemma
Event-Triggered Control of Switched Linear Systems
Identifikationssysteme und Automatisierung
Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
Algorithm-Driven Truss Topology Optimization for Additive Manufacturing
Robotic Tactile Perception and Understanding - A Sparse Coding Method
TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages
Parallele Systeme
The Austin Protocol Compiler
Modelling and Simulation - Exploring Dynamic System Behaviour, Third Edition
Breath Analysis for Medical Applications
Java 9 Recipes - A Problem-Solution Approach, Third Edition
Non-Uniform Cellular Automata
Large-Scale Data Analytics
Textual and Visual Information Retrieval using Query Refinement and Pattern Analysis
Design Space Exploration in Robotics
Multimedia Data Mining and Analytics - Disruptive Innovation
Y12M - Solution of Large and Sparse Systems of Linear Algebraic Equations
Machine Learning - The Basics
Concise Guide to Databases - A Practical Introduction
QoS Routing Algorithms for Wireless Sensor Networks
Intelligent Techniques for Data Science
Computer Vision Metrics - Survey, Taxonomy, and Analysis of Computer Vision, Visual Neuroscience, and Visual AI, Second Editiontion
Toward Connected, Cooperative and Intelligent IoV - Frontier Technologies and Applications
Hyperedge Replacement: Grammars and Languages
Computational Finance - An Introductory Course with R
Feature Learning and Understanding - Algorithms and Applications
Exploiting Linked Data and Knowledge Graphs in Large Organisations
Visual Object Tracking from Correlation Filter to Deep Learning
Emergent Behavior Detection and Task Coordination for Multiagent Systems - A Distributed Estimation and Control Approach
Stability of Time-Delay Systems
Analysis and Design of Markov Jump Discrete Systems
Big Digital Forensic Data - Volume 2: Quick Analysis for Evidence and Intelligence
The Algorithmic Dimension - Five Artists in Conversation
OPNET IoT Simulation
Integrated Visual Servoing and Force Control - The Task Frame Approach
Mastering Software Variability with FeatureIDE
Control Synthesis for Semi-Markovian Switching Systems
Constraints Solving as the Coordination of Inference Engines
Coordination and Mobility
Inter-Organizational Workflows for Enterprise Coordination
Coordinating Agents using Agent Communication Languages Conversations
Middleware Technologies: CORBA and Mobile Agents
Coordination and Security on the Internet
Tuple-based Technologies for Coordination
Coordination Models: A Guided Tour
Applications of Coordination Technology, Introduction
High-Level Enabling Coordination Technologies, Introduction
Models and Technologies for the Coordination of Internet Agents: A Survey
Scalability in Linda-like Coordination Systems
Run-Time Systems for Coordination
Agent Naming and Coordination: Actor Based Models and Infrastructures
Emerging Issues of Coordination, Introduction
Visions, Introduction
Foreword: Coordination and the Internet
Brokering and Matchmaking for Coordination of Agent Societies: A Survey
Coordination and Control in Computational Ecosystems: A Vision of the Future
Agent-Oriented Software Engineering for Internet Applications
Basic Enabling Technologies, Introduction
A Market-Based Model for Resource Allocation in Agent Systems
Reusable Patterns for Agent Coordination
Preface: Coordination of Internet Agents
Coordination Models and Languages: State of the Art, Introduction
Agent Coordination via Scripting Languages
Industrial Recommender System - Principles, Technologies and Enterprise Applications
A Hybrid Deliberative Layer for Robotic Agents - Fusing DL Reasoning with HTN Planning in Autonomous Robots
Natural Language Dialog Systems and Intelligent Assistants, 6th International Workshop on Spoken Dialogue Systems, IWSDS 2015, Busan, Korea, January 11-13, 2015
Deep Learning for NLP and Speech Recognition
Accountability and Privacy in Network Security
Generalizations of Fuzzy Information Measures
Admissible Consensus and Consensualization for Singular Multi-agent Systems
Music and Human-Computer Interaction
Human Information Processing in Speech Quality Assessment
The Journey to Enterprise Agility - Systems Thinking and Organizational Legacy
Robotic Mapping and Exploration
Fuzzy Multiple Attribute Decision Making - Methods and Applications
Multiprocessor System-on-Chip - Hardware Design and Tool Integration
Dynamic Decision Support for Electronic Requirements Negotiations
Multimedia Learning: Implications for Language as a Medium
Why Mixed Methods are Necessary to Derive Enterprise-wide Solutions
Algorithm animation with Agat
Successful pedagogical applications of symbolic computation
Concepts for Neural Networks - A Survey
Paying for Goods and Services in the Information Age
The Metaphysical Foundations of Soft and Hard Information Systems Methodologies
Stable Bundles, Instantons and C∞-Structures on Algebraic Surfaces
Cultural Studies in Language Teaching. Culture and Language in a Network
Ariadne: Supporting Coordination Through a Flexible Use of Knowledge Processes
Facilitating socio-centered learning with possible computer applications
Hypermedia learning environment for mathematical sciences
Learning a 'Genre' as Opposed to Learning 'French'. What can Corpus Linguistics tell us?
Neural Networks: An Overview
Knowledge Pump: Supporting the Flow and Use of Knowledge
A Technology for Supporting Knowledge Work: The RepTool
The Specification and Proof of an EXPRESS to SQL "Compiler"
The Retail Industry and Information Technology
Teaching, Typing, Talking Two Case Studies
Direct manipulation in a mathematics user interface
Turing's Philosophical Error?
Information Systems for Electronic Banking
Erratum to: Design principles of Mathpert: software to support education in algebra and calculus
Design principles of Mathpert: software to support education in algebra and calculus
Information Systems Intervention: A Total Systems View
Neurobiological Modelling
Cross-Cultural Language Teaching with Multimedia Tools
Proof in the Analysis of a Model of a Tracking System
The ACELA project: aims and plans
Computer-Human Interaction in Symbolic Computation
Reinforcement Learning with Self-Modifying Policies
Negotiating the Construction of Organisational Memories
Information Systems as Powerful Forces of Change
The Strategic Role of Expert Systems in UK Organisations
Penrose's Philosophical Error
Erratum to: Algorithm animation with Agat
Intercultural Learning on the Internet. Some Uses of Networked Computing in Preparing for Study Abroad
Neural Network Control of a Simple Mobile Robot
The Impact of Interorganizational Networks on Buyer-Seller Relationships
Making a Low-Dimensional Representation Suitable for Diverse Tasks
Clustering Learning Tasks and the Selective Cross-Task Transfer of Knowledge
Design of Electronic Data Interchange Systems for Small/Medium Enterprises
A Survey of Connectionist Network Reuse Through Transfer
Performance Measurement, Goal Setting and Feedback in Engineering Design
Leveraging Security Policy for Competitive Business Advantage in Electronic Commerce
The Simulation of Taiwan's Power Generation System
The Lessons Learned Cycle
Influence of Choice Context on Consumer Decision Making in Electronic Commerce
Active structured documents as user interfaces
The Dynamics of Establishing Organizational Web Sites
Adding Value Through Simulation by Focusing on Process
Learning Languages as "Culture" with CALL
Modelling for Change: An Information Systems Perspective on Change Management Models
The Use of EDI at BHP Steel
A Beginner's Guide to the Mathematics of Neural Networks
Electronic Public Procurement
Learning to Learn: Introduction and Overview
Neural Networks and the Mind
Actions of Groups of Holomorphic Transformations
The Ammunition Control System
A Connectionist Approach to Spatial Memory and Planning
Tailorable Information Systems Add Value to Organisations in Changing Environments
Information Technology as a Tool For Performance Measurement and Auditing
Child: A First Step Towards Continual Learning
The Link between Information Strategy and Electronic Commerce
Specification and Validation of a Network Security Policy Model
ELPRO: Electronic Procurement in Europe
Coordinating Change Through Effective Communication at England's Newest University
The Theory of Teichmüller Spaces A View Towards Moduli Spaces of Kähler Manifolds
The Centre for Applied Simulation Modelling
Channel Integration
Combining Modelling Approaches in Library Systems Analysis
Lifelong Learning Algorithms
Modelling for Added Value
The Diffusion of Auctions on the Web
C.A.L.L., Culture and the Language Curriculum: An Important Issue?
EDI Maturity: A Business Opportunity
Doing Business Electronically - A Global Perspective of Electronic Commerce
Modelling for Decision Support in Simulation
Complex Manifolds
Proof in VDM: Case Studies
Rubrics for Teaching Culture. Implications for CALL
CALL, Culture and the Language Curriculum
Chains of recurrences for functions of two variables and their application to surface plotting
How the Open University Uses Information Technology to Provide Distance Learning in a Competitive Market
Issues in Information Systems Development Models
Workflow Benchmarking for Improved Productivity in a Large Store Group
Round Table Discussion
Learning in Graphical Models
Supporting Proof in VDM-SL using Isabelle
The Usability of User Interfaces to Simulation Systems
'Click and Listen': A Case Study of the Development of a CALL Package
An Environment for Cooperative Knowledge Processing
Using Information Technology to Manage the Change Process in Organisations
An Overview of Recent Advances in Hodge Theory
Feedback on Steroids
Confusions about Consciousness
Computation and images in combinatorics
Proper Holomorphic Mappings of Complex Spaces
Information Systems at the Superstore Interface
Attentional Modulation in Visual Pathways
Stabilization of Infinite Dimensional Systems
The Huawei and Snowden Questions - Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment?
Developing Support Technologies - Integrating Multiple Perspectives to Create Assistance that People Really Want
Mobile Agents: Control Algorithms
An Introduction to Machine Learning, Third Edition
Algorithmic Differentiation of Pragma-Defined Parallel Regions - Differentiating Computer Programs Containing OpenMP
Retrieving and Exploring Ontology-based Information
Ontology of the Process Specification Language
The Knowledge Portal "OntoWeb"
Ontology Reconciliation
Ontologies in F-logic
The Resource Description Framework (RDF) and its Vocabulary Description Language RDFS
Ontologies and Metadata for eLearning
Ontologies in Agent Architectures
Ontologies and Hypertext
Ontology Matching: A Machine Learning Approach
Supporting User Tasks through Visualisation of Light-weight Ontologies
An Extensible Ontology Software Environment
An Ontology-based Platform for Semantic Interoperability
On-To-Knowledge Methodology (OTKM)
The Role of Ontologies in eCommerce
Tools for Mapping and Merging Ontologies
Ontologies in Support of Problem Solving
Semantic Layering with Magpie
Building a Very Large Ontology from Medical Thesauri
An Ontology-Composition Algebra
Ontology-based Recommender Systems
Ontologies in Bioinformatics
Ontology-based Content Management in a Virtual Organization
Trustworthy Hardware Design: Combinational Logic Locking Techniques
The Global Cyber-Vulnerability Report
Infinite Playgrounds - Gaming as the Architecture of Tomorrow
Phenotropic Interaction - Improving Interfaces with Computing with Words and Perceptions
Large-Scale Agile Frameworks - Agile Frameworks, Agile Infrastructure and Pragmatic Solutions for Digital Transformation
Future Mobile Communications - LTE Optimization and Mobile Network Virtualization
Analog IC Placement Generation via Neural Networks from Unlabeled Data
Robot Play for All - Developing Toys and Games for Disability
Automatic Ambiguity Resolution in Natural Language Processing - An Empirical Approach
Isabelle/HOL - A Proof Assistant for Higher-Order Logic
Industrial Internet - Research on the Development of Electronic Information Engineering Technology in China
eScience on Distributed Computing Infrastructure - Achievements of PLGrid Plus Domain-Specific Services and Tools
Web Services - Concepts, Architectures and Applications
Data Quality: Concepts, Methodologies and Techniques
Web Data Mining: Exploring Hyperlinks, Contents, and Usage Data
Mathematical Modelling and Computing in Physics, Chemistry and Biology - Fundamentals and Applications
UAV Swarm Cooperation - A Networking Perspective
"Underwater Love": Building Tristão and Isolda's Personalities
Behavioural Virtual Agents
OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-deterministic Domains
Towards a Logic Programming Infrastructure for Internet Programming
An Oz-Centric Review of Interactive Drama and Believable Agents
Handling Uncertainty in Control of Autonomous Robots
Logic-Based Knowledge Representation
The World Wide Web as a Place for Agents
Temporally Invariant Junction Tree for Interference in Dynamic Bayesian Network
Combibining Artificial Intelligence and Databases for Data Integration
A Taxonomy of Theorem-Proving Strategies
An Overview of Planning Under Certainty
Knowledge Representation for Stochastic Decision Process
Agent-Based Project Management
The Event Calculus Explained