yusuke1997/dblp-id-title huggingface dataset:
Using a Computing Ontology in Curriculum Development
Steps towards Semantic Searches in Heliophysics
PhiloSurfical: an Ontological Approach to Support Philosophy Learning
Ontology Pattern Languages
Guideline Development
Inside a Theory-Aware Authoring System
Motivation and Introduction
Thesaurus of Health Informatics
Situational Awareness for Assistive Technologies
Kleeme-Algebren Formaler Ausdrücke
Enhancing the Cultural Heritage Using ICT: Background and Perspective
Hybrid Intensional Computing in GIPSY: JLucid, Objective Lucid and GICF
Kompendium Theoretische Informatik - eine Ideensammlung
Skriptum Informatik: eine konventionelle Einführung, 2., durchges. Aufl
Aufgaben zum Skriptum Informatik, 2., durchges. Aufl
Einführung in die Komplexitätstheorie
Starthilfe Informatik, 2. Auflage
Effiziente Algorithmen für grundlegende Funktionen (2. Auflage)
Compilerbau - Eine Einführung
Starthilfe Informatik
Grundlagen der Programmiersprachen
Datenbanksysteme: Konzepte und Modelle
Semantik und Programmverifikation
Skriptum Informatik: eine konventionelle Einführung, 3., durchges. und erw. Aufl
Skriptum Informatik: eine konventionelle Einführung, 4., durchges. Aufl
Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen, Eine Einführung
Transaktionssysteme: Funktionsumfang, Realisierungsmöglichkeiten, Leistungsverhalten
Didaktik der Informatik, mit praxiserprobtem Unterrichtsmaterial, 2. Auflage
Backup und Recovery in Datenbanksystemen
Skriptum Informatik: eine konventionelle Einführung, 5. Aufl
Didaktik der Informatik, mit praxiserprobtem Unterrichtsmaterial
Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen, Eine Einführung, 2. Auflage
Aufgaben zum Skriptum Informatik
Algorithmischen Konzepte der Informatik - Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kryptographie
Archivierung in Datenbanksystemen - Konzept und Sprache
Skriptum Informatik: eine konventionelle Einführung
Effiziente Algorithmen
Theoretische Informatik - eine algorithmenorientierte Einführung (2. Auflage)
The complexity of Boolean functions
Arithmetik in Rechananlagen
Wiki - Planen, Einrichten, Verwalten
Expertensysteme für die Planung der Produktion
Probabilistic and Statistical Methods in Cryptology, An Introduction by Selected Topics
Simple Program Schemes and Formal Languages
Blockchain: Empowering Secure Data Sharing
Iterative Learning Control for Equations with Fractional Derivatives and Impulses
Reconstruction and Analysis of 3D Scenes - From Irregularly Distributed 3D Points to Object Classes
Efficient Graph Rewriting and Its Implementation
Process Analytics - Concepts and Techniques for Querying and Analyzing Process Data
Lean Software Development in Action
Introductory Computer Forensics - A Hands-on Practical Approach
Vers les systèmes radiomobiles de 4e génération - De l'UMTS au LTE
Snake Charming - The Musical Python
Serious Games and Edutainment Applications, Volume II
Correct Software in Web Applications and Web Services
Veritying Concurrent Processes Using Temporal Logic
Cooperative Coverage Control of Multi-Agent Systems and its Applications
Graphgrammatiken in der Softwaretechnik: Theorie und Anwendungen
Qualità dei sistemi e del software - Il prossimo passo per l'industrializzazione
Modern Business Process Automation - YAWL and its Support Environment
Counterterrorism and Cybersecurity - Total Information Awareness
Statistical Analysis of Noise in MRI - Modeling, Filtering and Estimation
Quantum Computing: An Applied Approach
Bioinformatic and Statistical Analysis of Microbiome Data - From Raw Sequences to Advanced Modeling with QIIME 2 and R
Deep Learning - Foundations and Concepts
The Vogue of Managing People in Workplace
CAD und Arbeitssituation: Untersuchungen zu den Auswirkungen von CAD sowie zur menschengerechten Gestaltung von CAD-Systemen
Learning-Based Robot Vision, Principles and Applications
Align Client and Provider Perspectives - Best Practices in IT Outsourcing
Project Management at the Edge of Chaos, Social Techniques for Complex Systems
Lectures on the Complexity of Bilinear Problems
Possibility Theory and the Risk
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation
Hybrid PID Based Predictive Control Strategies for WirelessHART Networked Control Systems
Algorithms for Data and Computation Privacy
Handbook of Convex Optimization Methods in Imaging Science
Fieldwork for Design - Theory and Practice
Privacy-Respecting Intrusion Detection
Formal SQL Tuning for Oracle Databases - Practical Efficiency - Efficient Practice
Authentication in Insecure Environments - Using Visual Cryptography and Non-Transferable Credentials in Practise
Machine Learning Contests: A Guidebook
Handbook of Service Description - USDL and Its Methods
Guide to Teaching Computer Science - An Activity-Based Approach, Second Edition
Quantum Key Distribution Networks - A Quality of Service Perspective, 1
Human and Robot Hands - Sensorimotor Synergies to Bridge the Gap Between Neuroscience and Robotics
Introduction to Generative Design for Aerospace Applications - From the Creative Process to Manufacturing
Cyber Threat Intelligence for the Internet of Things
Hackathons - From Idea to Successful Implementation
Output Tracking in Non-minimum Phase Systems - A Reduced Order Sliding Mode Design Approach
Artificail Perception and Music Recognition
Current Challenges in Patent Information Retrieval
Context in Computing - A Cross-Disciplinary Approach for Modeling the Real World
Preserving Privacy in On-Line Analytical Processing (OLAP)
On the Integration of Algebraic Functions
Real-Time C++ - Efficient Object-Oriented and Template Microcontroller Programming, 4th Edition
Fuzzy Set Theory - and Its Applications
Intelligent Spectrum Handovers in Cognitive Radio Networks
Wireless Sensors in Industrial Time-Critical Environments
Situation Awareness with Systems of Systems
Understand Mathematics, Understand Computing - Discrete Mathematics That All Computing Students Should Know
Interactive Modeling and Simulation in Business System Design
Evolving Software Systems
Managing Information Highways - The PRISM Book: Principles, Methods, and Case Studies for Designing Telecommunications Management Systems
System Architecture - An Ordinary Engineering Discipline
New Concepts for Parallel Object-Relational Query Processing
Plan-Based Control of Robotic Agents: Improving the Capabilities of Autonomous Robots
Industry 4.0, China 2025, IoT - The Hype Around the World of Automation
Action Research in Software Engineering - Theory and Applications
Pedigree Polytopes - New Insights on Computational Complexity of Combinatorial Optimisation Problems
Human Activity Recognition and Behaviour Analysis - For Cyber-Physical Systems in Smart Environments
Perfect Secrecy in IoT - A Hybrid Combinatorial-Boolean Approach
Understanding and Changing the World - From Information to Knowledge and Intelligence
Enhancing Video Streaming with AI, Cloud, and Edge Technologies - Optimization Techniques and Frameworks
Choquet Capacities and Fuzzy Integrals - In cooperation with the Association Computability in Europe
Quality-Driven Query Answering for Integrated Information Systems
User Experience + Artificial Intelligence - Assessing the Qualities of AI-infused Systems
Business Intelligence Tools for Small Companies - A Guide to Free and Low-Cost Solutions
Modeling and Control for Efficient Bipedal Walking Robots - A Port-Based Approach
Measuring Systemic Risk - A Probabilistic Perspective
Petrinetze, Eine Einführung, 2. Auflage
Verteilte Basisalgorithmen
R Programming - Statistical Data Analysis in Research
Computers, Privacy and Data Protection: an Element of Choice
Mathematical Tools for Data Mining - Set Theory, Partial Orders, Combinatorics. Second Edition
Artificial Intelligence in Facial Trauma, Oral Diseases, and Systemic Health
Computer Aided Engineering Design and Manufacturing - A Fourth Industrial Revolution Perspective
Active Visual Inference of Surface Shape
Into a Deeper Understanding of Evolutionary Computing: Exploration, Exploitation, and Parameter Control - Volume 2
Fuzzy Networks for Complex Systems - A Modular Rule Base Approach
Experience Management: Foundations, Development Methodology, and Internet-Based Applications
Connected Health Insights for Sustainable Development - Integrating IoT, AI, and Data-Driven Solutions
Portfolio Analysis - From Probabilistic to Credibilistic and Uncertain Approaches
Wheeled Mobile Robot Control - Theory, Simulation, and Experimentation
Mobile Schutzassistenz - Grundlagen, Entwurfsmethodik, Gestaltanforderungen
Signal Processing and Machine Learning with Applications
Interaktive Systeme - Band 1: Grundlagen, Graphical User Interfaces, Informationsvisualisierung
Einführung in Computational Social Choice: Individuelle Strategien und kollektive Entscheidungen beim Spielen, Wählen und Teilen
Approximative Public-Key-Kryptosysteme
Efficient Query Processing in Geographic Information Systems
Causal Discovery - Foundations, Algorithms and Applications
Fundamental Mathematical Concepts for Machine Learning in Science
Computational Pulse Signal Analysis
Higher-Order Computability
Constructive Fractional Analysis with Applications
Digital Humanism - For a Humane Transformation of Democracy, Economy and Culture in the Digital Age
Drawing Programs: The Theory and Practice of Schematic Functional Programming
Complete Symbolic Simulation of SystemC Models - Efficient Formal Verification of Finite Non-Terminating Programs
Touch-Based Human-Machine Interaction - Principles and Applications
Hard Real-Time Computing Systems - Predictable Scheduling Algorithms and Applications, 4th Edition
Processing Big Data with Azure HDInsight - Building Real-World Big Data Systems on Azure HDInsight Using the Hadoop Ecosystem
The Python Workbook - A Brief Introduction with Exercises and Solutions
Fundamentals of Digital Forensics - Theory, Methods, and Real-Life Applications, Second Edition
Ethics and Artificial Intelligence - Towards a Moral Technology
Analysis and Design of Next-Generation Software Architectures - 5G, IoT, Blockchain, and Quantum Computing, 3
Swarm Systems in Art and Architecture - State of the Art
Quantitative Intertextuality - Analyzing the Markers of Information Reuse
Received Signal Strength Based Target Localization and Tracking Using Wireless Sensor Networks
Advances in Multiresolution for Geometric Modelling
Handbook of Requirements and Business Analysis
Cartesian Impedance Control of Redundant and Flexible-Joint Robots
Federated Learning - Fundamentals and Advances
Evolution of Parallel Cellular Machines, The Cellular Programming Approach
Stochastic Network Calculus
Random Contractions in Global Risk Governance
Honeypot Frameworks and their Applications: A New Framework
Data and Process Visualisation for Graphic Communication - A Hands-on Approach with Python
Wooden Façades and Fire Safety - Effects of Joint Type on Ignition Behaviour
Trust Management in Cloud Services
Relational Calculus for Actionable Knowledge
Teaching and Learning in Information Retrieval
Distributed Machine Learning and Gradient Optimization
Petri Net Primer - A Compendium on the Core Model, Analysis, and Synthesis
Intelligent Perceptual Systems: New Directions in Computational Perception
Social Media for Government Services
Quality in Business Process Modeling
Applying Data Science - How to Create Value with Artificial Intelligence
Modeling Communication Networks and Protocols - Implementation via the SMURPH System
Introduction to the Theory of Smart Electromechanical Systems
A Scalable Disk System with Data Reconstruction Functions
Placement-Related Problems in Shared Disk I/O
IDV (UK) Limited: Sales Force Management
Transforming Organisations Through Groupware - Lotus Notes in Action
Overview of the MPI-IO Parallel I/O Interface
Adjusting Target Figures Downwards: On the Collaborative Writing of Policy Documents in the Dutch Government
Designing Practice-Based Learning Environments
HCSA: A Hybrid Client-Server Architecture
Detecting Stylistic Inconsistencies in Collaborative Writing
When Worlds Collide: Merging Face-to-face and Virtual Academic Conferences
The Foundations of Human-centred Systems
Lloyd's Register Quality Assurance: Quality Management Begins at Home
Professional Authorship in the Electronic World
Pfizer: From Sales Automation to Business Automation
I/O in Parallel and Distributed Systems: An Introduction
Sony Computer Entertainment Inc.: Linking Up PlayStation Partners
Rosenbrock's Account of Causality and Purpose
Thomas Miller & Co: From Information to Imagination
Human-centred Methods of Social and Technical Design
Professional Writing Studied: Authors' Accounts of Planning in Document Production Processes
Writers at Work: Expanding the Notion of Writing - Introduction
Intel Corporation (UK) Ltd: 10 Critical Success Factors for Notes Adoption
Workplace Innovations: the Making of a Human-centred Industrial Culture
Citizens' Networks: Examples of Utopian Uses of Computer-mediated Communication
Performance Evaluation of a Massively Parallel I/O Subsystem
Academic Writing and Information Retrieval
Henley College of Management: Developing a Global Business School
Knowledge Package Construction and Conceptual Navigation using a System for Universal Media Searching (SUMS)
Lotus Notes - An Introduction
Ports Association of West Africa: Award-Winning Management Information System
The New Writing Environment: Writers at Work in a World of Technology
Runtime Support for Out-of-Core Parallel Programs
GM Europe: World's Largest User of Notes
Lotus Development: Team Room - A Collaborative Workspace for Cross-Functional Teams
AmBank: Managing Client Relationships
Culture, Mind and Technology: Making a Difference
Australian Bureau of Statistics: Universal Adoption
Vision Associates Inc.: Notes Everywhere
User-oriented Index Design for Computer-based Documentation
Cleer University: Distance Learning Institute Resistant to Notes
Low-Level Interfaces for High-Level Parallel I/O
Heterogeneous I/O Contention in a Single-Bus Multiprocessor
Designing for Knowledge Transfer
Cemex: Shifting Attitudes Between Staff and Customers
ABB Asea Brown Boveri: Supporting the Multi-cultural Multinational
Parallel I/O Workload Characteristics Using Vesta
Making Use of the Case Studies
Improving the Performance of Parallel I/O Using Distributed Scheduling Algorithms
New Ways of Writing: Multimedia and Networks - Introduction
Issues in Compiling I/O Intensive Problems
Spider Webs, Symphonies and the Yellow-Brick Road: Form and Structure in Electronic Texts
An Experimental Active-Memory-Based I/O Subsystem
MTW Schiffswerft: Shipbuilder Cuts Paperwork and Delays
Ambouw BV: Stalled Pilot at Dutch Wholesaler
The Social Construction of Human-centredness
Young & Rubicam: Improving Productivity with Workflow
Designs for New Writing Environments
Arthur Andersen & Co: Virtual Visioning
Scalable Concurrency Control for Parallel File Systems
Mission Energy Corporation: Global Project Management Over Value-Added Network
PrimeGest SpA: Group Memory Transforms Italian Fund Management Company
Video on Demand Using the Vesta Parallel File System
Designing and Developing the New Writing Environment - Introduction
Information Systems Design: a User-Involved Perspective
Two Investigations into Intelligent Text Processing
Meanwhile, Out in the Real World: Developing a Commercial Human-centred Software Application
Writing, Speaking, Drawing: the Distribution of Meaning in Architects' Communication
Introduction to Multiprocessor I/O Architecture
An Introduction to Parallel I/O Models and Algorithms
Writers at Work in a New Writing Environment - Introduction
Human Machine Symbiosis - The Foundations of Human-centred Systems Design
Computer Support for Producing Software Documentation: Some Possible Futures
KLM: Business Excellence System
Macmillan Distribution: Going for ISO 9000
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization
Searchable Storage in Cloud Computing
Software Product Management - The ISPMA®-Compliant Study Guide and Handbook, Second Edition
Swift Analysis of Civil Engineering Structures Using Graph Theory Methods
Boolean Caclulus of Differences
Computational Intelligence - Engineering of Hybrid Systems
The Foundations of Computability Theory, Second Edition
Computational Thinking - First Algorithms, Then Code
A Perspective on Artificial Intelligence in Manufacturing
Triggermechanismen in Datenbanksystemen
Software Architectures - Topics Usually Missed in Textbooks
Formal Analysis by Abstract Interpretation - Case Studies in Modern Protocols
The Art and Science of Quantitative Research
Fuzzy Group Theory
Guide to Distributed Simulation with HLA
Electrochemical Biosensor: Point-of-Care for Early Detection of Bone Loss
Collaborative Optimization of Complex Energy Systems - Applications in Iron and Steel Industry
Mm-wave Circuit Design in 16nm FinFET for 6G Applications
Handbook of Software Engineering
Sentiment Analysis in the Medical Domain
Deep Reinforcement Learning with Guaranteed Performance - A Lyapunov-Based Approach
Bridging the Gap between Requirements Engineering and Software Architecture, A Problem-Oriented and Quality-Driven Method
Raspberry Pi Supercomputing and Scientific Programming - MPI4PY, NumPy, and SciPy for Enthusiasts
Evolutionary Approach to Machine Learning and Deep Neural Networks - Neuro-Evolution and Gene Regulatory Networks
Higher-Level Hardware Synthesis
Digital and Discrete Geometry - Theory and Algorithms
Handbook on Craniofacial Superimposition - The MEPROCS Project
The Structure of the Relational Database Model
Funktioneller Test der Auflösung von Zugriffskonflikten in Mehrrechnersystemen
Advanced Robust Nonlinear Control Approaches for Quadrotor Unmanned Aerial Vehicle - Roadmap to Improve Tracking-Trajectory Performance in the Presence of External Disturbances, 2
John Zukowski's Definitive Guide to Swing for Java 2
Research Advances in Cloud Computing
Learning from Imbalanced Data Sets
Cross-Cultural Computing: An Artist's Journey
IT Solutions for the Smart Grid - Theory, Application, and Economic Assessment
A Practical Guide to Hybrid Natural Language Processing - Combining Neural Models and Knowledge Graphs for NLP
Computer science to the Point - Computer Science for Life Sciences Students and Other Non-Computer Scientists
Privacy and Data Protection Challenges in the Distributed Era
The Logic of Information Structures
Broad Learning Through Fusions - An Application on Social Networks
Uncertainty Handling and Quality Assessment in Data Mining
An Introduction to Image Classification - From Designed Models to End-to-End Learning
Theorie der logischen Programmierung
Mathematik für Informatiker I: Die Methode der Mathematik
Fuzzy-AI Model and Big Data Exploration - A Methodological Philosophy in Solving Problems in Digital Era
Understanding-Oriented Multimedia Content Analysis
Solving the Dynamic Complexity Dilemma - Predictive and Prescriptive Business Management: Answering the Need for a New Paradigm
Data Center Networking - Network Topologies and Traffic Management in Large-Scale Data Centers
Human Factor Security and Safety - A Behavioral Computing Approach
Enterprise Architecture Function - A Pattern Language for Planning, Design and Execution
Iterative Software Engineering for Multiagent Systems: The MASSIVE Method
Starr-elastische Robotersysteme - Theorie und Anwendungen
Internet of Things and Access Control - Sensing, Monitoring and Controlling Access in IoT-Enabled Healthcare Systems
Creativity in Art, Design and Technology
Big Data Technologies for Monitoring of Computer Security: A Case Study of the Russian Federation
Probability in Electrical Engineering and Computer Science - An Application-Driven Course
Internet of Things and BDS Application
Security, Privacy, and Trust in Modern Data Management
Hagenberg Business Process Modelling Method
Verteiltes und Paralleles Datenmanagement: Von verteilten Datenbanken zu Big Data und Cloud
Programming Constraint Services: High-Level Programming of Standard and New Constraint Services
Introduction to the Sensoria Case Studies
Runtime Support for Dynamic and Adaptive Service Composition
Behavioral Theory for Session-Oriented Calculi
Specification and Implementation of Demonstrators for the Case Studies
CC-Pi: A Constraint Language for Service Negotiation and Composition
An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems
Hierarchical Models for Service-Oriented Systems
Static Analysis Techniques for Session-Oriented Calculi
SoSL: A Service-Oriented Stochastic Logic
Passage-End Analysis for Analysing Robot Movement
Advanced Mechanisms for Service Composition, Query and Discovery
Sensoria Results Applied to the Case Studies
Model-Driven Development of Adaptable Service-Oriented Business Processes
Tools and Verification
Legacy Transformations for Extracting Service Components
A Unifying Formal Basis for the Sensoria Approach: A White Paper
The Sensoria Reference Modelling Language
Evaluating Service Level Agreements Using Observational Probes
Analysing Protocol Stacks for Services
The Sensoria Development Environment
A Formal Support to Business and Architectural Design for Service-Oriented Systems
Call-by-Contract for Service Discovery, Orchestration and Recovery
Model-Driven Development of Long Running Transactions
Methodologies for Model-Driven Development and Deployment: An Overview
The Sensoria Approach Applied to the Finance Case Study
Specification and Analysis of Dynamically-Reconfigurable Service Architectures
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis
Scaling Performance Analysis Using Fluid-Flow Approximation
Sensoria - Software Engineering for Service-Oriented Overlay Computers
UML Extensions for Service-Oriented Systems
Advanced Mechanisms for Service Combination and Transactions
Sensoria Patterns
Analysing Robot Movement Using the Sensoria Methods
Core Calculi for Service-Oriented Computing
Quantitative Analysis of Services
Engineering Simulations as Scientific Instruments: A Pattern Language
Verifiable Privacy Protection for Vehicular Communication Systems
Rhythm, Play and Interaction Design
Using Microsoft Dynamics AX - The New Dynamics 'AX 7', 5th Edition
Predicting and Measuring the Sequence Distribution of Condensation Polymers
Haplotype Inference Using Propositional Satisfiability
Population Stratification Analysis in Genome-Wide Association Studies
Modeling Biochemical Pathways
Divide and Conquer Strategies for Protein Structure Prediction
Estimating Phylogenies from Molecular Data
Predicting and Measuring the Sequence Distribution of Addition Polymers
Protein Fold Recognition Using Markov Logic Networks
Secondary Structure Classification of Isoform Protein Markers in Oncology
Mining Spatial Association Rules for Composite Motif Discovery
Complete and Exact Peptide Sequence Analysis Based on Propositional Logic
Process Monitoring and Fault Diagnosis Based on Multivariable Statistical Analysis
3D Robotic Mapping - The Simultaneous Localization and Mapping Problem with Six Degrees of Freedom
A Decade of MOOCs and Beyond - Platforms, Policies, Pedagogy, Technology, and Ecosystems with an Emphasis on Greater China
Systems of Reductions
Advances to Homomorphic and Searchable Encryption
Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship
Computational Music Analysis
Approximation of Euclidean Metric by Digital Distances
Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations - Theories and Methodologies
Fundamentals of Statistics with Fuzzy Data
Fuzzy Choice Functions - A Revealed Preference Approach
Interplay Between Visual and Audio Scene Analysis
Techniques for Robust Speech Recognition in Noisy and Reverberant Conditions
VAST: Versatile Anonymous System for Web Users
Topology Preserving Thinning of Vector Fields on Triangular Meshes
Automatically Discovering Transitive Relationships in Class Diagrams
Low-Cost Wireless Control-Networks in Smart Environments
Multi-Scale Geographic Maps
A Systematic Look at Model Transformations
Two-pattern test generation with low power consumption based on LFSR
Informational and Energetic Masking Effects in Multitalker Speech Perception