yusuke1997/dblp-id-title huggingface dataset:
Reconfigurable computing for advanced trading strategies
Controlling pervasive domains with ontologies and rules
Parameterised session types communication patterns : through the looking glass of session types
Secure, efficient and privacy-aware framework for unstructured peer-to-peer networks
Exploiting method semantics in client cache consistency protocols for object-oriented databases
Virtual reality for the efficient treatment of infants with feeding difficulties
Mapping the process of product innovation : contextualising the 'black box' of computer and video games design
Knowledge-based techniques for multivariable control system design
Better anonymous communications
Abstract interpretation and the parallel evaluation of functional languages
Artificial immune systems for information filtering : focusing on profile adaptation
Optimisation of a modern numerical library: a bottom-up approach
Machine learning, robotics and neuroplasticity
Analysis and control of underactuated mechanical systems
Algorithm to layout (ATL) systems for VLSI design
The impact of instruction set orthogonality on compiler code generation
Efficient learning and evaluation of complex concepts in inductive logic programming
Computer aided dysplasia grading for Barrett's oesophagus virtual slides
A programming system for end-user functional programming
Performance modelling and the representation of large scale distributed system functions
Biometric person identification using near-infrared hand-dorsa vein images
Computational methods for the alignment and score-informed transcription of piano music
A software implementation of an Internet Security Access Control Scheme (ISACS) through TCP/IP protocols
Implications of an Atlas Autocode translator for the MU5 computer system
Curiosity driven search experiences
Artificial ontogenesis : a connectionist model of development
Predicated Worst Case Execution Time Analysis
Interpreting algebraic specifications
Exploring the latent space between brain and behaviour using eigen-decomposition methods
The Evolution of Stochastic Automata
Internet traffic volumes characterization and forecasting
Ray tracing methods fo hybrid global illumination algorithms
Debugging type errors with a blackbox compiler
Enhanced symbolic execution for patch testing and document recovery
3D shape instantiation for intra-operative navigation from a single 2D projection
High throughput decoding of low density parity check codes
A creative computing approach to poetry as data
Automatic graph layout in software architecture
'Dynamic scaling for three-dimensional information visualisation'
Compilation techniques for high-performance embedded systems with multiple processors
Action recognition in depth videos using nonparametric probabilistic graphical models
Graph-based machine learning and its application on multi-omics data analysis
Reliability issues in the design of distributed object-based architectures
Achieving quality of service in mobile ad hoc networks containing packet forwarding attackers
A new algorithm for minutiae extraction and matching in fingerprint
Face sketch recognition using deep learning
Digital literacy and access for educational inclusion : a comparative study of British Muslim girls schools
Compositional software verification based on game semantics
An expert system approach to chemical hazard assessment
Computational modelling of human aesthetic preferences in the visual domain: a brain-inspired approach
A new protection model for component-based operating systems
Modelling speech acts in conversational discourse
A personal content manager for a personal distributed environment
Logical design of sequence controllers for machine operations
Towards DDoS detection with collaborative approaches in the SDN context
Emergent behaviour of neural network models with learning mechanisms coupled with astrocyte and vascular dynamics
Towards simultaneous electroencephalography and functional near-infrared spectroscopy for improving diagnostic accuracy in prolonged disorders of consciousness: a healthy cohort study
Aspects of a Capability Based Operating System
Application of search-based software testing in stress-testing of deeply embedded components in integrated circuits
Prefetching and clustering techniques for network based storage
Model-driven engineering for analysing, modelling and comparing cloud computing service level agreements
Augmented reality and scene examination
Video sequence alignment
Gaze estimation with graphics
A methodology for contextual recommendation using artificial neural networks
Escalation and de-escalation of commitment to information systems projects: an approach-avoidance perspective
The role of simulation in developing and designing applications for 2-class motor imagery brain-computer interfaces
Lattice-based direct anonymous attestation
A surface-potential-based compact model for partially-depleted silicon-on-insulator MOSFETs
Management of temporally and spatially correlated failures in federated message oriented middleware for resilient and QoS-aware messaging services
Three dimensional visualisation and quanitiative characterisation of combusition flames
Finding structure in data streams: correlations, independent sets, and matchings
Modeling and compensation of inverter nonlinear distortion effects for signal injection based sensorless control
Creative meta search: research and application
A viewpoint-oriented method for requirements definition
Novel symbolic and machine-learning approaches for text-based and multimodal sentiment analysis
The viability and potential consequences of IoT-based ransomware
A video summarisation system for post-production
The use of massively multiplayer online games to augment early-stage design process in construction
A bi-directional transformation approach for semistructured data integration
Analysis of 3D echocardiography
The Experiential Dual Layer Model (EDLM) : a conceptual model integrating a constructivist theoretical approach to academic learning with the process of hypermedia design
The Measurement of Programming Ability
Web services robustness testing
Algorithms for appliance usage prediction
Instantaneous Frequency Estimation Techniques in Sensorless Controlof AC Machines
Extracting Cancer pagurus stomatogastric ganglion pyloric rhythm frequency via voltage-sensitive dye imaging data using signal processing techniques
Knowledge sharing among ideal agents
Electrical detection of hydrogen-like donors in silicon
Graphical debugging and validation of parallel programs
Noisy combinatorial optimisation with evolutionary algorithms
The dynamic counter-based broadcast for mobile ad hoc networks
A linguistic approach to concurrent, distributed, and adaptive programming across heterogeneous platforms
Introducing combined weights and centrality measures to evaluate network topologies
Unsupervised learning with neural latent variable models
Android malware detection system using genetic programming
Cryptographic key management for the vehicles of tomorrow
The interplay between Web aesthetics and accessibility
Characterisation and performance analysis of random linear network coding for reliable and secure communication
A haptic study to inclusively aid teaching and learning in the discipline of design
Denotational semantics of mobility in Unifying Theories of Programming (UTP)
Matrix : a statistical method and software tool for linguistic analysis through corpus comparison
Cluster Analysis of Legal Documents
Managing energy consumption of hard disk drives by optimizing system interaction
Elicitation : a nonparametric view
Identification and management of context using a Bayesian network classifier
Formal methods of argumentation as models of engineering design decisions and processes
Techniques and validation for protection of embedded processors
Cultural impacts on web : an empirical comparison of interactivity in websites of South Korea and the United Kingdom
A truly distributed database architecture for hard real-time systems
Efficient computational offloading of dependent tasks in mobile edge networks
Model reduction techniques for probabilistic verification of Markov chains
A general solution to detect anomalies in networked distributed sensing systems
Fast fluid simulation in computer graphics using Fourier theory
On modelling techniques and tools for the design and testing of efficient side channel countermeasures
Multi-objective feature extraction and ensembles of classifiers for invariant image identification
Language constructs for defining features for reactive systems
Neural networks and adaptive computers : theory and methods of stochastic adaptive computation
Knowledge integration in case-based reasoning : a concept-centred approach
A generic framework for computer-aided multiscale modelling
A unified approach to the analysis and design of digital line codes
Real time animated human agent in virtual environments
End-user programming in multiple languages
Detection of facial expressions based on time dependent morphological features
Conceptualisation and implementation strategies for effective information systems
Principled design of evolutionary learning systems for large scale data mining
A microprocessor based system for closure interferometry
Dynamics of writing with collaborative hypertext : analysis and modelling
Modelling business conversations in service component architectures
Mobile cloud computing for reducing power consumption and minimising latency
Integrating content and semantic representations for music recommendation
Improvements in simulation methods for power system harmonic and transient studies
Analysis of discrete nonlinear systems by transform methods
Offline printed Arabic character recognition
Dynamical encoding in systems of globally coupled oscillators
Plasmonic mirror for light-trapping in thin film solar cells
Development and assessment of a tool to support pattern-based code generation of time-triggered (TT) embedded systems
Software process improvement as emergent change : a structurational analysis
Investigating power management schemes in out-of-order microprocessors
Recognising three-dimensional objects using parameterized volumetric models
The effects of word boundary ambiguity on lexical access in automatic continuous speech recognition
The hybrid model, and adaptive educational hypermedia frameworks
The effects of prosthetic alignment on the stability of the knee in above knee amputees
Interference characterisation, location and bandwidth estimation in emerging WiFi networks
On semantic and type-theoretic aspects of polynomial-time computability
Implementing and extending Concurrent METATEM
Service oriented software : : a negotiation perspective
Multicast communications in distributed systems
Efficient prediction of relational structure and its application to natural language processing
Visual scene recognition with biologically relevant generative models
Modelling and verification of security requirements and stealthiness in security protocols
Hoare logic's for run-time analysis of programs
Autonomous grid scheduling using probabilistic job runtime forecasting
A formal verification approach to process modelling and composition
The theory and implementation of a secure system
Scheduling and timing analysis for safety critical real-time systems
Unsupervised categorization of word meanings using statistical and neural network methods
Deep face recognition in the wild
Expert systems, hype and the social construction of reality : with particular reference to the UK financial services sector
Comprehensive review of classification algorithms for high dimensional datasets
Imaging of root canal preparation
Video media in the hyperconnected age: investigating emergent viewing practices
A formal extension of the relational model for the representation and manipulation of generic intervals
Investigation of the relationship between aesthetics and perceived usability in web pages
Personalising learning with dynamic prediction and adaptation to learning styles in a conversational intelligent tutoring system
Object-oriented divide-and-conquer for parallel processing
Optimal control of a stepping motor
Categories of containers
Distortion correction for non-planar deformable projection displays through homography shaping and projected image warping
The use of stratified sampling to improve the performance of classification trees
A dependability assessment framework for IoT driven applications
Scheduling for mixed-criticality hypervisor systems in the automotive domain
Routing and transfers amongst parallel queues
Bioinformatic analysis of genomic sequencing data : read alignment and variant evaluation
An expert systems approach to computer-aided design of multivariable control systems
Data selection and model combination in connectionist speech recognition
Theory and practice of proactive database forensics
A static, transaction based design methodology for hard real-time systems
Data-driven software performance engineering: models and estimation algorithms
Understanding the characteristics of Internet traffic and designing an efficient RaptorQ-based data transport protocol for modern data centres
Agent-based models for residential energy consumption and intervention simulation
GPU computing for cognitive robotics
Evolutionary algorithms and hyper-heuristics for orthogonal packing problems
Route discovery schemes in Mobile Ad hoc Networks with variable-range transmission power
Heterogeneity-aware scheduling and data partitioning for system performance acceleration
The formalisation of discourse production
Implementation of a real time Hough transform using FPGA technology
High-dimensional glyph-based visualization and interactive techniques
Understanding and generating language with Abstract Meaning Representation
Surrogate models for aerodynamic performance prediction
Application of automated feedback for the improvement of data quality in web-based clinical collaborations
Representational principles of function generalization
Design and implementation of languages for communicating sequential processes
Computer architecture for wafer scale integration
Cross-view learning
Generating program animators from programming language semantics
Technology mediated memories in networked societies: ScanMemories, Himba Chronotopes and Wearable Absence
Do deficiencies in data privacy threaten our autonomy and if so, can informational privacy rights meet this threat?
Knowledge-enhanced neural grammar induction
A LISP through the looking glass
Role-based access control (RBAC) : formal modelling and risk-based administration
MC : A concurrent programming language for distributed computer systems
Development of a spring-less RF MEMS switch
Multiple light source detection with application to face recognition
Learning and computing with biologically plausible neural networks
A Complex Variable Approach to the Analysis of Linear Multivariable Feed Back Systems
In-vivo digital volume correlation via magnetic resonance imaging: application to positional brain shift and deep tissue injury
Reconstructing compressed photo and video data
Uncertainty analysis in the Model Web
Formal specification and analysis of digital hardware circuits in LOTOS
Personalised persuasive messages for behaviour change interventions: combining Cialdini's principles and argumentation schemes
Enhancing the automation of forming groups for education with semantics
Design of artificial neural oscillatory circuits for the control of lamprey- and salamander-like locomotion using evolutionary algorithms
First-order lax logic : a framework for abstraction, constraints and refinement
Usability issues and design principles for visual programming languages
Geometric margin domain description with instance-specific margins
Generative probabilistic models of goal-directed users in task-oriented dialogs
SMEs adoption of SaaS cloud services: a novel ontological framework (Nigeria as a case study)
Face recognition using skin texture
Control of a turboalternator set by multivariable techniques
QoS-aware joint power and subchannel allocation algorithms for wireless network virtualization
Local-search and hybrid evolutionary algorithms for Pareto optimization
A VLSI device for multiplication of high order sparse matrices
Execution of Prolog by transformations on distributed memory multi-processors
Real-time digital observers for multivariable linear systems
Embedded real-time networks for control applications
The role of symmetry features in connectionist pattern recognition
Sequentiality in artificial neural networks : an account of three models exploring the benefit of time delayed feedback
The manipulation of trees and linear graphs within a computer and some applications
Engaging older adults with age-related macular degeneration in the design and evaluation of mobile assistive technologies
Classifying and responding to network intrusions
Adaptive control systems: the application of approximate learning models
An investigation into how high quality, low risk, manufacturing systems can be developed within short development lead times
Computing aspects of problems in non-linear prediction and filtering
Security design analysis
Interactive shadow removal
Information and communications technology policy in secondary education in England
Databases for concatenative text-to-speech synthesis systems : unit selection and knowledge-based approach
From data to knowledge in secondary health care databases
Applications of qualitative simulation and genetic algorithms to nonlinear systems
Programming for humans : a new paradigm for domain-specific languages
The potential of a Tesla type device as a non pulsatile blood pump
Semantic based support for visualisation in complex collaborative planning environments
Machine learning for understanding complex, interlinked social data
Multi-objective optimisation using the Bees Algorithm
The development of a structured methodology for the construction and integrity control of spreadsheet models
Optimising trace monitors
3D morphable models : data pre-processing, statistical analysis and fitting
Fully invariant object recognition and tracking from cluttered scenes
Systolic algorithms and applications
Energy efficient and secure wireless communications for wireless sensor networks
Some problems in the spectral analysis of time series with missing values
Spatial data : access and usability across the Internet
Bridging the air gap : an information assurance perspective
Meet-continuity and locally compact sober dcpos
Video popularity metrics and bubble cache eviction algorithm analysis
Travel time prediction using ensemble learning algorithms
Factors affecting end-user computing sophistication in small business
Guidelines and infrastructure for the design and implementation of highly adaptive, context-aware, mobile, peer-to-peer systems
Real-time I/O system for many-core embedded systems
A computer prediction of robot dynamic performance
Detecting IP prefix hijack events using BGP activity and AS connectivity analysis
Grid application meta-repository system
Analysing the language mismatch between system and user : the application of elicitation techniques and discourse analysis
Online predictions for spatio-temporal systems using time-varying RBF networks
Parallel paradigms and their implementation
On improving cybersecurity through memory isolation using systems management mode
The development and evaluation of a virtual simulation tool for testing emergency response planning strategies within the UK gas industry
Quantum computation, Markov chains and combinatorial optimisation
Self-organisation and autonomous learning in logical neural networks
Discrete quantum walks and quantum image processing
Evolutionary neural networks : models and applications
Algorithms, abstraction and implementation : a massively multilevel theory of strong equivalence of complex systems
Global properties of cellular automata
Complexity reduction in artificial neural networks with an emphasis on genetic algorithm based optimisation techniques
Scene analysis and risk estimation for domestic robots, security and smart homes
Design of application specific instruction set processors for the domain of GF(2'm)
Fast data processing in hyper-scale systems
Ungrounded haptic-feedback for hand-held surgical robots
A multipolar polarisable force field method from quantum chemical topology and machine learning
Glottal-synchronous speech processing
Efficient algorithms for computing approximate equilibria in bimatrix, polymatrix and Lipschitz games
The integration of large biological and clinical datasets towards the understanding of human disease
Distributed processing in decision support systems
Nonlinear robust H∞ control
Security for volatile FPGAs
Pseudo-randonmess and Learning in Quantum Computation
Investigating modularity and transparency within bioinspired connectionist architectures using genetic and epigenetic models
A multilayered agent society for flexible image processing
Algorithms on weighted sequences & applications
Robust subspace learning techniques for tracking and recognition of human faces
Heat-assisted incremental sheet forming of Ti-6Al-4V sheets
Pure subtype systems : a type theory for extensible software
Communication patterns for randomized algorithms
Nomadic π-calculi: expressing and verifying communication infrastructure for mobile computation
High performance image registration using a distributed blackboard architecture
Domain logic programming : theory and applications to scientific knowledge representation
Automatically generating reading lists
Software defined networking integration with mobile network towards scalable and programmable core
A continuous computational interpretation of type theories
Monte Carlo Tree Search for games with hidden information and uncertainty
On cognitive machines in organizations
Techniques for the synthesis of visual speech
Intelligent diagnostic feedback in virtual learning environment
NETCODE : an XOR-based warning dissemination scheme for vehicular wireless networks
A data mining approach for early mortality prediction of patients in intensive care units
The language of mathematics
A multi-stakeholder investigation into the effect of the Web on scholarly communication in chemistry
Modelling hypermedia implementation and nodeless hypermedia
Name-passing process calculi : operational models and structural operational semantics
Design of Cross-Correlation Flow Control Loops
Understanding real-world phenomena from human-generated sensor data
What's in a name?: intelligent classification and identification of online media content
A fuzzy semi-supervised support vector machine approach to hypertext categorization
Colocation aware content sharing in urban transport
Exploratory and faceted browsing, over heterogeneous and cross-domain data sources
Retrieval of multimedia information: simulation of a proposed system
Automated classification of behavioural and electrophysiological data in neuroscience
The ELVIS technique : entertainment-led video summarisation that is personalised according to user physiological responses
Active module identification in biological networks
The circumstantial occurrence methodology : a proposed way forward in strategic knowledge engineering
Violin augmentation techniques for learning assistance
Applications of knowledge based expert systems in recurrent competitive bidding
Building object-oriented conceptual models using natural language processing techniques
Formalisation and evaluation of focus theories for requirements elicitation dialogues in natural language
Evolution, goals and assumptions in software systems
Methods for tackling games of strict competition
Mathematical approach to channel codes with a diagonal matrix structure
A rational scheme for conflict detection and resolution in distributed collaborative environments for enterprise integration
Applying Bayesian networks to model uncertainty in project scheduling
Hierarchical network topographical routing
A cartography of practice
Visual attention mechanism in deep learning and its applications
Structural separation logic
Non-linear filtering and other applications of stochastic calculus
Exploiting surplus renewable energy in datacentre computing
Machine learning for financial market prediction