yusuke1997/dblp-id-title huggingface dataset:
Experiencing the Multisensory Past
Simple Analysis of Key Recovery Attack Against LWE
RFID and Contactless Technology
A Mixed Integer Quadratic Formulation for the Shortest Vector Problem
Robust Online Gesture Recognition with Crowdsourced Annotations
Introducing Image Saliency Information into Content Based Indexing and Emotional Impact Analysis
LC-GAP: Localized Coulomb Descriptors for the Gaussian Approximation Potential
Human Agency and the Resources of Reason
Designing Virtual Worlds for Learning History: The Case Study of NetConnect Project
StudentLife: Using Smartphones to Assess Mental Health and Academic Performance of College Students
Self-aware Computing Systems: Open Challenges and Future Research Directions
Participatory Sensing: Recruiting Bipedal Platforms or Building Issue-centred Projects?
Data Acquisition for the Geometric Documentation of Cultural Heritage
Gamified AR/VR Character Rendering and Animation-Enabling Technologies
Reasoning About Interactive Systems in Dynamic Situations of Use
Benchmarking Intrusion Detection Systems with Adaptive Provisioning of Virtualized Resources
Security for Video Broadcasting
Querying Multiple Simultaneous Video Streams with 3D Interest Maps
New Technology, Big Data and the Law
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment
Computational Color Imaging
Keep It Simple and Sparse: Real-Time Action Recognition
A Predictive Approach Enabling Process Execution Recommendations
Using Model-Based Learning to Promote Computational Thinking Education
Applications of Trusted Computing in Cloud Context
Using Serious Games to Establish a Dialogue Between Designers and Citizens in Participatory Design
The Integrated-Physician-Model: Business Model Innovation in Hospital Management
The Contig Assembly Problem and Its Algorithmic Solutions
Knowledge Graph Foundations
Perceptual Texture Similarity for Machine Intelligence Applications
Large Scale Medical Data Mining for Accurate Diagnosis: A Blueprint
Towards a Framework for the Levels and Aspects of Self-aware Computing Systems
Question-Answering Virtual Humans Based on Pre-recorded Testimonies for Holocaust Education
Combining Models for Interactive System Modelling
When Should Environmental Awareness Be a Policy Goal?
The cloud4health Project: Secondary Use of Clinical Data with Secure Cloud-Based Text Mining Services
Five-Dimensional (5D) Modelling of the Holy Aedicule of the Church of the Holy Sepulchre Through an Innovative and Interdisciplinary Approach
The CloudScale Method for Managers
Big Data Programming Models
Formal Analysis of Multiple Coordinated HMI Systems
Activity Modelling for Low-Intention Interaction
De Novo NGS Data Compression
The Role of the Teacher in Game-Based Learning: A Review and Outlook
Recent Developments in Resource Management in Cloud Computing and Large Computing Clusters
A Deterministic Product Ramp-up Process: How to Integrate a Multi-Disciplinary Knowledge Base
Visual Content Indexing and Retrieval with Psycho-Visual Models
Image Retrieval Based on Query by Saliency Content
Engineering of Next Generation Cyber-Physical Automation System Architectures
Toward Theory-Based End-User Software Engineering
Scientific Research and Academic e-Learning in Light of the EU's Legal Framework for Data Protection
A Survey on Identity-Based Encryption from Lattices
Question Answering and Knowledge Graphs
Neurorobotics: From Computational Neuroscience to Intelligent Robots and Back
Construction of Enterprise Knowledge Graphs (II)
Self-adaptation for Individual Self-aware Computing Systems
Designing Mobile Health Technologies for Self-Monitoring: The Bite Counter as a Case Study
Generic Architectures for Individual Self-aware Computing Systems
Data Organization and Curation in Big Data
Formal Verification of Simulink/Stateflow Diagrams, A Deductive Approach
Toward a Musical Programming Language
Deployment of Robotic Guides in Museum Contexts
Erratum to: ProCoS: How It All Began - as Seen from Denmark
ModelCompare
Learning Computational Skills in uCode@UWG: Challenges and Recommendations
Thinking, Values and Meaning in Changing Cognitive Ecologies
Engineering by Software: System Behaviours as Components
Knowledge Architecture for Organisations
Software Architectures for Self-protection in IaaS Clouds
Using the Cloud as a Platform for Evaluation and Data Preparation
Technologies and Practices: Mobile Healthcare Based on Medical Image Cloud and Big Data (in China)
Self-adaptation in Collective Self-aware Computing Systems
The Transgressive Practices of Silicon Luthiers
An Approach to Building Musical Bioprocessors with Physarum polycephalum Memristors
Big Data Analytics in Cloud - A Streaming Approach
Usability and Interaction Dimensions of Participatory Noise and Ecological Monitoring
High-Performance Monte Carlo Simulations for Photon Migration and Applications in Optical Brain Functional Imaging
End-User Development and Social Big Data - Towards Tailorable Situation Assessment with Social Media
Automatic Multiorgan Segmentation Using Hierarchically Registered Probabilistic Atlases
On Unconventional Computing for Sound and Music
Real-Time, Personalized Anomaly Detection in Streaming Data for Wearable Healthcare Devices
The Cognitive Ecology of the Internet
Online Learning of Run-Time Models for Performance and Resource Management in Data Centers
Many-Objective Optimization for Virtual Machine Placement in Cloud Computing
Multichannel Spatial Clustering Using Model-Based Source Separation
Strategies with Service Business Model Innovation
Task Allocation Using Parallelized Clustering and Auctioning Algorithms for Heterogeneous Robotic Swarms Operating on a Cloud Network
Code-Based Zero-Knowledge Protocols and Their Applications
Pairings on Hyperelliptic Curves with Considering Recent Progress on the NFS Algorithms
Multichannel Speech Enhancement Approaches to DNN-Based Far-Field Speech Recognition
What Is a Procedure?
In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design
End-User Developers - What Are They Like?
Speech Research at Google to Enable Universal Speech Interfaces
On Language Interfaces
Understanding Simulation Results
Acceleration of 3D Mass Digitization Processes: Recent Advances and Challenges
Raw Multichannel Processing Using Deep Neural Networks
Process-Oriented Information Logistics: Requirements, Techniques, Application
Erratum to: Participatory Sensing, Opinions and Collective Awareness
Application Development Environments for Java and SIM Toolkit
Meaning and Ubiquitous Technologies
Parallel Algebraic Multigrid
Socially Distributed Cognition in Loosely Coupled Systems
Process Streaming Healthcare Data with Adaptive MapReduce Framework
The Gesture Recognition Toolkit
Teacher Transformations in Developing Computational Thinking: Gaming and Robotics Use in After-School Settings
Internet of Things: Right to Data from a European Perspective
Smart Cards for Banking and Finance
Cybersicherheit Beyond 2020!
Quantitative Data Analysis in Finance
Rapid Enriched Simulation Application Development with PUMA
Description Means for Information Artifacts Throughout the Life Cycle of CPPS
How to Simulate It - A Tutorial on the Simulation Proof Technique
Interactivity and Embodied Cues in Problem Solving, Learning and Insight: Further Contributions to a "Theory of Hints"
Dynamic Multi-objective Optimization Using Evolutionary Algorithms: A Survey
End-to-End Architectures for Speech Recognition
Towards Interface-Driven Design of Evolving Component-Based Architectures
Creation of E-Tutorials to Enhance Medical Student Anatomy Learning Experience Using Articulate Storyline 2
Inter-Personal Displays: Augmenting the Physical World Where People Get Together
Distributed Cognition at the Crime Scene
Enterprise Knowledge Graph: An Introduction
Multi-layered Gesture Recognition with Kinect
Agent-Based Modelling and Simulation Applied to Environmental Management
Run-Time Models for Online Performance and Resource Management in Data Centers
Human-Harmonized Information Technology, Volume 2, Horizontal Expansion
Wearable Motion Sensing Devices and Algorithms for Precise Healthcare Diagnostics and Guidance
Searching and Indexing Circular Patterns
Behavior Understanding Based on Intention-Gait Model
Verifying and Validating Simulations
Cartographic Visualisation of Noise and Aspects of Public Understanding of this Information
Patterns for Self-Adaptation in Cyber-Physical Systems
An Overview of Semiotic Engineering Epistemic Tools for the Design of Collaborative Systems
Reexamining Computational Support for Intelligence Analysis: A Functional Design for a Future Capability
Spacecraft Autonomous Reaction Capabilities, Control Approaches, and Self-aware Computing
End User Development and Infrastructuring - Sustaining Organizational Innovation Capabilities
Final Considerations
Towards Executable Specifications for Case Management Processes
Detecting Eating and Smoking Behaviors Using Smartwatches
Building Efficient HPC Cloud with SR-IOV-Enabled InfiniBand: The MVAPICH2 Approach
Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems
Digitisation of Anatomical Specimens and Historical Pathology Specimens for Educational Benefit
Human Societies: Understanding Observed Social Phenomena
Disruptive Technologies Shaping the Law of the Future
Metrics and Benchmarks for Self-aware Computing Systems
Promoting Healthy Adolescent Lifestyles Through Serious Games: Enacting a Multidisciplinary Approach
A Theory of Networking and Its Contributions to Software Engineering
Deep Recurrent Networks for Separation and Recognition of Single-Channel Speech in Nonstationary Background Audio
Text- and Content-Based Medical Image Retrieval in the VISCERAL Retrieval Benchmark
Factors Associated with Player Satisfaction and Educational Value of Serious Games
Human Gesture Recognition on Product Manifolds
Pedagogical Machine: Studies Towards a Machine that Teaches Humans
A Driving Simulator Designed for the Care of Trucker Suffering from Post-Traumatic Stress Disorder
Visual Saliency for the Visualization of Digital Paintings
Agent-Based Simulation as a Useful Tool for the Study of Markets
Computational Participation: Teaching Kids to Create and Connect Through Code
Formal Modelling of App-Ensembles
The Use of Asset-Based Community Development in a Research Project Aimed at Developing mHealth Technologies for Older Adults
EUD Survival "in the Wild": Evaluation Challenges for Field Deployments and How to Address Them
A New Direction for Biosensing: RF Sensors for Monitoring Cardio-Pulmonary Function
One-Shot Learning Gesture Recognition from RGB-D Data Using Bag of Features
Optimizing Image Quality
Models, Mathematics and Materials in Digital Architecture
Programming Platforms for Big Data Analysis
Computer-Mediated Trust in Self-interested Expert Recommendations
SCADA Systems in the Cloud
River Bed Morphodynamics: Metamodeling, Reliability Analysis, and Visualization in a Virtual Environment
Introduction to Part III: Markers to mHealth Predictors
The Changing Face of Model-Driven Engineering
Big Data, IoT and Semantics
Living as Languaging: Distributed Knowledge in Living Beings
What Software Engineering Has to Offer to Agent-Based Social Simulation
Modeling Directly Executable Processes for Healthcare Professionals with XMDD
Combining ArchiMate with Other Standards and Approaches
Historical Introduction
Experimental Assessment of the Emergence of Awareness and Its Influence on Behavioral Changes: The Everyaware Lesson
6, 000 Years of Programming Language Design: A Meditation on Eco's Perfect Language
Paralinguistic Analysis of Children's Speech in Natural Environments
Sound Simulation and Co-simulation for Robotics
Improving the Energy Efficiency in Cloud Computing Data Centres Through Resource Allocation Techniques
Integrating Computational Thinking in Discrete Structures
Enabling Harmonized Human-Robot Interaction in a Public Space
Analysis of Security in Modern Container Platforms
The Collection of Electronic Evidence in Germany: A Spotlight on Recent Legal Developments and Court Rulings
Designing Music Games and Mobile Apps for Early Music Learning
Malleability in the Hands of End-Users
Semiotic Engineering as a Reflexive, Transdisciplinary and Humanistic Theory in and Beyond HCI
Finding Recurrent Patterns from Continuous Sign Language Sentences for Automated Extraction of Signs
Wearable Computers for Sign Language Recognition
A Terminology to Classify Artifacts for Cloud Infrastructure
On Analysis of Recovering Short Generator Problems via Upper and Lower Bounds of Dirichlet L-functions: Part 2
Moldable Tools for Object-Oriented Development
Assembly-Free Techniques for NGS Data
Pattern Matching Over Linked Data Streams
Teaching Computational Thinking Patterns in Rural Communities
Erratum to: Verifying and Validating Simulations
Semantic Web Technologies for Data Integration in Multi-Disciplinary Engineering
Engineering Workflow and Software Tool Chains of Automated Production Systems
Shake and Create: Reappropriating Video Game Technologies for the Enactive Learning of Music
Learning Analytics as an Assessment Tool in Serious Games: A Review of Literature
Multimodal Gesture Recognition via Multiple Hypotheses Rescoring
Machine Learning Models for Multidimensional Clinical Data
Intangible Cultural Heritage and New Technologies: Challenges and Opportunities for Cultural Preservation and Development
Experiments in Sound and Music Quantum Computing
Towards Model Quality Assurance for Multi-Disciplinary Engineering
How to Make Visual Modeling More Attractive to Software Developers
Computing Verified Machine Address Bounds During Symbolic Exploration of Code
Identification of Artifacts in Life Cycle Phases of CPPS
Guided Business Modeling and Analysis for Business Professionals
Learning Safe Interactions and Full-Control
Participatory Sensing, Opinions and Collective Awareness
MAGIC Summoning: Towards Automatic Suggesting and Testing of Gestures with Low Probability of False Positives During Use
Preservation and Gamification of Traditional Sports
Circadian Computing: Sensing, Modeling, and Maintaining Biological Rhythms
Modeling Opportunities in mHealth Cyber-Physical Systems
Deep Saliency: Prediction of Interestingness in Video with CNN
Data Collection for Estimation of Resilience of Cultural Heritage Assets
Synthesis and Verification of Self-aware Computing Systems
Emerging Cost Effective Big Data Architectures
Exploring Strengths and Weaknesses in Middle School Students' Computational Thinking in Scratch
Assessing Computational Thinking Across the Curriculum
Web Augmentation as a Promising Technology for End User Development
Multi-objective Optimization: Classical and Evolutionary Approaches
Participatory Approaches
Efficient Algorithms for Isogeny Sequences and Their Cryptographic Applications
The LAMA Approach for Writing Portable Applications on Heterogenous Architectures
Assessing Algorithmic and Computational Thinking in K-12: Lessons from a Middle School Classroom
Large Scale Engagement Through Web-Gaming and Social Computations
Sensing the Environment
Architecture Analysis
Integrating End Users in Early Ideation and Prototyping: Lessons from an Experience in Augmenting Physical Objects
Mathematical Modelling for Next-Generation Cryptography: CREST Crypto-Math Project
Infrequent Non-speech Gestural Activity Recognition Using Smart Jewelry: Challenges and Opportunities for Large-Scale Adaptation
String-Matching and Alignment Algorithms for Finding Motifs in NGS Data
Memristor in a Nutshell
Computational Thinking Conceptions and Misconceptions: Progression of Preservice Teacher Thinking During Computer Science Lesson Planning
Multi-Application Smart Card Platforms and Operating Systems
Die Evolution des Hauptspeicher-Datenbanksystems HyPer: Von Transaktionen und Analytik zu Big Data sowie von der Forschung zum Technologietransfer
Interpreting LISP - Programming and Data Structures, Second Edition
Collective Sensing Platforms
Discriminative Sparse Representations
Visual and Formal Modeling of Modularized and Executable User Interface Models
Advances in Connection-Based Automated Theorem Proving
Error Correction in Methylation Profiling From NGS Bisulfite Protocols
Energy-Efficiency and Performance Comparison of Aerosol Optical Depth Retrieval on Distributed Embedded SoC Architectures
A Public Tool Suite for Modelling Interactive Applications
How to Strengthen the Security of Signature Schemes in the Leakage Models: A Survey
Deep Learning for Action and Gesture Recognition in Image Sequences: A Survey
Sequence-Discriminative Training of Neural Networks
Intrinsic Redundancy for Reliability and Beyond
Using Serious Games to (Re)Train Cognition in Adolescents
Cooling Circuit Simulation I: Modeling
Challenges in Multi-modal Gesture Recognition
Bioinformatics Advances Biology and Medicine by Turning Big Data Troves into Knowledge
Resource Procurement, Allocation, Metering, and Pricing in Cloud Computing
An Access Control Framework for Secure and Interoperable Cloud Computing Applied to the Healthcare Domain
Product Lifecycle Management Challenges of CPPS
Practical Applications in Constrained Evolutionary Multi-objective Optimization
Sparsity Based Nonlocal Image Restoration: An Alternating Optimization Approach
Architectural Concepts for Self-aware Computing Systems
Informatik-Forschung für digitale Mobilitätsplattformen
Intermediaries and Mutual Trust: The Role of Social Capital in Facilitating Innovation and Creativity
Hash Functions Based on Ramanujan Graphs
Combining Mathematical and Simulation Approaches to Understand the Dynamics of Computer Models
Essential Characteristics of Service Business Model Innovation in Healthcare: A Case-Study Approach
Learning Continuous-Time Hidden Markov Models for Event Data
Exploiting Physiological Sensors and Biosignal Processing to Enhance Monitoring Care in Mental Health
The REVERB Challenge: A Benchmark Task for Reverberation-Robust ASR Techniques
Link and Graph Mining in the Big Data Era
Clarisse's Visit at CSLI Stanford, 1991-1992
Multimodal Serious Games Technologies for Cultural Heritage
Virtual Reconstruction of Historical Architecture as Media for Knowledge Representation
Opinion Dynamics: Models, Extensions and External Effects
Resource Allocation in Body Area Networks for Energy Harvesting Healthcare Monitoring
Advanced Recurrent Neural Networks for Automatic Speech Recognition
Full-Text Indexes for High-Throughput Sequencing
Computational Thinking: Efforts in Korea
A Future-Focused Education: Designed to Create the Innovators of Tomorrow
The CHiME Challenges: Robust Speech Recognition in Everyday Environments
VISCERAL: Evaluation-as-a-Service for Medical Imaging
Smart Cards and Security for Mobile Communications
The Complexity of Differential Privacy
Ethical and Privacy Aspects of Using Medical Image Data
Herausforderungen an der Schnittstelle von Informatik und Gesellschaft: Institutionalisierte Erforschung der Digitalisierung zur Sicherung von Wohlstand und Fortschritt
Large-Scale Data Stream Processing Systems
Medieninformatik und Mensch-Computer-Interaktion an der LMU München
Multiorgan Segmentation Using Coherent Propagating Level Set Method Guided by Hierarchical Shape Priors and Local Phase Information
End-User Development for Serious Games
Historic BIM for Mobile VR/AR Applications
Some Pitfalls to Beware When Applying Models to Issues of Policy Relevance
Adaptation of Deep Neural Network Acoustic Models for Robust Automatic Speech Recognition
The Importance of Ontological Structure: Why Validation by 'Fit-to-Data' Is Insufficient
Time Series Feature Learning with Applications to Health Care
Conversations Around Semiotic Engineering
Computational Spectral and Ultrafast Imaging via Convex Optimization
Annotating Medical Image Data
Standardized Information Exchange Within Production System Engineering
One-Shot-Learning Gesture Recognition Using HOG-HOF Features
An Introduction to Smart Cards
e-Health and Co-production: Critical Drivers for Chronic Diseases Management
A Language for Enterprise Modelling
Similarity Search in Large-Scale Graph Databases
Security and Privacy Issues in Outsourced Personal Health Record
Elucidating Frames of Reference for HCI
Human Sensors on the Move
Robust Features in Deep-Learning-Based Speech Recognition
Beyond Enterprise Architecture
Modeling Power and Authority: An Emergentist View from Afghanistan
VISCERAL Anatomy Benchmarks for Organ Segmentation and Landmark Localization: Tasks and Results
Reading-Life Log as a New Paradigm of Utilizing Character and Document Media
Cooling Circuit Simulation II: A Numerical Example
The Role of Digital Disruption in Healthcare Service Innovation
Domain-Specific Modelling for Human-Computer Interaction
Introduction to CREST Crypto-Math Project
Interactive Granular Computations in Networks and Systems Engineering: A Practical Perspective
From ProCoS to Space and Mental Models-A Survey of Combining Formal and Semi-formal Methods
State of Practice of Non-self-aware Virtual Machine Management in Cloud Data Centers
Immersion and Narrative Design in Educational Games Across Cultures
Creating Story-Based Serious Games Using a Controlled Natural Language Domain Specific Modeling Language
Multiatlas Segmentation Using Robust Feature-Based Registration
Tipping the Scales: Classroom Feasibility of the Radix Endeavor Game
The Willing Suspension of Disbelief: The Tangible and the Intangible of Heritage Education in E-Learning and Virtual Museums
Viewpoints and Visualisation
Dealing with Faults During Operations: Beyond Classical Use of Formal Methods
Making Computer Science Attractive to High School Girls with Computational Thinking Approaches: A Case Study
Patient Driven Service Delivery Models in Mental Health Care
State of the Art on Formal Methods for Interactive Systems
mDebugger: Assessing and Diagnosing the Fidelity and Yield of Mobile Sensor Data
Data Quality in Mobile Sensing Datasets for Pervasive Healthcare
Granular Social Network: Model and Applications
Algorithms for Indexing Highly Similar DNA Sequences
Social Constraint
Applications for Environmental Sensing in EveryAware
The Principle of Purpose Limitation and Big Data
Distant Speech Recognition Experiments Using the AMI Corpus
Dimensionality Reduction for the Analysis of Time Series Data from Wind Turbines
Semiotic Engineering as Teaching
AM-Based Evaluation, Reconstruction, and Improvement of Cultural Heritage Artifacts
Online Workload Forecasting
Borealis Bounded Model Checker: The Coming of Age Story
MULTOS and MULTOS Application Development
Observing Human Activity Through Sensing
An End-User Development Framework to Support Quantified Self in Sport Teams
Introduction to Unconventional Computing
Spectral Degeneracies in the Asymmetric Quantum Rabi Model
Invasive Computing for Mapping Parallel Programs to Many-Core Architectures
Management and Analysis of Big Graph Data: Current Systems and Open Challenges
Control Systems Engineering for Optimizing Behavioral mHealth Interventions
Physarum Inspired Audio: From Oscillatory Sonification to Memristor Music
Modelling of Static and Moving Objects: Digitizing Tangible and Intangible Cultural Heritage
A Design Space for End User Development in the Time of the Internet of Things
Analyzing a Modeled System
Intelligence and Security Studies
Cloud Storage-Management Techniques for NGS Data
Fundamentals of Artifact Reuse in CPPS
Understanding Knowledge Graphs
Introduction to the Multi-Disciplinary Engineering for Cyber-Physical Production Systems
Introduction to Part I: mHealth Applications and Tools
How Children with Autism and Machines Learn to Interact
Searching the Big Data: Practices and Experiences in Efficiently Querying Knowledge Bases
Introduction to Enterprise Architecture
The Stationary Bionic Wavelet Transform and its Applications for ECG and Speech Processing
Designing Enterprise Information Systems - Merging Enterprise Modeling and Software Specification
Multimedia Database Retrieval - Technology and Applications
Autonomous Cyber Deception - Reasoning, Adaptive Planning, and Evaluation of HoneyThings
Visual Cryptography for Image Processing and Security - Theory, Methods, and Applications