yusuke1997/dblp-id-title huggingface dataset:
Traffic offloading in a converged satellite and terrestrial network
User innovation in information systems practice
Machine learning approaches for extracting protein complexes from protein-protein interaction networks
Energy-efficient sentient computing
Exploring happiness indicators in cities and industrial sectors using Twitter and Urban GIS data
Capture and modelling of 3D face dynamics
Automated test sequence generation for finite state machines using genetic algorithms
Using argumentation to improve classification in natural language problems
Suprasegmental representations for the modeling of fundamental frequency in statistical parametric speech synthesis
Data-driven refactorings for Haskell
Automated analysis of system-wide malware propagation
High performance computing for the Finite Difference Time Domain method with the Huygens Absorbing Boundary Condition
Low dimension hierarchical subspace modelling of high dimensional data
Developing a user-centric distributed middleware for SLA monitoring in SaaS cloud computing using RESTful services
Technology initiated paradigm shifts for re-engineering the software value-chain
Neural network simulation of dynamic speech perception
Interaction design in everyday computer-based systems : challenges, design strategies and solutions
Symbolic techniques for value-passing calculi
Zero-memory controllers in stochastic control
Functional programming and erratic non-determinism
A Bayesian network model for entity-oriented semantic web search
3D data fusion by depth refinement and pose recovery
Analysis of symmetric patterns in images
An improved method for the mechanisation of inductive proof
FPGA acceleration of DNA sequencing analysis and storage
Use of rippling to automate Event-B invariant preservation proofs
Machine learning approaches for event web data extraction
Quality of service support in distributed systems
Design models for service-based software application
AMBER: a domain-aware template based system for data extraction
Articulated human tracking and behavioural analysis in video sequences
Techniques for the analysis of monotone Boolean networks
Exploiting social networks for recommendation in online image sharing systems
Deriving distributed garbage collectors from distributed termination algorithms
Intrinsically motivated developmental learning of communication in robotic agents
Map-assisted indoor positioning utilizing ubiquitous WiFi signals
Functionalization of endohedral fullerenes and their application in quantum information processing
An investigation into the use of virtual reality technology for passenger infotainment in a vehicular environment
Building civic architecture in cyberspace : digital civic spaces and the people who create them
An examination of the weakness in current online help systems and a proposed solution using an integrated information base
Automatic summarization of opinions in service reviews
Recurrent neural networks and adaptive motor control
Learning object behaviour models
Modelling group dynamics with SYMLOG and Snowdrift for intelligent classroom environment
A Computer Simulation Model for Manpower Systems
The acoustic and temporal characteristics of deceptive speech
Preprocessing algorithms for the digital histology of colorectal cancer
Antares: a scalable, efficient platform for stream, historic, combined and geospatial querying
From approximative to descriptive fuzzy models
Applying model checking to agent-based learning systems
Fine-grained Arabic named entity recognition
Image data compression based on a multiresolution signal model
Development of innovation acceptance model for wearable computing: a study of users' technology acceptance in Malaysia
Awareness and monitoring of personal environment to improve quality of living at home for the elderly
Sparse modelling of natural images and compressive sensing
Instantaneous modulation components for speaker identification
Low cost Si nanowire biosensors by recrystallisation technologies
An architecture for expert database system
A human-centred approach to national identity management systems
Design of Experiments for the Tuning of Optimisation Algorithms
Generating intelligent tutoring systems for teaching reading: combining phonological awareness and thematic approaches
An architecture for the compilation of persistent polymorphic reflective higher-order languages
Learning deformable shape models for object tracking
Algorithmic advances in handling uncertainty & regularity in strings
Reweighting methods in high dimensional regression
In-Situ interactive image-based model building for augmented reality and handheld devices
Analysis of job scheduling algorithms for heterogeneous multiprocessor computing systems
An intelligent-agent approach for managing congestion in W-CDMA networks
Speech/music discrimination : novel features in time domain
The performance modelling of preferential choice : a knowledge engineering approach
Automatic generation of software design tools supporting semantics of modelling techniques
Spatial stochastic population models for the analysis of city-scale systems
Instantaneous frequency and nonlinear neurodynamics
Developing an ICT teaching workforce for the FE sector : rhetoric or reality?
Computational modelling of cavity arrays with heat transfer using implicit large eddy simulations
Dynamics of disordered physical and biological systems on dilute networks
Policy-based runtime tracking for e-learning environments
Towards modular, scalable and optimal design of transcriptional logic systems
On the efficient implementation of combinators as an object code for functional programs
An investigation of fuzzy methods and meta learning for feature selection
Interaction design for live performance
Toward portable information extraction
Finding structures in information networks using the affinity network
Extending graph homomorphism and simulation for real life graph matching
Functional programming techniques
Integration of flow and congestion control for improved performance of 802.3 switches
Protocol design and implementation for bee-inspired routing in mobile ad hoc networks
High resolution contiguous swath synthetic aperture radar imaging via co-located multiple input multiple output array
MAC-REALM : a video content feature extraction and modelling framework
An integration of information technology, culture of knowledge transfer and innovative work environment in support of organisationsal knowledge creation activities
Categorical term rewriting : monads and modularity
On implicit program constructs
Representing knowledge patterns in a conceptual database design aid : a dual-base knowledge model
A framework for interactive end-user web automation
An investigation of alternative expressive mechanisms for non-vocal symbolic communication
An assessment model for Enterprise Clouds adoption
Internet of Things enabled sedentary behaviour change in office workers: development and feasibility of a novel intervention (WorkMyWay)
Symbolic execution of verification languages and floating-point code
Identification and evaluation of predictors for learning success and of models for teaching computer programming in contemporary contexts
Computing relatively large algebraic structures by automated theory exploration
Investigation of island geometry variations in bit patterned media storage systems
Visual programming for transputer systems
An ontology for risk management of digital collections
A modular and open software and hardware architecture for Internet of Things sensor networks
Development of virtual network computing (VNC) environment for networking and enhancing user experience
Pre-processing techniques for electromagnetic & power analysis attacks
An adaptive anomaly detection system using data mining and an artificial immune system
Logical aspects of quantum computation
An interoperability framework for security policy languages
Moving from image steganalysis to motion vector based video steganalysis
Prediction learning in robotic manipulation
Coherent minimisation : aggressive optimisation for symbolic finite state transducers
Scalable and precise verification based on k-induction, symbolic execution and floating-point theory
Data distribution strategies for the distributed simulation of multi-agent systems
Linear regression and unsupervised learning for tracking and embodied robot control
Information analysis for steganography and steganalysis in 3D polygonal meshes
Research into a general framework for computer supported cooperative work
Resource Reasoning and Labelled Separation Logic
A computational model of Lakatos-style reasoning
3-D facial expression representation using statistical shape models
Quasi-cyclic low-density parity-check coding and its applications to communication systems
Document retrieval based on a cognitive model of dialogue
A treatment of anaphora in portable natural language front ends to data bases
Argument revision and its role in dialogue
A cache coherence protocol for concurrency control and recovery in distributed object-oriented systems
Distributive laws in programming structures
Safe reinforcement learning using formally verified abstract policies
From ephemerality to delicacy: applying delicacy in the design space of digital gifting
On-line learning in spiking neural networks : design and applications
An ontology based approach towards a universal description framework for home networks
Formal verification of cryptographic protocols with automated reasoning
A study of the design and analysis of feed-forward neural networks
Modelling the demand for long-term care to optimise local level planning
Novel correlation test based model validation methodologies for nonlinear system identification, intelligent modelling and adaptive noise cancellation
Image and scene modelling in hazy conditions
A multi-agent approach to advanced persistent threat detection in networked systems
Evolving cellular automata molecular computer models using genetic algorithms
Computational approach to building trust in virtual teams : : with specific reference to global software teams
Multilayer content services in heterogeneous mobile opportunistic networks
An investigation into automated processes for generating focus maps
Sparse and robust kernel methods
Traffic locality oriented route discovery algorithms for mobile ad hoc networks
Modelling, inference and optimization in probabilistic machine learning
Analysis and synthesis of critical design-thinking for data visualisation designers and learners
Analytical behaviour: a study of decision-making facilitated by visual analytics
Guidelines for the design of Privacy Management Tools for smartphone devices
Thematic knowledge extraction
An investigation into the application of genetic programming techniques to signal analysis and feature detection
A semantic approach to service discovery in a grid environment
An investigation into the applications of real-time computing techniques in industrial audiometry
Inductive verification of cryptographic protocols
The reading of diabetic retinopathy images - an evolutionary approach
Joint models for concept-to-text generation
Practical implementation of a dependently typed functional programming language
Optimisation for image processing
An iterative approach to automation for system management
An automatic program translator for distributed memory MIMD machines
Migrating relational databases into object-based and XML databases
On the design of computer software to support clinical follow-up studies
Applications of analogue computers in operational research
Autonomous Quality of Service management and policing in unmanaged Local Area Networks
Translating HOL functions to hardware
Email record keeping in the government sector: a case study of Malaysia
Financial information extraction using pre-defined and user-definable templates in the Lolita system
A comparison of theoretical and human syllabification
On bar recursive interpretations of analysis
Implementation of an asynchronous real-time programming language
On computer software reliability modelling
The development of a colour graphics workstation
ABA+: assumption-based argumentation with preferences
Dynamic multi-objective optimization: a two archive strategy
First-class models : on a noncausal language for higher-order and structurally dynamic modelling and simulation
Case reuse in textual case-based reasoning
Computer network system for university hospitals in Saudi Arabia
An analysis and implementation of informal human-computer interaction
Optimal and Sub-Optimal Relay Control Systems
Using current uptime to improve failure detection in peer-to-peer networks
Evaluating human-centered approaches for geovisualization
Theory and applications of a bottom-up syntax-directed translator
An agenda based multi issue negotiation model
A fundamental critical assessment of efficiencies in terahertz time-domain spectroscopy systems
Collaborative multi-Carrier communication techniques for multi-user systems
Exploratory database visualisation : the application and assessment of data and dimensionality reduction
Logical aspects of logical frameworks
An approach to the highway alignment development process using genetic algorithm based optimisation
Hierarchical clustering using dynamic self organising neural networks
Operating system support for warehouse-scale computing
Moving out from the focus: exploring gaze interaction design in games
Developing manufacturing control applications with microcontroller based internet connectivity
Improving the generalisability of brain computer interface applications via machine learning and search-based heuristics
An operational approach to semantics and translation for programming languages
Locality data properties of 3D data orderings with application to parallel molecular dynamics simulations
Interoperable haptic interfaces for tactile and force feedback integration in VR
A service-orientated architecture for adaptive and collaborative e-learning systems
Guided automatic binary parallelisation
Applications of differential geometry to high spin field theories
Text analysis, summarising and retrieval
Continuous identity verification in cloud computing services
Real-time sonification of muscle tension for piano players
Analysis and specialisation of imperative programs : an approach using CLP
Profile-based summarisation for web site navigation
Shared variable analyser for hardware descriptions
Individual differences in synaesthesia : qualitative and fMRI investigations on the impact of synaesthetic phenomenology
The role of transparency and trust in the selection of cloud service providers
Parallel Markov Chain Monte Carlo
'From dark art to the everyday': American encryption policy, 1950-2020
A development environment for implementing application software in a distributed multiprocessor computer system
A mixed-methods investigation of factors that influence students to study a computer science major in Scotland and Saudi Arabia
Electrical conductance and gating of porin channels in lipid bilayers
Generalised Bayesian matrix factorisation models
Optimal program variant generation for hybrid manycore systems
Model-based approaches for recognising people by the way they walk or run
A formal agent-based personalised mobile system to support emergency response
Acceleration of the discrete element method on a reconfigurable co-processor
Proxy compilation of dynamically loaded Java classes for embedded systems
Software tools for the rapid development of signal processing and communications systems on configurable platforms
Shape from shading under relaxed assumptions
Measuring and disrupting malware distribution networks : an interdisciplinary approach
The development and testing of evaluation methodologies for wearable computers
Some applications of continuous variable neighbourhood search metaheuristic (mathematical modelling)
Safety analysis of computer resource management software
An analysis of the use of general methods to assess the difficulty of function optimization for genetic algorithms
Engineering holistic fault tolerance
Space-time representation and editing of 3D video mesh sequences
Usability design of embodied conversational agents on handheld devices
Factors affecting the performance of trainable models for software defect prediction
Physically-based rendering and algebraic manipulation of volume models
Compiling and reasoning about exceptions and interrupts
A simulation study of a localised computer network
Investigating performance and energy efficiency on a private cloud
An investigation of practical issues in translating algorithms based on back-propagation into analogue VLSI circuits
Hacking the Web 2.0 : user agency and the role of hackers as computational mediators
Garbage collection in distributed systems
Generic reusable business object modelling
COSMOS-7 : an MPEG-7 content modelling and querying framework
Advanced computational methods in portfolio optimisation
Facial expression synthesis and feature learning for convolutional neural networks
Applications of probabilistic inference to planning & reinforcement learning
Detecting early signs of dementia in conversation
The specification and simulation of synchronous concurrent algorithms
Extracting temporal dependencies from geospatial time series data
Proof theory and programming
Prediction of mortality in septic patients with hypotension
Reducing internet latency for thin-stream applications over reliable transport with active queue management
A trading model and security regime for mobile e-commerce via ad hoc wireless networking
A theoretical study of quantum memories in ensemble-based media
Representation learning for anomaly detection in computer vision
A methodology for iterated information change
Human gait recognition under neutral and non-neutral gait sequences
Modelling cancer evolution with machine learning
Complexity analysis of truth maintenance systems with application to high level vision
The impact of privacy regulations on the development of electronic commerce in Jordan and the UK
Human-in-the-loop design with machine learning
Modelling arithmetic strategies
Full-body interaction: perception and consciousness in interactive digital 3-dimension audio visual installations
Convergence and interactivity of multi-agent systems
The development of a generalised computer program for vehicle simulation
Extraction of programs for exact number computation using Agda
ARGILE: a conceptual framework combining augmented reality with agile philosophy for the UK construction industry
Protecting agents against malicious host attacks
Global identity management in the Internet of Things
Paftran - A finite element mesh generation language
The concept of Poiesis and its application in a Heideggarian critique of computationally emergent artificiality
Improving the impression of depth perception
A model integrity based object-relational data model and complex data model definition framework
Abstract machine design for inceasingly more powerful algol-like languages
Beyond question answering : understanding the information need of the user
Assessment of applications for the house renovations grants system : an IT support framework
Perspectives in electronic publishing : experiments with a new electronic journal model
Probabilistic approaches to matching and modeling shapes
Improving security and privacy in current mobile systems
Due diligence through risk analysis and belief propagation over provenance
Memory management in a distributed system of single address space operating systems supporting quality of service
Probabilistic roadmaps in uncertain environments
Intrusion detection and prevention systems in the cloud environment
Resource management for cloud computing
From surfaces to objects : recognizing objects using surface information and object models
Learning to rank order
Perception of emotional body language displayed by animated characters
Framework for web log pre-processing within web usage mining
Controlling inference in service-based software
The visualisation of evolving semantic graphs
Person re-Identification over distributed spaces and time
Augmented reality interfaces for symbolic play in early childhood
The design and applications of a solid state analog memory
Design, Studies of Model Reference Adaptive Control and Identification Systems
Monitoring, analysing and predicting network performance in grids
Application of the multigraph software architecture to intelligent patient monitoring
Quantitative functional complexity analysis of commercial software systems
Distributed task allocation optimisation techniques in multi-agent systems
Creativity-supporting environments : an emotion-based framework for influencing designers' creativity through using design environments
Active modules identification in multilayer intracellular networks
Physically based mesh-free deformation framework and techniques for computer graphics
On the design and implementation of secure network protocols
Time-predefined and trajectory-based search : single and multiobjective approaches to exam timetabling
Optimal control of two distributed parameter systems
Text independent offline hand writer recognition using machine learning
Factors affecting spacial awareness in non-stereo visual representations of virtual, real and digital image environments
Graph neural network for audio representation learning
Fractal diffusion coefficients in simple dynamical systems
Verbs and me: an investigation into verbs as labels for action recognition in video understanding
Design synthesis for dynamically reconfigurable logic systems
Type-2 fuzzy alpha-cuts
Manifold aligned density estimation
The analysis and simulation of multi-access computer systems
Designing a value centred inspection method for children
ICT and social/organisational change : a praxiological perspective on groupware innovation
Structure, randomness and complexity in quantum computation
Developments in abstract and assumption-based argumentation and their application in logic programming
Data integration in the rail domain
Tackling the challenges of information security incident reporting: a decentralized approach
Role of description logic reasoning in ontology matching
Data quality measures for identity resolution
Malware tolerance: distributing trust over multiple devices
A connectionist simulation : towards a model of child language development
Character Recognition Using Optical Fibres and Hardwired Logic
Developing dynamic and adaptive risk-based access control model for the Internet of Things
The importance of statistical measure when describing phenotype
The specification of behaviour in virtual environments
Higher inductive types, inductive families, and inductive-inductive types
Performance and energy-based cost prediction modelling of virtual machines in cloud computing environments
A study of some M[x]/G/1 type queues with random breakdowns and Bernouilli schedule server vacations based on a single vacation policy
Some tools for automating the production of compilers and other translators
Acquiring and filtering knowledge : discovery & case-based reasoning
Auxiliary computations : a framework for a step-wise, non-disruptive introduction of static guarantees to untyped programs using partial evaluation techniques
Open implementation and flexibility in CSCW toolkits
A composite framework for the strategic alignment of information systems development
Effective delivery of believable behaviour for embodied conversational agents
Logical and computational specification of rational agents
Any time probabilistic sensor validation
Augmenting the virtual : model, architecture and techniques for the representation of delay-induced phenomena in collaborative virtual environments
Rapid interactive modelling and tracking for mixed and augmented reality
Data management strategies for relative quality of service in virtualised storage systems
Online learning of personalised human activity recognition models from user-provided annotations
Static analysis of Martin-Löf's intuitionistic type theory
Identification for Distributed Parameter Systems
Methodology for generic architecture definition for current mode converters including automated building block characterisation and mismatch modelling