yusuke1997/dblp-id-title huggingface dataset:
Static Analysis for Proactive Security
Constraint Handling Rules, Current Research Topics
On Locally-Characterized Expander Graphs (A Survey)
Security and Trustworthiness Threats to Composite Services: Taxonomy, Countermeasures, and Research Directions
Dynamic Process Management Based upon Existing Systems
Towards Sustainable Digitization - Technology Solutions for Complex and Challenging Survey Projects
A New Techno-Business Model Based on a Personal IPv6 Address for Wireless Networks of Moving Objects
Reasoning Under Uncertainty: Towards Collaborative Interactive Machine Learning
Fault-Tolerant Mobile Robots
Applications of Knowledge Representation Learning
Knowledge Graphs and Big Data Processing
Affect as a Mediator between Web-Store Design and Consumers' Attitudes toward the Store
Personalized Physical Activity Monitoring Using Wearable Sensors
Immersive Visual Data Mining: The 3DVDM Approach
Care-O-bot® 3 - Vision of a Robot Butler
Video-Streaming Overlays
Information Cascading in Social Networks
Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process
Computing in Combinatorial Optimization
On the Locally Testable Code of Dinur et al. (2021)
Safety and Security in Multiagent Systems - Research Results from 2004-2006
Further Privacy Mechanisms
Quantum-Chemical Insights from Interpretable Atomistic Neural Networks
Safe Stochastic Planning: Planning to Avoid Fatal States
Software Architecture of Modern Model Checkers
An Integrated Framework for Cyber Situation Awareness
The Multi-Agent Programming Contest 2022 - Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not
X-ray Imaging
Understanding Cyber Threats and Vulnerabilities
Component-Based Software Development for Embedded Systems - An Introduction
Disruption Management in Passenger Railway Transportation
Understanding a Bisferrocene Molecular QCA Wire
Simulation and Design of Quantum Circuits
Information Integration in Bioinformatics with Ontologies and Standards
Using BlueJ to Introduce Programming
On the Challenge of Engineering Socio-technical Systems
Fractional Permissions
Constructing Rule-Based Solvers for Intentionally-Defined Constraints
Parallelization of Hierarchical Matrix Algorithms for Electromagnetic Scattering Problems
Some Requirements for Human-Like Robots: Why the Recent Over-Emphasis on Embodiment Has Held Up Progress
Command and Authorization Services for Multiple Humans Interacting with a Software Control Agent for Advanced Life Support
Morphological Computation - Connecting Brain, Body, and Environment
Safety and Security Multi-agent Systems - Research Results from 2004-2006
Spatiotemporal Data Cleaning and Knowledge Fusion
The Framework of the MDATA Computing Model
External-Memory State Space Search
Agile Systems Engineering in Building Complex AI Systems
Security Policy Monitoring of Composite Services
The Uniform Distribution Is Complete with Respect to Testing Identity to a Fixed Distribution
The Holistic Documentation of Movable Cultural Heritage Objects - The Case of the Antikythera Mechanism
A Model Classification for Digital 3D Reconstruction in the Context of Humanities Research
Empirical Evaluation of the VisiOn Privacy Platform
Virtualizing Network
Review from a Design Process Perspective
User-Level Workflow Design - A Bioinformatics Perspective
The Future of Aliasing in Parallel Programming
Exploring the Power of Outliers for Cross-Domain Literature Mining
Process/Product Model: Status and Open Problems
Monitoring Network Flows in Containerized Environments
Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML
Software Engineering for Collective Autonomic Systems - The ASCENS Approach
Sparse Inverse Covariance Estimation for Graph Representation of Feature Structure
The Multi-Agent Programming Contest 2018 - A Third Time in the City
STT-Based Non-Volatile Logic-in-Memory Framework
A Simpler Proof of Preemptive Total Flow Time Approximation on Parallel Machines
Multimodal Corpora Annotation: Validation Methods to Assess Coding Scheme Reliability
User-Centric Networking: Cooperation in Wireless Networks
10 Reasons to Get Interested in Graph Drawing
Expectations of Artificial Intelligence for Pathology
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest
Algorithm Selection for Combinatorial Search Problems: A Survey
Impact of Team Collaboration on Cybersecurity Situational Awareness
Mining Patterns for Visual Interpretation in a Multiple-Views Environment
On (Valiant's) Polynomial-Size Monotone Formula for Majority
A Practical Guide to Training Restricted Boltzmann Machines
The Once-Only Principle - The TOOP Project
Proving by Induction
LI(A)RA Team - A Declarative and Distributed Implementation for the MAPC 2022
Methodological Guidelines for Engineering Self-organization and Emergence
In Praise of Strategies
Digital Hybrids - Between Tool and Methods: An Introduction and Overview
The Salsa20 Family of Stream Ciphers
Engineering Art Galleries
ICON Loop Carpooling Show Case
Monitoring Threats to Composite Services within the Aniketos Run-Time Framework
A Bicriteria Approach for Robust Timetabling
Learning Programming with the PBL Method - Experiences on PBL Cases and Tutoring
Moving and Computing Models: Agents
Towards Personalization of Diabetes Therapy Using Computerized Decision Support and Machine Learning: Some Open Problems and Challenges
On the Integration of Graph Exploration and Data Analysis: The Creative Exploration Toolkit
Where Responsibility Takes You - Logics of Agency, Counterfactuals, and Norms
MultEdmundedia and VR Support for Direct Communication of Designers
The Role of Speaker Beliefs in Determining Accent Placement
Evolution and Reactivity in the Semantic Web
MHT-Based Mechanism for Certificate Revocation in VANETs
Dynamic Logic
Cyberpark, a New Medium of Human Associations, a Component of Urban Resilience
Affective Processes as Network Hubs
Light Field Video for Immersive Content Production
Learning Feature Representations with K-Means
Creating Brain-Like Intelligence: From Basic Principles to Complex Intelligent Systems
Activities to Foster Public Engagement in Research and Innovation. Examples from the NewHoRRIzon Project
A Survey of Approximation Results for Local Search Algorithms
Enhanced Living Environments - Algorithms, Architectures, Platforms, and Systems
Reflections on Decision-Making and Artificial Intelligence
Adopting Existing Communication Platforms for Security Enabling Technologies
Entity Alignment: Optimization by Seed Selection
Experiences with a Focus on Testing in Teaching
Nemoz - A Distributed Framework for Collaborative Media Organization
The Stream Cipher HC-128
ICT-Supported Dispute Resolution
Augmented Human and Human-Machine Co-evolution: Efficiency and Ethics
ACL2 Support for Floating-Point Computations
Semantic and Knowledge Engineering Using ENVRI RM
F-FCSR Stream Ciphers
DREP: A Requirements Engineering Process for Dependable Reactive Systems
Deep Leakage from Gradients
Benchmarking Methodology
Classification vs Deep Learning in Cancer Degree on Limited Histopathology Datasets
Testing in the Bounded-Degree Graph Model with Degree Bound Two
Semantic Techniques for the Web, The REWERSE Perspective
Change Detection with Kalman Filter and CUSUM
Three Senses of "Argument"
Engineering Requirements for Autonomy Features
Chapter 3 Vulnerability Assessment of Digitized Socio-technological Systems via Entropy
Multi-Agent Programming Contest 2019 FIT BUT Team Solution
Ergo: A Quest for Declarativity in Logic Programming
QoS-Based Elasticity for Service Chains in Distributed Edge Cloud Environments
From Habits to Standards: Towards Systematic Design of Emotion Models and Affective Architectures
List Scheduling in Order of α-Points on a Single Machine
Strategies in Social Software
Business Process Models. Change Management
Creation of Knowledge Graphs
Fluid Construction Grammar in the Brain
NanoMagnet Logic: An Architectural Level Overview
Identifying Dynamical Systems for Forecasting and Control
ModelSeeker: Extracting Global Constraint Models from Positive Examples
Digital Reconstruction in Historical Research and Its Implications for Virtual Research Environments
State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings
Don't Get Emotional
A Policy-Based Cleansing and Integration Framework for Labour and Healthcare Data
Critical Infrastructure Protection - Information Infrastructure Models, Analysis, and Defense
Efficient Timetable Information in the Presence of Delays
Beyond Task Completion in the Workplace: Execute, Engage, Evolve, Expand
Specification for NLSv2
Case Study from the Energy Domain
Network-Based Social Search
Intelligent Multi-modal Interfaces for Mobile Applications in Hostile Environment(IM-HOST)
Reflections on Artificial Intelligence for Humanity
Creating and Exploiting Multimodal Annotated Corpora: The ToMA Project
State of the Art in Perceptual VR Displays
Modeling in MiningZinc
Common Challenges and Requirements
Moving and Computing Models: Robots
Data Processing and Analytics for Data-Centric Sciences
Uncertain Agent Verification through Probabilistic Model-Checking
Privacy Models and Languages: Assurance Checking Policies
Resilience in the Digital Age
Towards a Deeper Understanding of the Behavioural Implications of Bidirectional Activity-Based Ambient Displays in Ambient Assisted Living Environments
Artificial Intelligence and Intelligent Systems Research in Chile
Efficient Uniform Sampling of Traces in Presence of Infeasibilities
Beyond the Geneva Convention on the Treatment of Object Aliasing
Incentive-Compatible Robust Line Planning
Interlinking and Knowledge Fusion
Privacy-Aware Access Control System: Evaluation and Decision
Clustering Evolving Networks
On the Use of Linked Open Data in Education: Current and Future Practices
Modeling Security Features of Web Applications
Ontologies and Coherence Spaces
Traffic Management for Cloud Federation
Machine Learning Solutions in Computer-Aided Medical Diagnosis
The Grain Family of Stream Ciphers
The Cognitive and Communicative Demands of Cooperation
Performance Evaluation Approaches for Software Architects
Bisociative Exploration of Biological and Financial Literature Using Clustering
Approaches for Utility-Based QoE-Driven Optimization of Network Resource Allocation for Multimedia Services
Efficient Approximation and Online Algorithms - Recent Progress on Classical Combinatorial Optimization Problems and New Applications
Digital Documentation of Reflective Objects: A Cross-Polarised Photogrammetry Workflow for Complex Materials
Evidence-Based Research Integrity
Knowledge Extraction: Automatic Classification of Matching Rules
Electric Clock for NanoMagnet Logic Circuits
Benefits of Anticipations in Cognitive Agents
SCADA Protocol Vulnerabilities
Multi-touch Graph-Based Interaction for Knowledge Discovery on Mobile Devices: State-of-the-Art and Future Challenges
Assurances for Self-Adaptive Systems - Principles, Models, and Techniques
The Need for Privacy-Enhancing Identity Management
Network Embedding Attack: An Euclidean Distance Based Method
Writing Correct Prolog Programs
Symbolic Solutions of First-Order Algebraic ODEs
A Game-Theoretic Framework for Incentive Mechanism Design in Federated Learning
Open Data for Education - Linked, Shared, and Reusable Data for Teaching and Learning
Field Topology and Information Structure: A Case Study for German Constituent Order
Latent Semantic Analysis - The Dynamics of Semantics Web Services Discovery
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support - Results of the IMPROVE Project
A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three Provers
Uniform Circle Formation
Extracting Data from WSNs: A Data-Oriented Approach
On Properties that are Non-trivial to Test
Physically Unclonable Functions and AI - Two Decades of Marriage
Applying Divide and Conquer to Large Scale Pattern Recognition Tasks
e-Health
Frameworks in Teaching
Integrating SDN and NFV with QoS-Aware Service Composition
Intelligent Integrative Knowledge Bases: Bridging Genomics, Integrative Biology and Translational Medicine
Square Unit Augmented, Radially Extended, Multilayer Perceptrons
Scala: From a Functional Programming Perspective - An Introduction to the Programming Language
Creation and Collaboration: Engaging New Audiences for Information Visualization
The Open Education Working Group: Bringing People, Projects and Data Together
Knowledge Graphs: The Layered Perspective
The Concept of Recoverable Robustness, Linear Programming Recovery, and Railway Applications
Towards Learning by Interacting
The Aniketos Platform
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II
Semantic Integration of Adaptive Educational Systems
Scalable Knowledge Graph Processing Using SANSA
Evaluating Information Visualizations
Multilingual Knowledge Management
Geometry vs Semantics: Open Issues on 3D Reconstruction of Architectural Elements
Introduction to Part IV Assessment
Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach
Validation of Formal Models: A Case Study
BiQL: A Query Language for Analyzing Information Networks
Blockchain-Based Task and Information Management in Computational Cloud Systems
HOVISSE - Haptic Osteosynthesis Virtual Intra-operative Surgery Support Environment
ROS Hybrid Behaviour Planner: Behaviour Hierarchies and Self-organisation in the Multi-Agent Programming Contest
Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-Oriented Survey of the State-of-the-Art in the Cloud Era
Giac and GeoGebra - Improved Gröbner Basis Computations
Gender Mainstreaming and RRI: The Double Challenge
A Distributed Framework for APT Attack Analysis
Robots with Lights
Multi-track Annotation of Child Language and Gestures
Relevance and Utility in an Argumentative Framework: An Application to the Accommodation of Discourse Topics
Medicine and Health Care as a Data Problem: Will Computers Become Better Medical Doctors?
Chapter 10 The Adequacy of Artificial Intelligence Tools to Combat Misinformation
The Future of the Once-Only Principle in Europe
Ethics and Responsible Research and Innovation in Practice - The ETHNA System Project
AMADEOS Framework and Supporting Tools
Healthcare Sensing and Monitoring
A Scenario Demonstrating Design Support in Chemical Engineering
Meta-heuristic and Constraint-Based Approaches for Single-Line Railway Timetabling
Patrolling
On the Relaxed LDC of BGHSV: A Survey that Corrects the Record
A Reference Architecture for Management of Security Operations in Digital Service Chains
Drivers for and Barriers to the Cross-border Implementation of the Once-Only Principle
Federated Learning for Open Banking
Moving Curve Ideals of Rational Plane Parametrizations
Distributed Decision-Making Based on Shared Knowledge in the Multi-Agent Programming Contest
AUGUR: Interface Adaptation for Small Screen Devices
How to Generate Randomized Roundings with Dependencies and How to Derandomize Them
Egalitarianism vs. Utilitarianism in Preferential Voting
Coordinating Randomized Policies for Increasing Security in Multiagent Systems
Collaborative Immersive Analytics
Machine Learning and Deep Learning for Hardware Fingerprinting
Security/Trustworthiness Assessment of Platforms
Social Implications of New Mediated Spaces: The Need for a Rethought Design Approach
Assumption-Based Argumentation for Epistemic and Practical Reasoning
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences - A Reference Model Guided Approach for Common Challenges
Engineering a Lightweight and Efficient Local Search SAT Solver
Multi-pseudodeterministic Algorithms
A Concept-Oriented Approach to Software Development
The Exact Subgraph Recoverable Robust Shortest Path Problem
Anticipatory, Goal-Directed Behavior
Reasoning in Knowledge Graphs: An Embeddings Spotlight
Location Recommendation with Social Media Data
Agent Team Action, Brownian Motion and Gambler's Ruin
Dynamic Logic for Java
The Inductive Constraint Programming Loop
Ownership Types: A Survey
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Privacy and Security in Ubiquitous Knowledge Discovery
Context-Aware Knowledge Querying in a Networked Enterprise
Overview and Introduction Part II
KeY-Hoare
Object Ownership in Program Verification
Contrast Mining from Interesting Subgroups
Accurate Proactive Adaptation of Service-Oriented Systems
Review from an Industrial Perspective
Perception and Change in Update Logic
A Tutorial on Verifying LinkedList Using KeY
Financial Services Industry
Privacy-Preserving Stacking with Application to Cross-organizational Diabetes Prediction
Pacioli: A PROLOG System for Financial Report Processing
Big Data Processing, Analysis and Applications in Mobile Cellular Networks
Conclusion and Outlook
3D Research Challenges in Cultural Heritage - A Roadmap in Digital Heritage Preservation
QoE Management for Future Networks
Ambient Interfaces for Elderly People at Home
Identification and Citation of Digital Research Resources
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
Knowledge Representation for Adaptive and Self-aware Systems
Ensemble Engineering and Emergence
Consistent Alignments for Simple Ontologies in the Digital Information Supply Chain
Capture, Reconstruction, and Representation of the Visual Real World for Virtual Reality
On the Relation Between the Relative Earth Mover Distance and the Variation Distance (an Exposition)
What Is Social Software?
Advances in Ubiquitous User Modelling, Revised Selected Papers
Enrichment and Preservation of Architectural Knowledge
CyberParks - The Interface Between People, Places and Technology - New Approaches and Perspectives
Situated Analytics
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns
Model Checking Adaptive Software with Featured Transition Systems
Constraint-Based Contract Inference for Deductive Verification
Visual Intelligent Decision Support Systems in the Medical Field: Design and Evaluation
Geometric Aspects of Robot Navigation: From Individual Robots to Massive Particle Swarms
Reference Case Study
RDF Stores for Enhanced Living Environments: An Overview
Confidence in Assurance 2.0 Cases
Telecom Applications, APIs and Service Platforms
Guard Reasoning in the Refined Operational Semantics of CHR
Structured Interacting Computations
Integrated Application Domain Models for Chemical Engineering
Interacting with Real Objects in Virtual Worlds
Lectures on Runtime Verification - Introductory and Advanced Topics
Goal-Oriented Information Flow Management in Development Processes
Modelling Techniques for Simulating Large QCA Circuits
Cooperative Relaying for Wireless Local Area Networks
Value Added Services in the Evolving Multimedia Communication Network
Programming Actor-Based Collective Adaptive Systems
Node Similarities from Spreading Activation
Your Virtual Butler - The Making-of
The 16th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team
Image-Based Scene Representations for Head-Motion Parallax in 360° Panoramas
3D Research Challenges in Cultural Heritage II - How to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural Heritage
What Issue Should Your Virtual Butler Solve Next?
Anticipation by Analogy
Green Computing Algorithmics
Pseudo-mixing Time of Random Walks
Case Study: LifeWatch Italy Phytoplankton VRE
The Dragon Stream Cipher: Design, Analysis, and Implementation Issues
Finding the Path Toward Design of Synergistic Human-Centric Complex Systems
Approximation Algorithms for Path Coloring in Trees
Logic Programming at Elementary School: Why, What and How Should We Teach Logic Programming to Children?
Fuzzy Image Processing and Deep Learning for Microaneurysms Detection
Privacy-Enhancing Identity Management in Business
Asynchronous Robots on Graphs: Gathering
Theories
Proof-based Test Case Generation
GOALdigger-AIG-Hagen Multi-agent System: Team Description
Viewpoint-Free Photography for Virtual Reality
The Invariant Refinement Method
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud
Classification Schemes for Visualization of Uncertainty in Digital Hypothetical Reconstruction
Achieving Self-adaptation through Dynamic Group Management
Biomedical Text Mining: State-of-the-Art, Open Problems and Future Challenges
Implementation of the 'Once-Only' Principle in Europe - National Approach
Interfaces in Evolving Cyber-Physical Systems-of-Systems
AI for Biometric Authentication Systems
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation
Feature-Based Material Blending for Heterogeneous Object Modeling
Computer Algebra and Polynomials - Applications of Algebra and Number Theory
Visual Data Mining - Theory, Techniques and Tools for Visual Analytics
Affect and Emotion in Human-Computer Interaction, From Theory to Applications
A Probabilistic Error-Correcting Scheme that Provides Partial Secrecy
Introduction to Prolog
Model-Driven Development of a Secure eHealth Application
Testing Methodology for the TOOP Pilots
Interaction for Immersive Analytics
X-ray Phase Contrast: Research on a Future Imaging Modality
Creating Brain-Like Intelligence
On Importing Knowledge from Ontologies.
Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software
Orbit Closures of Linear Algebraic Groups
The Role of Drones in Ambient Assisted Living Systems for the Elderly
Multimodal Intercultural Information and Communication Technology - A Framework for Designing and Evaluating Multimodal Intercultural Communicators
Changepoint Detection Techniques for VoIP Traffic
Telecommunications
Requirements for Identity Management from the Perspective of Multilateral Interactions
Machines as Thought Partners: Reflections on 50 Years of Prolog
Democratizing AI for Humanity: A Common Goal
Deep Boltzmann Machines and the Centering Trick
Teaching Linked Open Data Using Open Educational Resources
See ColOr: Seeing Colours with an Orchestra
Cross-Layer FEC-Based Mechanism for Packet Loss Resilient Video Transmission
Large Ensemble Averaging
Java Integers
Component-Based Engineering of Distributed Embedded Control Software
Towards Using Simulation to Evaluate Safety Policy for Systems of Systems
Ethics and Development of Advanced Technology Systems in Public Administration
Testing Isomorphism in the Bounded-Degree Graph Model
Computational Complexity and Local Algorithms - On the Interplay Between Randomness and Computation
Safety in the Context of Coordination via Adjustable Autonomy
Joint Extraction of Entities and Relations: An Advanced BERT-based Decomposition Method
Monitoring Events that Carry Data
Resource Aware Distributed Knowledge Discovery
Resource Management and Cell Planning in LTE Systems
Reflections on the Teaching of Programming, Methods and Implementations
The Multi-Agent Programming Contest 2019 - Agents Assemble - Block by Block to Victory
Next Big Challenges in Core AI Technology
Approximation Algorithms for Edge-Disjoint Paths and Unsplittable Flow
Using KeY
Application Challenges for Ubiquitous Knowledge Discovery
Collaborative Information Search
On Implementation-Level Security of Edge-Based Machine Learning Models
Reinforcement Learning for Adaptive Cyber Defense Against Zero-Day Attacks
Natural Form Modeling
Throughput Analysis in CSMA/CA Networks Using Continuous Time Markov Networks: A Tutorial
MDATA: A New Knowledge Representation Model - Theory, Methods and Applications
Navigating the Future and Overcoming Challenges to Unlock Open Science
Training Deep and Recurrent Networks with Hessian-Free Optimization
Enhancing Secure Tropos to Effectively Deal with Security Requirements in the Development of Multiagent Systems
State-of-the-Art and Future Challenges in the Integration of Biobank Catalogues
Implementing RRI in a Research and Innovation Ecosystem
Introduction: Anticipation in Natural and Artificial Cognition
Rethinking Privacy Preserving Deep Learning: How to Evaluate and Thwart Privacy Attacks
Automatic Attack Pattern Mining for Generating Actionable CTI Applying Alert Aggregation