yusuke1997/dblp-id-title huggingface dataset:
A story model of report and work in neuroradiology
Modular verification of equivalence for memory allocating procedures
Fullerene based systems for optical spin readout
Software reliability prediction
Toward least-privilege isolation for software
Subspace discovery for video anomaly detection
Mining intrusion detection alert logs to minimise false positives & gain attack insight
Intelligent associations selection in intelligent inhabited environments and artefacts
Continuous variables and quantum computation
Analysis for EDF Scheduled Real Time Systems
Problem solving by program generation
A study of the lexicography of computing and information technology and its practical applications
New approaches for text readability
Assessment of quality of experience of high dynamic range images using the EEG and applications in healthcare
Formal relationships in sequential object systems
Runtime verification of deontic and trust models in multiagent interactions
On reconciling conflicting updates (a compromised revision approach)
Algorithms for partitioning well-clustered graphs
Resource constrained signal processing algorithms and architectures
Real-time signal processing for flying height measurement and control in hard drives subject to shock and vibration
Robust generation of 3D models from video footage of urban scenes
Market prediction for SMEs using unsupervised neural networks
The suitability of the dendritic cell algorithm for robotic security applications
Real-time refinement in an object-based framework
Towards verified file systems
A socio-cognitive theory of information systems and initial applications
Design and Modelling of Multimedia Information Systems with Semiotic Agents
On latency in the Internet of Things
Machine learning approaches and web-based system to the application of disease modifying therapy for sickle cell
Profile-directed specialisation of custom floating-point hardware
An adaptive multi-functional framework to learn, apply and consult procedures
Organizing the execution of transportation tasks under spatial, temporal and other constraints
Using formal specifications to enhance the software testing process
Quantum algorithms for simulating quantum systems
Risk reduction through technological control of personal information
A multi-layer model for e-government information security assessment
Digital camera identification using sensor pattern noise for forensics applications
Towards the use of visual masking within virtual environments to induce changes in affective cognition
Automating the repair of faulty logical theories
Two variable and linear temporal logic in model checking and games
Analysing the resolution of security bugs in software maintenance
Facilitating the development of location-based experiences
Enhancing recall and precision of web search using genetic algorithm
Standard CMOS floating gate memories for non-volatile parameterisation of pulse-stream VLSI radial basis function neural networks
Computational hypothesis generation with genome-side metabolic reconstructions: in-silico prediction of metabolic changes in the freshwater model organism Daphnia to environmental stressors
Efficient, concurrent Bayesian analysis of full waveform LaDAR data
Enhanced threshold schemes and their applications
Programming and compiling for embedded SIMD architectures
Improving the currency of information in large-scale grid information systems
Data mining using the crossing minimization paradigm
Modelling the computerised clinical consultations : a multi-channel video study
A methodology to define world models for flight simulation visual system databases
Semantic chunking
The Sea of Stuff: a model to manage shared mutable data in a distributed environment
IfD - information for discrimination
Efficient ordinary differential equation-based modelling and skin deformations for character animation
Adaptive resolution video coding
A high order Discontinuous Galerkin - Fourier incompressible 3D Navier-Stokes solver with rotating sliding meshes for simulating cross-flow turbines
An argumentation framework supporting evidential reasoning with applications to contract monitoring
Repetition priming of facial expression recognition
Type assignment in programming languages
Geographic Routing (GR) in Delay/Disruption Tolerant Networks (DTNs)
Control of three-level 5-phase induction machine drive system
Application of recent programming techniques to data processing
Human pose estimation from sparse 3D data on low power systems
A mixed methods investigation into adolescents' use of mental health apps
DOKY: a multi-modal user interface for non-visual presentation, navigation and manipulation of structured documents on mobile and wearable devices
Interacting with semi-automated theorem
Investigating field dependence in the design of adaptive hypermedia systems
Natural Language Processing methods for short informal text
An analysis of interaction in the context of wearable computers
Deep complex-valued neural networks for natural language processing
Human action recognition from relative motion
Towards a level set reinitialisation method for unstructured grids
Knowledge discovery in hybrid knowledge representation systems
Directed intervention crossover approaches in genetic algorithms with application to optimal control problems
Heuristic methods for coalition structure generation
Photo response non-uniformity based image forensics in the presence of challenging factors
Design models for recursive binary neural networks
Web commerce usability : a user centred design method for web commerce systems
A distributed compilation system
Semantic multimedia modelling & interpretation for annotation
Connectionist architectures for language disorder simulation
Type theory in a type theory with quotient inductive types
Web user requirements : a support framework for students
Run-time monitoring of goal-oriented requirements specification
Lattices in cryptology
Nanostructured polymers : morphology and properties
Automated prototype induction
Homomorphic encryption in algebraic settings
Software as a weapon: concepts, perceptions, and motivations in pursuit of a new technology of conflict
Simulation modelling of complex human policy issues : towards a broad interdisciplinarity
Weakly supervised sentiment analysis and opinion extraction
Optimised editing of variable data documents via partial re-evaluation
The application of visual programming to courseware authoring
Feature selection via joint likelihood
Question-driven text summarization with extractive-abstractive frameworks
Segmentation of motion picture images and image sequences
Dense motion capture of deformable surfaces from monocular video
Software sizing for cost/schedule estimation
Examining individual differences through 'everyday' smartphone behaviours: exploring theories and methods
Tutoring systems based on user-interface dialogue specification
Software Defined Networking: network intrusion detection system
Adaptive, curvature-sensitive mesh and medial axis construction
Visual/acoustic detection and localisation in embedded systems
Adaptive compression algorithm for full colour three dimensional integral images
Use of program and data-specific heuristics for automatic software test data generation
Behavioural morphisms in virtual environments
A semantically aware transactional concurrency control for GPGPU computing
Bulk primitives in Linda run-time systems
A phylogenetic approach for hardware design and ontogentic architectures : Towards efficient and reliable bio-inspired hardware systems
Safe and scalable parallel programming with session types
Error resilient scalable video coding
Dynamic discovery, creation and invocation of type adaptors for Web Service workflow harmonisation
Efficient feature extraction based on two-dimensional cepstrum analysis for speech recognition
Improved load-balancing for a chord-based peer-to-peer storage system in a cluster environment
Problem dependent metaheuristic performance in Bayesian network structure learning
Automated object segmentation in existing industrial facilities
Feature generation and dimensionality reduction using genetic programming
Wireless communications for smart grid neighbourhood area networks
The application of an electronic digital computer to problems in mathematics and physics
Financial methods for online advertising
Continuous-variables quantum cryptography: asymptotic and finite-size security analysis
More is better: 3D human pose estimation from complementary data sources
A middleware service for fault-tolerant group communications
Independent sets in line of sight networks
Mobility support for IP-based wireless networks
Learning computer architecture concepts through interactive modelling
Context-aware software
Canonical correlation analysis and artificial neural networks
Mobile application of artificial intelligence to vital signs monitoring : multi parametric, user adaptable model for ubiquitous well-being monitoring
Stylised procedural animation
Trajectory optimization for a supersonic transport
Exploring embedding vectors for emotion detection
The role of effort in security and privacy behaviours online
Integrated information model for managing the product introduction process
Digital guidance of an unmanned battery electric vehicle
Honeypot boulevard: understanding malicious activity via decoy accounts
Three-dimensional interactive connection diagrams for knowledge engineering
Optimizing network coding algorithms for multiple applications
Reconfigurable computing for shape-adaptive video processing
Facial shape analysis
Automatic conversion of serial to parallel programs and the organization of computer systems for their execution
Mining and analysing social network in the oil business : Twitter sentiment analysis and prediction approaches
Handover issues in DVB-H and in converged DVB-H/UMTS networks
Wired for sound : on the digitalisation of music and music culture
An interpretive real-time language for process control : 'Arcol', implementation in distributed process control environment
Representation and adaptation of high level object-oriented models for reuse
Recurrent neural networks for text classification of news articles from the Reuters Corpus
Addressing syntactic privacy for privacy-preserving data analysis and data release
An explainable AI approach to process data in mixed reality environments for field service operations
3D scene analysis through non-visual cues
Credibility assessment for Arabic micro-blogs using noisy labels
Technology enhanced teacher-learning in rural Bangladesh : a critical realist inquiry with secondary teachers of English
Causal effects of wiki site design on anxiety and usability
Motivators and de-motivators in software process improvement : an empirical study
Strategies for image visualisation and browsing
Context-aware aided parking solutions based on VANET
Models for QoS mapping of IP flows over ATM cell streams
On the porting and optimisation of physics simulations for heterogeneous parallel processors
Semantic matching of bioinformatic web services
Low power digital self organising map
The pragmatic formalization of computing systems relative to a given high-level language
Differential dynamic programming methods for determining optimal control of non-linear systems
Vulnerability analysis of infrastructure networks
Method integration for real-time system design and verification
Time interleaved counter analog to digital converters
General theory relating to the implementation of concurrent symbolic computation
The role of object recognition in active vision : a computational study
Justification based explanation in ontologies
Heterogeneous processor composition: metrics and methods
Machine-assisted theorem-proving for software engineering
The use of explicit intermediate representations in intelligent tutoring systems
Design of high frequency ultrasonic array transducers for medical imaging
The implementation of knowledge management systems : an empirical study of critical success factors and a proposed model
Local pattern mining in multi-relational data
On the discretisation of actuation in locomotion: impulse- and shape-based modelling for hopping robots
Applying pause analysis to explore cognitive processes in the copying of sentences by second language users
Decentralised compliant control for hexapod robots : a stick insect based walking model
Subcategorization acquisition
From sentiment analysis to choreography of emotions: social media analysis for improved customer relationship management (CRM) in the Omani telecom sector
Olfactory processing and coding in insects
The data integrity problem and multi-layered document integrity
Developing efficient and effective intrusion detection system using evolutionary computation
Multimodal machine learning for intelligent mobility
Fault detection in uncertain systems using neuro-fuzzy modelling
Body of glass : cybernetic bodies and the mirrored self
Intelligent analysis for multi-level data-driven prediction
Furthering Datalog in the pursuit of program analysis
Construction and study of mathematical models firmly based on neurophysiological data to investigate Parkinson's disease and epilepsy
Architectures for untethered augmented reality using wearable computers
Improving typography and minimising computation for documents with scalable layouts
Large scale pattern detection in videos and images from the wild
The engineering of data structures
MAC enhancements for high speed wireless LANs
Investigating the sense of agency in human-computer interaction
Automatic verification of stochastic processes: certification of building automation systems
Learning machines for pattern recognition
Malware detection in security operation centres
Discrete analysis of continuous behaviour in real-time concurrent systems
The design of a cost-effective high performance graphics processor
Investigating and modelling rationale style arguments
New computational method to estimate the effect of roughness on scattering loss and its implementation in a hybrid heterojunction optical modulator
The matching unit of the Manchester data-flow computer : a pseudo associative store with hardware hashing
Localisation and obfuscation techniques for enhanced multi-factor authentification in mcommerce applications
Digital rights management techniques for H.264 video
Bearicade: a novel high-performance computing user and security management system augmented with machine learning technology
Model checking GSM-based multi-agent systems
Modified transmission and fluorescence in aperiodic and biomimetic photonic crystals
Supporting multimedia user interface design using mental models and representational expressiveness
Towards an efficient indexing and searching model for service discovery in a decentralised environment
Axis : integrating group communication and information sharing to support an evolving group memory
Information extraction from pharmaceutical literature
Blind image deconvolution using approximate greatest common divisor and approximate polynomial factorisation
Robust coding and its implications on neural information processing
Long-term transport support mechanisms for next generation geo satellite access networks
Optimal techniques for on-line control systems with an application to the control of a power-station boiler
Addressing energy efficiency in system design: a journey from architecture to operation
Adaptive energy management mechanisms for cluster based routing wireless sensor networks
Towards formalisation of situation-specific computations in pervasive computing environments
Quantifying information flow
A programmable transaction mechanism to support cooperative work
Factor regression for dimensionality reduction and data integration techniques with applications to cancer data
The use of business rules as the locus of change in information systems
Language interoperability and logic programming languages
Smart energy feedback in the home: the effect of disaggregation and visualisation on householders' comprehension of electricity data
Summarizing video for improved navigation and browsing
Quantum-assisted multi-user wireless systems
Testing the dependability of dynamic binding in service-oriented computing
Unified GUI adaptation in Dynamic Software Product Lines
Internet and the public sphere in the Indonesian Islamic boarding schools (Pondok Pesantren): power, piety, and the popular
Microprocessor control of discrete clinical chemical analyzers
Developing and evaluating the driving and powertrain systems of automated and electrified vehicles (AEVs) for sustainable transport
BioFace: bio-inspired face detection
A visual design method and its application to high reliability hypermedia systems
Trust and security risks in mobile banking
High speed and actively stabilised quantum key distribution
Technology enhanced accessible interaction framework and a method for evaluating requirements and designs
Computational proxemics: simulation-based analysis of the spatial patterns of conversational groups
Development of novel security mechanisms for ISO-OSI physical and network layers
Combining rough and fuzzy sets for feature selection
Can artistic methods be used to improve the perception of depth in pictures?: an investigation into two methods
Crowd control and management enterprise modelling (CCMEM) utilising the MECCA (mega event coordination and control architecture) framework
Partitioning algorithms for induced subgraph problems
Multiple self-organised spiking neural networks
The use of proof plans for transformation of functional programs by changes of data type
Heart data analysis, modelling and application in risk assessment
Abstracting network policies
The domain name system advisor: a model-based quality assurance framework
Noise-induced cooperative dynamics and its control
Investigation on the deformation of cutaneous blood vessel in relation to pressure ulcer formation by computational modelling
Principled design of nature inspired optimizers-generalizing a formal design methodology
System steganalysis: implementation vulnerabilities and side-channel attacks against digital steganography systems
Abstract hoare logic
Computer aided reliability prediction
AC electrokinetic analysis of chemically modified microparticles
Automated mixed resolution acyclic tiling in reinforcement learning
Peer-to-peer update dissemination in browser-based networked virtual environments
A structured document model
Parallel and distributed simulation of timed Petri nets
EMA : implementing the rewriting computational model of Escher
An editor and transformation system for a Z animation CASE tool
A pragmatic Bayesian approach to wind field retrieval
Extracting depth information from photographs of faces
Robust statistical deformable models
MUITS : a multi-window for Time-sharing Systems
Model abstraction and reusability in a hierarchical architecture simulation environment
Adaptive wireless multimedia systems
An extensible system for the automatic transmission of a class of programming languages
Considerations in designing a cybernetic simple 'learning' model; and an overview of the problem of modelling learning
Resource reservation in shared and switched demand priority local area networks
Centralized random backoff for collision free wireless local area networks
Interactive graphical support for sequential and concurrent programming
Software evolution through UML-models extraction
An operational theory of relative space efficiency
A refinement calculus for concurrent systems with communications
Efficient visual search of images videos
A generic architecture for interactive intelligent tutoring systems
Self-correcting strategy for networks-on-chip interconnect
Structural defects and critical phenomena from a quantum information theory perspective
Mathematical logic applied to the semantics of computer programs
Computer aided system for intelligent implementation of machine tool error reduction methodologies
The impact of petri nets on system-of-systems engineering
Flow effect on thrombus formation in stenosed coronary arteries : a computational study
Changing the way the world thinks about computer security
User aspects of stereoscopic 3D video interaction
Visual tracking over multiple temporal scales
An energy aware and secure MAC protocol for tackling denial of sleep attacks in wireless sensor networks
Optimising social welfare in practical cooperative settings
Restructuring web service interfaces to support evolution
A rule-based approach to animating multi-agent environments
Intelligent dynamic caching for large data sets in a grid environment
Informing dialogue strategy through argumentation-derived evidence
Parameterising and modelling the Internet topology
Shape theory and mathematical design of a general geometric kernel through regular stratified objects
Learning lost temporal fuzzy association rules
Automatic data transfer from CAD to CAPP for prismatic components
Lossless and nearly lossless digital video coding
Development of tangible acoustic interfaces for human computer interaction
Applying artificial intelligence planning to optimise heterogeneous signal processing for surface and dimensional measurement systems
Robust analysis and synthesis for uncertain negative-imaginary systems
An architecture for mobile communications in hazardous situations and physical disasters
Colourful life in cyberspace and the real world : visualising urban wi-fi landscapes with web colours
The construction of academic timetables by computer
Exploring engagement in vlogs through content, context and presence
Adoption and implementation of information technology in Egypt : the influence of individual, innovation, organizational and environmental characteristics (the case of database management system)
Formal language for statistical inference of uncertain stochastic systems
Development and evaluation of neural network models for cost reduction in unmanned air vehicles
Implementation techniques for object-oriented systems
The application of distributed and mobile computing techniques to advanced simulation and virtual reality systems
The summarization and categorization of electronic mail messages
Online and verification problems under uncertainty
An intelligent question : answering system for natural language
User profiling in the intelligent office
Contributions to the theory and applications of genetic algorithms
Selecting and tailoring of images for online news content: a mixed-methods investigation of the needs and behaviour of image users in online journalism
Connectionism in expert systems
A framework for dynamic modelling of spatiotemporal systems
Intelligent real-time decision support systems for road traffic management : multi-agent based fuzzy neural networks with a GA learning approach in managing control actions of road traffic centres
Distributed system specification using a temporal-causal framework
Anarchic techniques for pattern classification
Towards uncertainty-aware and label-efficient machine learning of human expressive behaviour
The construction of artificial persons as a research strategy in cognitive science
Investigating the requirements of a pedagogy for programming
Automated unit testing of evolving software
Designing an enhanced web user experience : the use of 'emotional probes' as a user-centred methodology for designing emotionally-engaged web interaction
The application of parallel computation to the model-matching problem
Some factors affecting the fatigue resistance of rubber springs
Complex event detection in dense wireless sensor networks
Genes contributing to variation in fear-related behaviour
A distributed execution engine supporting data-dependent control flow
Visual demand evaluation methods for in-vehicle interfaces
Network-based management for optimising video delivery
Mango: a model-driven approach to engineering green Mobile Cloud Applications
Energy-aware scheduling in decentralised multi-cloud systems
Conceptual geometric reasoning in artificial intelligence and engineering
Digital signal and image processing techniques for ultrasonic non-destructive evaluation
Artificial intelligence for cognitive agents and intelligent environments
Generic multiple object tracking
Magnetoencephalography in a virtual environment
Compilers that learn to optimise : a probabilistic machine learning approach