yusuke1997/dblp-id-title huggingface dataset:
A genetic algorithm approach for combinatorial optimisation problems
The computational complexity of approximation of partition functions
Trust* : extending the reach of trust in distributed systems
An investigation into MAC layer frame clustering for wirelass LAN intrusion detection
Dynamic analyses of malware
EA-Miner : An automated approach for early aspect mining
Arguing from experience : persuasive dialogue based on association rules
A multi-microprocessor computing system with an optimised asynchronous unibus architecture
Investigation of the role of service level agreements in Web service quality
Managing complex models for computer graphics
Practical Bayesian optimisation for hyperparameter tuning
Essays in macroeconomics and machine learning
Neural and non-neural approaches to authorship attribution
Digital foresnic analysis for compressed images and videos
Mono- and cross-lingual paraphrased text reuse and extrinsic plagiarism detection
Design and Implementation of Relational Databases with Application to a Hospital Information System
A reflective study of how security conceptualises the international standardisation of security
Dense pose estimation of deformable objects
Object-oriented data mining
Trust for resource control: self-enforcing automatic rational contracts between computers
Learning and using methodologies in information systems analysis and design
Towards harnessing computational workflow provenance for experiment reporting
Effective, usable and learnable semantic search
Advances in nonnegative matrix factorization with application on data clustering
Simultaneous recognition, localization and mapping for wearable visual robots
Multi-task learning with convolutional neural networks
Tackling sequence to sequence mapping problems with neural networks
Robust and intelligent control approaches for biologically inspired motion generation with an anthropomorphic robot arm
New generation IP quality of service over broadband networks
Enhanced root extraction and document classification algorithm for Arabic text
Intelligent support for group work in collaborative learning environments
The use of virtual environments in internet-based teleoperation
Protocol modelling: synchronous composition of data and behaviour
Multisite adaptive computation offloading for mobile cloud applications
A secure integrated framework for fog-enabled cyber physical systems
End-to-end containment of internet worm epidemics
Intelligent routing algorithm for mobile Internet Protocol Television
Real-time detection of auditory : steady-state brainstem potentials evoked by auditory stimuli
Constituting reference in natural language : the problem of referential opacity
Algorithms and complexity of problems arising from strategic settings
The quality of probabilistic search in unstructured distributed information retrieval systems
The development and evaluation of the derivative model approach to improving ICT usability
Dynamical systems techniques in the analysis of neural systems
Critical node identifcation for accessing network vulnerability: a necessary consideration
Qualitative spatial reasoning with super-intuitionistic logics
Refactoring Haskell programs
Remote maintenance of real time controller software over the internet
Guidelines to assist building effective educational applications and e-games for children with ADHD
Devising accreditation protocols for near-term quantum computing devices
Service quality and profit control in utility computing service life cycles
Efficient monitoring of large scale infrastructure as a service clouds
Compiler and runtime support for heterogeneous programming
On the causation and timing of mutations during cancer evolution
Cross-layer enhancements for error resilient video delivery over wireless networks
High-mobility graphene nano-rectifiers and transistors for high frequency applications
The cybernetic basis for human reconstruction : an application for the Middle East
SAERMA: Stacked AutoEncoders Rule Mining Algorithm for the Interpretation of epistatic interactions in GWAS of extreme obesity
Semantic Web technologies in the provision of personalised patient education
Continuous dynamic optimisation using evolutionary algorithms
Software for a linked computer system
A machine learning approach for smart computer security audit
Managing mobile connections
Bayesian structural inference with applications in social science
Non-reversible mathematical transforms for secure biometric face recognition
Automatic compiler generation from natural semantics specifications
An interpretive field study of packaged software selection processes
Multiview video view synthesis and quality enhancement using convolutional neural networks
Opal : modular programming using the BSP model
Smartphone assisted pedestrian localization within buildings
A hybrid object-oriented environment integrating neural networks and expert systems
Extended update plans
On the parallel solution of O.D.E.S
Effective communication of information security risk
Modular compilation in high level languages
Privileged Learning using Unselected Features
Content addressable memory : design and usage for general purpose computing
Enhancing the semantic power of functional database languages
Decoherence and measurement in solid state quantum computers
Motion analysis of cinematographic image sequences
A visual analytics approach for visualisation and knowledge discovery from time-varying personal life data
Visualizing genetic transmission patterns in plant pedigrees
A network science framework for detecting disruptive behaviour on social media
Assistive visual content creation tools via multimodal correlation analysis
Data-driven modelling of perceptual properties of 3D shapes
Visualization of analytic provenance for sensemaking
On the construction of persistent programming environments
The implementation of functional languages on an object-oriented architecture
Multiparty interactions in dependable distributed systems
Visual tracking in robotic minimally invasive surgery
A security framework for detecting enterprise-wide attacks in computer networks
MIMESIS- a continuous system simulation language
Promoting energy efficiency and longevity in energy neutral sensor systems
Systematic support for accountability in the cloud
Hyper-heuristics for grouping problems
Denotational semantics in the definition of natural language uses
Context Transfer Support for MobilityManagement in All-IP Networks
Routing and video streaming in drone networks
A fuzzy logic-based system for soccer video scenes classification
Implementation, management and dissemination of information security : an organisational perspective of financial institution
Sparse Gaussian process approximations and applications
Planning as quantified Boolean formulae
Semantically aware hierarchical Bayesian network model for knowledge discovery in data: an ontology-based framework
Innovation of a design method (MoIST) that incorporates non-traditional 'soft' systems science into traditional 'hard' information systems design
A deep learning-based approach to identifying and mitigating network attacks within SDN environments using non-standard data sources
Evidential analysis for computer-generated animation (CGA)
Design methodologies and tools for vertically integrated circuits
Models of the performance of evolutionary program induction algorithms
Enhancing dynamic symbolic execution via loop summarisation, segmented memory and pending constraints
Text fragment identification with evolving fuzzy grammars
Information Security Risk Management for Ubiquitous Computing
The electrical processing of laboratory data
Word sense disambiguation and information retrieval
Machine representation : being a study of the representation of the single-phase shaded-pole induction motor
Variational approximate inference in latent linear models
Multiple Action Recognition for Video Games (MARViG)
Research on digital image watermark encryption based on hyperchaos
An investigation into generating readable software from logic specifications
Planning and decision-making for energy recovery from waste at the sub-regional level
Adaptive type-2 non-singleton type-2 fuzzy logic system for handling numerical and linguistic uncertainties in complex processes
Models of novelty detection based on machine learning
Creative software development : an empirical modelling framework
Selected problems in data driven and traffic related networks
Data parallel lazy function programming
Information fusion for improved motion estimation
An introspective approach to robot plan execution
Requirements engineering of context-aware applications
A dynamic logistic model for combining classifier outputs
The Non-Steady Characteristics of Pneumatic Servovalves
An analysis of diversity in genetic programming
Machine learning modelling, optimisation and thermal compensation of photonic waveguides
Modelling decision making under uncertainty : machine learning and neural population techniques
Frame based knowledge representation in an ADAM architecture
Speech recognition in noise using weighted matching algorithms
Android smartphone apps: privacy concerns of unregulated permissions on social and psychological contracts
Hybrid algorithms of microbial genetic algorithm and particle swarm optimization for automatic learning groups composition
A self-learning framework for validation of runtime adaptation in service-oriented systems
Practical fault-tolerant quantum computing
Implementations of information theory in molecular dynamics, quantum measurement and genetic data analysis
Registration of prostate surfaces for image-guided robotic surgery via the da Vinci System
The effect of programming competency on success in undergraduate team projects in computing science
Event structures with persistence
Cluster-based semi-supervised ensemble learning
Early conversations about computer requirements: alternative approaches to understanding conversations between computer systems analysts and potential computer users, with a view to discovering what should be taught to computer experts about how to discover users' requirements
Distributed systems management service
Adaptive Algorithms and Variable Structures for Distributed Estimation
Adaptive visual tracking via multiple appearance models and multiple linear searches
The dynamics of articulated mechanisms
Collaborative sensing and communication schemes for cooperative wireless sensor networks
Detections and applications of saliency on 3D surfaces by using retinex theory
An empirical assessment of model driven development in industry
Revealing behaviours of concurrent functional programs by systematic testing
Enzyme genetic programming : modelling biological evolvability in genetic programming
Hashing, pooling and coding: towards optimal embedding in linguistic steganography
The abstract structure of quantum algorithms
A framework for the runtime analysis of algorithm configurators
Simulating ethical behaviour in virtual characters
Research grounded support of student learning in Higher Education: the importance of dialogue and subject embedded, contextualised language and content
Investigations into decrypting live secure traffic in virtual environments
Adaptive multiple importance sampling for Gaussian processes and its application in social signal processing
Novel image representations for visual categorisation with 'Bag-of-Words'
Automated optimization of reconfigurable designs
Deep learning for real world face alignment
Load distribution within a heterogeneous multiprocessor computer music system
Natural freehand grasping of virtual objects for augmented reality
Providing support in probability elicitation
Integrated learning in multi-net systems
A λ-calculus interpreter and its relationship to algorithmic languages
Evaluating the impact of variation in automatically generated embodied object descriptions
Learning dynamic motor skills for terrestrial locomotion
Evolution of fish schools: a theoretical study by agent-based simulation and game-theoretic analysis
Compact forbidden-set routing
Towards a high-level language specification for associative string processing
Predictive control of third and higher order systems
Novel analytical modelling-based simulation of worm propagation in unstructured peer-to-peer networks
Apparatus: a design and analysis security framework for IoT systems
Mining time-series data using discriminative subsequences
An exploration of the creative challenges in representing human movement in digital animation: exploring the range and limits of human and quasi-human expression in animation and related disciplines, defined by technology, nature and imagination
The acquisition, modelling and estimation of canine 3D shape and pose
Inter-neuron interconnect strategies for hardware implementations of neural networks
Deep visual learning with spike-timing dependent plasticity
Analysis of liveness through proof
Handling concatenation in trace- and model-checking
An investigation of multilevel refinement in routing and location problems
An investigation into the feasibility, problems and benefits of re-engineering a legacy procedural CFD code into an event driven, object oriented system that allows dynamic user interaction
Support for video distribution through multimedia caching
Channel modelling for wireless sensor networks
Theoretical and practical tools for validating discrete and real-time systems
Variable speed walking and running in physically active lower-limb amputees : gait biomechanics and prosthetic design influences
Supporting authoring of adaptive hypermedia
The development of a new systematic method based on activity systems that analyses the activity of learning programming
Automatic generation of spatial configurations in user interfaces
Picture theory : algorithms and software
Investigation into reduction and/or prevention of cybercrime victimisation among the user individuals
A constraint programming pre-processor for duty scheduling
Alzheimer's disease diagnosis based on cognitive methods in virtual environments and emotions analysis
Speech fundamental period estimation using pattern classification
Dielectrics for high temperature superconducting applications
Multi-objective planning using a metric sensitive planner
Towards a subjective knowledge elicitation methodology for the development of expert systems
On characterisation and decomposition of internet traffic dynamics
Formal specification based prototyping
Facial biometrics on mobile devices: interaction and quality assessment
Definition and verification of computer network protocols
Multi modal multi-semantic image retrieval
Taming web data : exploiting linked data for integrating medical educational content
Pathways to autopoiesis: a computational study of the emergent properties of self-producing systems
Cross-layer design for scalable/3D wireless video transmission over IP networks
Large scale qualitative spatio-temporal reasoning
Integrating behavioural design into the virtual environment development process
Tennis ball tracking for automatic annotation of broadcast tennis video
Usability engineering for embodied conversational agents with older users
Head mounted display architectures for 3D augmented reality
Building trajectories through clinical data to model disease progression
The development of a general-purpose dynamic simulator for food process design and simulation
The determinants of program designer behaviour : an empirical study
Deep learning for communication: emergence, recognition and synthesis
Distribution forecasting of nonlinear time series with associative memories
On the interaction of function, constraint and complexity in evolutionary systems
Dynamic Handwriting Recognition by Computer
Investigation of lighting and disturbing reflections on display screens : a new model for judging acceptability
A database programming language : definition, implementation and correctness proofs
Fast learning artificial neural networks for classification
Investigation into magnetic storage devices using the finite element technique
Stream surface seeding for flow visualisation
Dependently typed functional programs and their proofs
Improvement criteria for constraint handling and multiobjective optimization
Exploring sparse, unstructured video collections of places
Configuring a Massively Parallel CMP system for Real-Time Neural Applications
Bloom maps for big data
Boris : a framework for multi-agent systems design and deployment
An energy expert advisor and decision support system for aluminium melting and casting
Heuristic approaches for real world examination timetabling problems
Context of processes : achieving thorough documentation in provenance systems through context awareness
A study of the feasibility of using automata domain attributes in content-based image retrieval
Various techniques and procedures for refining ERS-1 orbits
Going beyond semantic image segmentation, towards holistic scene understanding, with associative hierarchical random fields
Partial discharge signal propagation, modelling and estimation in high voltage transformer windings
Lock inference for Java
Towards feasible, machine-assisted verification of object-oriented programs
Towards efficient support for massive Internet of Things over cellular networks
RF barcodes for identification and tagging
Shallow water equations in real-time computer graphics
Dynamic generalisation of continuous action spaces in reinforcement learning : a neurally inspired approach
Non-linear adaptive equalization based on a multi-layer perceptron architecture
Improved neighbourhood search-based methods for graph layout
Novel type systems for client-server interactions in the [pi]-calculus
An holistic approach to software quality : the development of a contingent model
Towards a computable scientific method : using knowledge representation techniques and technologies to support research
A nanostructured porous silicon based drug delivery device
Poly-algorithmic techniques in real quantifier elimination
A non-standard semantics for program-slicing and dependence analysis
Cognitive networking for the internet-of-underwater-things
Tree manipulation algorithms and the design processing software
Microprogramming support for programming languages
Automatically annotating images with keywords
Databases for distributed realtime systems
Learning temporal models for interpreting dynamic scenes
Empirical modelling for participative business process reengineering
Analysis of facial and body feature point trajectories for automatic affect recognition
Optimising the placement of SDN controllers
A sophisticated shell environment
Investigation of iris recognition in the visible spectrum
Active expert sourcing: knowledge extraction from domain specific information
Scalable and responsive SDN monitoring and remediation for the Cloud-to-Fog continuum
Pattern Recognition Algorithms and the Design of Hardware Accelerators to Permit Their Real-Time Operation
Text segmentation in web images using colour perception and topological features
Architecture-neutral parallelism via the join calculus
Complete functional testing of hardware descriptions
Towards emotional and socially realistic game companions with personality
Design and evaluation of gamified questioning-based online educational applications for secondary school students
Detail to attention : exploiting limits of the human visual system for selective rendering
Distributed simulations on a computational Grid
Life cycle assessment of data centres and the development of a software tool for its applications
Optimisation of resources deployment in a call centre by using stochastic data in simulation models
Logic-based machine learning using a bounded hypothesis space : the lattice structure, refinement operators and a genetic algorithm approach
Effective network complexity
A framework for the communication and organisation of requirements perspectives
Quantum information processing using the power-of-SWAP
Automated semantic forgetting for expressive description logics
CAPTURE - Cooperatively Applied Positioning Techniques Utilizing Range Extension
A modelling-oriented scheme for control chart pattern recognition
A study of time and energy efficient algorithms for parallel and heterogeneous computing
E-SCAPE : an extendible sonic composition and performance environment
A metalogical analysis of vagueness : an exploratory study into the geometry of logic
A systematic approach to model-based engineering of cyber-physical Systems of Systems
Adaptive flexible instruction processors
Diary mining: predicting emotion from activities, people and places
Maximum entropy modelling for quantifying unexpectedness of data mining results
An investigation of scientific visualisation concepts for wave propagation through dispersant media
Bodies-in-space : investigating technology usage in co-present group interaction
A privacy enhancing infrastructure for context-awareness
Visual and Tactile Feedback for the Automatic Manipulation of Engineering Parts
Extending association rule mining
Object-oriented development and reuse
Early detection of network problems using existing network indicators : local agent based approach
Time, causality, and concurrency
Bootstrapping structure into language : alignment-based learning
Constructing modifiable middleware with component frameworks
ITL Monitor: compositional runtime analysis with Interval Temporal Logic
Supervised extractive summarisation of news events
Computer graphic manipulations in the study of face perceptions
A rule-based system for automated spatial layout planning
Model driven language engineering
Discovering culturomic trends in large-scale textual corpora
Synthesizing fundamental frequency using models automatically trained from data
A model for human-computer interaction based on human-human communication in a social context
A system for interactive manipulation of tree structures
Automated software testing of relational database schemas
Mobile privacy leakage detection and prevention: from technical solutions to user experience
Location modelling and management in ubiquitous computing environments
Periodic patterns in human mobility
Deforestation for higher-order functional programs
Monitoring and analysis of network traffic for information security
Named entity recognition and classification in search queries
Algorithms in computer-aided design of VLSI circuits
Improving leader-follower formation control performance for quadrotors
On-line decision support for take-off runaway scheduling at London Heathrow Airport
An investigation into solid dielectrics
The use of non-formal information in reverse engineering and software reuse
Type inference for JavaScript
Development and evaluation of an experimental undulating-fin device using the parallel bellows actuator
Investigating perceptual congruence between information and sensory parameters in auditory and vibrotactile displays
The effectiveness of a knowledge-based system as a simulation front-end
Two-dimensional modal logics with difference relations
Machine learning applications in generative design
The application of software product line engineering to energy management in the cloud and in virtualised environments
The relational experience of Facebook
Adaptive Function Modal learning Neural Networks
Investigation of routing optimization schemes for future all-IP dynamic access network structures
An algebraic semantics of Prolog control
Human decision-making in computer security incident response
Practical lock-freedom
Majority problems in distributed systems and clustering in structured graphs
Three-dimensional interactive non-photorealistic rendering
Scalable deep learning for bug detection
An architectural framework for assessing quality of experience of web applications
Robust deformable model for 3D face alignment and tracking
High speed 2D/3D medical image registration
VOML : virtual organization modelling language
Foundations research in information retrieval inspired by quantum theory
Estimating the design and development cost of electronic items
An agent-based ontological model to support outsourcing decision making
Transductive algorithms for regression estimation with confidence in the typicalness framework
Going the extra half-mile : international communities of practice and the role of shared artefacts