yusuke1997/dblp-id-title huggingface dataset:
Upper and Lower Complexity Bounds for Some Problems in Elementary Geometry
Foundations of XML: Regular Expressions Revisited
Managing and Enforcing Privacy-aware Policies in IT Systems
A systematic multi-layered approach for optimizing and parallelizing real-time media and audio applications
A logic for KARO agents(?)
Change-based software engineering : using reified changes for test selection and refactoring reconstruction
Logical Analysis of Input and Output Sensitivity in the Logic of Information Flows
Symbolic Methods for Exploring Infinite State Spaces
Compression Techniques for Massive Point Set Surfaces, with Application to Ray Tracing
Assessing and improving security and privacy for smartphone users
Active Network Management for Electrical Distribution Systems
Exploiting Context-awareness and Social Interaction to Provide Help in Large-scale Environments
Representations and Algorithms for Interactive Relighting
Een 2.5D Modelleer- en Animatieraamwerk ter Ondersteuning van Computer Geassisteerde Traditionele Animatie
Testing Theories of Choice Behaviour
Multi-technology management of heterogeneous wireless networks
A smart Meta-CASE: towards an integrated solution
Realistic methods for simulating radio propagation
Molecular structure mining
Implementation and evaluation of timeliness in wireless networks : to be or not to be - on time
HeartHab: From Persuasion to Self-management in Cardiac Tele-rehabilitation
Novel Methods for the Detection of Functional Brain Activity using 17O MRI
Architecting software systems using model transformations and architectural frameworks
A Combining Approach to Cover Song Identification
Contributions to Deep Transfer Learning: from Supervised to Reinforcement Learning
Analysis of load balancing and scheduling policies in large-scale systems
The Variability of Location Context in Pervasive Environments: Modelling, Representation and Visualisation
Sémantique des systèmes de contrôle d'accès:Définition d'un cadre sémantique pour la spécification, l'implantation et la comparaison de modèles de contrôle d'accès
Requirement Identification by Threat Analysis
Model-Based Development of Context-Aware Interactive Applications in Ambient-Intelligence Environments
Evolution d'applications de bases de données relationnelles
Improving Overlay Routing scalability using an Internet Coordinate System
Query approximation techniques dor data analytics
A distributed collaborative model editing framework for domain specific modeling languages
Model driven scheduling for virtualized workloads
Introducing biological neuronal dynamics and neuromodulation in artificial neural networks
On the Verification of Programs on Relaxed Memory Models
Interplays of sure, almost-sure, and thresholds parity objectives on Markov decision processes
Tool Support for Designing, Managing and Optimizing Multi-Device User Interfaces
Improving bug triaging using machine learning techniques
Methods for Improving QoS-driven Management of Web Services and their Services and their Service Level Agreements
Machine learning for decision support in adaptive immunology
Inductive Bias In Deep Probabilistic Modelling
Enhancements of the IEEE 802.11 medium access control protocol and power control for mobile ad hoc LANs
Cohesive pattern mining in graphs
The problem of tuning metaheuristics: as seen from the machine learning perspective
Discovering structure in semi-structured data
Systèmes de numération abstraits et combinatoire des mots (habilitation à diriger des recherches)
Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks
An Extensible Simulation Framework Supporting Physically-based Interactive Painting
Constraint Enforcement on Decision Trees and its Application to Global Explainability
Interactieve visuele en grafische programmeeromgevingen binnen het drie-dimensionale computeranimatiedomein
QAMML: probability distributions for functional data
Extensions of the optimized link-state routing protocol for quality-of-service and multi-level routing
Contributions to decision tree induction: bias/variance tradeoff and time series classification
Channel allocation and interface binding in wireless mesh networks
Uncertainty of localization using electromagnetic fingerprints
Reusable frameworks for decision support systems development
A multi-paradigm modelling approach to design and evolution of domain-specific modelling languages
SABA: vers un système portable d'analyse du français écrit
Classification automatique d'images par arbres de d'ecision
Contribution to the study of neural networks in dynamical expert systems
New trends in the design and analysis of random access algorithms
Performance modeling and analysis of mobile IP handover schemes
Logics, Automata and Classical Theories for Deciding Real Time
Advanced relighting algorithms for post-production
Natural Language Processing Meets Business - Algorithms for Mining Meaning from Corporate Texts
Dynamic Interactions for Networked Virtual Environments
New techniques for subdivision modelling
Machine learning-based hybrid worst-case resource analysis for embedded software and neural networks
A foundation for multi-paradigm modelling
Network-aware resource allocation algorithms for service orchestration in heterogeneous cloud environments
Communicatieaspecten van gedistribueerde virtuele omgevingen
The semijoin algebra
A study of global illumination models and their use in a transputer based parallel system
Integration of Constraints into Dimensionality Reduction Methods for Visualization
Design, verification and deployment of software-intensive systems : a multi-paradigm modelling approach
Machine Learning Solution Methods for Multistage Stochastic Programming
Interprétation abstraite des programmes Prolog
Test dirigé par les modèles comportementaux de lignes de produits logiciels
Low level vision features for enhancing images and videos
Integrated Simulation and Reduced-Order Modeling of Controlled Flexible Multibody Systems
From Statistical to Biological Interactions towards an omics-integrated MB-MDR framework
Biological data mining : from interestingness measure to deep learning
Improving scalability of large scale agent-based simulations
Summarizing data with infromative patterns
Identifying dynamic sparse interaction networks
Techniques and Artefacts for Documenting Design Rationale Among Multidisciplinary Design Teams
Designing for intelligibility and control in ubiquitous computing environments
Applying machine learning in business process monitoring
Modèle, principes et outils pour un infomédiaire au service du contrôle téléonomique de l'information des internautes
Surrogate modelling of computer experiments with sequential experimental design
Genetic algorithms for the non-parametric inversion of gravitational lenses
Multi-Camera Computational Video Architecture
Incertitudes liées à la modélisation agro-environnementale en vue de développer des outils d'aide à la décision
A methodology for logic program construction
Energy-efficient positioning for the Internet of Things
Offline Policy-search in Bayesian Reinforcement Learning
Cost-aware resource management in clusters and clouds
The algorithm-to-algebra method applied to route aggregation: a tale of roadsigns
Calibration and View Interpolation for Light Field Displays
Acquiring the World through Photographs
Modelling and model checking variability-intensive systems
Towards an improved understanding of rare variants in Mycobacterium tuberculosis candidate resistance genes
Database engineering process modelling
Évaluer la compréhension en informatique à partir des représentations erronées
High quality linked data generation from heterogeneous data
Exceptions in Algebraic Specifications
Enabling interoperability between MAC-heterogeneous sensor networks
Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach
Development and Deployment of Interactive Pervasive Applications for Ambient Intelligent Environments
Cohesive pattern mining in sequential and spatial data
A foundation for inconsistency management in model-based systems engineering
Pattern Recognition in NeuroImaging: What can machine learning classifiers bring to the analysis of functional brain imaging?
Topics in Data Mining: Pattern Enumeration, XML Key Inference and Big Data Query Optimization
Temporal dynamics in online recommender systems
Routing for emergency and messaging applications in vehicular ad-hoc networks
Probabilistic Models of Visual Appearance For Object Identity, Class, and Pose Inference
Intelligibility and Control for Context-Aware Internet of Things Applications
Near Optimal Closed-Loop Control. Application to Electric Power Systems
Intelligent Visual Supercomputing on Hybrid Graphical Multiprocessor Environments
Building energy efficient IoT applications using low power wide area networks
Efficient Multi-Level Measurements and Modeling of Computer Networks
Bio-inspired in-air sonar localization: what artificial pinnae do for robotic bats
Dataflows and Provenance: From Nested Relational Calculus to the Open Provenance Model
Sustaining the Quality of Web services
Des Multiplicités dans les Langages de Coordination
Formal Domain Engineering: From Specification to Validation
Genomic adaptation of Salmonella to antimicrobials and the human host
Analyzing, Understanding and Supporting the Evolution of Dynamic and Heterogeneous Data-Intensive Software Systems
Genomic Association Screening Methodology for High-Dimensional and Complex Data Structures: Detecting n-Order Interactions
Computational methods for whole genome sequence guided individualized treatment of drug resistant tuberculosis
Uncertainty management in trajectory databases
De evolutie naar desktop grids, problemen en oplossingen
Video rate adaptation based on QoS and QoE information in wireless access networks
Superposition of Markovian traffic sources and frame aware buffer acceptance
Searching for patterns in long sequences
Perceptual Decolorization and Dehazing of Images and Videos
Reverse engineering: user-drawn form-based interfaces for interactive database conceptual analysis: the rainbow approach
Static analysis of XML transformation and schema languages
Architecture cloud distribuée orientée services, dédiée à l'Internet des objets
Collaborative filtering with binary, positive-only data
Characterizing and Modeling of Transport-Based Middleboxes
Aligning Access Rights to Governance Needs with the Responsability MetaModel (ReMMo) in the Frame of Enterprise Architecture
New approaches in the modeling of subdivision surfaces
Design and performance analysis of scheduling algorithms for cable and optical access networks
Uplink Radio Resource Management for QoS Provisioning in Long Term Evolution - with Emphasis on Admission Control and Handover
Steering mobile users in LTE networks based on their mobility behaviour
Enhancing Web 2.0 Usability: Handling the Local Contexts of Web Users
Touch-based Interaction and Collaboration in Walk-up-and-use and Multi-user Environments
Heterogeneity between networks in systems biomedicine: detection and remediation
Etude du classement par forêts aléatoires d'échantillons perturbés à forte structure d'interaction
SOA Method Engineering Framework for process-oriented and model-driven SOA implementation with underlying models of abstraction
Performance analysis of optical fibre delay line buffers and DOCSIS cable modem networks
Middleware-based adaptation evolution with reusable adaptation components
Towards scalable end-to-end programmable industrial Internet of Things
Intelligent analysis and data mining of spectral data in proteomics ans metabolomics
Interpretability and Explainability in Machine Learning and their Application to Nonlinear Dimensionality Reduction
Orchestrating 5G edges : collaborative and distributed management and orchestration of open programmable and virtualized edge networks
Function follows form: analysis and applications of biological and bio-inspired array sensors
Service Quality Improvement and User Experience Optimization by Introducing Intelligence in the Network
Scalable multi-query optimization over federated scientific databases
Enabling bidirectional communication on batteryless devices for sustainable IoT
Performance evaluation of contention resolution algorithms in random access systems
Enabling Empathic Communication in Ubiquitous Computing Environments to Improve Interaction between People
On Tarski's Relation Algebra: Querying trees and chains, and the semi-join algebra
Logic-based query languages for the linear constraint database model
Techniques de visualisation d'information pour l'analyse de situations coopératives
Design and Implementation of a Distributed Lattice Boltzmann-based Fluid Flow Simulation Tool
Performance and scalability of parallel and distributed discrete-event simulations with conservative time synchronization
Reliable and energy efficient protocols for wireless body area networks
Mobile Structured Light: Reconstruction using a Signal Processing Approach
Enhancing quality of service delivery with software-defined network slicing in IEEE 802.11 networks
Mobility schemes for future networks based on the IMS
An Experimental Perspective on Factors Influencing Collaborative User Experience in Virtual Environments and Games
Unravelling the determinants of molecular host-pathogen interactions with machine learning
Qualitative similarity measures and map matching techniques for trajectory data
Reverse Engineering Web Configurators
Load balancing in large distributed networks
Animating Albert II Specifications
DNA and Databases: The Sticker Complex Model
Adaptive management of Wi-Fi networks in dynamic and heterogeneous environments
Nouvelle perception de la spatialité des objets et de leurs relations. Développement d'une modélisation tridimensionnelle de l'information spatiale
Adaptive service orchestration in ambient assisted living
Debugging Modern Web Protocols
Message Passing Computational Methods with Pharmacometrics Applications
Property preservation in co-simulation
The Smart Point Cloud: Structuring 3D intelligent point data
Mining patterns in dirty data for detecting and correcting inconsistencies
Learning and verifying temporal specifications for cyber-physical systems
Queueing with flexible and heterogeneous servers
Statistical segmentation for computer graphics
Toward zero-touch test amplification
High-Level User Interface Models for Model-Driven Design of Context-Sensitive User Interfaces
Scalable Low-Power Wi-Fi for the Internet of Things
Multimodal selection in virtual environments: Enhancing the user experience and facilitating development
Contributions to deep reinforcement learning and its applications in smartgrids
Application des Machines à Etats Finis en Synthèse de la Parole:Sélection d'unités non uniformes et Correction orthographique
Data integration for clinical coding algorithms
Trimming the complexity of Ranking by Pairwise Comparison
Mesostructure Acquisition With Planar Illuminants
Towards putting abstract interpretation of prolog into practice: design, implementation, and evaluation of a tool to verify and optimise prolog programs
A Geometric Optics Approach to Simulating Light Wave Phenomena in Computer Graphics
Analysis of large scale randomized load balancing policies
Well-definedness, semantic type-checking and type inference for database query languages
Components matter: considering compositionality for visual representations
Towards an energy-efficient, responsive and reliable industrial internet of things
Economic grid resource management using spot and future markets
A walk into random forests: adaptation and application to Genome-Wide Association Studies
Voting-based approximation of dependability attributes and its application to redundancy schemata in distributed computing environments
A model-driven toolchain for software parallelization
Theoretical and practical aspects of ant colony optimization
Efficient frequent pattern mining
Datamining in endocrinology
Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces
Explicit and Implicit Information Leakage in Wireless Communication
Building a tested emulating cellular networks: design, implementation, cross-validation and exploitation of a real-time framework to evaluate QoS and QoE in the UTRAN
Angle of arrival estimation for low power and long range communication networks
Sharing is caring: a machine-learning based management framework for efficient spectrum collaboration
Goal-Oriented Requirements Engineering for Business Processes
Optimising and assessing the effectiveness of spectrum based fault localisation
L'identité à travers l'espace et le temps. Vers une définition de l'identité et des relations spatio-temporelles entre objets géographiques
Analysis-based resolution support for inconsistencies in UML models
Frequent pattern discovery for inegrated omics data
A multi-paradigm modelling approach for engineering model debugging environments
Revealing and Characterizing MPLS Networks
Development of an indoor air quality index for heritage conservation: an exploratory study
Guiding Agile Methods Customization:the AMQuICk Framework
Quality of feature diagram languages: formal evaluation and comparison
Improvement of the ChIP-seq technique for histone posttranslational modifications through enhanced laboratory protocols and data processing methods
Joint communication and localization for connected vehicles
On the sets of real vectors recognized by finite automata in multiple bases
Mining Correlated Motif Pairs from Protein-Protein Interaction Networks
Hybrid timing analysis based on a block-isolation technique
Microgrid management with weather-based forecasting of energy generation, consumption and prices
Optimising mobile IP handovers in IEEE 802.11 networks using cross-layer techniques
On the introduction of time in coordination languages: semantic, expressiveness and programming methodologies
Machine learning-based feature ranking: Statistical interpretation and gene network inference
Automatic Assessment Providing Feedback of Programs based upon Graphical Loop Invariants and its Integration in a CS1 Course
Computational solutions for quality control of mass spectrometry-based proteomics
Legacy database federation: a combined forward-reverse approach
Exploring Mobile Interactive Applications to Increase Patient Motivation in Rehabilitation
Network Programming with SRv6
De la génération automatique, basée sur les contraintes, de cas de test pour Mercury et son application aux langages impératifs
Citizen Participation in Smart Cities: Facilitating Access through Awareness, Open Government Data, and Public Displays
dSL, a Language and Environment for the Design of Distributed Industrial Controllers
Real-Time View Interpolation for Eye Gaze Corrected Video Conferencing
Mutation testing: from theory to practice
La théorie du chaos et de la géométrie fractale: application à l'analyse du rythme cardiaque
Supporting a model-driven and iterative quality assessment methodology: The MoCQA framework
Quality of packet services in UMTS and heterogeneous networks
Citizen Participation in e-Government: Management Tools Development
Methodology for automating web usability and accessibility evaluation by guideline
Test code: a new frontier in code cloning research
Addressing data scarcity with deep transfer learning and self-training in digital pathology
Un Cadre Formel pour la Modélisation Hétérogène et la Vérification Compositionnelle des Systèmes Avioniques Modulaires Intégrés
Performance modeling : structured Markov chains, optical grids and switches
End-User Control over Physical User-Interfaces: From Digital Fabrication to Real-Time Adaptability
Real-time Simultaneous Modelling and Tracking of Articulated Objects
A transformational method for functional prototyping
Protein Structural Annotation: Multi-Task Learning and Feature Selection
Localization with low power wide area networks
A goal-driven project management framework for multi-agent software development : the case of I-tropos
Evaluation of a strict priority scheduler, and cross-layer resource allocation
Un traitement algébrique de l'interactions de services(?)
Contributions to Monte Carlo Search
Systematic Cooperation in P2P Grids
Supervised machine learning under constraints
Systems of Logic Based on Ordinals
Advanced techniques in microwave power amplification
Vandermonde systems
Enhancing data privacy and security related process through machine learning
Network-on-Chip-based Multi-Processor System-on-Chip: Towards Mixed-Criticality System Certification
Computational Analysis of Biological networks
Modeling and Simulation for Signal and Power Integrity of Next-Generation High-Speed Physical Layers
High-resolution direct-written field-effect transistors for high frequency applications
Learning in non-stationary environments: from a specific application to more general algorithms
Analysis of electro-thermal effects in semiconductor devices
Scalable Processing and Mining of Big Mobility Data
Achieving secure service provision in nomadic computing systems
Eye controlled semi-Robotic Wheelchair for quadriplegic users embedding Mixed Reality tools
Deployment and Management of Fog Applications
Semantic annotation of business process models
Workflow performance evaluation
Forensic speaker recognition: speaker and height estimation techniques
Models and theories of pure and resource lambda calculi
Navigation strategies for exploration and patrolling with autonomous mobile robots
Modeling of statistical variability in nanoscale charge-trap flash memories
Motion Planning and Control of Dynamic Humanoid Locomotion
Wireless ad hoc network protocols
A comprehensive framework for brain function investigation through quantitative EEG
Data-driven techniques for knowledge discovery in regulomics
Sviluppo ed applicazione di un sistema range-Doppler ad ultrasuoni
Computational and Theoretical Issues of Multiparameter Persistent Homology for Data Analysis
Multi-graph structures as frameworks for distributed and concurrent systems
Computational models of the hemodynamics in stage 1 palliations for the treatment of single ventricle diseases
CASCADE - A framework for modeling fluvial sediment connectivity and its application for drsigning low impact hydropower portfolios
Protein Interaction Networks: from construction methods to the development of a novel algorithm for functional module identification
Innovative techniques for biomechanical evaluation of stroke survivors
Analisi bioinformatica dell'espressione genica in muscolo scheletrico umano
UWB Analog Multiplier in 90nm CMOS SoC Pulse Radar Sensor for Biomedical Applications
An Organizational Approach to the Polysemy Problem in WordNet
Modelli e metodologie di progettazione di circuiti integrati a microonde per applicazioni innovative in campo spaziale
Interval web caching
Decomposition methods for quadratic zero-one programming
Distributional Models of Emotions for Sentiment Analysis in Social Media
Dynamic interaction spaces and situated multi-agent systems
Design and implementation of wireless sensors and applications for the Internet of Things
Una metodologia ed un framework per lo sviluppo di enterprise rich internet applications
Data transmission and analysis over Hybrid Wireless/Narrowband-Powerline Communication (WiNPLC)
Inferring Genomic Variants and their Evolution: Combinatorial Optimization for Haplotype Assembly and Quantification of Intra-Tumor Heterogeneity
Analysis and control of mechatronic actuation systems in industrial applications
A holistic approach to designing and evaluating e-learning quality
Adaptive wavelet based algorithms for biomedical and numerical applications
Signal processing techniques applied to automatic music transcription
Design and development of innovative electronic systems for automative
Models and languages for global computing transactions
A set-based approach to deal with hierarchical structures
Design and Control of Compliant Actuation Topologies for Energy-Efficient Articulated Robots
User interfaces for mobile devices: techniques and case studies
Innovative Electromagnetic Field Manipulating Devices Based on Transformation Electromagnetics
Knowledge sharing in the semantic web