yusuke1997/dblp-id-title huggingface dataset:
Digital Reconstruction of Archaeological Sites and Monuments: Some Experiences in South-Eastern Sicily
REGARD: Remote Gaze-Aware Reference Detector
Supervisory Control with Partial Observations
Supervisory Control with Complete Observations
Discrete-Event Systems in a Dioid Framework: Modeling and Analysis
Multi-object Tracking Using Particle Swarm Optimization on Target Interactions
The Shortest Walk to Watch TV
Music Interaction: Understanding Music and Human-Computer Interaction
Discrete-Event Systems in a Dioid Framework: Control Theory
Definition of a Discrete Color Monogenic Wavelet Transform
Co-present or Not?
Design and Safety Analysis of a Drive-by-Wire Vehicle
More Than Just a Sum of the Points: Re-Thinking the Value of Laser Scanning Data
Cost and Value Management for Data Quality
Investigating the Origins of Intrinsic Motivation in Human Infants
Automatic Comparable Web Corpora Collection and Bilingual Terminology Extraction for Specialized Dictionary Making
Resolving the Carving: The Application of Laser Scanning in Reconstructing a Viking Cross from Neston, Cheshire
Natural Gaze Behavior as Input Modality for Human-Computer Interaction
3D Face Reconstruction from Single Two-Tone and Color Images
Creating an Information-Centric Organisation Culture at SBI General Insurance
Security Issues in Mobile Ad Hoc Network
Holistic Shape Recognition: Where-to-Look and How-to-Look
Cubature on C 1 Space
A New Interaction Strategy for Musical Timbre Design
DUFICE : Guidelines for a Lightweight Management of Requirements Knowledge
Shape Perception in Human and Computer Vision
An Overview on Protein Structure Determination by NMR: Historical and Future Perspectives of the use of Distance Geometry Methods
Representation of Graphs in Diagrams of Graph Theory
Intrinsically Motivated Learning in Natural and Artificial Systems
Computer-Supported Collaborative Learning at the Workplace
Simulation and Visualisation of Agent Survival and Settlement Behaviours in the Hunter-Gatherer Colonisation of Mesolithic Landscapes
Shared Gaze in Situated Referential Grounding: An Empirical Study
System Architectures for Automated Vehicle Guidance Concepts
Bilingual Terminology Mining from Language for Special Purposes Comparable Corpora
A Particle Filter Framework for Object Tracking Using Visual-Saliency Information
Crossing Borders: A Multi-Layer GIS Mapping Framework for the Cultural Management of the Mundo Maya Region
Universal Rigidity of Bar Frameworks in General Position: A Euclidean Distance Matrix Approach
Applying Program Analysis to Code Retrieval
Reconstructing a Painful Past: A Non-Invasive Approach to Reconstructing Lager Norderney in Alderney, the Channel Islands
The Role of the Basal Ganglia in Discovering Novel Actions
Facilitating Crowd Sourced Software Engineering via Stack Overflow
Deciding Which Skill to Learn When: Temporal-Difference Competence-Based Intrinsic Motivation (TD-CB-IM)
Privacy-Aware Workflow Management
Modelling of Engineering Phenomena by Finite Automata
An Introduction to Requirements Knowledge
Pedestrian Interaction in Tracking: The Social Force Model and Global Optimization Methods
Modeling, Analyzing, Identifying, and Synthesizing Expressive Popular Music Performances
Urban Scrawl: Reconstructing Urban Landscapes Using Documentary Sources
Modular Multi-finger Haptic Device: Mechanical Design, Controller and Applications
On the Evolution of Data Governance in Firms: The Case of Johnson & Johnson Consumer Products North America
Representing 3D Shape and Location
Information Security Planning - A Practical Approach, Second Edition
A Narrative History of Artificial Intelligence - The Perpetual Frontier of Information Technology
Autonomic Road Transport Support Systems
Personalizing Haptics - From Individuals' Sense-Making Schemas to End-User Haptic Tools
Software-Entwicklung für Echtzeitsysteme
Imaginary Mathematics for Computer Science
Überlast in Rechensystemen: Modellierung und Verhinderung
Fundamental Algorithms for Permutation Groups
Blockchain for Secure Healthcare Using Internet of Medical Things (IoMT)
Optimizing Transport Logistics Processes with Multiagent Planning and Control
Fault-tolerant Control and Diagnosis for Integer and Fractional-order Systems - Fundamentals of Fractional Calculus and Differential Algebra with Real-Time Applications
Creative Convergence - The AI Renaissance in Art and Design
DevOps for Digital Leaders - Reignite Business with a Modern DevOps-Enabled Software Factory
Differential Inclusions - Set-Valued Maps and Viability Theory
Embedded Artificial Intelligence - Principles, Platforms and Practices
Data Storage Architectures and Technologies, 3
Quickstart Python - An Introduction to Programming for STEM Students
Interactive Markov Chains: The Quest for Quantified Quality
Machine Learning and Artificial Intelligence - Second Edition, Second Edition
Doctoral Training in Engineering - Developing Indigenous Capacities and Skills for Economic Growth in Industrialising Countries, 18
Liderança com Synercube - Uma cultura de liderança dinâmica voltada para a excelência
A Matrix Algebra Approach to Artificial Intelligence
R-Calculus, V: Description Logics
Cooperative Bug Isolation (Winning Thesis of the 2005 ACM Doctoral Dissertation Competition)
Self-Organizing Maps, Second Edition
Fundamentals of Business Process Management, Second Edition
Multicast-Kommunikation in verteilten Systemen
Spatio-Temporal Graph Data Analytics
Prominent Feature Extraction for Sentiment Analysis
WWW - Kommunikation, Internetworking, Web-Technologien
Tractable Reasoning in Artificial Intelligence
The Neural Network Approach in Plasticity and Fracture Mechanics
SGML in der Entwicklungsdokumentation elektronischer Komponenten
Coordination Languages
Future Directions in SGML/XML
SGML und XML - Anwendungen und Perspektiven
How Enterprises Use Functional Languages, and Why They Don't
Visual Representation and Taxonomy
Was ist allgemeine Mengenlehre?
On Some Difficulties in Integrating Highly Oscillatory Hamiltonian Systems
The Logic Programming Paradigm - A 25-Year Perspective
The Logic of Language
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics
Linear und exponentiell wachsende Kaninchenpopulationen
Assessment of Some Issues in CL-Theory and Program Development
Computational Molecular Biology: A Promising Application Using LP and its Extensions
Atomistic vs. Continuous Representations in Molecular Biology
Visualisation of an AI Solution
A Visual, Computational Object Language for Mathematics
Theories and Models: the Interactive View
Conformational Transitions of Proteins from Atomistic Simulations
Defining Visual Representation as a Creative and Interactive Modality
The Logic Programming Paradigm in Numerical Computation
A taxonomy of visual metaphors
Deutschlandweite Verbindungsauskunft im öffentlichen Personenverkehr: Verteilte Wegesuche in Graphen
Breaking the Monotony: Using Randomisation Techniques in Computer-Aided Textile Design
Data Parallelism
Prediction of pKas of Titratable Residues in Proteins Using a Poisson-Boltzmann Model of the Solute-Solvent System
Die Logiken von Boole und Büchi-Elgot-Trakhtenbrot in der Beschreibung diskreter Systeme
Methodische Unterstützung der Produktentwicklung
Molecular Dynamics in Systems with Multiple Time Scales: Reference System Propagator Algorithms
A Visual Representation of Mathematical Expressions
Evolution and use of generic markup languages
Approximation Properties and Limits of the Quantum-Classical Molecular Dynamics Model
Computation of Essential Molecular Dynamics by Subdivision Techniques
Adding Constraints to Logic-based Formalisms
3D Software Visualisation
Action Languages, Answer Sets, and Planning
Visualisation in Document Retrieval: An Example of the Integration of Software Ergonomics and an Aesthetic Quality in Design
Konzeption und Realisierung des Integrations-Rahmenwerks
Neural Networks in the Analysis and Design of Structures
Parallel Molecular Dynamics Using Force Decomposition
Inference and Computation Mobility with Jinni
Toward Electronic Napkins and Beermats: Computer Support for Visual Ideation Skills
Models and Type-hierarchies: Cognitive Foundations of Iconic Thinking
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging
Genetic Algorithms and Neural Networks
Parallel and Distributed Programming in Concurrent Clean
Large Scale Functional Applications
Neural Networks and Fuzzy Logic in Active Control of Mechanical Systems
Mathematical Model of the Nucleic Acids Conformational Transitions with Hysteresis over Hydration - Dehydration Cycle
A Cogitative Algorithm for Solving the Equal Circles Packing Problem
Exploiting Tsallis Statistics
Integration von Entwicklungssystemen in Ingenieuranwendungen
Algorithms for the Satisfiability (SAT) Problem
Selbstbestimmte technische Durchsetzung informationeller Zusicherungen
Geometrische Darstellungen von Graphen und der 4-Farbensatz
Übersicht über den SFB IMPROVE: Probleme, Ansatz, Lösungsskizze
Automated Interpretation of Visual Representations: Extracting Textual Information from WWW Images
NetWork: a Tool for Visualization of Genetic Network Structure and Dynamics
Comparison of Geometric Integrators for Rigid Body Simulation
Is the Trashcan Being Ironic? Analysing Direct Manipulation User Interfaces Using a Contemporary Theory of Metaphor
Molecular Dynamics Simulations: The Limits and Beyond
From Gutenberg to Gates
The Five Femtosecond Time Step Barrier
Articulation of Spatial Information: 3D Shapes
Der SUKITS-Prototyp
Theatricality and Levels of Believability in Graphical Virtual Environments
Diskrete Modellbildung und verteilte Simulation
Von der Schwierigkeit, sichere Kryptosysteme zu entwerfen
Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming's Algorithmic Foundations
Abbildung auf bestehende und neue Plattformen
Angewandte Mathematik, insbesondere Informatik: Beispiele erfolgreicher Wege zwischen Mathematik und Informatik [Festschrift anläßlich der Emeritierung von Professor Dr. Walter Oberschel]
Eine SGML-basierte bibliographische Datenbank für Nachschlagewerke
Kundendienst-Information bei Rolls-Royce Motor Cars Ltd
Polarons of Molecular Crystal Model by Nonlocal Dynamical Coherent Potential Method
Neuartige Methoden und Werkzeuge
Signs and Representations: Semiotics for User Interface Design
Datenparallelität in Logischen Programmen auf der Grundlage einer erweiterten Dekomposition
A Bunch of Time Integrators for Quantum/Classical Molecular Dynamics
A Perspective on Inductive Logic Programming
A Model for Multimodal Representation and Inference
Modell einer mehrschichtigen Textannotation für die computerunterstützte Textanalyse
A Visual Metaphor for Psychoanalytic Training and Supervision
New Techniques for the Construction of Residue Potentials for Protein Folding
Realism and Representation: Pictures, Models and Theories
Studying 'Holes' to Understand Visual Representation
SGML/XML als Verbindungsschicht in Entwicklungsprozessen
Application of a Stochastic Path Integral Approach to the Computations of an Optimal Path and Ensembles of Trajectories
Linear Assignment Problems and Extensions
Eines für alle: auf der Suche nach dem universellen Redaktionssystem für Verlage
Computational Molecular Dynamics: Challenges, Methods, Ideas
Simulation Studies of Protein-Ligand Interactions
Performance Monitoring
Functional Process Modelling
Estimating Relative Free Energies from a Single Simulation of the Initial State
Wissensbasierte Bilddeutung in der Medizin am Beispiel des CYCLOPS-Systems
Embodied Presence in Virtual Environments
Horn Logic Denotations and Their Applications
Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation
A Multidisciplinary Perspective on Visual Representations & Interpretations
Automatische Erzeugung von semantischem Markup in Agenturmeldungen
Neural Networks Approaches for Combinatorial Optimization Problems
Applications of Neural Networks in Modeling and Design of Structural Systems
Symplectic Multiple-Time-Stepping Integrators for Quantum-Classical Molecular Dynamics
Geomentality: Reframing the Landscape
Concurrent Logic/Constraint Programming: The Next 10 Years
Shaping Distributions
Long Time Step MD Simulations Using Split Integration Symplectic Method
Realisations for Strict Languages
Visualisation of Data Landscapes for Collaborative Virtual Environments
MARTIF - ein SGML-basiertes Austauschformat für terminologische Daten
Innovation für Nachrichtenagenturen
Some Failures and Successes of Long-Timestep Approaches to Biomolecular Simulations
Steered Molecular Dynamics
The Boundaries of a Shape and the Shape of Boundaries
Stable Models and an Alternative Logic Programming Paradigm
Ewald and Multipole Methods for Periodic N-Body Problems
Verfahrenstechnische Entwicklungsprozesse
Semantisches Markup zur Inhaltserschließung von Agenturmeldungen
Realisations for Non-Strict Languages
Words and Pictures - Goodman Revisited
Visualising Dynamic Browsing Patterns via Navigation Agents
Über das Zeichnen von Graphen
The Language of Proteins
The Steiner Ratio of L p -planes
Avoiding Algorithmic Obfuscation in a Message-Driven Parallel MD Code
Mental Image Reinterpretation in the Intersection of Conceptual and Visual Constraints
Visualisation of the OBJ Term Re-writing Process
Verteilte Verbindungssuche im öffentlichen Personenverkehr Graphentheoretische Modelle und Algorithmen
Realisierung eines SGML-basierten Publikationsprozesses im Verlag: kritische Anmerkungen
Numerical Integrators for Quantum-Classical Molecular Dynamics
Programming Language Constructs
Memory Performance of Dataflow Programs
Visual Representations and Interpretations of Molecular Electronic Structure: The Survival and Re-emergence of Valence Bond Theory
Cluster Analysis of Multiparametric MR Imaging including ADC Maps and Relaxometry for Spatially High-Resolved Differentiation of Healthy and Ischemic Human Brain Tissue
From Deduction to Induction: Logical Perspective
Analysis of Representations in Model-Based Teaching and Learning in Science
Exploration of Peptide Free Energy Surfaces
Graphically Representing Causal Sequences in Accident Scenarios: Just Some of the Issues
Frequency Assignment Problems
Bin Packing Approximation Algorithms: Combinatorial Analysis
SGML für dynamische Publikationen - das Beispiel Fischer Weltalmanach
Logic-Based User-Defined Aggregates for the Next Generation of Database Systems
Virtual World Representation Issues for Supporting Assembly and Maintainability Assessment Tasks
Walter Oberschelp Lehrstuhl für angewandte Mathematik, insbesondere Informatik
Interpreting Computer-Based Fictional Characters, a Reader's Manifesto: Or, Remarks in Favour of the Accommodating Text
The Maximum Clique Problem
Adaption kontinuierlicher Integraltransformationen für diskrete Algorithmen der Bildregistrierung
Interpreting Wittgenstein's Graphics
Visualising Complex Sequential and Parallel Programs
Relationale Datenbanken im Wandel der Zeiten
Conformational Dynamics Simulations of Proteins
Research Directions in Parallel Functional Programming
New Methods in Quantum Molecular Dynamics of Large Polyatomic Systems
SGML - Praxis des langen Weges
Der Einsatz von XML bei der Süddeutschen Zeitung
Die Integrationsproblematik und der SUKITS-Ansatz
Computational Support for Conceptual Sketching
Validating Programs in Concurrent ML
Portability of Performance in the BSP Model
Link-time Optimization of Multi-Language Programs
Learning to See Architecturally
Explicit Parallelism
Neural Networks in Advanced Computational Problems
Visual Representations and Interpretations
Cost Modelling
Applications of Ab-Initio Molecular Dynamics Simulations in Chemistry and Polymer Science
SGML als Grundbaustein für das betriebliche Wissensmanagement
Fractional Fourier Transform Techniques for Speech Enhancement - Studies in Speech Signal Processing, Natural Language Understanding, and Machine Learning
Enterprise Architecture at Work - Modelling, Communication and Analysis, 2nd Edition
Cross-device Federated Recommendation - Privacy-Preserving Personalization
Deep Learning for 3D Point Clouds
Focusing Solutions for Data Mining: Analytical Studies and Experimental Results in Real-World Domains
Enterprise Modeling - Tackling Business Challenges with the 4EM Method
The Complete Handbook of the Internet
Variants of Evolutionary Algorithms for Real-World Applications
Advanced Persistent Training - Take Your Security Awareness Program to the Next Level
Ada 95 Reference Manual, Language and Standard Libraries, International Standard ISO/IEC 8652: 1995(E)
Wireless Multimedia Sensor Networks on Reconfigurable Hardware - Information Reduction Techniques
Map Construction Algorithms
Privacy Preservation in Distributed Systems - Algorithms and Applications
Cyber-Security in Critical Infrastructures - A Game-Theoretic Approach
Exoskeletons in Rehabilitation Robotics - Tremor Suppression
Computational Intelligence in Digital and Network Designs and Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications
Active Rules in Database Systems
Introduction to Social Media Marketing - A Guide for Absolute Beginners
Digital Signal Processing - Illustration Using Python
Information Visualization - An Introduction
Zhang-Gradient Control, 3
Problems on Algorithms - A Comprehensive Exercise Book for Students in Software Engineering
An Invitation to Number-Conserving Cellular Automata
Recent Insights into Number-Conserving Cellular Automata
A Class of the Smallest 4-State FSSP Partial Solutions for Rings - A Survey
A Study on the Composition of Elementary Cellular Automata
Extensions on the Analysis of Elementary Cellular Automata with Process Graphs
Evolution of a Model
Real-Time Pattern Generation by One-Dimensional Cellular Automata
Experimental Classification of Elementary Cellular Automata Using Markov Chains
Symbolic Dynamics of Cellular Automata
Advances in Cellular Automata - Volume 1: Theory
Composing a Rotary Element in Simple Reversible Cellular Automata to Make Reversible Computers
Solving the Initial Value Problem for Cellular Automata by Pattern Decomposition
Entropy of Linear CA over the Ring $${\mathbb {Z}_m}$$
Loop Patterns Formed by Cellular Automata
Versatile Topology for Two-Dimensional Cellular Automata
Developmental Construction of Face-Centered Cubic Cellular Automata Inspired by Excitable Media
Software-Architekturen für verteilte Systeme - Prinzipien, Bausteine und Standardarchitekturen für moderne Software
Human-Harmonized Information Technology, Volume 1 - Vertical Impact
e-Government and Employment Services - A Case Study in Effectiveness
Logics for Computer Science - Classical and Non-Classical
Membrane Computing: An Introduction
Brain Art - Brain-Computer Interfaces for Artistic Expression
Quo Vadetis, Parallel Machine Models?
A Quantum Jump in Computer Science
Efficient Use of Parallel & Distributed Systems: From Theory to Practice
The ART behind IDEAS
Avoiding the Undefined by Underspecification
Computational Machine Learning in Theory and Praxis
Standard Generalized Markup Language: Mathematical and Philosophical Issues
Trends in Active Vision
Petri Net Models of Distributed Algorithms
Differential BDDs
Formulations and Formalisms in Software Architecture
Experimental Validation of Models of Parallel Computation
Hypermedia Systems as Internet Tools
Chu Spaces and Their Interpretation as Concurrent Objects
Information Retrieval and Information Reasoning
Reasoning about Actions and Change with Ramification
Mathematical System Models as a Basis of Software Engineering
All the Needles in a Haystack: Can Exhaustive Search Overcome Combinatorial Chaos?
Scalable Computing
Multimedia Authoring Tools: State of the Art and Research Challenges
Alternating Automata and Program Verification
Algebraic Topology and Distributed Computing: A Primer
Abstracting Unification: A Key Step in the Design of Logic Program Analyses
Computational Models for Distributed Multimedia Applications
Algorithmic Techniques for Geometric Optimization
Artificial Life and Real World Computing
Algorithmic Number Theory and Its Relationship to Computational Complexity
Towards a theory of Recursive Structures
Templates for Linear Algebra Problems
Edge-Coloring Algorithms
Symmetry and Induction in Model Checking
Database Transaction Models
Fuzzy Sets as a Tool for Modeling
Towards a Computational Theory of Genome Rearrangements
Fundamental Limitations on Search Algorithms: Evolutionary Computing in Perspective
The CISO's Transformation - Security Leadership in a High Threat Landscape
Security for Wireless Sensor Networks
Tongue Image Analysis
Guide to Teaching Computer Science - An Activity-Based Approach, Third Edition
Next Generation Internet - The Merging of Reality and Virtuality in the Metaverse
Algorithms for Constructing Computably Enumerable Sets
Design and Control of Workflow Processes: Business Process Management for the Service Industry
Multidimensional Signals and Systems - Theory and Foundations
Underwater Robots - 2nd Edition - Motion and Force Control of Vehicle-Manipulator Systems
Random-Like Bi-level Decision Making
Human-Robot Body Experience
Complexity Management in Fuzzy Systems - A Rule Base Compression Approach
Collaborative Knowledge Management Through Product Lifecycle - A Computational Perspective
Becoming a data-driven Organisation - Unlock the value of data
Software Product Management - The ISPMA-Compliant Study Guide and Handbook
View Synthesis Using Stereo Vision
Relational Technologies, Metadata and RDF
Datalog Extensions for Tractable Query Answering over Ontologies
Hera: Engineering Web Applications Using Semantic Web-based Models
The Semantic Web Languages
Semantic Matching with S-Match
A Metamodel Approach to Semantic Web Data Management
Modular Knowledge Representation and Reasoning in the Semantic Web
Reasoning in Semantic Web-based Systems
SPARQLog: SPARQL with Rules and Quantification
MIDST: Interoperability for Semantic Annotations
Labeling RDF Graphs for Linear Time and Space Querying
On the Semantics of SPARQL
Preserving Semantics in Automatically Created Ontology Alignments
Virtuoso: RDF Support in a Native RDBMS
Using OWL in Data Integration
SP 2 Bench: A SPARQL Performance Benchmark
Managing Terabytes of Web Semantics Data
Service Knowledge Spaces for Semantic Collaboration in Web-based Systems
Data and Metadata Management
Informative Top-k Retrieval for Advanced Skill Management
tOWL: Integrating Time in OWL
Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz
Artificial Intelligence in Healthcare Industry
Optimierung von Versorgungsnetzen: Mathematische Modellierung und Lösungstechniken
Intelligent Backstepping Control for the Alternating-Current Drive Systems
Sustainable Design - HCI, Usability and Environmental Concerns
Collaboration in Creative Design, Methods and Tools
Pragmatic Evaluation of Software Architectures
A Machine Learning Based Model of Boko Haram
Design and Analysis of Multi-Band Filtering Circuits
Investing in Information - The Information Management Body of Knowledge
Explainable Artificial Intelligence for Intelligent Transportation Systems - Ethics and Applications
Symbolische und konnektionistische Modelle der menschlichen Informationsverarbeitung - Eine kritische Gegenüberstellung
Input/Output in Parallel and Distributed Computer Systems
Creating Value from Data Sharing - Future-oriented Business Models in Theory and Practice
Co-governed Sovereignty Network - Legal Basis and Its Prototype & Applications with MIN Architecture
Software Engineering: Specification, Implementation, Verification
Essence of Systems Analysis and Design - A Workbook Approach
Artificial Companion for Second Language Conversation - Chatbots Support Practice Using Conversation Analysis
Real-Time C++ - Efficient Object-Oriented and Template Microcontroller Programming, Second Edition
A Guide to Graph Colouring - Algorithms and Applications
Methods and Applications of Algorithmic Complexity - Beyond Statistical Lossless Compression
Health Informatics on FHIR: How HL7's New API is Transforming Healthcare
Viruses in all Dimensions - How an Information Code Controls Viruses, Software and Microorganisms
3D Scene Modeling and Robotics Interaction