yusuke1997/dblp-id-title huggingface dataset:
Investigations into the suitability of parallel computing architectures for the solution of sparse matrices using the preconditioned conjugate gradient method
The use of alternative data models in data warehousing environments
Continuous dimensional emotion tracking in music
A temporal logic for the specification and verification of real-time systems
OPE+q: an extended path expression language
A multi-agent decision support system for supply chain management
Visual construction of algebraic specifications
Facebook user interface design to suit the Saudi Arabian culture
Improving the accuracy of the Internet cartography
Facob : A Process-oriented framework for capability outsourcing in B2B collaborations
A new security scheme and lightweight encryption algorithm for voice over wireless networks connectivity to Internet
Designing graphical interface programming languages for the end user
Automatic determination of part build orientation for laser powder bed fusion additive manufacturing
Time-series prediction using evolutionary lateral-delay neural networks
Single view-based face synthesis and animation
Novel guidelines for the analysis of single nucleotide polymorphisms in disease association studies
Evaluating collaborative filtering over time
A separation logic framework for HOL
Multiparametric interfaces for fine-grained control of digital music
Robust botnet detection techniques for mobile and network environments
A calculational approach to program inversion
In search of a multimodal mobile interface that supports multitasking on the move
Applying touch gesture to improve application accessing speed on mobile devices
Scalable image retrieval based on hand drawn sketches and their semantic information
Formal patterns for Web-based systems design
An extended case study on the introductory teaching of programming
Context-aware and adaptive usage control model
Student modelling by adaptive testing : a knowledge-based approach
Navigation in desktop virtual environments
The home workshop : a method for investigating the home
Representing automatically generated topics
An approach to cross-domain situation-based context management and highly adaptive services in pervasive environments
Performance measurement and evaluation of time-shared operating systems
The influence of interpersonal and intra-group factors on the software development process
A compositional framework for the specification, verification and runtime validation of reactive web services
Assuring safety and security
Supporting visualization users in diverse environments
Neuron to symbol : relevance information in hybrid systems
Nested multilevel Monte Carlo methods and a modified Euler-Maruyama scheme utilising approximate Gaussian random variables suitable for vectorised hardware and low-precisions
The global intelligent file system framework
Enhancing the automotive E/E architecture utilising container-based electronic control units
Learning with delayed reinforcement in an exploratory probabilistic logical neural network
Parallel programming using functional languages
Efficient deep neural network inference for embedded systems: a mixture of experts approach
A temporal database model using nested relations
ORPE : a high performance semantic transaction model for disconnected systems
Creating illusion in computer aided performance
Vertex unique labelled subgraph mining
Techniques for realizing a direct-execution high-level language processor
Multi-robot vision
Intermediary XML schemas
Generalised hybrid fuzzy multi criteria decision making based on intuitive multiple centroid defuzzification
A neurologically plausible implementation of a meaning-based knowledge
Some problems in on-line system identification
Roller compaction of pharmaceutical excipients and prediction using intelligent software
Breaking gender code: visibility, power, and gender in creative coding cultures
Easing access to relational databases: investigating access to relational databases in the context of both novice and would-be expert users
Printable thermoelectric devices for energy harvesting
Mitigation of contrast loss in underwater images
Partner-based scheduling and routing for grid workflows
Robust bespoke facial deformable models
The computation of eigenvalues and eigenvectors of very large sparse matrices
HiperLan 2 for the wireless local loop
RA-LPEL: a Resource-Aware Light-weight Parallel Execution Layer for reactive stream processing networks on the SCC many-core tiled architecture
Uncertainty and uncertainty tolerance in service provisioning
Analysis of behaviours in swarm systems
Formal computational models of biological systems
Studies in self-organised criticality
Adding privacy protection to policy based authorisation systems
A multi-scale computational investigation of cardiac electrophysiology and arrhythmias in acute ischaemia
Orca: Ownership and Reference Count Collection for Actors
Seeking improvements in detailed design support for software development projects
Small model theorems for data independent systems in Alloy
Large scale numerical software development using functional languages
Tractable query answering for description logics via query rewriting
Hierarchical modelling for financial data
Person re-identification with and without supervision
On the utilisation of persistent programming environments
Systematic trading : calibration advances through machine learning
Enabling cooperative and negotiated energy exchange in remote communities
A cognitive approach to supporting software reuse
Colour depth-from-defocus incorporating experimental point spread function measurements
Automated hardware trojan detection
A class of games on graphs
Uncertainty and capsule networks for computer vision
Path Planning with Avoidance Using Nonlinear Branch-and-Bound
Automatic facial expression analysis
An OR parallel logic programming language : its compiler and abstract machine
Performance-oriented service management in clouds
Feature extraction in volumetric images
Networks in nature : dynamics, evolution, and modularity
Local Area Computer Communication Networks
Type projections over sef-describing data
Multi-level image authentication techniques in printing-and-scanning
The explanation of benefits afforded by the application of force feedback effects to pointing interactions
Hybrid AI paradigms applied to power system damping controls
The controllability of elastic systems
A multi-level access control framework for data access in a healthcare cloud
Granularity in large-scale parallel functional programming
Supporting management interaction and composition of self-managed cells
Memory safety with CHERI capabilities: security analysis, language interpreters, and heap temporal safety
The effect of audio on the visual perception of high-fidelity animated 3D computer graphics
Empirical approach towards investigating usability, guessability and social factors affecting graphical based passwords security
Simulating social situations in immersive virtual reality: a study of bystander responses to violent emergencies
Optimizing localization security for scalable wireless sensor networks
Towards an adaptive solution to data privacy protection in hierarchical wireless sensor networks
Subnet generation problem : solutions to a new network routing problem
Behaviour-based virus analysis and detection
Dynamic detection and immunisation of malware using mobile agents
Design, development and evaluation of hypermedia courseware : market research
A computing structure for data acquisition in high energy physics
Efficient structural outlooks for Vertex Product Networks
A continuous risk management approach for cyber-security in industrial control systems
Mixed order hyper-networks for function approximation and optimisation
Eye tracking to aid fetal ultrasound image analysis
A novel loss function to train classifiers
Intrusion detection for communication network security in power systems
Evolutionary search on fitness landscapes with neutral networks
The social implications of artificial intelligence
Cache related pre-emption delays in embedded real-time systems
A gateway solution for accessing networking appliances
Analysis of safety-critical parallel software systems
A programming language for the finite element method
Capturing and categorising user interaction
AI governance through a transparency lens
Parametric sweep search for parallel robot workspace determination
Consensus control for multi-agent sytems with input delay
Information system development in a process management environment : the dynamics of improvisation and bricolage during embedded software design
Scalability, evolution and topology of networks of agents
Correlation techniques in adaptive aircraft control systems
A study of two formal description languages and their application to PASCAL
Software reuse : a knowledge-based approach
Combinatorial structures in quantum information
Cursor control for motion-impaired users
Knowledge acquisition from user reviews for interactive question answering
The design and implementation of command languages for digital computers
Investigating the factors that influence the effectiveness of E-commerce security context
Identification and correction of speech repairs in the context of an automatic speech recognition system
Evaluating the adoption of pure electric vehicles: an examination of sociotechnical barriers amongst UK consumers
A hybrid multibiometric system for personal identification based on face and iris traits : the development of an automated computer system for the identification of humans by integrating facial and iris features using localization, feature extraction, handcrafted and deep learning techniques
Structural pattern matching for sensor management
An associative text FILTER for micro-computer based document retrieval
Supporting closely coupled collaboration around shared objects in immersive virtual environments
On the anonymity of anonymity systems
OMICRON: a parallel computer architecture for declarative languages
Analysis, modelling and animation of emotional speech in 3D
Low overhead & energy efficient storage path for next generation computer systems
Computing with finite groups
Default reasoning using maximum entropy and variable strength defaults
Deep learning for music information retrieval in limited data scenarios
Software test case generation from system models and specification : use of the UML diagrams and high level Petri nets models for developing software test cases
Definition of cross-domain indexes and ordering functions in relational algebra and its usage in relational database management systems
A dynamic middleware-based instrumentation framework to assist the understanding of distributed applications
Implementing a hybrid spatial discretisation within an agent based evacuation model
Ambient agents
A practice-based exploration of natural environment design in computer & video games
Improving less constrained iris recognition
New techniques in derivative domain image fusion and their applications
Two dimensional string covering and parallel suffix array construction
Towards a phoneme-based predictive communication aid for nonspeaking individuals
Precise modelling of business processes with compensation
Safe and Effective Autonomous Decision Making In Intelligent Robtic Systems
Collection, compilation and computer retrieval of the analytical data of compounds listed in the Misuse of drugs act 1971
Wavelet based images/video compression techniques for telemedicine application
Parametric programming techniques for process engineering problems under uncertainty
Semantic query optimization in relational database management systems
A unified model for inter- and intra-processor concurrency
Multi-scale data storage schemes for spatial information systems
Managing active object scalability on distributed memory : with a case study in parallel VRML
Machine learning and statistical approaches to analysis of wearable sensory gait data
Personalised search for the Social Semantic Web
A novel framework for improving cyber security management and awareness for home users
Theory, application and implementation of artificial neural networks
Using an open hypermedia system to develop new techniques in adaptive hypermedia
A methodology and a tool for the formalisation and representation of 'common sense' (naive physical) knowledge
Bicontexts and structural induction
Automatic and accurate segmentation of thoratic aortic aneurysms from X-ray CT angiography
Neighbour discovery and distributed spatio-temporal cluster detection in pocket switched networks
Cloud computing in the large scale organisation: potential benefits and overcoming barriers to deployment
Performance and cost optimization of multi-tenant in-memory database clusters
Novel text entry and mobile interaction techniques for Arabic language users
Affect-based information retrieval
The evaluation of computer performance by means of state-dependent queueing network models
Research and developments of Dirac video codec
Image texture analysis based on Gaussian Markov Random Fields
DISE : a game technology-based digital interactive storytelling framework
User profiling using machine learning
Algorithms for assessing the quality and difficulty of multiple choice exam questions
Negation and antonymy in sentiment classification
The construction of valued skills and expertise within the I.T. profession : continuing tensions between techies and managers
A model for computer aided programming
High level synthesis of memory architectures
Visual, spatial and temporal quality in video-based reconstruction of people : achieving, prototyping and evaluating
Rough set clustering using local and global data knowledge
Semantic models for texturing volume objects
Agonistic interfaces: prompting debate and reflection on socio-political issues using digital technology
An architecture for real-time distributed artificial intelligent studies
A model-driven approach towards designing and analysing secure systems for multi-clouds
Application of Learning Algorithms on the Design of Autonomous Adaptive Artificial Characters
Fast detection of zero-day phishing websites using machine learning
Resource allocation in networks with dynamic topology
Feed forward in stochastic control systems
Image and video watermarking
Sequential and parallel execution of logic programs with dependency directed backtracking
Modality based perception for selective rendering
Improving the applicability of genetic algorithms to real problems
Modelling and verification for DNA nanotechnology
Raft : automated techniques for diagnosing, reproducing, and fixing concurrency bugs
Secure covert communications over streaming media using dynamic steganography
Parallel parsing of context-free languages on an array of processors
Algebraically modelling object-orientated programs
Measurement and simulation of partial discharges within a spherical cavity in a solid dielectric material
Dynamic performance optimisation of distributed applications
Detecting changes in network performance from low level measurements
The role of user session on the heuristic evaluation
Extensions of Presburger arithmetic and model checking one-counter automata
A no-thin-air memory model for programming languages
A formal refinement framework for the systems modeling language
Parallel machine vision for the inspection of surface mount electronic assemblies
The role of virtual actors in collaborative virtual environments for learning
Mining text and time series data with applications in finance
The design and construction of a decision-support system for planning local hospital services
Animating faces from speech
Efficient and scalable replication of services over wide-area networks
Optical technologies and control methods for scalable data centre networks
Query specification and accessing strategies for relational databases
Approximating neural machine translation for efficiency
Intelligent interface agents for biometric applications
An open architecture for location-based services in heterogeneous mobile environments
Reservoir engineering for quantum information processing
Analysis of electromagnetic wave propagation using 3D finite-difference time-domain methods with parallel processing
Computing with changing logic programs
Methods for resolving inconsistencies in ontologies
A collection model for data management in object-oriented systems
Using stylistic parameters to control a natural language generation system
The arc and the machine
Lossy index compression
Verification of compiled code
Machine learning based data pre-processing for the purpose of medical data mining and decision support
A system for creating rich and interactive human digital memories
Colour constancy and its applications in machine vision
Computational analyses of spatial information processing using radial basis function networks
MOSFET characterisation and its application to process control and VLSI circuit design
Modelling and managing temporal data and its application to Scottish dental information systems
Data validation and reliability calculations in digital protection systems
Higher order mutation testing
An embedded-agent approach to activity recognition in domestic ambient intelligent environments
The development of a knowledge based front end for a computational fluid dynamics package
Designing appropriate icons for Taiwanese computer users
Generating politeness for conversational systems aimed to teach english as a second language
Topologically constrained self-organisation
Evaluation, compression and application of vibrotactile data
Parallel computation of eigenvalues and eigenvectors using Occam and transputers
The worker-wrapper transformation: getting it right and making it better
New optimization methods in predictive control
Application of wavelets and artificial neural network for indoor optical wireless communication systems
Novel optimization schemes for service composition in the cloud using learning automata-based matrix factorization
On the use of text classification methods for text summarisation
A multiple-perspective approach for insider-threat risk prediction in cyber-security
Dynamic QoS provisioning for network mobility
Everything integrated : a framework for associative writing in the Web
Specification refinement and program development in vZ
Auditory-based processing of communication sounds
Vision-based retargeting for endoscopic navigation
Spatio-temporal modeling and analysis of brain development
Chronicling process model construction using World Wide Web technology
Artificial intelligence and chemical kinetics enabled property-oriented fuel design for internal combustion engine
Quality of service assessment over multiple attributes
Inferring and exploiting compact models of evolutionary problem structure
An effective approach for testing program branches and linear code sequences and jumps
Awareness & perception in rapid serial visual presentation
The suitability of FDDI in multimedia communications in light of the development in ATM
Abstraction : a notion for reverse engineering
High-performance near-time processing of bulk data
Formal verification of X-machine models : towards formal development of computer-based systems
Non-linear modelling of financial data using topologically evolved neural network committees
Data compression for space applications
Autonomous science target detection and touchability assessment for planetary exploration
Spatio-temporal framework on facial expression recognition
Methodologies and software maintenance
Supporting software processes for distributed software engineering teams
Rational communication for the coordination of multi-agent systems
Co-designing software abstraction and optimisation for productivity and performance
An assessment of existing component-based software development methodologies and a holistic approach to CBSD
First order linear logic in symmetric monoidal closed categories
Evolutionary optimisation of network flow plans for emergency movement in the built environment
Application-level multicast for group communication
An exploration on the evolution of learning behaviour using robot-based models
A framework for the design and evaluation of magic tricks that utilises computational systems configured with psychological constraints
An investigation into kin selection and reciprocal cooperation in a viscous population
Evaluation of the usability of constraint diagrams as a visual modelling language : theoretical and empirical investigations
Investigation into heuristic methods of solving time variant Vehicle Routing Problems
Position sensing and augmented reality
A human factors perspective on volunteered geographic information
An agent-based Bayesian method for network intrusion detection
Distributed empirical modelling and its application to software system development
An algorithm for evolving protocol constraints
Determining principles for the development of mixed reality systems for command and control applications
Technologies for knowledge management : a case study of the Semantic Web in Rolls-Royce
Mobility management in all-IP mobile network
Multiversal algebra
A fully distributed security service for ad hoc networks based on dynamic general access structures
Modelling the spatial variation in Alopecurus myosuroides for precision weed management
On the complexity of model checking counter automata
Real-time simulation and visualisation of cloth using edge-based adaptive meshes
An expert system approach to retrograde-analysis
Quality of Experience in relation to wearables
Customisable and reconfigurable platform for optimising floating point computations
Incremental search algorithms for on-line planning
The role of connectionist representations in necessary inference for natural language processing
A metadata-enhanced framework for high performance visual effects
Semantic model driven engineering
Improving one-handed interaction with touchscreen smartphones
Benefits of traceability in software development
Enabling energy-awareness for internet video
Reasoning with constraint diagrams
Sparse-Matrix Techniques for Non-Linear Network Analysis on a Small Computer
Social network support for data delivery infrastructures
Information flow in spatial models of computation
Modelling and tracking objects with a topology preserving self-organising neural network
Improving users' awareness interactions in the collaborative document authoring process : the CAWS approach
Computer-aided calibration of the accuracy performance of NC machine tools
Facilities planning : a systems analysis and simulation approach with particular reference to hospital design
The application of groupware in the manufacturing industry
Analysing volunteer engagement in humanitarian crowdmapping
3D laser scanner development and analysis
A speculative execution approach to provide semantically aware contention management for concurrent systems
Adapted games for the elderly
Task-based dialogues for flexible agent interactions
On the development of Algol
An automated learner-based reading ability estimation strategy using concept indexing with integrated Part-of-Speech n-gram features
A data-driven text mining and semantic network analysis for design information retrieval
The use of artificial intelligence techniques for protein structure prediction
Computer Aided Chemical Structure Determination
A decision framework to mitigate vendor lock-in risks in cloud (SaaS category) migration
Combining data driven programming with component based software development : with applications in geovisualisation and dynamic data driven application systems
Computer-based teaching of a graphical learning strategy
EDUC : a visual database for supporting link chart analysis
Knowledge based improvement : simulation and artificial intelligence for understanding and improving decision making in an operations system
Network and storage stack specialisation for performance
Schedulability of mode changes in flexible real-time distributed systems
Maximum entropy covariance estimate for statistical pattern recognition
Embodied creativity : a process continuum from artistic creation to creative participation
Event structure detection and representation using deep learning
A component-based active router architecture
Neural networks for analysing music and environmental audio