yusuke1997/dblp-id-title huggingface dataset:
Bringing models to the domain: deploying Gaussian processes in the biological sciences
Investigating elastic cloud based RDF processing
Data refinement by rewriting
Temporal models of streaming social media data
Small states and the strategic utility of cyber capabilities
PAC'nPost : a peer-to-peer micro-blogging social network
Designing a method for discovering expertise in cyber security communities: an ontological approach
Some digital computer models of fibrous networks during straining
Learning in high dimensions with projected linear discriminants
Semantic image understanding : from pixel to word
Next best view planning with an unstructured representation
Text dependency and adaptation in training speaker recognition systems
Enhancement of model generalisation in multiobjective genetic programming
Generation of generic fuzzy models and their application to fault diagnosis
Delicate nets, faint recollections : a study of partially connected associative network memories
Membrane systems for molecular computing and biological modelling
Putting speech in, taking speech out : human factors in the use of speech interfaces
Contention management for distributed data replication
The Simulation of Criminal Detection Activity
Dynamic model-based safety analysis : from state machines to temporal fault trees
Addressing scalability and performance for community detection and clustering in complex graphs
Enhancing the security of centralised and distributed payments
Invariant object recognition: biologically plausible and machine learning approaches
The development of a conceptual model for supporting a case based reasoning selection among decision support systems for strategic asset allocation
Improving software with consideration of structural complexity
A novel approach to printed Arabic optical character recognition
A Modular Framework for Multi-robot Localization Scenarios
Adversarial learning for image-to-image generative creativity
Source location privacy-aware data aggregation scheduling for wireless sensor networks
Ameliorating integrated sensor drift and imperfections : an adaptive 'neural' approach
Deep neural network generation for image classification within resource-constrained environments using evolutionary and hand-crafted processes
Adaptive unequal error protection for scalable video streaming
Analysing high frame-rate camera tracking
Software management of hybrid main memory systems
Speaker verification using support vector machines
Neurobiology of incremental speech comprehension
Creating meaningful bodily expression in virtual worlds: inquiring methods for designers
Expressing and processing data quality-aware queries : The DQ2L approach
A framework for the classification and detection of design defects and software quality assurance
Paradigms for the design of multimedia learning environments in engineering
Formal specifications for digital systems
A quality evaluation model for service-oriented software
Learning to complete 3D scenes from single depth images
An advanced security ontology with MDA and a software tool for modelling security requirements in distributed computer system development
Ontology learning from the Arabic text of the Qur'an: concepts identification and hierarchical relationships extraction
Operating system support for simultaneous multithreaded processors
QoS control of E-business systems through performance modelling and estimation
Model validation for robust control
Ideology and information systems
Topics in computing with quantum oracles and higher-dimensional many-body systems
User-controlled Identity Management Systems using mobile devices
A fully statistical approach to natural language generation
Exploratory data analysis with non-linear and missing data in geochemistry
Stateful self-assembly
Motion development for computer animation
Modelling activated sludge wastewater treatment plants using artificial intelligence techniques (fuzzy logic and neural networks)
Dynamic web services composition
Exploring the contribution of critical realism to understanding the nature of a project
Autonomous operation of a tunable vibration based energy harvester
Extraction of chemical structures and reactions from the literature
Radio resource allocation in relay based OFDMA cellular networks
Topological properties of gene regulatory networks with qualitatively different gene expression dynamics in spatially organised systems
A parallel X window server : (a case study on occam and programming-in-the-large)
A novel placement algorithm for the controllers of the virtual networks (COVN) in SD-WAN with multiple VNs
Artificial symbiology : evolution in cooperative multi-agent environments
Observation-driven configuration of complex software systems
Federated broker model for context provisioning in large-scale distributed context-aware systems
Exploiting statistical properties of wavelet coefficients for image/video processing and analysis tasks
Statistical feature ordering for neural-based incremental attribute learning
Efficient network selection schemes for an operator deployed cellular-WLAN heterogeneous network
Requirements Elaboration using Model Checking and Inductive Learning
Hybrid bounding volume hierarchy algorithms for collision detection between deformable objects
Proving termination using abstract interpretation
Small scale software engineering
Switching control systems and their design automation via genetic algorithms
A programming structure for parallel simulation
Automatic topic labelling and opinion summarisation
The application of software and safety engineering techniques to security protocol development
Combining structure and appearance in digital documents using XML and PDF
On combating online radicalisation: a framework for cybercrime investigations
User enhanceability for information systems through visual programming
Concepts and analogies in cybernetics : mathematical investigations of the role of analogy in concept formation and problem solving; with emphasis for conflict resolution via object and morphism eliminations
Session establishment over an IP-based satellite UMTS network
Ambient multicasting : context-based service delivery to ad-hoc communities
Adaptive visual sampling
Assessing the security benefits of defence in depth
Pragmatic development of service based real-time change data capture
Transformation of cryptographic primitives: provable security and proof presentation
Automatic macro extraction : generalisation and the adaptive interface
Threshold-based relay selection for cooperative wireless network
Novel haptic interfaces and their impact on perception and performance
A formal treatment of lossless data compression algorithms
Extending dependencies for improving data quality
Problems of testing non-linear hypothesis
Development of advanced cryptographic algorithms using number theoretic transforms
Fuzzy logic data mining and machine learning and its applications
Specification and verification of network algorithms using temporal logic
Parallel simulation of neural networks on SpiNNaker universal neuromorphic hardware
3D facial feature extraction and recognition : an investigation of 3D face recognition : correction and normalisation of the facial data, extraction of facial features and classification using machine learning techniques
The application of visual programming techniques to the low-level programming process
"Do you want to get naked or do you want a cup of tea?": smartphone geosocial networking apps and the health of lesbian, gay and bisexual users in the UK and USA
Formal methods for global synchrony
Vulnerability discovery & software security
Diagrammatic representations in domain-specific languages
Reuse of knowledge bases & problem solvers explored in the VT domain
Stability of Gradient- Based Learning Dynamics in Two-Agent Imperfect-Information Games
Characterisation of complex networks from their topologies
An investigation of a uniform approach to the parallel realisation of computer vision algorithms
The theory and applications of walsh functions
Second generation image watermarking in the wavelet domain
Feature selection from higher order correlations
A uniform mathematical theory for real-time distributed computing
Interactive Simulation of Data Communication Networks
Analysis and improvements of behaviour-based malware detection mechanisms
Optimisation of tamper localisation and recovery watermarking techniques
Analytical and simulation performance modelling of indoor infrared wireless data communications protocols
Access policies for middleware
Scheduling in real time systems with deadlines
Using pathway networks to model context dependent cellular function
Sensor fusion with Gaussian processes
Impact estimation: IT priority decisions
Entropic security information, materiality, and cybersecurity
A machine-learning-based system for real-time advanced persistent threat detection and prediction
A mixed reality approach to 3D interactive prototyping for participatory design of ambient intelligence
Tears in the rain
Utilising path-vertex data to improve Monte Carlo global illumination
Measuring fault resilience in neural networks
Pixel level data-dependent triangulation with its applications
A smart edge computing resource, formed by on-the-go networking of cooperative nearby devices using an AI-offloading engine, to solve computationally intensive sub-tasks for mobile cloud services
User-controlled cyber-security using automated key generation
Variable speed operation of wind turbines
Low latency rendering with dataflow architectures
Strongly typed evolutionary programming
Brain-computer games interfacing with motion-onset visual evoked potentials
Dynamical models and machine learning for supervised segmentation
Exploiting inference in temporal planning problems with concurrency
Interpreting deep learning for cell differentiation: supervised and unsupervised models viewed through the lens of information and perturbation theory
Continual reinforcement learning with memory at multiple timescales
Network analysis of large scale object oriented software systems
Generative and predictive models for robust manipulation
Image retrieval using semantic trees
A uniform semantics for verilog and VHDL suitable for both simulation and verification
Temporal structure of neural oscillations underlying sensorimotor coordination : a theoretical approach with evolutionary robotics
Bus crew scheduling using mathematical programming
Automatic creation of boundary-representation models from single line drawings
Automatically verifying temporal properties of heap programs with cyclic proof
Interpretable classification model for automotive material fatigue
Optimal modal control of systems with confluent eigenvalues
Grammatical error prediction
A hybrid object-oriented class testing method : based on state-based and data-flow testing
Transparent componentisation : a hybrid approach to support the development of contemporary distributed systems
A new knowledge sourcing framework to support knowledge-based engineering development
The integration of rules into the object-oriented paradigm to facilitate software maintenance
Image context for object detection, object context for part detection
The adaptive agent model
Discontinuous potential systems
Knowledge based image processing
Collaborating through sounds : audio-only interaction with diagrams
Disentangling low-dimensional vector space representations of text documents
Kilim : a server framework with lightweight actors isolation types zero-copy messaging
Policy gradient reinforcement learning-based vehicle thermal comfort control
Investigation of low-cost wearable Internet of Things enabled technology for physical activity recognition in the elderly
State-variable design of multirate sampled-data systems
Knowledge enhanced framework for the design and development of e-workflow systems
Investigation on applying modular ontology to statistical language model for information retrieval
Composing requirements dependencies across architectural views for improving change impact analysis
Functional neuroimaging : a sparse modelling approach
Particle swarm optimization in stationary and dynamic environments
Faithful visualization and dimensionality reduction on graphics processing unit
Topological reasoning using a generative representation and a genetic algorithm
The influence of counterparty risk on financial stability in a stylized banking system
Contributions to big geospatial data rendering and visualisations
Detecting hierarchical relationships and roles from online interaction networks
Guarded atomic actions and refinement in a system-on-chip development flow : bridging the specification gap with Event-B
Eyes-off physically grounded mobile interaction
Interactive program structure generation
Data-driven policy optimisation for multi-domain task-oriented dialogue
Algorithms and optimized implementations in context of circular string and relevant web security
Applying computer analysis to detect and predict violent crime during night time economy hours
Chromatic intelligent systems for pollution monitoring
An empirical investigation into management and control of software prototyping
Resource allocation via competing marketplaces
Automatic generation of proof terms in dependently typed programming languages
Design considerations of an intelligent tutoring system for programming languages
The DNA of Web Observatories
Quantitative analysis of the release order of defensive mechanisms
Contextual mediation to support ubiquitous computing
Constructing a new language to facilitate mathematical proofs in the Event-B context
Explorations of knowledge management in a defence engineering environment
Extending the scope of discrete time models to provide practical results for continuous time queueing systems
Efficient algorithms for scalable video coding
A context-dependent approach to numerical data quality evaluation and improvement
Machine-learning and data science techniques in string and gauge theories
FADI : a fault-tolerant environment for distributed processing systems
Behavioural constraints, patterns and conformance : reconciling object-oriented inheritance with temporal restrictions on the ordering of methods
Application of convolutional neural networks in offline handwriting recognition and pen-path recovery
Intelligent selection of grinding conditions
Process Coordination and Resource Management
Performance modelling of fairness in IEEE 802.11 wireless LAN protocols
Propositional fuzzy logics: tableaux and strong completeness
Trusted collaboration in distributed software development
Exploration and inference in learning from reinforcement
Safety through security
Investigating the factors affecting on-line shopping adoption in Saudi Arabia
Distributed learning for multi-agent control of a dynamic system
A theory of program correctness with three valued logic
Flexible precision timing instrumentation and quantum key distribution
The Programming of Microprocessors for the Control of Gas Turbine Engines
Applications of Modern Control Theory to Engine Models
Gaze estimation in unconstrained environments
A mechanism for creating web service interface to scientific applications
Computer science in Afghanistan: a situational analysis of university lecturers
Emotionally expressive avatars for collaborative virtual environments
Dogmatism and bounded rationality : a systemic epistemology for system theory
Cross-VM network attacks & their countermeasures within cloud computing environments
The entity system : An object-based filing system
Design, modelling and characterisation of impact based and non-contact piezoelectric harvesters for rotating objects
Evaluating the impact of physical activity apps and wearables: an interdisciplinary investigation of research designs and methods
Distributing and- and or-work in the Andorra-I parallel logic programming system
Constraint-based specifications for system configuration
Probabilistic uncertainty in an interoperable framework
Design and integrity of deterministic system architectures
Scalable abstractions for general-purpose parallel computation
Achieving a secure collaborative environment in patient-centred healthcare with legacy information systems
Using discovered services to create requirements for service-centric systems
Graphical calculi and their conjecture synthesis
The reconstruction of virtual cuneiform fragments in an online environment
A generic framework for the adaptation of streaming multimedia content
Distributing abstract machines
Universally composable protocols for multi-party computation and oblivious transfer
Property-based testing and properties as types : a hybrid approach to supercompiler verification
Assumption-based argumentation dialogues
Incomplete information in a deductive database
Resolving lexical ambiguity in a deterministic parser
Minimal simulations for evolutionary robotics
Parallel simulation techniques for telecommunication network modelling
An integrative perspective and analysis for crowdsourcing science and innovation
Constrained parameterization with applications to graphics and image processing
On practical cryptographic protocols and schemes
Co-ordination based structured parallel programming
Evolutionary techniques for the optimisation of EMC antennas
Neural networks in real-time control
Cognitive vision systems for video understanding and retrieval
Features correlation-based workflows for high-performance computing systems diagnosis
Partitioning workflow applications over federated clouds to meet non-functional requirements
Automation of program design
On secure messaging
Real time predictive monitoring system for urban transport
Towards the application of artificial intelligence techniques for discrete event simulation
Ensemble generation and compression for speech recognition
Generic process shape types and the Poly* system
Advances in kernel methods: towards general-purpose and scalable models
Towards the nuclear spin quantum computer
Approximation algorithms for geometric, caching and scheduling problems
Understanding convolutional neural networks
PRMP : a scaleable polling-based reliable multicast protocol
Knowledge-based technology transfer
An experiment in operating system structure
Measuring interactivity in audio teleconferencing using conversation analysis
Artificial intelligence in control of real dynamic systems
An LL(I) compiler writing system: The theory, design, implementation and of a compiler writing system written in algol 68
Research routing and MAC based on LEACH and S-MAC for energy efficiency and QoS in wireless sensor network
Computer vision for the analysis of cellular activity
Emergent transducing computing for evolving interactive musical agents
Hybrid modelling of heterogeneous volumetric objects
MGAUM: a new framework for the mobile government service adoption in Saudi Arabia
Semantic and organization considerations in database conceptual modelling : the Semantic Conceptual Organizational Model (SECOM)
Sparse shape modelling for 3D face analysis
A methodology for the Lower Limb Robotic Rehabilitation system
Autonomous sailboat navigation
Tracing the adoption of a management innovation labelled 'knowledge working' in a public sector agency in Scotland
A software maintenance method based on the software configuration management discipline
Calibrating trust between humans and artificial intelligence systems
SDN-based flexible resource management and service-oriented virtualization for 5G mobile networks and beyond
On the development of intelligent medical systems for pre-operative anaesthesia assessment
Lossless data compression
Visual region understanding : unsupervised extraction and abstraction
Wavelet methods for the statistical analysis of image texture
Temporal incident light fields
Cloud computing and context-awareness : a study of the adapted user experience
Parallelism in operating system design
Sketch-based intuitive 3D model deformations
Distributed cognition in joint music composition : exploring the role of language and artefacts in multi-session creative collaborative work
Towards ontology design patterns to model multiple classification criteria of domain concepts in the Semantic Web
Embedding an object calculus in the unifying theories of programming
Modelling facial dynamics change as people age
Interaction style and specification of the occasional user of digital interfaces : perspectives from interdisciplinary assessment of virtual agent spatial guidance
Addressing in internetwork protocols
Crowdsourcing, curating and network power: towards a critical crowdsourced cultural archive
Reinforcement learning with limited prior knowledge in long-term environments
A novel software visualisation model to support object-oriented program comprehension
A Cybernetical Approach to a General Model in Artificial Intelligence
Optimising spectral calibration
Optimal control of synchronous machines
Context awareness for wearable computers
Automated network optimisation using data mining as support for economic decision systems
An energy-efficient method for hybrid mobile cloud computing
Monad composition via preservation of algebras
An integrated index structure for object-oriented and spatio-temporal information systems
OntoSoS.BPA.ChM: a semantically-enriched and business process architecture-driven framework for change management in 'System of Systems' context
Evaluation and measurement of multiprocessor systems with shared memory
Agent-based pedestrian simulation on GPUs for use in Decision Support Systems
Gbit/second lossless data compression hardware
The design and analysis of real-world cryptographic protocols
Distributed complex event detection for pervasive computing
User profiling based on network application traffic monitoring
Securely scaling blockchain base layers
Personality and cognitive factors in the assessment of multimodal stimuli in immersive virtual environments
Algorithmic theory of randomness and its applications
Adaptive resonance theory : theory and application to synthetic aperture radar
Multihoming with ILNP in FreeBSD
Identifying the critical success factors to improve information security incident reporting
Normative approach to information systems modelling
Efficient optical network-on-chip design
Descriptive simplicity in parallel computing
An approach to understand network challenges of wireless sensor network in real-world environments
An ecologically valid evaluation of an observation-resilient graphical authentication mechanism
Pervasive service discovery in low-power and lossy networks
Security and usability of cross-device captchas
Bayesian single- and multi-objective optimisation with nonparametric priors
High fidelity 3D performance capture
Creativity, exploration and control in musical parameter spaces
Using visual representations to improve instructional materials for distance education computing students
Dynamic self-organised neural network inspired by the immune algorithm for financial time series prediction and medical data classification
Predicting head pose from speech
Examining the sense of agency in human-computer interaction
A distributed reduction architecture for real-time computing
An intelligent decision support system for acid-base diagnosis
Characterisation and design of novel non-foster circuits for electrically small antennas
Towards systematic requirements reuse
Smooth relevance vector machines
Requirements modelling of real-time systems
Efficient runtime security system for decentralised distributed systems
Conceptual metaphor, human-computer interaction and music : applying conceptual metaphor to the design and analysis of music interactions
Sequential and parallel aspects of the maximum flow problem
The design and implementation of a concurrent programming language for large grain MIMD computers
A configurable and reconfigurable, component-oriented, middleware-based group service
Improving time-to-market through globally distributed software development
Investigating pluralistic data architectures in data warehousing
Aspect-based sentiment analysis for Arabic reviews using deep learning
Evaluation and denotation of pure LISP programs : a worked example in semantics
On the efficiency of applicative algorithms
Transaction-filtering data mining and a predictive model for intelligent data management