yusuke1997/dblp-id-title huggingface dataset:
Bifibrational parametricity: from zero to two dimensions
Development of an autonomous distributed multiagent monitoring system for the automatic classification of end users
Temporal dynamics in information retrieval
A novel approach for the hardware implementation of a PPMC statistical data compressor
Frequency domain high density diffuse optical tomography for functional brain imaging
Static flow analysis for hybrid and native Android applications
Reusable component engineering for hard real-time systems
Sequence & simultaneity : building blocks for a distributed, concurrent audio editing environment
Detecting cloud virtual network isolation security for data leakage
Inversion of Multiple-View and Multiple-Scale Images of Surfaces
An investigation of the use of transputers in target tracking
Polyfun : an experimental approach to the integration of functional and logic programming
Techniques for ubiquitous reliable data storage
Evolutionary dynamics of new media forms : the case of the open mobile web
Learning from data streams with concept drift
Medical image segmentation in volumetric CT and MR images
An integrated block based motion estimation framework for video applications
Individual decision making, reinforcement learning and myopic behaviour
Distributed online machine learning for mobile care systems
An empirical study on computation of exact and approximate equilibria
An interoperability framework for information integration based on Dublin Core, XML and Z39.50
Functional models of procedural programs
Cooperative attack and defense in distributed networks
Investigation of gait representations and partial body gait recognition
Evaluating the usability of ambient profiles for context-sensitive authentication on smartphones
Composite and comprehensive multimedia electronic health care records
Some Studies Concerned with the Realisation of Automation in Clinical Chemistry
Statistical models in lift systems
Complexity analysis and semantics for quantum computation
Decentralised Optimisation of Structured Systems
Intelligent computer vision processing techniques for fall detection in enclosed environments
Formal construction of Instruction Set Architectures
Memory, emotions and neural networks : associative learning and memory recall influenced by affective evaluation and task difficulty
Querying multiple databases which have unknown schemas
Graph compression using graph grammars
New sampling and optimization methods for topic inference and text classification
Particle filtering for real-time camera localisation
Towards a model of giftedness in programming: an investigation of programming characteristics of gifted students at University of Warwick
Widening stakeholder involvement : exploiting interactive 3D visualisation and protocol buffers in geo-computing
Cost prediction for rendering with global illumination
On techniques for pay-as-you-go data integration of linked data
The evolutionary design of digital VLSI hardware
On microelectronic self-learning cognitive chip systems
On the practicality of ring-based fully homomorphic encryption schemes
Extending web service architecture with a quality component
Queueing analysis for cross-layer design with adaptive modulation and coding
Architecting the deployment of cloud-hosted services for guaranteeing multitenancy isolation
Biomimetic motion synthesis for synthetic humanoids
Essays on distance metric learning
Distributed reinforcement learning for network intrusion response
Improved turbo codes for data transmission
Towards an improved memory model for Java
Efficient object detection via structured learning and local classifiers
The evolution of software technologies to support large distributed data acquisition systems
Data Independence in Database Management Systems
Far away is close at hand : an ethnographic investigation of social conduct in mixed reality museum visits
Efficient implementations of machine vision algorithms using a dynamically typed programming language
A generalisation of pre-logical predicates and its applications
Quantum ComDlexity : restrictions on algorithms ana md architectures
Using tracing to enhance data cache performance in CPUs: the creation of a Trace-Assisted Cache to increase cache hits and decrease runtime
Virtual devices for virtual machines
Computational aspects of lattice theory
On the Helmholtz principle for text mining
Application of evolutionary machine learning in metamorphic malware analysis and detection
Virtual living organism: a rapid prototyping tool to emulate biology
User-oriented markerless augmented reality framework based on 3D reconstruction and loop closure detection
Static guarantees for coordinated components : a statically typed composition model for stream-processing networks
A biologically inspired neural architecture for emotional robots
Sequential Monte-Carlo methods for object tracking and replacement in video
Process algebra for located Markovian agents and scalable analysis techniques for the modelling of Collective Adaptive Systems
The effectiveness of intrusion detection systems
An intelligent decision making support system for dissolved gas analysis
Protection in data bases through the use of capabilities
Detecting worm mutations using machine learning
Dynamic and fault tolerant three-dimensional cellular genetic algorithms
Variable structure control of robot manipulators with computational efficiency
The development and use of tactile mice in visualisation
Object representation and recognition in machine vision
Protocol level solutions for the packet reordering problem
Collaborative evolutionary computation for large, multi-project programme resource scheduling
Differential evolution algorithms for network optimization
Predictive modelling of bone ageing
Quality of service management in service-oriented grids
On the evolutionary and behavioral dynamics of social coordination : models and theoretical aspects
Simple individual behavioural rules for improving the collective behaviours of robot swarms
Discriminative learning for structured outputs and environments
Task modelling in computer-aided workplace design
An empirical investigation into metrics for object-oriented software
A novel pre-processing method for the classification of data by a neural network
An investigation of delay fault testing for multi voltage design
Algorithmics of edge-colouring pairs of 3-regular trees
Malware ecologies: a politics of cybersecurity
Constructing online identities on social networking sites: social, economic and cultural distinctions made by privileged Mexican users
Deep generative modelling for amortised variational inference
Neural networks as artificial memories for association rule mining
Multiframe image enhancement using self-delaying dynamic networks
Towards flexible and scalable distributed monitoring with mobile agents
Multi-agent system for consumer-oriented electronic commerce
Reducing deadline miss rate for grid workloads running in virtual machines : a deadline-aware and adaptive approach
Internet-based resource discovery in chemo-bioinformatics
Defining data as an art material
Analysis of key drivers of trading performance
Cross-modal learning for sketch visual understanding
Natural minds: maps, mental causation and virtual machines
A visual language for database programming using graph rewriting
Design of an analog fuzzy robot navigator
Consistency of human information behaviour and its impact on personalised contextualised information retrieval systems
Digital and microprocessor-based techniques in signal processing and system simulation
Machine learning and computer algebra
A structural approach to the mapping problem in parallel discrete event logic simulations
Understanding the use of IT evaluation methods in organisations
Enhancing the reasoning capabilities of natural language inference models with attention mechanisms and external knowledge
Development of a Prolog vibration expert system for rotational machinery management
MAGNET : a dynamic resource management architecture
Computer anxiety: the development of tools to measure severity and type, and offer appropriate mitigation strategies
An analogue VLSI implementation of an integrate-and-fire neural network for real-time auditory data processing
Flashing up the storage hierarchy
Distributed optimisation framework for in-network data processing
An investigation into the use of negation in Inductive Rule Learning for text classification
Aspects of Training and Connection in Some Cellular Learning Networks
A generic framework for process execution and secure multi-party transaction authorization
Approximate optimal control model for visual search tasks
An investigation of the role of virtual reality systems and their application to ophthalmic teaching, diagnosis and treatment
Support-vector-machine based automatic performance modelling and optimisation for analogue and mixed-signal designs
Environment oriented simulation
Bulk Synchronous Parallelism in object-relational database systems
Real-time rendering of complex, heterogeneous mesostructure on deformable surfaces
Resource discovery and distributed computing over peer-to-peer networks
Fibred contextual quantum physics
Novel fuzzy techniques for modelling human decision making
Machine learning for human activity detection in smart homes
Characterising action potential in virtual game worlds applied with the mind module
QoE-centric control and management of multimedia services in software defined and virtualized networks
An analysis of the impact of functional programming techniques on genetic programming
Canary: methodology for using social media to inform requirements modeling
Scalable interconnect strategies for neuro-glia networks using Networks-on-Chip
Personalized redirection of communication and data
Spatial and temporal analysis of facial actions
Concurrent Kleene Algebra: completeness and decidability
Distributed abductive reasoning : theory, implementation and application
Towards AND/OR parallel logic programming
Design, modelling, and characterisation of millimetre-wave antennas for 5G wireless applications
Object detection and tracking in moving background video sequences
Optimal and robust scheduling for networked control systems
A machine independent implementation data storage description language
Smart card systems : managing risks and modelling security protocols using SystemC and Transaction Level Modelling
The Effectiveness of t-way Test Data Generation
Evaluating declarative programming
Dynamically reconfigurable system
Designing digital constructive visualization tools
The role of psychological capital in first-year computer science students' retention from a threshold concepts perspective
Design models for trusted communications in Vehicle-to-Everything (V2X) networks
Spatial integration in computer-augmented realities
Optimising energy efficiency and spectral efficiency in multi-tier heterogeneous networks: performance and tradeoffs
A unified approach to the study of asynchronous communication mechanisms in real-time systems
String algorithms on sequence comparison
Computational architecture : a step towards predictable software design
An intelligent spelling error correction system based on the results of an analysis which has established a set of phonological and sequential rules obeyed by misspellings
Plasticity in large-scale neuromorphic models of the neocortex
Improving training of deep neural network sequence models
Advanced signal processing methods for analysis of cortico-muscular coherence
Learning about the learning process: from active querying to fine-tuning
Image data acquisition, processing and object recognition for use in a machine vision system
The Performance of Bistable Fluid Logic Devices in Oscillating Systems
Automatic analysis of lung adenocarcinoma histology whole slide images
Garment modelling and visualisation
A neural-symbolic system for temporal reasoning with application to model verification and learning
A proactive adaptation framework for composite web services
Automatic selection of statistical model checkers for analysis of biological models
Equivariance for deep learning and retinal imaging
Flexible high performance agent based modelling on graphics card hardware
The design and implementation of programming languages
Continuous learning of inverse problems with applications to structure from motion
Continuous-time Marlov decision processes : theory, approximations and applications
Architecture-centric testing for security
Support for collaborative and distributed user interface design : an interactive digital library of design guidelines
Ultrasonic mid-air haptic technology in context of science communication
Sketches towards a theology of technology : theological confession in a technological age
Development of a micro-simulation model to evaluate shuttle-lane roadwork operations
Neural network design using evolutionary computing
Pro-active reservation mechanisms for next generation optical networks
Investigation of the thumb and foldable palm interaction for optimum design of thumb assistive mechanisms
Appraisal of computer aided instruction at the Open University and the evaluation of three specific programs
Evolution of synthesised relational database schemas
A software development framework for context-aware systems
Addressing the computational issues of the Shapley value with applications in the smart grid
Neural network image reconstruction for nondestructive testing
Machine learning in galaxy groups detection
A formal framework for the modelling of multi-agent systems with dynamic structure
Distributed object oriented logic programming
Risk informed service level agreement for cloud brokerage
On modelling and simulation of plucked string instruments
Model building in neural networks with hidden Markov models
Command languages and the expression of immediate and deferred action
A speech model based on the recognition of linguistic features
Learning the structure of object categories from incomplete supervision
Covariate-invariant gait recognition using random subspace method and its extensions
Advanced study of pentacene-based organic memory structures
A CSP approach to the analysis of security protocols
Spintronic and plasmonic applications of electrodeposition on semiconductors
Specifying the ubiquitous user interface using interaction style
A self adaptive architecture for image understanding
A reputation framework for behavioural history : developing and sharing reputations from behavioural history of network clients
Intrusion prediction system for cloud computing and network based systems
Synthesis of geared Linkages as Function generators
Two high-level tools for the development of the software on mini-computers
A study of thread-local garbage collection for multi-core systems
Unwritten procedural modeling with the straight skeleton
Software measurement for functional programming
An agent-based approach to handle interoperability in legacy information systems
Expressing mobility in process algebras : first-order and higher-order paradigms
Custom computing for network security applications
The VOCAL test methodology
Cyber security assemblages: the theory and practice of diffuse security provision
Real-time video scene analysis with heterogeneous processors
Content rendering and interaction technologies for digital heritage systems
Exploring developmental dynamics in evolved neural network controllers
Rumour stance and veracity classification in social media conversations
Using information engineering to understand the impact of train positioning uncertainties on railway subsystems
Relationship and cloud factors affecting government confidence in the public cloud
Parallel numerical methods for SDEs and applications
Artificial development of neural-symbolic networks
Visual feature learning with application to medical image classification
Type-2 fuzzy probabilistic system for proactive monitoring of uncertain data-intensive seasonal time series
Meteorological modelling on the ICL distributed array processor and other parallel computers
Smartphones based social sensing : adaptive sampling, sensing and computation offloading
Speech quality prediction for voice over Internet protocol networks
Hierarchical bootstrapping of representational capabilities within a percept-action architecture
Graph-based approaches for semi-supervised and cross-domain sentiment analysis
The design and performance evaluation of a proactive multipath routing protocol for mobile ad hoc networks
Examination and enhancement of Conceptual Schema languages
In search of the optimal acoustic features for Statistical Parametric Speech Synthesis
A re-engineering approach for software systems complying with the utilisation of ubiquitous computing technologies
Automatic marking of shell programs for students coursework assessment
Multi-objective evolutionary algorithms for single-objective constrained optimisation
Improving ease and speed of use of mobile augmentative and alternative communication systems through the use of natural language processing and natural language generation techniques
A learning-based architecture for flexible sensor network management
The computation of closures of dependencies in relational database schemata design
Quranic Arabic semantic search model based on ontology of concepts
Customisable transaction support for web services
Photonic integration of a directly phase-modulated source for Quantum Key Distribution
An evaluation of the sub-contextual problems inherent in developing interactive multimedia business case studies
Citizens go online: probing the political potential of the Internet Galaxy
Investigating sharing skills in children with autism spectrum conditions through participatory research
A human plausible reasoning theory in the context of an active help system for Unix1 users
A human centric approach to unintentional insider threat: development of a sociotechnical framework
Optimisation of image processing networks for neuronal membrane detection
Analysis and optimization of data storage using enhanced object models in the .NET framework
Multi-plane routing practical applications in future all-IP access networks
Software development management using metamodels and activity networks
Matching of service feature diagrams based on linear logic
Active sampling, scaling and dataset merging for large-scale image quality assessment
Unsupervised learning of Arabic non-concatenative morphology
Semantic highlighting : an approach to communicating information and knowledge through visual metadata
A practical investigation of parallel genetic algorithms and their application to the structuring of artificial neural networks
Observing and quoting newsgroup messages : method and phenomenon in the hermeneutic spiral
Soundscape mapping : comparing listening experiences
Methods for analysis and integration of heterogeneous network data
The foundations of software reuse
A technique for clarifying the implementation of relationships between objects to enhance software reuse
Deep unsupervised learning of cancer tissue representations
The optimisation of peer-to-peer overlays for mobile ad-hoc networks
Embedded perception : concept recognition by learning and combining sensory data
Computational model of negotiation skills in virtual artificial agents
Analytic knowledge discovery techniques for ad-hoc information retrieval and automatic text summarization
An operating environment for large scale virtual reality
Initiating system innovation : a technological frames analysis of the origins of groupware projects
Formal synthesis of control signals for systolic arrays
A modelling approach to the evaluation of computer system performance
Protection and Process Structure
Design and implementation of secure multi-party computation
Dynamic bandwidth provisioning in multi-layer optical networks for heterogeneous services
Learning and memory in genetic programming
Tracking learning detection
Improved public cloud capacity planning through the sale of options, forwards and provision point contracts
Structural optimization by mathematical programming
Scheduling in Or-parallel PROLOG systems
Efficient and effective methodologies for exploring and prediction movement patterns in large networks
Multitask and transfer learning for multi-aspect data
An investigation into logistic centre design tools
Non-volatile storage in portable measurement systems : application to a class of measurement problems
Application partitioning and offloading in mobile cloud computing
Investigation of colour constancy using blind signal separation and physics-based image modelling
Donor electron states for silicon quantum computing: from single spins to scaled architectures
Classification and enumeration of finite semigroups
Design and implementation of bio-inspired heterogeneous particle swarm optimisation algorithms for unconstrained and constrained problems
Learning and leveraging structured knowledge from user-generated social media data
A hybrid modelling technique applied to smart dynamic systems
An exploration of methodologies to improve semi-supervised hierarchical clustering with knowledge-based constraints
Digital watermark technology in security applications
The formal description of programming languages using predicate logic
Solvers on advanced parallel architectures with application to partial differential equations and discrete optimisation
Local accuracy and global consistency for efficient SLAM
Development of amorphous SiC based resistive memories
Pattern discovery for parallelism in functional languages
Efficient architectures for multidimensional discrete transforms in image and video processing applications
Designing individualisation of eco information via a user centred design approach
Probability models for information retrieval based on divergence from randomness
Study on automatic citation screening in systematic reviews: reporting, reproducibility and complexity
Fuzzy evolutionary approaches for bus and rail driver scheduling
Agent Risk Management in Electronic Markets Using Option Derivatives
Deterministic chaos in Malkus' waterwheel
On non-linear two dimensional distributed networks
Deep learning models of biological visual information processing
Query routing in cooperative semi-structured peer-to-peer information retrieval networks
Monitoring the behaviour of distributed systems
The influence of national culture on the practice of project management: a study of information and communication technology projects in Saudi Arabia
The tomographic reconstruction of holographic interferograms
New quality of service routing algorithms based on local state information : the development and performance evaluation of new bandwidth-constrained and delay-constrained quality of service routing algorithms based on localized routing strategies
Querying big data with bounded data access
Practical zero-knowledge protocols based on the discrete logarithm assumption
Extracting speed signatures form gail data
An investigation into the use of argument structure and lexical mapping theory for machine translation
Autonomous robotic helicopter platform for reliable target tracking
Implementation of computer visualisation in UK planning
Truth to material : moving from software to programming code as a new material for digital design practice
A decision support system and algorithms for the vehicle routing and scheduling problem
A new technique for intelligent web personal recommendation
Engineering a robust and adaptive artificial system through self-organisation and synchronisation
Methods integration : an investigation
Cross-layer design and optimization of OFDMA-based cognitive radio networks
Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
Investigation of spatial harmonic magnetrons for high power millimetre and THz wave operations
Prosody resources and symbolic prosodic features for automated phrase break prediction
The development of secure and usable systems
Unsupervised learning of multiple objects in images
Controlling the dissemination and disclosure of healthcare events
The cybernetics of organisations with implications for a theory of intelligence
EDIT: an Educational Design Intelligence Tool for supporting design decisions
The role of emotions in autonomous social agents