yusuke1997/dblp-id-title huggingface dataset:
Combining Back-End Telemetry Data with Established User Testing Protocols: A Love Story
Utilizing Application Frameworks: A Domain Engineering Approach
Inferences About Coupling from Ecological Surveillance Monitoring: Approaches Based on Nonlinear Dynamics and Information Theory
Efficient Access Control in Multimedia Social Networks
Family Life, Children and the Feminization of Computing
A Type Composition Logic for Generative Lexicon
Analysis of Ecrime in Crowd-Sourced Labor Markets: Mechanical Turk vs. Freelancer
Methodenbasierte mathematische Modellierung mit Relationenalgebren
A Model of Social Media Engagement: User Profiles, Gratifications, and Experiences
The Twin Continua of Inductive Methods
Numerics Versus Control
Non-photorealistic Shading and Hatching
Period(d)ness of L -Values
CSP is Expressive Enough for π
Ligand Protected Gold Alloy Clusters as Superatoms
Key Enabling Technologies for Virtual Private Clouds
Just Complexity
Games for Inclusion Logic and Fixed-Point Logic
OUTSHORE Maturity Model: Assistance for Software Offshore Outsourcing Decisions
Realism Without Mirrors
Matroid Partition
Modeling a Model Transformation Language
Collaborative Context Recognition for Mobile Devices
Statistical Design of Integrated Circuits
Adaptive Hybrid Selection of Semantic Services: The iSeM Matchmaker
Face Recognition in Subspaces
Security and Privacy in Biometrics: Towards a Holistic Approach
Effects of Focus on Duration and Vowel Formant Frequency in Japanese
Just in Time: Defining Historical Chronographics
Fourth Order Symmetric Tensors and Positive ADC Modeling
Biometrics and the Challenge to Human Rights in Europe. Need for Regulation and Regulatory Distinctions
Demonstratives and salience: Towards a functional taxonomy
The Robot Vision Task
Large Scale Database Search
Augmenting Initiative Game Worlds with Mobile Digital Devices
Prediction of Major Phrase Boundary Location and Pause Insertion Using a Stochastic Context-free Grammar
Recommendation on the Use of Biometric Technology
Robust and Efficient Multifrontal Solver for Large Discretized PDEs
Context and Terminology in the Multilingual Semantic Web
Application Requirements Engineering
Combining JSD and Cleanroom for Object-Oriented Scenario Specification
Best Practices for Privacy and Data Protection for the Processing of Biometric Data
Seamless Learning from Proof-of-Concept to Implementation and Scaling-Up: A Focus on Curriculum Design
Some Aspects of the Ramsey Theory of Real Numbers
Climbing the "Stairway to Heaven": Evolving From Agile Development to Continuous Deployment of Software
Challenges for 100 Milligram Flapping Flight
Order Based Morphology for Color Images via Matrix Fields
Numerical Modelling of Mediterranean Cyclones
Numerical Investigation on the Deformation of Droplets in High-Pressure Homogenizers
Scripting and Orchestration of Learning Across Contexts: A Role for Intelligent Agents and Data Mining
On Small Size Approximation Models
Telecommunications Network Grooming
Language as a Bridge Connecting Formal and Informal Language Learning Through Mobile Devices
The Enhanced Entity-Relationship Model
Machine Learning and Lightweight Semantics to Improve Enterprise Search and Knowledge Management
Absence and Family Life: Understanding and Supporting Adaption to Change
Honest vs Cheating Bots in PATROL-Based Real-Time Strategy MMOGs
Sketch-based Retrieval of Vector Drawings
Programming, Composing, Deploying for the Grid
Toward the Utilization of Grid Computing in Electronic Learning
Model-Based Human Motion Capture
Introduction to Green in Software Engineering
The Dimension of Random Graph Orders
General-Purpose Autonomic Computing
Designing a Business Model for a Cloud Marketplace for Healthcare
Immersive Art in Augmented Reality
Roles, Rigidity, and Quantification in Epistemic Logic
A Framework that Situates Technology Research Within the Field of Service Science
Tracking in Urban Environments Using Sensor Networks Based on Audio-Video Fusion
Laser Ablation of Aluminium: Drops and Voids
Semester Projects on Human-Computer Interaction as Service and Outreach
Towards the Use of Genetic Programming for the Prediction of Survival in Cancer
Life and Mathematics of Alfred Jacobus van der Poorten (1942-2010)
Nearness: Family Life and Digital Neighborhood
Model-Driven Performance Evaluation of Web Application Portals
Status of Research on Insertion and Deletion Variations in the Human Population
In memory of Jasu Magan Bhana Panchia (1963-1991): Iterated Belief Revision in Dynamic Doxastic Logic
The Operational Principle and Problem Frames
NPR for Traditional Artistic Genres
Interview with Simon Møller from Kiloo
Quality-Driven Database System Development
Behavior-Finding: Morphogenetic Designs Shaped by Function
Low-Power Adaptive Mixed Signal/RF Circuits and Systems and Self-Healing Solutions
Surveillance Using Both Video and Audio
Shape From Shading
Boolean algebras of regular quasi-aperiodic languages
Temporal Logic with Preferences and Reasoning About Games
Applications of Ontologies in Collaborative Software Development
The construction of good lattice rules and polynomial lattice rules
The Role of Search for Field Force Knowledge Management
Change of Location and Change of State
Digitale Karten im Navigation Data Standard Format
Pervasive Computing: Enabling Technologies and Challenges
Enhancing Field Service Operations via Fuzzy Automation of Tactical Supply Plan
Ten Commandments of Formal Methods... Ten Years On
Path-Based Mathematical Morphology on Tensor Fields
The wadge hierarchy of Petri Nets ω-languages
Open-Source Tools for Environmental Modeling
Querführungsassistenz
OPOSSUM: Indexing Techniques for an Order-of-Magnitude Improvement of Service Matchmaking Times
A Reference Model for Maintenance Processes
Revitalize Your Teaching: Creative Approaches to Applying Social Media in the Classroom
Virtual Worlds: Spaces for Education or Places for Play?
The Theories of Statutory Construction and Legislative Process in American Jurisprudence
UML, The Future Standard Software Architecture Description Language?
An Architecture for Privacy-ABCs
Interactive Volume Segmentation and Visualization in Augmented Reality
Some of My Favorite Problems and Results
Shape Gradient for Image and Video Segmentation
Contract-Based Reasoning for Component Systems with Rich Interactions
Some Notes on Weighted Sum Formulae for Double Zeta Values
Customer-Oriented Business Process Management: Vision and Obstacles
Multi-view 4D Reconstruction of Human Action for Entertainment Applications
What Would you do if you Suddenly got an Annual Grant of About Ten Million Dollars?
Mixture Tree Construction and Its Applications
Encounters with Paul Erdős
Accurate Simulation of Wireless Vehicular Networks Based on Ray Tracing and Physical Layer Simulation
Synthesizing Architecture from Requirements: A Genetic Approach
Teaching and Learning in a Social Software Development Tool
Processes for Green and Sustainable Software Engineering
Linking Linguistic Resources: Examples from the Open Linguistics Working Group
VENLO: Interactive Visual Exploration of Aligned Biological Networks and Their Evolution
Applications for Visual Analysis of People
Logical Nihilism
Software Architecture-Based Self-Adaptation
A System for Combined Visualization of EEG and Diffusion Tensor Imaging Tractography Data
Clustering with Entropy-Like k -Means Algorithms
Optimization Problems in Multicast Tree Construction
Knoten im Netzwerk
Automatically Tuned Sparse Eigensolvers
Using the PRIDE Proteomics Identifications Database for Knowledge Discovery and Data Analysis
A High-Performance Reconfigurable Computing Solution for Peptide Mass Fingerprinting
Multi-Objective Optimisation in Manufacturing Supply Chain Systems Design: A Comprehensive Survey and New Directions
Conceptual Modelling of Interaction
Collaborative Software Engineering: Concepts and Techniques
Smart Classroom: Bringing Pervasive Computing into Distance Learning
On the Use of N-Gram Transducers for Dialogue Annotation
The Singular World of Singular Cardinals
Scheduling Service Oriented Workflows Inside Clouds Using an Adaptive Agent Based Approach
Improving Early Precision in the ImageCLEF Medical Retrieval Task
Recent Developments in Competence-based Knowledge Space Theory
Motion Studies : The Art and Science of Bird Flight
End-user Customisation of Intelligent Environments
The Freedoms of (Guarded) Bisimulation
Car-2-X
Predicting the Intonation of Discourse Segments from Examples in Dialogue Speech
Laser Ablation of Metals
Issues in Self-Repairing Robotic Self-Assembly
Audio watermarking quality evaluation
A Preconditioned Scheme for Nonsymmetric Saddle-Point Problems
Experiences of Promoting Student Engagement Through Game-Enhanced Learning
Application of a Novel Turbulence Generator to Multiphase Flow Computations
Klimamodelle
Nonlinear Programming in Telecommunications
Dynamic Aspects of Face Processing in Humans
An Ontological Approach to SQL: 2003
Community Detection in Collaborative Tagging Systems
Information Technology Outsourcing: Towards Sustainable Business Value
Relevance Judgments for Image Retrieval Evaluation
Strukturelle Löcher
Improving Gameplay with Game Metrics and Player Metrics
Event Structure and the Japanese Indirect Passive
Rhetorical relations and verb placement in Old High German
Collecting Data for the Profiling of Web Users
Representing the Logic of Statutory Rules in the United States
Mobile Projection Interfaces for Augmented Reality Applications
Onions, Pyramids & Loops - From Requirements to Software Architecture
Augmented Reality Applied To Edutainment
ROCCC 2.0
Tensor Voting: Current State, Challenges and New Trends in the Context of Medical Image Analysis
A Framework for the Analysis of Diffusion Compartment Imaging (DCI)
Military Applications of Augmented Reality
Swarm-Based Morphogenetic Artificial Life
Experiences from Industrial Projects
Overview of the Semantic Web Service Challenge
Searching Content Related by Semantics, Space and Time
Large Eddy Simulation of Cavitating Flows Using a Novel Stochastic Field Formulation
Pathway Resources at the Rat Genome Database: A Dynamic Platform for Integrating Gene, Pathway and Disease Information
Delayed Detached Eddy Simulation of a Rotationally Symmetric Supersonic Jet
Social Interactive Learning in Multiplayer Games
System Dynamics Models of Field Force Operations
Process Change Patterns: Recent Research, Use Cases, Research Directions
Collaboration Support for Mobile Users in Ubiquitous Environments
Experience Research: a Methodology for Developing Human-centered Interfaces
Software Development Effort Estimation - Demystifying and Improving Expert Estimation
The Object Management Group Ontology Definition Metamodel
Modelling Temporal Behaviour in Complex Systems with Timebands
Issues in Creation, Management, Search and Presentation of Interactive 3D Content
Care-of-prefix routing for moving networks in mobile IP network
The NeOn Ontology Models
Model-Driven Design of Software Defined Radio Applications Based on UML
A Survey of Illustrative Visualization Techniques for Diffusion-Weighted MRI Tractography
A Trust Point-based Security Architecture for Sensor Data in the Cloud
Gestaltung von Mensch-Maschine-Schnittstellen
History and Philosophy of Science: Between Description and Construction
A Rule-Based Graphical Decision Charting Approach to Legal Knowledge Based System
Dealing with Complexity in Agent-Oriented Software Engineering: The Importance of Interactions
Hidden Markov Random Field Models for Network-Based Analysis of Genomic Data
Dutch Historical Toponyms in the Semantic Web
Gliders and Glider Guns Discovery in Cellular Automata
Kernel-Based Morphometry of Diffusion Tensor Images
A Little Competition and a Lot of Cooperation
Emergent Swarm Morphology Control of Wireless Networked Mobile Robots
The Emperor Has No Caps! A Comparison of DCJ and Algebraic Distances
Whose Style Is It?
Object-Process Methodology for Structure-Behavior Co-Design
The Emergence of Formal Control Specificity in Information Systems Outsourcing: A Process-View
Visualization of Diffusion Propagator and Multiple Parameter Diffusion Signal
Region-Based Abstraction
Einstein-Podolsky-Rosen Paradox and Certain Aspects of Quantum Cryptology with Some Applications
Augmenting Wilderness: Points of Interest in Pre-connected Worlds
Social Signal Processing: The Research Agenda
A Brief Survey on Semi-Lagrangian Schemes for Image Processing
Engagement in Information Search
Molecular Interactions and Data Standardisation
Ontology Localization
Heuristics for Generating and Validating Surmise Relations across, between and within Sets/Tests
Customizing Your Interaction with Kali-ma
General Introduction and Overview
Smart Offices and Intelligent Decision Rooms
Forward with Hoare
Conceptual Geometric Modelling
Atomistic Simulations of Electrolyte Solutions and Hydrogels with Explicit Solvent Models
Inductive Querying with Virtual Mining Views
Collaboration, Communication and Co-ordination in Agile Software Development Practice
Summarizing Datacubes: Semantic and Syntactic Approaches
Interview with Darius Kazemi
Projection, Decomposition, and Adaption of Learning Spaces
Quality Analysis Approaches for Cloud Services - Towards a Framework along the Customer's Activity Cycle
Color Object Recognition Based on a Clifford Fourier Transform
Algorithmic Economics: Incomputability, Undecidability and Unsolvability in Economics
ASK-LOST 2.0: A Web-Based Tool for Social Tagging Digital Educational Resources in Learning Environments
Modelle in der Weltraumphysik
An Application for the Visualization and Quantification of HIV-Associated Lipodystrophy from Magnetic Resonance Imaging Datasets
Mehrebenensysteme in der Biomedizin
Software Engineering - Why, What, How and What's Next
An RDF Query and Transformation Language
ReDS: A System for Revision-Secure Data Storage
Quaero Speech-to-Text and Text Translation Evaluation Systems
Direct Numerical Simulation and Implicit Large Eddy Simulation of Stratified Turbulence
An Introduction to Physiological Player Metrics for Evaluating Games
Netzwerkanalyse, Emergenz und die Mikro-Makro- Problematik
Aspect Composition in Problem Frames
Solar-Powered Micro-air Vehicles and Challenges in Downscaling
What-If Application Design Using UML
Soziales Kapital und seine Funktionsweise
Uncertainty Propagation
Modellierung von Regeln für die Prüfung von Prozessmodellen
Purpose Verbs
From Sentence Meanings to Full Semantics
Target Shape Estimation Using an Automotive Radar
On the Analysis of Prosody in Interaction
Augmented Reality Graffiti and Street Art
FPGA Versus Software Programming: Why, When, and How?
High Resolution Climate Modeling with the CCLM Regional Model
Spectral Library Searching for Peptide Identification via Tandem MS
On Lipschitz Mappings Onto a Square
Statistical and Computational Studies on Alternative Splicing
Sampling for Game User Research
Stochastic Optimization in Telecommunications
Social-based autonomic routing in opportunistic networks
Effective QoS Aware Service Composition Based on Forward Chaining with Service Space Restriction
Confessions of a Complexity Skeptic
Mobile Motion : Multimodal Device Augmentation for Musical Applications
Conductance and Noise Correlations of Correlated Nanostructures
Sur la non-dérivabilité de fonctions périodiques associées à certaines formules sommatoires
Markov Entropy Centrality: Chemical, Biological, Crime, and Legislative Networks
A Test Bed for Multi-Agent Control Systems in Road Traffic Management
Multidimensional Design Methods for Data Warehousing
A Service Hardware Application Case Fiducia
An Automatic Method for Solving Discrete Programming Problems
Experiences from Implementing Agile Ways of Working in Large-Scale System Development
Representing Entities in the OntoDM Data Mining Ontology
UML and OCL in Conceptual Modeling
Grid Sensitivity of LES Heat Transfer Results of a Turbulent Round Impinging Jet
Low-power Wireless Sensor Network Platforms
One Artefact: Many Phenomena
Experimental based tool calibration used for assessing the quality of e-commerce systems
Green Software Measurement
Registration of Geospatial Information Elements
Using Knowledge Space Theory to Assess Student Understanding of Chemistry
IDesign Principles for Multimodal Spoken Dialogue Systems
Privacy-Preserving Cloud Computing for Biomedical Research
Visual Game Analytics
Illumination Modeling for Face Recognition
Constraint Programming to Solve Maximal Density Still Life
Systematic Architectural Design Based on Problem Patterns
Automated Generic Analysis Tools for Protein Quantitation Using Stable Isotope Labeling
Information-Theoretic Methods in Chemical Graph Theory
Object and Concept Recognition for Image Retrieval
Applications of the Probabilistic Method to Partially Ordered Sets
Self-Organized Functional Hierarchy Through Multiple Timescales: Neuro-dynamical Accounts for Behavioral Compositionality
Evaluating the Implications of Attack and Security Patterns with Premortems
Autonomic Information Diffusion in Intermittently Connected Networks
Decidable Signal Processing Dataflow Graphs: Synchronous and Cyclo-Static Dataflow Graphs
Mesoscopic Simulations of Polyelectrolyte Electrophoresis in Nanochannels
A Methodology for Distributed Knowledge Management Using Ontologies and Peer-to-Peer
Turbulence Modelling for CFD-Methods for Containment Flows - Annual Report 06/2010-06/2011
New Augmented Reality Taxonomy: Technologies and Features of Augmented Environment
A Method for Resolving Security Vulnerabilities Through the Use of Design Patterns
Semantics for Smart Services
Optimization Issues in Combinatorial Auctions
Human-Computer Interfaces to Multimedia Content a Review
An Empirical Study on Information Security Behaviors and Awareness
Extracting End-to-End Timing Models from Component-Based Distributed Embedded Systems
Maschinelles Sehen
Towards an Egalitarian Pedagogy for the Millennial Generation: A Reflection
Quo vadis, FAS?
Hierarchies for Embodied Action Perception
Topological Functioning Model as a CIM-Business Model
Reconstruction Problems for Digraphs
Understanding Online Sociability: Investigations on Sociability Determinants and Cultural Differences in Sociability Perception
Arguing About Dynamic Meaning
Green Software and Software Quality
Knowledge Integration using Textual Information for Improving ImageCLEF Collections
Typology by Means of Language Networks: Applying Information Theoretic Measures to Morphological Derivation Networks
Communication- and Value-Based Organizational Development at the University Clinic for Radiotherapy-Radiation Oncology
Sharing Content and Experiences in Smart Environments
On Definitive Solutions of Strategic Games
Integrating Treebank Annotation and User Activity in Translation Research
Regulatory Traits: Cultural Influences on Cultural Evolution
Non-photorealistic Rendering with Reduced Colour Palettes
Industrial Application of Visual GUI Testing: Lessons Learned
Scalar Mixing in Droplet Arrays in Stagnant and Convective Environments
Personalized Information Access in a Bibliographic Peer-to-Peer System
Systems-on-Chip on FPGAs
Smart Monitoring for Physical Infrastructures
Funktionale Sicherheit und ISO 26262
Social Flow and Learning in Digital Games: A Conceptual Model and Research Agenda
Towards a High-quality Visualization of Higher-order Reynold's Glyphs for Diffusion Tensor Imaging
Using Functional Linkage Gene Networks to Study Human Diseases
STORMSeq: A Method for Ranking Regulatory Sequences by Integrating Experimental Datasets with Diverse Computational Predictions
Invariant Processing and Occlusion Resistant Recognition of Planar Shapes
Formal Methods as an Improvement Tool
(Micro)blogs: Practices of Privacy Management
Development of Categorisation Abilities in Evolving Embodied Agents: A Study of Internal Representations with External Social Inputs
Is Modeling a Treatment for the Weakness of Software Engineering?
A Quick Tour of High-Level Synthesis Solutions for FPGAs
Systems Biology-Based Approaches Applied to Vaccine Development
On the Future of Mobile Phones as the Heart of Community-Built Databases
A Riemannian Dennis-Moré Condition
Oxy-coal Combustion Modeling at Semi-industrial Scale
Planar Shape Analysis and Its Applications in Image-Based Inferences
Logic and Learning
Conflict of Legal Norms: Definition and Varieties
Scientific Representation, Reflexivity, and the Possibility of Constructive Realism
Assessing a Measurement Model for Digital Political Participation: A Multidisciplinary Point of View
Managing Experimental Data Using FuGE
A Framework for Loosely Coupled Applications on Grid Environments
We Still Don't Know How Much BPMN Is Enough, But We Are Getting Closer
Logics for Legal Dynamics
Learning Ordinal Preferences on Multiattribute Domains: The Case of CP-nets
Knowledge Representation and Ontologies
Informatics and Statistics for Analyzing 2-D Gel Electrophoresis Images
Feature-Based Pose Estimation
Self-healing for Autonomic Pervasive Computing
Social Capital in Electronic Networks of Practice: An Analysis of University Blogging Communities
The Thousand-and-One Cryptographers
Empirical Research Methods in Web and Software Engineering
Contributions to Social Bookmarking Systems: Integration of Three Empirical Studies
Who Is the Favored Bride? Challenges in Switching to a Multi-vendor Offshoring Strategy
Ultraschallsensorik
Structures for Epistemic Logic
Face Recognition Across Pose and Illumination
Using Augmentation Techniques for Performance Evaluation in Automotive Safety
Visual Analytics Tools - A Lens into Player's Temporal Progression and Behavior
Local Representation of Facial Features
Discrepancy theory and harmonic analysis
Using Cost-Benefit Information in Ontology Engineering Projects
An Approach to Design of Automata-Based Axiomatization for Propositional Program and Temporal Logics (by Example of Linear Temporal Logic)
Pirates of the Copyright and Cyberspace: Issues Involved
The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics
Is There a Logic of Society?
Dancing with Dirty Data: Problems in the Extraction of Life-Course Evidence from Historical Censuses
Using Rich Social Media Information for Music Recommendation via Hypergraph Model
Quaternion Atomic Function for Image Processing
Continuous Software Engineering: An Introduction
Gradient Art: Creation and Vectorization
Explanatory Pluralism in Psychiatry: What Are We Pluralists About, and Why?
Feasibility Study and Experience on Using Cloud Infrastructure and Platform for Scientific Computing
What Is a Proof?
Sublinear Algorithms for Extreme-Scale Data Analysis
Serious Games: A New Paradigm for Education?
Transcendence of Stammering Continued Fractions
Service-Oriented Architecture for Interoperability of Multilanguage Services
Strategic Style in Pared-Down Poker
A Synthetic Approach to the Study of the Evolution of Communication and Language
A Preference Optimization Based Unifying Framework for Supervised Learning Problems
Selecting High-Level COTS Components
A short introduction to quasi-Monte Carlo option pricing
W2000: A Modelling Notation for Complex Web Applications
Factors Impacting the Inputs of Traceability Recovery Approaches
Interview with Aki Järvinen from Digital Chocolate
ELDAMeth Design Process
Practical auditability in trusted messaging systems
Lexicalizing a Multilingual Ontology for Searching in the Assistive Technology Domain
Toward the Integration of Natural Language Processing and Automatic Speech Recognition: Using Morpho-Syntax and Pragmatics for Transcription
Optimization of Chaotic Micromixers Using Finite Time Lyapunov Exponents
Using Ontologies in Software Engineering and Technology
Data Mining and Discovery of Chemical Knowledge
Participation and Open Innovation for Sustainable Software Engineering
Drug Living Lab - Cold Chain Monitoring
Model as You Do: Engaging an S-BPM Vendor on Process Modelling in 3D Virtual Worlds
Agents Implementing Subject Behaviour: A Manufacturing Scenario
Distances in Convex Polygons
Towards a Logical Analysis of Adjusted Winner
A Review of Grid Portal Technology
Using a Solver Over the String Pattern Domain to Analyze Gene Promoter Sequences
Self-regulation: A Critical Learner Characteristic for Seamless Learning
Psychological Experiments in Haptic Collaboration Research