yusuke1997/dblp-id-title huggingface dataset:
SMT-based bounded model checking of multi-threaded software in embedded systems
On coupling prolog to a database management system and an associated design method
SPEA2-based safety system multi-objective optimization
On the application of the modulation transfer function to discrete imaging systems
The effect of diverse development goals on computer-based system dependability
Gals NoC
Advances in scene understanding : object detection, reconstruction, layouts, and inference
Utilising reduced file representations to facilitate fast contraband detection
Programming and verifying asynchronous systems
Probabilistic modelling of temporal correlations in industrial alarm data
Learning symbolic abstractions from system execution traces
Space charge measurement and analysis in low density polyethylene films
Mechanising heterogeneous reasoning in theorem provers
Colour and texture image analysis in a Local Binary Pattern framework
Orientation matching for diffusion tensor image registration
Towards a novel unified framework for developing formal, network and validated agent-based simulation models of complex adaptive systems
Understanding spiking and bursting electrical activity through piece-wise linear systems
On a purely categorical framework for coalgebraic modal logic
Exploring engineering applications of visual analytics in virtual reality
Model-based approach for the design and generation of adaptive user interfaces on resource-constrained devices
The application of data mining techniques to learning analytics and its implications for interventions with small class sizes
Data-driven system dynamics modelling: model formulation and KPI prediction in data-rich environments
Security and usability in a hybrid property based graphical authentication system
Selection of maintenance policies for a data warehousing environment : a cost based approach to meeting quality of service requirements
Brainwave-based human emotion estimation using deep neural network models for biofeedback
A comparative study of data transformations for efficient XML and JSON data compression: an in-depth analysis of data transformation techniques, including tag and capital conversions, character and word N-gram transformations, and domain-specific data transforms using SMILES data as a case study
Service embedding in IoT networks
A model for monitoring end-user security policy compliance
Deep learning for text spotting
Dynamic reconfiguration of IP domain middleware stacks to support multicast multimedia distribution in a heterogeneous environment
A framework for qualitative model-based reasoning about mechanisms
Robust signatures for 3D face registration and recognition
Performance analysis of a mobile robotic tele-ultrasonography system over 2.5G/3G communication networks
Abstract interpretation and attribute grammars
User-interface design for software based sound synthesis systems
Information journeys in digital archives
State vector estimation of multivariable linear control systems with particular reference to the sensitivity problem
A nonmonotonic multi-agent logic of belief: a Modal Defeasible Relevant approach
Case-based reasoning in virtual reality : a framework for computer-based training
Rewriting formalisms with binding support: comparing combinatory reduction systems and nominal rewrite systems with atom substitution
Toolbox for adopting computational thinking through learning Flash
Quasi-optimization of neuro-fuzzy expert systems using asymptotic least-squares and modified radial basis function models: intelligent planning of operational research problems
Detecting semantic similarity: biases, evaluation and models
Characterising parameterized graph classes : certifying algorithms for fixed-parameter tractable problems
A knowledge-based approach to software design support
Optimizing heterogeneous 3D networks-on-chip architectures for low power and high performance applications
Domain restrictive user interfaces using database systems
Learning with fuzzy labels : a random set approach towards intelligent data mining systems
The development and evaluation of a prototyping environment for context-sensitive mobile computing interaction
Mobile image parsing for visual clothing search, augmented reality mirror, and person identification
Incoherence and text comprehension : cognitive and computational models of inferential control
Proof planning for automating hardware verification
Brain-controlled cinematic interactions
Automatic semi/automatic generation of software to control flexible manufacturing cells
An architecture to support virtual Concurrent Engineering
Algorithms for viral haplotype reconstruction and bacterial metagenomics : resolving fine-scale variation in next generation sequencing data
A genetic algorithm for automatic optical inspection
Semi-supervised image classification based on a multi-feature image query language
Towards the formal verification of human-agent-robot teamwork
An agent based compositional framework for supply chain simulation
Before and beyond systems : an empirical modelling approach
Rough set extensions for feature selection
Lossy compression applied to the worst case execution time problem
Computer analysis of skeletal structures
Automated assessment of Java programming coursework for computer science education
Self-management middleware services for autonomic grid computing
Semi-invasive attacks: a new approach to hardware security analysis
A business model framework for the Internet of Things
Digital signal processing platform based on a novel dynamically reconfigurable array
An integrated framework for QoS support of distributed multimedia services
The implementation of a COBOL language enhancement feature
Accelerating interpreted programming languages on GPUs with just-in-time compilation and runtime optimisations
An investigation into automation of fire field modelling techniques
Person re-identification and tracking in video surveillance
Generalising plans to influence landscapes for robust agent execution in virtual worlds
Private and censorship-resistant communication over public networks
Sparse analysis model based dictionary learning and signal reconstruction
Proxy compilation for Java via a code migration technique
Exception diagnosis in open multi-agent systems
Sequential decoding using decision theory
Slicing-based resource allocation and mobility management for emerging wireless networks
A software framework method for network management system development
Specifying and implementing secure mobile applications in the channel ambient system
Dynamics of space charge and electroluminescence modelling in polyethylene
Network coding for cooperative multi-user wireless communication systems
The micro-foundations of email communication networks
Deep soil mixing and predictive neural network models for strength prediction
Knowledge Discovery in Enterprise Architecture: An Ontology-driven Approach
An information theoretic approach to the expressiveness of programming languages
Web on TV: designing web content for enhanced user experience on an Internet-connected television device
High sample-rate Givens rotations for recursive least squares
End-to-end delay analysis for small/medium scale IP networks
Developing a cultural-cognitive conceptualisation of activity for HCI: a study of collaborative idea-sketching
A unified approach to the debugging of optimised programs
The evolution of complete software systems
Information system development methods : the search for order and control in information systems development in a UK bank
Learning visual recognition of fine-grained object categories from textual descriptions
Towards object-oriented software architecture reuse
Documentum de transmutatio : rhizomatous modelling in hypertext for the digital reformation and extension of gallery circumscribed art-installation
Forex trend forecasting based on long short term memory and its variations with hybrid activation functions
A filing service for a close coupled distributed computer system
A toolkit for static analysis of constraint logic programs
Surface analysis using polarisation
Match-up strategies and fuzzy robust scheduling for a complex dynamic real world job shop scheduling problem
A ranking approach to summarising Twitter home timelines
Foundations of computer programming in Britain 1945-1955
Privacy-preserving decentralised collaborative applications
Exploring human factors in context aware services
Activity awareness in context-aware systems using software sensors
A New Method of Processing Textual Material by Cybernetic Machine
On using the system management mode for security purposes
An architecture for a collaborative authoring system
On the relations between behaviour, mechanism, and environment : explorations in artificial evolution
Improving Convergence, Diversity and Pertinency in Multiobjective Optimisation
Translating Lucid data flow into message passing actors
Data Clustering and Partial Supervision with Some Parallel Developments
An investigation into automatic people counting and person re-identification
Scalable deep feature learning for person re-identification
The effect of audio cues and sound source stimuli on looming perception
Discrimination of near-native decoy structures using statistical potentials
Concurrent verification for sequential programs
Graphical man-machine interface for computer-aided control system design
Face recognition using feature fusion and deep learning
Enhancing current software safety assurance practice to increase system mission effectiveness
On auxiliary variables and many-core architectures in computational statistics
Event calculus to support temporal reasoning in a clinical domain
Towards a national 3D mapping product for Great Britain
The computation and interpretation of nonlinear frequency response functions
An object-based algebraic specification environment
Empirical study on extreme programming
Proximal anthropomorphised interfaces for networked multimedia services
The discovery of fuzzy rules from fuzzy databases
Pattern recognition using associative memories
Machine learning and sentiment analysis approaches for the analysis of Parliamentary debates
A visual approach to the development of spatial quaery languages for geographic information systems
Adaptive mutation operators for evolutionary algorithms
A combined physical and statistical approach to computational colour constancy
The selective use of gaze in automatic speech recognition
A structured computing environment
Evolutionary many-objective optimisation: pushing the boundaries
Approximating true relevance model in relevance feedback
The main name system
Methods of (0-1) Integer Programming Using a Boolean Approach
An investigation into improving the load balance and query throughput of distributed information retrieval
Emergent software systems
Reinforcement learning in persistent environments: representation learning and transfer
An architecture for an intelligent assistant system for use in software project planning
Affect recognition & generation in-the-wild
Improvements and generalisations of signcryption schemes
Supporting meaningful social networks
Competative optimisation on timed automata
The application of artificial intelligence to mineral processing control
The design, development and implementation of a surveyors' land information management package
Machine learning for classification of ADHD
Planning and deployment of wireless sensor networks
Genetic programming with context-sensitive grammars
Reanimating cultural heritage through digital technologies
An experimental and numerical investigation of the effect of aero gas turbine test facility aspect ratio on thrust measurement
Supporting user appropriation of public displays
Fault localization in service-based systems hosted in mobile ad hoc networks
An investigation into the support of on-line distributed event-based networking : ethnomethodological analysis and requirements elicitation
A framework for flexible scheduling in real-time middleware
Transfer of tool affordances in computer vision for robotics
Detecting previously unseen computer viruses
Visualisation of multi-dimensional medical images with application to brain electrical impedance tomography
Clustered multithreading for speculative execution
Defining approaches and tools for the creation of shareable datasets for smart home environments
A generic network and system management framework
Probabilistic word sense disambiguation: analysis and techniques for combining knowledge sources
An application of formal specification techniques
Social care service provision using spatial-temporal data analytics
Easing the writing task : designing computer based systems to help authors
Handling emergent conflicts in adaptable rule-based sensor networks
Explaining anomalies : an approach to anomaly-driven revision of a theory
Electronic reliability prediction : a study over 25 years
A tableaux-based reasoner for temporalised description logics
The analysis and synthesis of stridor
Artificial societies and information theory : modelling of sub system formation based on Luhmann's autopoietic theory
Characterising fitness landscapes with fitness-probability cloud and its applications to algorithm configuration
Detecting human comprehension from nonverbal behaviour using artificial neural networks
Dysarthric speech analysis and automatic recognition using phase based representations
Synthesis of programmable logic arrays
Texture image reconstruction from irregularly sampled data
Structure and hypertext
Computer Processing of Points Curves and Regions
Elicitation of software requirements : the role of natural language processing
Digital watermarking for time-based authentication of low bit-rate video
Interactive volume deformation based on model fitting lattices
Design exploration of an FPGA-based multivariate Gaussian random number generator
Advanced managment techniques for many-core communication systems
Programming models for heterogeneous systems with application to computer graphics
Generic silicon architectures for encryption algorithm
Contributions to fuzzy object comparison and applications : similarity measures for fuzzy and heterogeneous data and their applications
Supporting webpage revisiting with history data and visualization
Texture analysis based machine learning algorithms for ultrasound ovarian tumour image classification within clinical practices
Machine learning techniques for the detection and 3D localization of tracer particles in astigmatic images
Deep learning in the factory of the future
EEVi, a model developed to aid the design and evaluation process of cyber-security visualisation for cyber-security analysts
Putting artificial intelligence into wearable human-machine interfaces: towards a generic, self-improving controller
Symbolic simulation of dynamic systems
Object-reuse-oriented design of direct simulation Monte-Carlo software for rarefied gas dynamics
Improving visual place recognition in changing environments
Blur perception : an evaluation of focus measures
The heritability of facial morphology
Design and implementation of a simple typed language based on the lambda-calculus
Evolutionarily stable and fragile modules of yeast biochemical network
Software tools to aid PASCAL and ADA program design
A desk-top information manager
Processor scheduling for transputer networks
Structured sparsity via optimal interpolation norms
Text mining patient experiences from online health communities
Testing and active learning of resettable finite-state machines
Multiprocessing neural network simulator
An investigation into the planning, organisation and control of rapid software development and prototyping
Structural complex prediction based on protein interface recognition
Topics in kernal hypothesis testing
LoCo: a logic for configuration problems
Stability and responsibility : visualising dependencies in large software systems
Anomaly detection using hierarchical temporal memory in smart homes
Concept development in novice programmers learning Java
Exploring links between neurophysiology and behaviour with a behaviour-based robot
Attacks on cloud environments and their mitigation: host-based isolated and coordinated attacks
The analytic hierarchy process multi-metric objective function for RPL
Analysing the Impact of Change on Finite State Machine Test Sets
An integrated architecture for operating procedure synthesis
An investigation of audio signal-driven sound synthesis with a focus on its use for bowed stringed synthesisers
Algorithms for the analysis of bone marrow cancer histology images
Generic security templates for information system security arguments : mapping security arguments within healthcare systems
Preserving individual privacy in context-aware ubiquitous computing environments - an intelligent and distributed agent technology for context-dependent privacy control
A wide spectrum type system for transformation theory
Decision making under uncertainty
Using small world models to study infection communication and control
A content centric computing platform for the home
Portable compilation systems
Developing living information systems through systems tailorability : deferred systems design
Memory architectures for reconfigurable systems
Formal treatment of real-time properties in Event-B
A storage system for use with binary digital computing machines
The vibro-acoustic modelling and analysis of damage mechanisms in paper
Argumentation accelerated reinforcement learning
The representation, management and customisation of technical manuals
Modelling emotions and simulating their effects on social interactions in agent systems
New cryptanalysis and modelling for wireless networking
Order-sorted equational reasoning and rewrite systems
Topics in dynamical systems
Formal languages: structure preserving maps and decidability properties
Women's career advancement in the IT field in the Kingdom of Bahrain
Exploiting structure defined by data in machine learning : some new analyses
Machine learning for handprinted character perception
The investigation of security issues in agile methodologies
A prototype Prolog-based code generator environment
Tactical troubleshooting: investigating support for end-user developers in physical computing
Online structured learning for real-time computer vision gaming applications
Investigation of variable transformers by finite element modelling
Understanding contagion spreading processes of cyber security threats through social networks
MulTEP: a Multi-Threaded Embedded Processor
Strong mobility in the common language infrastructure
International portfolio optimisation under uncertainty
The influence of intrinsic perceptual cues on navigation and route selection in virtual environments
Enjoyment in VR games: factors, challenges, and simulator sickness mitigation techniques
Data mining ensemble hierarchy, diversity and accuracy
Embodied conversational agents : extending the persona metaphor to virtual retail applications
What do you do with your community IT centre? : life stories, social action and the Third Space : a biographical narrative interpretive study of adult users of a community IT centre
Variational and PDE-based methods for image processing
Quantum information processing with photonic graph states
Tactons : structured vibrotactile messages for non-visual information display
Application and development of fieldbus : executive summary
Computational strategies for identifying risks of falls from large-scale datasets
Lazy exact real computation
The automation of resonant thermometer probe measurements
Task allocation and consensus with groups of cooperating Unmanned Aerial Vehicles
Constraint-based updates in a functional data model database
Performance analysis of virtualisation in a cloud computing platform : an application driven investigation into modelling and analysis of performance vs security trade-offs for virtualisation in OpenStack infrastructure as a service (IaaS) cloud computing platform architectures
Semantic optimization of OQL queries
The integration of explanation-based learning and fuzzy control in the context of software assurance as applied to modular avionics
Mind as machine : can computational processes be regarded as explanatory of mental processes?
Planning simultaneous perception and manipulation
Understanding and supporting Web developers: working practices and resources for the creation and evaluation of accessible websites
Higher-order constrained Horn clauses for higher-order program verification
Performance study of a COTS distributed DBMS adapted for multilevel security
Statistical modelling of software metrics
Staying active despite pain: investigating feedback mechanisms to support physical activity in people with chronic musculoskeletal pain
Cross organisational compatible workflows generation and execution
Modelling stress levels based on physiological responses to web contents
An investigation of real-time synchronization
MuCIGREF: multiple computer-interpretable guideline representation and execution framework for managing multimorbidity care
Spatial models in computer-based information systems
A questionnaire survey of the teaching of computer studies, pupils attitudes toward computers and perceptions of the learning environment
An investigation of the utility and value of process patterns in the management of software development projects
Variable selection in joint modelling of mean and variance for multilevel data
Education ICT assemblage: encounters of discourses, emotions, affects, subjects, and their productive forces
Intelligent spatial decision support systems
Editing composed languages
An architecture for user privacy in mobile networks
Adaptive Response System for Distributed Denial-of-Service Attacks
Developing quality of service management architecture for delivering multicast applications
Proof planning for logic program synthesis
The impact of website use on students' perception of the student-lecturer relationship within higher education in Saudi Arabia
Patch-based semantic labelling of images
An automated method mapping parametric features between computer aided design software
Fine-grained Incident Video Retrieval with video similarity learning
Exploring views of teachers, teacher trainees and educational experts about e-learning-based teacher training programs in Saudi Arabia: an empirical study
Resonance studies of artificial earth satellites
Bridging the gap between JavaScript analysis and web analysis
Formal verification-driven parallelisation synthesis
Numerical modelling of landslide behaviour
The representation of letter strings : psychological evidence and computational models
Framework for proximal personified interfaces
On automatic emotion classification using acoustic features
Multi-objective, interactive programming
Analysis of visual search for knowledge gathering
Semantic information integration for knowledge discovery in multi-dimensional environmental systems
Decomposing responses to mobile notifications
A multiple optical tracking based approach for enhancing hand-based interaction in virtual reality simulations
Towards interference-free deployment of ubicomp systems
The development of a parallel database environment for use with corporate geographic information systems
Emergence in the security of protocols for mobile ad-hoc networks
Implementation & performance investigation of dicode PPM over dispersive optical channels
Investigations into Web science and the concept of Web life
Obfuscation of abstract data-types
How useful are bounded online chat rooms as a source of pastoral support in a sixth-form college?
Temporal property preservation under the refinement of CSP-OZ specifications
Encouraging collaboration through a new data management approach
Analysis and classification of Android malware
A concrete security treatment of symmetric encryption in a quantum computing world
Congestion avoidance in overlay networks through multipath routing
Delay-tolerant data collection in sensor networks with mobile sinks
Visual feedback stabilisation of a cart inverted pendulum A
Security for ubiquitous computing
A knowledge discovery and data mining process model for metabolomics
Runes, runic inscriptions and runic writing as primary sources for town development