yusuke1997/dblp-id-title huggingface dataset:
Precise abstract interpretation of hardware designs
An open parallel architecture for data-intensive applications
Verification of pointer-based programs with partial information
Advances in latent variable and causal models
An investigation into program comprehensibility measures
Stochastic control approach to the multi-armed bandit problems
Making FACES : The Facial Animation, Construction and Editing System
Automatic transformation systems based on function-level reasoning
Energy-efficient delay-tolerant cognitive radio networks
Learning deep representations for robotics applications
Reinforcement learning for the control of large-scale systems
Monitoring and control of biological textile wastewater treatment using artificial neural networks
Train unit scheduling optimization with station level resolution
Some aspects of the manager-computer interface in financial planning
Detecting adverse drug reactions in the general practice healthcare database
Studies of program test coverage criteria and the development of an automated support system
Learning in a state of confusion : employing active perception and reinforcement learning in partially observable worlds
Piecewise-linear manifold learning
Motion tracking in low resolution imagery
Towards human-centered artificial intelligence : learning from demonstration and meta-learning for model adaptation
Modelling linear systems for multivariate control
Network modelling
Pattern formations with discrete waves and broadcasting sequences
Information-selectivity of Alzheimer's disease progression
Servomechanism and Feedback System Testing : Minimum Checkout Time in Frequency Domain Testing Via Correlation
A comparative study of the performance of concurrency control algorithms in a centralised database
Mapping relational databases to semantic web using domain-specific knowledge
Biological applications, visualizations, and extensions of the long short-term memory network
Congestion problems in computing systems
Physical layer security for IoT applications
Awareness support for learning designers in collaborative authoring for adaptive learning
The pragmatics of closure reduction
Towards lightweight, low-latency network function virtualisation at the network edge
Fostering computational thinking skills with tangible user interfaces
Strategies for the execution of long-term continuous and simultaneous tasks in grids
The analysis and enhancement of web caches
In search of paradigms in multimedia systems design : an analysis of software engineering and graphic design approaches using the Kuhnian model
Intelligibility enhancement of synthetic speech in noise
Semantic theories for concurrent ML
Groups, formal language theory and decidability
An approach to self-organizing data base systems
Extensible virtual machines
Combinatorial optimisation for arterial image segmentation
Model transformation for multi-objective architecture optimisation for dependable systems
Creation and control of entanglement in condensed matter spin systems
Applications of single-pixel imaging
Assisting the software reuse process through classification and retrieval of software models
Blockiness and blurriness measurement for video quality assessment
Learning versatile decision trees: towards context-awareness and multi-label classification
A knowledge acquisition tool to assist case authoring from texts
Distributed infrastructuring and innovation : an ethnographic enquiry into collaborative modes of work in an Internet of Things ecosystem
Computational recovery of enzyme haplotypes from a metagenome
On the Impact of Energy Harvesting on Wireless Sensor Network Security
Design of Mixed-Criticality Applications on Distributed Real-Time Systems
Interior Point Methods on GPU with application to Model Predictive Control
Dynamic Asset Allocation - Identifying Regime Shifts in Financial Time Series to Build Robust Portfolios
Graph Decompositions
Modeling Structural Brain Connectivity
Analysis of Security Protocols in Embedded Systems
Probabilistic Approaches to Energy Systems
Design and analysis of cryptographic algorithms
Visual Human-Computer Interaction
Reconfiguration of Computation and Communication Resources in Multi-Core Real-Time Embedded Systems
An Investigation of Methods for CT Synthesis in MR-only Radiotherapy
Formal Development and Verification of Railway Control Systems - In the context of ERTMS/ETCS Level 2
Algorithms for Source Separation - with Cocktail Party Applications
Monitoring and modelling of behavioural changes using smartphone and wearable sensing
Systems for Personalization of Hearing Instruments:A Machine Learning Approach
Model Manipulation for End-User Modelers
Algorithms and data structures for grammar-compressed strings
Estimating and Simulating Structure and Motion
Optimal Control of PDE-constrained Systems
Algorithms for Electromagnetic Scattering Analysis of Electrically Large Structures
Medium Access Control in Energy Harvesting - Wireless Sensor Networks
Probabilistic models for structured sparsity
Uncertainty Quantification with Applications to Engineering Problems
An Adaptive Middleware for Improved Computational Performance
Modelling and Analysing Access Control Policies in XACML 3.0
Quantitative assessment of course evaluations
Formal Analysis of Graphical Security Models
Specification, Verification and Optimisation of Business Processes:A Unified Framework
Image Analysis for X-ray Imaging of Food
Statistical Image Analysis of Tomograms with Application to Fibre Geometry Characterisation
Data Analysis of Medical Images: CT, MRI, Phase Contrast X-ray and PET
Enhanced Subsea Acoustically Aided Inertial Navigation
Mobile location services for the next generation wireless network
Algorithms and Methods for High-Performance Model Predictive Control
Effective connectivity and gamma oscillations in a group at risk of psychosis
An Adaptive Model-Based Approach to Personalized Basal Insulin Initiation in Type 2 Diabetes
Analysis of Ant Colony Optimization and Population-Based Evolutionary Algorithms on Dynamic Problems
Iterative Reconstruction Methods for Inverse Problems in Tomography with Hybrid Data
Modelling Socio-Technical Aspects of Organisational Security
Statistical Models for Wifi Data and Educational Peer Review
Detection of Weather Radar Clutter
Real Time Structured Light and Applications
Computational aspects of electronic transport in nanoscale devices
Computational Modeling of Medical Images of Brain Tumor Patients for Optimized Radiation Therapy Planning
Decision Support for the Rolling Stock Dispatcher
Designing Scientific Software for Heterogeneous Computing:With application to large-scale water wave simulations
Topology of streamlines and vorticity contours for two - dimensional flows
Decomposition and classification of electroencephalography data
Broadband optical characterization of material properties
Modelling of the Human Inner Ear Anatomy and Variability for Cochlear Implant Applications
Matching and Compression of Strings with Automata and Word Packing
Numerical Modeling of Microelectrochemical Systems
Light, Matter, and Geometry:The Cornerstones of Appearance Modelling
Bayesian Modelling of Functional Whole Brain Connectivity
The Impact of Parametrization on Randomized Search Heuristics
Nonlinear Model Predictive Control for Oil Reservoirs
Epistemic and Doxastic Planning
Performance Aspects of Synthesizable Computing Systems
A Machine Learning Approach to Treatment Improvement in Type 2 Diabetes using Glucose Data
2D Static Light Scattering for Dairy Based Applications
Optimization on Spaces of Curves
Analysis of Security Protocols by Annotations
Interactive Topology Optimization
Language Based Techniques for Systems Biology
Applied 3D Vision - An Empirical Study
Image Registration and Optimization in the Virtual Slaughterhouse
Tomographic Image Reconstruction Using Training Images with Matrix and Tensor Formulations
Inverse Optimization and Forecasting Techniques Applied to Decision-making in Electricity Markets
Rationalization in architecture with surfaces foliated by elastic curves
Compilation and Synthesis for Fault-Tolerant Digital Microfluidic Biochips
EEG Based Inference of Spatio-Temporal Brain Dynamics
Individualized directional microphone optimization in hearing aids based on reconstructing the 3D geometry of the head and ear from 2D images
Time-predictable Stack Caching
Economic Model Predictive Control for Spray Drying Plants
Enhancing Security and Privacy in Video Surveillance through Role-Oriented Access Control Mechanism
Game-based verification and synthesis
Modeling Temporal Dynamics in Functional Brain Connectivity
Image reconstruction under non-Gaussian noise
Design and Implementation of Energy Harvesting Powered Wireless Sensor Networks
System-Level Design Methodologies for Networked Multiprocessor Systems-on-Chip
Convolutional Neural Networks - Generalizability and Interpretations
Model predictive control for systems described by stochastic differential equations
Probabilistic Forecasting for On-line Operation of Urban Drainage Systems
Interpretation of images from intensity, texture and geometry
Markovian Building Blocks for Individual-Based Modelling
Correlations Aplenty - Linear Cryptanalysis of Block Ciphers
Design and Analysis of Symmetric Primitives
Multivariate Analysis Techniques for Optimal Vision System Design
User involvement in the innovation process: In a mobile service and application development perspective
Mobile Phones as Cognitive Systems
Aspects of the Tutte polynomial
Enhancing User Experience in Next Generation Mobile Devices Using Eye Tracking as a Biometric Sensor
Linear mixed models in sensometrics
Programming Models and Tools for Intelligent Embedded Systems
Deep Latent Variable Models for Sequential Data
Development and Application of Tools for MRI Analysis - A Study on the Effects of Exercise in Patients with Alzheimer's Disease and Generative Models for Bias Field Correction in MR Brain Imaging
Analysis of Craniofacial Images using Computational Atlases and Deformation Fields
Influence of Maturation, Pathology and Functional Lateralization on 3D Sulcal Morphology using MRI
Efficient Unbiased Rendering using Enlightened Local Path Sampling
Three Dimensional Measurements in Medical Data
Generative Temporal Modelling of Neuroimaging - Decomposition and Nonparametric Testing
End-to-end information extraction from business documents
Secure Block Ciphers - Cryptanalysis and Design
Methods and tools for the statistical data analysis of large datasets collected from bio-based manufacturing processes
Models and Methods for Dynamic Computed Tomography
Security Protocols: Specification, Verification, Implementation, and Composition
Real-Time Synchronization on Multi-Core Processors
Operator Representations of Frames and Structured Function Systems
Monitoring Animal Well-being
Large Scale Computing for the Modelling of Whole Brain Connectivity
A Diagnostic and Predictive Framework for Wind Turbine Drive Train Monitoring
Roots of the Chromatic Polynomial
Topics in combinatorial pattern matching
Biadditive Mixed Models - Advancing Computational Methods and Applications
Inferring human intentions from the brain data
Protein Structure Refinement by Optimization
Approaches for Accommodating Demand Response in Operational Problems and Assessing its Value
The AORTA Reasoning Framework - Adding Organizational Reasoning to Agents
Economic Model Predictive Control for Large-Scale and Distributed Energy Systems
Combined Shape and Topology Optimization
Test-Driven, Model-Based Systems Engineering
Simultaneous Reconstruction and Segmentation with Class-Specific Priors
Rationalization with ruled surfaces in architecture
Formalization of Logic in the Isabelle Proof Assistant
Deep Generative Models for Semi-Supervised Machine Learning
Learned image representations for visual recognition
Tradeoff analysis for Dependable Real-Time Embedded Systems during the Early Design Phases
Dynamics of High-Resolution Networks
Applications of the Deformable Simplicial Complex in Image Segmentation and Fluid Simulation
Decomposition methods for unsupervised learning
Sparse Classification - Methods & Applications
Decision-making Under Uncertainty for the Operation of Integrated Energy Systems
Gabor frames på lokalt kompakte abelske grupper og relaterede emner
Time-Predictable Communication on a Time-Division Multiplexing Network-on-Chip Multicore
Model Predictive Control for Smart Energy Systems
High Performance with Prescriptive Optimization and Debugging
Towards Theory-of-Mind agents using Automated Planning and Dynamic Epistemic Logic
Multilevel techniques for Reservoir Simulation
Coarse Analysis of Microscopic Models using Equation-Free Methods
Geometric singular perturbation analysis of systems with friction
Algorithms and Data Structures for Strings, Points and Integers:or, Points about Strings and Strings about Points
Model Predictive Control Implementation for Modified Quadruple Tank System
Multispectral Imaging of Meat Quality - Color and Texture
The mortgage choice problem
Volume Management for Pin-Constrained Continuous-Flow Microfluidic Biochips
Mathematical Modeling and Dimension Reduction in Dynamical Systems
Towards Plug-n-Play robot guidance: Advanced 3D estimation and pose estimation in Robotic applications
Prior Information in Inverse Boundary Problems
Compressed and efficient algorithms and data structures for strings
Characterization of absorption enhancers for orally administered therapeutic peptides in tablet formulations - Applying statistical learning
Cryptanalysis of Selected Block Ciphers
A Probabilistic Approach for the System-Level Design of Multi-ASIP Platforms
Towards Interactive Photorealistic Rendering
Availability by Design:A Complementary Approach to Denial-of-Service
An algebraic approach to graph codes
Modelling and Analysis for Cyber-Physical Systems: An SMT-based approach
Segmentation-Driven Tomographic Reconstruction
Computer Vision for Additive Manufacturing
An Asynchronous Time-Division-Multiplexed Network-on-Chip for Real-Time Systems
Modelling Strategies for Functional Magnetic Resonance Imaging
Monitoring angiogenesis using magnetic resonance methods
Motion Tracking of Infants in Risk of Cerebral Palsy
Design of Cognitive Interfaces for Personal Informatics Feedback
Design Optimization of IEEE Time-Sensitive Networks (TSN) for Safety-Critical and Real-Time Applications
Methods and Algorithms for Economic MPC in Power Production Planning
Statistical modelling of space-time processes with application to wind power
Modell zur Produktion von Online-Hilfen
Data Mining and Visualization of Large Human Behavior Data Sets
Autonomous Optical Inspection of Large Scale Freeform Surfaces
High-resolution imaging methods in array signal processing
Good towers of function Fields
Electrophysiological assessment of audiovisual integration in speech perception
Cognitive Component Analysis
Surface design and rationalization for robotic hot-blade cutting
Fine-grained Information Flow for Concurrent Computation
Domain Specific Language for Modeling Waste Management Systems
Code Generation from Pragmatics Annotated Coloured Petri Nets
Brain Network Modelling
On Practical Sampling of Bidirectional Reflectance
Modelling Brain Tissue using Magnetic Resonance Imaging
Compressed and Practical Data Structures for Strings
Computational Analysis of Brain Images: Towards a Useful Tool in Clinical Practice
Statistical learning for predictive targeting in online advertising
Resilient Infrastructure and Building Security
A multimodal modeling approach to schizophrenia
Metric and Layered Temporal Logic for Time Granularity
The Temporal Deductive Database System ChronoLog
Cooperative Behaviour and Communication
Structural Recursions on Edge-Labelled Graphs
Data Mining Applications of Singular Value Decomposition
Nonlinear Extension of Heat Equation and Infrared Imagery
Low Resolution Infrared Proximity Array Based 3D Object and Force Reconstruction, and Modular Oscillatory Arrays
Orvosi jel- és képfeldolgozás transzformációs módszerekkel
Optimal Resource Pooling over Legacy Equal-Split Load Balancing Schemes
Tartalom alapú keresési algoritmusok képi adatbázisokban
EVOLUTIONARY TREE RECONSTRUCTION AND ITS APPLICATIONS IN PROTEIN CLASSIFICATION
A Method to Process Images Data and Prediction Models for some MapReduce Applications
Ontológia-alapú szemantikai annotáció és tudásábrázolás nyelvtantanuló rendszerben
Federated Learning of Artificial Neural Networks
Query, Analysis, and Benchmarking Techniques for Evolving Property Graphs of Software Systems
3D Shape Recognition Methods for Tangible User Interfaces
Hálózat-alapú irányíthatósági és megfigyelhetőségi elemzés, szenzorok és beavatkozók optimális elhelyezése
Video based Object Retrieval and Recognition using Lightweight Devices
Net alapú programok minőségének és biztonságának növelése
Energy-Efficient and Reliable Communication in Wireless Sensor Networks
Optimisation and Integration of Renewable Energy Generation and Management Options
Modellanimációs eljárások megvalósítása gráftranszformációval
Vizualizációs eljárások kapcsolatok síkbeli ábrázolásához és információk felületen való megjelenítéséhez
Performance Modeling of Finite-Source Cognitive Radio Network Using Simulation
Indoor localization methods and services
Módszerek hálózati forgalom hatékony osztályozásához
Ember-számítógép interfészek alkalmazása egyes kognitív képességek elemzésére eye-tracking módszerrel
Machine learning techniques for applied information extraction
Automatic roundoff error analysis of numerical algorithms
Modeling Complex Systems by Evolving Networks
Korszerű megoldások mechatronikai rendszerek objektum-orientált szimulációjában
Complex Methods for Automated X-ray Image Analysis
Smart city applications for urban traffic analysis
Novel Features in Object Detection for Image Segmentation Tasks
Application-oriented scheduling problems in public bus transportation
Towards Comprehensive and Effectual SDN Traffic Engineering Framework for Data Center Networks
Modell alapú program szintézis és futási idejű ellenőrzés szolgáltatásbiztos beágyazott rendszerekhez
Prediction and Analysis Based on Sensor Network Data Using Machine Learning Techniques
Measurement-based Performance Evaluation of Distributed Ledger Technologies
Igényvezérelt raktározási rendszerek optimalizált működtetésének elméleti megalapozása és kidolgozása szimulációs modellezés felhasználásával
Application of graph models in bioinformatics
Development of bearing fault diagnostics methodology based on signal processing and machine learning tools
Változószelekciós algoritmusok vizsgálata általánosított additív modellekben
Solving Non-Topographic Problems with Topographic and Synchronization Algorithms and Architectures
The role of intramolecular vibrations in photosynthetic exciton energy transfer
Az Egerfood információs rendszer
Classification based Symbolic Indoor Positioning
Geometric and Visual Reconstruction of Binary Shapes
Improving the performance of recommender systems using a parallel CBIR method
Vizualizáció a Programozástanításban
Single/Multiple Object Detection Problems in Medical Image Analyses
Modellvezérelt szoftverfejlesztés a gyakorlatban
Methods for Web Spam Filtering
Referenciák tisztán funkcionális nyelvekben
Fuzz Testing and Test Case Reduction
Advanced Schemes for Emerging Mobility Scenarios in the All-IP World
Szimmetrikus stabil eloszlások paramétereinek egy robusztus becslési eljárása és alkalmazása
Algebrai számokkal kapcsolatos algoritmusok és számítások
Researching virtual reality and augmented reality devices to enhance human-computer interaction
Eseményvezérelt modelltranszformációk szakterület-specifikus nyelvekben
Nyelvek és keretrendszerek tesztek specifikálására
Qualitative models in resilience assurance
Cross-layer forgalom és protokoll elemzés
Heurisztikus módszerek alkalmazása logisztikai rendszerek tervezésében és irányításában
Information content models of objects for communication between engineers
Monte-Carlo szimuláción és kockázatértékelésen alapuló folyamat elemző keretrendszer
Efficiency Analysis of Inflection Rule Generation
Parametric Estimation of Affine Deformations without Correspondences
IPv6 bevezetését támogató technológiák vizsgálata
Modellek és algoritmusok a hagyományos aláírások statikus, jellemző alapú hitelesítésében
Audio to visual speech conversion
Assesing the Quality of Web via Semi-Supervised Methods
Összetett módszerek az orvosi döntéshozatalban
Training Methods for Deep Neural Network-Based Acoustic Models in Speech Recognition
Döntési bizonytalanság kezelése döntési fákkal orvosi döntéstámogató rendszerekben
Pattern Matching Based Automated Learning of Inflection Generation and Morphological Analysis
Számítógépes gondolkodás a felsőoktatásban
ALGORITMUSOK VÉLETLEN PARAMÉTEREI ÉS PROGRAMOK VÉLETLEN TESZTELÉSE
" Matching future job requirements with educational portfolio"
Analitikus és numerikus számítási módszerek néhánytest-rendszerek kvantummechanikai modelljében
CNN-alapú képfeldolgozó és adaptív optikai rendszer FPGA-s implementációi
Személyes adatok gyűjtése és profilírozás az interneten
Gáztermeléshez kapcsolódó, hidrát mentesítésre szolgáló digitális irányítási megoldások
Irányított gráfokkal leírt elosztott alkalmazások helyességének biztosítása csoportmunka környezetekben
Natural Language Processing of Large Parallel Corpora
Fuzzy modellek optimalizálása bakteriális típusú algoritmusokkal
Utilizing static and dynamic software analysis to aid cost estimation, software visualization, and test quality management
Detecting Multiword Expressions and Named Entities in Natural Language Texts
Modeling for the Dependability of Complex Services
On modeling building-evacuation-route planning and organization-based multiagent systems by resorting to the P-graph framework
Approaches to Efficient Multiple Sequence Alignment and Protein Search
Applying Code Analysis and Machine Learning Techniques to Improve Compatibility and Security of Programs
The Applicability of Fuzzy Theory in Machine Learning
Csomagkapcsolt hálózatokban alkalmazható minőségbiztosítási architektúrák teljesítményvizsgálata
Spektrumanalízisen alapuló agy-számítógép interfész a figyelem és a memorizálás elemzésére
Nagysebességű szállítási protokollok "Fairness"- és stabilitásvizsgálata
Overlay hálózatok tervezése és teljesítményelemzése
Multilayer Perceptrons Based on Fuzzy Flip-Flops
Designing and synthesizing the synchronization of concurrent object-oriented systems
Secure Communication Protocols
Becslési módszerek errors-in-variables környezetben
Complex Mobility Management Algorithms and Applications
A hagyományos képzéstől az "információs életút" felé Webes tananyagtartalom leendő orvosoknak és diplomás ápolóknak
Efficient Topology Design Methods for Next Generation Access Networks
Complex network models, graph mining and information extraction from real-world systems
Magzati légzőmozgás meghatározása fonokardiográfiás eljárással
Nem hagyományos modellek a formális nyelvek és automaták elméletében
Batch process scheduling: Extensions of the S-graph framework
Telekommunikációs szolgáltatások árazásának és a számlázórendszerek funkcionalitásának vizsgálata
A Three-Address Code Based Intermediate Level Code and Data Obfuscation Method
Adatbányászat komplex hálózatokabn: hiányzó kapcsolatok és fuzzy csoportosulások
The k-Clique Problem Usage, Modeling Expressivity, Serial and Massively Parallel Algorithms
Quality Aspects of TTCN-3 Based Test Systems
Privátszféra védő protokollok vezeték nélküli hálózatokban
Állapotinformáció-terjesztési és védelmi módszerek megbízható hálózati kapcsolatok hatékony kialakításához
Key and Functional Dependency Constraints for Incomplete Databases with Limited Domains
Numerical computing of extremely large values of the Riemann-Siegel Z-function
Technológiával segített oktatási/tanulási módszerek vizsgálata a felsőoktatásban
Térbeli statisztikai modellek és alkalmazásaik
Distributed Systems and Algorithms in Smart Cities
Efficient Sampling in Wireless Sensor Networks
Ládapakolási és ütemezési feladatok elméleti, és számítógéppel segített vizsgálata
Hatékony monitorozás és erŐforrásgazdálkodás érzékelŐ hálózatokkal
Fuzzy szabály-interpolációs módszerek és mintaadatok alapján történő automatikus rendszergenerálás