yusuke1997/dblp-id-title huggingface dataset:
Instantaneous multi-sensor task allocation in static and dynamic environments
Digital traces of human mobility and interaction : models and applications
Model-based fault diagnosis in information poor processes
The action semantics of object-oriented languages
Immune systems inspired multi-robot cooperative shepherding
Learning explainable representations of concepts in specialised languages: experiments in healthcare social media
Equilibria in finite games
Speech and neural network dynamics
Knowledge integration in distributed data mining
A study of the challenges and capability of the re-use of social care data
Automata based monitoring and mining of execution traces
Persuasive strategies for encouraging social interaction amongst older adults
Benders decomposition for 0-1 integer programs and its applications
Ontology-based multiple-choice question generation
Structured representation of images for language generation and image retrieval
Using safety contracts in the development of safety critical object-oriented systems
Soft real-time garbage collection for dynamic dispatch languages
Improving the Hierarchical Classification of Protein Functions With Swarm Intellegence
Algorithms and lower bounds for testing properties of structured distributions
Bootstrapping techniques to improve classification methods
Automatic model acquisition and recognition of human gestures
Animation of captured surface data
Symmetry and complexity in propositional reasoning
Governing the new unconscious: cognition, computation and biopolitics
Methods of BSP programming
Nonlinear solid mechanics analysis using the parallel selective element-free Galerkin method
The design of an object-oriented environment and language for teaching
Spatial aspects of auditory salience
Adaptable software reuse: binding time aware modelling language to support variations of feature binding time in software product line engineering
Towards a software framework for supporting hardware fault tolerance
A methodology for the design, implementation and evaluation of intelligent systems with an application to critical care medicine
Bayesian data assimilation
The LNS and its application in a high-performance matrix processor
Proof methods and pragmatics for parallel programming
A framework for efficient cluster computing services in a collaborative university environment
Spoken letter recognition with neural networks
Inter-chip communications in an analogue neural network utilising frequency division multiplexing
Data mining and database systems : integrating conceptual clustering with a relational database management system
Finding and measuring inconsistency in arbitrary knowledge bases
Schedulability analysis for fault tolerant real-time systems
Topology-aware fault tolerance in grids
Deep learning on semi-structured data and its applications to video-game AI
Refinement in a language with procedures and modules
A role based framework for distributed systems management
Continuous metadata flows for distributed multimedia
Characterization and design of competent rational execution agents for use in dynamic environments
Decision rule approximations for dynamic optimization under uncertainty
Voting on the internet
Colour morphology and its approaches
Intelligent agents for mobile location services
Digital privacy and personal, social and civic agency: refugees' experiences
Information processing and time-sharing
Electromagnetic characterisation of structures using Krylov subspace model order reduction methods
User association optimisation in HetNets: algorithms and performance
Implicit feedback system for the recommendation of relevant Web documents
Conditional Partial Order Graphs
A systemic approach to establish fundamental principles of computer applications packages design
A semantic knowledge-based computational dictionary for support of natural language processing systems
Learning noise web data prior to elimination: classification of dynamic web user interests
Garbage collection and data abstraction based modular programming
Customising compilers for customisable processors
Neural network programming and portability
Investigating machine learning methods in recommender systems
Synthesising timbre from adjectives
An investigation of deep learning for image processing applications
Improving scalability of exploratory model checking
Empirical investigation of the role of privacy and data protection in the implementation of electronic government in Ghana
Computer simulation for medical imaging with x-rays using the Monte Carlo methods
Developments in dataflow programming
The design, implementation and evaluation of a desktop virtual reality for teaching numeracy concepts via virtual manipulatives
3D pixel mapping for LED holoscpic 3D wall display
A hypermedia framework to support requirements analysis
The effectiveness of training in virtual environments
Relational reasoning for effects and handlers
Topics in the structure and search of large networks
Software and hardware techniques for accelerating MPEG2 motion estimation
Full coverage displays for non-immersive applications
Linearity and laziness
Using virtual reality tools to improve social cognitive training in first episode psychosis
Development and application of chemical robotics to formulation, synthesis and discovery
Compilation techniques for the Nottingham MUSE machine
Interpreted graph models
A hybrid genetic algorithm based approximate cash crop model with support vector machine classifier framework for predicting economic viability of underutilised crop in rural area
Extracting root system architecture from X-ray micro computed tomography images using visual tracking
A comparative analysis of the prevention and control of electronic crime in the financial sector
Rule based systems for classification in machine learning context
Facial analytics for emotional state recognition
Automatic tracking of 3D vocal tract features during speech production using MRI
Forecasting monthly airline passenger numbers with small datasets using feature engineering and a modified principal component analysis
Statistical and perceptual based image and video compression techniques
Image watermarking based on Shearlet transform
Munch: an efficient modularisation strategy on sequential source code check-ins
A novel neural network architecture with applications to 3D animation and interaction in virtual reality
Psychologically-based simulation of human behaviour
AKT-R4 a diagnosis tool
Speaker indexing based on voice biometrics
Investigation into intelligent image preprocessor techniques for Artificial Neural Networks
The application of ensemble neural networks for partial discharge pattern recognition
Spectrum/energy efficient resource allocation for multi-user multi-relay OFDMA cellular networks : a fractional programming approach
Reliable massively parallel symbolic computing: fault tolerance for a distributed Haskell
A knowledge integration framework for 3D shape reconstruction
Policy-based planning for student mobility support in e-Learning systems
Human factors in the design of parallel program performance tuning tools
Evolutionary modular neural networks for run-time data analysis across semiconductor test area processes and equipment
Establishing program equivalence in translation validation for optimizing compilers
Understanding accessibility problems of blind users on the web
Theory and implementation of coercive subtyping
Scalable logic defined static analysis
Artificial prediction markets for online prediction of continuous variables
Polyethylene-montmorillonite nanocomposites
Robo-CAMAL : anchoring in a cognitive robot
Open systems design using agent interactions
Defining a formal model of edutainment that enhances the learning of cyber security subjects by higher education students
Effects and applications of video games and virtual environments
SVG 3D graphical presentation for Web-based applications
Data-based modelling using genetic programming
Policy-driven governance in cloud service ecosystems
On the synthesis of integral and dynamic recurrences
A tenant-aware identification scheme for Cloud Computing: Universal Cloud Classification (UCC)
The grounded incident fault theories (GIFTs) method
Combining model checking and theorem proving
SLAM and deep learning for 3D indoor scene understanding
An enhanced user interface management system
Architecture-independent loop parallelisation
Differences between machine and human testing of shock absorbing systems
A critique of the implementation of crime and intelligence computing in three British Police forces 1976-1986
Measuring evolutionary testability of real-time software
Modelling visually perceived complexity of foreground and background type data
A software development course in a Singapore polytechnic : the role of teamwork and motivation
VideoTag: encouraging the effective tagging of internet videos through tagging games
Self-timed field programmmable gate array architectures
A machine learning approach to term classification
The dynamic macro pipeline
An object-oriented approach to geo-referenced data modelling
A system for developing programs by transformation
Modelling progression and heterogeneity in Alzheimer's disease
Satellite borne radar altimetry : empirical orbit refinement and ocean signal recovery techniques
A flexible bidirectional question-answering system
Micromanipulator on the tip of a fibre: fabrication and analysis
A conceptual framework to support cross-cultural user experience design for web search
Mechanising an algebraic rely-guarantee refinement calculus
Diffeomorphic image registration with applications to deformation modelling between multiple data sets
Neural named entity recognition and temporal relation extraction
Structure-preserving matrix methods for computations on univariate and bivariate Bernstein polynomials
An exploration of the rise and development of Seventh-Day Adventist spirituality : with special reference to the charismatic guidance of Ellen G. White, 1844-1915
Design of vehicle routing problem domains for a hyper-heuristic framework
Automated planning for hydrothermal vent prospecting using AUVs
Computer technology and the redefinition of supervision : a study of the effects of computerisation on railway freight supervisors
Mining Twitter for crisis management: realtime floods detection in the Arabian Peninsula
Femto-VHDL : the semantics of a subset of VHDL and its embedding in the HOL proof assistant
Spectral methods for computer vision problems : micro and macro-prudential issues
Pattern recognition in physiological time-series data using Bayesian neural networks
A visualized framework for representing uncertain and incomplete temporal knowledge
Evolving strategies with genetic programming
Metanorms, topologies, and adaptive punishment in norm emergence
VLSI compatible parallel fabrication and characterisation of down-scaled multi-configuration silicon quantum dot devices
Segment logic
Virtual files : a framework for experimental design
Machine learning techniques for implicit interaction using mobile sensors
Direct UV-written Bragg gratings for waveguide characterisation and advanced applications
Disease surveillance using user-generated content
Ensuring the resilience of wireless sensor networks to malicious data injections through measurements inspection
Detection of obfuscated malware
On a plan recognition based approach to debugging novices' ML programs with multiple functions
Fractal-based models for Internet traffic and their application to secure data transmission
Learning computer programming in Irish third-level institutions: a study of first year students' experiences
Analysis of low-level interaction events as a proxy for familiarity
The synthesis of nearest neighbour compliant quantum circuits
Unknowledge economies: digital discourse and its effect in potentially rendering all information effectively subjective
Reconstruction of the international information technology standardisation process within a component-based design framework : a component based project development setting perspective
Context dependent fuzzy modelling and its applications
Word based off-line handwritten Arabic classification and recognition : design of automatic recognition system for large vocabulary offline handwritten Arabic words using machine learning approaches
Computer-assisted modelling of continuous systems : the design and production of software tools to aid non-programmers to define continuous system models and the experiments to be performed on them
Designing in the document centred way : 'building docucentric environments'
Robust speaker identification against computer aided voice impersonation
The haptic rendering of tools in a virtual environment
Computational approaches for the analysis and modelling of filamentous growth and branching of Steptomyces coelicolor
Subtleties in authenticated encryption: theoretical models for practical issues
An open hypermedia link service architecture supporting multiple context models
Deep spiking neural networks
Tone mapping for high dynamic range images
Accurate fast weather dependent load forecast for optimal generation scheduling in real time application
Motivational and metacognitive feedback in an ITS : linking past states and experiences to current problems
Intelligent strategies for sheep monitoring and management
Screw algebra based kinematics analysis and its uses in reconfiguration recognition of mechanisms
The application of artificial intelligence techniques to the integrated control of complex dynamic physical systems
Spatio-temporal logic for the analysis of biochemical models
Modelling multi-layered network and security architectures using mathematical logic
Perceptron-like large margin classifiers
HIPPO : an adaptive open hypertext system
An investigation of automatic writer identification based on small scale handwriting samples
Multi-chip module interconnections at microwave frequencies : electromagnetic simulation and material characterisation
Facial performance capture from visual input and EMG signals
Using Codecharts for formally modelling and automating detection of patterns with application to Security Patterns
Security audit compliance for cloud computing
Multi-objective optimisation of compute and data intensive e-science workflows
Improving polymorphic type explanations
3D modelling using partial differential equations (PDEs)
A unified wormhole attack detection framework for mobile ad hoc networks
Presupposition and assertion in dynamic semantics : Part (I) The presupposition : a critical review of presupposition theory ; Part (II) The assertion : what comes first in dynamic semantics
Extracting, organising, designing and reusing Prolog programming techniques
Studies in the design and implementation of programming languages for symbol manipulation
A configuration language for distributed programming
Trust management for widely distributed systems
Teachers' and students' use of ICT in the kingdom of Saudi Arabia: the case of a Saudi secondary school participating in the Tatweer Project
EEG-based mental states identification
Deep learning based approaches for cost effective short-term energy load forecasting and consumer behaviour modelling in households
Person recognition using gait energy imaging
Multi-Dimensional Binary Partition Tree for Content Retrieval
Exploiting a perdurantist foundational ontology and graph database for semantic data integration
Computers for learning : an empirical modelling perspective
Design and analysis of rule induction systems
Ethics and the practice of software design
The role of static and dynamic fâ‚€ differences in concurrent vowel segregation
Ontology-based context management for mobile devices
Trust in web geographical information systems for public participation
Modelling, tracking and generating human interaction behaviours in video
Robust subspace learning for static and dynamic affect and behaviour modelling
Authentication aura: a cooperative and distributed approach to user authentication on mobile devices
Usability of semi-formal and formal methods integration : empirical assessments
Supporting quality of service guarantees across multi-hop heteogeneous networks
Data structure abstraction and parallelisation of multi-material hydrodynamic applications
Solving key design issues for massively multiplayer online games on peer-to-peer architectures
Semi-supervised K-Means clustering for trajectory analysis in behavioural experiments
Characterising rhetorical argumentation
Personalized recommender systems on the social web
The impact of online consumer reviews, Web atmospherics, and exogenous factors on consumer behaviours and their purchase decisions
Approximation lower and upper bounds for a selection of combinatorial optimization problems
Defence against Denial of Service (DoS) attacks using Identifier-Locator Network Protocol (ILNP) and Domain Name System (DNS)
Super-resolution in still images and videos via deep learning
The exploration and adaptation of soft systems methodology using learning theories to enable more effective development of information systems applications
Artificial immune systems based committee machine for classification application
A graphics processing unit based method for dynamic real-time global illumination
Artificial intelligence system for continuous affect estimation from naturalistic human expressions
Gaussian quantum metrology and space-time probes
Distributed collaborative context-aware content-centric workflow management for mobile devices
An investigation to cybersecurity countermeasures for global Internet infrastructure
Formalising CORE requirements
Dynamic provisioning of resource-assured and programmable virtual private networks
Mobile CSPIIB
Methods for enhancing underwater imagery
An investigation of the factors affecting consumers' adoption of e-commerce : an empirical study of Saudi Arabia
Deep learning with knowledge graphs for fine-grained emotion classification in text
Formalisation of component-based systems
Probabilistic tracking and recognition of non-rigid human motion
Planning in a temporal frame : A Partial World Description approach
A case study in refactoring computer science education
Gamifying language resource acquisition
Object-centred generative planning
Towards better gameplay in educational computer games
Monodic first-order temporal logics : complexity, tableaux, and applications
Supporting project comprehension with revision control system repository analysis
From matrix factorisation to signal propagation in deep learning: algorithms and guarantees
The development of a statistical computer software resource for medical research
Opportunistic direct interconnection and cooperation between co-located wireless sensor networks
A hybrid methodology for data clustering
Mobile methods : eliciting user needs for future mobile products
Parallel performance analysis of large Markov models
Towards analysing cyber physical systems in 3D virtual environments
CryptDB mechanism on graph databases
Investigation of nonlinear processes and device designs applicable to the creation of a compact, broadly tunable laser based on a tantalum pentoxide planar lightwave circuit platform
Consensus clustering framework for analysing fMRI datasets: computational framework & neuroscientific insights
Endocrine inspired control of wireless sensor networks: deployment and analysis
Adoption of learning management systems in Saudi higher educational institutions
User-controlled access management to resources on the Web
Assumptions and efficiency in Gaussian process modelling
A data-driven framework for investigating customer retention
Geometric context from single and multiple views
Pose-independent face recognition
Counter intrusion software : malware detection using structural and behavioural features and machine learning
Investigations into elasticity in cloud computing
Action semantics of unified modeling language
Improving the effectiveness and the efficiency of Knowledge Base Refinement
A hybrid neuro-genetic pattern evolution system applied to musical composition
Extending and relating semantic models of compensating CSP
A resource management framework for reflective multimedia middleware
Performance issues of variability design in embedded system application families
Negotiation using commitment and dialogue
Minimizing dynamic and higher order energy functions using graph cuts
Efficient cross-architecture hardware virtualisation
Computer aided design decision making
Evaluating the effects on Monte Carlo tree search of predicting co-operative agent behaviour
Object-oriented development using the structured techniques : an entity-event approach
Differentiating noise and modulators in artificial neural networks
Towards the automation of mathematical reasoning
Handling latency for online learning with concept drift
The language of collaborative tagging
Segmentation features, visibility modeling and shared parts for object detection
A novel systems design approach to wireless sensor networks for industrial applications
Learning manipulative skills using an artificial intelligence approach
Instruments and access: the role of instruments in music and disability
Quantum Computing With Macroscopic Heralding
Software for on-line Process Control
Intertemporal choice for browsing in information retrieval
Groupware design : principles, prototypes, and systems
Compressed instruction cache architecture for high performance embedded RISC systems
An extensible static analysis framework for automated analysis, validation and performance improvement of model management programs
Feedback admission control for workflow management systems
Data analysis and optimisation of array-dominated programs
Handling class imbalance using swarm intelligence techniques, hybrid data and algorithmic level solutions
Securing data dissemination in vehicular ad hoc networks
Formal software development tools : (an investigation into usability)
Optical oxygen and temperature sensing with multi-task learning
Contributions to Service Level Agreement (SLA) negotiation and monitoring in cloud computing
Foundations for behavioural model elaboration using modal transition systems
Evolving artificial neural network controllers for robots using species-based methods
Computation of ripple effect measures for software
Biometrics writer recognition for Arabic language : analysis and classification techniques using subwords features
Stability of test criteria and fault hierarchies in software testing
A general state-based temporal pattern recognition
Integrating formal verification and simulation of hybrid systems
Enhanced class imbalance learning methods for support vector machines application to human miRNA gene classification
Detecting parallel structures in functional programs
Exact analysis for requirements selection and optimisation
Model transformation dependability evaluation by the automated creation of model generators
Algorithmic problems in mobile computing environments
Leveraging web and behavioural data for usable adaptive cybersecurity
Development of novel fuzzy techniques in the context of e-learning
A study of automatic contingency selection algorithms for steady-state security assessment of power systems for the application of parallel processing
Requirements-aware models to support better informed decision-making for self-adaptation using partially observable Markov decision processes
Dynamic resource management of network-on-chip platforms for multi-stream video processing
Analysis and modelling of a computer network to control an X-ray micro-analyser
Efficient opportunistic routing in dense mobile networks
The mathematical structure of non-locality and contextuality
Designing a new software system for the NHS: applying action design research work in an institutional setting
Semantic models for machine learning
Understanding the topics and opinions from social media content
Understanding the human behavioural factors behind online learners' susceptibility to phishing attacks
Automated synthesis of mixed-technology MEMS systems with electronic control
Automated algorithmic trading: machine learning and agent-based modelling in complex adaptive financial markets
Electronic transport and optical properties of modulation doped dilute nitride quantum well structures