yusuke1997/dblp-id-title huggingface dataset:
Cryptographic privacy-preserving enhancement method for investigative data acquisition
Planning and optimisation of 4G/5G mobile networks and beyond
Context-aware and location systems
Genetic algorithms, orthogonal arrays and diploid chromosomes
A model-driven collaborative interaction architecture
A conceptual system design and managerial complexity competency model
Oramics: precedents, technology and influence: Daphne Oram (1925-2003)
Modelling speaker adaptation in second language learner dialogue
A grey-box approach to benchmarking and performance modelling of data-intensive applications
Hardware synthesis from a stream-processing functional language
Developing collaborative XML editing systems
Task-oriented learning of structured probability distributions
Temporal information in newswire articles : an annotation scheme and corpus study
Representing archaeological uncertainty in cultural informatics
Data from the wild in computer vision: generating and exploiting large scale and noisy datasets
The potentials of transparency in sketch design interfaces
The Formal Semantics of Computer Languages and their Implementations
Congestion and medium access control in 6LoWPAN WSN
Sets, types and specification
Using expressive and flexible action representations to reason about capabilties for intelligent agent cooperation
From diversity to convergence : British computer networks and the Internet, 1970-1995
Initial design considerations for high-speed retrieval techniques in Prolog and text data base machines
Studies in robot programming
Multi-perspective modelling for knowledge management and knowledge engineering
Evolutionary algorithms for automatic parallelization
Trustworthy infrastructure for Peer-to-Peer applications using hardware based security
Adaptive receiver-based preamble-sampling MAC protocol for low power and lossy wireless sensor networks
From underground hacking to ethical hacking
System identification in the presence of nonlinear distortions using multisine signals
Bayesian network structure learning using characteristic properties of permutation representations with applications to prostate cancer treatment
A framework for applying short text semantic similarity in goal-oriented conversational agents
Developing the parallelization techniques for finding the all-pairs shortest paths in graphs
Modelling and analysis of complex electromagnetic problems using FDTD subgridding in hybrid computational methods : development of hybridised Method of Moments, Finite-Difference Time-Domain method and subgridded Finite-Difference Time-Domain method for precise computation of electromagnetic interaction with arbitrarily complex geometries
Algebras of partial functions
Resonant nano-electro-mechanical sensors for molecular mass-detection
Simulating animal conditioning : investigating Halperin's neuro-connector model
Electromyography-guided and robot-assisted ergonomics
The effects of search strategies and information interaction on sensemaking
Development of a novel hybrid field and zone fire model
Phobos : the design and implementation of embedded software for a low cost radar warning receiver
The transformational implementation of JSD process specifications via finite automata representation
Static program analysis based on virtual register renaming
An adaptable formalism for the computational analysis of English noun phrase reference
From distributional to semantic similarity
Tablet computers for older people in Thailand and the UK : usability and effects of different text presentations
Integrity constraints in deductive databases
Evolutionary algorithms for practical sensor fault tolerant control
Optimization approaches for parameter estimation and Maximum Power Point Tracking (MPPT) of photovoltaic systems
Keyboard usage recognition: a study in pattern mining and prediction in the context of impersonation
Multi-document summarization with latent semantic analysis
Flexible service choreography
Integrating speech and visual text in multimodal interface displays
Temporal controlled natural language for formal specification
Application of genetic algorithms to problems in computational fluid dynamics
Performance optimisation through modelling and dynamic prediction
Testing and inverse modelling for solder joint reliability assessment
The use of colour in an affective installation for teenagers
Adaptation in multisensory neurons
Integrating hypermedia techniques with augmented reality environments
Error estimation for simplifications of electrostatic models
Tracing learning environment in Java programming language
Interpreting the outputs of financial models using ID3
Facilitating data sharing: a design approach to incorporate context into the research data repository
Decentralising resource management in operating systems
A bio-inspired load balancing technique for wireless sensor networks
Formal verification of machine-code programs
3D hand tracking from RGB sequences
Constructivist and spiking neural learning classifier systems
Example-based computer-generated facial mimicry
Filing system services for distributed computer systems
Towards smarter SDN switches: revisiting the balance of intelligence in SDN networks
SQL inclusion into hetrogeneous databasebase [i.e. database] systems through the Z39.50 information retrieval standard
Compositional uncertainty in models of alignment
The polymorphic Pi-calculus : theory and implementation
Centromeric linkage in man
Multimodal segmentation for data mining applications in multimedia engineering
The acquisition and representation of knowledge about complex multi-dynamic processes
A new approach to learning Bayesian network classifiers
Visualization of time-dependent foam simulation data
How to evaluate the 'goodness' of summaries automatically
The application of Petri-nets and stochastic processes to knowledge based project planning
Developing metrics for the comparison of sorting and segregation algorithms in a group of minimalist robots
User experience driven CPU frequency scaling on mobile devices: towards better energy efficiency
eCert : a secure and user centric edocument transmission protocol : solving the digital signing practical issues
Joint perceptual learning and natural language acquisition for autonomous robots
MEXICA : a computer model of creativity in writing
Developing semantics of Verilog HDL in formal compositional design of mixed hardware/software systems
Interaction between Controls and Displays During the Approach Manoeuvre of V/STOL Aircraft
Distributed Denial of Service (DDoS) attack detection and mitigation
Ontology learning for the Semantic Web : an approach based on self-organizing maps
Energy conscious adaptive security
The acceleration of polynomial methods for blind image deconvolution using Graphical Processing Units (GPUs)
Modelling and tool support for the formal development of distributed systems
Cloud eLearning: personalisation of learning using resources from the Cloud
Spiking models of local neocortical circuits
Development and application of model selection methods for investigating brain function
Runtime value specialization
Defining star-free regular languages using diagrammatic logic
Agoric computation: trust and cyber-physical systems
The power of restricted quantum computational models
Speech segmentation and speaker diarisation for transcription and translation
Virtual reality and human spatial cognition
Lexical simplification: optimising the pipeline
A Modular Network-Centric Solution to Space Restricted Distributed Processing
Assessment, trust, and cooperation in IT-security
A probabilistic examplar based model
Computer tools for music information retrieval
B Annotations in CriticalControl SystemsDevelopment
Distributed IT for integration and communication of engineering information for collaborative building design
A parallel distributed processing approach to the representation of knowledge for natural language understanding
Models of type theory with strict equality
Feature modelling in passive sonar data association
Pragmatic cost estimation for web applications
A framework for automated concurrency verification
Digital forensic analysis of communication applications on Apple iOS devices
Pattern analysis of news media content
Memory centric compilers for embedded streaming systems
Machine learning developments in dependency modelling and feature extraction
Cross-class transfer learning for visual data
Aspects of the geometric representation of knowledge for computer aided design
Data mining locative thematic narratives : analysing Twitter and POI data to extract precise spatial themes
Texture simulation of coloured objects on CRT displays
An investigation into computer assisted program and system design
Efficient evolution of neural networks
An extensible test bed architecture and topological analysis for the scalability of hybrid-P2P massively multiplayer online games
The brain of the smart transportation system: exploring the role of future expectations and sociotechnical imaginaries in cutting-edge science and technology policymaking in China
Joint training methods for tandem and hybrid speech recognition systems using deep neural networks
Graph layout using subgraph isomorphisms
Radio frequency ranging for wireless sensor network localization
Energy efficient channel access mechanism for IEEE 802.11ah based networks
Dynamic opponent modelling in two-player games
Architecting tacit information in conceptual data models for requirements process improvement
Transmission electron tomography : quality assessment and enhancement for three-dimensional imaging of nanostructures
Frugality in set-system auctions
Algorithms for the enhancement of dynamic range and colour constancy of digital images & video
Safety-Critical Java Level 2: applications, modelling, and verification
Vision-augmented molecular dynamics simulation of nanoindentation
Architectural soup : a proposed very general purpose computer
Virtual machine consolidation in cloud data centres using a parameter-based placement strategy
Practical and theoretical aspects of FORTH software development
Understanding conversation around technology use in casual-social settings
Language definition and compiler writing : The correctness of an applicative language system
Analysing and quantifying the influence of system parameters on virtual machine co-residency in public clouds
Modularity in artificial neural networks
Probabilistic topic models for sentiment analysis on the Web
Conceptual modeling and systems theory with an application using real options analysis
Design parameters for online psychometrics
The exploration and design of a language and middleware architecture dedicated to service composition in a pervasive computing environment
Flexibility in dependable real-time communication
Computational intelligence sequential Monte Carlos for recursive Bayesian estimation
Governmentality and the information society : ICT policy practices in Greece under the influence of the European Union
The role of domain decomposition in the parallelisation of genetic search for multi-modal numerical optimisation
The development of a tool for assessing the quality of Internet-based medical information sources
The generation of diagnostic tests for large, multi-ouput combinational networks
Constructing and refining modules in a type theory
A courseware engineering methodology for technology-based learning
The proof theory and semantics of intuitionistic modal logic
The influence of an empirical analysis of programs on a microprogrammable computer architecture
Negotiation strategies and their effect in a model of multi-agent negotiation
SoC architectures for video compression
Computational methods and special functions
Active model combination : an evaluation and extension of bagging and boosting for time series forecasting
Securing the 'Internet of Things': decentralised security for wireless networks of embedded systems
Design-by-contract for software architectures
Development of algorithms to facilitate automatic surface damage detection and localisation from scanned data
Engineering documents and Web applications for the Semantic Web
The view from the paradoxical world
Sentiment analysis of scientific citations
Gamut compression algorithms for computer-controlled colour imaging devices
Part of speech N-grams for information retrieval
Self-organization and management of wireless sensor networks
Large-scale connectionist natural language parsing using lexical semantic and syntactic knowledge
On evidence gathering in 3D point clouds of static and moving objects
Improving associative memory in a network of spiking neurons
Improving reuse in object oriented design methods
Collaborative knowledge building through multi-path video creation
Measurement and management of the impact of mobility on low-latency anonymity networks
Service discovery as an assisted alternative network detection method for reconfigurable terminals
Optics, optimisation and the Hopfield neural network
A formal data fusion language
Personalised information filtering using event causality
A multi-disciplinary approach to the control of virtual environments for young people with moderate to severe learning difficulties
Lexical vagueness handling using fuzzy logic in human robot interaction
Development of computational intelligence methods to deal with classification problems
Bioelectrical user authentication
The design and implementation of a new geographical information processing system #GIPS'
PROBE : a meta-heuristic for combinatorial optimisation problems
Method oriented design environments in knowledge aided design
A double-error correction computational model of learning
A blockchain and IoT based framework for decentralised smart campus environment
Database web service composition based on the notion of 'informational relationship'
Pure functional languages and parallelism
Analysis of musical structures : an approach utilising monadic parser combinators
Measuring software complexity
An empirically-based debugging system for novice programmers
Supporting location-awareness in open distributed systems
Automated process of network documentation
Navigating the knowledge graph : automatically acquiring and utilising a domain model for intranet search
Some applications of mathematics to coding theory
Soft systems methodology and its role in information systems
Dynamic scheduling of functional programs on MIMD computers
Predicting the helpfulness of product reviews: a sentence classification approach
A system for learning pronunciation rules
Adaptive dissemination of network state knowledge in structured peer-to-peer networks
Privacy and utility in secure computations: optimal trade-offs through quantitative information flow
Data mining e-learning data for a student prediction system
On learning assumptions for compositional verification of probabilistic systems
Enabling high quality executable domain specific language specification
Physically augmenting reality : human-computer interaction with projection-augmented models
Adaptive signal processing algorithms for non-Gaussian signals
The uses of interactive computer graphics for solving differential equations
Regression test selection by exclusion
Automating quantitative information flow
Embedding requirements within the model driven architecture
Organizational resilience: the case of cybersecurity
Coordination in adaptive open distributed systems
Identification of chemical species using artificial intelligence to interpret optical emission spectra
Working with incremental spatial data during parallel (GPU) computation
Path expressions : a technique for specifying process synchronization
Interactive use of a computer in the preparation of structured programs
Implicit surfaces for modelling and character animation
Optimal control and simulation of observer-augmented multivariable linear systems
A proof planning framework for Isabelle
On the security of key exchange protocols
Computer vision as an aid for the visually impaired
On the application of group codes to the multiplexing of digital data signals
Learning representations for speech recognition using artificial neural networks
SemNet : the knowledge representation of LOLITA
Implicit human-robot interfacing in robotic surgery
Indexed strings for large scale genomic analysis
Composing graphical user interfaces in a purely functional language
Presentation of visual artworks in interactive virtual environments towards user engagement
Multi-valued temporal logic based reasoning system with applications to decision support in intelligent environments
Predicting financial markets using text on the Web
Predicting and Learning the Behaviour of Intelligent Agents
A fog computing approach for cognitive, reliable and trusted distributed systems
Sharing awareness during distributed collaborative software development
Parity games : descriptive complexity and algorithms for new solvers
A language for expressing technical market indicators, its optimisation and application
QOS provisioning mechanisms in A11-IP access networks
A Comparative Study of Mechanized on-Line Indexing Languages
An efficient authentication framework for wireless sensor networks
Robust speaker recognition in reverberant condition: toward greater biometric security
Virtual software in reality
Semantics of a synchronous parallel programming language
Programming a dialogue teaching situation
Model-based product line engineering for embedded real-time systems
Segmentation of lungs from volumetric CT-scan images using prior knowledge (shape and texture)
Performance Implications of Using Diverse Redundancy for Database Replication
Learn to automate GUI tasks from demonstration
Internal memory sorting and searching
Energy-time efficient routing algorithms for mobile ad hoc networks
Classification task-driven efficient feature extraction from tensor data
Visualisation and navigation of large hierarchies with multiple foci and context approach
Multi-beam pulsed laser deposition for engineered crystal films
Efficient algorithms for hard problems in nondeterministic tree automata
Learning a structured model for visual category recognition
Experience-driven heuristic acquisition in general problem solvers
Domesticating home networks
Quantum key exchange and mutually unbiased bases
Design, test and implement a reflective scheduler with task partitioning support of a grid
Context aware drivers' behaviour detection system for VANET
Development and testing of a particle swarm optimizer to handle hard unconstrained and constrained problems
Maintaining modelling transparency in multi-tool environments through standards based interchange of design transformations
Adaptive intelligent systems for extreme environments
View mapping for query languages
Visual speech synthesis using dynamic visemes and deep learning architectures
Trust and related challenges influencing cloud computing adoption by UK SMEs
Integrative data analysis for the prediction of metagenomic functions
Balancing between agile and plan-driven software development methods to minimise project risk and improve quality
On confidentiality and formal methods
Terahertz spectrometry applied to proteins
Understanding the professionally risky behaviour of young adults in using social media
Anomaly detection, rule adaptation and rule induction methodologies in the context of automated sports video annotation
Computational properties of spatial logics in the real plane
Biometric face recognition using multilinear projection and artificial intelligence
Automated self-assembly programming paradigm
Automatic compilation of bilingual terminologies from comparable corpora
Probabilistic analysis of post-failure behavior of landslides using stochastic material point method
Automatic framework to aid therapists to diagnose children who stutter
A critical appraisal of data base management
Using local and global knowledge in wireless sensor networks
Discretization and defragmentation for decision tree learning
Multiple acoustic cues for Korean stops and automatic speech recognition
The design and implementation of an interactive proof editor
Information structure in discourse
A computer-aided software engineering tool to model, analyze and simulate scheduling algorithms to assist in the design and development of embedded hard real-time systems
Application of convolutional neural networks in object detection, re-identification and recognition
Autonomous navigation for guide following in crowded indoor environments
Web scaling frameworks: building scalable, high-performance, portable and interoperable web services for the Cloud
Polymer thick film sensors for embedded smartcard biometrics and identity verification
A spotlight based interest management approach for distributed virtual environments
Contributions to the development of safer expert systems and inductive learning algorithms
Attribute based component design : supporting model driven development in CbSE
Reservoir Computing in materio
Improving the performance of dataflow systems for deep neural network training
Rational Krylov methods and machine learning approaches to time series forecasting
Memory management architecture for next generation networks traffic managers
Generative templates for formal metamodel design
Accessing networked services : a user interface design problem
Social niche construction : evolutionary explanations for cooperative group formation
Closely interacting figures in a virtual environment
Unsupervised learning of object detectors for everyday scenes
Recurrent neural networks for time series prediction
Execution mechanisms for the action language C+
Refactoring via program slicing and sliding
Component replication in application servers
Combining personalisation and context awareness in a mobile service platform
Network aware resource management in disaggregated data centers
A fuzzy logic approach to localisation in wireless local area networks
An investigation into the cognitive effects of delayed visual feedback
Automated verification of object Petri nets based on transformation, unfoldings and SAT solving
Wired/wireless network based technologies for remote monitoring and control
Information limits of imaging through highly diffusive materials using spatiotemporal measurements of diffuse photons
Improving accessibility for people with dementia: web content and research
A weighting function approach to linear control systems design
Success and failure factors in ICT projects : a Dutch perspective
Decentralised coordination of information gathering agents
A methodology for the automatic design of database systems
Interactive visualisation tools for supporting taxonomists working practice
Bayesian network based intelligent mobility strategies for wireless sensor networks
DisClose : discovering colossal closed itemsets from high dimensional datasets via a compact row-tree
Towards real-time anomaly detection within X-ray security imagery: self-supervised adversarial training approach
WeDRisk : an approach to managing web and distributed software development risks
Asynchronous epidemic algorithms for consistency in large-scale systems
Using human interactive security protocols to secure payments
A cosmology of datatypes : reusability and dependent types
The use and analysis of infinite elements
An intelligent computer- based tutoring approach for the management of negative transfer
Abstraction for web programming
Design and analysis of numerical algorithms for the solution of linear systems on parallel and distributed architectures
Rational interaction
Marketing of innovation : the case of a Welsh SME in the ICT sector
The functionality of spatial and time domain artificial neural models
Attribute clash: an archaeology of the ZX Spectrum
Signal processing for early warning arrhythmia detection and survival prediction for clinical decision
Clustering solutions : a novel approach to solving NP-complete problems
Advanced access control in support and distributed collaborative working and de-perimeterization
BDI agents and the semantic Web : developing user-facing autonomous applications
GUMSMP : a scalable parallel Haskell implementation
Public key cryptosystem based on error control coding and its applications to network coding
Multigrid methods for nonlinear second order partial differential operators