yusuke1997/dblp-id-title huggingface dataset:
Swarm-array computing : a swarm robotics inspired approach to achieve automated fault tolerance in high-performance computing systems
Robust segmentation and statistical shape modelling: application to cardiac imaging
Analyzing the selection of the herbrand base process for building a Smart Semantic Tree Theorem Prover
Coordination and leadership in complex multi-agent systems: analysis, control and application to human ensembles
The minimisation of power losses in Electrohydraulic Servo Systems
The visualisation and expression of virtual 3D surfaces explored through custom developed interactive software, optically mixed coloured surface contouring and fine art printmaking
The dendritic cell algorithm
QML-Morven : a framework for learning qualitative models
Reasons for hardness in QBF proof complexity
Feature selection for intrusion detection system
To what extent can an embedded problem-solving approach to teaching computer programming deliver a learning experience which meets learner and industry recruiter expectations?
Hierarchical TCP network traffic classification with adaptive optimisation
Data assimilation in highly nonlinear systems
Automated and verified deep learning
Adaptive resource management in a multimedia operating system
Software defect prediction using static code metrics : formulating a methodology
Decentralised privilege management for access control
Securing the in-vehicle network
Ontology alignment mechanisms for improving web-based searching
Orthogonal persistence : an abstract representation of persistent storage in Algol-like languages
Architectures for Embodied Imagination
Supporting the migration from construal to program : rethinking software development
Computational modelling and quantitative analysis of dynamics in performed music
Incorporating design patterns into object-oriented development methods
Quantifying texture scale in accordance with human perception
Pattern Recognition Techniques in Multiclass Problems with Special Reference to Vowel Sounds
Data analytics and methods for improved feature selection and matching
Distributed multimedia quality : the user perspective
Data science enabled rehabilitation
An empirical assessment of the software design pattern concept
Source level debugging for microprocessors
3D shape reconstruction using a polarisation reflectance model in conjunction with shading and stereo
The design and analysis of bulk-synchronous parallel algorithms
A forensically-enabled IaaS cloud computing architecture
Investigation of the information systems implementation problems in the Saudi Arabian higher education sector
Towards a localisation of trust framework for pervasive environments
On the propagation and leakage of solar acoustic p modes into the solar atmosphere
Algorithmic sovereignty
Silicon-germanium for photonic applications
Automatic fake news detection on Twitter
Game theoretic models of networks security
A software approach to enhancing quality of service in Internet Commerce
Global connectivity, information diffusion, and the role of multilingual users in user-generated content platforms
Automatic Tracking Logics
Memory lane : an intelligent, multimodal, mobile reminiscence companion for older adults
Optimization based control of nonlinear systems
Developing a data quality scorecard that measures data quality in a data warehouse
Construction of a quality assurance and measurement framework for software projects
Analysis and development of the Bees Algorithm for primitive fitting in point cloud models
Personalised dialogue management for users with speech disorders
VWADM: an architecture-inspired method for designing Virtual World applications
A framework for organizational information support in cooperative environments
Statistical methods for facial shape-from-shading and recognition
Understanding and Debugging Simple Computer Programs
3D face recognition using multicomponent feature extraction from the nasal region and its environs
Optimal control of an internal combustion engine and transmission system
Geometric modelling and identification of structure in image data
Supply information provision for co-operation in complex production networks
Quality of service for high-speed interconnection networks onboard spacecraft
A novel clustering algorithm with a new similarity measure and ensemble methods for mixed data clustering
Neural virtual immune system : a next generation web application security framework
Generic access control of cloud storage using attribute-based cryptography
Efficient iterative decoding algorithms for turbo and low-density parity-check (LDPC) codes
Multimodal human-computer interaction for enhancing customers' decision-making and experience on B2C e-commerce websites
Advances in educational support for software design methods
Modelling the development of the retinogeniculate pathway
Investigating heuristic and meta-heuristic algorithms for solving pickup and delivery problems
Channel-coded time-hopping and direct-sequence ultrawideband systems
J2ME provisioning architecture
Architectural support for persistent memory systems
Adaptive sampling of information in perceptual decision problems
Unsupervised induction of semantic roles
Effective interprocess communication (IPC) in a real-time transputer network
Agent-based resource management for grid computing
Object-oriented data structures in complex engineering systems
Superoptimisation : provably optimal code generation using answer set programming
Introspective knowledge acquisition for case retrieval networks in textual case base reasoning
Practice-centred e-health system design for cross-boundary clinical decision support
Navigational patterns in interactive multimedia
VM allocation in cloud datacenters based on the multi-agent system: an investigation into the design and response time analysis of a multi-agent-based virtual machine (VM) allocation/placement policy in cloud datacenters
Dataflow development of medium-grained parallel software
Declarative nested data transformations at scale and biomedical applications
Gaussian processes for spatiotemporal modelling
Interaction of activation-repolarization coupling and restitution properties in two models of human ventricular tissue
Web-based strategies in the manufacturing industry
An effective multiple access policy for home telephone wiring in a home LAN
Analysis, representation and mapping of neural networks onto parallel hardware
Eye-gaze interaction techniques for use in online games and environments for users with severe physical disabilities
Manual and automatic authoring for adaptive hypermedia
Integration of active chassis control systems for improved vehicle handling performance
Aspects of planning with neural systems
Motion classification using spatiotemporal approximation of object trajectories
Design of portable led visual stimulus and SSVEP analysis for visual fatigue reduction and improved accuracy
Fault-tolerance for collaborative strong group communication
Operating system support for emerging application domains
Decision and control processes in recognition memory
Machine learning in medical image analysis
Using the 3D shape of the nose for biometric authentication
Negative feedback as an organising principle for artificial neural networks
On the design of end-user service composition applications
Knowledge based system development as an engineering process
A comparison of children's in-school and out-of-school use of the internet : the coherence of the inchoate
Theory and applications of competitive prediction
Understanding the exergame user experience: users' motivation, attitude and behaviour in a location-aware pervasive exergame for adolescent children
Reconciling community resource requirements in user provided networks
An algorithmic framework for visualising and exploring multidimensional data
Statistical modelling of craniofacial shape
Video event analysis using activity primitives
Link-layer rate of multiple access technologies with short-packet communications for uRLLC
Mining real-world networks in systems biology and economics
Vision-based human activity analysis
Local Area Network architectures using spread spectrum with mesh topologies
Computer enhancement of fingerprint images
Trusted execution: applications and verification
Hierarchical Control Based on Problem Decomposition
Learning with fewer labels in deep learning for plant phenotyping
Extending human interaction via invasive neural implants
Design and implementation of a low-level language for interaction nets
Algorithmic protocol and network configuration selection for WLAN performance optimization conditioned by service mix
Investigating the user-acceptability of a massively parallel computing solution for image processing workstations
Data representation optimisation for reconfigurable hardware design
Security in next generation air traffic communication networks
A general approach to temporal reasoning about action and change
Worst-case resource-usage analysis of Java Card classic editions application bytecode
Resolution-based methods for linear-time temporal logics : with applications to formal verification
A sensory system for robots using evolutionary artificial neural networks
Intelligent control system for CFD modelling software
Holistic cloud computing environmental quantification and behavioural analysis
Image processing in echography and MRI
Methodologies for the structured development and documentation of manufacturing planning and control systems
Towards a novel medical diagnosis system for clinical decision support system applications
Interactive program derivation
Metaphor-based negotiation and its application in AGV movement planning
Presenting interactive product information on the World Wide Web : the case of on-line building products
Algorithms for game-theoretic environments
Using object-oriented databases to model hydrocarbon reservoirs
Optimizing graph query performance by indexing and caching
A conceptual framework for an affective tutoring system using unobtrusive affect sensing for enhanced tutoring outcomes
Achieving privacy-preserving distributed statistical computation
Experimental design techniques in evolutionary algorithms
System identification using radial basis function networks
Optimal Finite State Discrimination Procedures
Evolutionary and conventional reinforcement learning in multi agent systems for social simulation
Techniques for scheduling time-triggered resource-constrained embedded systems
Cyber security behavioural intentions for trade secret protection
Pedagogical feedback in the motor skill domain for computer-based sport training
Embedded document security using sticky policies and identity based encryption
Data structures for SIMD logic simulation
Automatic production of code generators
Genome reconstruction and combinatoric analyses of rearrangement evolution
Automated computational techniques for high-throughput image analysis of skin structure
Content based retrieval and classification of music using polyphonic timbre similarity
An object-oriented approach towards a collaborative environment for computer-aided engineering (C.A.E.)
An investigation of 3D visualisation and simulation systems for research and education
Bounds on computation from physical principles
Exploiting metadata links to support information retrieval in document management systems
Semantic spaces for video analysis of behaviour
An investigation into communication studies to improve the designer's understanding of the virtues and constraints of the three dimensional graphical user interface
Exploring deception using automatically detected facial action units
Characterisation and control of linear optical quantum computers
Machine learning for signal detection and estimation in wireless communications
AI in computer games : generating interesting interactive opponents by the use of evolutionary computation
The development of a new design concept in modular robot technology
A formal architecture-centric and model driven approach for the engineering of science gateways
Value- and debt-aware selection and composition in cloud-based service-oriented architectures using real options
Development of unsupervised feature selection methods for high dimensional biomedical data in regression domain
QoS provisioning in the next generation Internet : the role of the network edge
3D deformable models for face tracking
Efficient execution of concurrent applications using transactional memory
A synthesised approach to goal-oriented requirements engineering
Multi-GNSS signals acquisition techniques for software defined receivers
A formal theory of railway track networks in higher-order logic and its applications in interlocking design
Action refinement in process algebras
Minkowski lP norms in estimating the scene illuminant
Contextualising user interfaces for complex systems
Investigation of late time response analysis for security applications
Improving problem understanding by combining Explanation-Based Learning and Case-Based Reasoning : a case study in the domain of international conflicts
Analysis of MRI for knee osteoarthritis using machine learning
Tools for algebraic program transformation
Error thresholds and optimal mutation rates in genetic algorithms
Optimising kinematic systems using crowd-sourcing and genetic algorithms
Inference in Bayesian time-series models
The mathematical representation of distributed flow processes for automatic control
Understanding the design of energy interventions to reduce end-user demand in organisational and domestic environments
A middleware for ubiquitous agents
Dialogue and the machine : an interaction perspective on computer dialogue models, mediation and artifacts
High-fidelity colour reproduction for high-dynamic-range imaging
A machine learning approach to robust autonomous detection of defective pixels in image sensor arrays
On some queueing systems with server vacations, extended vacations, breakdowns, delayed repairs and stand-bys
An information and meaning oriented approach to the construction of a conceptual data schema
Zero-knowledge proofs in theory and practice
Improving the reliability and validity of 'Wizard-of-Oz' methods
Development and exploration of a timbre space representation of audio
Digital servomechanisms
Controlling light with photonic metamaterials
Computational modelling of agent based path planning and the representation of human wayfinding behaviour within egress models
Boolean network inference and control using metaheuristic algorithms
Knowledge-based debugging : matching program behaviour against known causes of failure
Decision support for the management of essential hypertension
The production of surface textures in real-time computer generated imagery
Formal justification in requirements engineering
Software support for quantitative near-infrared analysis and benchmarking of chemometric methods: a case study on single kernel samples
Approximate dynamic programming with parallel stochastic planning operators
Telling your story : autobiographical metadata and the semantic web
From analogy-making to modelling : the history of analog computing as a modelling technology
The development of an expert advisory system for the Aquired Immune Deficiency System (AIDS)
Worst-case execution time analysis for dynamic branch predictors
RPPM: a relationship-based access control model utilising Relationships, Paths and Principal Matching
System for intuitive interaction with large-scale visual databases
Texture analysis using the trace transform
On the simulation and design of manycore CMPs
Design and analysis for TCP-friendly window-based congestion control
Compilation and modelling of reconfigurable dataflow systems
Implicit image annotation by using gaze analysis
An investigation into the generation, encoding and retrieval of CCTV-derived knowledge
The effectiveness of augmented reality with gamification in learning 3D geometry
An investigation into fuzzy clustering quality and speed: fuzzy C-means with effective seeding
Generative grammars and the computer-aided composition of music
Non-negative matrix factorisation: algorithms and applications
A cognitive IoE (Internet of Everything) approach to ambient-intelligent smart space
The effects of navigational aids on users' navigation strategies in hypertext systems
Optimum shape problems in distributed parameter control theory
Bayesian inference for continuous time Markov chains
An ontology-driven organisational memory for managing group competencies
A port graph rewriting system for visual data modelling
Machine learning approach to reconstructing signalling pathways and interaction networks in biology
Effects of network weight structure in echo state networks
High redundancy actuator
Rigorous code generation for distributed real-time embedded systems
Using differential adhesion to control self-assembly and self-repair of collections of modular mobile robots
Standards-based Internet of Things sub-GHz environmental sensor networks
Offline learning for sequence-based selection hyper-heuristics
Genetic algorithms for workforce scheduling and routing problem
Modelling novel heat exchangers for aircraft thermal management
Modelling and assessing the environmental impacts of software
Specification and design of large computer-based systems
Verification and validation of JavaScript
From digital creations of space to analogous experiences of places : living in second life and acting in Flash Mob
Reflection and hyper-programming in persistent programming systems
The development of an intelligent inventory management system
Novel methods in the improvement of turbo codes and their decoding
Cyber-physical intrusion detection for robotic vehicles
Generic machine vision driven by Gabor filters for the identification of textural objects
Intelligent character recognition using hidden Markov models
Software lock elision for x86 machine code
Identifying relevant evidence for systematic reviews and review updates
Interpretation of human breathing patterns towards a new augmentative and alternative communication solution
The trade-off between usability and security in the context of eGovernment
Meta-APL : a general language for agent programming
An algorithm for the solution of non-linear optimization problems and its application in radiation protection
Selectivity and adaptation in the human auditory system
Ensemble diversity for class imbalance learning
Technical aspects of data mining
The economics of cyber risk transfer
Synthesis of project planning networks using an intelligent knowledge-based systems methodology
Generalised key distribution patterns
Fabrication and assembly of microsystems using excimer lasers
Space-IP : context-aware QoS provisioning for long- distance networks and delay-sensitive applications
Tangible user interfaces for peripheral interaction : episodic engagement with objects of physical, digital & social significance
A source modelling system and its use for uncertainty management
Wireless sensor networks and their industrial applications
Face-to-face interactions in augmented reality games
Software reliability prediction : a multi-modelling approach
Designing communication systems that work
A programmable matching engine for application development in Linda
A pattern-driven corpus to predictive analytics in mitigating SQL injection attack
RE-engineering relational scheme to object-oriented schema using a hybrid approach
WEBFRAME : a framework for informing web developers' methodology selection
Comuco : a completely mobile language
Pattern Classification using Reconfigurable Hardware
A cross-cultural analysis of music structure
The effectiveness of aural instructions with visualisations in e-learning environments
The formal analysis of a functional animation system
Semantically-guided evolutionary knowledge discovery from texts
Virtual prototyping of embedded real-time systems
Autonomic visualisation
Evolutionary image analysis in binary partition trees
A metametadata framework to support semantic searching of pedagogic data
An empirical investigation into the drivers of re-subscription in massively multiplayer online games : a commitment trust theory approach
Immersion and interaction : creating virtual 3D worlds for stage performances
Learning and interpreting deep representations from multi-modal data
Relational clustering models for knowledge discovery and recommender systems
An interdisciplinary exploration of information overload
Java Iconic Visual Environment for Simulation (JIVESim)
The abstract semantics of tasks and activity in the discovery method
Selective rendering for high-fidelity graphics
A method for consistent non-local configuration of component interfaces
User modelling for knowledge sharing in e-mail communication
Using unsupervised machine learning for fault identification in virtual machines
Artificial neural networks for combustion modelling
Selective sharing: a dialogical approach to ontology matching
Theory and simulation of a language-learning automaton
Probabilistic machine learning: methods and applications to continuous control
Human identification using soft biometrics
Computer-aided analysis of engineering tolerances
Applications of formal methods in engineering
Programming Language Facilities for Processing Structured Data in a Computer
Fast physical simulation of virtual clothing based on multilevel approximation strategies
Theoretical and Computational Studies in Model Reduction and its Applications in Control System Design
Plan delegation in a multiagent environment
A study of the reliability and integrity of microprocessor-based process controllers
Texture mapping algorithms for displays in virtual reality
Vehicle speed over ground radar
Textual entailment for modern standard Arabic
The design and evaluation of a culturally adaptive approach to teamwork systems within an education context
A multilayer framework for quality of context in context-aware systems
Composite construction of high performance scientific applications
Dialogues in cybernetics: a model for understanding critical thinking construction in the digital age
Improving the quality of bug data in software repositories
An automatic machine-learning framework for testing service-oriented architecure
Intelligent monitoring of small transients in a complex non-linear system using Artificial Neural Networks
Logarithmic opinion pools for conditional random fields
Sequential Monte Carlo methods for extended and group object tracking
Run time verifcation of hybrid systems
Motion capture based motion analysis and motion synthesis for human-like character animation
Automated design of energy functions for protein structure prediction by means of genetic programming and improved structure similarity assessment
Instance directed tuning for sparse matrix kernels on reconfigurable accelerators
Physical unclonability framework for the Internet of Things
A simulation-based methodology for the assessment of server-based security architectures for mobile ad hoc networks (MANETs)
Machine learning applications in finance: some case studies
A knowledge based approach for design optimisation of ultrasonic transducers and arrays
Enriching lifelong user modelling in a social networking and e-commerce era
Truth discovery under resource constraints
Secondary structure-based template selection for fragment-assembly protein structure prediction
An ontological framework for assisting people with disabilities in organisations
Affect analysis and membership recognition in group settings
An empirical investigation of factors influencing the successful treatment of organisational issues in information systems development
Natural language inference over dependency trees
QoS support for IP micromobility protocols
Online transfer learning for concept drifting data streams
Modelling and analysis of plant image data for crop growth monitoring in horticulture
Investigating ray tracing algorithms and data structures in the context of visibility
Meta description of experimental identification of medical knowledge
High-dimensional sparse random networks with covariates
A parallel programming environment for multigrid using BSP
The adoption of ICT in Malaysian public hospitals: the interoperability of electronic health records and health information systems
The role of entanglement in quantum communication, and analysis of the detection loophole