yusuke1997/dblp-id-title huggingface dataset:
Attaques et preuves de sécurité des protocoles d'échange de clés authentifiés ; Attacks and Security Proofs of Password Authenticated Key-Exchange Protocols
Proactive Identification of Cybersecurity Threats Using Online Sources
Combinatorial meshing for mechanical FEM
Fair Mechanisms for Smart Grid Congestion Management
Formal Synthesis and Data-Driven Verification of Cyber-Physical Systems
Atomic Broadcast in Heterogeneous Distributed Systems
Scheduling and Optimization of Fault-Tolerant Distributed Embedded Systems
Emigration of Chinese Scientists and Its Impacts on National Research Performance From a Sending Country Perspective
Model-based Evaluation and Design for Secure Architecture
Robust autonomous navigation framework for exploration in GPS-absent and challenging environment
Analysis of evolutionary constraints on gene arrangements in animal genomes
Ekspertni sustav za podučavanje elementarne algebre
Aperiodic multiprocessor scheduling for real-time stream processing applications
Design for Reliability and Low Power in Emerging Technologies
Managing New Workspaces for Innovation and Efficiency in R&D: the Case of Integrated Labs, Shared Zones and Co-Location
Novel machine-learning approaches to create a structurally accurate virtual model of the heart cell
Enhancing the image quality of digital breast tomosynthesis
Exploiting Latent Context for Effective Social Recommendation
High Resolution Analysis of Halftone Prints: A Colorimetric and Multispectral Study
Dynamic Programming with Multiple Candidates and its Applications to Sign Language and Hand Gesture Recognition
Systems Medicine: From Modeling Systems Perturbations to Predicting Drug Synergies
Erweiterung inferenzstatistischer Fähigkeiten modellbasierter Gradient-Boosting Algorithmen (Extending the inferential capabilities of model-based gradient boosting algorithms)
A computer model of case-based reasoning in problem solving: an investigation in the domain of dispute mediation
Distinct Feature Learning and Nonlinear Variation Pattern Discovery Using Regularized Autoencoders
Dynamics of functional brain connectivity in schizophrenia: machine learning models for diagnosis and prognosis
Interference Alignment and DOF Analysis of Interference and Interference Broadcast Channels
A Parallel Hybrid Method for Fast Analysis of Power System Dynamics
Semantic-driven modeling and reasoning for enhanced safety of cyber-physical systems
Iterative Timing Recovery for Magnetic Recording Channels with Low Signal-to-Noise Ratio
Less Machine (=) More Vision: Approaches towards Practical and Efficient Machine Vision with Applications in Face Analysis
Methods for managing, validating and retrieving event-related information in evolving contexts
How surface roughness affects adhesion
Investigation of Brain Computer Interface as a New Modality in Computer Aided Design/Engineering Systems
Distributed Planning for Self-Organizing Production Systems
Multi-objective integrated process planning and scheduling: a hybrid MAS/ACO approach
On the Performance and Analysis of Massive MIMO for 5G Wireless Systems
Physics-Aware Model Simplification for Interactive Virtual Environments
Referenzmodell für den Einsatz von Bildungsmethoden für E-Learning, Wissens- und Kompetenzmanagement (Reference model for learning and educational methods for e-learning, knowledgemanagement and competencemanagement)
Buzzwear: supporting multitasking with wearable tactile displays on the wrist
Data Analysis and Query Processing in Wireless Sensor Networks
Optimal Sequence Alignment using A*
Studies in Robotic Vision, Optical Illusions and Nonlinear Diffusion Filtering
The influence of active versus passive exploration of the built environment on way-finding and visual memory
Model Learning in robot control (Modell-Lernen für Roboter-Regelung)
Sparse Coding, Dimensionality Reduction, and Synaptic Plasticity: Evolving and Validating a Biologically Realistic Model of Retrosplenial Cortex
Efficient and Enhanced Text Summarization by Compressing and Data Augmentation for Transformers-Based Models
Specified and verified reusable components
Games of Pursuit-Evasion with Multiple Agents and Subject to Uncertainties
Semantic data integration for supply chain management: with a specific focus on applications in the semiconductor industry
Scene Representations for Video Compression
Visual arctic navigation: techniques for autonomous agents in glacial environments
Modelling biogeochemical cycles in forest ecosystems: a Bayesian approach
The multiprocessor real-time scheduling of general task systems
Scalable Beaconing for Cooperative Adaptive Cruise Control
Compute-in-Memory with Emerging non-Volatile Memories for Accelerating Deep Neural Networks
Coding for Distributed Storage and Flash Memories
Efficient and Precise Pointer Analysis with Fine-Grained Context Sensitivity
Utilitarian Approaches for Multi-Metric Optimization in VLSI Circuit Design and Spatial Clustering
The Role of Explanations in Enhancing Algorithmic Fairness Perceptions
A portable EEG-BCI framework enhanced by machine learning techniques
Data Driven Inference in Populations of Agents
Performance Studies of Fault-Tolerant Middleware
Understanding protein complexes by graph-theoretical analysis of their topology
Application of Machine Learning in Different Stages of Oil Reservoir Development
A Multimodal System for Automatic Player Tracking in Indoor Sports
Efficient Models and Learning Strategies for Resource-Constrained Systems
Design and implementation of hardware architectures for high-speed IP address lookup ; Yüksek hizli IP adres arama için donanim mimarilerinin tasarimi ve gerçeklenmesi
Entropy-regularized biased random walks on a graph: applications to network data analysis
Realistic Online Resource Management for Partially Reconfigurable Systems
Integrating community knowledge acquisition and data features analysis for recommending entity similarity functions
The iterative development and evaluation of the gamified stress management app "Stress-Mentor"
Learning Component Behavior from Tests : Theory and Algorithms for Automata with Data
Implementation of safe human robot collaboration for ultrasound guided radiation therapy
Foliated Transportation Networks - Evaluating feasibility and potential
Closing the Gap Between Classification and Retrieval Models
User-centered Programmatic Data Labeling
Coding and Maintenance Strategies for Cloud Storage: Correlated Failures, Mobility and Architecture Awareness
Analysis of power system disturbances due to relay hidden failures
Synergies between Policy Learning and Sampling-based Planning ; Synergier mellan policyinlärning och sampling-baserad planering
Mathematical Models and Methods for Behavior in Social Networks: Urban Crime, Self-Exciting Interactions, and Information Spread
Redundancy in the visual system
Dependency based risk analysis in Cyber-Physical Systems
Survival of the Fittest: On the Future of Web Applications Testing
Multi-modal Active Authentication of Smartphone Users
Social Intelligence for Cognitive Radios
Norms and Alternatives: Logical Aspects of Normative Reasoning
On Computation and Application of Optimal Transport
Big Data Analysis of Bacterial Inhibitors in Parallelized Cellomics - A Machine Learning Approach
Ressourceful Work for Well-Being: An Investigation of Sense of Coherence, Job Crafting and the Positive Power of Job Resources
Maker-Oriented Curriculum for Human-Centered Design and Prototyping Instruction
Exploring How Visualization Design Affects Perceived Message Credibility
Using Operational Patterns to Influence Attacker Decisions on a Contested Transportation Network
Authentication management for secure seamless mobility
Embodied Data Exploration in Immersive Environments: Application in Geophysical Data Analysis
From binary to analog fountain codes: design, theory, and applications
Advanced Interfaces for HMI in Hand Gesture Recognition
A Stator Turn Fault Detection Method and a Fault-Tolerant Operating Strategy for Interior PM Synchronous Motor Drives in Safety-Critical Applications
Deployment and configuration of component-based distributed, real-time and embedded systems
Semantic interoperability for 3D virtual commissioning applications
NOMAD - A Hybrid Mobile Ad Hoc and Disruption Tolerant Routing Protocol for Tactical Military Networks
Physiological information in near-infrared spectroscopy: From adults to infants
Kinematische Kalibrierung von Industrierobotern
Regulating human behavior with vibrotactile stimulation ; Ihmisen toiminnan sääteleminen värinäherätteiden avulla
Probabilistic models for aggregating crowdsourced annotations
Learning Visual Classifiers From Limited Labeled Images
Advanced RF Techniques For Wireless Sensor Networks: The Software-Defined Radio Approach
Human-in-the-loop Machine Learning System via Model Interpretability
Balance Problems for Integer Circuits and Separations of Relativized Conjectures on Incompleteness in Promise Classes (Balance-Probleme für Integer Circuits und Separierungen Relativierter Vermutungen über Unvollständigkeit in Promise-Klassen)
Human-AI Interaction in the Presence of Ambiguity: From Deliberation-based Labeling to Ambiguity-aware AI
L-identification for sources (L-Identifikation für Quellen)
Generation, Renderingand Animation of Polygon Tree Models
Multiple Kernel Learning for Gene Prioritization, Clustering, and Functional Enrichment Analysis
Automated Firmware Verification using Firmware-Hardware Interaction Patterns
Exploiting Structure in Backtracking Algorithms for Propositional and Probabilistic Reasoning
Development of Benchmarks and Algorithms for Realistic Arc Routing Problems
Semi-supervised and Active Image Clustering with Pairwise Constraints from Humans
Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning
Shape and Being Shaped: Sketching with Haptics in Soma Design
Transfer Learning in Natural Language Processing through Interactive Feedback
Document image retrieval with improvements in database quality
The ClockMe system: computer-assisted screening tool for dementia
Improved DSM Efficiency, Flexibility, and Correctness (Verbesserte Effizienz, Flexibilität, und Korrektheit von DSM Systeme)
Modeling Driver Behavior at Signalized Intersections: Decision Dynamics, Human Learning, and Safety Measures of Real-time Control Systems
Beliefs and learning in the laboratory: essays in experimental economics
Model-Based Approach for Diffuse Glioma Classification, Grading, and Patient Survival Prediction
Controllability of complex flow networks
Zoomorphic Design, Interchangeable Components, and Approximate Dissections: Three New Computational Tools for Open-Ended Geometric Design
Improving Internet Path Property Inference
Advancing the State of Auto-tuning with Programming Languages
Real-Time Application of Optimization-Enabled Electromagnetic Transient Simulation
Extremal Functions for Contractions of Graphs
Measuring complexity in automata networks: The effects of rule-space uniformity, connectivity and synchrony
Personalized recommendation: neural architectures and beyond
Variability Modeling in the Real: An Empirical Journey from Software Product Lines to Software Ecosystems
Exploring Quantum Speed-up Through Cluster-state Computers
On a Vehicle Routing Problem with Customer Costs and Multi Depots
Adaptive Multiprocessor Real-Time Systems
Occlusion-aware 3-D multiple object tracking for visual surveillance ; Görsel gözetleme amaçli kapanma gözeten 3 boyutlu çoklu nesne takibi
A Hybrid (Active-Passive) VANET Clustering Technique
Multi-skill resource-constrained project scheduling problems: models and algorithms
Erweiterung und Optimierung einer Kommunikationsplatform für PC-basierte Steuerungssysteme (Extension and optimisation of a communication platform for pc-based control systems)
Software and Hardware Techniques for Mitigating the Multicore Interference Problem
Root Cause Analysis Of Adverse Events Using A Human Reliability Analysis Approach
A convex relaxation approach to set-membership identification
Adaptively-secure Multiparty Non-interactive Key Exchange
Computational approaches to understanding the genetic architecture of complex traits
Perceptual Considerations for the Design and Display of Stereoscopic Imagery
A gas kinetic scheme approach for modeling and simulation of fire on massively parallel hardware (Ein Gas-Kinetic Scheme Ansatz zur Modellierung und Simulation von Feuer auf massiv paralleler Hardware)
Raspoređivanje kontekstno kategoriziranih usluga interneta stvari u okolini računarstva u magli ; Scheduling of contextually categorised internet of things services in fog computing environment
Mobility management in heterogeneous access networks
Algorithms for knowledge integration in biomedical sciences (Algorithmen zur Wissensintegration in biomedizinischen Wissenschaften)
A Decision Making Framework for Robot Companion Systems Usable by Non-Experts
Frank-Wolfe Methods for Optimization and Machine Learning
Multi-View Reconstruction and Camera Recovery using a Real or Virtual Reference Plane
Improving Structural Variant Annotation and Detection using High-throughput Sequencing Data
Statistical Network Analysis of High-Dimensional Neuroimaging Data With Complex Topological Structures
The Space Complexity of Distributed Tasks in the Shared Memory Model
Enhanced Password Security on Mobile Devices
Analysis and design of secure and privacy preserving systems
Prime Numbers and Polynomials
Efficient techniques for secure multiparty computation on mobile devices
Formations and Obstacle Avoidance in Mobile Robot Control
Efficient Subgraph Computing on Large-Scale Graphs
Metric identification in mixture IRT models
A Framework for Software System Handover
Enhancing Sensing and Channel Access in Cognitive Radio Networks
Planung und Unterstützung formverändernder Operationen in der kranio-fazialen Chirurgie auf Basis von Volumendaten
Objektivna mjera kvalitete zamućenih slika zasnovana na percepcijski bitnim značajkama u prostorno-frekvencijskoj domeni ; Objective quality metric for blurred images based on perceptually significant features in spatio-frequency domain
Learning Convolution Operators for Visual Tracking
Design and Management of Collaborative Intrusion Detection Networks
Topics in resource allocation in wireless sensor networks
Computer-aided Visualization of Colonoscopy
Limitations of Linear and Semidefinite Programs
Linkable Technical Documentation (Verlinkbare Technische Dokumentation)
Collective Multi-relational Network Mining
Lipid antigens in adipose tissue: A CD1d centered view on adipocyte - iNKT cell communication
Gene fusion discovery through RNA-seq and inversion detection via optical mapping
Simulation, Representation, and Automation: Human-Centered Artificial Intelligence for Augmenting Visualization Design
Designing Protein Energy Landscapes With Coarse-Grained Sequence-Energy Mappings
Parallelization of dynamic algorithms for electronic structure calculations
Brokering techniques for managing three-tier applications in distributed cloud computing environments
Software Defined Radio Solutions for Wireless Communications Systems
Towards Generalized and Scalable Machine Learning on Structured Data
Developing Molecular Tools for Interrogating a Vocal Learning Avian Species
On the Design and Security of Post-Quantum Aggregate Signatures
CONSCIOUS - cognitive neuroscience and psychology during process model comprehension
Assessing and Improving Industrial Software Processes
Advances in Stochastic Geometry for Cellular Networks
Mehrsprachige Praktiken beim Lernen im Tandem:eine empirische Untersuchung zu deutsch-finnischen Tandemgesprächen
A Validity-Based Approach for Feature Selection in Intrusion Detection Systems
Novel Analysis of the Branch-and-Bound Method for Integer Programming
Algorithms and dynamical models for communities and reputation in social networks
Predviđanje uporabe resursa u sustavima temeljenim na programskim komponentama ; Resource usage prediction in component-based software systems
Efficient Active Quickest Detection for Streaming Data under Sampling Control
Effective and scalable botnet detection in network traffic
The Air Cargo Load Planning Problem
Advanced receiver structures for mobile MIMO multicarrier communication systems
Event-Level Pattern Discovery for Large Mixed-Mode Database
Cophylogenetic analysis of dated trees
Applying inter-layer conflict resolution to hybrid robot control architectures
Multi-Target Tracking with Probabilistic Graphical Models
Special Linear Systems on Curves and Algorithmic Applications
Structural Kernels and Neural Network Models for Question Answering Systems
A method for comparing heuristics with applications in computational design of flexible systems
Public Health Informatics - Strategy and Decision Modeling
Environment modeling for automated driving using grid-based and object-based representations
Key Management: Towards the design of efficient, lightweight schemes for secure group communications in large mobile ad hoc networks
Grasp and manipulation of objects with a multi-fingered hand in unstructured environments
Secure management architecture for the internet of things
Algorithmic Aspects of Some Problems in Computational Biology
The Implementation and Integration of the Interactive Markup Language to the Distributed Component Object Model Protocol in the Application of Distributed File System Security
Neural Fuzzy Techniques In Vehicle Acoustic Signal Classification
Motion Deblurring from a Single Image
Webanwendungsentwicklung mit XML-Techniken
Transient reduced-order convective heat transfer modeling for a data center
Tailoring Actuation Properties of Thermoresponsive Hydrogels and Implementation into Soft Robotic Applications
Gossip-based publish-subscribe systems in peer-to-peer networks
The effect of Playing a Science Center-based Mobile Game: Affective Outcomes and Gender differences
Multi-Agent Spatial Coordination via Time-variations in Coverage control
Reliability analysis of multi-sensors integrated navigation systems
A cross-device pattern-based approach for designing multiple user interfaces to information systems
A Fuzzy logic based ensemble adaptive tile prefetching ; Coğrafi veriler için bulanık mantık ile ön yükleme yaklaşımı
Usable Security Evaluation of EasyVote in the Context of Complex Elections
Discovering meta-paths in large knowledge bases
Efficient multichannel image partitioning: theory and application
Development of an Integrated Ride-Shared Mobility-on-demand (mod) and Public Transit System
Branched Covers and Braided Embeddings
Equivalences on Phase Type Processes
Statistical Analysis of Geolocation Fundamentals Using Stochastic Geometry
System-Level Analysis of Blockage Dynamics in Millimeter-Wave Communications
Sparse Representations and Feature Learning for Image Set Classification and Correspondence Estimation
Developing Quantitative Models in Analyzing High-throughput Sequencing Data
Lokalradio och kommersiell radio 1975-2010: En mediehistorisk studie av produktion och konkurrens ; Local radio and commercial radio 1975-2010: A media historical study of production and competition
Ein mechanisches Finite-Elemente-Modell des menschlichen Kopfes
Toward Grounded Spatio-Temporal Reasoning
Multimodal Analytics for Healthcare
Reuse Distance Analysis for Large-Scale Chip Multiprocessors
Computer vision in the space of light rays: plenoptic videogeometry and polydioptric camera design
Sparsity-Aware Hardware-Software Co-design of Spiking Neural Network Accelerators
A Systems Biological Approach to Parkinson's Disease
Decentralized coordination: methods and applications
Theoretical and experimental study on high spectral efficiency coherent optical OFDM systems
Wearable barcode scanning: Advancements in visual code localization, motion blur compensation, and gesture control: Advancements in visual code localization, motion blur compensation, and gesture control
Herausforderungen der IT-Unterstützung von Verwaltungsprozessen und Drittmittelprojektmanagement an deutschen Hochschulen
Customizing Cyberspace: Methods for User Representation and Prediction
Statistical and geometric methods for shape-driven segmentation and tracking
Algorithms for classification of combinatorial objects
Domain Adaptation and Domain Generalization with Representation Learning
Auditory-model-based assessment of the effect of head-worn devices on sound localisation
Modeling and solving decentralized supply chain management problems using multi-agent system with dynamic-control agents
Local Complexity: New Results and Bridges to Other Fields
A Computational Framework for Mineralogical Thermodynamics of the Earth's Mantle
M*Ctree: A Multi-Resolution Indexing Structure for XML Data
Strategic System Landscape Engineering für kleine und mittlere Unternehmen
Izračunljivost skupova s nepovezanim komplementima ; Computability of sets with disconnected complements
Characterization and Classification of Faces across Age Progression
Flexibility in Real-time Networks: Analytical Approaches for Adapting Time-Sensitive Networks to Dynamic Traffic Requirements
Use of data mining and artificial intelligence to derive public health evidence from large datasets
Reducing Software's Attack surface with Code Debloating
Automatické ladění vah pravidlových bází znalostí ; Automated Weight Tuning for Rule-Based Knowledge Bases
Topology simplification algorithm for the segmentation of medical scans / Algorithme de simplification topologique pour la segmentation d'images mÃ©dicales volumÃ©triques
Super-resolution image reconstruction using non-linear filtering techniques
Reducing the Latency of Dependent Operations in Large-Scale Geo-Distributed Systems
Trivariate C1-Splines auf gleichmäßigen Partitionen
Implementation of Demand Response Programs in Intelligent Energy Management Systems Based on Distributed Control System
Scalable Reasoning for Knowledge Bases Subject to Changes
Algorithmen zur exakten Planung kollisionsfreier Bewegungen fuer Objekte mit vier Freiheitsgraden
Model Based Development of Embedded Systems using Logical Clock Constraints and Timed Automata
Expected Complexity and Gradients of Deep Maxout Neural Networks and Implications to Parameter Initialization
The design, analysis and implementation of a fully distributed local area network for integrated voice and data communications
Transformer Models for Machine Translation and Streaming Automatic Speech Recognition
Efficient Multigrid Methods based on Improved Coarse Grid Correction Techniques
Neural Networks for Relational Data (Neurale netwerken voor relationele gegevens)
Distributed attacks detection and mitigation for the Internet of Things
Adaptive combinations of classifiers with application to on-line handwritten character recognition
Classification and Compression of Multi-Resolution Vectors: A Tree Structured Vector Quantizer Approach
Column subset selection with applications to neuroimaging data
Approaches to High Speed Networks
Quantizations of Kähler metrics on blow-ups
Integrated personnel planning
A multi-fidelity analysis selection method using a constrained discrete optimization formulation
Distributed modeling and control of nonlinear systems with applications in robotics: a fuzzy logic-based switching approach
Managing Emerging Technologies - A Socio-Technical Analysis of Opportunities and Tensions for Incumbents
Learning Clothed 3D Human Models with Articulated Neural Implicit Representations
Differential attacks using alternative operations and block cipher design
3D Motion Analysis via Energy Minimization
Relay-Aided Communication in Large Interference Limited Wireless Networks
Power Scheduling for Multi-Hop Wireless Networks
Resource Allocation for Vehicular Communications
Development of tools for assisting structural bioinformatics
Combinatorial Algorithms with Applications in Learning Graphical Models
Social Media Time Series Forecasting and User-Level Activity Prediction with Gradient Boosting, Deep Learning, and Data Augmentation
Inconsistency management for description logics
Novel Statistical Methods for Modeling brain and other Dense, Weighted Networks
An Evaluation of Hybrid variational-Ensemble Data Assimilation for the NCEP GFS
Global Optimization Using Piecewise Linear Approximation