yusuke1997/dblp-id-title huggingface dataset:
A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets
Reference Model Guided Engineering
A Methodology for Exploring Association Models
Privacy Models and Languages: Access Control and Data Handling Policies
Development and Evaluation of Methodology for Personal Recommendations Applicable in Connected Health
Computational Affective Sociology
Teaching Prolog with Active Logic Documents
Online Train Disposition: To Wait or Not to Wait?
Distributed Norm Enforcement: Ostracism in Open Multi-Agent Systems
Using Multi-agent Systems to Specify Safe and Secure Services for Virtual Organisations
Challenges of Medical Text and Image Processing: Machine Learning Approaches
The Rabbit Stream Cipher
Prolog: Past, Present, and Future
Introduction to Part III
Introducing Prolog in Language-Informed Ways
From Specification to Proof Obligations
The Technical Challenges in OOP Application Across the European Union and the TOOP OOP Architecture
High-Performance Network Traffic Processing Systems Using Commodity Hardware
Biobanks and Biobank-Based Artificial Intelligence (AI) Implementation Through an International Lens
Correction to: The Multi-Agent Programming Contest 2018 - A Third Time in the City
On the Cook-Mertz Tree Evaluation Procedure
Analyzing the Contribution of Ethical Charters to Building the Future of Artificial Intelligence Governance
Task-Agnostic Privacy-Preserving Representation Learning via Federated Learning
A Clocking Strategy for Scalable and Fault-Tolerant QDCA Signal Distribution in Combinational and Sequential Devices
Visual Mining of Association Rules
On Parallel Repetition of Interactive Proof Systems
Learning Constraint Satisfaction Problems: An ILP Perspective
Towards Reverse-Engineering Black-Box Neural Networks
Motivations for and Initiatives on AI Engineering
Administration Models and Management Tools
What Is a Garbage Collector? An Exercise in Compositional Refinement
Extraction Process Specification for Materialized Ontology Views
Knowledge Discovery in Clinical Data
Rational Normal Curves as Set-Theoretic Complete Intersections of Quadrics
Visual Privacy Management
Towards Truly Affective AAL Systems
Freedom, Rights and Social Software
Artifact-Mediated Society and Social Intelligence Design
Formal Analysis of Interactions Between Safety and Security Requirements
Combining Logic Programming and Imperative Programming in LPS
Software and Reversible Systems: A Survey of Recent Activities
SmartAudits: Applying Timebands to a Medical Device
Cyber-Physical Systems of Systems - Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Open-World Network Intrusion Detection
Energy vs. QoX Network- and Cloud Services Management
Machine Learning for Health Informatics - State-of-the-Art and Future Challenges
Internet Video Delivery in YouTube: From Traffic Measurements to Quality of Experience
How to Measure Quality Models? Digitization into Informative Models Re-use
NGN Standardization as a Strength
Auditory-Induced Emotion: A Neglected Channel for Communication in Human-Computer Interaction
Virtual Human Problem-Solving Environments
Maintaining Mental Wellbeing of Elderly at Home
Network Compression by Node and Edge Mergers
Analysing the Safety Implications of Security Risks in Cyber-Physical Systems
Affective Human-Robotic Interaction
Collaborative Discovery Through Biological Language Modeling Interface
Optimization-Based Agents in the 16th Multi-agent Programming Contest
Heterogeneous Object Design: An Integrated CAX Perspective
Co-Creation in Ambient Narratives
Pragmatics, Logic and Information Processing
The Demoney Case Study
Democratising the Digital Revolution: The Role of Data Governance
3D Shape Analysis for Archaeology
Design and Verification of Fault-Tolerant Components
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
Bisociative Discovery in Business Process Models
Controlled English for Reasoning on the Semantic Web
Descriptive Set Theoretic Methods in Automata Theory - Decidability and Topological Complexity
Review from a Tools' Perspective
On Approximation Algorithms for Data Mining Applications
Computer-Aided Human Centric Cyber Situation Awareness
Interpretable Deep Neural Network to Predict Estrogen Receptor Status from Haematoxylin-Eosin Images
Change-Enabled Software Systems
Immersive Analytics Applications in Life and Health Sciences
Decimv2
On the Query Complexity of Testing Local Graph Properties in the Bounded-Degree Graph Model
CS1: Getting Started
AI & Human Values - Inequalities, Biases, Fairness, Nudge, and Feedback Loops
Computing by Programmable Particles
Handling Scope in Fluid Construction Grammar: A Case Study for Spanish Modals
3D Printing for Cultural Heritage: Preservation, Accessibility, Research and Education
Alias Analysis: Beyond the Code
A Review: What Matters for Ecosystem Business Strategy
From Sequential Java to Java Card
Digital Image Analysis in Pathology Using DNA Stain: Contributions in Cancer Diagnostics and Development of Prognostic and Theranostic Biomarkers
Chapter 7 Data Science and Resilience
Model Dependencies, Fine-Grained Relations, and Integrator Tools
Redirected Walking in VR
Ubiquitous Data
Virtualizing Platforms
Prolog for Scientific Explanation
An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics
TOOP Pilot Experiences: Challenges and Achievements in Implementing Once-Only in Different Domains and Member States
Semantic Linking of Research Infrastructure Metadata
Clustering for Networks of Moving Objects
Using the KeY Prover
TCP Performance over Current Cellular Access: A Comprehensive Analysis
Time Discounting and Time Consistency
Black Box Nature of Deep Learning for Digital Pathology: Beyond Quantitative to Qualitative Algorithmic Performances
Formal Analysis of Smart Contracts: Applying the KeY System
Multi-Mode DAE Models - Challenges, Theory and Implementation
From Packets to People: Quality of Experience as a New Measurement Challenge
Finding Representative Nodes in Probabilistic Graphs
A Geometric Approach to Monitoring Threshold Functions over Distributed Data Streams
On Coarse and Fine Approximate Counting of t-Cliques
Dynamic Erdős-Rényi Graphs
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability
On the Logic of Lying
Process and Pitfalls in Writing Information Visualization Research Papers
HistoMapr ™ : An Explainable AI (xAI) Platform for Computational Pathology Solutions
Natural-Language Syntax as Procedures for Interpretation: The Dynamics of Ellipsis Construal
Product Data Models
Prolog: The Next 50 Years
Abstract Interpretation
Advances in Large-Scale RDF Data Management
Parameterized Complexity in the Polynomial Hierarchy - Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
Energy Harvesting on Human Bodies
Comparing Two Emotion Models for Deriving Affective States from Physiological Data
The Stream Cipher Edon80
Reasoning and Learning for Awareness and Adaptation
Technology Assurance
Finite Reasoning Procedures for Dynamic Games
Introduction to LOD2
An Adaptive and Reactive Management System for Project Coordination
User Modeling for Pedestrian Navigation Services
Logics for Reasoning About Strategic Abilities in Multi-player Games
Regularization Techniques to Improve Generalization
Principles of an Accurate Decision and Sense-Making for Virtual Minds
Improving Performance of the VerCors Program Verifier
Stochastic Dynamics in the Brain and Probabilistic Decision-Making
Data Cataloguing
Using Paralinguistic Cues in Speech to Recognise Emotions in Older Car Drivers
Intelligent Transportation Systems - Models, Challenges, Security Aspects
Data Mining and Constraints: An Overview
MetaLex XML and the Legal Knowledge Interchange Format
A Retrospective on Aliasing Type Systems: 2012-2022
Dynamics of Decision Making in Cyber Defense: Using Multi-agent Cognitive Modeling to Understand CyberWar
ISMS-CORAS: A Structured Method for Establishing an ISO 27001 Compliant Information Security Management System
Explanations for Attributing Deep Neural Network Predictions
Reversible and Adiabatic Computing: Energy-Efficiency Maximized
On Some Logic Games in Their Philosophical Context
Logic-Based Explainable and Incremental Machine Learning
interActors: A Model for Separating Communication Concerns of Concurrent Systems
Safe Agents in Space: Preventing and Responding to Anomalies in the Autonomous Sciencecraft Experiment
Determining the Failure Level for Risk Analysis in an e-Commerce Interaction
Rapid Prototyping in the Context of Cultural Heritage and Museum Displays - Buildings, Cities, Landscapes, Illuminated Models
Combining Machine Learning and Metaheuristics Algorithms for Classification Method PROAFTN
Models of Strategic Reasoning - Logics, Games, and Communities
Error Reconciliation in Quantum Key Distribution Protocols
From Consumer Requirements to Policies in Secure Services
From Application Domain Models to Tools: The Sketch of a Layered Process/Product Model
Context-Based Entity Matching for Big Data
Evolution of Telecommunication Services - The Convergence of Telecom and Internet: Technologies and Ecosystems
Visual Data Mining: An Introduction and Overview
Emotion Modeling - Towards Pragmatic Computational Models of Affective Processes
Towards Pervasive Mobility Assessments in Clinical and Domestic Environments
Accessing Information with Tags: Search and Ranking
Optimization of Continuous Heterogeneous Models
Towards Effective Visual Data Mining with Cooperative Approaches
Approximation Algorithms for the k-Median Problem
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges
Recoverable Robustness in Shunting and Timetabling
Criteria and Evaluation for Ontology Modularization Techniques
Endowing Artificial Systems with Anticipatory Capabilities: Success Cases
Collaborative E-Learning
Immersive Virtual Reality Audio Rendering Adapted to the Listener and the Room
Recording Process Documentation in the Presence of Failures
Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages
Multi-site Software Engineering Ontology Instantiations Management Using Reputation Based Decision Making
Reversible Computation in Wireless Communications
Survey on AI-Based Multimodal Methods for Emotion Detection
Deductive Software Verification - The KeY Book - From Theory to Practice
Affective Intelligence: The Human Face of AI
Service Management for Development Tools
Moving Target Defense Quantification
Games, Actions and Social Software - Multidisciplinary Aspects
3D Model, Linked Database, and Born-Digital E-Book: An Ideal Approach to Archaeological Research and Publication
Cybercities: Mediated Public Open Spaces - A Matter of Interaction and Interfaces
Virtual Research Environments for Environmental and Earth Sciences: Approaches and Experiences
Feasibility of Personalized Affective Video Summaries
Mining Railway Delay Dependencies in Large-Scale Real-World Delay Data
Stochastic Gradient Descent Tricks
Promoting free Dialog Video Corpora: The IFADV Corpus Example
Solving Tree Evaluation in o(log n · log log n) Space
Understanding Patch-Based Learning of Video Data by Explaining Predictions
Integrative Visual Data Mining of Biomedical Data: Investigating Cases in Chronic Fatigue Syndrome and Acute Lymphoblastic Leukaemia
The SmartWeb Corpora: Multimodal Access to the Web in Natural Environments
Digital Privacy - PRIME - Privacy and Identity Management for Europe
How Is It for You? (A Case for Recognising User Motivation in the Design Process)
The (Un)reliability of Saliency Methods
Bisociative Literature Mining by Ensemble Heuristics
Internet Topology Discovery
AMADEOS SysML Profile for SoS Conceptual Modeling
Utilizing Emotions in Autonomous Robots: An Enactive Approach
Rating-Based Collaborative Filtering: Algorithms and Evaluation
A Formal Model for Peer-to-Peer Systems
Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain
The ENVRI Reference Model
How Interdependence Explains the World of Teamwork
Socio-Spatial Practices: An Introduction and Overview
"Touchscreen Assessment Tool" (TATOO), an Assessment Tool Based on the Expanded Conceptual Model of Frailty
MineFleet®: The Vehicle Data Stream Mining System for Ubiquitous Environments
Alias Analysis for Object-Oriented Programs
Recommender Systems for Health Informatics: State-of-the-Art and Future Perspectives
Using Nested Surfaces for Visual Detection of Structures in Databases
A Human-Centric Perspective on Ubiquitous Knowledge Discovery
Densely-Sampled Light Field Reconstruction
Design, Implementation, and Field Experimentation of a Long-Lived Multi-hop Sensor Network for Vineyard Monitoring
Group Search and Evacuation
Architecting Information Acquisition to Satisfy Competing Goals
A Graphical Representation of Verification Proof Plans
Security Requirements Engineering with STS-Tool
Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts
Consideration of Multiple Components of Emotions in Human-Technology Interaction
Theoretical Analysis of the k-Means Algorithm - A Survey
Tools for Consistency Management between Design Products
Dynamic Aspects of OPJK Legal Ontology
A Visual Data Mining Environment
People - Space - Technology: An Ethnographic Approach
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction
Active Learning and Examination Methods in a Data Structures and Algorithms Course
Deep Big Multilayer Perceptrons for Digit Recognition
Cloud-Based High Throughput Virtual Screening in Novel Drug Discovery
Security and Artificial Intelligence - A Crossdisciplinary Approach
The SCEL Language: Design, Implementation, Verification
From Complex Networks to Intelligent Systems
Introduction to Part II Introducing Object-Oriented Programming
Partition-Based Clustering Using Constraint Optimization
Interpretable Text-to-Image Synthesis with Hierarchical Semantic Layout Generation
Visual Data Mining: Effective Exploration of the Biological Universe
3D Reconstruction from 3D Cultural Heritage Models
Proof Reuse
Comparing the Interpretability of Deep Networks via Network Dissection
Pluggable Scheduling for the Reactor Programming Model
Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures
Towards Creative Information Exploration Based on Koestler's Concept of Bisociation
Argumentation for Knowledge Representation, Conflict Resolution, Defeasible Inference and Its Integration with Machine Learning
An Exchange Format for Multimodal Annotations
Deconstructing 1-Local Expanders
OpenCL Actors - Adding Data Parallelism to Actor-Based Programming with CAF
Theory and Models for Cyber Situation Awareness
Augmented Privacy with Virtual Humans
Assessment and Comparison of Colour Fidelity of Whole Slide Imaging Scanners
The Self-synchronizing Stream Cipher Moustique
Privacy and Access Control in Federated Social Networks
Virtual Helper or Virtual Card Player? Contrasting Responses of Older Users
Tools and Resources for Visualising Conversational-Speech Interaction
Towards Human Cell Simulation
Adapting Consistency in Constraint Solving
Data Exploration for Bisociative Knowledge Discovery: A Brief Overview of Tools and Evaluation Methods
Ludics and Web: Another Reading of Standard Operations
A Kernel-Based Framework for Medical Big-Data Analytics
Young People as Engaged Citizens: A Difficult Challenge Between Disillusionments and Hopes
Strategies for Belief Revision
Measuring the Impact of the Once Only Principle for Businesses Across Borders
Microscopy
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY
Reversibility in Chemical Reactions
Virtual Infrastructure Optimisation
Model Refinement: Generating Refinements for Algorithm and System Design
Multimodal Interfaces: A Survey of Principles, Models and Frameworks
Program Transformation and Compilation
SARDF: Signed Approximate Real Distance Functions in Heterogeneous Objects Modeling
A User-Centered Design Approach to Physical Motion Coaching Systems for Pervasive Health
Intelligent Malware Defenses
Mixed Reality: A Survey
Languages for Imperfect Information
On Computationally-Enhanced Visual Analysis of Heterogeneous Data and Its Application in Biomedical Informatics
The Multi-Agent Programming Contest 2018 - Agents Teaming Up in an Urban Environment
Context Visualization for Visual Data Mining
A Homogeneous Actor-Based Monitor Language for Adaptive Behaviour
Big Learning and Deep Neural Networks
Building ICU In-hospital Mortality Prediction Model with Federated Learning
Behavioral Contracts for Cooperative Scheduling
The Single Digital Gateway Regulation as an Enabler and Constraint of Once-Only in Europe
Combining Neural Networks and Context-Driven Search for On-line, Printed Handwriting Recognition in the Newton
(Missing) Concept Discovery in Heterogeneous Information Networks
Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation
How, Then, Should We Program?
A Master Pipeline for Discovery and Validation of Biomarkers
The Role of Affect and Emotion in HCI
Bridging a Small Gap in the Gap Amplification of Assignment Testers
Interpretation of Sensor-Based 3D Documentation
Centering Neural Network Gradient Factors
3D Research Challenges in Cultural Heritage III - Complexity and Quality in Digitisation
Concepts and Fields of Relational Justice
Engineering Time-Expanded Graphs for Faster Timetable Information
Scenarios for Companions
A Smart Electric Wheelchair Using UPnP
Content Delivery Overlays
Knowledge Extraction from Events Flows
Majority Logic Synthesis Based on Nauty Algorithm
Automata and Compositional Strategies in Extensive Form Games
Transitioning to OOP/Java - A Never Ending Story
MLBPR: MAS for Large-Scale Biometric Pattern Recognition
Component Models for Semantic Web Languages
On the Optimal Analysis of the Collision Probability Tester (an Exposition)
Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks
A Short History of KeY
Just 5 Questions: Toward a Design Framework for Immersive Analytics
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols
Liveable Open Public Space - From Flaneur to Cyborg
An Integrated Environment for Heterogeneous Process Modeling and Simulation
Heterotopic Landscapes: From GreenParks to Hybrid Territories
Emission Tomography
Dynamic Logic Programming
A Practical Guide to Applying Echo State Networks
Runtime Verification Past Experiences and Future Projections
Internet of Services
Security Aspects of SCADA and DCS Environments
Using ICT in the Management of Public Open Space as a Commons
Processing Neurology Clinical Data for Knowledge Discovery: Scalable Data Flows Using Distributed Computing
Interactive Data Exploration Using Pattern Mining
STS-Tool: Security Requirements Engineering for Socio-Technical Systems
A Spotlight of Co-creation and Inclusiveness of Public Open Spaces
Adaptive Cyber Defenses for Botnet Detection and Mitigation
Component-Based Software Development for Embedded Systems - An Overview of Current Research Trends
Enterprise-Level Cyber Situation Awareness
Early Stopping - But When?
ICT Infrastructures for Environmental and Earth Sciences
eSTREAM Software Performance
State of the Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of Services
Social Q&A
A Reflective Architecture for Robust Language Processing and Learning
Fluid Construction Grammar and Feature Constraint Logics
Protecting Anonymity in Data-Driven Biomedical Science
Higher Education Teaching Material on Machine Learning in the Domain of Digital Pathology
Forecasting the Economy with Neural Nets: A Survey of Challenges and Solutions
Immersive Analytics: An Introduction
Engineering Secure Future Internet Services and Systems - Current Research
The Quality in 3D Acquisition of Cultural Heritage Assets: Challenges and Risks
The Logic of Categorial Grammars - A Deductive Account of Natural Language Syntax and Semantics
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools
Introduction to the MDATA Model
Immersive Human-Centered Computational Analytics
Importance and Necessity of Stakeholder Engagement
Computable Models of the Law, Languages, Dialogues, Games, Ontologies
Visual Discovery of Network Patterns of Interaction between Attributes
Advances in Ontology Matching
ToPoliNano: NanoMagnet Logic Circuits Design and Simulation
Aggregation and Optimisation of Trustworthiness of Composite Services
Language, Games, and Evolution - Trends in Current Research on Language and Game Theory
Using SecureBPMN for Modelling Security-Aware Service Compositions
Reflections on AI for Humanity: Introduction
Improving Network Models and Algorithmic Tricks
Ubiquitous Technologies
Knowledge Base Creation, Enrichment and Repair
Simulation-Supported Workflow Optimization in Process Engineering
Predefined Operators in Java Card DL
Cover Similarity Based Item Set Mining
Introduction to Part III Teaching Software Engineering Issues
Designing Interactive Machine Learning Systems for GIS Applications
The Architecture of VisiOn Privacy Platform
3D Models on Triple Paths - New Pathways for Documenting and Visualizing Virtual Reconstructions
Machine Learning for Health Informatics
Anticipation and Believability
Towards a Better Understanding of the Workflows: Modeling Pathology Processes in View of Future AI Integration
Dealing with Label Quality Disparity in Federated Learning
Simply Logical - The First Three Decades
Types, Modes and so Much More - The Prolog Way
On Emulating Interactive Proofs with Public Coins
On-the-Fly and Context-Aware Integration of Heterogeneous Data Sources
The Composite Sensing of Affect
Immersive Learning in Real VR
Information Visualization - Human-Centered Issues and Perspectives
Regulating Identity Management
Prolog Meets Biology
Apprentice-Based Learning Via Integrated Lectures and Assignments
Ada 2012 Rationale - The Language, The Standard Libraries
Bisociative Music Discovery and Recommendation
On the Contextual Analysis of Agreement Scores
Emerging Models of Computation: Directions in Molecular Computing
Simulation Based Studies of Machine-to-Machine Communications
SMART-JaCaMo: An Organisation-Based Team for the Multi-Agent Programming Contest
The 10, 000 Facets of MDP Model Checking
Implementing RRI in a Non-governmental Research Institute
Prolog Education in Selected Secondary Schools in Bulgaria
Complementing Visual Data Mining with the Sound Dimension: Sonification of Time Dependent Data
Common Sense Reasoning - From Cyc to Intelligent Assistant
Linked Open Data - Creating Knowledge Out of Interlinked Data - Results of the LOD2 Project
Two Comments on Targeted Canonical Derandomizers
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense - Control- and Game-Theoretic Approaches to Cyber Security
Artificial Intelligence: An International Perspective
Grammars for Discrete Dynamics
The 3DVDM Approach: A Case Study with Clickstream Data
A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs
Towards Affect Sensitive and Socially Perceptive Companions
Web and Mobile Visualization for Cultural Heritage
Empirical Game-Theoretic Methods for Adaptive Cyber-Defense
Recent Advances in Graph Partitioning
Risk Reduction for Autonomous Systems
Source Norms and Self-regulated Institutions
Implementing Neural Networks Efficiently
CryptMT3 Stream Cipher
The Application of Advanced IoT in Cyberparks
Living with Hyper-reality
Service Overlays
Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino
Notions of Aliasing and Ownership
From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java
Natural Language Specifications
Introduction to Part I
Data Traffic Monitoring and Analysis - From Measurement, Classification, and Anomaly Detection to Quality of Experience
Machine Learning for In Silico Modeling of Tumor Growth
Modular Specification and Verification
Knowledge Extraction from Natural Language Processing
Multisensory Immersive Analytics
Optical Coherence Tomography
From Opinions to Recommendations