yusuke1997/dblp-id-title huggingface dataset:
MapReduce based RDF assisted distributed SVM for high throughput spam filtering
Novel hierarchical feature selection methods for classification and their application to datasets of ageing-related genes
Trade-offs between focused and distributed temporal attention
Explaining recommendations
Deriving and exploiting situational information in speech: investigations in a simulated search and rescue scenario
Allocation and optimisation of mixed criticality cyclic executives
The modular compilation of effects
Cartesian granule features : knowledge discovery for classification and prediction
An application of formal semantics to student modelling : an investigation in the domain of teaching Prolog
On methodologies to select systems for automated personal identification
Face recognition : two-dimensional and three-dimensional techniques
Software architecture visualisation
Acoustic-channel attack and defence methods for personal voice assistants
Investigating the detection of stored scripting attacks using machine learning
The design of fault tolerant software for loosely coupled distributed systems
Hardware-Assisted and Target-Directed Evaluation of Functional Programs
Hybrid quantum-classical algorithms and error mitigation
Numerical modelling of the tilt casting processes of titanium alumindes
An Intelligent Cell Memory System for real time engineering applications
Poisson-binomial counting for learning prediction sparsity
Scalable coordination of distributed in-memory transactions
Non-parametric Bayesian models for structured output prediction
An intelligent framework for dynamic web services composition in the semantic web
Evolution and learning in heterogeneous environments
Multi-hop localization in cluttered environments
An analogue approach for the processing of biomedical signals
A framework for the analysis and comparison of process mining algorithms
Probabilistic methods for drug discovery
Novel approaches to biometric security with an emphasis on liveness and coercion detection
High integrity hardware-software codesign
Search-based software engineering : a search-based approach for testing from extended finite state machine (EFSM) models
Decomposition evolutionary algorithms for noisy multiobjective optimization
Data-driven framework and experimental validation for security monitoring of networked systems
The multiresolution Fourier transform and its application to polyphonic audio analysis
A technique-based framework for domain-specific synthesis of simulation models
Improving network extensibility and scalability through SDN
Multi view image : surveillance and tracking
Digital decision-making : using computational argumentation to support democratic processes
On the application of neural networks to symbol systems
Impact analysis in description logic ontologies
User-centred video abstraction
Efficient routing and communication algorithms for wireless mesh networks
Runtime quantitative verification of self-adaptive systems
Phase-encoding : an event based scheme for on-chip signalling
Near-capacity fixed-rate and rateless channel code constructions
A prescriptive analytics approach for energy efficiency in datacentres
Adaptive control of a climbing robot
CheriOS: designing an untrusted single-address-space capability operating system utilising capability hardware and a minimal hypervisor
A fuzzy framework for human hand motion recognition
Symbolic techniques for parameterised verification
The static and dynamic flow forces in a particular spool valve configuration
A class of distance-preserving matrix optimization models in data mining
Supporting large scale collaboration and crowd-based investigation in economics: a computational representation for description and simulation of financial models
A methodology for developing Second Life environments using case-based reasoning techniques
Looking at the video/computer games industry : what implications does gender socialisation have for women in counter-stereotypical careers?
Authenticated key exchange protocols with unbalanced computational requirements
Analysing learning behaviour to inform the pedagogical design of e-learning resources : a case study method applied to computer programming courses
Theory and applications of artificial neural networks
Visual context for verb sense disambiguation and multilingual representation learning
Managing configuration history in domestic networks
Switched linear differential systems
Denotational semantic models for real-time LOTOS
Structure evaluation of computer human animation quality
Audio-visual football video analysis, from structure detection to attention analysis
Building trust in cloud computing: isolation in container based virtualisation
The Harkive Project: popular music, data & digital technologies
Controlled image synthesis can improve chimpanzee face classification, a 'Small data' application
Development, Application, and Evaluation of Immersive Visualization Environments
Intelligent monitoring of civil engineering systems
Learning discriminative features for human motion understanding
Modelling and design of the eco-system of causality for real-time systems
A New approach to Image Fusion in the Compressed Domain
The impact of employing olfactory media in a digital context: a user performance and quality of experience perspective
Hardware designs for function evaluation and LDPC coding
Computational and Theoretical Studies in the Design of Multivariable Systems Using State and Output Feedback
The discursive constitution of software development
A deep learning based approach to sketch recognition and model transformation for requirements elicitation and modelling
A neural network linking process
Informational principles of perception-action loops and collective behaviours
Connectionist multivariate density-estimation and its application to speech synthesis
The Wisp Algebraic Manipulator
Saliency for image description and retrieval
Aspects of quantum information : from flat to curvy
PDDS : a parallel deductive database system
Understanding strategic adaptation in dual-task situations as cognitively bounded rational behavior
Opportunistic data collection in people-centric sensor networks
Cascade of classifier ensembles for reliable medical image classification
Improving risk-adjusted performance in high-frequency trading: the role of fuzzy logic systems
Congestion control for real-time interactive multimedia streams
From requirement document to formal modelling and decomposition of control systems
On the theory of truthful and fair pricing for banner advertisements
Work-Load of a Computer System A Simulation Study
Delving deep into fine-grained sketch-based image retrieval
A Formalisation and Explication of the 'D' Language
A self-applicable partial evaluator for the logic programming language Goedel
An approach to atomicity decomposition in the Event-B formal method
Evolutionary and genetic strategies for topology optimization of frameworks : pareto-comparisons and hybrid methods
Modelling cultural contagion using Social Impact Theory
Multiobjective genetic programming for financial portfolio management in dynamic environments
A graphical interface model for an electronic office information system
Missing feature decoding and model adaptation for noisy speech recognition
Visual localisation for aibo walking robots
Reasoning about resource-bounded multi-agent systems
A Study of the Effects of Ageing on the Characteristics of Handwriting and Signatures
High frame rate formats for immersive video
Distributed mechanisms for multi-agent systems : analysis and design
An empirical evaluation of modelling languages for fourth generation e-commerce application development
Fuzzy decision support applied to machine maintenance
Using dual values to integrate row and column generation into constant logic
Graph models of software
A novel Ferry Assisted Greedy Perimeter Stateless Routing protocol (FA-GPSR) for ad-hoc networks in remote locations
Paralysis: an extensible multi-tiered guidance environment for program parallelization and analysis
Energy- and context-aware approaches to aiding human memory
Modelling and solution methods for stochastic optimisation
Adaptive motion synthesis and motor invariant theory
Enhancing gait recognition with 3D markerless motion capture
Tesseract : a 4D symmetric block cipher cryptography solution for real-time applications
Detection and modelling of the distribution of linear structures in mammographic images
Exploring human factors issues & possible countermeasures in password authentication
Cross layer based protocols for energy aware and critical data delivery related applications using wireless sensor networks
Integration of security and reliability in a distributed collaborative environment
Interaction with meaningful state : implementing dependency on digital computers
Inefficiency on networks
The effect of pricing rules on a constrained wholesale electricity market : an agent based approach
Structured programming aid
Autonomous decentralised M2M application service provision
Role of goal-orientated attention and expectations in visual processing and perception
Representational geometries of object vision in man and machine
Robotic granular jamming
A new location-based service architecture with efficient transmission method using control channels
Evolving ontologies with online learning and forgetting algorithms
Design and simulation of an MIMD shared memory multiprocessor with interleaved instruction streams
SIQXC : Schema Independent Queryable XML Compression for smartphones
Automata-beans : the modelling and prototyping of real-time components
Modelling of tumour-induced angiogenesis
Learning speaker-specific characteristics with deep neural architecture
Cryptographic protocols with anonymity preserving properties
A user centric security model for tamper-resistant devices
A structured approach to the verification of low level microcode
Evolution of system, modelling and control concepts in ancient Greece
Remote control service system architecture and dynamic web user interface generation
Policy-based quality of service management in IP networks
On the systematic reuse of legacy data in distributed object-based enterprise resource planning software
User centric privacy policy modelling
Unsupervised image feature learning for convolutional neural networks
Component based software architecture for interoperable databases and extensions to the results
The preservation of the environment
AI for time-resolved imaging: from fluorescence lifetime to single-pixel time of flight
Validation of the 'Haptic Cow': a simulator for training veterinary students
A machine learning approach to the problem of predicting a protein's secondary structure from its primary structure
HCI factors affecting the mobile internet uptake in Jordan
Modelling a multichannel security protocol to address Man in the Middle attacks
Improving backtrack search : three case studies of localized dynamic hybridization
Memory management and optimization using distributed shared memory systems for high performance computing clusters
Models for reinforcement learning and design of a soft robot inspired by Drosophila larvae
Dependency parsing
Declarative CAD feature recognition : an efficient approach
An exploratory investigation into personality characteristics associated with systems development team roles
VISIT: Virtual Intelligent System for informing tourists
Hyperset approach to semi-structured databases and the experimental implementation of the query language Delta
Crowdsourced testing approach for mobile compatibility testing
Imaging dental ultrasonic cavitation and its effects
Colour quantisation and compression of images for limited colour display devices
Author verification of electronic messaging systems
Mathematical modelling techniques for the computer simulation of vehicle dynamic performance and response
An integrated data dictionary
Human traders need new tools
Optical properties of metal nanoparticles and their influence on silicon solar cells
FACTPLA : functional analysis and the complexity of testing programmable logic array
Freedom and regulation on the information superhighway : a study of the Internet content rating system in South Korea
Informing user understanding of smart systems through feedback
Efficient querying for analytics on Internet of Things databases and streams
Text readability and summarisation for non-native reading comprehension
Methods for the efficient deployment and coordination of swarm robotic systems
Exploring run-time reconfiguration on programmable logic for DSP and telecommunications applications
Self-organising agent communities for autonomic computing
Design of adaptable simulation models
Multiple knowledge sources for word sense disambiguation
Autonomous learning in logic neural networks
Thin film amorphous silicon cells by inductive PECVD, with a view towards flexible substrates
Advanced regularization and discretization methods in diffuse optical tomography
Scaling distributed ledgers and privacy-preserving applications
Recurrent sets for non-termination and safety of programs
Synchronization in dynamic neural networks
Debugging concurrent and distributed programs
Designing technologies for intimate care in women
Instability in high-dimensional chaotic systems
Improving information retrieval bug localisation using contextual heuristics
Aspects and objects : a unified software design framework
Atlas based image reconstruction for diffuse optical imaging of the human brain
A standard methodology for the interoperability of heterogeneous information sources
Boosting single thread performance in mobile processors using reconfigurable acceleration
An approach to the study of cybernetic systems based on the construction of models simulating the central nervous system
Proximity coherence for chip-multiprocessors
Factors for successful Agile collaboration between UX designers and software developers in a complex organisation
Security for online games
Sub-optimal filtering theory for interacting control systems
Geometric surface registration for 3D model building
Perceptible affordances and feedforward for gestural interfaces : assessing effectiveness of gesture acquisition with unfamiliar interactions
Branching transactions : a transaction model for parallel database systems
Automation, cybernation and the art of new tendencies (1961-1973)
Assessing the quality of maps
Automatic email classification
Representing and recognising faces using appearance models
The global vulnerability discovery and disclosure system: a thematic system dynamics approach
Game theory applied to cybersecurity threat mitigation: analysis of threshold FlipThem
How realistically can contemporary platoon-level infantry combat be simulated using First-Person Shooter (FPS) video games?
Network-aware resource management for mobile cloud
Computation offloading in mobile edge computing: an optimal stopping theory approach
Application of object-orientation to HDL-based designs
Probabilities and priorities in timed CSP
Agent-based resource management for wireless cloud computing
Autonomous neural network systems for pattern classification
Computational analytics for venture finance
Self organising map machine learning approach to pattern recognition for protein secondary structures and robotic limb control
Traffic management and control of automated guided vehicles using artificial neural networks
A Neuro-Endocrine Control Architecture Applied to mobile Robotics
An intelligent citizen-centric oriented model for egovernance: a UAE case study
Reusing semantic web data in authoring Wikipedia
On dots in boxes, or permutation pattern classes and regular languages
Olfactory-enhanced multimedia : a user's perspective
Advances in the design of aperture filters
Speech quality assessment in communication networks with varying delay
Investigating adaptive migration schemes for distributed evolutionary algorithms
Investigation into scalable energy and performance models for many-core systems
A parallel boundary conforming method on adaptive moving meshes for multiphase flows
A kernel-based approach for learning causal graphs from mixed data containing missing values
Using networked multimedia to improve customer service in the UK utility market
HYDRA : parallel and distributed Swarm computer architecture
A framework for speechreading acquisition tools
Compositional construction and analysis of Petri net systems
Remains in the network: reconsidering thanatosensitive design in loss
Variable density shallow flow model for flood simulation
Leveraging data-flow information for efficient scheduling of task-parallel programs on heterogeneous systems
A content dissemination framework for vehicular networking
Intuitionistic fuzzy XML query matching and rewriting
The assurance of Bayesian networks for mission critical systems
Reactive behaviour for autonomous virtual agents using fuzzy logic
General queueing networks with priorities : maximum entropy analysis of general queueing network models with priority pre-emptive resume or head-of-line and non-priority based service disciplines
An optimal control approach to testing theories of human information processing constraints
An empirical investigation of inheritance trends in Java OSS evolution
Process modelling for requirements capture
A sublanguage of English for database query in a managerial environment
Contributions of formal security proofs
Search and attention for machine vision
Provenance-aware CXXR
Data retrieval single layer networks of logical memory neurons
Flowstory: the efficacy of storytelling techniques applied to the visualisation of flow and movement data
Learning static knowledge for AI planning domain models via plan traces
Automatic surface targets detection in forward scatter radar
Type systems for nominal terms
Parallelization of general purpose programs using optimistic techniques from parallel discrete event simulation
The transient behaviour of a marine electromechanical system subjected to variations in load
Investigation of mechanisms for routing in mobile ad-hoc network
Machine learning model for education levelling in multicultural countries using UAE as a case study
NEPTUNE: an interactive system for the design of experiments : CRANIUM: a versatile expert system implementation tool
Learning to reconstruct and segment 3D objects
Practical simplification of elementary functions using CAD
Iterative construction of data modelling language semantics
Time-domain concatenative text-to-speech synthesis
Logic, programming and formal specification
Narrative threads : supporting young people in developing writing skills through narrative-based game creation
A grounded theory analysis of complex service networks
Visual simulation of falling water and plunge pools
A software quality strategy for the development of automatic control systems
Accounting for stewardship in the cloud
Information technology project success in Saudi Arabian public organisations: Chief Information Officers' perceptions
Stereo vision based mapping and immediate virtual walkthroughs
Understanding human choices as computationally rational processes
Irregular variable length coding
An elementary proposition on the dynamic routing problem in wireless networks of sensors
A distributed instrumentation system for the acquisition of rich, multi-dimensional datasets from railway vehicles
Isosurface modelling of soft objects in computer graphics
Redefining the hyperlink
Long-term follow-up of hydrocephalus patients and prediction of risk factors using machine learning
Constrained optimization using a conjugate gradient technique, with control applications
Software architecture for language engineering
Distributed, shared and persistent objects: a model for distributed object-oriented programming
An interactive visualisation system for engineering design using evolutionary computing
Graph colourings and games
T-Brave : a transputer based OR-parallel execution model with blackboard support
Towards effective analysis of big graphs: from scalability to quality
An ontological analysis of vague motion verbs, with an application to event recognition
A shape analysis approach to prediction of bone stiffness using FEXI
Exploring the fundamental differences between compiler optimisations for energy and for performance
Formally justified and modular Bayesian inference for probabilistic programs
Towards a generalised pedagogical framework for creating mixed-mode role-play in a 3D virtual environment
An ontology-based analysis method for assessing and improving the quality of hazard analysis results
Improving the security of real world identity management systems
Robust lexical access using context sensitive dynamic programming and macro-substitutions
Dense semantic SLAM
Combining image and text processing for the computational reading of Arabic calligraphy
Video transcoding for media adaptation
Simulation program generation for an array processor
On restricting the ambiguity in morphic images of words
Adaptive management and interoperability for secure semantic open services
A methodology for the synthesis of network protocol software
Development of a healthcare software system for the elderly
Intelligent systems for discovery programming
Modelling scientific discovery
The Application of Hermite Polynomials to System Identification
Interactive directed graph analysis methods for a digital hardware design system
Detecting new, informative propositions in social media
CMOS compatible vertical surround gate mosfets with reduced parasitics
Human reasoning and description logics: applying psychological theory to understand and improve the usability of description logics
Applying artificial intelligence and machine learning techniques to create varying play style in artificial game opponents
A view mechanism for an integrated project support environment
Modelling and evaluating timing constraints in real-time systems
Emergent narrative : towards a narrative theory of virtual reality
Automatic classification of colonic histophathological images using adaptive neuro-fuzzy networks and genetic algorithms
Improved facial feature fitting for model based coding and animation
Simulations of ferromagnetic nano structures
The use of prospect theory framework in constrained multi-objective particle swarm optimisation
Evaluation and improvement of semantically-enhanced tagging system
Application of artificial intelligence to seismic horizon mapping : An integrated hybrid approach
Reachability games and related matrix and word problems
Quantitative resilience assessment of critical infrastructures using high-performance simulations
Motivational and de-motivational factors influencing seniors' engagement with brain-training software
A statistical analysis of the stochastic dynamics in financial and geomorphological systems using Artificial Intelligence and Probability Theory
The security of human-computer interaction by speech
Abstraction and structure in knowledge discovery in databases
Error detection and recovery in software development
Model checking of mobile systems and diagnosability of weakly fair systems
Parallel processing and automatic postal address recognition
Distributed virtual environment scalability and security
Feature-oriented reuse with Event-B and Rodin
Screen printed textile based wearable biopotential monitoring
Run-time support for parallel discrete event simulation languages
Methods for measuring semantic similarity of texts
Agent Based Models of Competition and Collaboration
Development of semantic data models to support data interoperability in the rail industry
Improvements to quantum search, with applications to cryptanalysis
Flexible neural architectures for sequence modeling
The robust stability of iterative learning control
Generating verifiable service choreographies from SBVR models
Biologically inspired neural network implementations on reconfigurable hardware
Fixed-priority scheduling algorithms with multiple objectives in hard real-time systems
Copy-move forgery detection in digital images
Design by play: playfulness and object-oriented philosophy for the design of IoT
Contextually aware pervasive computing : a semantic approach
Parallel volume visualisation
A unified framework for gradient-based hyperparameter optimization and meta-learning
Descriptions of groups using formal language theory