LECTURE NOTES IN COMPUTER SCIENCE

Series

Identifier:

E214442

ISSN:

1611-3349

Overview

Outputs (63)

A GPU-based Multi-Swarm PSO Method for Parameter Estimation in Stochastic Biological Systems Exploiting Discrete-Time Target Series

Conference Paper

A Nash bargaining solution for cooperative network formation games

Conference Paper

A low cost haptic mouse for prosthetic socket modeling

Conference Paper

A mobile application for the stereo acuity test

Conference Paper

A novel variant of P systems for the modelling and simulation of biochemical systems

Conference Paper

A reliability prediction method for abstract state machines

Conference Paper

Accessibility of Educational Software: From Evaluation to Design Guidelines

Conference Paper

Aligning and Labeling Genomes under the Duplication-Loss Model

Conference Paper

An abstraction technique for testing decomposable systems by model checking

Conference Paper

An environment for domestic supervised amblyopia treatment

Conference Paper

Architecting Explainable Service Robots

Conference Paper

Automatic 3D Reconstruction of Transfemoral Residual Limb from MRI Images

Conference Paper

BioSimWare: A software for the modeling, simulation and analysis of biological systems

Conference Paper

Children interpretation of emotional body language displayed by a robot

Conference Paper

CoMA: Conformance Monitoring of Java programs by Abstract State Machines

Conference Paper

Complexity Insights of the Minimum Duplication Problem

Conference Paper

Covering Pairs in Directed Acyclic Graphs

Conference Paper

Dealing with conflicting requirements in Robot System Engineering: A Laboratory-Based Course

Conference Paper

Design Abstraction and Processes in Robotics: From Code-Driven to Model-Driven Engineering

Conference Paper

Distributed shuffling for preserving access confidentiality

Conference Paper

Duplication-Loss Genome Alignment: Complexity and Algorithm

Conference Paper

Evolutionary Testing of PHP Web Applications with WETT

Conference Paper

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes

Conference Paper

Extending loose associations to multiple fragments

Conference Paper

Finding approximate and constrained motifs in Graphs

Conference Paper

First International Workshop on Model Based Engineering for Robotics (RoSym’10)

Edited Book

First Steps Towards a Wet Implementation for τ-DPP

Conference Paper

Gene Tree Correction by Leaf Removal and Modification: Tractability and Approximability

Conference Paper

Grid computing for sensitivity analysis of stochastic biological models

Conference Paper

Hints from the Crowd: A Novel NoSQL Database

Conference Paper

Integrated Management of Security Policies

Conference Paper

Making mainstreaming videogames more accessible: a pilot study applied to Buzz!TM Junior Monster Rumble for PlayStation

Conference Paper

Markerless motion capture integrated with human modeling for virtual ergonomics

Conference Paper

Maximum throughput network routing subject to fair flow allocation

Conference Paper

Minimum Leaf Removal for Reconciliation: Complexity and Algorithms

Conference Paper

Model-Driven Testing for Web Applications Using Abstract State Machines

Conference Paper

Online Testing of LTL Properties for Java Code

Conference Paper

Optimal node placement in distributed wireless security architectures

Conference Paper

Optimizing Integrity Checks for Join Queries in the Cloud

Conference Paper

Overcoming the Fragmentation: A Proposal of Model Ontology, Architecture System and Web-Based Implementation for Planning the Persons with Disability’s Life Project

Conference Paper

Parallelizing Biochemical Stochastic Simulations: A Comparison of GPUs and Intel Xeon Phi Processors

Conference Paper

Parameterized Complexity of k-Anonymity: Hardness and Tractability

Conference Paper

Physiologically inspired blinking behavior for a humanoid robot

Conference Paper

Preface [11th International Conference on Algorithmic Aspects in Information and Management, AAIM 2016; Bergamo; Italy; 18 July 2016 through 20 July 2016]

Chapter

Preface [a: Visual Privacy Management]

Chapter

Profiling robot-mediated play for children with disabilities through ICF-CY: The example of the European project IROMEC

Conference Paper

Resolving Rooted Triplet Inconsistency by Dissolving Multigraphs

Conference Paper

Resource Management in the Air Traffic Domain

Conference Paper

Restricted and Swap Common Superstring: A Parameterized View

Conference Paper

SMT-based automatic Proof of ASM model refinement

Conference Paper

Should Empathic Social Robots Have Interiority?

Conference Paper

Simulation, Modeling, and Programming for Autonomous Robots: Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings

Edited Book

Test Generation for Sequential Nets of Abstract State Machines

Conference Paper

The Hints from the Crowd Project

Conference Paper

Towards ASM-based formal specification of self-adaptive systems

Conference Paper

Towards an interchange language for ASMs

Conference Paper

Towards guidelines on educational podcasting quality: problems arising from a real world experience

Conference Paper

Towards inverse uncertainty quantification in software development

Conference Paper

Unsupervised Video Anomaly Detection with Diffusion Models Conditioned on Compact Motion Representations

Conference Paper

Using robots in education and therapy sessions for children with disabilities: Guidelines for teachers and rehabilitation professionals

Conference Paper

Visual representation of dynamic pressure map on the digital human model of patient with a lower limb prosthesis

Chapter

Wildfire susceptibility maps flexible querying and answering

Conference Paper

cupSODA: a CUDA-powered simulator of mass-action kinetics

Conference Paper

No Results Found

LECTURE NOTES IN COMPUTER SCIENCE

Overview

Outputs (63)