yusuke1997/dblp-id-title huggingface dataset:
Future-proofing the digital world: data centre security and the threats of electromagnetic pulse and space weather
Fraud prevention in the B2C e-Commerce mail order business: a framework for an economic perspective on data mining
Improving exploration in reinforcement learning through domain knowledge and parameter analysis
On the security of signature schemes and signcryption schemes
Program refinement using a universal law : language specification and prototype tool
Energy based dissolution simulation using smoothed particle hydrodynamic sampling
The retreat from alienation in cognitive science
Multiresolution volumetric texture segmentation
Aesthetically driven design of network based multi-user instruments
Program synthesis from domain specific object models
Public interactive surfaces for communal ubiquitous computing spaces
Understanding the behaviour and influence of automated social agents
A study of search neighbourhood in the bees algorithm
A semantics for aspects by compositional translation
Computer vision and natural language processing for people with vision impairment
Electronic Nose Optimisation
Quantitative verification of gossip protocols for certificate transparency
Six approaches to enhancing the efficiency of dynamic time warping: a study using nearest neighbour classification
Digital watermarking for compact discs and their effect on the error correction system
Strategic Ontological Police Force Knowledge Management Framework (SOPFKMf)
Maintaining consistency in distributed IPSEs
Application of modern control techniques in AC speed drive systems
Lexical selection for machine translation
A meta-programming framework for software evolution
Nonconvex many-objective optimisation
Run time reconfigurable DSP parallel processing system using dynamic FPGAs
Classification under input uncertainty with support vector machines
Modelling socio-spatial dynamics from real-time data
Scanline-based distributed systems
Using policy to control data synchronisation in middleware for an ad-hoc mobile network
Exploring the use of brain-sensing technologies for natural interactions
Navigation problems for autonomous robots in distributed environments
Standpoint logic: a logic for handling semantic variability, with applications to forestry information
Optimisation techniques for finding connected components in large graphs using GraphX
Spatial properties of online social services : measurement, analysis and applications
Operator functional state modelling and adaptive control of automation in human-machine systems
OOZE : an Object-Oriented Z Environment
J-Spectral Factorisaiton for Automotive Powertrain Controls
A fault tolerant distributed computer control system
A dynamic scheduling algorithm for open and programmable networks
Hierarchical image sequence analysis and segmentation
Knowledge management using machine learning, natural language processing and ontology
Planning with preferences using maximum satisfiability
A new system for approaching artificial creativity
Heterogeneous distributed systems and user interface issues
A multi-manifold approach to invariant face recognition
Using use-case models to estimate software development cost
Modelling and quantitative analysis of performance vs security trade-offs in computer networks: an investigation into the modelling and discrete-event simulation analysis of performance vs security trade-offs in computer networks, based on combined metrics and stochastic activity networks (SANs)
Fast rate-distortion based functional coding of video
Compile-time analysis of array sections for parallelization and parallel program verification
An infrastructure for tractable verification of JavaScript programs
Multi-variate image analysis for detection of biomedical anomalies
Parallel evaluation strategies for lazy data structures in Haskell
Trustworthy services through attestation
Semantic impact: a novel approach for domain concept selection in ontology learning
Transparently improving regression testing using symbolic execution
Avoided words, overabundant words, maximal palindromes and applicatons
IT implementation in Malaysian government departments
Reservoir Computing with high non-linear separation and long-term memory for time-series data analysis
Mobile software agents for network monitoring and performance management
Enhanced resource discovery mechanisms for unstructured peer-to-peer network environments
A new conceptual and operational framework for the switching of IT outsourcing providers
Graph network link analysis for Web service composition
Exploring complexity in software systems
Performance prediction for parallel database management systems
Rule-based semantic sensing platform for activity monitoring
Investigating effective inspection of object-oriented code
Reconfigurable computing for genetic algorithms
Design, application and implementation of a parallel logic programming language
A dynamic prediction and monitoring framework for distributed applications
The consistent representation of scientific knowledge: investigations into the ontology of karyotypes and mitochondria
Navigation and learning in electronic texts
The Uncanny Valley Effect
Evolving machine learning and deep learning models using evolutionary algorithms
Oracle assessment, improvement and placement
Intelligent agent support for policy authoring and refinement
Computational models of developing neural systems
Multiple-object estimation techniques for challenging scenarios
Machine learning and the acquisition of natural concepts based on the psychological theory of prototypes
Deep scattering and end-to-end speech models towards low resource speech recognition
Unifying programming paradigms : logic programming and finite state automata
Dynamic trust negotiation for decentralised e-health collaborations
Designing human-centred visualisations to support collaboration
Verification of graph programs
A family of stereoscopic image compression algoriths using wavelet transforms
System design for periodic data production management
ScatterNet hybrid frameworks for deep learning
Supporting representation selection to improve reasoning : the iterative design of an adaptive system
Multi-feature Space Optimisation and Semantic Infer3ence for Visual Information Retrieval
Methods for the efficient measurement of phased mission system reliability and component importance
The design of a mapping language for STEP software systems
On the automatic construction of program translators with minimal read/write storage requirement
Learning systems for process identification and control
Fast flux botnet detection based on adaptive dynamic evolving spiking neural network
Reliable peer to peer grid middleware
The analysis and acquisition of proper names for robust text understanding
Power efficient communications in low power ad hoc radio networks
Combining MAS and P2P systems : the Agent Trees Multi-Agent System (ATMAS)
Some Studies in Rule Induction
Efficient estimation of statistical functions while preserving client-side privacy
A study of lawyers' information behaviour leading to the development of two methods for evaluating electronic resources
Parallel execution of Horn clause programs
Algorithms for scientific computing
Structural domain modelling for policy language specialization with conflict analysis
Abstractions and optimisations for model-checking software-defined networks
A graphical environment for the design of discrete event systems
An architecture for scalable and deterministic video servers
Development of a methodology and an expert system for disaster recovery
Towards the development of a mathematician's assistant for the specification and implementation of parallel linear algebra software
Energy and spectrum efficient future wireless networks
Complex pleasures: designing optional interactions for public spaces
Segmentation of pelvic structures from preoperative images for surgical planning and guidance
Investigation of tracking processes applicable to adjacent non-overlapping RGB-D sensors
Elliptic curve cryptography mapped with channel coding
Provision of adaptive and context-aware service discovery for the Internet of Things
Emotions and the Mirror Neuron System: how far can sensorimotor simulation differentiate between dynamic emotional facial expressions?
System interfacing for on-line computer control
Cluster storage for commodity computation
Aspects of software process assessment and improvement
Economic drivers in security decisions in public Wi-Fi context
Applicative languages for data processing
An enhanced semantic model to support personal file management in academic environments
Intelligent detection and response strategies for network infrastructure attacks
Analysis of nonlinear systems : large-scale, time-varying, non-polynomial and uncertain properties
Reconfigurable software through conceptual workspaces
Labelling dynamic XML documents : a GroupBased approach
Study of high-harmonic gyro-devices in the THz range
Object recognition in infrared imagery using appearance-based methods
Intuition in formal proof : a novel framework for combining mathematical tools
Easing information extraction on the web through automated rules discovery
Ultra-high spatial and temporal resolution using Scanning Near-field Optical Microscopy
An attractor network of weakly-coupled excitable neurons for general purpose of edge detection
Algorithms for argument systems
Techniques for the analysis and visualisation of microprocessor software structures
Adapting and reconfiguring human figure motion capture data through the application of inverse kinematics and biomechanics-based optimisation
Supporting development of Event-B models
Novel algorithms for multi-objective search and their application in multi-objective evolutionary neural network training
Hardware acceleration of photon mapping
Preferential description logics: reasoning in the presence of inconsistencies
A cybernetic approach to the robot-design process
Custom computer architectures for logic programming
Rigorous characterisation of photonic devices incorporating novel phase change materials
A coarse-grained dynamically reconfigurable MAC processor for power-sensitive multi-standard devices
Local reversibility and the Calculus of Covalent Bonding
Using mobility and exception handling to achieve mobile agents that survive server crash failures
The development of neural network based decision aids for clinical decision support
Parallelisation and use of large-scale atomic structure codes
Fabrication and characterisation of L10 ordered FePt thin films and bit patterned media
Abstract data types and the integrated project support environment database
Network approaches for exploring predicted proteins of unknown function in the sequenced genome of plant pathogenic fungi
The simulation and control of a power boiler
Database metadata requirements for automated web development : a case study using PHP
A functional semantics for space and time
Formalizing graphical notations
A logical analysis of soft systems modelling : implications for information system design and knowledge based system design
Formal methods for the analysis of wireless network protocols
Proportional-integral-plus control of nonlinear systems
3D face modelling from sparse data
Perceptually relevant browsing environments for large texture databases
Novel hyper-heuristics applied to the domain of bin packing
Interactive real-time musical systems
A generic logic environment
Detection, segmentation and tracking of moving individuals in cluttered scenes
Declarative - configurable estimating systems for the construction industry
Operating systems for digital computers
Data traffic modelling in mobile networks for heterogeneous types of IoT services
Hybrid automatic-repeat-reQuest systems for cooperative wireless communications
A novel microwave transmission line with impedance matching structures for haemostasis of upper gastrointestinal bleeding
Computational learning of finite-state models for natural language processing
Using particle swarm optimization for market timing strategies
Data abstraction and the correctness of modular programming
Machine performance and condition monitoring using motor operating parameters through artificial intelligence techniques
Genetic algorithms for order dependent processes applied to robot path-planning
Improving network inference by overcoming statistical limitations
Visualisation support for biological Bayesian network inference
Evaluating visually grounded language capabilities using microworlds
Perceptually modulated level of detail for virtual environments
Unconditional security of continuous-variable quantum cryptography
A study of methodologies of Information Technology in the provision of communication aids for the speech-impaired
SUM : an exploration of Shared User Models and interface adaptations to improve accessibility of mobile touchscreen interactions
On operations with binders and operations with equations
Resolution for synchrony and no learning
Reuse oriented information systems design paradigm in the TEMPORA environment
A self-mobile skeleton in the presence of external loads
Accurate light and colour reproduction in high dynamic range video compression
Security assessment of radial distribution networks by digital computer: an operational and design aid for area Electricity Boards
Weakly-Supervised Techniques for the Analysis of Evaluation in Text
Model checking data-independent systems with arrays
A "Neural-RISC" processor and parallel architecture for neural networks
A hybrid machine learning approach to measuring sentiment, credibility and influence on Twitter
Finitary logics for coalgebras with branching
Simplified neural networks algorithms for function approximation and regression boosting on discrete input spaces
Infrastructure support for CSCW
Eliciting and describing users' models of computer systems
The impact of consolidating web based social networks on trust metrics and expert recommendation systems
Establishing an information security awareness and culture
An investigation into quality assurance of the Open Source Software Development model
Extension in domain specific code generation with meta-model based aspect weaving
Program analysis using game semantics
ROAR : increasing the flexibility and performance of distributed search
DR MECHO : a deep reasoning approach to subject knowledge in ICAI
Anonymity and traceability in cyberspace
Home data security decisions
Efficient design-space exploration of custom instruction-set extensions
Algorithmic debugging for complex lazy functional programs
Recognition using morphological scale space trees
A framework for the visualization of multidimensional and multivariate data
Intelligent query manipulation for heterogeneous databases
Optimisation classification on the web of data using linked data: a study case: movie popularity classification
An infrastructure for end customer metering of networked services
The development of an intelligent tutoring system for linear programming
Augmenting communication technologies with non-primary sensory modalities
Understanding Z : A specification language and its formal semantics
Practical unconditionally secure signature schemes and related protocols
On the use of multi-objective evolutionary algorithms for classification rule induction
Liquidity prediction in limit order book markets
Role-based access control policy administration
Explanations for ontology-mediated query answers
Application of point-process system identification techniques to complex physiological systems
Grouping of semistructured data for efficient query processing
Distributed knowledge based image contents retrieval and exploration
Real-time visual SLAM with an event camera
GP 2: efficient implementation of a graph programming language
Software engineering curriculum design
Constructionism through Mobile Interactive Knowledge Elicitation (MIKE) in human-computer interaction
Performance evaluation of systems of concurrent evaluation
Context-aware gestural interaction in the smart environments of the ubiquitous computing era
Supporting formal reasoning about functional programs
A constraint-based partial evaluator for functional logic programs and its application
Enhancing end user security : attacks and solutions
Combining reinforcement learning and optimal control for the control of nonlinear dynamical systems
Action notation transformations
Identification of data structure with machine learning: from Fisher to Bayesian networks
Advances in cylindrical algebraic decomposition
The application of message passing to concurrent programming
The effect of risk mediators on project risk management and the project outcome of information technology projects
Parametric studies of linear process systems
Topological visualisation techniques to enhance understanding of lattice QCD simulations
News, citizenship and the Internet : BBC News Online's reporting of the 2005 UK General Election
Truth maintenance in knowledge-based systems
Investigation into the creation of an ambient intelligent physiology measurement environment to facilitate modelling of the human wellbeing
Test time cost sensitivity in machine learning
Using other minds: transparency as a fundamental design consideration for artificial intelligent systems
Towards a framework for the expansion of mobile computing in learning in Kuwaiti higher education: challenges and opportunities
Reconstruction, localisation, and segmentation in medical images
Modelling and performability evaluation of Wireless Sensor Networks
Multi-parametric programming : novel theory and algorithmic developments
Hardware variation in robotic swarm and behavioural sorting with swarm chromatography
Analysing layered security protocols
Automatic Aesthetic Image Enhancement for Consumer Digital Photographs
Truth-space mass assignments
Distributed cognition : artefacts and computational space for collaborative problem-solving
A pattern-based approach to changing software requirements in brown-field business contexts
Optimizing Bayesian optimization
Inferring cerebral white matter fibres from diffusion tensor magnetic resonance images
An electronic simulator for stochastic studies of pert networks
Rules of engagement : competitive coevolutionary dynamics in computational systems
Application and development of high-density functional near infrared spectroscopy for traumatic brain injury
Adaptive middleware for the delivery of context information in pervasive computing
Concatenative speech synthesis : a framework for reducing perceived distortion when using the TD-PSOLA algorithm
Age-related facial analysis with deep learning
Scalability and robustness of artificial neural networks
Silicon-based non-volatile nano-electro-mechanical switch with controlled van der Waals force
The impact of minimising data movement on the overall performance of the simulation of complex systems applied to FLAME GPU
Heuristic decomposition and mathematical programming for workforce scheduling and routing problems
Multi-objective search-based mobile testing
The parameterized complexity of degree constrained editing problems
Visual analysis of e-mail communication to support digital forensics & e-discovery investigation in organisations
Resource discovery in self-organising distributed systems
Rapid generation of hardware functionality in DSP systems on heterogeneous platforms
Using context to integrate hypermedia with information retrieval systems
Non-repudiation
On quantitative validation and optimisation of physically based deformable models in computer graphics
Aitana : a developmental cognitive artifact to explore the evolution of conceptual representations of cellular automata-based complex systems
Computer modelling of directional coupler based optical devices
A system tool for a complex world: a data-driven approach
Harmonised shape grammar in design practice
Evaluating software usability from different perspective: a framework for encouraging usability evaluations by focusing on software developing projects
Efficient and adaptable high dynamic range compression
Image indexing using compressed colour histograms
An investigation into quantum machine learning based image classification
Negotiation and coordination using market-based agents in E-business applications
Advanced attack tree based intrusion detection
Politics and public opinion in China : the impact of the Internet, 1993-2003
A grid enabled staging DBMS method for data Mapping, Matching & Loading
A binary recurrent self-organising neural network and its application to speech recognition
Sonification for network-security monitoring
Mind the gap : bridging from text to ontological knowledge
Ray tracing displacement mapped surface
Rumpole : a reactive and introspective break-glass access control model
Learning classifier systems from first principles : a probabilistic reformulation of learning classifier systems from the perspective of machine learning
Practical approaches to mining of clinical datasets : from frameworks to novel feature selection
Local reasoning for Java
Discrete-time model-based Iterative Learning Control : stability, monotonicity and robustness
A prototype parallel multi-FPGA accelerator for SPICE CMOS model evaluation
Formalising, improving, and reusing the Java module system
Super-resolution land cover mapping from remotely sensed imagery using a Hopfield neural network
Delay time modelling and software development
Exploiting social media network structure to improve user profiles for short-text-based recommender systems
The relationship between visual interface aesthetics, task performance, and preference
Effective compilation of constraint models
Machine learning in compilers
The complex third-party tracking ecosystem: a multi-dimensional perspective
Clustering strategies for object databases
Anomalous Hall effect measurements of bilayer magnetic structures
Towards extreme design
Modelling and evaluation of microservice granularity adaptation decisions
Output feedback: a geometric approach
Hyper-heuristic approaches to automatically designing heuristics as mutation operators for evolutionary programming on function classes
Space-variant image compression for gaze-contingent stereoscopic displays
Learning and memory in chaotic spiking neural models
Understanding the extreme vulnerability of image classifiers to adversarial examples
Trace-based process algebras for real-time probabilistic systems
Authorship and AI: infinite production, automated communication, and the illusion of a post-human culture
Consistent correspondences for shape and image problems
Playful haptic environment for engaging visually impaired learners with geometric shapes
Text Luminance Modulation for Harcopy Watermaking
Collaborative visualization in the grid environment
The organisation of technology and the technology of organisation : the Vehicle Mounted Data System and the provision of UK fire services
Estimation techniques for ARMA time series models and random geometric series
Automatically explaining literature based discoveries
Adaptive security
Measuring Topic Homogeneity and its Application to Dictionary-based Word Sense Disambiguation
An investigation of search behaviour in search-based unit test generation
A flexible approach for mapping between object-oriented databases and XML : a two way method based on an object graph
Prognostics under the conditions of limited failure data availability
Design and evaluation of blockchain-based security protocols
Security policy architecture for web services environment
The use of formal methods for safety-critical systems
Analysing the requirements for monitoring and switching : a problem-oriented approach
Algorithms for breast cancer grading in digital histopathology images
Co-design for Wireless Feedback Control
The automatic implementation of a dynamic load balancing strategy within structured mesh codes generated using a parallelisation tool
Turing machine universality of the game of life
Service Level Agreement-based adaptation management for Internet Service Provider (ISP) using Fuzzy Q-learning
Confidentiality properties and the B method
Scalable multithreaded algorithms for mutable irregular data with application to anisotropic mesh adaptivity
Procedural learning in virtual environments and serious games
d-Frames as algebraic duals of bitopological spaces