yusuke1997/dblp-id-title huggingface dataset:
Using machine learning to determine fold class and secondary structure content from Raman optical activity and Raman vibrational spectroscopy
Design, evaluation and analysis of combinatorial optimization heuristic algorithms
Stakeholder negotiations in component based development
The generation of knowledge based systems for interactive nonlinear constrained optimisation
Exploiting unlabelled data for relation extraction
Nonlinear analysis of speech from a synthesis perspective
Automatic methods for program transformation
Truth, modality and action
An efficient database language
3D scene graph inference and refinement for vision-as-inverse-graphics
Development of new intelligent autonomous robotic assistant for hospitals
Bayesian mechanisms in spatial cognition: towards real-world capable computational cognitive models of spatial memory
IT controls in the public cloud: success factors for allocation of roles and responsibilities
New genetic programming methods for rainfall prediction and rainfall derivatives pricing
Reasoning about POSIX file systems
Early screening and diagnosis of diabetic retinopathy
Error resilience and concealment techniques for high-efficiency video coding
Type synthesis, kinematics analysis and dynamic modelling of metamorphic parallel mechanisms
Stretching a point: aspect and temporal discourse
On the granting of moral standing to artificial intelligence: a pragmatic, empirically-informed, desire-based approach
An Overall System Study of the Analogue Recursive Computer for Real Time Control and Simulation
Investigations into intelligent tactile grippers
Computer generation of integral images using interpolative shading techniques
Using constraints to improve generalisation and training of feedforward neural networks: constraint based decomposition and complex backpropagation
Self-aware and self-adaptive autoscaling for cloud based services
An extended ant colony optimisation approach for the mass customisation paradigm
Electrodynamic droplet actuation for lab on a chip system
The Evolution of Decision-Making : Various Modelling Approaches
Risk Understanding is not enough: identifying and leveraging emotional drivers of security behaviour via the 'Behavioural Security Grid'
A study of objects
Visual Servoing of Compliant Welding Manipulators
Development of a natural language interface system that allows the user population to tailor the system iteratively to their own requirements
On discovery and exploitation of temporal structure in data sets
Proof Rules, Mathematical Semantics, and Programming Language Design
An integration of educational delivery systems with case tools
Low Cost and Flexible Electronics for Quantum Key Distribution and Quantum Information
OntoLancs: An evaluation framework for ontology learning by ensemble methods
Deep learning applications for transition-based dependency parsing
The optimal control of linear distributed parameter systems
Planning and exploring under uncertainty
A fast and expert machine translation system involving Arabic language
Natural and digital virtual realities: a practice-based exploration of dreaming and online virtual environments
Robust multi-structure segmentation of magnetic resonance brain images
Word problems on string diagrams
A language for the dynamic verification of design patterns in distributed computing
An object-based codesign methodology
A smart home anomaly detection framework
Zero knowledge protocols and applications
Clothing-based interfaces for multimodal interactions
Internal representation and biological plausibility in an artificial neural network
Visual inspection: image sampling, algorithms and architectures
Colour image quantisation and coding for optimal perception
Hardware design based on Verilog HDL
Supporting device mobility and state distribution through indirection, topological isomorphism and evolutionary algorithms
A Bayesian expected error reducation approach to active learning
Acquiring data designs from existing data-intensive programs
On the refinement of state-based and event-based models
Bridging the specification protocol gap in argumentation
A framework to support multilingual mobile learning : a South African perspective
A study of cluster analysis techniques and their applications
Developing a model of mobile Web uptake in the developing world
Learning and identification of fuzzy systems
Methods for proving non-termination of programs
Patch-based image analysis : application to segmentation and disease classification
The effect of representations on constraint satisfaction problems
Communications management in networked virtual environments
Practical error correction codes and near-term algorithms for quantum computation
SymbexNet : checking network protocol implementations using symbolic execution
Instance-based Natural Language Generation
Using artificial intelligence to model complex systems
Indexing and retrieval of 3D articulated geometry models
An agent-based adaptive join algorithm for building data warehouses
Unified field multiplier for GF(p) and GF(2 n) with novel digit encoding
Model-based transmission reduction and virtual sensing in wireless sensor networks
Latency-driven performance in data centres
Supporting performing and learning with embedded scenario machines : a minimalist design study
Hoare logic and VDM : machine-checked soundness and completeness proofs
Intelligent machine control using neural fuzzy algorithms
Physical computation and embodied artificial intelligence
Flexible cross layer design for improved quality of service in MANETs
Approximation of the inverse kinematics of a robotic manipulator using a neural network
Cost models and scheduling models : their relationship
Automatic generation of software test cases from formal specifications
Algorithmic and complexity aspects of simple coalitional games
The application of contrast sensitivity to studies on image detection and recognition
Artist-programmers and programming languages for the arts
Sequence and text classification : features and classifiers
Design and evaluation of a multi-output-layer perceptron
Vision - language integration : a double-grounding case
Routing protocols performance and intelligent quality of service applied to MANETs
A framework for quality of service evaluation in distributed environments
Wireless sensor networks optimisation using software defined networking concept in cloud based end-to-end application
Supporting delivery of adaptive hypermedia
Gaussian process deep belief networks: a smooth generative model of shape with uncertainty propagation
Nonmonotonic Reasoning with Description Logics
Business Process Access Control (BPAC) : workflow-based authorisation for complex systems
Identifying trust properties and developing trusted systems for end-to-end trust
Automated assessment of English-learner writing
A context model, design tool and architecture for context-aware systems designs
Evolving gene expression to reconfigure analogue devices
A novel multispectral and 2.5D/3D image fusion camera system for enhanced face recognition
Applications of machine learning methods in financial markets
Context-aware automatic service selection
Investigation of open periodic structures of circular cross section and their transition to solid circular waveguide
A software testing estimation and process control model
Cooperative auto-tuning of parallel skeletons
Using metaheuristics in feature construction and clustering
Personalising information security education
Trusting in computer systems
Type based querying of XML data streams
Autonomous Scale Invariant Feature Extraction
Intelligent machine tools and the microprocessor
Multi-modal biometric authentication with cohort-based normalization
Luminescent erbium metallofullerenes for quantum information processing
The road to everywhere : Evolution, complexity and progress in natural and artificial systems
Using features for automated problem solving
Motivation in tutoring systems
Parallel block preconditioning of the incompressible Navier-Stokes equations with weakly imposed boundary conditions
Disambiguating identity web references using social data
Secure message transmission in the general adversary model
On-line recognition of connected handwriting
Adding safe and effective load balancing to multicomputers
Noncommutative involutive bases
Model checking the interaction of Erlang components
Representation of Knowledge for Chess Endgames Towards a Self-Improving System
Natural language output from relational databases
Dataflow methods in HPC, visualisation and analysis
Using Temporal Logics to Specify and Verify Multi-step Transactions in Mobile Environments
Markov chains for sampling matchings
Exploration of high performance frame processing architectures
Computer simulations of green spruce aphid populations
Hypothesis-based concept assignment to support software maintenance
Usability and user centred design in hybrid intelligent information systems
An integrated methodology for creating composed Web/grid services
A murmur in the crowd
A probabilistic approach to uncertainty quantification in pay-as-you-go data integration
Structure and electrical properties of silica-based polyethylene nanocomposites
A thermal design procedure for man- computer interaction
Application of reinforcement learning on medium access control for wireless sensor networks
Simplifying authoring and facilitating component reuse of programming tutors
Financial space : pattern recognition for foreign exchange forecasting
Adaptive spectral analysis for speech-sound recognition
Moving softly: the role of morphological computation in the generation of intelligent behaviour
Clustering in metric spaces
Deep neural networks in computer vision and biomedical image analysis
Non-linear modelling through artificial neural networks
Robust hand pose recognition from stereoscopic capture
Postgraduate perspectives of distance e-learning : a qualitative case study of online distance learning in occupational safety and health
A visual approach to configuration management
Self-similarity and wavelet forms for the compression of still image and video data
Regional variation models of white matter microstructure
Choreographing time : developing a system of screen-less animation
Intertemporally dependent preferences : the link between asset pricing, the term structure and the market portfolio
Interactive recipe instructions : supporting cooks with better designs
Macro processors and their use in implementing software
A state-based join point model and language for AOP
Roles for composite objects in object-oriented analysis and design
Probabilistic latent variable models in statistical genomics
Bootstrap based surface reconstruction
Hypergraph-based interconnection networks for large multicomputers
IKBS for real-time monitoring and control applications
A multivarious control analysis of distributed parameter nuclear reactors
Learning to animate volumetric video
Adaptive command prompting in an on-line documentation system
Semantic refactorings
Middleware services for distributed virtual environments
Safe model based policy search
An empirical study on object-oriented software dependencies: logical, structural and semantic
Generating anthropomorphic NPC controllers with genetic profiling
An evaluation of partial differential equations based digital inpainting algorithms
Optimal computer control of engine test rigs
Autonomic business processes
Fast and robust methods for non-rigid registration of medical images
Low complexity in-loop perceptual video coding
Scalability of RAID systems
A corpus-based study of academic-collocation use and patterns in postgraduate Computer Science students' writing
JeX : an implementation of a Java exception analysis framework to exploit potential optimisations
Biometric storyboards : a games user research approach for improving qualitative evaluations of player experience
Version control software in the open source process : a performative view of learning and organizing in the Linux collectif
Abstract pattern learning with neural networks for improved sequential modeling
The development of an implementation methodology for computer aided production management in small, make-to-order manufacturing businesses
Models for persistence in lazy functional programming systems
Transactional data structures
A correlation framework for continuous user authentication using data mining
Classification, object detection and tracking in high resolution radar imagery for autonomous driving using deep learning
Natural object focussed collaboration in distributed virtual environments
Developing a framework for e-commerce privacy and data protection in developing nations: a case study of Nigeria
Semantic type checking in scientific workflows
A cost analysis for a higher-order parallel programming model
Computer games use in an educational system
Studies of inspection algorithms and associated microprogrammable hardware implementations
The development of a theoretical framework for designing smart and ubiquitous learning environments for outdoor cultural heritage
From tool to instrument : an experiential analysis of interacting with information visualization
Numerical studies in optimal control theory
Fast animation dynamics
Touch-screen behavioural biometrics on mobile devices
Some algorithms for learning with errors
Ecological models of the maintenance of sexual reproduction
Inference graphs : a structural model and measures for evaluating knowledge-based systems
Coherent control for quantum information processing
Prefetching techniques for client server object-oriented database systems
The SSL Reference Implementation Project
Linear colour image processing in hypercomplex algebra guided by genetic algorithms
Modelling the formation of ordered acentrosomal microtubule arrays
Dynamic mode decomposition for computer vision and signal processing
Constraint-based reasoning in artificial intelligence
Always follow the instructions : rules and rule following in visual art
Neural signal processing with metal-oxide RRAM devices
The theory and practice of refinement-after-hiding
A practical investigation into achieving bio-plausibility in evo-devo neural microcircuits feasible in an FPGA
The use of data-mining for the automatic formation of tactics
A Framework for Mobility.andTemporal Dimensions of Grid Systems
Application of prior information to discriminative feature learning
Computer perception of curved objects using a television camera
The evolution of recursive algorithms and object-oriented programs
A theory of sensorimotor learning for brain-machine interface control
Privacy engineering for social networks
Using digital television signals for radar imaging
Topics in quantum information theory
Sieves for image retrieval
Inverse software configuration management
Supporting a multi-method software development paradigm
ARRES - computer-assisted decision support system for the post-anaesthesia care unit
Expert systems in on-line process control and fault diagnosis
Novel artificial neural network architectures and algorithms for non-linear dynamical system modelling and digital communications applications
The use of spectral and spatial information in the classification of aircraft, rocket and satellite imagery
Multi-dimensional clustering in user profiling
Deep learning-based RNA modification prediction method development
A fair and anonymous e-commerce scheme: for smart card and terminal implementations
Gait analysis under different testing conditions and their effect on non-pathological and intermittent claudication gait
Computation by origami-templated DNA walkers
Explainable artificial intelligence for functional brain development analysis: methods and applications
Evaluation of alternative discrete-event simulation experimental methods
Adaptive learning for segmentation and detection
Automating computational cognitive modelling techniques to improve the information architecture of large websites
Simulation models of shared-memory multiprocessor systems
Shared memory with hidden latency on a family of mesh-like networks
Improving network security using software-defined networking
Homes for life & other stories: the use and evaluation of design fiction as a means to understand sensitive settings : a case study of exploring technologies for dementia care
Dynamic web forms development using RuleML : building a framework using metadata driven rules to control Web forms generation and appearance
Numerical modelling of wind-induced circulation and pollution transport in the Thermaikos Gulf using a curvilinear coordinate system
Prediction-based failure management for supercomputers
Optimizing secure multiparty computation protocols for dishonest majority
An ICMetric based multiparty communication framework
Modelling the security of recognition-based graphical password schemes
Capturing communities : the account of an anthropological investigation into technology and innovation within a 'European' framework
Resolving semantic conflicts through ontological layering
Professional tennis : quantitative models and ranking algorithms
Developing a model for school librarians in Scotland
An empirical investigation into the estimation of software development effort
Towards a constraint-based multi-agent approach to complex applications
Synthesis of neuromorphic circuits with neuromodulatory properties
Automatic and adaptive preprocessing for the development of predictive models
Infobiotics : computer-aided synthetic systems biology
Quantum channel simulation and discrimination with applications to quantum communications
New software-based fault tolerance methods for high performance computing
The roles of language models and hierarchical models in neural sequence-to-sequence prediction
Replica management and optimisation for data grids
Automatic annotation of error types for grammatical error correction
Concurrent and distributed functional systems
Metric representations for shape analysis and synthesis
It's a team game : exploring factors that influence team experience
Reconfigurable instruction cell architecture: reconfiguration and interconnects
Personality representation : predicting behaviour for personalised learning support
No optimisation without representation : a knowledge based systems view of evolutionary/neighbourhood search optimisation
Trust-based social mechanism to counter deceptive behaviour
Efficient regularisation of least-squares kernel machines
A framework for awareness driven video quality service in collaborative virtual environments
Advances in probabilistic meta-learning and the neural process family
Concept representation learning for multimedia information retrieval
Adaptive wavelet image compression
Coordinating heterogeneous parallelism : distributing collections in Lisp
Navigation in unknown environment by building instantaneous spatial structures
Context-based activity design for analysis and specification of interactive systems
Accelerating data retrieval steps in XML documents
Improving the performance of software-defined networks using dynamic flow installation and management techniques
User information modelling in social communities and networks
Representation and recognition of human actions in video
X reality networked performance: message based distributed systems for controlling and presenting multiple realities
A logic-based concurrent object-oriented programming language
A parallel implementation of SASL
Experimental computational simulation environments for algorithmic trading
Fast model predictive control
Novel framework to support information security audit in virtual environment
Modelling the acquisition and representation of musical tonality as a function of pitch-use through self-organising artificial neural networks
The development of a new compiler-compiler front-end
Non-interference properties for nondeterministic processes
Parallel program monitoring : the logical clock approach and its deadlock avoidance
A computer flowsheeting programme incorporating algebraic analysis of the problem structure
Machine learning based mapping of data and streaming parallelism to multi-cores
Symmetry and degeneracy in nonconvex optimisation problems: application to heat recovery networks
A framework of hierarchy for neural theory
Neuronal signal modulation by dendritic geometry
Providing personalised information based on individual interests and preferences
An investigation into applying ontologies to the UK railway industry
Data driven mapping of the Drosophila larval central nervous system
The object and connection space approach to opening up hypermedia structure
An open approach to modular control systems for agile automations
Selective web information retrieval
A visual framework for formal systems development using interval temporal logic
The domain model of an adaptive learning system for poor comprehenders
Nonparametric enrichment in computational and biological representations of distributions
Computational tonality estimation : signal processing and hidden Markov models
On the design and implementation of a control system processor
Applications of arrayed waveguide gratings in future hybrid access network topologies
Computational methods toward early detection of neuronal deterioration
An investigation into possible attacks on HTML5 IndexedDB and their prevention
Gaussian process in computational biology: covariance functions for transcriptomics
Adaptation to unexpected changes : where ecosystems and multi-agent systems meet
A specialised constraint approach for stable matching problems
Some approaches to graph fragmentation with application to clustering geo-tagged data
Logic programming based information management tools for hypermedia systems
Structural plasticity on SpiNNaker
Anonymity and trust in the electronic world
Abstraction, refinement and concurrent reasoning
A corpus based approach to generalising a chatbot system
Multivariable control systems design using multiobjective evolutionary computing
antiTHESIS : the dialectics of software art
Enhancements & optimizations to H.264/AVC video coding
The principle-based parsing of natural language in the engineering of intelligent systems
Transparent user authentication for mobile applications
Multiresolution-based digital multimedia watermarking
Communication of inductive inference
ZFDSS : a formal development support system based on the liberal approach
Artificial intelligence : thought and content
Management of replicated data in large scale systems
Cooperative resource pooling in multihomed mobile networks
On exploiting spare capacity in hard real-time systems
Modifying landscapes with penalties in iterative improvement for solving distributed constraint satisfaction problems
Specialised global methods for binocular and trinocular stereo matching
HCI and re-making place
Extending functional databases for use in text intensive applications
Entropic optimal transport in machine learning: applications to distributional regression, barycentric estimation and probability matching
Verification in ASL and related specification languages
Cascade-correlation as a model of representational redescription
An approach to systematic software reuse based on plugging components into an architecture
Privacy-preserving targeted advertising for mobile devices
The management of risk awareness in relation to information technology (MERIT)
Traceability, linkability and policy hiding in attribute-based signature schemes
The design of special purpose finite element packages
Identification of a neural network for short term load forecasting
The N-computer : a data-flow bulk synchronous machine for data parallel programs
A blockchain-based approach for secure, transparent and accountable personal data sharing
Reverse engineering domain ontologies to conceptual data models
Aspects of simple scene analysis with learning networks
A model of neural sequence detectors for sentence processing
Robust fault diagnosis observer design using H#infinity# optimisation and #mu# synthesis
MMPTCP: a novel transport protocol for data centre networks
Reasoning about goal-plan trees in autonomous agents : development of petri net and constraint-based approaches with resulting performance comparisons
Support for flexible and transparent distributed computing