yusuke1997/dblp-id-title huggingface dataset:
Flexible distributed computing with volunteered resources
E-government services effectiveness evaluation framework (E-GEEF): a case study of Indian e-tax service
Programming bulk-synchronous parallel computers
Software environments for parallel computing
A seamless framework for formal reasoning on specifications: model derivation, verification and comparison
High-level activity learning and recognition in structured environments
Deterministic chaos in digital cryptography
A probabilistic reasoning and learning system based on Bayesian belief networks
Automatic skeleton-driven performance optimizations for transactional memory
Tool support for executable specification: a technique using Meta-IV and Prolog
Stochastic methods and genetic algorithms for neural network learning
Limit-Cycling in Certain Nonlinear Sampled Data Systems
Statistical methods for spoken dialogue management
Microprogrammed control of an associative processor
Evaluation of biocompatibility using human craniofacial bone cells
Designing machine learning ensembles: a game coalition approach
Stochastic models for computer software reliability
Expert systems and their use in information science
Steganalytic methods for 3D objects
Process algebra with layers: a language for multi-scale integration modelling
Machine learning algorithms for crime prevention and predictive policing
Computation with photochromic memory
Matrix iterative methods for elliptic differential equations
Practical and conceptual issues in the use of agent-based modelling for disaster management
Reliable mobile agents for distributed computing
A theory of fuzzy systems
Optimising learning with transferable prior information
The use of formal methods in the design of interactive authoring support environments
Identifying prosodic prominence patterns for English text-to-speech synthesis
Design optimisation and real-time energy management control of the electrified off-highway vehicle with artificial intelligence
Design and implementation of graphical user interfaces for complex simulations
Applications of meta-programming to the construction of software products from generic configurations
Addressing and Protection
Judgement day : terminating logic programs
Domain-specific research idea creation
Real-time simulation of rail vehicle dynamics
Cell fate mechanisms in colorectal cancer
A methodology for automated design of computer instruction sets
The impact of an adaptive learning environment on students' classroom related and learning related emotions
A new strategy for case-based reasoning retrieval using classification based on association
Document-level machine translation quality estimation
Analogue neuromorphic systems
Distributed performance support systems
Curriculum learning for online reinforcement learning
Energy methods for lossless systems using quadratic differential forms
Self-adaptation via concurrent multi-action evaluation for unknown context
Computer vision and machine learning for microscopy image analysis
Strategies in qualitative research methods in the evolution of software development processes
Interdomain user authentication and privacy
An integrated approach to high integrity software verification
Formal techniques in the management of software design
Learning to make decisions with unforeseen possibilities
Networks & disputes
Dooyeweerdian Philosophy, Knowledge-Based Systems, and Sustainability
Adaptable models and semantic filtering for object recognition in street images
Multi-source data fusion for land use classification using deep learning
Communication centric, multi-core, fine-grained processor architecture
Requirements engineering for e-commerce : a principle-driven analysis and assessment approach and guideleines on good practices for developing multicultural e-commerce systems
Evolutionary environmental modelling in self-managing software systems
Design and development of a vibrotactile stimulator array for the fingertip
Novel graph analytics for enhancing data insight
Implementing radial basis function neural networks in pulsed analogue VLSI
Improving accuracy of recommender systems through triadic closure
A visual adaptive authoring framework for adaptive hypermedia
Analysis of implementations and side-channel security of Frodo on embedded devices
Non-invasive glucose sensing at millimetre wavelengths using impedance matching metamaterials
Characterizing and exploiting heterogeneity for enhancing energy-efficiency of cloud datacenters
The atomic lambda-mu calculus
Requirements engineering for electronic healthcare records
Mechanisms for improving ZooKeeper Atomic Broadcast performance
Learning as knowledge refinement : a computer based approach
Syntactic pre-processing in single-word prediction for disabled people
Interactive video-realistic character animation from 4D performance capture
Modelling temporal and structural dependencies in computer network traffic with applications in cyber security
Agency in and around videogames
Spatial context in computational pathology
Heavily doped bulk unipolar structures
Clinical intelligence framework for decision-support
Music while you work: the effect of music on typing performance and experience
Statistical delay QoS driven resource allocation and performance analysis for wireless communication networks
Test data generation : two evolutionary approaches to mutation testing
Inside the palimpsest : a study of newsroom information gathering
Responsive and emotive wearable technology: physiological data, devices and communication
Tool support for systematic reviews in software engineering
Exploiting uncertainty in nonlinear stochastic control problem
Formal analysis and applications of direct anonymous attestation
A design environment for deadlock-free concurrent software
Software requirements change analysis and prediction
A fault-tolerant mechanism for desktop cloud systems
Efficient and secure context switching and migrations for heterogeneous multiprocessors
Numeracy of language models: joint modelling of words and numbers
Modularity through inseparability: algorithms, extensions, and evaluation
Response surface modelling and performance optimisation of energy harvester-powered sensor nodes
Receiver architectures and algorithms for MIMO-OFDM WLANs
Adaptive detection in ultrawide bandwidth wireless communication systems
Overlay networks for the defence of DDOS
Development of an Interactive Computer Graphics System With Application to Data Fitting
Machine learning of antonyms in English and Arabic corpora
High QoS and energy efficient medium access control protocols for wireless sensor networks
A clustered VLIW architecture based on queue register files
Fuzzy spiking neural networks
Data value storage for compressed semi-structured data
Theory, modelling and implementation of graphene field-effect transistor
A Basis for a Machine - Independent Filing System
Dynamic service deployment through consensus negotiation in programmable ad hoc networks
End to end solutions for a droplet microfluidic autonomous experimentation system
Scheduling and resource demand analysis methods in multiprocessor systems
Robust keyword recognition using a multi-band approach
An investigation into the use of knowledge representation in computer-integrated manufacturing
Multi-sensory rendering for the exploration of virtual environments
Defence against denial of service in self-aware networks
Learning generalized metrics in zero-shot classification
The Monte Carlo array processor as a grid resource
Specknets : a case study for artificial immune systems
Broadening ontological horizons : constructing and recycling ecological ontologies
Stochastic simulation of P2P VoIP network reconfiguration using graph transformation
A framework for constructing end user oriented service mashups
An interpretation of paradigmatic morphology
Human-computer interaction design : using an arts-based approach
A comparative investigation of associative processes in executive-control paradigms
Machine learning advances for practical problems in computer vision
The control of marine propulsion plant
The triune conversation : trinitarian description and theological ontology in Robert W. Jenson's 'Systematic theology'
Automating SLA enforcement in the cloud computing
The determination of relevance through metaphor in knowledge acquisition
Automatic construction of conceptual models to support early stages of software development: a semantic object model approach
Bayesian Transfer Learning for personalised well-being forecasting from scarce, sporadic observations
A user interface framework for object-oriented database systems
Rank codes and their applications to communication security
A machine learning clustering technique for autism screening and other applications
Investigating the group development process in virtual student software project teams
An approach to the semantic intelligence cloud
Information security awareness : improving current research and practice
Designing a quantum computer based on pulsed electron spin resonance
On the visual programmability of desktop interfaces
Learning to cope with small noisy data in software effort estimation
Automatic number plate recognition on FPGA
Neural network heuristics for real-world classification : with an application to predict cancer recurrence
Quality metrics in software engineering
Three-dimensional surface texture synthesis
Implementation of gaussian process models for non-linear system identification
Distributed interactive simulation
Enterprise development: SME growth through e-business
Perceptual texture similarity estimation
A framework for decentralised trust reasoning
Adapting dynamic object-oriented languages to mixed dynamic and static typing
The adoption and diffusion of data-exchange standards
Intelligent edge caching based on federated deep learning
The use of Raman microprobe spectroscopy in the analysis of electrically aged polymeric insulators
Parallelization solutions for the YNANO discontinua simulations
Improvements to test case prioritisation considering efficiency and effectiveness on real faults
Automated verification of continuous and hybrid dynamical systems
Management and visualisation of non-linear history of polygonal 3D models
Facing experience : a painter's canvas in virtual reality
Towards an understanding of multi-agent dynamical systems
An investigation of a remote visual navigation system for a building inspection robot
Non-ideal exchange springs in DyFe2/YFe2 superlattices
Categorical equational systems : algebraic models and equational reasoning
Accelerating finite difference models with field programmable gate arrays : application to real-time audio synthesis and acoustic modelling
Quantum correlations in space-time: foundations and applications
State-based testing : a new method for testing object-oriented programs
Deep neural networks for pose validation, affinity prediction, and input attribution
Combining adaptive resonance and learning vector quantisation in performance-guided neural networks
Multi-agent communication protocols with emergent behaviour
Statistical models for unsupervised learning of morphology and POS tagging
Practical behavioural animation based on vision and attention
An electromagnetic spectrum aware indoor positioning system
Set- and graph-theoretic investigations in abstract argumentation
Human layout estimation using structured output learning
Rule pruning and prediction methods for associative classification approach in data mining
Computational models for declarative languages and their formal specifications in CSP
A flexible, policy-aware middleware system
Construction heuristics for hard combinatorial optimisation problems
Dynamic streamprocessing pipelines on FPGAs targeting database acceleration
Nonmonotonic inductive logic programming as abductive search
Analogue VLSI neural networks for phoneme recognition
Myriad : a distributed machine vision application framework
A proactive approach to application performance analysis, forecast and fine-tuning
Reconstruction of extended environments from image sequences
High performance pattern matching and data remanence on graphics processing units
Integrated demand and supply side management and smart pricing for electricity market
Virtual reality for fixture design and assembly
Connection robustness for wireless moving networks using transport layer multi-homing
Software tools for conceptual schema integration
Electrodeposited Ni/Ge and germanide Schottky barriers for nanoelectronics applications
Frameworks for learning from multiple tasks
Framework for rapid hardware prototyping using custom floating-point arithmetic
Uncommon ground : the distribution of dialogue contexts
Automatic software test data generation from Z specifications using evolutionary algorithms
Human motion description in multimedia database
An eye for an eye : robust motion segmentation by applying the latest in human vision research
Executable specification of open norm-governed computational systems
Towards large scale quantum networks
Coherence and transitivity in coercive subtyping
Interactive digital technologies and the user experience of time and place
Evaluation of trust in the Internet of Things: models, mechanisms and applications
Wavelet neural network algorithms and architectures : nonlinear modelling
Algorithms for coalition formation in multi-agent systems
Human-robot interaction and deep learning for companionship in elderly care
Weak cost automata over infinite trees
Knowledge-based well test interpretation
Security for mobile ad-hoc networks
Semantics and planning based workflow composition and execution for video processing
VLSI architectures for computer image generation
Tangible interaction with pushback technologies
Medical image segmentation on multimodality images
Computational power of quantum many-body states and some results on discrete phase spaces
Higher-order particle representation for a portable unstructured particle-in-cell application
The 'user organisation': structure and governance in an open source project
Towards the artificial evolution of target features in complex chemical systems
A logic language as a database utility
Computational modelling of visual search
Module hierarchy and centralisation in the anatomy and dynamics of human cortex
Computational methods for the classification of plants
Reconfigurable software communication architecture: design implementation
Towards practical quantum metrology
Rotation invariant texture analysis for the retrieval and annotation of image databases
The common assembly language system
The effect of visual design quality on player experience components in tablet games
Heuristics for object-oriented design
Managing Hybrid Reasoning on the Semantic Web using a Blackboard System
Fault-tolerant software : dependability/performance trade-offs, concurrency and system support
Data mining in text streams using suffix trees
Wave interaction in rotary vibro-tactile displays for human communication
A development of an effective interactive implementation model of the office document architecture
Federated authentication using the Cloud (Cloud Aura)
An aggregation-level framework for the virtual prototyping of ubiquitous computing and multimedia technologies
An investigation into information reuse for cost prediction : from needs to a data reuse framework
The application of artificial intelligence to the development of a design support system for externally pressurised journal bearings
A semantic modelling approach to knowledge based statistical software
Action selection in the striatum : implications for Huntington's disease
An energy-efficient multi-cloud service broker for green cloud computing environment
On the readability of machine checkable formal proofs
Droplet microfluidics for biomolecule separation and detection
A statistical approach to parallel sorting and selection algorithms design
Optical quantum computing with active multiplexing and switching
Visualising large semantic datasets
Modelling the impact of signage systems on pedestrian and evacuee behaviour
Reverse engineering encapsulated components from legacy code
Enhancing the governance of information security in developing countries : the case of Zanzibar
Finite-state abstractions for probabilistic computation tree logic
On the application of program analysis and transformation to high reliability electronics
Loughborough University Spontaneous Expression Database and baseline results for automatic emotion recognition
Artificial neural networks acceleration on field-programmable gate arrays considering model redundancy
Applying computational intelligence to a real-world container loading problem in a warehouse environment
A Literature-Based Framework for semantic descriptions of E-Science Resources
An algorithmic approach to large scale problem solving
Distributed caching in the future generation networks
Constat - The Design and Implementation of an Interactive Survey and Statistical System
An authoring and presentation environment for interactive worked examples
Reliable electronics through artificial evolution
Pragmatic algorithms for implementing geostatistics with large datasets
A statistical investigation of the factors influencing the performance of parallel programs, with application to a study of process migration strategies
Closing the gap in WSD : supervised results with unsupervised methods
New interscale techniques for non-periodic architectures
Correctness of Data Representations
Real-Time Computer Control of a Railway Network
Shape from contour and segmentation using symmetries
Handling cultural factors in human-computer interaction
Deep multi-agent reinforcement learning
Probabilistic reasoning and inference for systems biology
Verified multi-robot planning under uncertainty
Parallel processing using Enterprise Java Beans
A Domain-Specific Aspect Language Approach to Distributed Systems Development
Developing a novel method for homology detection of transmembrane proteins
User assisted computer vision for biology
New pattern-based approaches for sevice-oriented architecture design and modelling
Turing's P-type machine and neural network hybrid systems
Logical argumentation using generalised knowledge
An investigation into Event-B methodologies and timing constraint modelling
Holistic interpretation of visual data based on topology: semantic segmentation of architectural facades
A Performance Evaluation of a New Bitmap-based XML Processing Approach
Usability investigation of anthropomorphic user interface feedback
A type-based locality analysis for a functional distributed language
A real-time target tracking system for wireless embedded nodes using ranging measurements
Interactive program verification using virtual programs
It's not what you say, it's what you do: the motivation of the crowd to participate in a crowdsourcing project to support blind and partially sighted students
Vehicular wireless communication
Understanding institutional collaboration networks : effects of collaboration on research impact and productivity
Software tools to support formal methods
An empirical investigation into contributory factors of change and fault propensity in large-scale commercial object-oriented software
Improving data quality for low-cost environmental sensors
What aspects of realism and faithfulness are relevant to supporting non-verbal communication through 3D mediums
The role of chunking and schemas in learning and drawing
The design of a system to provide a uniform user interface to a heterogeneous computer network
Automatic image annotation and object detection
Keystroke dynamics as a biometric
Effective techniques for handling incomplete data using decision trees
Ultra high-resolution segmentation of biological images using reduced-memory convolutional neural networks with inter-tile communication
Theory and practice of the ternary relations model of information management
Sharing data in cooperative workspaces
WISPA : a system for word identification in speech by phonetic analysis
Le ton fait la musique : analysis of expressions in speech
User-centric quality of service provisioning in IP networks
A process-oriented approach to configuration management of communications software
Search-based temporal testing of multicore applications
A dynamic programming model to solve optimisation problems using GPUs
Robust optimization for multi-antenna downlink transmission in cellular networks
Target search planning in uncertain environments
Physically inspired methods and development of data-driven predictive systems
Unsupervised learning of relational entailment graphs from text
The scalability of reliable computation in Erlang
A programming language for use in natural language processing
Octree construction for imaging
The sound of books - books, book publishing and cultural connectivity in classical Rome
A theorem-proving approach to database integrity
Continuous states conditional random fields training using adaptive integration
Haptic augmentation of the cursor : transforming virtual actions into physical actions
An approach to generalising the self-repair of overlay networks
Deep generative models for natural language processing
Competency based assessment using virtual reality (VERT): is it a realistic possibility?
Using semantic frames for measuring and identifying semantic relationships in software descriptions
Comparison, implementation and evaluation of morphological scale-space image trees
Power system economic loading simulation and compatibility for parallel processing
Directed annealing search in constraint satisfaction and optimization
Efficient scheduling of parallel applications on workstation clusters
Visualisation for household energy analysis : techniques for exploring multiple variables across scale and geography
Input/Output and communication in the MU5 operating system
Automatic parallelisation for a class of URE problems
Performance analysis of large-scale resource-bound computer systems
Structured peer-to-peer overlays for NATed churn intensive networks
Women's internet usage in university settings in Malaysia and the United Kingdom : a comparative case study
Control of distributed objects
Automatic structure and keyphrase analysis of scientific publications
A new blueprint for network QoS
Soft biometrics using clothing attributes for human identification
Zetetics
Declarative theorem proving for operational semantics
Heterogeneous networking for beyond 3G system in a high-speed train environment: investigation of handover procedures in a high-speed train environment and adoption of a pattern classification neural-networks approach for handover management
Robust power aware SRAM bitcell designs
Working with objects in collaborative virtual environments
Intraoperative vision-based instrument tracking and localisation for endovascular procedures
Recursive structures in computer systems
Coherence in machine translation
Advanced computational programming support environments
Parallel algorithms for the solution of elliptic and parabolic problems on transputer networks
Combined robust and fragile watermarking algorithms for still images : design and evaluation of combined blind discrete wavelet transform-based robust watermarking algorithms for copyright protection using mobile phone numbers and fragile watermarking algorithms for content authentication of digital still images using hash functions
A framework for developing a conversational agent to improve normal age-associated memory loss and increase subjective wellbeing
New method for mathematical modelling of human visual speech
Coherent dependence cluster
Constraint based program transformation theory
Evolutionary computation for high frequency trading systems
Practical uniform interpolation for expressive description logics
A gift from Pandora's box : The software crisis
Conceptual modelling : a psychological perspective
Evaluating book and hypertext : analysis of individual differences
Interactive configuration management for distributed systems
Design and implementation of an array language for computational science on a heterogeneous multicore architecture
Procedural reconstruction of architectural parametric models from airborne and ground laser scans
Exploring a phenomenologically based approach to software development
Randomised techniques in combinatorial algorithmics