yusuke1997/dblp-id-title huggingface dataset:
Image source identification and characterisation for forensic analysis
An Integrated Cybersecurity Risk Management (I-CSRM) framework for critical infrastructure protection
A rigorous approach to engineering web service compositions
Variable neighbourhood search based heuristic for K-harmonic means clustering
Structured argumentation for simulation-based research
A workload-specific performance brokerage for infrastructure clouds
Designing a reliable publishing framework
Performance of CFD solver on GPU
Statistical techniques and project monitoring
WebCOM: a communication framework for CSCW applications
Gamut mapping and appearance models in graphic arts colour management
The application of the information architecture method to design an intuitive haptic interface
Computing symbolic bisimulations for multiway synchronising processes
Software dependability demonstration for safety-critical military avionics systems by statistical testing
Contract related agents
Expressive reversible language: aspects of semantics and implementation
TAO - a model for the integration of concurrency and synchronisation in object-oriented programming
Automatic identification of segments in written texts
Data input for scientific visualization
Dense vision in image-guided surgery
Hackers gonna hack: investigating the effect of group processes and social identities within online hacking communities
Efficient graph construction for similarity search on high dimensional data
Nominal tense logic and other sorted intensional frameworks
Artificial intelligence and its application in architectural design
Cyber wargaming: finding, designing, and playing wargames for cyber security education
Investigating evolutionary checkers by incorporating individual and social learning, N-tuple systems and a round robin tournament
On the use of process algebra techniques in computational modelling of cancer initiation and development
Decomposing & mapping neural systems onto general-purpose parallel machines
A novel approach for continuous speech tracking and dynamic time warping: adaptive framing based continuous speech similarity measure and dynamic time warping using Kalman filter and dynamic state model
A program transformation system
Incorporating inter-sample variability into cardiac electrophysiology simulations
Exploration and mapping of spatio-temporal pedestrian flow patterns for mobile robots
Designing efficient zero-knowledge proofs in the ideal linear commitment model
Distributed recovery in fault-tolerant interconnected networks
Developing artificial life simulations of vegetation to support the virtual reconstruction of ancient landscapes
An interactive raster graphics system and language for artists and designers
Adaptive scaling of evolvable systems
Contribution to agents-based negotiation and monitoring of cloud computing service level agreement
Completeness of the ZX-calculus
Design and process variation analysis of SRAM architectures
A network-based asynchronous architecture for cryptographic devices
Interactive fluid-structure interaction with many-core accelerators
Preferences in evolutionary multiple criteria decision making optimisation
Load balancing and context aware enhancements for RPL routed Internet of Things
From interactive to semantic image segmentation
Static allocation of computation to processors in multicomputers
Improving the computational speed of genetic programming
Automating game-design and game-agent balancing through computational intelligence
High-level interpretive languages and real-time programming
Application of generalized finite automata methods to image authentication and copyright protection
Analysing web-based malware behaviour through client honeypots
Investigating seamless handover in VANET systems
A study of simulated annealing techniques for multi-objective optimisation
Local and global models for articulated motion analysis
Motion estimation of a flexible robotic manipulator with vibration and vision sensing
Towards reliable logging in the Internet of Things networks
A string-oriented technique for the analysis of medium sized computer programs to recognise and expose sections which could be performed in parallel
Modelling and reasoning about dynamic networks as concurrent systems
Efficient zero-knowledge proofs and their applications
Advancing large scale object retrieval
The application of a formal development method to a parallel machine environment
Swarm-inspired solution strategy for the search problem of unmanned aerial vehicles
The generation of depth maps via depth-from-defocus
A distributed and-or parallel Prolog network
Measuring operational realities of security and privacy for deployed avionics
Gaussian processes for modeling of facial expressions
Structural design and formal methods
Programming model for a computer architecture base on free-space optical communications
25 years of network access technologies : from voice to internet : the changing face of telecommunications
Conceiving systems
Appearance-based methods for object recognition and visual localisation from hand-held and wearable cameras
Multi stage noise shaping (MASH) sigma delta modulator for capacitive MEMS inertial sensors
The External Tape Hypothesis : a Turing machine based approach to cognitive computation
Active and reconfigurable millimetre-wave antennas and systems
Dense visual SLAM
Hybrid probabilistic broadcast schemes for mobile ad hoc networks
Aspects of lexical development in artificial neural networks
An approach to automatic batch production systems, via a general problem-solving system
H.264 encoded digital video protection using temporal redundancy LSB steganography
Using class memory automata in algorithmic game semantics
Stability analysis of Fuzzy-Model-Based control systems and its application to control of continuum manipulators
An expert systems approach to model based signal processing of shock phenomena
Estimating optical flow in underwater images : methods and simulation-based evaluation
Towards increasing the use of computerised information systems and data quality in schools : the State of Selangor, Malaysia
Analysis of 3D face reconstruction
Scalable rendering of data visualisations using web frameworks
Playful networks : measuring, analysing and understanding the social effects of game design
Formalised responsibility modelling for automated socio-technical systems analysis
Model based development using triple graph grammars for data sharing and synchronisation in graph databases
A graphical management system for semantic muiltimedia databases
Improvements to multivariable systems under computer control
Skill determination from long videos
On bisimulation and model-checking for concurrent systems with partial order semantics
Parallel algorithms for the force-field method in molecular modelling
Infrastructures for virtual computing: computing utilities and software services in the next generation Internet
A concurrency control framework for cooperative design
Gaussian processes for data scarcity challenges
Designing for shareable interfaces in the wild
Internet of Things for long distance parent-adult child relationships
Cancellable biometric using matrix approaches
Distributed parameter theory in optimal control
Quality evaluation of medical ultrasound videos for e-health and telemedicine applications
Problem models for rule based planning
How can the teaching of programming be used to enhance computational thinking skills?
Preference-inspired co-evolutionary algorithms
Efficient SMT-based verification of software programs
Learning compound noun semantics
Contextual information for object detection
Efficient iterative solution algorithms for numerical models of multiphase flow
Methods for control optimisation which avoid direct solution of system dynamical equations
Distress detection
Output sampling based sliding mode control for discrete time systems
An object oriented and visual data analysis environment : semantics and pragmatics of multi language programming
The application of software visualization technology to evolutionary computation : a case study in Genetic Algorithms
DNA computation
Atomic and Optical Realizations of Cluster Quantum Computation
Methods of connecting multi-block structured meshes for CFD applications
Combining meta information management and reflection in an architecture for configurable and reconfigurable middleware
Establishing design principles for augmented reality for older adults
Arguing security : a framework for analyzing security requirements
ADDS : An Ada dialogue development system
The cybernetics of nonzero sum games : the prisoner's dilemma reinterpreted as a pure conflict game with nature, with empirical applications
Prototyping tools for parallel program design
A software engineering approach for agent-based modelling and simulation of public goods games
The productivity of polymorphic stream equations and the composition of circular traversals
Supporting members of online communities through the use of visualisations
Query processing in temporal object-oriented databases
Supervised learning in multilayer spiking neural networks
Secure provenance-based auditing of personal data use
Reflection and personal health informatics for people living with HIV
Simple synchrony networks : a new connectionist architecture applied to natural language parsing
Composition integrity framework : an integrity monitor for aspect-oriented programs
Informing multisource decoding in robust automatic speech recognition
A one hop overlay system for mobile ad hoc networks
Computational models for functional near-infrared spectroscopy and imaging
Fast iterative methods for solving large systems arising from variational models in image processing
Formal description and applications assessment of a Solomon type parallel architecture
Multi evidence fusion scheme for content-based image retrieval by clustering localised colour and texture features
An improved computational model for effective 3D animation
Creative aspects of problem solving : A critical analysis and explanation of the attribution of meaning during interactive problem solving sessions, sequences and simulations
Techniques for performance based, real-time facial animation
Passenger train unit scheduling optimisation
The application of classical architectural criteria to 3D digital library design to enhance the learner experience
Recognition of mathematical handwriting on whiteboards
Machine assisted proofs of recursion implementation
Fuzzy and tile coding approximation techniques for coevolution in reinforcement learning
Tabletop interfaces for remote collaboration
Online network intrusion detection system using temporal logic and stream data processing
Logic, computation and constraint satisfaction
Optimisation analytics for bandwidth resource management in converted IP networks
An Evolutionary Approach to Control Design with Applications
An investigation of real-time generation of test vectors for ASIC logic verification
Robust learning of acoustic representations from diverse speech data
A semi-automated FAQ retrieval system for HIV/AIDS
Methodology to support system builders in the optimisation of a competence network
Enhancing the soft proofing paradigm
Optimisation of the enactment of fine-grained distributed data-intensive work flows
The role of multisensory feedback in the objective and subjective evaluations of fidelity in virtual reality environments
A calculus of mobility and communication for ubiquitous computing
An improved tool for automated compiler construction
Development of a grid computing infrastructure to support combinatorial simulation studies of pollutant organic molecules on mineral surfaces
A testbed for embedded systems
Computer-based management information systems: some factors in their design and implementation
Implementing functional languages for parallel machines
Genetic local search algorithms for selected graph problems
SUBSEE: an exploration and development of the 3D visualisation and grading of subsea survey data
Management of the quality of video services in ATM networks
ATLAS : a natural language understanding system
Holistic indoor scene understanding, modelling and reconstruction from single images
A framework for continuous, transparent authentication on mobile devices
Adaptive techniques for BSP Time Warp
Building transformative framework for isolation and mitigation of quality defects in multi-station assembly systems using deep learning
Multi-objective genetic programming with an application to intrusion detection in computer networks
Mobile user authentication system (MUAS) for e-commerce applications
Learning organisation based intelligent tutoring system for power utilities
Development of a multi-objective variant of the alliance algorithm
Extending an open hypermedia system to a distributed environment
Online video analysis for abnormal event detection and action recognition
Cross-modal classification and retrieval of multimodal data using combinations of neural networks
Dynamic configuration of distributed multimedia components
COMX : a methodology for the formal design of computer systems using communicating X-machines
The dynamic selection of coordination mechanisms in multiagent systems
IaaS-cloud security enhancement: an intelligent attribute-based access control model and implementation
Management cybernetics : computer simulation models of operational management organizations
Computer processors which behave like unicellular organisms : a thesis in artificial life
Speed Sensorless Control for Induction Motor Drives with AI-Based MRAS
The impacts of domestic media and ICT: a study of digital technology, energy consumption, data demand and everyday practice
The user-safe device I/O architecture
Geometric algorithms and data structures for CAD/CAM
Deep learning for facial emotion recognition
Modelling Agile software processes using bayesian networks
Unpacking collaboration in pair programming in industrial settings
Big data psychology
Compiler architecture using a portable intermediate language
Deep learning and interpolation for featured-based pattern classification
Visual identification of fine surface incisions
Learning non-rigid, 3D shape variations using statistical, physical and geometric models
Managing innovation networks: a case of information system transformation in Chinese hospitals
Using machine learning for decoy discrimination in protein tertiary structure prediction
Functional verification coverage closure
Evaluation of millimetre-wave coherent scattering from a sea surface covered by foam modelled as sequences of thin phase-scattering screens using split-step Fourier method
Effective tutoring with empathic embodied conversational agents
A framework for relating, implementing and verifying argumentation models and their translations
The affordances of virtual world technologies to empower the visualisation of complex theory concepts in computer science: enhancing success and experience in higher education
Detection of thin structures in biomedical images
Cooperative manipulation of highly articulated and continuum surgical robots in confined spaces
An investigation into approaches to text-to-speech synthesis for Modern Standard Arabic
Dynamic data-driven framework for reputation management
An investigation into the use of AffectiveWare in interactive computer applications
A skeleton-based approach for distributed real-time systems design and implementation
Exploiting application parallelism in production systems
Context-aware and secure workflow systems
Task formulation in usability testing
Appropriate security and confinement technologies: methods for the design of appropriate security and a case study on confinement technologies for desktop computers
Workload-sensitive approaches to improving graph data partitioning online
Deep neural network acoustic models for multi-dialect Arabic speech recognition
A fuzzy non-dominance approach for network routing with inaccurate information
Applications of e-commerce across the manufacturing supply chain to achieve the promise of e-manufacturing
An analysis of TLS 1.3 and its use in composite protocols
First-order gradient regularisation methods for image restoration: reconstruction of tomographic images with thin structures and denoising piecewise affine images
Capturing knowledge of user preferences with recommender systems
Detection and resolution of modality conflicts in policy-based management systems
Web design guidelines for text presentation for older people : empirical evidence from Thailand and the UK
Using goal structure to direct search in a problem solver
A unified programming system for a multi-paradigm parallel architecture
A framework for interpretivist information systems : identifying the key elements
Efficient and effective sharing of memory in virtual machine monitors
A real time implementation of a neuromorphic optic flow algorithm
Automated software development and model generation by means of syntactic and semantic analysis
Domain-aware ontology matching
Object recognition by region matching using relaxation with relational constraints
SQL pattern design, development & evaluation of its efficacy
What makes people click: assessing individual differences in susceptibility to email fraud
The interaction between fault tolerance and security
Multilanguage generative programming techniques for the codesign of hardware/software subsystems
Videos in context for telecommunication and spatial browsing
A connectionist model using topological representation of state space graphs for sequence recognition
A critical study of issues of teacher professional development in the implementation of an information technology initiative in a Hong Kong secondary school
Generic evolutionary design of solid objects using a genetic algorithm
Specification and proof in real-time systems
Open or closed? : the politics of software licensing in Argentina and Brazil
Model-based speech enhancement
Policy-based asset sharing in collaborative environments
High quality texture synthesis
Natural language acquisition in large scale neural semantic networks
Runtime detection and prevention for Structure Query Language injection attacks
The discourse structure of Email discussions
The 'Conductor Interaction Method': interacting using hand gestures and gaze
Acoustic approaches to gender and accent identification
An investigation of parallelism in document processing
Evaluating formal specifications : a cognitive approach
Foundations of a Constructivist Memory-Based approach to Cognitive Robotics
High frequency internet protocol for wide area networks
Ontological interpretation of network monitoring data
Inferring facial and body language
Design and development of a novel dielectric elastomer travelling wave actuator
Open component-oriented multimedia middleware for adaptive distributed applications
Network traffic behaviour profiling
A human centric approach to the Internet of Things
Towards efficacious groupware development : an empirical modelling approach
An executable meta-language for inductive definitions with binders
JIT-based cost models for adaptive parallelism
Stereoscopic correspondence processes applied to linear features
Parallelising implicit methods on unstructured grids
The design and implementation of a portable operating system for microcomputers
Managing security and compliance risks of outsourced IT projects
Cooperative guided local search
Lazy functional components for graphical user interfaces
Background-free detection and mixed-species crystals in micro- and macroscopic ion-traps for scalable QIP
Agent-based trust and reputation in the context of inaccurate information sources
Designing spatio-temporal information systems : an object-oriented approach
An investigation of the role of simulation in the performance prediction of data parallel Fortran (HPF) programs
Physics-based vision meets deep learning
A software perspective on infinite elements for wave diffraction and wave forces on marine risers
Games promoting the development of virtual inquiry-based learning community: an exploratory study
Optimal utilization of historical data sets for the construction of software cost prediction models
Data Reuse and Parallelism in Hardware Compilation
Supporting the transfer of learning of freehand gestures
Indexed dependence metadata and its applications in software performance optimisation
Compositional dependability analysis of dynamic systems with uncertainty
Generating and sharing differentially private spatio-temporal data using real-world knowledge
A real-time auditory spectograph
Use of radical features in Chinese medical text mining
A society of mind approach to cognition and metacognition in a cognitive architecture
Integrated Storage Area Networks (INSTANT)
A systems approach to spatio-temporal modelling
Calculi for higher order communicating systems
Evaluation and enhancement of public cyber security awareness
On the science of grasping: modelling grasp affordances in robotics from human analysis
Structural results for total search complexity classes with applications to game theory and optimisation
Compiling with data dependence graphs
Class-agnostic maritime object detection
Lexical acquisition at the syntax-semantics interface : diathesis alternations, subcategorization frames and selectional preferences
Poiesis in/between the transferential matrix: insight, imagination and the relational interpretation
Knowledge discovery from distributed aggregate data in data warehouses and statistical databases
Design of a wireless intelligent fuzzy controller network
Aneesah: a novel methodology and algorithms for sustained dialogues and query refinement in natural language interfaces to databases
The study and application of the static and dynamic evaluation of source programs
Computing global configuration-space maps using multidimensional set-theoretic modelling
Putting trajectories to work: translating a HCI framework into design practice
Accelerating iterative methods for solving systems of linear equations using FPGAs
The critical success factors of quality assurance and measurement practice in the software industry
Laser-induced forward transfer techniques for printing functional materials and photonic devices
Scaffolding for social personalised adaptive e-learning
Advanced cryptographic system : design, architecture and FPGA implementation
Visual and by-example interactive systems for non-programmers
General Input-Output Computer-Aided Study of Multivariable Nonlinear Control Systems
Sound for the exploration of space physics data
Formalising the extended object-oriented database model
Performance evaluation for tracker-level fusion in video tracking
On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics
A holistic approach to assessment of value of information (VOI) with fuzzy data and decision criteria
Distributed and privacy preserving algorithms for mobility information processing
The manipulation of schematic correspondences with the quantification of uncertainty in dataspaces
Adaption of reference patterns in word-based speech recognition
Guessing human-chosen secrets
A framework for hand gesture recognition in desktop environment
A theory of program refinement
Analysis of category co-occurrence in Wikipedia networks
Mathematical semantics and compiler generation
The use of logic in the provision of knowledge base systems
Towards efficient horizontal federated learning
Statistical inference in generative models using scoring rules
Analysis of craquelure patterns for content-based retrieval
Heuristic and decision tree methods on computers : some operational research applications
An approach to protection through capabilities
A synergistic reputation-policy based trust model for Grid resource selection
The school timetabling problem : a new formulation
Chained negotiation for quality of service in distributed notification services
Learning by game-building in theoretical computer science education
Enhancing collaborative interactions between diverse team members
Non-numerical parallel algorithms for asynchronous parallel computer systems
A framework for the transformation of the creative industries in a digital age