yusuke1997/dblp-id-title huggingface dataset:
Efficient learning of local image descriptors
A multiple-SIMD architecture for image and tracking analysis
The adoption, use and diffusion of smartphones among adults over fifty in the UK
Delay estimation in computer networks
Fault tolerant and dynamic evolutionary optimization engines
Optimal decision-making, plasticity and biases : a modelling study
Rule extraction from recurrent neural networks
An investigation of indoor positioning systems and their applications
Studies in learning and feature location with an artificial neural network
Bistatic synthetic aperture radar using GNSS as transmitters of opportunity
An Aggregation Alogorithm for Multi-Stage Stochastic Quadratic Programs
Formal modelling and analysis of dynamic reconfiguration of dependable systems
Broadband high efficiency active integrated antenna
An intrusion detection scheme for identifying known and unknown web attacks (I-WEB)
Fast and exact geodesic computation using Edge-based Windows Grouping
A study of the design and development considerations of a computerised information management system for international relations
A mechanism for structuring logic programs
Optimisation of correlation matrix memory prognostic and diagnostic systems
Tabu search-revisited
Analysing Java identifier names
Reconciling event taxonomies across administrative domains
Feature reduction and representation learning for visual applications
Fingers micro-gesture recognition based on holoscopic 3D imaging system
Non-isometric 3D shape registration
Long range monocular SLAM
The MINT architecture : a design for providing quality of service support in desktop-level interconnects
An investigation into the design, implementation and application of a high level programming language for distributed computing systems
Layerwise symbolic knowledge extraction from deep neural networks
Adaptively improving performance stability of cloud based application using the modern portfolio theory
Node similarity in complex networks and its applications in online recommendations
Randomised algorithms for low temperature spin systems
Computational intelligence methods : generic interpretations, optimisation and application
Sub-Nyquist wideband spectrum sensing and sharing
Next generation control of transport networks
CCRP: a novel clone-based cloud robotic platform for multi-robots
Semi-automatic assessment of basic SQL statements
Modelling atmospheric ozone concentration using machine learning algorithms
System software support for possible hardware deficiency
Passive electrical and mechanical network synthesis
A framework for the extension and visualisation of cyber security requirements in modelling languages
Logic programming tools and techniques for imperative program verification
Supporting modern code review
Evolutionary design automation for control systems with practical constraints
Safe and certified reinforcement learning with logical constraints
A framework for the systematic evaluation of malware forensic tools
Unsupervised abstraction for reducing the complexity of healthcare process models
Scalable performance analysis of massively parallel stochastic systems
Optimisation models and algorithms for real-life transportation routing and scheduling problems
Representing shortest paths in graphs using Bloom filters without false positives and applications to routing in computer networks
The Use of Variable Function Logic in the Design of a Learning Controller
Building cyber defense training capacity
Interference reduction in classification and forecasting tasks through cluster and trend analysis
Methodologies for transformations and memoing in applicative languages
Distributed embedded control system
Evolutionary algorithms for financial trading
Constructing a tractable reasoning framework upon a fine-grained structural operational semantics
Static microservice architecture recovery using model-driven engineering
The generation and classification of small leaks in a high pressure water system
An ICMetric based framework for secure end-to-end communication
Towards unconstrained ear recognition
An investigation and evaluation into the 'usibility' of human-computer interfaces using a typical CAD system
Intelligent mobile bridges for the reduction of partitions in mobile ad hoc networks
The iterative frame: algorithmic video editing, participant observation & the black box
Efficient knowledge and action planning in first order logic
Enhancing TCP delivery over wireless networks
Truncation levels in homotopy type theory
Global structured models towards scene understanding
Performance monitoring and analysis environment for distributed memory MIMD programs
Investigation into energy-efficient co-synthesis of distributed embedded systems
The role of spatial ability on navigating computer-based information spaces
Using and evaluating CASE tools : from software engineering to phenomenology
A computational investigation of the electrocardiogram with healthy and diseased human ventricles
A formalism for representing qualified knowledge and its implementation for large knowledge bases
Typed concurrent functional programming with channels, actors and sessions
Consensus analysis and synthesis of networked multi-agent systems
Improving the realism of ground movement models
Justification Mining: developing a novel machine learning method for identifying representative sentences and summarising sentiment in financial text
Information systems strategy: an empirical investigation into the social complexity of its formation in practice
Open-domain question answering
Sharing with live migration energy optimization task scheduler for cloud computing datacentres
The synthesis of parallel programs : with specific application to text processing
Typographical portabilities: the designer and user in communication technologies
An integrated approach to speech recognition using phrase-based units
Semantically enhanced cross-domain recommender systems
Decision making under uncertainty: robust and data-driven approaches
Knowledge-based generation of 3-D model databases of urban scenes
Exploiting dynamic deployment in a distributed query processor for the grid
Neural plasticity and the limits of scientific knowledge
Automatic control of high order systems
Context-aware intelligent decisions: online assessment of Heavy Goods Vehicle driving risk
Staged methodologies for parallel programming
Quantum information applications with fibre sources of photon pairs
Adaptive 3D modelling based on single images using non-uniform rational B-spline technique
Personal projected displays
Compiling concurrency correctly : verifying software transactional memory
Ordinal shape coding and correlation for orientation-invariant 2D shape matching
High efficiency, character-oriented, local area networks
Synthesis and alternating automata over real time
Geographic referring expressions: doing geometry with words
High frequency Ethernet cabling analysis and optimization
A steroid profiling expert system
Confidence interval methods in discrete event computer simulation : theoretical properties and practical recommendations
Improving reliability of service oriented systems with consideration of cost and time constraints in clouds
Enhancing distributed real-time collaboration with automatic semantic annotation
Integrating expert systems and neural networks for on-line statistical process control
Hardware accelerated volume texturing
Performance of a linear adaptive filter for interference suppression in wireless local area network
Distributed target tracking in wireless camera networks
Reasoning with extended Venn-Peirce diagrammatic systems
Online data stream classification in the presence of Concept Drift and Class Imbalance
General-purpose user-defined modelling system (GPMS)
Studies in the history of books and the book trade
Cognitive representations and their transformations in the acquisition of skill
Specification and analysis of component-based software in a concurrent setting
Probabilistic modeling in dynamic information retrieval
Computer-based speech aids for the vocally handicapped
Novel storage architectures and pointer-free search trees for database systems
Schemes for learning and behaviour : a new expectancy model
Behavioural augmentation of collaborative filters
Controlled natural language with temporal features
Behavioural abstraction and composition for user interface management
Design and development of a site specific protein patterning technique for use in a microfluidic antibody separation device
Genomic signal processing for enhanced microarray data clustering
Adaptive behaviour of cooperative robotic systems
The design of a natural language interface for medical expert systems
Classification of protein domain movements using dynamic contact graphs
Mechanising the unifying theories of programming
Agents with a human touch : modeling of human rationality in agent systems
Term burstiness: evidence, model and applications
Hardware level countermeasures against differential power analysis
Bayesian learning in financial markets : economic news and high-frequency European sovereign bond markets
Crafting the wearable computer : design process and user experience
A strategic analysis of multi-agent protocols
Towards the design of efficient error detection mechanisms
Binary LDPC design for Slepian-Wolf coding of correlated information sources
The formal specification of computational structures
PED : A tree-oriented editor for programs
The expressive power of query languages based on logic programming
Capturing the temporal properties of complex systems : an evaluation of the timebands approach
Syntactic simplification of text
Correctness, precision and efficiency in the sharing analysis of real logic languages
Communication skills training intervention based on automated recognition of human emotion and non-verbal behaviour
Use and functionality of metadata registry systems
Achieving secure and efficient access control of personal health records in a storage cloud
Scalable methods for single and multi camera trajectory forecasting
Functional and structural descriptors for software component retrieval
Application of Machine Learning techniques for biomaterials design
Mechanized support for retrenchment
Anomaly detection approaches for stock price manipulation detection
Fatigue life prediction of nickel base superalloys
Modelling and reasoning in spatial databases : a deductive object-oriented approach
Spatio-temporal human action detection and instance segmentation in videos
Neural networks for financial forecasting
A new approach to automatic saliency identification in images based on irregularity of regions
A market model for controlled resource allocation in distributed operating systems
Outage analysis and optimization for wireless multiuser relay networks
Practical systematic concurrency testing for concurrent and distributed software
Designing to support impression management
Engineering innovation (TRIZ based computer aided innovation)
Coherence protection in coupled qubit systems
Physics- and engineering knowledge-based geometry repair system for robust parametric CAD geometries
Program analysis and scheduling for a synchronous multiprocessor machine
Triangulated Formulaic Measurement and Â·Subjective Impression in Automatic Summarisation
Supporting run-time adaptation in intelligent user interfaces
Detecting and correcting errors in parallel object oriented systems
State-based publish/subscribe for sensor systems
Integrating databases and publish/subscribe
On the quantization of integrable discrete-time systems
Optimizing deterrence strategies in state-state cyber conflicts: theoretical models for strategic cyber deterrence
JMorven : a framework for parallel non-constructive qualitative reasoning and fuzzy interval simulation
Term frequency normalisation for information retrieval
Multimodal interactive e-learning : an empirical study : an experimental study that investigates the effect of multimodal metaphors on the usability of e-learning interfaces and the production of empirically derived guidelines for the use of these metaphors in the software engineering process
Implications of applying usability testing with remote users
Investigating and improving novice programmersâ€™ mental models of programming concepts
Design and optimisation of scientific programs in a categorical language
Analysing safety-critical systems and security protocols with abstract state machines
Coordination of nods in dialogue
An intelligent multi-agent system approach to automating safety features for on-line real time communications: agent mediated information exchange
Mining software repositories to determine the impact of team factors on the structural attributes of software
Real-coded genetic algorithm particle filters for high-dimensional state spaces
The domestication of home ubiquitous computing
Combinator reduction on networks of small processors
Lexical simplification for non-native English speakers
Learning implicit recommenders from massive unobserved feedback
From neural algorithms to parallel architectures : a practical design methodology
An object-oriented language for software reuse and distribution
Automatic mapping of XML documents into relational database
Public engagement technology for bioacoustic citizen science
DT : an iconic graphical user interface for object-oriented databases
Image analysis and representation for textile design classification
Visual recognition in art using machine learning
Investigations into the scheduling of events and modelling of interrupts in discrete event simulation
Compile-time analysis of concurrent logic programs for multiprocessors
The conjoint use of a network analyser and analogue computer for studies of the automatic governing and regulating of power systems
Correlation of affiliate performance against web evaluation metrics
A model based intelligent interface agent architecture
Algorithms for Solving a Class of Verbal Analogies
Versatile communication cost modelling for multicomputer task scheduling
Machine learning techniques for holistic computational paralinguistics
Language identification using text, audio and video feature mapping
The cybernetics of language
Compositional entity-level sentiment analysis
Natural scene classification, annotation and retrieval : developing different approaches for semantic scene modelling based on Bag of Visual Words
Leveraging structure for learning representations of words, sentences and knowledge bases
Event-based risk management of large scale information technology projects
Multi-scale modelling of biological systems in process algebra
Procedural generation of features for volumetric terrains using a rule-based approach
Effects of modality, urgency and situation on responses to multimodal warnings for drivers
Transfer of optical frequency combs over optical fibre links
Monitoring middleware for distributed applications
Sample efficiency, transfer learning and interpretability for deep reinforcement learning
Policy making using computer simulators for complex physical systems : Bayesian decision support for the development of adaptive strategies
Enhancement of the IEEE 802.15.4 standard by energy efficient cluster scheduling
Reconstruction of intelligible audio speech from visual speech information
Analysis and representation of rhetorical construction of understanding in design teams' experiential learning
Rewiring the text : adaptation and translation in the digital heteroglossia
Software testing: test suite compilation and execution optimizations
Perceptually guided textural methods for image retrieval
Illuminating meaningful diversity in complex feature spaces through adaptive grid-based genetic algorithms
Document flow model : a formal notation for modelling asynchronous web services
Informatics for tandem mass spectrometry-based metabolomics
Cultural trust in virtual learning environments
The role of identification, participation and attachment in building brand equity in social networking sites
Data-based mechanistic modelling (DBM) of nonlinear environmental systems
Does the online card payment system unwittingly facilitate fraud?
Modelling entity instantiations
Intelligent emotion recognition from facial and whole-body expressions using adaptive ensemble models
Approaches to the Determination of Parallelism in Computer Programs
The relationship between social anxiety, beliefs, metacognitions and post-event processing
Chinese character generation : a stroke oriented method
Geometric approaches to the pitch estimation of acoustic musical signals
Automated development of clinical prediction models using genetic programming
A SIMD architecture for hard real-time systems
Models of distributed associative memory
Small-scale cyber security: mapping security requirements for IT users at home and in small organisations
An intelligent hypertext system
Reimagining graphical user interface ecologies
Heteroscedastic Gaussian processes for uncertain and incomplete data
The ambivalences of piracy : BitTorrent media piracy and anti-capitalism
Numerical issues and computational problems in algebraic control theory
Parallel and distributed integer programming
An agent-independent task learning framework
Integrating information from heterogeneous databases using agents and metadata
Learning and evaluation of topics via distributional semantics
A probabilistic approach to 3D interpretation of monocular images
The adoption of market-mechanisms by local government IT-units : an empirical study of recent evidence of impacts on IT-services management in English local authorities
Task assignment in parallel processor systems
A general theory of syntax with bindings
Parlog as a systems programming language
Automated examination timetabling
An integrated model for citizens to adopt e-government services in the Kingdom of Saudi Arabia
Password security and usability: from password checkers to a new framework for user authentication
RaSaR: a novel methodology for the detection of epistasis
Techniques intended to reduce the impact of program-flow errors on embedded systems
Markerless facial motion capture: deep learning approaches on RGBD data
Obstacle detection and emergency exit sign recognition for autonomous navigation using camera phone
Image indexing and retrieval in the compressed domain
On the role of explainability and uncertainty in ensuring safety of AI applications
Deep neural mobile networking
Branch-level scheduling in Aurora : the Dharma scheduler
Adaptation based on learning style and knowledge level in e-learning systems
Tractable ontology-mediated query answering with datatypes
Cable laying ambush games
Selection strategies in gaze interaction
A chronometric study of the scanning of visual representations
Critical data aesthetics: towards a critically reflexive practice of data aestheticisation
The imperative implementation of algebraic data types
An integrated network-based mobile botnet detection system
A CSP approach to action systems
Design, formalization and realization of harmonic box coordination language : an externally timed specification substrate for arbitrarily reliable distributed systems
An active-library based investigation into the performance optimisation of linear algebra and the finite element method
Variation and reliability in digital CMOS circuit design
Evaluation of the fractional Brownian motion model of terrain
Tackling the computational complexity of understanding coalition formation in multi-agent systems
The application of space-filling curves to the storage and retrieval of multi-dimensional data
New probabilistic graphical models and meta-learning approaches for hierarchical classification, with applications in bioinformatics and ageing
A study in distributed document retrieval
Networks-on-chip for multiprocessors
An algebraic perspective on the convergence of vector-based routing protocols
An analysis of the impact of network configuration on the reliability of distributed systems
Presentation support for distributed multimedia applications
Search based software project management
On the generation and analysis of program transformations
An OS-based alternative to full hardware coherence on tiled chip-multiprocessors
Anticipating and adjusting to users : experiments in information access
Algorithms and data structures for three-dimensional packing
Bit-width optimisation for arithmetic hardware
Video foreground segmentation with deep learning
New rule induction algorithms with improved noise tolerance and scalability
MPLS controlled deflection routing for packet switched optical networks
Signatures in machine learning and finance
Studies and a model of appropriation of information and communication technologies in university students' everyday life
Organisation of objects in class-based software environments
Incorporating faults and fault-tolerance into real-time networks : a graph-transformational approach
Human modelling from multiple views
Evolving access control : formal models and analysis
Reconfigurable networks for maintaining quality delivery of electronic services
Towards robust inexact geometric computation
Modelling and analysis of next generation home networks
A reengineering approach to reconciling requirements and implementation for context-aware web services systems
Contextuality and noncommutative geometry in quantum mechanics
A multilingual automated web usability evaluation agent
GPRM : a high performance programming framework for manycore processors
Notations for abstract data types
Structures generated by higher-order grammars and the safety constraint
Neuro-fuzzy predictive control of an information-poor system
Mycroft : a framework for constraint based fuzzy qualitative reasoning
Abstract interpretation of polymorphic higher-order functions
Interpretation of anaphoric expressions in the Lolita system
An exploration into the use of cognitive characteristics when designing for older adults
Framework for the adoption of online banking
Parallel implementation of an embedded run-time stack
Biodiversity and amenity in urban parks and greenspaces
Identifying threshold concepts and misconceptions in Computer Programming for 14-17-year-old students by exploring teachers' perspectives and students' affective dimensions of learning
A class of perfect fluids in general relativity
Games for syntactic control of interference
Adapting feedback to learner personality to increase motivation
Introducing the Internet of Things in classrooms through discovery-based learning and physical computing
Event detection and modelling for security application
Freeform 3D interactions in everyday environments
CAPSS - Computer-Assisted Patient Scheduling System
Analytical modelling for the performance prediction and optimisation of near-neighbour structured grid hydrodynamics
Computer vision based detection and identification of potato blemishes
Automatic coset systems
Droplets, splashes and sprays: highly detailed liquids in visual effects production
User involvement with microcomputer software
Hierarchical super-regions and their applications to biological volume segmentation
Fusing automatically extracted annotations for the Semantic Web
An investigation of mobile ad-hoc network performance with cognitive attributes applied
End-to-end performance monitoring and SLA-complaint resource optimisation in cloud computing
Nonlinear dimensionality reduction for motion synthesis and control
A formal framework in VDM for the specification of parallel discrete event simulation
Combining qualitative and quantitative reasoning to support hazard identification by computer
The early assessment of system performance in distributed real-time systems
Transition assertions: a higher-order logic based method for the specification and verification of real-time systems
Affective computing in controlled exergame environments
A process of improving Process Improvement Processess in academic research
Static and dynamic analysis of near infra-red dorsal hand vein images for biometric applications
Multiple criteria decision support for design optimisation
Multi-version execution for increasing the reliability and availability of updated software
A computational study and heuristic algorithms for the home healthcare scheduling and routing problem
Print, manuscript and Godly cultures in the north of England, c. 1600-1650