yusuke1997/dblp-id-title huggingface dataset:
Temporal patterns for complex interaction designs
Physicality in the design and development of computer embedded products
Internet of props: a performative ontology and design framework for the Internet of Things
ECCO : data centric asynchronous communication
Intention-oriented programming model for autonomic cloud applications
C formalised in HOL
Convergence improvement of iterative decoders
NOSTRUM : constraint directed diagnosis
Fuzzy based computational models of emotion for monitoring students' affective trajectories
Causal probabilistic network modelling of lipid and lipoprotein metabolism
Realizability toposes and language semantics
Link-quality based routing framework for wireless sensor networks
The design and construction of a state machine system that handles nondeterminism
An approach to unsupervised learning in goal-seeking control systems
Duality theory for optimal mechanism design
Scalable semi-supervised grammar induction using cross-linguistically parameterized syntactic prototypes
Optimisation of traffic steering for heterogeneous mobile networks
Formal modelling and analysis of mix net implementations
Static timing analysis and program proof
Racing demons: malware detection in early execution
Visual speech enhancement and its application in speech perception training
The design of numerical algorithms for transputer systems
A machine learning system for the automatic identification of text structure, and application to research article abstracts in computer science
Deriving information from inconsistent knowledge bases : a probablistic approach
Presence verification for summative e-assessments
Sparse machine learning methods for autonomous decision making
A software environment for discrete event simulation
Image-based rendering for visualisation of 3D scenes in near real-time
Discrete-time optimal preview control
Quantum information and entropy
A credit scoring model based on classifiers consensus system approach
The integration of higher order interactive proof with first order automatic theorem proving
Qualitative Remote Collaboration Analysis : Understanding the Dynamics of RTC
The design of image processing algorithms on parallel computers
Nonmonotonic inheritance of class membership
DRAMA, a connectionist model for robot learning : experiments on learning a synthetic language by initiation in autonomous robots
Advancing the P300 based BCI design
Hybrid framework for dynamic position determination in multisensor environments
Exploiting diversity for efficient machine learning
Modelling text meta-properties in automated text scoring for non-native English writing
Social presence in team-based digital games
A biologically plausible strategy for the avoidance of catastrophic interference
Estimation and control of stochastic systems
Algebraic hierarchical decomposition of finite state automata : a computational approach
Data presentation models and their application to parallel computing
A rule-based approach for recognition of chemical structure diagrams
Exceptional values in relational databases
A generic software library for creating multimedia browse/search applications
Deep invariant feature learning for remote sensing scene classification
Stable segmentation of 2D curves
The portability of low-level software
Implementation and analysis of the generalised new Mersenne number transforms for encryption
Application of artificial intelligence techniques to the design of improved stabilizers for superconducting generators
Data quality management in large-scale Cyber-Physical Systems
Distributed topology-aware algorithms & topology control probabilistic analysis for wireless sensor networks
User-centric cloud application management
The effects of ego-motion on the perception of high-fidelity computer graphics
Developing and evaluating an embodied telepresence system for a real-world context
Analysis of sparse systems
A goal-directed and policy-based approach to system management
Conformal prediction and testing under on-line compression models
Improving facial animation using non-linear motion
Automated visualization of grouped networks using Euler diagrams and graphs
The development of a model for predicting ship impact, grounding and collison on the Humber estuary
A distributed systems infrastructure for open public display research networks
Digital restoration of damaged historical parchment
High-performance memory safety: optimizing the CHERI capability machine
Modelling and simulation applications on cyber-physical systems' security and resilience
Enhancing user experience with olfaction in virtual reality
Musical acts and musical agents : theory, implementation and practice
Cyber supply chain risks in cloud computing: the effect of transparency on the risk assessment of SaaS applications
Algorithms for learning from spatial and mobility data
Investigating dynamic software processes
Approximate model composition for explanation generation
Computational modelling of word sense sentiment
Archaeology and the Semantic Web
Organisation, power and e-mail: an investigation of electronic power relationships
Reduced-complexity communications system design
Game Compositioin, an Adjustable Commitment Folk Theorem and Peer-to Peer Systems
An information approach for enhancing the health and safety file
The UK's legal response to terrorist communication in the 21st century: striking the right balance between individual privacy and collective security in the digital age
A formal mechanism for analysis and re-implementation of legacy programs
Efficient human annotation schemes for training object class detectors
Extending the domain theory to support application generation
A model of a private sector organisation's intention to adopt cloud computing in the Kingdom of Saudi Arabia
Using workshops to improve security in software development teams
A network-aware virtual machine placement approach for data-intensive applications in a cloud environment
DSP-enabled reconfigurable optical network devices and architectures for cloud access networks
Automatic recognition of multiparty human interactions using dynamic Bayesian networks
A motion based approach for audio-visual automatic speech recognition
Joint source-channel UEP coding for multimedia streaming in the wireless wide area network environment
Opinion-aware information management : statistical summarisation and knowledge representation of opinions
Advanced modelling of adaptive bitrate selection
Mining previously unknown patterns in time series data
Computability of Euclidean spatial logics
Evidence based policy making in healthcare using big data analytics
Reasoning about what has been learned: Neural-Symbolic integration for explainable artificial intelligence
Structuring diversely designed software
Performance modelling and optimisation of inertial confinement fusion simulation codes
Efficient techniques for streaming cross document coreference resolution
A chip multiprocessor for a large-scale neural simulator
Development of a manufacturing strategy for apparel manufacture in Mauritius using a systems modelling approach
Real time single and multi-gesture recognition based on skin colour and optical flow
Metaheuristic search using genetic algorithms for Boothroyd's design for assembly
Special Applications of Small Computers
Fusing motion information with spatial structure for surveillance applications
Formal verification of process algebra systems
Enhancing real-time embedded systems development using artificial immune systems
Machine learning in portfolio and risk management
Applying qualitative reasoning to finance
Dynamic buffer management policy for shared memory packet switches by employing per-queue thresholds
Analysis of spatiotemporal cardiac excitation data and stimulated Brillouin scattering data using nonlinear dynamics principles
Modelling and analysis of parallel information systems
A distributed data extraction and visualisation service for wireless sensor networks
Ethical implications of artificial expression of emotion by social robots in assistive contexts
Proof planning for imperative program development
A REST model for high throughput scheduling in computational grids
Network-provider-independent overlays for resilience and quality of service
Detecting salient information using RSVP and the P3 : computational and EEG explorations
A bitopological point-free approach to compactifications
Exact learning of description logic ontologies
Applications of data mining techniques to electric load profiling
Exploring the influence of haptic force feedback on 3D selection
RESCUE: evaluation of a fragmented secret share system in distributed-cloud architecture
Co-operative information system design : how multi-domain information system design takes place in UK organisations
Accurate geometry reconstruction of vascular structures using implicit splines
The solution of matrix linear equations occurring in control theory
Supporting Maintainable Exception Handling with Explicit Exception Channels
Domain-specific languages for massively parallel processors
The use of modular approaches for robots to learn grasping and manipulation
In Vivo quantification of complex neurite configurations using magnetic resonance imaging
The impact of highly interactive workloads on video-on-demand systems
Design of Computing Mechanisms
Interactive generation of user-editable virtual landscapes: from image-guided to model-based approaches
Automotive embedded systems software reprogramming
The event based modelling of systems
A labelled deductive system for reasoning about random experiments
The development of artificial neural networks for the analysis of market research and electronic nose data
Reduced-complexity near-optimal Ant-Colony-aided multi-user detection for CDMA systems
Generation and mining of medical, case-based multiple choice questions
On the Möbius function and topology of the permutation poset
An exploration of factors influencing human responses to short term interaction with a pet robot
SIDL : design and specification of a compositional object-oriented model for generalised data management
Potential-based reward shaping for knowledge-based, multi-agent reinforcement learning
Context flow architecture
Transformation bias in mixed effects models of meta-analysis
A FIFO spin-based resource control framework for symmetric multiprocessing
Secure VoIP performance measurement
On the impact of network topology on systemic risk: network reconstruction, stress testing and control
Data mining and learning analytics: a multi-model approach to predicting student performance using aggregated data sources
Analysing functional genomics data using novel ensemble, consensus and data fusion techniques
Verification of graph programs with monadic second-order logic
Production and perceptual analysis of speech produced in noise
Methods for facial pose estimation
Exploiting primitive grouping constraints for noise robust automatic speech recognition : studies with simultaneous speech
Trust in virtual reality
Context-oriented functional programming
Individual privacy concern and organisational privacy practice: bridging the gap
Using trust and risk for access control in global computing
Evolutionary robotics' first words
Video object counting in unconstrained environments using density-based clustering
High fidelity sky models
Ordinals and interactive programs
Exploring ways to foster the creativity process in computer and information technology (CIT) lessons
Computing and estimating information leakage with a quantitative point-to-point information flow model
Time constrained qualitative model-based parameter identification
Hardware and software fingerprinting of mobile devices
Pattern recognition and active vision in bees
On the probability of perfection of software-based systems
Parallel computation techniques for virtual acoustics and physical modelling synthesis
Wiki-health : from quantified self to self-understanding
The Polyhedral Gauss Map and discrete curvature measures in geometric modelling
Hand gesture recognition for multimedia applications
Design and analysis of scalable rule induction systems
Non-rigid motion behaviour learning : a spectral and graphical approach
Collaborative narrative generation in persistent virtual environments
A critical review of physical layer security in wireless networking
Modelling angiogenesis in three dimensions
Visualizing set relations and cardinalities using Venn and Euler diagrams
Exploration of variations of unrestricted blocking for description logics
An adaptive simulation-based decision-making framework for small and medium sized enterprises
Intelligent skin cancer detection using enhanced Particle Swarm Optimization
Multimodal intent recognition for natural human-robotic interaction
Optimisation models and algorithms for workforce scheduling and routing
Encryption in the presence of key-dependent messages and related-key attacks
The structure and dynamics of multiplex networks
Content scalability in multiple description image and video coding
Intelligent communication and information processing for cyber-physical data
Integrating safety analysis techniques, supporting identification of common cause failures
Profiling large-scale live video streaming and distributed applications
Deadlock free algorithmic parallelism : analysis, implementation and performance
Network embedding and its applications
Frequency domain identification of block-oriented nonlinear systems
Algorithms for parallel network content processing for multicore processors
A specification language for digital systems
Theory and applications of neural networks
The extraction of heuristic information from a special class of state space representations
An integrated approach to deliver OLAP for multidimensional Semantic Web databases
Spimes: a multidimensional lens for designing future sustainable Internet connected devices
VMX-rootkit : implementing malware with hardware virtual machine extensions
Weakly supervised learning with stochastic supervision and knowledge transfer
Speech dereverberation applied to automatic speech recognition and hearing aids
The design of a sparse vector processor
Syntax-mediated semantic parsing
Computational approaches for time series analysis and prediction : data-driven methods for pseudo-periodical sequences
Instinct for detection
Can increasing surface credibility improve e-health intervention effectiveness?
Reachability problems for systems with linear dynamics
An investigation into partial discharge activity within three-phase belted cables
Mathematical model of concurrent computation
A soft-systems-conceived model with knowledge representation for informations systems in the office environment
Interpretation and knowledge discovery from the multi-layer perceptron neural network
Ontology driven clinical decision support for early diagnostic recommendations
Multi-asperity based friction modelling and haptic rendering in virtual environments
Mechanism design for fair allocation on uniform machines
Dynamics of neural networks and disordered spin systems
Image based surface reflectance remapping for consistent and tool independent material appearence
An accurate prefetching policy for object oriented systems
Large scale applications on distributed-memory parallel computers using efficient numerical methods
Methods, rules and limits of successful self-assembly
Artificial intelligence techniques for driver fatigue detection
Ontology mapping with intelligent agents on the semantic web: the theory and practice of agent belief and consensus building
Learning-based procedural content generation
Self-organised multi agent system for search and rescue operations
Evaluation of cloud computing modelling tools: simulators and predictive models
Lossless compression for computer generated animation sequences
Reducing communication costs in multi-party computation
Scheduling algorithms for a multiprocessor DSP platform
Fabrication and characterisation of novel materials and devices for spintronics
Towards inducing a simulation model description
Self and guided improvement of the strategies of intelligent computer aided instruction systems
Creation, integrating and deployment of diagnoser for web services
Principled design guidance for the development of computer-based training materials
The behaviour of S.C.R. amplifiers in closed loop control systems
On the study of high spectrum efficiency relay networks
Internet gateway discovery for mobile ad hoc networks
Analyzing the use of UTAUT model in explaining an online behaviour : Internet banking adoption
Single Ca + ions in a penning trap for applications in quantum information processing
Practical and effcient runtime taint tracking
Social data mining for crime intelligence: contributions to social data quality assessment and prediction methods
Change-based model differencing and conflict detection
Task and data management for parallel particle tracing
Advanced methods for neural modelling and applications
High-level synthesis of VLSI circuits
The impact of software architecture on the cost of design, implementation and verification of reliable embedded systems
Using text mining to identify crime patterns from Arabic crime news report corpus
The combinatorics of abstract container data types
Reinforcement learning-based optimization of multiple access in wireless networks
Use Your Own Device (UYOD) guidelines as a mechanism to enable sustainable mobile learning in a higher education institution
Exploring audio sensing in detecting social interactions using smartphone devices
Who goes here? : confidentiality of location through anonymity
Minimizing latency of agreement protocols
System optimisation using standard components
A type-safe apparatus executing higher order functions in conjunction with hardware error tolerance
An integrated parallel/distributed environment for high performance computing
Organizing and searching large files of document descriptions
Cumulative learning in the lambda calculus
Procedures and processes in programming languages
NNS/NNS interaction during task-based synchronous computer-mediated communication
Developing a calculus for relating computer programs
Low overhead dynamic binary translation for ARM
Modelling student errors in physics problem-solving
Inter-module code analysis techniques for software maintenance
Pose estimation using the EM algorithm
Learning visual concepts with fewer human annotations
A new method for generic three dimensional human face modelling for emotional bio-robots
Model Checking Systems with Replicated Components using CSP
Fuzzy transfer learning
Conceptual framework for Semantic Interoperability in Sensor-enhanced Health Information Systems (SIOp4Se-HIS)
Tagging amongst friends : an exploration of social media exchange on mobile devices
Intelligent systems approach for classification and management of patients with headache
Shoeprint image noise reduction and retrieval
Data mining using fuzzy logic with applications to the business world
Signature-based videos' visual similarity detection and measurement
Heuristic search methods and cellular automata modelling for layout design
Structural characterisation of L10 ordered materials for spintronics
A segmental mixture model, maximising data use with time sequence information
Investigating adoption of, and success factors for, agile software development in Malaysia
Partial matroids and their application to gemometric computation
Thermal bubble behaviour in liquid nitrogen under electric fields
Crowd-sourced data and its applications for new algorithms in photographic imaging
Understanding the preventing periodic behaviour in ambient intelligence
Genetic programming in hardware
Modelling and performance analysis of mobile ad hoc networks
Free surface flows over submerged obstructions
The dichotomy of scaled connectionist compositionality : (S)RAAM - trick or treat?
Parallelisation for data-intensive applications over peer-to-peer networks
Resource-constrained re-identification in camera networks
Bayesian approaches to uncertainty in speech processing
Cherub - a hardware distributed single shared address space memory architecture
Bayesian error bars for regression
Applying visualisation to model-based formal specifications
The development of a modular framework for Serious Games and the Internet of Things
Reconciling the structure and appearance of digital documents using XML and SVG
Circuit rating methods for high temperature cables
Types for modules
Investigating the development of metamodels for computer simulation
Confluence analysis for a graph programming language
Phonology-based automatic speech recognition for Arabic
Speculative concurrent evaluation in a lazy functional language
Secure authentication procedures based on timed passwords, honeypots, honeywords and multi-factor techniques
A modified neocognitron for pattern recognition with an application to respiratory signal classification
Real-time extensions of April for time-aware multi-agent systems programming
Studies in Stochastic Control Theory
Separation of concerns in concurrent programs using fine grained join points
Provisioning IP backbone networks based on measurements
A graphical based formalism for executable specification
Uniting formal and structured methods for the development of reliable software
Neural trust model for multi-agent systems
Computational models for multilingual negation scope detection
A novel parallel algorithm for surface editing and its FPGA implementation
Argumentation for statistical model selection
An experimental study to develop an engaging multimedia design model for children
Energy-efficient and lifetime aware routing in WSNs
APT : an automatic Arabic part-of-speech tagger
Variability Capture and Realization for Software Lines
Supporting collocated and at-a-distance experiences with TV and VR displays
Generation of model-based safety arguments from automatically allocated safety integrity levels
The Design of Control Systems for Automated Transport
Distributed algorithms for optimized resource management of LTE in unlicensed spectrum and UAV-enabled wireless networks
Direct visual and inertial odometry for monocular mobile platforms
Probabilistic graph formalisms for meaning representations
Modelling of an axial flow compact separator using neural network
Automating reuse support in a small company
Management of data quality when integrating data with known provenance
Some Aspects of Simple Cellular Arrays
Coupled complex networks : structure, adaptation and processes
Reconfigurable architectures for cryptographic systems
Immunology as a metaphor for computational information processing : fact or fiction
Designing community driven participatory platforms: reconfiguring roles, resources, infrastructure, and constraints for community commissioning
Automotive mechatronic safety argument framework
Wireless personal area networks and free-space optical links
Problem Oriented Engineering for Software Safety
Active recognition and domain adaptation for 6D object pose estimation
Objects from motion
The use of a lattice in knowledge processing
Strategy generation and evaluation for meta-game playing
Semantic audio analysis utilities and applications
QRMF : a multi-perspective framework for quality requirements modelling
Structured matrix methods for a polynomial root solver using approximate greatest common divisor computations and approximate polynomial factorisations
Solving the Hamilton-Jacobi-Bellman equation for animation
Enhancing discrete event modelling by interfacing expert systems and simulation models
A generative framework for argumentation-based inquiry dialogues
VLSI architectures for public key cryptology
Electron spin resonance of molecular magnets for quantum information processing
Scheduling and data management for parallel ray tracing
Spectral machine learning
Spatial and temporal representations for multi-modal visual retrieval
Combinators and bisimulation proofs for restartable systems
Investigating retrospective interoperability between the accessible and mobile webs with regard to user input
Reuse with risk management: a decision support approach
A characterisation and some pedagogic aspects of the high-level language C in coding for multicontroller-based embedded targets
The development of a strategic software system for resource equity valuation