yusuke1997/dblp-id-title huggingface dataset:
Addressing the knowledge transfer problem in secure software development through anti-patterns
Framework for composition of domain specific languages and the effect of composition on re-use of translation rules
Toward efficient deep learning with sparse neural networks
The Internet of Things: the language and practice of early IoT adopters, 2011-2013
Transparent authentication utilising gait recognition
Bayesian optimisation over mixed parameter spaces
Computational approaches for verbal deception detection
A collaborative e-science architecture for distributed scientific communities
Conceptual structures in experience bases and analogical reasoning
Transferrable learning from synthetic data: novel texture synthesis using Domain Randomization for visual scene understanding
CoDesign with data
Incompressible SPH (ISPH) on the GPU
Use of virtual reality to support nuclear decommissioning
Free-hand sketch understanding and analysis
An investigation into establishing a generalised approach for defining similarity metrics between 3D shapes for the casting design problem in case-based reasoning (CBR)
Autoencoder for clinical data analysis and classification: data imputation, dimensional reduction, and pattern recognition
The integration of cloud radio access network in 5G
Defending against phishing attacks
Less is more: the neuromorphic engineering advantage
Recognition, reorganisation, reconstruction and reinteraction for scene understanding
Prediction of user behaviour on the Web
Fault-tolerant parallel applications using a network of workstations
Weak mutually unbiased bases with applications to quantum cryptography and tomography
A novel intrusion detection system (IDS) architecture : attack detection based on snort for multistage attack scenarios in a multi-cores environment
Interactive computer graphics in quantum chemistry research
Voxel modelling for rapid manufacturing
Games 4 VRains: affective gaming for working memory training in virtual reality
Representation of case law for argumentative reasoning
Abductive and constraint logic programming
Efficient routing primitives for low-power and lossy networks in Internet of Things
A Bayesian spatial interaction framework for optimal facility location in urban environments
The development of a control oriented language
A biologically inspired neural network for robot navigation
Analytics and Information Management in Higher Education
Queueing network models for computer system performance prediction
Global optimisation techniques for image segmentation with higher order models
More adaptable code generation
Simple polymorphic usage analysis
The significance of models of vision for the development of artificial handwriting recognition systems
Upper and lower bounds for singularly perturbed linear quadratic optimal control problems
Real-time rendering of animated crowd scenes
An iterative-style approach to constructing intelligent tutoring systems in mathematics
The application of multiple modalities to improve home care and reminder systems
Self-reconfigurable, intrusion-tolerant, web-service composition framework
Type inference, Haskell and dependent types
Assessing diagnostics for fault tolerant software
Negation in logic and deductive databases
A region-based approach to image and video fusion
Descriptive complexity of constraint problems
Systems of concepts and their extraction from text
A portable worst-case execution time analysis framework for real-time Java architectures
Class-based single view reconstruction
Improving tool support for Personal Task Management (PTM)
An investigation of the effectiveness of open hypertext text techniques for qualitative decision support
Incorporating prior knowledge into deep neural networks without handcrafted features
An investigation of methods of using computers for processing and storing architectural designs
Asynchronous event handling and the real-time specification for Java
A novel approach to scene determination in virtual reality systems
A new methodology for requirements elicitation
Privacy-preserving and fraud-resistant targeted advertising for mobile devices
Active provenance for data intensive research
Information discovery for interoperable autonomous database systems
Robustly inferring identity across digital and physical worlds
Animated systems engineering : a new approach to high quality groupware application specification and development
A theory of state-based parallel programming
The politics of internet infrastructure: communication policy, governmentality and subjectivation in Chhattisgarh, India
A fictitious domain approach for hybrid simulations of eukaryotic chemotaxis
Managing epistemic uncertainties in the underlying models of safety assessment for safety-critical systems
Fast statistically robust image registration
Formally-based tools and techniques for human-computer dialogues
Human factors of ubiquitous computing : ambient cueing in the digital kitchen?
Understanding the performance of Internet video over residential networks
Mining negation and uncertainty in social healthcare networks
A study into best practices and procedures used in the management of database systems
A proactive chatbot framework designed to assist students based on the PS2CLH model
A quantum behaved particle swarm approach to multi-objective optimization
Nonlinear time series modelling and prediction using polynomial and radial basis function expansions
Temporal processing of news : annotation of temporal expressions, verbal events and temporal relations
Querying graphs with data
A framework for quality of service support of on-demand multicast services in the Internet
A parallel architecture for storage and retrieval of spatial data
Ligand-receptor interaction modelling using PET imaging
Localisation and symmetry in computational pathology
Evolutionary learning and global search for multi-optimal PID tuning rules
Verified programming with explicit coercions
Hybrid Monte Carlo studies of high temperature superconductors
Data model refinement, generic profiling, and functional programming
Models for information propagation in opportunistic networks
Emotional responses to the Facebook news feed : memory, utility and interestingness
Estimating uncertainty in multiple fibre reconstructions
Topic indexing and retrieval for open domain factoid question answering
Performance evaluation and user interface design for isolated speech recognition
From visual saliency to video behaviour understanding
Experimental analysis of representation learning systems
The C11 and C++11 concurrency model
An approach to distributed information management systems for power systems applications
A user modelling approach to computer based advice generation
A KD framework in football data analytics: a value co-creation framework for the use of knowledge discovery technologies in the football industry
Supervised and unsupervised weight and delay adaptation learning in temporal coding spiking neural networks
A decision support model for mobile technology enhanced teaching
Novice programmer errors: analysis and diagnostics
Model predictive control for linear time invariant systems using linear matrix inequality techniques
Neuro-fuzzy control in tele-robotics
The Development of an Algol Based Simulation Language for Continuous Systems
The Development of an Analog Magnetic Store, and the Investigation of its use as an Adaptive Element for Pattern Classifiers
Some topics on similarity metric learning
Analytical approaches to games development
Evaluation of engagement with hyperlocal e-participation systems by citizens and representatives
Discovering regression and classification rules with monotonic constraints using Ant Colony Optimization
Cost-sensitive decision tree learning using a multi-armed bandit framework
PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation
Trajectory based video analysis in multi-camera setups
Indeterminacy-aware prediction model for authentication in IoT
Neural networks assisted PID auto-tuning
An investigation into the issues of multi-agent data mining
The interconnection of local area networks using bridges
Remote visual observation of real places through virtual reality headsets
Evolving developmental, recurrent and convolutional neural networks for deliberate motion planning in sparse reward tasks
A type-2 fuzzy logic based goal-driven simulation for optimising field service delivery
Intelligent techniques for automatic feature recognition in CAD models
Biologically-inspired motion detection and classification : human and machine perception
Simulating the colour of port wine stain skin
A study of numerical algorithms for hypercube multiprocessor systems
Type-based amortized stack memory prediction
An approach to high performance image classifier design using a moving window principle
Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra)
Context aware Web-service monitoring
Ethnography and system design
Planning discourse by modelling audience interpretation strategies
Efficient digital techniques for speech processing
The resilience and optimisation of cloud computing
Fast and efficient algorithms on strings and sequences
Utilising networked workstations to accelerate database queries
Cost-effective data wrangling in data lakes
Digital image watermarking
Banking theory based distributed resource management and scheduling for hybrid cloud computing
Formal models of reproduction : from computer viruses to artificial life
Digital data acquisition at the dropping mercury electrode
Knowledge-centric autonomic systems
Sketch abstraction
Improving security and performance for capability systems
Fixed broadband wireless access systems at millimeter wave frequency
Mentality patterns : recurring turns of mind as first-class concerns in software engineering
Optimising networks for ultra-high definition video
The ergonomics of wearable computers : implications for musculoskeletal loading
An investigation into distributed agile software development
Tools for discovery, refinement and generalization of functional properties by enumerative testing
reCreate, reMove, and rePlace : digital media arts in academia
An enhancement on targeted phishing attacks in the State of Qatar
Model driven certification of Cloud service security based on continuous monitoring
Information systems framework for enterprise agility
Computer aided mathematical modelling of turbulent flow for orifice metering
Robust regression on clustered data and signature based online Arabic handwriting recognition
An algebraic approach to syntax, semantics and compilation
On using fuzzy data in security mechanisms
A web-based 3D virtual environment for managing large volumes of imagery data
The analysis and design of switching networks for highly parallel computer systems
Aspect discovery and sentiment classification for online reviews
A conceptual basis for software engineering measurement
Confusion modelling for lip-reading
Re-feedback : freedom with accountability for causing congestion in a connectionless internetwork
An adaptive SOM model for document clustering using hybrid neural techniques
Improving distributed visualisation rendering for grid environments through stream adaptation
Strategic logics : complexity, completeness and expressivity
Software quality and software process improvement in teleworking environments
Distributed integrated networks
Gigahertz clocked point-to-point and multi-user quantum key distribution systems
Spectrum monitor for cognitive radio
An analogue VLSI study of temporally-asymmetric Hebbian learning
An agent-based model of the IL-1 stimulated Nuclear Factor-kappa B signalling pathway
Asking intelligent questions : the statistical mechanics of query learning
Applications of Artificial Neural Networks (ANNs) in exploring materials property-property correlations
Formal languages and the irreducible word problem in groups
Evasion-aware botnet detection using artificial intelligence
Efficient accumulation, analysis and visualisation of full-waveform LiDAR in a volumetric representation with applications to forestry
Understanding iconography : a method to allow rich picture interpretation to improve
Learning deformable models for tracking human motion
SAFE-FLOW : a systematic approach for safety analysis of clinical workflows
Analysing and bounding numerical error in spiking neural network simulations
Requirement validation with enactable descriptions of use cases
Lattice rescoring methods for statistical machine translation
Clustering algorithms for large scale graph data
Rapid three-dimensional photonic scanning system for body volume measurement and body shape visualization
A multigrid approach to SDP relaxations of sparse polynomial optimization problems
An evolutionary mapping from structured to object oriented analysis
Advancing human pose and gesture recognition
An investigation into the cross-linguistic robustness of textual equivalence techniques
Orchestrating high performance services : theory and practice
On extending the capability of the image ray transform
The algebra of logic programming
Architectures for supporting Internet mobility beyond third generation mobile access networks
Towards a grounded theory of computer-assisted assessment uptake in UK universities
The Identification of Multivariable Systems
Models of circuit-switched interconnection networks
Name correction and user interface enhancements in a chemical nomenclature translator
Advanced control, hybrid modelling and optimisation for an experimental hot-rolling mill
Software engineering : testing real-time embedded systems using timed automata based approaches
User-centred design of software development environments : an example from program debugging
The agile model-driven method
Computational fabrication guided by function and material usage
Data centric and adaptive source changing transactional memory with exit functionality
Big Data: coping with data obesity in cloud environments
Massively parallel neural computation
Design and implementation of a virtual bus transport
The entity relationship model as a basis for information retrieval
Hard synchronous real-time communication with the time-token MAC protocol
Interpreting patient case descriptions with biomedical language models
Brain inspired approach to computational face recognition
Programming language abstractions for the global network
Empirical framework for building and evaluating Bayesian network models for defect predication
Motivated cooperation in autonomous agents
Recursive delegation and a trust-measuring algorithm
A message-driven VLSI architecture for parallel object-oriented systems
Finding the lazy programmer's bugs
Representing and reasoning with multi-modal inexact information: theory and applications
Dual carrier steganographic messaging protocols for mobile messaging applications
A database evolution approach for object oriented databases
Nature-inspired survivability: prey-inspired survivability countermeasures for cloud computing security challenges
Hybridising evolution and temporal difference learning
On the analysis of musical performance by computer
Automatic recognition of human behaviour in sequential data
Stereo-based image interpretation using cooperative disparity and segmentation analysis
Collaborative location privacy-aware forwarding for opportunistic mobile networks
Investigation of orthogonal polynomial kernels as similarity functions for pattern classification by support vector machines
The image ray transform
Small nets and short paths : optimising neural computation
Aggregation of a heterogeneous population of solar panels: verification and control
Rotation invariant classification of 3D surface texture using photometric stereo
An architecture based approach to specifying distributed systems in LOTOS and Z
An architecture for animated human-like interface agents
Polka: a parlog object oriented language
The robustness of constrained cross-directional control and anti-windup systems
Motion estimation for very low bitrate video coding
Adaptive algorithms for partial differential equations with parametric uncertainty
Evolving graphs by graph programming
Entropy-based resource management in complex cloud environment
Finger knuckle print and palmprint for efficient person recognition
Coalition formation and operation in virtual organisations
Hybrid modelling methodology for system design
Nanomaterial sensing: integrating MEMS technology and self-assembled monolayers
Evaluation of relational algebra queries on probabilistic databases : tractability and approximation
Software development in the post-PC era: towards software development as a service
Early detection of stress in strawberry plants using hyperspectral image analysis
Biomimetic and autonomic server ensemble orchestration
Exploiting whole-PDB analysis in novel bioinformatics applications
The impact of learning styles and cultural background on users' experience of websites
The evolution of the PCSC methodology and its toolset
A statistical mechanics approach for an effective, scalable, and reliable distributed load balancing scheme for grid networks
Product range models in injection mould tool design
Mechanism design for eliciting costly observations in next generation citizen sensor networks
SMART : an innovative multimedia computer architecture for processing ATM cells in real-time
Reverse engineering systems to identify flaws and understand behaviour
An intelligent multi-component distributed architecture for knowledge management
Optimisation of multiplier-less FIR filter design techniques
Contributions to image-based object reconstruction : geometric and photometric aspects
The principles of phase-domain information processing
The Production of Academic Timetables by Computer
Domain-based security for distributed object systems
Cryptographic access control: security models, relations and construction
Simplifying authoring of adaptive hypermedia structures in an eLearning context
Learning, realizability and games in classical arithmetic
An intelligent radio access network selection and optimisation system in heterogeneous communication environments
A management system for service level agreements in grid based systems
Neuroevolution of bipedal locomotion: algorithmic, balance penalty and morphological improvements for improved robustness and performance
Curves and surfaces for computer-aided design
Abstract machines for dynamic computation
Configuration of neural networks to model seasonal and cyclic time series
Re-presenting scientific representation
Tableau algorithms for categorial deduction and parsing
Dynamic programming using local optimality conditions for action elimination
Minimal definition signatures: computation and application to ontology alignment
The building and application of a semantic platform for an e-research society
Towards an automatic speech recognition system for use by deaf students in lectures
An approach to scalable parallel programming
An investigation into factors affecting the adoption and diffusion of software patterns in industry
Hybrid tractability of constraint satisfaction problems with global constraints
Designing the social life of books and e-books
Drag coefficients with applications to satellite orbits
Programmable service deployment with peer-to-peer networks
Effects of electronic communication on the elicitation of tacit knowledge in interview techniques for small software developments
The structure and behaviour of the continuous double auction
Monitoring, analysis and optimisation of I/O in parallel applications
Browsing versus searching in a collaborative authoring hypertext
Unpacking platform business scaling in the digital age
Representation learning with a temporally coherent mixed-representation
The design and evaluation of the specification framework for user interface design
Text and data mining for information extraction for scientific documents
Visual analysis of viseme dynamics
Artificial intelligence technologies in complex engineering design
Securing DICOM images through automatic selective encryption
Trajectory sensitivity reduction in the optimal linear regulator
Beyond multi-class : structured learning for machine translation
Environmentally adaptive noise estimation for active sonar
Statistical parse selection using semantic cooccurrences
Visualising the structure and use of large scale hypermedia databases
Distributed data management for large scale applications
Computer aided analysis of paraspinal electromyography
Towards an integrated atom chip
Enquiring and reasoning over diagrams using the semantic web
A visual programming language for real-time systems
Collaborative annotation, search and categorisation
Optical packet networking using optical time division multiplexing
A semantic object-oriented shell for the relational model
Cognitive workload measurement
An operational approach to object-oriented software development
Framework to manage labels for e-assessment of diagrams
An incompressible flow simulation environment for parallel and distributed computers
Search for software components on the Internet : component searching, information retrieval, relevance ranking & quality measurements
Networked control of distributed energy systems
Statistical disclosure control : an interdisciplinary approach to the problem of balancing privacy risk and data utility
Model predictive control
Learning to represent and predict sets with deep neural networks
A Resistive Programmable Read Only Memory
Just-in-time information interfaces: a new paradigm for information discovery and exploration
Data mining and visualisation
Using machine learning to select and optimise multiple objectives in media compression
Culture dimensions of information systems security in Saudi Arabia national health services
Analysis and synthesis of inductive families
Exploring the characteristics of abusive behaviour in online social media settings
Bidding agents for multiple heterogeneous online auctions
An integrated design procedure for real-time microprocessor applications
A formal approach to modelling real-time critical systems
Semantic models for communicating processes with value-passing
Using images to present stated preference information : an application to the built environment
Universal structure and a categorical framework for type theory
Formal specification to functional implementation : an application of mathematical techniques for the development of correct programs
The construction of general graph editors using object-oriented programming
GROVE - a computationally grounded model for rational intention revision in BDI agents
Operationalising the simulation theory for intent prediction in a multi-agent adversal environment
An implementation of Algol 68 based on the revised report
Intelligent parallel controllers
Automatic personality recognition from non-verbal acoustic cues: bridging the gap between psychology and computer science
Data mining for lead optimisation
Towards a multipurpose neural network approach to novelty detection
Investigation of virtual worlds as a platform to support healthy aging for older people
A method of program refinement
Generating adaptive hypertext
Human behaviour modelling : an investigation using traditional discrete event and combined discrete event and agent-based simulation
Rule discovery from swarm systems
A theoretical and practical study of low-level program verification
A website service quality model for B2B SME's : the proposal of a two factor eight item scale to measure website quality for B2B SMEs in either information or physical product related industries
Enterprise adoption oriented cloud computing performance optimization
Towards efficient clause retrieval in a prolog database architecture
Monitoring railway track condition using inertial sensors on an in-service vehicle
Estimation of distribution algorithms for continuous multiobjective optimization
Performance driven facial animation with blendshapes
Provenance enriched data rating assessment for crowdsourcing
Planning and control of robotic manipulation actions for extreme environments
Nonlinear prediction and classification
Incremental model-to-text transformation
Discovering mixed realities, inventing design criteria for an action based mixed reality