yusuke1997/dblp-id-title huggingface dataset:
Neural density estimation and likelihood-free inference
Incremental inductive interactive simulation
On hereditary graph classes defined by forbidding Truemper configurations: recognition and combinatorial optimization algorithms, and χ-boundedness results
A formal semantics of parallel features of Fortran 95
Optimal and adaptive radial basis function neural networks
Parameterized algorithms on digraph and constraint satisfaction problems
A unified approach to planning support in hierarchical coalitions
Middleware to support accountability of business to business interactions
Model checking of probabilistic timed and hybrid systems
Voting models on graphs
Hybrid human-computer interfaces for effective communication and independent living
Affective state recognition in Virtual Reality from electromyography and photoplethysmography using head-mounted wearable sensors
Decentralised economic resource allocation for computational grids
Enabling browsing in interactive systems
A packet-based parallel computation scheme for declarative languages
The formal specification of the Tees Confidentiality Model
Vector addition systems and their applications in the verification of computer programs
Modeling and rendering three-dimensional impossible objects
Automating knowledge acquisition for dynamic decision making in C'3I systems
On constrained infinite horizon model predictive control
Names and binding in type theory
Exploring personalised emotional support
An industrial study of effort estimation in mobile app development using agile processes
Extraction of arbitrarily moving arbitrary shapes by evidence gathering
A study of agent influence in nested agent interactions
Internet crowdsourcing for generative design
Optimising structured P2P networks for complex queries
A Brief Study of Existing Computer Programs for Highway Alignment Design, and the Development of a Suite of Computer Programs, the Highway Design Program Group (H.D.P.G.), to Aid this Process
Machine learning methods for face modelling and analysis in-the-wild
Learning crowd dynamics using computer vision
Hardware evolution : on the nature of artificially evolved electronic circuits
On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes
Improving content design on mobile devices to reduce situational visual impairments
Learning control knowledge within an explanation-based learning framework
Wireless mesh networking architectures and protocols for emergency services
Removing garbage collector synchronisation
Integrating and querying semantic annotations
Optimal transient stability control of synchronous generators by on-line digital computer
Human centred design of software agent in social network service against privacy concerns
On the interaction of internet routing protocols
Market intermediation: information, computation, and incentives
Semantic agent support for managed open information retrieval services
An interactive metaheuristic search framework for software service identification from business process models
Dynamic motion coupling of body movement for input control
Packet-Based Control for Networked Control Systems
Exploring creativity: the impact of virtual environments on the creative process
Management of object-oriented action-based distributed programs
Manifold learning for emulations of computer models
Software tools for dialogue design
The use of text-based approach in natural language translation by computer
Synthetic neural networks : a situated systems approach
Analysis and design of competing double auction marketplaces
Solution monitoring as a nuclear materials safeguards tool
QoS-aware adaptive resource management in OFDMA networks
Multiple access protocols for mixed service wireless packet communications
Modelling security requirements through extending Scrum agile development framework
Older people's appropriation of computers and the Internet
GPU-based volume deformation
The use of some non-minimal representations to improve the effectiveness of genetic algorithms
Towards the development of an efficient integrated 3D face recognition system : enhanced face recognition based on techniques relating to curvature analysis, gender classification and facial expressions
Detecting and defending against cyber attacks in a smart home Internet of Things ecosystem
A superpixel framework for the detection of difficult targets
An investigation into the adoption of e-commerce among older people
Evolutionary computation and experimental design
Unmanned aerial vehicle-enabled mobile edge computing for 5G and beyond
Statistical inference from large-scale genomic data
Quantum cognitively motivated context-aware multimodal representation learning for human language analysis
Systematicity in Hebbian cell assemblies
Modeling affect-based relationships and social allostasis as mechanisms for adaptation in social groups
Locality in the evolutionary optimisation of programs
Maxmin-plus models of asynchronous computation
Augmented analyses : supporting the study of ubiquitous computing systems
Problem solving with reinforcement learning
An infrastructure mechanism for dynamic ontology-based knowledge infrastructures
Aspect of image quality and the Internet
Designated confirmer signatures : modelling, design and analysis
An improved locator identifier split architecture (ILISA) to enhance mobility
Appearance-based tracking of non-rigid objects
A compositional framework for the development of secure access control systems
Security and usability in click-based authentication systems
Hybrid meta-heuristic algorithms for static and dynamic job scheduling in grid computing
Analytic cache modelling of numerical programs
Biographical information extraction: a language-agnostic methodology for datasets and models
Alternative Bayesian techniques for model selection, classification, and parameter estimation in signal and image processing
A model for describing and encouraging cyber security knowledge sharing to enhance awareness
Subspace Gaussian mixture models for automatic speech recognition
Investigation and modelling of quantum-like user cognitive behaviour in information access and retrieval
Real time detection of malicious webpages using machine learning techniques
Algorithms and combinatorics of repetitions in strings
Software design : analysis and a Jackson extension
Ontology based visual information processing
Using Dialogue Acts in dialogue strategy learning : optimising repair strategies
Towards dynamic modification of a distributed computer system
An Algebraic Approach to Computational Semantics
Load disaggregation and monitoring in a smart office space
Developing and measuring parallel rule-based systems in a functional programming environment
Methodology of refinement and decomposition in UML-B
Incremental and rigorous database design and code generation using UML-B and event-B
Optimal experiment design for dynamic system identification
Object-Oriented Specification:Analysable Patterns & Change Management
Electronic Data Interchange in the construction industry
Human fall detection methodologies: from machine learning using acted data to fall modelling using myoskeletal simulation
Higher-order frameworks for profiling and matching heterogeneous data
A novel component based framework for covert data leakage detection
Analysis of obligatory disclosure regarding individual's privacy
Improving the design and usability of password creation systems
Foundations of stochastic diffusion search
Formal verification of neural networks
Video genre classification
Parallel implementation of funtional languages using divide-and-conquer strategies
Removing and restoring control flow with the Value State Dependence Graph
Stability and stabilisation of switching and hybrid dissipative systems
Modular neural networks applied to pattern recognition tasks
Application of kernal methods to system identification
Multi-objective tools for the vehicle routing problem with time windows
Dynamic memory allocation within a behavioural synthesis system
Design and Implementation of a Computer Simulator
A mechanism for the controlled evolution of diversity in multiple optima genetic search
Problem-solving in undergraduate mathematics and computer aided assessment
Algorithms and modelling for large-scale Bayesian data analysis
Intelligent straggler mitigation in massive-scale computing systems
Selection of simulation variance reduction techniques through a fuzzy expert system
A model-driven architecture based evolution method and its application in an electronic learning system
A Conversational Problem Solving System Represented as Procedures with Natural Language Conceptual Structure
Improving defect prediction models by combining classifiers predicting different defects
A usability approach to improving the user experience in web directories
Evaluation of a domestic photo sharing environment
OASIS : the Omnipresent, Adaptively Supportive, Intelligent System
Making representations matter : understanding practitioner experience in participatory sensemaking
Raising engagement and motivation through gamified e-portfolio: a student perspective
Adaptive structured parallelism
Extending the predictive capabilities of hand-oriented behavioural biometric systems
A disk-resident suffix tree index and generic framework for managing tunable indexes
Ordered model transformations
Declarative support for prototyping interactive systems
Usable, secure and deployable graphical passwords
Natural language for knowledge representation
The development of 'drama' in YouTube discourse
Approaches for the digital profiling of activities and their applications in design information push
Research contributions in secure dependable data management
Model-theoretic characterisations of description logics
Knowledge needs analysis for simultaneously multi-agent real-time systems
Intelligibility of synthetic speech in noise and reverberation
Magnetic resonance compatible tactile force sensing using optical fibres for minimally invasive surgery
Supporting multi-user interface development for cooperative systems
A multi-paradigm query interface for an object-oriented database
Development and Applications of the Maximum Likelihood Method of Identification
Performance and flexibility of stereotype-based user models
Users' perceptions of privacy in multimedia communications
Situated navigation support for heterogeneous large crowds via augmented signage
A methodology for formal system development using process algebraic techniques
Nature-inspired multi-objective optimisation and transparent knowledge discovery via hierarchical fuzzy modelling
A modeling language for multi-tenant data architecture evolution in cloud applications
Computational models of trust
Discriminative hand-object pose estimation from depth images using convolutional neural networks
Automatic face landmarking in 3D
Complexity and infinite games on finite graphs
Hyper-heuristic decision tree induction
Visualisation and analysis of complex behaviours using structured occurrence nets
Disk quality of service in a general-purpose operating system
Decision making using Thompson Sampling
Proof planning coinduction
Forced to live side by side: power, privacy and conflict in the Tor network
Case-based reasoning in personnel rostering
Generative co-design & non-planar additive manufacture of aesthetic prostheses
Modelling neural processing using Venn-networks in physiological and pathological scenarios
Compact and low cost quantum cryptography
Using structured language in the measurement of software projects
Wavefront coding for alleviation of aberrations in incoherent imaging systems
Actor-oriented programming for resource constrained Multiprocessor Networks on Chip
Graph-based segmentation and scene understanding for context-free point clouds
Efficient clustering techniques for big data
Empirical evaluation methodology for target dependent sentiment analysis
Leaky hardware: modeling and exploiting imperfections in embedded devices
Subsethood-based data-driven fuzzy rule induction and its application for classification
Internet connection method for mobile ad hoc wireless networks
The qualitative behaviour of dynamic physical systems
Improved shape from shading using non-Lambertian reflectance models
Formal pragmatic model for imperatives interpretation
Software performance engineering using virtual time program execution
Investigation of Microprocessors for the Control of Gas Turbine Engines
The implementation of a fault-tolerant computer system for space instrumentation
Diagnostic and prognostic analysis tools for monitoring degradation in aged structures
Doppler-aided single-frequency real-time kinematic satellite positioning in the urban environment
Markerless multiple-view human motion analysis using swarm optimisation and subspace learning
Investigating the dynamics of hepatic inflammation through simulation
A study and development of Bayesian exemplar based models
Concurrent program development
The impact of three dimensional digital modelling media on the modes of communication used by industrial designers
A method for rigorous development of fault-tolerant systems
Efficient service discovery in wide area networks
A graphical system for parallel software development
Automatic generation of database schema
The construction of special - purpose programming systems
Discriminative linear and multilinear subspace methods
Supporting checking in a generic, graphical, software design environment
A genetic programming hyper-heuristic approach to automated packing
High-fidelity rendering and display of cultural heritage
Sessions-based misbehaviour detection framework for wireless mobile ad hoc networks
Self-localization and environment building methods for small non-holonomic manoeuvrable two-wheel mobile robots
Physics-based modelling, simulation, placement and learning for musculo-skeletal animations
Cooperative heuristics for autonomous agents : an artificial intelligence perspective
The design and implementation of Troy, a distributed object-based language
Explainable online recommendation systems with self-identity theory and attribute learning method
Sentiment analysis of patient feedback
Evaluating non-photorealistic rendering for 3D urban models in the context of mobile navigation
Multimodal approach for big data analytics and applications
Ways of guided listening: embodied approaches to the design of interactive sonifications
A model driven approach for software reliability prediction
Learning anatomical image representations for cardiac imaging
Network coding via evolutionary algorithms
Dynamic networks for robotic control and behaviour selection in interactive environments
Learning deep neural networks : necessity and scope of prior knowledge, raw data, and labels
The Development of a System for the Direct Numerical Control of Machines
Sequence distance embeddings
Query processing for data integration from multiple data sources over the Internet
Enhancing security in public IaaS cloud systems through VM monitoring: a consumer's perspective
Extreme multi-label learning with Gaussian processes
Proposition-based summarization with a coherence-driven incremental model
Studying online support communities : investigating network patterns and characteristics of social support
Digital black boxes: apprehending fast and dynamic sociotechnical networks
A transition-based approach to reasoning about action and change
Integrating and querying linked datasets through ontological rules
Machine learning techniques for evolving threats
A systematic approach to fingerprint identification via source probabilities
'Pony': co-designing a type system and a runtime
The role of goal relevance in the occurrence of systematic slip errors in routine procedural tasks
Radio channel characterisation and system-level modelling for ultra wideband body-centric wireless communications
Detection and tracking of cells and focal adhesions in microscopy images
Management of concurrency in a reliable object-oriented computing system
VLSI parallel processing architectures
AutoGraff: towards a computational understanding of graffiti writing and related art forms
Studies in classical simulation vs quantum advantage for algorithms and communication
Face alignment in the wild
Natural language descriptions for video streams
Speckle pattern control in the application of digital image correlation for detecting damage in helmets
Cryptographic approaches to security and privacy issues in pervasive computing
Speculative parallelisation with dynamic data structures
The practicalities of scaling Bayesian neural networks to real-world applications
A back-end relational associative parallel processor as a dedicated database computer architecture
Consistent formal theories of the semantics of programming languages
A web-based intelligent learning environment for the teaching of industrial continuous quality improvement
Powering the academic Web
Polyhedral domains for abstract interpretation in logic programming
Context-assisted learning in artifical neural networks
Employing branching comics to design, visualise and evaluate interactive stories
The improvement of program behaviour in paged computer systems
The use of computer vision techniques to augment home based sensorised environments
On the synthesis and processing of high quality audio signals by parallel computers
Network optimisation using Big Data Analytics
A notion of a system pattern (tri-integration) and its instantiation in enterprise application development
The use of type systems and type theory in declarative system architecture
Precise verification of C programs
On the development of slime mould morphological, intracellular and heterotic computing devices
Transforming user data into user value by novel mining techniques for extraction of web content, structure and usage patterns : the development and evaluation of new Web mining methods that enhance information retrieval and improve the understanding of users' Web behavior in websites and social blogs
Program equivalence in functional metaprogramming via nominal Scott domains
Learning an activity-based semantic scene model
The exploitation of parallelism on shared memory multiprocessors
Exploration of clustering overlaps in a ransomware network based on link structures and content relevance
Realisation of the Parallel Communicating Sequential Code methodology and its automatic code generators
Serial processing of binary data using mode-controlled logic systems
Inductive learning of answer set programs
The real-time display of larynx closed quotient and fundamental frequency
An object-oriented data and query model
Modelling the social dynamics of contagion and discovery using dynamical processes on complex networks
A reflective architecture to support dynamic software evolution
Hand gesture recognition methods based on concept learning
Risk communication framework for parental control in the digital world
Intelligent process planning for rapid prototyping
Management and programming of reconfigurable hardware resources
Efficient architectures and power modelling of multiresolution analysis algorithms on FPGA
Development and usage of information architecture : a management perspective
Provenance-driven diagnostic framework for task evictions mitigating strategy in cloud computing
Knowledge engineering with semantic web technologies for decision support systems based on psychological models of expertise
Numerical simulations of unsteady complex geometry flows
Statistical mechanical studies of autoassociative and feedforward neural networks
Interactive theorem proving and program extraction
A novel secure autonomous generalized document model using object oriented technique
Practical aspects of automated first-order reasoning
Automatic refinement of constructive solid geometry models
A Method for Process Computer Alarm Analysis
Towards making sense of information in social streams
An animated pedagogical agent for assisting novice programmers within a desktop computer environment
Dynamic data mining : methodology and algorithms
Fundamental advantages and practicalities of quantum-photonic metrology and computing
Radio frequency interference from small a.c. commutator motors
Reconfigurable resource management in grid computing
Digital media in a special educational needs classroom: a study
Investigations on dirty paper trellis codes for watermarking
Logic design testing
Realising affect-sensitive multimodal human-computer interface : hardware and software infrastructure
Intrusion Detection Systems using Machine Learning and Deep Learning techniques
An aspect-oriented middleware architecture supporting consistent dynamic reconfiguration
Practical and efficient techniques for irradiance estimation in difficult lighting conditions
Creation and maintenance of a data base for large scale land survey data
Computer-aided diagnosis of gynaecological abnormality using B-mode ultrasound images
The use of artificial neural networks in classifying lung scintigrams
Table recognition in mathematical documents
Formal derivation of state-rich reactive programs using Circus
Network performance evaluation for M2M WSN and SDN based on IOT applications
Constraint specification by example in a meta-CASE tool
Role-based multi-robot exploration
Interaction Nets : Language and Design and Implementation
Dynamic priority management strategies of high-speed Internet services
Synthesis without syntactic templates
A global workspace framework for combined reasoning
Mutation analysis of relational database schemas
Active capability support for cooperation strategies in cooperative information systems
Managing distributed situation awareness in a team of agents
Beyond factual to formulated silhouettes
Enhanced modulation dynamic performance of optically-injected widely-tunable semiconductor lasers
Improving the work practices of network security professionals by developing a usable visual analytics tool
Noncoherent successive relaying for multi-user wireless systems
Accelerating reconfigurable financial computing
Empirical studies of novices learning programming
A study of the design, reliability and knowledge structures of a multienvironmental medical expert system
Digital processing of images using integer arithmetic transformations
Developing embedded software using compile-time virtualisation
Multilevel optimisation for computer vision
Explaining Data Patterns using Knowledge from the Web of Data
Markov analysis of operating system techniques
Fully automatic image analysis framework for cervical vertebra in X-ray images
The utility of using a RAD-type development approach for a large, complex information system
Semantic role-based access control
Resource optimisation for robust IP networking provisioning
Simulation of ATM multiplexed traffic with various statistical distributions
Formal object oriented development of software systems using LOTOS
Estimating functional performance for use in the aesthetic design process
Defining interfaces between hardware and software: quality and performance
Design frameworks : a basis for conceptual understanding and reuse
Improving Internet path performance through detour routing
Monitoring computer-based training over computer networks
Meta-language in logic programming
Automatic theorem proving programs and group presentations
Automated detection of proliferative diabetic retinopathy from retinal images
Putting checkpoints to work in thread level speculative execution
Development of a novel radial basis function network using genetic algorithms
Implementing norm-governed multi-agent systems
Theory and practice of shortcut fusion
Artificial immune systems for Web content mining : focusing on the discovery of interesting information
Analysis and synthesis of interactive video sprites
Automating proofs with state machine inference
Sketching as a support mechanism for the design and development of shape-changing interfaces
Multiscale modelling of intracranial aneurysm evolution: a novel patient-specific Fluid-Solid-Growth (p-FSG) framework incorporating endothelial mechanobiology
Predicting query types by prosodic analysis
Deep clustering and deep network compression
From head to toe: body movement for human-computer interaction