yusuke1997/dblp-id-title huggingface dataset:
Problems arising from the analysis of randomly disturbed non-linear control systems
Implementing video compression algorithms on reconfigurable devices
Functional programming applications
Verification of secure biometric authentication protocols
Patterns of semiosis in requirements engineering
Scaling machine learning systems using domain adaptation
Bayesian models of category acquisition and meaning development
Analysis of images under partial occlusion
Incremental construction of component-based systems : a study based on current component models
Occupancy monitoring and prediction in ambient intelligent environment
An automatic proof-generating translation from higher-order to first-order logic : with applications to linking HOL4 and ACL2
Requirements engineering for hard real-time systems
An investigation on question answering for an online feedable Chatbot
Supervisor and searcher co-operation algorithms for stochastic optimisation with application to neural network training
Natural language interfaces to conceptual models
Programming contextual computations
Modelling of the relationships between Mobile Device Technologies (MDTs) and UK educational practices
Scalable video streaming with prioritised network coding on end-system overlays
Compression of structured and semi-structured information
Development of a case-based reasoner as a tool to facilitate understanding of the ethical and professional issues invoked by failed information systems projects
Contrastive topographic models
Deploying ontologies in software design
Neuro-fuzzy based intelligent approaches to nonlinear system identification and forecasting
Intonation and phonetic segmentation using hidden Markov models
A better way to design communication protocols
Improving light detection and ranging based simultaneous localization and mapping with advanced map representations
Mood Glove: enhancing mood in film music through haptic sensations for an enriched film experience
Enabling energy efficiency of the network management function using autonomic network element Intelligence
Spectral geometry for structural pattern recognition
Using software visualisation to support program comprehension
Soft types for template meta-programming
Nonsetpoint process accumulation control
Oscillations in nonlinear feedback systems
Reasoning about effectful programs and evaluation order
Efficient, scalable, and fair read-modify-writes
On the structure of stochastic control laws
Projection factorisations in partial evaluation
Techniques for enhancing the reliability of non-critical software systems
Multi-objective optimization of video coding and transcoding
The application of cluster analysis to predicting the cellular uptake of foreign compounds
Advanced telecommunication technologies for low-delay access to electronic medical records
Wet and sticky : a novel model for computer-based painting
Between integrals and optima: new methods for scalable machine learning
Gradual evaluation in argumentation frameworks: methods, properties and applications
The development of an adaptive environment (framework) to assist the teaching, learning and assessment of geography within the Omani secondary education system
Multi-factor motivation model in software engineering environments
Verification and validation of security protocol implementations
Systems with predictable caching
A multidimensional dynamic framework for handling simple interruption phenomena, anaphoric pronouns and definite descriptions
Real-time physics and graphics engine for non-Euclidean geometry using spherical and hyperbolic trigonometry
Probabilistic prediction of Alzheimer's disease from multimodal image data with Gaussian processes
A Hybrid Static Random-Access-Memory Cell
Impacts of globalisation and awareness of higher education policy in adoption and use of ICT in Libyan universities
Context based querying of dynamic and heterogeneous information sources
Hydra: loosely coupling the graphics pipeline to facilitate digital preservation
Adoption of cloud computing technology in Higher Education Institutions: a case study of Jordan
Soft computing for Bayesian networks
The optimisation of elementary and integrative content-based image retrieval techniques
Performance analysis of automatic lookahead generation in parallel discrete event simulation using control flow graphs
A proposal for the protection of digital databases in Sri Lanka
The development and testing of an efficient data mining framework for intrusion detection
Event structure semantics of reversible process calculi
Experimental and theoretical techniques for quantum-enhanced metrology and optical quantum information processing
Image segmentation using local surface fitting
Teaching mobile robots to use spatial words
Multi-level verification of microprocessor-based systems
Model driven validation approach for enterprise architecture and motivation extensions
Real-time applications of artificial neural networks
Automatic tailoring and cloth modelling for animation characters
Interaction between visual attention and the processing of visual emotional stimuli in humans: eye-tracking, behavioural and event-related potential experiments
Imprecision in real-time systems : theory and practice
Test-driven development of embedded control systems : application in an automotive collision prevention system
Parameter tuning for cross-domain search
Discovering interesting behaviours in complex systems
An intelligent condition monitoring system with applications to machine tools
Heuristics for use case descriptions
FAST flexible allocation for sensing tasks
Compositional framework for the guided evolution of time-critical systems
Power-aware routing in multi-hop wireless networks
Entropy evaluation and security measures for reliable single/multi-factor biometric authentication and biometric keys
Towards secure identity-based cryptosystems for cloud computing
Monotonicity in shared-memory program verification
On a case supported approach to object-oriented rapid prototyping
Automatic detection of 'bad smell' design problems in object-oriented Java systems
The artists' footprint : investigating the distinct contributions of artists engaging the public with climate data
A triple integrated methodology in support of organizational learning and software usability
A hybrid neural network architecture for texture analysis in digital image processing applications
Computational simulation of novel treatment strategies for critical lung disease in adults, children and neonates
User-centred and context-aware identity management in mobile ad-hoc networks
Automatic assembly feature recognition and disassembly sequence generation
Fuzzy Control of Mobile Vehicles in Unconstrained Environments
Brain-computer interface and eye tracker as collaborative assistive technologies
Supporting spatial learning in virtual environments
Reconfigurable computing for large-scale graph traversal algorithms
Machine learning methods for detecting structure in metabolic flow networks
Simulation tools for the study of the interaction between communication and action in cognitive robots
Black-box composition of mismatched software components
Exploring parallelism with object oriented database management system
Interactive molecular docking with haptics and advanced graphics
Operating system support for quality of service
A novel framework for requirements elicitation in a military setting
Heuristics and metaheuristics in forward-chaining planning
A dynamic stochastic model for real-time analysis and predictions for movement exhibited by an object
Studies in model-based diagnosis
Validating next generation sequencing for meiofaunal community analysis and interaction prediction
Correct model-to-model transformation for formal verification
A portable high level approach to optimal microprogramming
Policy-driven traffic engineering in energy-aware ISP backbone networks
Some Results on Condition Numbers and Matrix Scaling
A study of spatial data models and their application to selecting information from pictorial databases
Promise constraint satisfaction problems
Speech recognition by microprocessor using Walsh analysis and dynamic programming
Computational models of belief propagation
Human activity recognition using a wearable camera
Multi-touch table for enhancing collaboration during software design
Information flow in cybernetic systems
COBOL report program generation by macro processor
Face de-identification for privacy protection
Novel displacement sensing : towards robotic tunnelling
Point based graphics rendering with unified scalability solutions
Real-time computer aided analysis of the electroencephalogram: a two-dimensional approach
A model of argumentation and its application in a cooperative expert system
The development of secure multi-agent systems
Cross language information retrieval using ontologies
Hierarchical Bayesian nonparametric models for power-law sequences
Multifaceted facade textures for 3D city models
A speech recognition system using Walsh analysis with a small computer
The structure of a multi-service operating system
A novel class of order perceiving algorithms for intelligent machines
Statistical parametric speech synthesis using conversational data and phenomena
Designing for numerical transcription typing : frequent numbers matter
The Clausal Theory of Types
The identification and analysis of spatiotemporal systems using coupled map lattice
Modelling and control techniques for patient general anaesthesia
Hybrid automated machine learning system for Big Data
An application of digital computers to the synthesis of certain classes of sequential logic circuits
Speech-based creation and editing of mathematical content
Information theoretic models of social interaction
A chronicle approach to modelling temporal database objects
Offshore marine visualization
A customisable framework for hardware compilation
Integrating data mining and social network techniques into the development of a Web-based adaptive play-based assessment tool for school readiness
Investigations into trainable picture processing systems
Real-time guarantees in high-level agent programming languages
On Accelerating Training Procedure of Support Vector Machines
Canonicity and bi-approximation in non-classical logics
Developing a methodological generic framework through introducing autonomy and self-adaptation to information systems thinking
Improving shared access to Cloud of Things resources
A program transformation step prediction based reengineering approach
Perceptual opportunities : a content model for the analysis and design of virtual environments
Intelligent tools for multitrack frequency and dynamics processing
Recurrent neural network language generation for dialogue systems
Tree-sheets and structured documents
Computational complexity on register machines
Self-Organised computing in a dynamic heterogeneous environment
Dynamic face parsing in the wild
Small and large scale probabilistic classifiers with guarantees of validity
Developing a digital nervous system for enhancing effectiveness of construction management and increasing commercial benefit in the UK construction industry
Modelling software project management complexity: an assessment model
LC - an effective classification based association rule mining algorithm
Novel particle swarm optimization algorithms with applications to healthcare data analysis
Language support for process-oriented programming of autonomic software systems
Efficient algorithms for bipartite matching problems with preferences
Tackling the barriers to achieving Information Assurance
Robustness evaluation of deep neural networks with provable guarantees
Enabling multi-purpose image interaction in modular visualization environments
An emergent framework for designers working in physical/digital spaces
Bringing requirements engineering to formal methods : timing diagrams for Event-B and KAOS
The automated translation of integrated formal specifications into concurrent programs
Misuse of computerised personal files: legal and technical considerations: with particular reference to certain applications of real-time systems in local government
A software-defined survivability approach for wireless sensor networks in future Internet of the Things
CALF - Categorical Automata Learning Framework
Effective and efficient estimation of distribution algorithms for permutation and scheduling problems
Broadband millimetre-wave radio over fibre systems
Cognitive smart agents for optimising OpenFlow rules in software defined networks
Recursive nonlinear plans
Fault modelling and accelerated simulation of integrated circuits manufacturing defects under process variation
Word sense selection in texts: an integrated model
A programming logic for Java bytecode programs
A VLSI architecture for neural network chips
Wiki-Mediated Collaborative Writing (WMCW) : an investigation of learners' perceptions and the impact of WMCW on preparatory year medical students studying English language in a university in Saudi Arabia
Improving the pipeline for stereo post-production
The role of chaotic transients in neural information processing
Games as mathematics of logic and computation
Exploiting instruction-level parallelism in superscalar architecture
Cooperative 3D Mapping and Localisation of Multiple Mobile Robots
Investigations of methods of linkage synthesis
Expressive modulation of neutral visual speech
A framework for Adaptive Capability Profiling
A computer-assisted method for planning urban bus services
Natural language techniques for error correction
Achieving autonomicity in software
Key management scheme for Smart Grid
Data learning for human pose tracking
Evaluating privacy-friendly mobility analytics on aggregate location data
Error Control for Data Multiplex Systems
Optimisation of cloud data centres and networking for big data applications
Automatically identifying coherent web sessions from browser logs
Exploring the affordances of touchscreen technologies in early years settings in the West Midlands
High fidelity readout of trapped ion qubits
Mobile computations over distributed semistructured data
Improving and assessing students' line graph interpretations : the case of the graph-as-picture interpretation
The Performance and Optimisation of a Non-Linear Shock Isolator
Flag Coordination Games
Automatic portal generation based on XML workflow description
From E-Language to I-Language : foundations of a pre-processor for the Construction Integration Model
Women's representation and experiences in the high performance computing community
Quantum computation beyond the unitary circuit model
Declarative debugging in GoÌˆdel
Agile context enquiry (ACE)
Joint approaches for learning word representations from text corpora and knowledge bases
The relevant and reliable language theory: developing a language measure of trust for online groups
Visuo-spatial perspective-taking, avatar embodiment and the ability to cultivate compassion using virtual reality and mental imagery
A slurry model of the F-layer in the Earth's core
A generalization of Turner's combinator-based technique for implementing a functional language
Enhancing reaction-based de novo design using machine learning
A formalism for describing and simulating systems with interacting components
Information Protection Systems
Graph transformation and pointer structures
Visual-auditory visualisation of dynamic multi-scale heterogeneous objects
Designing for mod development : user creativity as product development strategy on the firm-hosted 3D software platform
Interaction techniques with novel multimodal feedback for addressing gesture-sensing systems
The meeting journey: supporting the design of interaction within co-located, collaborative device ecologies
Integrating formal reasoning into a component-based approach to reconfigurable distributed systems
Real time model adaptation for non-linear and non-stationary systems
Performance characterisation of distributed memory MIMD computations
Semantic biometrics
A fault tolerant microarchitecture for safety-related automotive control
Ground plane rectification from crowd motion
Automatic facial recognition based on facial feature analysis
A multi-layered approach to information extraction from tables in biomedical documents
Designing a visual component of communication within 3D avatar virtual worlds
Economies and diseconomies of scale in software engineering
Task based visual control
Engineering adaptive model-driven user interfaces for enterprise applications
Formal modelling and analysis of an asynchronous communication mechanism
Increasing service visibility for future, softwarised air traffic management data networks
Let's walk up and play!: design and evaluation of collaborative interactive musical experiences for public settings
View integration using the entity-relationship model
Target localization using RSS measurements in wireless sensor networks
Specifying and reasoning about concurrent systems in logic
Social reasoning in multi-agent systems with the expectation-strategy-behaviour framework
Enhancement of case-based reasoning through informal argumentation, reasoning templates and numerical taxonomy
Vision systems for a mobile robot based on line detection using the Hough Transform and artificial neural networks
Textual Relation Extraction with edge-oriented graph neural models
Automatic techniques for detecting and exploiting symmetry in model checking
Theoretical aspects of the syntax and semantics of the Java language
Expert systems in process design
Topographic mappings and feed-forward neural networks
Attribution: a computational approach
Sparse and low rank approximations for action recognition
Keyframe summarisation of egocentric video
Enhancing vehicle destination prediction using latent trajectory information
Intelligent model-based control of complex multi-link mechanisms
Defined algebraic operations
Linking information resources with automatic semantic extraction
Modelling, realisations and limitations of concurrent delay-insensitive networks
The evolution of a conversational programming environment
A micro note taking approach: the student experience
Knowledge extraction and the development of a decision support system for the conceptual design of liquefied natural gas terminals under risk and uncertainty
Amplifying data curation efforts to improve the quality of life science data
Security aware service composition
Graphical support for user interface specification
Evaluating the success of e-learning systems: the case of Moodle LMS at the University of Warwick
Evaluation of QoS-based signalling for traffic engineering in an MPLS/ATM environment
Semantics and extension of a biological modelling language
Adaptive invariant recogniton and assessment of free-form objects : a connectionist approach
E-commerce website personalisation based on ontological profiling
Power efficient and power attacks resistant system design and analysis using aggressive scaling with timing speculation
Metaheuristics for designing efficient routes & schedules for urban transportation networks
The implementation and effectiveness of a function processor subsystem
Active electromagnetic attacks on secure hardware
Universal envelopes of discontinuous functions
Evaluation of security and performance of clustering in the Bitcoin network, with the aim of improving the consistency of the Blockchain
The formalisation of software development using MASCOT
Computer control of the testing of electric traction drives
Anomaly-based network intrusion detection enhancement by prediction threshold adaptation of binary classification models
Minimum description length, regularisation and multi-modal data
Natural language considerations in a serial database
Problems in the Optimal Control of Finite and Infinite Dimensional Linear Systems
Evolutionary algorithms and machine learning techniques for information retrieval
Genetic programming for manufacturing optimisation
Accuracy in scientific visualisation
Intelligent assembly of wind turbine hubs
Tuning genetic programming performance via bloating control and a dynamic fitness function approach
Nonlinear dynamics of the RL-diode circuit
A scalable and parallel inductive learner in description logic
Patents and patronage : the life and career of John Day, Tudor printer
Parallel persistent object-oriented simulation with applications
Malware variant detection
A software component model with concurrency
Modal logics of ordered trees
Humanist computing for knowledge discovery from ordered datasets
Computer-based assessment of authentic word processing skills
Extending Event-B with discrete timing properties
Robust aggregation of local image descriptors for visual search
Reducing the errors in high resolution environmental modelling
Manipulation of four-dimensional objects represented within a virtual environment
Acceleration techniques in ray tracing for dynamic scenes
Kernel methods for time series data
Robust object detection in the wild via cascaded DCGAN
Intelligent feature selection for neural regression : techniques and applications
An experiment on integration of Hypertext within a multi-user text retrieval system
Parallel execution of Parlog
The probabilistic method for upper bounds in domination theory
Mining ethos in parliamentary debate
Hybrid marker-less camera pose tracking with integrated sensor fusion
Investigating a multimodal solution for improving force feedback generated textures
Formalisation of Message Sequence Charts
Multi-Objective evolutionary algorithms for vehicle routing problems
Derivation of logic programs
An investigation of the digital sublime in video game production
Interactive robot learning with human alignment
Algorithms for constrained optimization
Scheduling in a grid environment using high level policies
Aspects of functional programming
Integrating static and dynamic aspects in the specification of open object-based distributed systems
Realtime vehicle route optimisation via DQN for sustainable and resilient urban transportation network
Commitment models and concurrent bilateral negotiation strategies in dynamic service markets
Termination analysis of higher-order functional programs
Evolving legacy enterprise systems with microservices-based architecture in cloud environments
A VLSI hardware neural accelerator using reduced precision arithmetic
Genetic programming applied to morphological image processing
Towards a smart fall detection system using wearable sensors
An investigation into image-based indoor localization using deep learning
Activity analysis : finding explanations for sets of events
The virtual node approach to real-time, fault-tolerant distributed Ada
Adaptive algorithms for real-world transactional data mining
Fuzzy system approaches for data streams and functional data regression
Self-configurable software agents
Deployable transport services for low-latency multimedia applications
A paradox of privacy : unravelling the reasoning behind online location sharing
Negotiation transparency and consistency in configurable protocols: an empirical investigation
Optimising routing and trustworthiness of ad hoc networks using swarm intelligence
The semantics of synchronised assignment
Conceptual graphs at work : efficient reasoning and applications
Factors affecting the adoption of cloud computing in Saudi Arabia's government sector
On shape-mediated analysis of spatiotemporal distributions
Development of Software for a Lathe with Adaptive Control Using a Digital Minicomputer
Hadoop performance modeling and job optimization for big data analytics
Multi-dimensional sequential and associative pattern mining
Arabic dialect texts classification
Modelling and characterisation of distributed hardware acceleration
Modelling genetic algorithms and evolving populations
An object-oriented graphical environment for use with advanced programmable controllers
Dynamic binary analysis and instrumentation: or building tools is easy
Understanding mass transport mechanisms in oxygen transport membrane porous support layers: correlating 3D image based modelling with diffusion measurements
Comparing the utility of user-level and kernel-level data for dynamic malware analysis
A CAD application using logic programming
An intention-based debugging system for novice assembly language programmers in an education environment