yusuke1997/dblp-id-title huggingface dataset:
The implementation of a functional query language front-end to a relational database system
Exploiting digital evidence artefacts: finding and joining digital dots
Self defence in open systems : protecting and sharing resources in a distributed open environment
Transfer learning for object category detection
Decentralised computer systems
Design components
Modelling the acceptance and behaviour of university students in relation to social-networking sites
Experimental evaluation of interaction design in virtual reality
Intrusion detection in IPv6-enabled sensor networks
An insider misuse threat detection and prediction language
Towards secure multi-party computation on the Internet : few rounds and many parties
Robust operation and applications of emerging quantum technologies
Subjectivity and ownership : a perspective on software reuse
Arithmetic accelerators for a digital neuromorphic processor
Using interaction data for improving the offline and online evaluation of search engines
Unambiguous and finitely ambiguous automata
Critical chain identification and buffer sizing for efficient project management
Eye gaze tracking and speech recognition for data entry and error recovery : a multimodal approach
Concern-oriented heuristic assessment of design stability
Analysis and transformation of proof procedures
Editing fluid simulations with jet particles
An analysis of score distributions and design pattern interaction for object-oriented metrics
Assume-guarantee strategy synthesis for stochastic games
Packet and circuit-switched data networks
System-level design automation and optimisation of network-on-chips in terms of timing and energy
Realising context-oriented information filtering
Measuring and mitigating security and privacy issues on android applications
Algorithmic meta-creativity
Packet traffic in computer networks
Multi-agent system approach in e-commerce : a MASST framework for decision support in stock trading
The young nostalgics: contemporary constructions of "pastness" on Tumblr microblogs
Developing energy-aware workload offloading frameworks in mobile cloud computing
A trade-off model between cost and reliability during the design phase of software development
Physiological measurement based automatic driver cognitive distraction detection
A peer-to-peer incentives mechanism for sharing small and rare files
Some properties of a class of stochastic heat and wave equations with multiplicative Gaussian noises
Machine learning in embedded systems
Agent-based lost person movement modelling, prediction and search in wilderness
On reasoning with uncertainty and belief change
Experiment design for deterministic model reduction and neural network training
Efficient quality of experience informed schemes for dynamic adaptive video streaming
Hardware / Software Interaction in Graphical Display Systems
Space, objects & embodiment in situated media
Efficient implementations of predictive control
Distortion-constraint compression of three-dimensional CLSM images using image pyramid and vector quantization
Consumer side resource accounting in cloud computing
A clustering genetic algorithm for software modularisation with a multiple hill climbing approach
IntelliChair: a non-intrusive sitting posture and sitting activity recognition system
Memory mapping for a portable operating system
Automatic skeletonization and skin attachment for realistic character animation
A computational model of "artificial intuition" in decision making
Medical image classification using deep learning techniques and uncertainty quantification
On the Optimal Control of Certain Classes of Linear and Bilinear Systems
Flexible autonomy and context in human-agent collectives
Complex design processes and computers
The steady state visual evoked potential as a paradigm for viable brain-computer interfaces
Context-based anomaly detection in critical infrastructures: a study in distributed systems
Automatic approaches towards vehicle make and model recognition
Capability-based coordination for open distributed systems
Simulated performance of a class of vector processors
A risk assessment and optimisation model for minimising network security risk and cost
Exploiting gene expression and protein data for predicting remote homology and tissue specificity
Analysing the impact of the GDPR on eIDAS : supporting effective data protection by design for cross-border electronic identification through unlinkability measures
Process design for controllability of nonlinear systems with multiplicity
Predictive network resource allocation and QoS provisioning
FAD : a functional analysis and design methodology
Session types in concurrent calculi : higher-order processes and objects
HoPro - Hospital Process Ontology: ontology driven framework for Health Information Systems (HIS)
Automatic test data generation from formal specification using genetic algorithms and case based reasoning
Computational pragmatics : probability, deeming and uncertain references
On the performance of emerging wireless mesh networks
An object-oriented approach to the modelling of real-time computer systems and communication protocols
Efficient control of temporal reasoning
Towards a better understanding of the evolution of senescence, apoptosis and tumour growth
Delegation of authority using domain-based access rules
Agent theories and architectures
Probabilistic modelling of behavioural patterns
The use of commercial off-the-shelf information technology in operational defence equipment
Evaluating the graphics processing unit for digital audio synthesis and the development of HyperModels
Development of a tool that enables usability evaluations in real-time distributed collaborative environments
Large scale dynamics and fluctuations in non-equilibrium stochastic particle systems
Digital games as collaborative story-writing platforms
Fair and efficient resource allocation strategies in multi-application networks using utility functions
Flicker and unsteadiness compensation for archived film sequences
Autonomous multi-agent reconfigurable control systems
Relational multimedia databases
A deep learning-based system for fast and automated detection of volatile organic compounds in raw gas chromatography-mass spectrometry breath data
Teaching programming in the computer science strand of the 2014 National Curriculum for computing at key stage 4: challenges, difficulties and prospects
The artificial evolution of adaptive behaviour
Developing an advanced IPv6 evasion attack detection framework
Studios in software engineering education
A framework for user-hypertext interaction and alternative operations for browsing
Modular grammars for programming language prototyping
An investigation of the factors affecting the lifecycle costs of COTS-based systems
Production and use of documentation in scientific software development
Preprocessing for digital video using mathematical morphology
The Dynamics of Learning in some Digital Networks
Development of novel electrical power distribution system state estimation and meter placement algorithms suitable for parallel processing
The effective use of implicit parallelism through the use of an object-oriented programming language
Reconfigurable FPGA-based message routing for embedded real-time parallel processing applications
Query answering in distributed RDF databases
Colour image coding indexing and retrieval using binary space partition tree
Computer simulation of fundamental processes in high voltage circuit breakers based on an automated modelling platform
The Gello Machine : a self organising neural network with modifiable architecture
Machine learning approaches to complex time series
Exploring the emergence of collaborative practices in globally distributed agile software development
Motion estimation and object-based video coding
How can cheese be made sustainable?: an actor-network analysis
Envisioning technology through discourse : a case study of biometrics in the National Identity Scheme in the United Kingdom
Impact of climate change on newly detached residential buildings in the UK passive mitigation and adaptation strategies
An acoustic model for speech recognition with an articulatory layer and non-linear articulatory-to-acoustic mapping
Computer aided detection and measurement of coronary artery disease from computed tomography angiography images
λ-connectedness and its application to image segmentation, recognition and reconstruction
Discrimination-aware data analysis for criminal intelligence
An investigation into hybrid artificial intelligence techniques applied to the game of Go
MICASSEM : an intelligent adaptive Multimedia Interface for Circuit board ASSEMbly
Decompilation as search
Routing and congestion control in datagram networks
Evolution of a heterogeneous hybrid extreme learning machine
Program development in action systems
Digital correlation techniques for identifying dynamic systems
A study of erasure correcting codes
The application of expert systems to small scale map design
Planning proofs of correctness of CCS systems
A novel routing strategy for public wide area ATM networks
Modelling the total appearance of gonio-apparent surfaces using stereo vision
Reinforcement learning from internal, partially correct, and multiple demonstrations
Large scale agent interactions : mathematical modelling and simulation
Privacy choices online : preferences, incentives and enforcement
Improving trade-offs between multiple metrics in parallel queueing systems
Monocular visual scene analysis: saliency detection and 3D face reconstruction using GAN
Agent-oriented software engineering : application to the management of community care provision
The validation and verification of low-level code
On pruning and feature engineering in Random Forests
Fitness landscapes and search in the evolutionary design of digital circuits
Automatic coding from ZedCharts to SPARK Ada for safety-critical systems
Adaptive health monitoring using aggregated energy readings from smart meters
The innovative design and development of web services for visually impaired
Virtual memory on a many-core NoC
Making ubicomp acceptable in the home
Manipulating the energy landscape in stochastic relaxation : novel techniques and simulations
Graph-based approaches to word sense induction
Investigating coevolutionary algorithms in agent-based economic systems
Trustworthiness of Web information evaluation framework
Fuzzy logic and neural network techniques in data analysis
Notation for object-oriented design
A comparison of encoding schemes for neural network evolution
Generative probabilistic models for object segmentation
State transition specifications of abstract machines
Applicability of neural networks to software security
A high-level framework for policy-based management of distributed systems
Computational structures for application specific VLSI processors
Nominal lambda calculus
Algorithmic verification problems in automata-theoretic settings
A language to script refactoring transformations
Admission control optimisation for QoS and QoE enhancement in future networks
Efficient security management for active networks
Computer simulations of particulate recording media
Propagation models for an improved trade-off between speed and accuracy
A framework to guide the design of environments coupling mobile and situated technologies
Associative memory neural networks : an investigation with application to chaotic time series prediction
Support of elastic TCP traffic over broadband geostationary satellite networks
Learning to program in a connected world: a study of 1st year undergraduates
Using trails to improve map generation for virtual agents in large scale, online environments
Towards a topology-based vector image representation
Ontology-based automatic text classification
Real-time rendering of large surface-scanned range data natively on a GPU
Pedestrian detection and re-identification in surveillance video
Fairness and stability in structured environments
A new framework and learning tool to enhance the usability of software
Computing Egomotion and Surface Slant From Optical Flow
Efficient supervision for robot learning via imitation, simulation, and adaptation
An investigation of interactions with multimodal graphs on mobile devices
Formal verification of concurrent programs in type theory
Symbolic reasoning in games
Fixed-point logics with choice
Reasoning about contingent events in distributed systems
A framework for exploratory software development : integrating software version control and undo support
Flexible information management strategies in machine learning and data mining
Optical wireless communication systems
Algebraic verification of hybrid systems in Isabelle/HOL
GRAPE: parallel graph query engine
Scaling real-time event detection to massive streams
Content and service adaption management
More intelligent delivery of numerical analysis to a wider audience
On reasoning about action and change in the Fluent Calculus
Delivering the benefits of persistence to system construction and execution
Active control of zoom for computer vision
Monitoring of traffic anomalies using microscopic traffic variables in vehicular transportation networks
Optimization and guess-then-solve attacks in cryptanalysis
Formal verification of deep reinforcement learning agents
A configurable data modelling system
Gifting personalised trajectories in museums and galleries
Fault injection testing of software implemented fault tolerance mechanisms of distributed systems
Right on time : measuring, modelling and managing time-constrained software development
Designing a smart card face verification system
Immune inspired memory algorithms applied to unknown motif detection
Malaria elimination modelling in the context of antimalarial drug resistance
Video object segmentation and applications in temporal alignment and aspect learning
Illumination invariance for face verification
Structural analysis of Arabic tweets
3D facial performance capture from monocular RGB video
Plan acquisition through intentional learning in BDI multi-agent systems
Towards the automatic analysis of metric modulations
Extending touch with eye gaze input
Computational logic : structure sharing and proof of program properties
Development of second order understanding as a basis for organisational improvement
Type systems for coordination languages
Multi-tasking scheduling for heterogeneous systems
Data-driven detection and diagnosis of system-level failures in middleware-based service compositions
Quality of service for multimedia and control system applications in mobile ad-hoc network
Multiscale analysis for off-line handwriting recognition
Prosody generation for text-to-speech synthesis
A formal descriptive theory of software-based creative practice
Exploring adjustable autonomy in intelligent environments
Personal informatics systems and the integration of data from novel sensor technologies
A memory-aware scheduling framework for streaming applications on multicore systems
Examining the use of visualisation methods for the design of interactive systems
Transfer in reinforcement learning
The gameful museum: authenticity and entertainment in the digital age
The application of mixed reality within civil nuclear manufacturing and operational environments
A component system architecture to enable user-directed component binding at run-time
Semi-supervised topic models applied to mathematical document classification
Semi-automatic quantitative assessment of cancer-cell invasion 'in vitro' : an image-processing approach
Effective design, configuration, and use of digital CCTV
Reasoning about quality in the Web of Linked Data
Adaptive exercise selection for an intelligent tutoring system
A semantic study of data independence with applications to model checking
Modeling and algorithmic development for selected real-world optimization problems with hard-to-model features
Users' relevance criteria for videos in leisure contexts
Reduction of the order of linear systems
The maker of imaginary worlds: interactive theatre for early years
Modelling metrical flux: an adaptive frequency neural network for expressive rhythmic perception and prediction
Analogue to information system based on PLL-based frequency synthesizers with fast locking schemes
An evaluation of performance enhancements to particle swarm optimisation on real-world data
Bayesian latent variable models for the collaborative Web
An intelligent soft-computing texture classification system
Ontology driven information retrieval
Patterns and model transformation tools for designing Contractual State Machines
Modelling bipedal locomotion using wavelets for figure animation
Designing for effective freehand gestural interaction
On the efficiency of finding and using tabular data summaries: scalability, accuracy, and hardness
Applying the object-oriented paradigm to databases by extending the relational model
Internet traffic engineering
Bayesian networks for health care support
The exploration of a category theory-based virtual geometrical product specification system for design and manufacturing
Helping developers to help each other: a technique to facilitate understanding among professional software developers
Understanding the ubiquity of self-deception: the evolutionary utility of incorrect information
Analysing and improving the security of contactless payment cards
An efficient reactive model for resource discovery in DHT-based peer-to-peer networks
User-centric traffic engineering in software defined networks
Pulse-stream binary stochastic hardware for neural computation : the Helmholtz Machine
Insider threat: memory confidentiality and integrity in the cloud
Stochastic model predictive control
Gaussian process modelling for audio signals
Strategic framework to minimise information security risks in the UAE
Heuristic ensembles of filters for accurate and reliable feature selection
Deep learning for reading and understanding language
Model checking web applications
A Special Purpose Processor for Database Systems
Reducing energy consumption in mobile ad-hoc sensor networks
Spectroscopic analysis of nanodielectric interfaces
Abyssal ocean circulation driven by geothermal fluxes
Decomposition schemes for polynomial optimisation, semidefinite programming and applications to nonconvex portfolio decisions
Modelling and multiarm robot manipulation of non-rigid materials
Input-output relative stability measures in the synthesis and control of nonlinear systems
Synchronisation of coupled dynamical systems
Multipeer transport services : from fundamentals towards realisation
Supervisory system functioning in memory tasks and interference from secondary tasks
Bayesian mixture models for frequent itemset mining
Improving intrusion detection systems using data mining techniques
Type representations and coordination
Simplifying co-located collaboration in screen-based virtual environments
Global-adaptive particle swarm optimisation algorithms for single and multi-objective optimisation problems
Data quality and data cleaning in database applications
Service-oriented grids and problem solving environments
Using traceability in model-to-model transformation to quantify confidence based on previous history
Time Series classification through transformation and ensembles
A conceptual framework for supporting gender inclusivity in games
Simulation performance studies of communication networks
Identifying stylometric correlates of social power
An empirical investigation into the effectiveness of a robot simulator as a tool to support the learning of introductory programming
Smart distributed processing technologies for hedge fund management
Reliable communication protocols for high-performance computing
Holographic interference : structural deformation detection applied to cultural heritage objects
Evolutionary emergence: the struggle for existence in artificial biota
Design and implementation of a language for manipulating algebraic formulae
An empirical study on encapsulation and refactoring in the object-orientated paradigm
Domain-specific lexicon generation for emotion detection from text
Towards high efficiency microfluidic DNA extension for genomic analysis
Monitoring individual animals through a collaborative crowdsourcing and citizen science platform
Applications of data fusion in data approximation
Automatic identification of presentation failures in responsive web pages
Distributed contextual anomaly detection from big event streams
Autonomic behavioural framework for structural parallelism over heterogeneous multi-core systems
A complete reified temporal logic and its applications
Reflective development in the computing curriculum
A combined approach for hiding partial information in RSA
Next-Generation railway inspection approaches based on a combination of multiple sensing technologies
Supporting continuous multimedia services in next generation mobile systems
Developing methods for computer programs including a notion of interference
Dynamics and control of robots
Knowledge sharing and reuse for engineering design
Description-based visualisation of ethnic facial types
Development of new cost-sensitive Bayesian network learning algorithms
Structural testing techniques for the selective revalidation of software
Child-centred technologies as learning tools within the primary classroom: exploring the role of tablets and the potential of digital pens in schools
Bayesian analysis for categorical survey data
A modular architecture for systematic text categorisation
Novel techniques for modelling uncertain human reasoning in explainable artificial intelligence
Extensions to the root locus method
Dependability and the management of large distributed systems
Network application detection techniques
Knowledge refinement in constraint satisfaction and case classification problems
Attack graph approach to dynamic network vulnerability analysis and countermeasures
Conversational Arabic Automatic Speech Recognition
DIALOG : a dataflow interpretation approach to logic programs
Simultaneous localisation and mapping with prior information
AI for people with visual impairments: exploring designing for interdependence
Co-operative query management
The design and analysis of computer experiments
Developing support for Electrophysiologically-Interactive Computer Systems (EPICS)
Key-frame analysis and extraction for automatic summarization of real-time videos
Visualisation, optimisation and machine learning: application in PET reconstruction and pea segmentation in MRI images
Multiple-model structures applied to fault tolerant control in heating, ventilation and air conditioning systems
Self-organising transparent learning system
Benders decomposition in reservoir management
An artificial intelligence approach to the conceptual description of videodisc images
High level data fusion
Understanding and exploring people's food beliefs to design healthy eating applications
Towards a general model for the design of virtual reality learning environments
Hardware and software aspects of parallel computing
Application of a financial quantitative risk model to information security risk assessment
Combining representation learning with logic for language processing
Transcending static deployment of circuits : dynamic run-time systems and mobile hardware processes for FPGAs
Theory of mind across biological and artificial embodiment: theory, experiments and computational models
Karhunen-Loeve expansions and their applications
Generic autonomic adapter architecture and policy model for semantic socio-cyber-physical collaborative network
Using self-reported social networks to improve opportunistic networking
An investigation of feedforward neural networks with respect to the detection of spurious patterns
Coarse preferences: representation, elicitation, and decision making
Agile security for Web applications
Automatic error recovery for LR parsers in theory and practice
An investigation into a speaker dependent coding system
Regulating competence-based access to agent societies
Vanishing windows : a technique for adaptive screen management
Energy efficient processing in opportunistic vehicular edge clouds
A joint application of soft systems methodology and object-oriented analysis in determining organisational information requirements