yusuke1997/dblp-id-title huggingface dataset:
Trustworthiness and expertise: social choice and logic-based perspectives
Load management for publish/subscribe message oriented middleware
SUIT : a methodology and framework for Selection of User Interface development Tools
Structured polyphonic patterns
Biological sequence indexing using persistent Java
DFSGD: machine learning based intrusion detection for resource constrained devices
Specification and analysis of service oriented architectures within the calculus of communicating sequential processes (CSP)
Artificial immune systems : a novel data analysis technique inspired by the immune network theory
Security management system for 4G heterogeneous networks
Pattern classification using spread spectrum
Predicting sleepiness from driving behaviour
Agda as a platform for the development of verified railway interlocking systems
Cooperation by observation for heterogeneous robots
Scalable wireless sensor networks for dynamic communication environments : simulation and modelling
A principled approach for engineering privacy by design
On statistical reliability modeling: methods of inference and prediction
Design and architecture of a stochastic programming modelling system
Z for concurrent systems
A parallel functional language compiler for message-passing multicomputers
Perceptual issues of visual attention and depth perception in augmented reality
Learning deep policies for physics-based robotic manipulation in cluttered real-world environments
A framework for modelling and utilization of users' feedback for software systems evolution
Dynamic scanning, a unique approach to product coding
The synthesis of dynamical models of plants and processes, with particular reference to aircraft
Extending the Kohonen self-organising map by use of adaptive parameters and temporal neurons
Parallel computation in the synthesis of random waves by digital filtering
Immersive virtual reality platform for self-attachment therapy
Design patterns to support the migration between event-triggered and time-triggered software architectures
Speaker verification using voice source parameters
Software design prototyping through transformations applied to informal design representations
Pulse-based, on-chip interconnect
Machine learning methods for discriminating natural targets in seabed imagery
Chalcogenide thin film materials for next generation data storage
Efficiency improvement in MEMS thermoelectric generators employing solar concentration
Organisational information security management : the impact of training and awareness : evaluating the socio-technical impact on organisational information security policy management
IT/IS evaluation in private organisations in the Kingdom of Saudi Arabia
The use of fuzzy logic applications for high frequency trading
Selected problems in graph exploration by mobile agents with small memory
An interpretive approach to information systems engineering (using the grounded systems engineering methodology)
Profiling large-scale lazy functional programs
Exploring collaborative music making experience in shared virtual environments
The design and simulation of traffc networks in virtual environments
Performance modelling of replication protocols
Working together in the classroom : an investigation into software to raise awareness of group-learning skills in children aged 9 and 10
Analysing the development, management and growth of integrated digital communities
Predicting the content of peer-to-peer interactions
A domain based approach to natural language modelling
Digital fabrication approaches for the design and development of shape-changing displays
Multidimensional quadrature
Increasing reliability and security in handwritten signature biometrics
Machine learning for high-level social behaviour
Combining vision verification with a high level robot programming language
Improving processor reliability using software protection techniques
Skin image processing and skin characterizations
Inverse graphics via simulation-driven learning
Prioritised and adaptive preamble sampling MAC protocols for Wireless Sensor Networks
Provenance-based computing
Enabling proactive agricultural drainage reuse for improved water quality through collaborative networks and low-complexity data-driven modelling
Environment sensing and modelling, path finding and position location for a mobile robot
Activity recognition in monitored environments using utility meter disaggregation
Extending probabilistic programming systems and applying them to real-world simulators
The analysis and synthesis of the singing voice
Evolution and software reuse
Learning dense 3D models from monocular video
Mobile robot navigation using a behavioural control strategy
A framework enabling the cross-platform development of service-based cloud applications
Unsupervised Bayesian explorations of mass spectrometry data
New Formian and epilanguages for preprocessing of space structures
Multiresolution image modelling and estimation
Augmenting Distributed Cognition analysis for home haemodialysis : from a system of representations to systems of activity-centric interactions
Persistance and modularity in PROLOG
Context mediation among knowledge discovery components
Auto-tuning compiler for HPC
Phase transition behaviour in constraint satisfaction problems
Generating networks for performance evaluation of P2P trust path search algorithms
Network performance management using mobile software agents
Platform verification and secure program execution in embedded devices
Hierarchical visual content modelling and query based on trees
Increasing the usability of graph databases by learning SPARQL queries and RDF data
A data protection architecture for derived data control in partially disconnected networks
Custom IP cores for robust data analysis and pattern recognition algorithms
Risk analysis of user satisfaction in online communities
Generic silicon architectures for the two-dimensional discrete wavelet transform
An investigation into theory completion techniques in inductive logic programming
An investigation into optimisation techniques for use on a hybrid computer
Fixture Layout Optimisation Based on Genetic Algorithm
Deep learning-based regional image caption generation with refined descriptions
On the integration of conceptual hierarchies with deep learning for explainable open-domain question answering
Applying multi-resolution numerical methods to geodynamics
Cross-layer QoE improvement with dynamic spectrum allocation in OFDM-based cognitive radio
The Evaluation of a Protection System
Sound-production related cognitive tasks for onset detection in self-paced brain-computer interfaces
Intelligent spectrum management techniques for wireless cognitive radio networks
Efficient reinforcement learning in agents through embodiment-based modular decomposition
Recovering the optical properties of a tissue using maximum a posteriori based estimation
Grounded theory for knowledge acquisition
Coalition announcements
A systemic approach for evaluating stakeholder collaboration within requirement collection
Rendering and validation of high-fidelity graphics using region-of-interest
Developmental learning of internal models for robotics
Probabilistic machine learning for circular statistics: models and inference using the multivariate Generalised von Mises distribution
Distributionally robust optimization with applications to risk management
Quantum compilers for reducing non-Clifford gate counts
Detection of malicious hosts against agents in Mobile Agent networks
Computer aided detection and segmentation of intracranial aneurysms in CT angiography
Performance analysis and optimisation of in-network caching for information-centric future Internet
Neural network analysis and simulation
Aspect-based sentiment analysis for social recommender systems
The public health analogy in Web security
Personalised privacy in pervasive and ubiquitous systems
Towards application-centric I/O benchmarking for parallel scientific applications
Crowsdsourcing semantic resources
Evolving security policies
Langrange programming neural networks for nonlinear Volterra system identification
Time Optimal Feedback Control of Linear Multivariable Discrete- Time Systems with Input Time - Delay
Error management in ATLAS TDAQ : an intelligent systems approach
Detecting cyber-physical threats against autonomous robotic systems in routine missions
Designing for the commercial exploitation of online identity
Musical instrument modelling using digital waveguides
On the use of attribute-based encryption in publicly verifiable outsourced computation
Exploring the memorability of multiple recognition-based graphical passwords and their resistance to guessability attacks
Investigating the effectiveness of a software-reinforced approach to understanding recursion
Provenance support for service-based infrastructure
Risk eDecisions: online behaviour and decision making from the iGeneration to the 'silver surfer'
Multi-objective reinforcement learning framework for unknown stochastic & uncertain environments
Computational model of visual attention : integrative approach
Arabic text to Arabic sign language example-based translation system
Understanding and supporting collaborative sensemaking in collaborative information seeking
SDL II A System Dynamics Language Portable Translator Development and Design of a CSSL-Dynamo-type Language
A mixed method for common input devices evaluation
Learning and cooperation in multi-agent system with applications to robot football
Fair use and file sharing in research and education
Citizens' readiness for e-government in developing countries
Type-inference based deforestation of functional programs
Non-numerical computing using an associative processor
A block-based approach to document formatting and hypertext
A compositional semantic theory for service composition
Contextual mobile adaptation
Failure logic modelling : a pragmatic approach
Aspects of categorical physics: a category for modelling dependence relations and a generalised entropy functor
Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing
On the formal specification and derivation of relational database applications
Profiling a parallel domain specific language using off-the-shelf tools
Learning via automaton minimization and matrix factorization
Methods for the automatic alignment of colour histograms
Computer-based sketching and the productivity of the conceptual stage of design
Automating domain knowledge recovery from legacy software code
Detection for multiple-input multiple-output systems : probabilistic data association and semidefinite programming relaxation
Developing novel meta-heuristic, hyper-heuristic and cooperative search for course timetabling problems
Ad hoc cloud computing
Nonlinear Predictive Control Based On NARMAX Models
A journey of integration : virtuality and physicality in a computer-mediated environment
Learning classifier systems for decision making in continuous-valued domains
Human motion prediction
Design using distributed intelligence within advanced production machinery
A social-technical approach to selecting software supporting COTS-based systems
Conditional preference networks: efficient dominance testing and learning
Improving password system effectiveness
Assessment instrument for cloud forensic readiness in organisations
Modelling viewpoints in user generated content
Mechanics of the ligament deficient knee
An embedded system for image sensor control and date processing
Using ideation tools for face-to-face collaboration within complex design problems
The effective application of syntactic macros to language extensibility
Automated data classification using feature weighted self-organising map (FWSOM)
Efficient and detailed sketch-based character modelling with composite generalized elliptic curves and ODE surface creators
Parallelism and the software-hardware interface in embedded systems
Robust data storage in a network of computer systems
K-means landscapes: exploring clustering solution spaces using energy landscape theory
Dynamic balance of bipedal robot based on central pattern generators and deep reinforcement learning
Evaluating humanoid embodied conversational agents in mobile guide applications
Solution of partial differential equations using reconfigurable computing
Interaction and interest management in a scripting language
adaptive query processing in pipelined plans
Distributed processing, reconfigurable processes and active network
Microbubble dynamics near rigid boundaries
Application of power laws to biometrics, forensics and network traffic analysis
The relationship between science and technology
Automatic software generation and improvement through search based techniques
Generative frameworks for rigorous model-driven development
Representation of story structures for browsing digital video
Priority in process calculi
An interactive, graphical, program design and development environment
Understanding the feasibility of network edge caching through measurements
Real-time pre-processing technique for drift detection, feature tracking, and feature selection using adaptive micro-clusters for data stream classification
Mutation-based genetic improvement of software
A model for managing information flow on the World Wide Web
Inferring unobserved co-occurrence events in Anchored Packed Trees
A scalable data store and analytic platform for real-time monitoring of data-intensive scientific infrastructure
Recognition of human actions and interactions in video sequences
Dealing with inconsistent and incomplete data in a semantic technology setting
Musical spacialised auditory feedback for a brain-computer interface
Sensor-enhanced imaging
Repertory Grid Technique: a pragmatic approach to evaluating user experience in visualisation navigation
Human feedback in Statistical Machine Translation
A study of topical applications of genetic programming and genetic algorithms in physical and engineering systems
Defining the selective mechanism of problem solving in a distributed system
Estimation of objects' inertial parameters, and their usage in robot grasping and manipulation
Problem solving with optimization networks
Binary decision diagrams for fault tree analysis
Parallel discrete event simulation on the SpiNNaker engine
Organisations as social networks: understanding proactive information behaviour
Towards the development and understanding of collaborative mixed-reality learning spaces
Parallel computing techniques for investigating three dimensional collapse of a masonry arch
Visual complexity rankings and accessibility metrics
Learning in distributed artificial intelligence systems
Hardware fabrics for cryptographic algorithms
Teleo-reactive agents
Automatic relevance determination with ensembles of Bayesian MLPs
Oscillatory dynamics as a mechanism of integration in complex networks of neurons
Deep learning for structural health monitoring
Empowering medical personnel to challenge through simulation-based training
Run time detection of timing errors in real-time systems
Automatic construction of immobilisation masks for use in radiotherapy treatment of head-and-neck cancer
Investigation and modelling of indexed sequential files on exchangeable disc stores
Predictive risk modelling of hospital emergency readmission, and temporal comorbidity index modelling using machine learning methods
Classifier based incremental reconstruction of human object trajectory in live video streams
The predictive power of social media within cryptocurrency markets
A business-oriented framework for enhancing web services security for e-business
An architecture for the forensic analysis of Windows system generated artefacts
Higher order neural networks for financial time series prediction
Child prime label approaches to evaluate XML structured queries
Uncovering efficient learning and initialisation algorithms for neural networks using evolutionary algorithms and theoretical analyses
A business user model-driven engineering method for developing information systems
Cryptanalysis of braid group cryptosystem and related combinatorial structures
Organisations as complex adaptive systems : implications for the design of information systems
Theory, modelling, and applications of advanced electromagnetic materials
Model-connected safety cases
Colour videos with depth : acquisition, processing and evaluation
Structured evaluation of training in virtual environments
Developing an intrusion detection model for distributed denial of service attacks in cloud computing
Belief, rationality and inference : a general theory of computational pragmatics
Petri nets approach for the analysis of MASCOT interprocess communications
Software curating : the politics of curating in/as (an) Open System(s)
Extracting health information from social media
Learning and generalisation in radial basis function networks
Classification of vehicles for urban traffic scenes
Autonomic management of service level agreements in cloud computing
Decision trees and forests: a probabilistic perspective
The design of control systems which contain saturating components
A theory of dependent record types with structural subtyping
Behavioural analytics & clinical diagnostics using body sensor networks
Trust assessment in the context of unrepresentative information
Detecting TCP-based applications using packet size distributions
Structural plasticity and associative memory in balanced neural networks with spike-time dependent inhibitory plasticity
Reconstruction of gene regulatory networks from postgenomic data
Transputer models for high-performance bridges in local area networks
Active vision for autonomous 3D scene reconstruction
Replication and a multi-method approach to empirical software engineering research
Structural, safe and high-level communications programming with session types
The relative performance of scalable load balancing algorithms in loosely-coupled distributed systems. Available in 2 volumes
Shape matching using space-filling curves
Language semantics for secure information flow analysis
Supervised learning with random labelling errors
Generation of qualitative spatio-temporal representations from visual input
Congestion control framework for delay-tolerant communications
Sparse volumetric deformation
New tractography methods based on parametric models of white matter fibre dispersion
Classification of 3D objects from mesh surfaces
Location and routing optimization protocols supporting internet host mobility
An approach to overloading with polymorphism
An approach to the design of expert systems for hard real-time applications
Performance improvement of technical and vocational education in the Kingdom of Bahrain
An approach to computer-based knowledge representation for the business environment using empirical modelling
Reducing subtask dispersion in parallel queueing systems
Design of two-axis multivariable control systems
Design Informatics for Packaging
Imitation learning in artificial intelligence
Generic constraints for type-safe embedded programming
A methodology for the requirements analysis of critical real-time systems
Extensible and explainable lifelong machine learning architecture for double-track fine-grained sentiment analysis
Predictive control of multivariable systems
The Soft Systems Methodology : A practicable framework for computer systems analysis
The dynamic animation of ambulatory arthropods
On the distribution of control in asynchronous processor architectures
A knowledge-based system for promotion budget allocation decisions by national tourism organisations
Assessing usable security of multifactor authentication
A distributed simulation methodology for large-scale hybrid modelling and simulation of emergency medical services
National freight transport planning : towards a Strategic Planning Extranet Decision Support System (SPEDSS)
Urban patterns: using spatial arrangement for vision-based place recognition and localisation
A conceptual framework of advanced distributed simulation for investigating communication patterns
The use of formal grammars in automatic speech recognition
Quantifying and mitigating differences between predicted and measured energy use in buildings
Lexicalist unification-based machine translation
Novel Internet based methods for chemical information control
On tackling fundamental constraints in Brain-Computer Interface decoding via Deep Neural Networks
Sentiment analysis and resources for informal Arabic text on social media
Theoretical and practical aspects of typestate
A Critical Appraisal of the Application of Information Systems to Constructive Alignment in Higher Education
Improving TCP behaviour to non-invasively share spectrum with safety messages in VANET
Trace-based just-in-time compilation for lazy functional programming languages
Intelligent camera planning for computer graphics
Outdata-ed museums: creating ethical and transparent data collection processes in museums
Constraint optimization algorithms for digital image reconstruction from projections
What makes reviews trustworthy? : an investigation of user trust in online reviews when making purchase decisions
Precedence grammars and parsing methods
Data-driven approaches to content selection for data-to-text generation
A framework for static program analysis of imperative languages
Robust covert network topologies
Thermal verification of programs
Use of simple models to improve the solution of predictive process control problems
Algorithmic issues on string regularities
Cross-display attention switching in mobile interaction with large displays
Working with changing knowledge : a case study of computing science : how a cohort of established academics at a Scottish 1990's entitled university responded to the forces of change, development and innovation in teaching computing science
Design as interactions of problem framing and problem solving : a formal and empirical basis for problem framing in design
Crowd modelling and simulation
Hierarchies for efficient clausal entailment checking : with applications to satisfiability and knowledge compilation
Reinforcement planning for resource allocation and constraint satisfaction
Practicable Prolog specialisation
Activity understanding and unusual event detection in surveillance videos
Modelling and spatio-temporal analysis of spatial stochastic systems
Statistical methods on automatic aircraft recognition in aerial images
Exploitation from malicious PCI express peripherals
Three fundamental pillars of decision-centered teamwork
Enhanced heuristics for numeric temporal planning
Aspects of local linear complexity
Pilot contamination mitigation for massive MIMO system using novel channel estimation techniques
On the foundations of proof-of-work based blockchain protocols
Space cost analysis using sized types
A proof theoretical methodology for multiple world reasoning
Exception handling : The case against
Addressing the reactiveness problem in sensor networks using rich task representation
Flexible robotic control via co-operation between an operator and an AI-based control system
Strategic modelling with graph rewriting tools
The application of three-dimensional mass-spring structures in the real-time simulation of sheet materials for computer generated imagery
An algebraic service composition model for the construction of large-scale IoT systems
Computational aspects of cellular intelligence and their role in artificial intelligence
Synthetic behavioural ecology
Frameproof codes : combinatorial properties and constructions
Recognition algorithms for biometrics on portable computing devices
A transputer based parallel database system
Semantic similarity framework for Thai conversational agents
The principled design of computer system safety analyses
Cyber conflict and just war theory
Automatically evolving rule induction algorithms with grammar-based genetic programming
High performance simulation and modelling of wireless vehicular ad hoc networks
Fuzzing software with deep learning
Analogical specification reuse during requirements analysis
The equivocation of codes
An extended interval temporal logic and a framing technique for temporal logic programming
Development of an expert system for planning orthodontic treatment
Computer simulation of the auditory periphery