yusuke1997/dblp-id-title huggingface dataset:
A context provisioning middleware with support for evolving awareness
Encryption key generation in Cloud environments
Virtual environments for science education : a schools-based development
Towards open services on the Web : a semantic approach
Pole allocation techniques applied to non-linear systems
On the integration of heterogeneous deductive databases
An investigation into software estimation methods
A unified approach for high level relational query languages
Accurate cross-layer modelling and evaluation of IEEE 802.11e using a differentiated p-persistent CSMA protocol
Randomness in cryptography: theory meets practice
Fuzzy rule induction from data domains
Learned joins with probabilistic graphical models
Inductive logic programming for compiler tuning
Solving parity games through fictitious play
Privacy analysis of mobile apps
An ontology-driven approach to personalised mHealth application development
Genetic design of robust predictive control systems
Opening the Web for all: inclusive and secure design of an online authentication system
High dynamic range imaging for face matching
Visual learning in limited-label regime
Is arguing in the real world too costly?: an exploration into the practicality of implementing argumentative reasoning software components
A methodology for the design of parallel benchmarks
Combining control executives and software specifications
Effective monitoring of slow suspicious activites on computer networks
On the parallel implementation of the Lehman factoring algorithm
Auto-ignition and heat release of alternative engine fuels
Integration via specification of complex systems using an interface-centric semiotic paradigm
Predicting context and locations from geospatial trajectories
Performance Trees : A Query Specification Formalism For Quantitative Performance Analysis
A study on imbalanced data classification problems
Towards certifiable reconfigurable real-time mission critical software systems
High dimensional analysis of genetic data for the classification of type 2 diabetes using advanced machine learning algorithms
Exploring the automatic identification and resolution of software vulnerabilities in grid-based environments
Unsupervised and knowledge-poor approaches to sentiment analysis
Improving traffic movement in an urban environment
Towards a crowdsourced solution for the authoring bottleneck in interactive narratives
Interconnection networks performance modelling for multi-core multi-cluster architecture
Face pose estimation in monocular images
Exploiting structure in nonconvex quadratic optimisation
High level techniques and software tools for custom VLSI parser design
Genetic improvement of software: from program landscapes to the automatic improvement of a live system
Correction of arbitrary geometric artefacts in historical documents
The design of a neural network complier
Fourier-Motzkin methods for fault diagnosis in discrete event systems
Multi-scale local Binary Pattern Histogram for Face Recognition
Reinforcement learning in autonomous robots : an empirical investigation of the role of emotions
Peripersonal space in the humanoid robot iCub
Neural networks and genetic algorithms for control applications
Spiking neural network based approach to EEG signal analysis
Hypernet semantics of programming languages
Identification of haptic based guidance in low visibility conditions
Fault coupling in finite functions
The development of an assistive chair for elderly with sit to stand problems
STDP, rate-coded Hebbian learning and auto-associative network models of the hippocampus
Towards a computational model of the colonic crypt with a realistic, deformable geometry
Feature distribution learning for covariate shift adaptation using sparse filtering
Gender and programming : a difference in style?
Applications of neural networks for engine air-fuel ratio control
Separation of overlapping voices
Applications of machine to machine communication in remote healthcare systems
A mobile diabetes management and internetworking system
Performance aspects of single-user systems on a local network
Game semantics for an object-oriented language
Trust assessment and decision-making in dynamic multi-agent systems
Calculi for time analysis of functional programs
Statistical runtime verification of agent-based simulations
The derivation, implementation and evaluation of a model for CBL specification and design
Uncovering disease associations via integration of biological networks
Use of performance predictors in visual analytics
A knowledge-level model for concurrent design
Investigating the satisfaction of an information need in a search process using fMRI
Dynamic and instantaneous pruning of ensemble predictors
Computer modelling of electro-optic modulators
On the core elements of the experience of playing video games
Transfer learning with Gaussian processes
Formations : explicit support for groups in Collaborative Virtual Environments
Lattice-based cryptanalysis
Fighting Internet fraud : anti-phishing effectiveness for phishing websites detection
Behavioural access control in distributed environments
Sentiment Analysis for micro-blogging platforms in Arabic
Interlayer exchange coupling in Co/Pd-NiFe films studied by Vector Network Analyser Ferromagnetic Resonance
Some Optimisation Problems in Data Analysis
The notion of representation and its use in databases: an information flow based approach
Reinforcement learning hyper-heuristics for optimisation
Incremental parsing algorithms for speech-editing mathematics and computer code
Generation and comparison of constraint-based heuristics using structure of constraints
Precision measurement of carbon isotope ratio in exhaled breath for the detection of Helicobacter pylori
Explaining black box algorithms: epistemological challenges and machine learning solutions
Clustering information retrieval search outputs
Enhancing intrusion resilience in publicly accessible distributed systems
Efficient implementation and experimental testing of transductive algorithms for predicting with confidence
Cyberspace and empowerment: the perspective of women internet users in Tehran
Process support for component factories in geographically distributed software engineering
Neural models for speaker recognition
Creative hubs as assemblages: understanding the reciprocal forms, formalised function and territorialisation of creative hubs
Reasoning about programs using operational semantics and the role of a proof support tool
A pattern-based framework for the design of secure and dependable SDN/NFV-enabled networks
Hybridisation of GNSS with other wireless/sensors technologies onboard smartphones to offer seamless outdoors-indoors positioning for LBS applications
Stream handling in multimedia communication systems
PICTURE : a framework for effective communication within requirements elicitation
The design and implementation of OCCAM/CSP support for a range of languages and platforms
Networks and gatekeepers: the politics of internet policy in Canada
Reusable components for knowledge modelling
Generalized constraint diagrams : the classical decision problem in a diagrammatic reasoning system
Practical lattice-based cryptography over structured lattices
The development of FPS- a financial planning system
Persistent homology tools for image analysis
Mechanising a particularly expressive many sorted logic
From communities to crowds: quantifying the subjective: data, measurements, and models
Sparse learning for support vector machines with biological applications
Automatic schedule computation for distributed real-time systems using timed automata
Proof planning with logic presentations
The development of a multimodal neuroadaptive gaming technology to distract from painful experiences
The Optimal Control of Hereditary Systems
A cultural education model : design and implementation of adaptive multimedia interfaces in eLearning
Data integrity problems in an open hypermedia link service
Algorithmic biology of evolution and ecology
Security of mixed reality systems: authenticating users, devices, and data
Design of industrial workplaces to relieve workers when interacting with joint-arm-robots
Application of overlay techniques to network monitoring
Embedded control and diagnostics algorithm with fault prediction and analysis of AC induction machines
Overviews and their effect on interaction in the auditory interface
Neural models for stepwise text illustration
Automatic bias learning: an inquiry into the inductive basis of induction
Web relation extraction with distant supervision
Accurate 3D reconstruction of dynamic scenes with complex reflectance properties
Optically implementable neural network algorithms
Deviant security: the technical computer security practices of cyber criminals
Uncertainty and social considerations for mobile assistive robot navigation
An extensible debugging tool that supports data abstraction
Physical design of distributed object-oriented software
A hierarchical active binocular robot vision architecture for scene exploration and object appearance learning
Landmark guided forwarding
Counting, modular counting and graph homomorphisms
Middleware techniques in a rapid response system in Wireless Sensor Networks
Simultaneous incremental neuroevolution of motor control, navigation and object manipulation in 3D virtual creatures
Inferring the geolocation of tweets at a fine-grained level
Learning to rank and order answers to definition questions
Applications of semidefinite programming in finance
A procedural level data flow concept for real-time programming
Temporal-numeric planning with control parameters
FlexibO: language and its application to static analysis
PC-grade parallel processing and hardware acceleration for large-scale data analysis
Machine learning and intelligent data analysis for interpretable neuro-fuzzy system modelling
Graph patterns : structure, query answering and applications in schema mappings and formal language theory
Formal methods for control engineering: a validated decision procedure for Nichols plot analysis
Analysis and transformation of legacy code
Quality management implementation in IS/IT departments in Saudi Arabian private organizations
A mobile game-based framework for learning object-oriented programming : development and evaluation of the new framework with a mobile Java learning game
Investigating agent based models for testing the effects of carbon taxes on the information and communications technology market with respect to small and medium sized enterprises in the United Kingdom
Investigating the use of metaphors for knowledge acquisition
Distributive interaction of algebraic effects
Dynamic scheduling in multicore processors
Developing assistive haptic guidelines for improving non-visual access to the web
Data mining of range-based classification rules for data characterization
Aspect Oriented Software Fault Tolerance for Mission Critical Systems
From learning to e-learning : mining educational data : a novel, data-driven approach to evaluate individual differences in students' interaction with learning technology
A parallel data stream classification technique for high velocity data streams
Living in a dynamic world: semantic segmentation of large scale 3D environments
High-level neighbourhood-based programming abstractions for parallel processing
Data journey modelling: identifying cost and risk in large, complex, socio-technical systems
Navigating social systems: information behaviour in refugee integration
Dynamic load balancing for massively multiplayer online games
Dynamic slicing for debugging distributed programs
Traffic pattern prediction in cellular networks
Restoring the balance between stuff and things in scene understanding
Towards more human-like text summarization: story abstraction using discourse structure and semantic information
Human balance behaviour in immersive virtual environments
SWAR systems and communications applications
Exploiting vagueness for multi-agent consensus
Face liveness detection under processed image attacks
Modelling the psychophysics of eye movements in a large corpus of binocular reading behaviours
Retinal image segmentation and quantification of vessel width in non-standard retinal datasets
An investigation towards the specification and evaluation of a class of WSI-distributed logic memories for text compression applications
Multi-class subgroup discovery : heuristics, algorithms and predictiveness
Intelligent management of virtualised computer based workloads and systems
Mining microblogs for culture-awareness in web adaptation
Middleware support for non-repudiable business-to-business interactions
A policy based framework for modelling agent interaction protocols
Spatio-temporal representation and analysis of facial expressions with varying intensities
Categories for fixpoint semantics
High-detail temporally consistent 3D capture of facial performance
Bispectral analysis of speech signals
Routing and mobility strategies for mobile ad hoc networks
A methodical framework for engineering co-evolution for simulating socio-economic game playing agents
Hypergraph partitioning in the cloud
Design of Interpreters for Programming Languages
Runtime visualisation of object-oriented software
The theory and application of variable grain parallel computation in electromagnetic field scattering
Magnetoresistance in constrained domain walls
Wireless sensor network as a distribute database
From trees to networks and back
Advances in fine-grained visual categorization
The effect of computer-based technology in attempting to enhance subjective method of knowledge elicitation
Principles for secure system design
Methods for 3D shape description, indexing, matching and retrieval
Dynamic rule covering classification in data mining with cyber security phishing application
Designing emergence : automatic extraction of stigmergic algorithms from lattice structures
Design for safety framework for offshore oil and gas platforms
Numerical approaches for solving the combined reconstruction and registration of digital breast tomosynthesis
Unconstrained face recognition with occlusions
Online dynamic bin packing
Towards the on-line development of visual interactive simulation models
Novel countermeasures and techniques for differential power analysis
A message driven or-parallel logic architecture
Parallel Processing and Walsh Transforms for Pattern Recognition
Optimizing task allocation for edge compute micro-clusters
Vertex classification for non-uniform geometry reduction
CernoCAMAL : a probabilistic computational cognitive architecture
Adaptation from interactions between metabolism and behaviour : self-sensitive behaviour in protocells
Neutral emergence and coarse graining cellular automata
Incremental activity and plan recognition for human teams
Analysis of public-key encryption schemes in extended attack models
Enhanced image retrieval using spatial information and ontologies
Design, analysis, and applications of optically-activated antennas and dielectric lenses using photosensitive semiconducting materials
An application of computer-aided resource management in television planning
Metaheuristics for university course timetabling
Syllable structure in the mental lexicon : neuropsychological and computational evidence
Effective termination techniques
Energy saving through voltage optimisation & non-intrusive load monitoring in domestic house
English as a second language user's information interaction in an e-governmental context
Synthesizing and editing photo-realistic visual objects
Applying case based reasoning and structural similarity for effective retrieval of expert knowledge from software designs
An accurate 3D human face model reconstruction scheme
Knowledge-based physical process modelling and explanation
Optimizing cache utilization in modern cache hierarchies
Hybrid-logarithmic arithmetic and applications
Evaluating cascade correlation neural networks for surrogate modelling needs and enhancing the Nimrod/O toolkit for multi-objective optimisation
Performance and reliability modelling of computing systems using spectral expansion
Developments of a simulation language in conjunction with hydro-turbine modelling
Monte Carlo methods for radiosity
Computer lipreading via hybrid deep neural network hidden Markov models
Visual speech in technology-enhanced learning
Methods for global illumination models
Interactive visualization adopting dimensionality reduction techniques for pattern recognition in large temporal datasets
Fuzzy interpolation systems with knowledge extraction and adaptation
Creative design of evolutionary neural networks
A framework for supporting automatic simulation generation from design
Dynamic simulation of the mitral valve
Computer aided reliability based design of ring-stiffened cylindrical shells under external pressure
Probabilistic localization and mapping in appearance space
Argumentation and Normative Reasoning
The programming language FORMIAN
DIEGESIS : a multi-agent Digital Interactive Storytelling framework using planning and re-planning techniques
Opportunistic machine learning methods for effective insider threat detection
Methods integration : rigorous systems specification using structured analysis and formal notations
Architecture aware parallel programming in Glasgow parallel Haskell (GPH)
New algorithms for evolving robust genetic programming solutions in dynamic environments with a real world case study in hedge fund stock selection
A novel approach to rotation invariant correlation
Semantics, implementation and pragmatics of Clear, a program specification language
Stored programme correlators
Enhancing electronic intelligent tutoring systems by responding to affective states
A meta-modelling language definition for specific domain
Methodological Investigations in Agent-Based Modelling
ANTMANET: a novel routing protocol for mobile ad-hoc networks based on ant colony optimisation
An extensible component-based approach to middleware for distributed simulation
Improving energy efficiency in cloud computing data centres using intelligent mobile agents
Enhancing the diagnostic quality of ECGs in mobile environments
Conceptualising adaptive cyber risk management: complexity, rationality and knowledge
Forensic verification of operating system activity via novel data, acquisition and analysis techniques
Human centric systems engineering
Exploring mobile trajectories: an investigation of individual spatial behaviour and geographic filters for information retrieval
New protocol-less LAN bridge algorithms designed for the efficient handling of topology reconfigurations and an improved resilience to frame errors
Solving the threat of LSB steganography within data loss prevention systems
A web-based object-oriented information system for best practice information specialisation for durability analysis
Contributions to Quadratic 0 -1 Programming
The neural processing of visual motion information
Node-oriented dynamic memory management for real-time systems on ccNUMA architecture systems
Designing an engaging learning universe for situated interactions in virtual environments
Extending Cartesian genetic programming : multi-expression genomes and applications in image processing and classification
Hardware/software interface for dynamic multicore scheduling
Using deep neural networks for speaker diarisation
Artificial intelligence, the mind and evolution
Introducing user-centred design: a longitudinal study of a healthcare informatics organisation
Efficiently learning efficient programs
The Markov multi-phase transferable belief model: a data fusion theory for enhancing cyber situational awareness
Assumption based temporal reasoning in medicine
Automatic selection of image regions for active fixation
Application of computational models and qualitative reasoning to economics
Fast local hardware processing for analysis of large databases
Efficient multi-objective ranking and selection in the presence of uncertainty
Contextual factors of flaming in computer-mediated communication
Advancing efficiency and robustness of neural networks for imaging
Energy-efficient design and implementation of turbo codes for wireless sensor network
Multimodal Multisensor attention modelling
Labelled proof theory for conditional logic
On key assignment schemes and cryptographic enforcement mechanisms for information flow policies
AcCent : an activity-theoretical framework for Web-based systems development
A class of software reliability growth models based on exercise frequencies
Computer aided manipulation of symbols
Pricing some European-style options with stochastic volatility
A psychophysiological acquisition device for affective video games
Multiple and deep learning networks for dense stereo correspondence in computer vision
Reliable and secure information and communications systems for electrical utilities
Analysis of neuroimaging with big data to understand brain systems involved in emotion
Exploiting data-parallelism in functional languages
Situated creativity-inspired problem-solving
The lives of objects: designing for meaningful things
MediateSpace : applying contextual mediation to the tuple space paradigm
Algebraic theory of type-and-effect systems
Synthesis of linear multivariable sampled - data feedback control systems by entire eigenstructure assignment
A framework for conditional and iterative planning, team design and execution monitoring
Design and evaluation of security mechanism for routing in MANETs : elliptic curve Diffie-Hellman cryptography mechanism to secure Dynamic Source Routing protocol (DSR) in Mobile Ad Hoc Network (MANET)
Development of a micromachined electrostatically suspended gyroscope
Agents and constraint logic
Data-centric policies and practice: implications for publicly funded arts and cultural organisations in England
Replica placement in peer-to-peer systems
Emotion inference from human body motion
Learning in RAM-based artificial neural networks
The application of knowledge based systems to the abstraction of design and costing rules in bespoke pipe jointing systems
Toward online behavioural traffic classification
On symbolic execution based intraprocedural conditioned slicing
Group-based secure communication for wireless sensor networks
Real-time FPGA implementation of a neuromorphic pitch detection system
Algorithms for trajectory integration in multiple views
Graphical application and visualization of lazy functional computation
Applications and complexity of greedy algorithms in optimisation and mechanism design
Integrating dynamic memory placement with adaptive load-balancing for parallel codes on NUMA multiprocessors
Software development methods for educational use
Automated concurrency bug finding using partial-orders
Employing variation in the object of learning for the design-based development of serious games that support learning of conditional knowledge
Machine learning for money laundering risk detection in online gambling
The use of systems engineering principles for the integration of existing models and simulations
Integrated stochastic models for the analysis of web site visiting hehaviours
Topology and congestion invariant in global internet-scale networks
Modelling hierarchical musical structures with composite probabilistic networks
Color, style and composition in image processing
From transitive inference to exhaustive search : towards self-regulating models of developmental processes
Novel neural network models for financial prediction
Automatic Design of Controllers for Miniature Vehicles through Automatic Modelling
A semi-partitioned model for scheduling mixed criticality multi-core systems
Computational semantics: a study of a class of verbs
Digital Control of Randomly Disturbed Systems
A probabilistic graphical model framework for higher-order term-based representations
Characterising network paths through their role in induced substructures
Type-driven natural language analysis
Real-time content identification for events and sub-events from microblogs
Representing and reasoning about changing spatial extensions of geographic features
3D storyboarding for modern animation
Analysis and evaluation of network intrusion detection methods to uncover data theft
Safe class and data evolution in large and long-lived Java applications
Generalizing graph decompositions