yusuke1997/dblp-id-title huggingface dataset:
Essays on information and networks
Interpretable models in probabilistic machine learning
Visualisation and animation of concurrent systems specified in CSP
Integrated optical fluorescence multi-sensor system
An investigation of factors affecting the adoption of e-payment system in Libya
JUSTGrid : a pure Java HPCC grid architecture for multi-physics solvers using complex geometries
Side channel attacks on IoT applications
Specification and control of execution of nondeterministic dataflow programs
Formal specification and verification of OSI protocols
Exoplanet transit modelling: three new planet discoveries, and a novel artificial neural network treatment for stellar limb darkening
Performing tasks and reaching agreement in distributed systems prone to adversarial crash-failures
Computational Efficiency of Predictive Control
Behavioural implementation concepts for nondeterministic data types
Object coding of music using expressive MIDI
Explicit fusions: theory and implementation
Design and development of an optical chip interferometer for high precision on-line surface measurement
Model-based gait extraction and recognition
A logical basis for the specification of reconfigurable component based systems
A framework for mobile learning in international contexts
AgentP : a learning classifier system with associative perception in maze environments
A framework for the characterization and analysis of software systems scalability
Artificial intelligence for animated autonomous agents
Computational memory architectures for autobiographic and narrative virtual agents
Computer vision based posture estimation and fall detection
Computer-aided design of compensators for nonlinear feedback control systems
The annotation of continuous media
A service-centric framework for evaluating the IT services systems alignment : with case studies in Chinese banks
End-to-end 3D video communication over heterogeneous networks
Implicit emotion detection in text
Financial market models for the grid
A possible-worlds approach to the formalisation of #common sense'
Cross-lingual genre classification
An experiment in high-level microprogramming
Execution profiling for non-strict functional languages
New developments to Skalpel: a type error slicing method for explaining errors in type and effect systems
Probe request attack detection in wireless LANs using intelligent techniques
Community and thread methods for identifying best answers in online question answering communities
Design and implementation of an object-oriented functional language
Potential based prediction markets : a machine learning perspective
Lifelong information-driven exploration for mobile robots to complete and refine spatio-temporal maps in changing environments
A botnet needle in a virtual haystack
Developing tools and models for evaluating geospatial data integration of official and VGI data sources
Efficient processor allocation strategies for mesh-connected multicomputers
Entropic characterization and time evolution of complex networks
Sequential recurrent connectionist algorithms for time series modeling of nonlinear dynamical systems
Synthedemic modelling and prediction of Internet-based phenomena
Role of emotion in information retrieval
Software quality improvement by application of the Japanese manufacturing quality techniques
String rewriting systems and associated finiteness conditions
Quantitative analysis of dynamic safety-critical systems using temporal fault trees
A design framework for pervasive computing systems
Optimizing model predictive control of processes for wide ranges of operating conditions
Background modelling and performance metrics for visual surveillance
Numerical computation and software design
Applications of category theory in analysis of complex systems
Cooperative control of relay based cellular networks
Spatial embodied augmented reality: design of AR for spatial productivity applications
Modelling and analysis of structure in cellular signalling systems
The advisor agent : a model for the dynamic integration of navigation information with an open hypermedia system
Extending the open grid services infrastructure to intermittently available network environments
Action completion recognition and detection
Autocoding methods for networked embedded systems
A syntax directed integrated programming environment for supercomputers
Frequent subgraph mining algorithms on weighted graphs
Distributed simulation of high-level algebraic Petri nets
Moving approximate entropy and its application to the electromyographic control of an artificial hand
A job response time prediction method for production Grid computing environments
Grammars for the control of structured data
Data and computation efficient meta-learning
On verification and controller synthesis for probabilistic systems at runtime
Network support for distributed objects : coping with heterogeneity in models and architectures
Computer simulation and control of advanced mechanisms
Design and evaluation of contracts for gradual typing
Energy-efficient routing protocols for heterogeneous wireless sensor networks with smart buildings evacuation
Identification of locust neuronal systems with recurrent neural networks
A user experience-based toolset for automotive human-machine interface technology development
Self-adaptive Grid Resource Monitoring and discovery
Expressive and efficient bounded model checking of concurrent software
Formal analysis of concurrent programs
Run-time compilation techniques for wireless sensor networks
Graphical one-time password authentication
Evaluating 360° media experiences
Performance modelling with adaptive hidden Markov models and discriminatory processor sharing queues
Fully Homomorphic Encryption applications: the strive towards practicality
Semantic multimedia modelling & interpretation for search & retrieval
Permutation Programming: Problems, Methods and Applications
Fuzzy Finite State Machine for human activity modelling and recognition
Attainment of Global Convergence in Maximum Likelihood Estimation
A user-centred design framework for context-aware computing
A novel statistical-based approach for 3-D surface detection
Mapping parallelism to heterogeneous processors
Functional programming and input/output
TERMS - Text Extraction from Redundant and Multiple Sources
Investigating the design of Smart Objects in the domain of forgetfulness
3D compositional hierarchies for object categorization
Statistical approaches to gender classification in the surface normal domain
Automatic performance optimisation of parallel programs for GPUs via rewrite rules
MARIA : a multi-layered unsupervised machine learning algorithm based on the vertebrate immune system
Values, social imaginaries and the Internet control
Computer-aided diagnosis of complications of total hip replacement X-ray images
Distributed inverted files and performance : a study of parallelism and data distribution methods in IR
Calculating the curvature shape characteristics of the human body from 3D scanner data
Supporting the MASCOT method with Petri net techniques for real-time systems development
Utilising neuro-genetic techniques in standing and sitting
Bunched logics: a uniform approach
A methodology for knowledge acquisition in the development of expert systems
Development of object-oriented software for analysis and design of linear control systems
Techniques for enhancing the temporal predictability of real-time embedded systems employing a time-triggered software architecture
Monitoring distributed OCCAM programs
Bidirectional programming and its applications
A heuristic extension of modern control theory
Context-based multimedia semantics modelling and representation
New advances in tamper evident technologies
Development of integrity policies for network management
User interface design support for the development of knowledge-based systems
Self-supervised learning using motion and visualizing convolutional neural networks
Cross-layer aided routing design for ad hoc networks
Contributions to the development of finite element software in an interactive computing environment
Multimodal sensing for robust and energy-efficient context detection with smart mobile devices
A hybrid e-learning framework: process-based, semantically-enriched and service-oriented
Garbage collection optimization for non uniform memory access architectures
Scene understanding by robotic interactive perception
Multiband image fusion via linear mappings
Scalability and QoS adaptation of Internet real-time communications
Integration of cybersecurity in BIM-enabled facilities management organisations
Programming paradigms, information types and graphical representations : empirical investigations of novice program comprehension
Form specific adaptation and pattern recognition: an experimental and theoretical study
Collaborative intrusion detection in federated cloud environments using Dempster-Shafer theory of evidence
Analysis of high-frequency financial data over different timescales: a Hilbert-Huang transform approach
Representing and reasoning about concrete domains with inference fusion
Securing mobility location management in wireless mesh networks
Complex network analysis for secure and robust communications
Responsive environments: participants and protagonists
Design, development and implementation of a high performance wireless mesh network for application in emergency and disaster recovery
Aspects of n-tuple character recognition for a blind reading aid
Advances in single frame image recovery
Timeline extraction from hyperlinked text corpora
A study of dynamic routing strategies in an automatic alternative routing network
Multi-sensor fusion for human-robot interaction in crowded environments
VidIO : a model for personalized video information management
Feature Extraction, Correspondence Regions and Image Retrieval using Structured Images
Understanding and improving navigation within electronic documents
Continuously available virtual environments
Simulation of strategic management process of software projects: a dynamic approach
Service creation combining programmable networks and open signalling technologies
Contributions to the maturation of software engineering as a discipline and a recognised profession
A compositional approach to performance modelling
The structure and performance of AGECAT a computerised psychiatric diagnostic system for use with older people
Software engineering in the age of app stores: feature-based analyses to guide mobile software engineers
Integrating truth maintenance systems with active database systems for next generation cooperative systems
Robust facial representation for recognition
Learning in mobile context-aware applications
Robust wide-area multi-camera tracking of people and vehicles to improve CCTV usage
Investigation into low power and reliable system-on-chip design
Contributions of synaptic filters to models of synaptically stored memory
Reading techniques for object-oriented code of production
A study of inference-based attacks with neural network classifiers
Semantics and logics for signals
Augmentation of sigma-pi structures and learning regimes
Diagnosing runtime violations of security and dependability properties
Logic synthesis and optimisation using Reed-Muller expansions
Efficient enforcement of security policies in distributed systems
Continual learning for efficient machine learning
A distributed imaging framework for the analysis and visualization of multi-dimensional bio-image datasets, in high content screening applications
Functional programming and embedded systems
Statistical shape analysis of large molecular data sets
Robust methods of analysing repeated measurements data in a longitudinal setting
Pedestrians counting and event detection in crowded environment
Transaction behaviour in large database environments : a methodological approach
Semantic interoperability of large complex health datasets requires an ontological approach : a mixed method study
Quality of experience in digital mobile multimedia services
Pricing exotic options using improved strong convergence
Logic program development based on typed moded schemata and data types
Queueing network models with blocking and multiple job classes
A microprogrammed operating system kernel
The Construction and use of a Meta-Assembler
Decentralised control using local information sets
K-point group-signatures in curve analysis
Optical waveguide analysis using transmission lines
Language identification using visual features
Modern heuristics applied to selective combinatorial routing problems
Automatic pain assessment from face video: continuous pain intensity estimation in adults and newborns
Path-functional dependencies and the two-variable guarded fragment with counting
Evaluation of digital identity using Windows CardSpace
Service recommendation and selection in centralized and decentralized environments
Hierarchical modelling and recognition of activities of daily living
Self-organising an indoor location system using a paintable amorphous computer
Improving spatial reuse and MAC efficiency for future WLANs
A software framework for representing organisational communication
Towards a holistic framework for software artefact consistency management
Knowledge-enhanced text classification: descriptive modelling and new approaches
Synthesis of process flowsheets
Models of multi-agent decision making
Detection and tracking of humans for visual interaction
Cultivating computer programming self-efficacy through supportive social and self-regulated learning strategies for first year students in higher education
Verification of security protocols based on multicast communication
Programming environments and tools for massively parallel computers and large scale applications
Visual and haptic factors that affect the projection augmented model illusion
The optimal control of a slab reheating furnace
Digital technologies and environmental change: examining the influence of social practices and public policies
Automated analysis of real-time software properties
Local deformation modelling for non-rigid structure from motion
Taxonomies for software security
MIDPOINT - a microprogrammed differential polynomial interpolator
A new visual query language and query optimization for mobile GPS
DC railway power supply system reliability evaluation and optimal operation plan
Intelligent M-Health-CBT combined technology for an enhanced smoking cessation management system using data mining techniques with a case study in Saudi Arabia
Behavioural observation for critical infrastructure security support
Automating the refinement of knowledge based systems
Formal verification of P systems
The pickup and multiple delivery problem
Ontologies for automatic question generation
Learning Bayesian networks from data : an information theory based approach
System programming in a high level language
Iterative Local Model Selection for tracking and mapping
Integration project management methodologies using knowledge-based system techniques
CODA : complex organic distributed architecture for intelligent reconfiguration of mobile networks
High-level floating-point synthesis
An adaptive computing system
Data mining of vehicle telemetry data
Potential object analysis : an instance-based approach
Performance metrics for network intrusion systems
Automatic bottleneck detection and scaling in virtual time
Ant colony optimisation : a proposed solution framework for the capacitated facility location problem
Visual and thermal odometry with Deep Neural Networks
Efficient algorithms for listing combinatorial structures
How do readers interact with hypertext fiction? : an empirical study of readers' reactions to interactive narratives
Tether management techniques for autonomous mobile robots
Mobility-aware virtual network embedding techniques for next-generation mobile networks
Understanding colour image: colour constancy
Smart wonder: cute, helpful, secure domestic social robots
Inductive biases and metaknowledge representations for search-based optimization
Goal formulation in intelligence agents
Low-complexity near-optimum detection techniques for non-cooperative and cooperative MIMO systems
On the synthesis of choreographies
Efficient and predictable high-speed storage access for real-time embedded systems
Theoretical framework for authoring hypermedia for language learning
Ontology supported comparison in vague domains
Development of a structured method for knowledge elicitation
Securing routing protocols in mobile ad hoc networks
The generation of coordinated natural language and graphical explanations in design environments
Agents : a distributed client/server system for leaf cell generation
Machine learning-based low-pixel object recognition from unmanned aerial vehicles
Deep learning driven tool wear identification and remaining useful life prediction
Internet protocol - based information systems : an investigation into integration issues and iterative organisational change strategies
Temporal abstraction in reinforcement learning based on environmental feature
Automated camera ranking and selection using video content and scene context
Deductive and algorithmic analysis of real-time concurrent Ada programs
Dynamic background modelling for foreground detection in surveillance video
Aspects of abstraction in computing
From user behaviours to collective semantics
Visual retrieval for compound queries
Video retrieval and summarisation
Grid scheduling veneer
A comparative study of synchronous and self-timed systolic array architectures
Biologically-inspired building recognition
Applications of information sharing for code generation in process virtual machines
Theory and practice in the construction of efficient interpreters
Tacit knowledge and dialogue for knowledge transfer
Active inference: building a new bridge between control theory and embodied cognitive science
Software dependability assessment
Video/Image Processing Algorithms for Video Compression and Image Stabilization Applications
Transcoding architectures for encrypted digital video
Human and computer-based verification of handwritten signatures
Towards a practically extensible Event-B methodology
Coarse grain memory management in real-time systems
An integrated personal mobility services architecture
Blind image deconvolution using the Sylvester matrix
Evaluating the effectiveness of live peer assessment as a vehicle for the development of higher order practice in computer science education
End-to-end security in active networks
Shape-based cost analysis of skeletal parallel programs
Latency measurement, modelling and management for interactive remote rendering
Randomised algorithms on networks
A context-aware method for verifying user identity in pervasive computing environments
Multiprocessor virtual machine systems with special control unit organisation
A hybrid NLP & semantic knowledge-base approach for the intelligent exploration of Arabic documents
A theory of episodic memory for case-based reasoning and its implementation
Latent semantic sentence clustering for multi-document summarization
A new view of binary trees
Polynomial and FPT algorithms for Chinese Postman, packing and acyclicity
Design of an expandable manufacturing simulator through the application of object-oriented principles
Learning graphical models using prior knowledge
Engineer-computer interaction for structural monitoring
Structuring lute tablature and MIDI data : machine learning models for voice separation in symbolic music representations
Learning in spiking neural networks
Enhancing comprehension of complex data visualizations : framework and techniques based on signature exploration
Exploring mathematical functions through dynamic microworlds
SQL injection detection and exploitation framework for penetration testing
Stateless client computing
Learning nominal regular languages with binders
Multiple viewpoint the tutoring systems
Data-driven modelling of shape structure
Future spatial audio : subjective evaluation of 3D surround systems
Simulation modelling of distributed-shared memory multiprocessors
Specifying agent communication languages
Towards an improved model of dynamics for speech recognition and synthesis
Performance modelling and analysis of deadlock recovery routing algorithms in multicomputer interconnection networks
Investigations of linear array architectures for neural network support
Computationally efficient algorithms for filtering problems with measurement nonlinearities
The prediction of bubble defects in castings
Analysis, design and implementation of multiple view visualisations
The automatic acquisition, evolution and re-use of modules in cartesian genetic programming
Coordinated adaptation for adaptive context-aware applications
Automatic detection and classification of bird sounds in low-resource wildlife audio datasets
An Exploration of parametric software cost estimating models for Jackson Systems Development
Graph spectral domain data hiding
Enhanced realizability interpretation for program extraction
A computational dynamical model of human visual cortex for visual search and feature-based attention
An integrated architecture analysis framework for component-based software development
Rapid room understanding from wide-angle vision
A software system for teaching aspects of computer science
Investigation of keyboard and speech based text entry on mobile devices
Liquid crystal adaptive planar optical devices
Data mining for relationships in large datasets
An architecture for interpreted dynamic object-oriented languages
Provenance of visual interpretations in the exploration of data
Inference on Markov random fields: methods and applications
Automation of penetration testing
Artificial intelligence applied to speed sensorless induction motor drives
Sex differences in attitude towards mathematics: an investigation in Iraqi secondary schools
Dealing with privacy risk: solutions to data sharing under the GDPR for data controllers
Grouping, matching and reconstruction in multiple view geometry
User aspects in synchronous visualisation of multiple photo streams
A visual construction environment for novice users
A first order refinement calculus
Using the Smart Card Web Server to enhance the security of web applications and the Web of Things
High-fidelity human body modelling from user-generated data
Functionality constraints in feedforward neuromorphic learning systems
A distributed information processing model of bacterial chemotaxis
DynamiTE : a 21st-century framework for concurrent component-based design
A coalgebraic semantics for imperative programming languages
On dynamic resource allocation in systems with bursty sources
A novel framework for the implementation and evaluation of type-1 and interval type-2 ANFIS
Statistical models for natural scene data
Inductive generalisation in case-based reasoning systems
A knowledge-based system for process planning in a seamless steel tube plant
Some new results on majority logic codes for correction of random errors
Translation of APL to other high-level languages
Characterisation of the in-vivo terahertz communication channel within the human body tissues for future nano-communication networks
A decision support system for supplier selection integrating analytical hierarchy process with operations research methods
Deep learning-based food image classification and crowdsourcing-based calorie estimation approach to support dietary management
Screen printable sacrificial and structural pastes and processes for textile printing
Higher order strictness analysis by abstract interpretation over finite domains
Bayes-optimal linear discriminant analysis under heteroscedasticity
Generic event services middleware
The implementation of knowledge based systems into organizations
The presentation of self on a decentralised Web
The design philosophy of a small automatic digital computer
The design of maintainable knowledge based systems : a case study in the domain of magnetic resonance imaging
A process oriented approach to solving problems of parallel decomposition and distribution
The persistence of analogies in design decision-making
Semi-supervised lexical acquisition for wide-coverage parsing
Improved algorithms for hybrid video coding
A biologically inspired dynamic model for vision