yusuke1997/dblp-id-title huggingface dataset:
Mobile systems for monitoring Parkinson's disease
A framework for integration of processes in autonomous systems
Practical thinking in programming education: Novices learning hands-on
Towards Automated Context-aware Vulnerability Risk Management
Simple haptics: Sketching perspectives for the design of haptic interactions
Designing for Intercorporeality: An Interaction Design Approach to Technology-Supported Movement Learning
Designing Auditory Warning Signals to Improve the Safety of Commercial Vehicles
Design and Implementation of Multi-Device Services
Computational modeling of the lamprey CPG: from subcellular to network level
Organizational patterns for knowledge capture in B2B engagements
A Software Framework for Prioritized Spectrum Access in Heterogeneous Cognitive Radio Networks
Location-aware resource allocation in mobile edge clouds
Government vs Market in Sustainable Residential Development? : Microdata analysis of car travel, CO2 emission and residence location
A Theoretical Model for Telemedicine: Social and Value Outcomes in Sub-Saharan Africa
A Simulation-Based Safety Analysis of CACC-Enabled Highway Platooning
On Descriptive and Predictive Models for Serial Crime Analysis
Static Execution Time Analysis of Parallel Systems
Learning Predictive Models from Electronic Health Records
Ethics of User Involvement in Sensitive Design Situations
A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems
Mjukvarumiljöer för gemenskap: En studie av nätgemenskap, teknik och kultur
Views of Research Quality in Empirical Software Engineering
Deciding on Sourcing Option for Hosting of Software Applications in Organisations
A Measure of Fun: Extending the scope of web usability
Hanging out in the game café: Contextualising co-located computer game play practices and experiences
Individual service provisioning
Duplicate systems: investigating unintended consequences of information technology in organizations
Gamer mode: Identifying and managing unwanted behaviour in military educational wargaming
Theoretical Aspects on Performance Bounds and Fault Tolerance in Parallel Computing
Operationalization of lean thinking through value stream mapping with simulation and FLOW
Methodology and Infrastructure for Statistical Computing in Genomics : Applications for Ancient DNA
A Collaborative E-learning Approach: Exploring a Peer Assignment Review Process at the University Level in Uganda
On the Improvement of Healthcare Management Using Simulation and Optimisation
Expressing emotions through vibration for perception and control
Context-Based Micro-Training: Enhancing cybersecurity training for end-users
Pre-deployment Analysis of Smart Contracts
Designing Public Play: Playful Engagement, Constructed Activity, and Player Experience
What did you expect?: A human-centered approach to investigating and reducing the social robot expectation gap
Utilizing Hardware Monitoring to Improve the Quality of Service and Performance of Industrial Systems
Towards Safer and Risk-aware Motion Planning and Control for Robotic Systems
Towards Systemic Governance of Critical Infrastructure Protection: State and Relevance of a Swedish Case
Look-ahead Control of Heavy Vehicles
Identity and Anonymity in Ad Hoc Networks
Discovering Constructs and Dimensions for Information Privacy Metrics
On the evaluation of print mottle
Towards Automatic Image Analysis for Computerised Mammography
TCP/IP technology for modern network environments
Enterprise Systems & Business Relationships: The Utilization of IT in the Business with Customers and Suppliers
Enterprise Architecture for Information System Analysis: Modeling and assessing data accuracy, availability, performance and application usage
Complexities of Order-Related Formal Language Extensions
Rethinking Competence: On Performing Digital Transformation
All Around Logic Synthesis
Socio-material mediations: learning, knowing and self-produced media within healthcare
3-D Nautical Charts and Safe Navigation
Faster. Stronger. Better?: designing for enhanced engagement of extreme sports
Egocentric interaction for ambient intelligence
On Privacy and Security in Smart Connected Homes
How Service Ideas Are Implemented: Ways of Framing and Addressing Service Transformation
Developing and Assessing Professional Competencies: a Pipe Dream? : Experiences from an Open-Ended Group Project Learning Environment
Parametric WCET Analysis
Creating & Enabling the Useful Service Discovery Experience: The Perfect Recommendation Does Not Exist
Cooperative anchoring: sharing information about objects in multi-robot systems
Automated CtP Calibration for Offset Printing: Dot gain compensation, register variation and trapping evaluation
Mobile Agent Approach to Congestion Control in Heterogeneous Networks
Advance Traffic Signal Control Systems with Emerging Technologies
Supporting loose forms of collaboration: Using Linked Data to realize an architecture for collective knowledge construction
Modelling and grey-box identification of curl and twist in paperboard manufacturing
On Test Design
Judging the Immigrant: Accents and Attitudes
Information at Your Fingertips: Facilitating Usable Transparency via Privacy Notifications
Variation-Aware System Design Simulation Methodology for Capacitive BCC Transceivers
Being-human in the world of digital artifacts: holistic rethinking of design practices
The Presence Producers: On design and use of presence production systems
Low Latency Communication in Virtualized and Multipath Networks
Good-Enough Requirements Engineering
Toward better image reproduction in offset
Development of a new service-oriented modelling method for information systems analysis and design
Change detection in metal oxide gas sensor signals for open sampling systems
Exploring patterns of empirical networks
Method rationale revealed: communication of knowledge in systems development methods
Augmented Telepresence based on Multi-Camera Systems: Capture, Transmission, Rendering, and User Experience
Exploring the Educational Utility of Pretrained Language Models
Guided Interaction and Collaborative Exploration in Heterogeneous Network Visualizations
Situation-aware vehicles: supporting the next generation of cooperative traffic systems
Vector Symbolic Architectures and their applications: Computing with random vectors in a hyperdimensional space
Situating interruptions in manufacturing assembly
Complexity Dichotomies for CSP-related Problems
Modularization of the Learning Architecture: Supporting Learning Theories by Learning Technologies
Topological and Scaling Analysis of Geospatial Big Data
Explainable AI for Data-Driven Feedback and Intelligent Action Recommendations to Support Student Self-Regulation
On the control of virtual violins: Physical modelling and control of bowed string instruments
Local visual feature based localisation and mapping by mobile robots
Electronic Mail and its Possible Negative Aspects in Organizational Contexts
A Multi-Dimensional Approach to Human Mobility and Transportation Mode Detection Using GPS Data
A Safety-centered Planning-time Framework for Automated Process Compliance Checking
A Control-theoretic Approach to Realize Self-adaptive Software Systems with Guarantees
Intelligence-Driven Software Performance Assurance
CALL of the Wild: Using language technology in the second language classroom
Social Challenges when Implementing Information Systems in a Swedish Healthcare Organization
Towards trustworthy intelligent vehicle technology development
Object oriented quality in introductory programming education
Strategic Business and IT Alignment Assessment: A Modeling Approach Associated with Enterprise Architecture
Generalized General Logics
In the age of IoT: exploring public sector smartness
Integrating Computational Thinking into Swedish Compulsory Education with Block-Based Programming: A case study from the perspective of teachers
Data-driven quality management using explainable machine learning and adaptive control limits
Pragmatic Approaches for Timing Analysis of Real-Time Embedded Systems
Multi-Agent Systems for Container Terminal Management
Information in use: In- and outsourcing aspects of digital services
Towards integrating agile development and risk management
A Framework for Designing Learning Management Systems to Support Undergraduate Thesis Projects: With a Focus on Sri Lankan Universities
Advanced Kalman Filtering Approaches to Bayesian State Estimation
Artificial Intelligence for Non-Contact-Based Driver Health Monitoring
Robot Manipulation Planning Among Obstacles: Grasping, Placing and Rearranging
Data reduction in data warehouses
Issues in bimanual interaction for computer graphics
The Design and Applications of a Privacy-Preserving Identity and Trust-Management System
Graspable user interfaces
Group Decision Making and Preference Learning on Social Networks
Generating and drawing area-proportional Euler and Venn diagrams
Independent sets and closed-shell independent sets of fullerenes
Ephedra: a C to Java migration environment
Computational Estimation of Personal Properties From Language
Exploiting Requirements Variability for Software Customization and Adaptation
Probabilistic models of time-domain speech signals
Efficient Machine Learning with High Order and Combinatorial Structures
Feature-based Control of Physics-based Character Animation
A Multilinear (Tensor) Algebraic Framework for Computer Graphics, Computer Vision and Machine Learning
Information system hazard analysis
Iterative Reconstruction Algorithms for Polyenergetic X-ray Computerized Tomography
Approximation and Refinement Techniques for Hard Model-checking Problems
Compiler Support for Fine-grain Software-only Checkpointing
NLQ into SQL Translation Using Computational Linguistics
Deep Structured Output Models for Localization, Mapping and Labeling
Synthesizing Divide-and-Conquer Programs
A Reasoning Module for Long-lived Cognitive Agents
Cloned Product Variants: From Ad-hoc to Well-managed Software Reuse
Learning Rich Representations for Robot State Estimation
Requirements modeling: a knowledge representation approach to software requirements definition
Software Verification with Program-Graph Interpolation and Abstraction
Decidable, logic-based knowledge representation
Visualizing personal data in context: an on-calendar design strategy for behaviour feedback
Quality of Experience from Cache Hierarchies: Caching for Adaptive Streaming over Information-Centric Networks
Sequence Diagrams Integration via Typed Graphs: Theory and Implementation
Discrepancy and Related Problems
Electronic Prayer Rug: Design and Evaluation
The consensus power of shared-memory distributed systems
A solid angle approach to ray-tracing in computer graphics
Computer-assisted Assessment and Feedback for Image-guided Interventions Training
SIMD and GPU-Accelerated Rendering of Implicit Models
A combinatorial switch block design technique for reconfigurable interconnection networks
Software Defect Prediction Using Rich Contextualized Language Use Vectors
Infinitesimal reasoning in information retrieval and trust-based recommendation systems
Image pattern recognition using phase-based local features and their flexible spatial configuration
Exploring the socio-technical impact of continuous integration: tools, practices, and humans
Visual stereoscopic computation
Characterizing the usage of computer-mediated communications
Algorithms for prediction of RNA secondary structure: coronavirus pseudoknots via Shapify & CParty
Low-cost Data Analytics for Shared Storage and Network Infrastructures
Deep Generative Models for Images and 3D objects
Context management and self-adaptivity for situation-aware smart software systems
End-to-end Autonomy with Spatial-Temporal World Models
Optimal grid scheduling by dynamic selection of scheduling heuristics
Modelling transmission schemes for integrated voice and data communications
Positive unlabeled learning applications in music and healthcare
Protecting Persistent Data with Run-time Invariant Checking
Fast spectral multiplication for real-time rendering
Transcription factor regulation and epigenetic modifiers
A predicative theory of machine languages and its application to compiler correctness
On the efficient maintenance of temporal integrity in knowledge bases
Inductive Transfer Learning for Incremental Modeling and Optimization of Cloud Systems Performance
Merging and Consistency Checking of Distributed Models
Predicting the performance of software systems
A novel stroke prediction model based on clinical natural language processing (NLP) and data mining methods
Protocol design and performance evaluation for wireless ad hoc networks
Using Modeler Intent in Software Engineering
TA3: theory, implementation, and applications of similarity-based retrieval for case-based reasoning
A framework for browsing in the relational data model
Piecewise descriptions of implicit surfaces and solids
Flexible decoder for LDPC codes: a technique to attain desirable trade-off between performance and complexity
Towards Automated Metabolic Model Reconstruction with Application to Parasite Evolution
Computer macro-scheduling for high productivity
Bi-quartic spline collocation methods for fourth-order boundary value problems with an application to the biharmonic Dirichlet problem
Explaining Gendered Participation in Computer Science Education
Building More Expressive Structured Models
The rhetorical parsing, summarization, and generation of natural language texts
Neural Representation, Learning and Manipulation of Uncertainty
Task Offloading with Service Replication for Scalable Mobile Edge Computing
Automata-Theoretic Synthesis of Plans and Reactive Strategies
An Ontology-Oriented Approach to Represent and Compare the Functional Behaviour of Event-Based Systems
Lambek Categorial Grammars for Practical Parsing
A plan-based approach to speech act recognition
Higher-order functional languages and intensional logic
Developing and Coordinating Autonomous Agents for Efficient Electricity Markets
Physical database design decision algorithms and concurrent reorganization for parallel database systems
Functional interpretation of programming models
Computational models for improved diagnosis and prognosis of stroke using robot-based biomarkers
Mining User-generated Content for Insights
Model-based Perceptual Grouping and Shape Abstraction
Combining deformable models and neural networks for handprinted digit recognition
SDN-aware framework for the management of cooperative WLANs/WMNs
Transaction synchronization in knowledge bases: concepts, realization and quantitative evaluation
Model Fitting for Motion Segmentation
Algorithms in 3D Shape Segmentation
Dynamic allocation of resources using machine learning and quantile regression by harnessing the power of software defined networks
On the parameterized complexity of finding short winning strategies in combinatorial games
Classified models for software engineering
Algorithms and complexity for annotated sequence analysis
On the Space Complexity of Colourless Tasks
Effective Search Techniques for Non-classical Planning via Reformulation
Iterative, Interactive Analysis of Agent-goal Models for Early Requirements Engineering
The greedy, the naive, and the optimal multicast routing : from theory to internet protocols
Syntax-based Security Testing for Text-based Communication Protocols
Dynamic Observation in Discrete-Event Systems
Search and Join Algorithms for Tables in Data Lakes
A knowledge-theoretic account of negotiated commitment
On approximate solution techniques for queueing network models of computer systems
Product models for sequences
Analyzing large biological networks: protein-protein interactions example
Bounded combinatorial width and forbidden substructures
Problems on Geometric Graphs with Applications to Wireless Networks
Efficient algorithms for beacon routing in polygons
Clinical Decision Support Algorithm for Prediction of Postoperative Atrial Fibrillation Following Coronary Artery Bypass Grafting
A Computational Model of the Acquisition of Mental State Verbs
Machine Learning Methods for Acceleration of Rare Genetic Disease Diagnosis
On the understanding of requirements-driven collaboration: a framework and an empirical field investigation
Towards Provisioning Vehicle-Based Information Services
YETI: a GraduallY Extensible Trace Interpreter
A computational model for the analysis of arguments
Computational Frameworks to Interpret Genetic Abnormalities in Hematologic Malignancies
Concise and accurate data summaries for fast approximate query answering
Talking with Antigone
On Generalizations of Gowers Norms
Combinatorial and algebraic aspects of polynomials over finite fields
Iterative analysis of networks of queues
Resolution Complexity of Random Constraint Satisfaction Problems
Language Specific Analysis of State Machine Models of Reactive Systems
Indexical attribute grammars
Formal method integration via heterogeneous notations
Efficient Location Constraint Processing for Location-aware Computing
Direct Pen Input and Hand Occlusion
Towards Continuous Mobile Sensing for Remote COPD Monitoring
Improving social relations between developers by leveraging the concept of socio-technical congruence
Contributions to Data-Driven Combinatorial Solvers
Heart Rate Balancing for Multiplayer Exergames
Revisiting the Experimental Design Choices for Approaches for the Automated Retrieval of Duplicate Issue Reports
Subcategorial Considerations in Statistical Categorial Parsing
Randomized algorithms in path sensitization for circuit optimization and delay fault tolerance
Improving Reliability and Performance of Storage Stacks on next generation Solid State Drives
Tracing on the right side of the brain: unsupervised image simplification and vectorization
Context-Aware and Real-time Entrustment Framework for Securing Next Generation Internet Communications
Simple Distributed Programming for Scalable Software-defined Networks
High-level robot programming in dynamic and incompletely known environments
End-User Driven Service Composition for Constructing Personalized Service Oriented Applications
Bounding algorithms for queueing network models of computer systems
Three Ways to Get Your Way: Strategize, Gerrymander, Party
Energy aware techniques for certain problems in Wireless Sensor Networks
Lexical semantics and knowledge representation in multilingual sentence generation
Algorithms for language reconstruction
Simplified O(n) algorithms for planar graph embedding, Kuratowski subgraph isolation, and related problems
Mid-level Cues for Bottom-up Grouping
The Orchive: A system for semi-automatic annotation and analysis of a large collection of bioacoustic recordings
Assisting End-users in Filling Out Web Services
Collaboration via aligned autonomy for commercial software teams
Global optimization using interval constraints
On the complexity of the st-connectivity problem
The Power of Uncertainty: Algorithmic Mechanism Design in Settings of Incomplete Information
Chameleon, a dynamically extensible and configurable object-oriented operating system
Towards Generalizing Defect Prediction Models
Electronic Paper Computers: Interacting with Flexible Displays for Physical Manipulation of Digital Information
Physical Models of Human Motion for Estimation and Scene Analysis
Exploiting Coherence and Data-driven Models for Real-time Global Illumination
From Strings to Graphs: Personalized Repeat-Aware Algorithms for Improved Long Read Structural Variant Detection
Planar Section Representations of 3D Shape
On approximate min-max theorems for graph connectivity problems
Interactive Visualizations of Natural Language
A methodology for programming with concurrency
Reusing Work and Avoiding Redundant Work in Propositional Logic Solvers
An Automated Ultrasound Calibration Framework Incorporating Elevation Beamwidth for Tracked Ultrasound Interventions
Designing for the Affective Resilience of Diasporic Population through Cultural Heritage
Efficient generation of linear extensions and other restricted permutations
Machine Learning Methodologies for Uncovering the Mechanisms of Complex Diseases
The Power of Randomness in Communication
Studying the Impact of Developer Communication on the Quality and Evolution of a Software System
Looking at Execution Logs Beyond Execution Events: Enriching Execution Events to Compare the Behaviour of Large-Scale Software Systems Against Their Historical Behaviour
Ranks and Partial Cuts in Forward Hypergraphs
Social Cohesion Analysis of Networks: A Novel Method for Identifying Cohesive Subgroups in Social Hypertext
Studying the Use of Extrinsic Incentives to Support Crowdsourced Software Engineering Activities
Optimizing incremental view maintenance expressions in relational databases
Probabilistic Models for the Analysis of Gene Expression Profiles
New approaches to improving live video delivery over content delivery networks
Computational Methods of Inferring Context-specific MicroRNA Regulatory Networks
Regression Testing of Distributed Real-Time Embedded Systems in the Context of Model-Driven Development
Concurrency control performance issues
Cyclic block designs: computational aspects of their construction and analysis
Frameworks for dealing with conflicting information and applications
Flow grammars: a methodology for automatically constructing static analyzers
Publishing, locating, and querying networked information sources
The Design of Table-centric Interactive Spaces
The case for exception handling
Improving the Performance of Database-Centric Applications Through Program Analysis
Resource Management in Multi-hop Cellular Networks
Indexical parallel programming
Local-spin Abortable Mutual Exclusion
MusE-XR: musical experiences in extended reality to enhance learning and performance
Permutation graph structure and algorithms
Numerical solution of retarded and neutral delay differential equations using continuous Runge-Kutta methods
Behavioural Model Fusion
3D Reconstruction Algorithms for Single Particle Cryo-EM
Interpretable Machine Learning: Explaining Models, Datasets and Expert Behaviors
Digitizing North Indian music: preservation and extension using multimodal sensor systems, machine learning and robotics
Toward More Efficient Motion Planning with Differential Constraints
Multi-scale stochastic modelling of complex natural phenomena
Compact Discrete Representations for Scalable Similarity Search
Symmetries of Venn diagrams on the sphere
Time-constrained memory for reader-based text comprehension
Consistency Maintenance in Networked Games
Face-balanced, Venn and polyVenn diagrams
Management of Uncertainties in Publish/Subscribe System
Testing Models of Reactive Systems
Wireless Sensor Network Platform for Harsh Industrial Environments
Probabilistic parallel communication
Record Linkage for Web Data
Stochastic Modeling of Temporal Ultrasound Data for Prostate Cancer Diagnostics
On the complexity of link separability
Integrating Probabilistic Reasoning with Constraint Satisfaction
Towards Active Image Guidance in X-ray Fluoroscopy-guided Radiotherapeutic and Surgical Interventions
A Mutation Analysis Based Model Clone Detector Evaluation Framework
Estimating the Functional Impact of Single Amino Acid Changes Using Machine Learning
Link analysis ranking
Managing Design-Time Uncertainty in Software Models
Release management in free and open source software ecosystems
Analyse des protocoles cryptographiques par les fonctions témoins
Natural Language Processing for Slang
Automating disease diagnosis and cause-of-death classification from medical narratives using event extraction and temporal ordering
Representation and constructibility of semantic relations
Computational Methods for Resilience Analysis in Interdependent Urban Infrastructure Systems
Message flow analysis
A framework for visual system configuration
Dynamic Access Control Framework for Internet of Things
Relativized circuit size and depth
Computational Analysis of Arguments and Persuasive Strategies in Political Discourse
Language-based Lifting of Analyses to Software Product Lines
Algorithms for Data-driven Geometric Stylization Acceleration
Mining development knowledge to understand and support software logging practices
Characteristic polynomials of one-dimensional linear hybrid cellular automata