Codice:
E214442
ISSN:
1611-3349
Dati Generali
Pubblicazioni (62)
A Nash bargaining solution for cooperative network formation games
Contributo in Atti di convegnoA low cost haptic mouse for prosthetic socket modeling
Contributo in Atti di convegnoA mobile application for the stereo acuity test
Contributo in Atti di convegnoA novel variant of P systems for the modelling and simulation of biochemical systems
Contributo in Atti di convegnoA reliability prediction method for abstract state machines
Contributo in Atti di convegnoAccessibility of Educational Software: From Evaluation to Design Guidelines
Contributo in Atti di convegnoAligning and Labeling Genomes under the Duplication-Loss Model
Contributo in Atti di convegnoAn abstraction technique for testing decomposable systems by model checking
Contributo in Atti di convegnoAn environment for domestic supervised amblyopia treatment
Contributo in Atti di convegnoArchitecting Explainable Service Robots
Contributo in Atti di convegnoAutomatic 3D Reconstruction of Transfemoral Residual Limb from MRI Images
Contributo in Atti di convegnoBioSimWare: A software for the modeling, simulation and analysis of biological systems
Contributo in Atti di convegnoChildren interpretation of emotional body language displayed by a robot
Contributo in Atti di convegnoCoMA: Conformance Monitoring of Java programs by Abstract State Machines
Contributo in Atti di convegnoComplexity Insights of the Minimum Duplication Problem
Contributo in Atti di convegnoCovering Pairs in Directed Acyclic Graphs
Contributo in Atti di convegnoDealing with conflicting requirements in Robot System Engineering: A Laboratory-Based Course
Contributo in Atti di convegnoDesign Abstraction and Processes in Robotics: From Code-Driven to Model-Driven Engineering
Contributo in Atti di convegnoDistributed shuffling for preserving access confidentiality
Contributo in Atti di convegnoDuplication-Loss Genome Alignment: Complexity and Algorithm
Contributo in Atti di convegnoEvolutionary Testing of PHP Web Applications with WETT
Contributo in Atti di convegnoExtending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes
Contributo in Atti di convegnoExtending loose associations to multiple fragments
Contributo in Atti di convegnoFinding approximate and constrained motifs in Graphs
Contributo in Atti di convegnoFirst Steps Towards a Wet Implementation for τ-DPP
Contributo in Atti di convegnoGene Tree Correction by Leaf Removal and Modification: Tractability and Approximability
Contributo in Atti di convegnoGrid computing for sensitivity analysis of stochastic biological models
Contributo in Atti di convegnoHints from the Crowd: A Novel NoSQL Database
Contributo in Atti di convegnoIntegrated Management of Security Policies
Contributo in Atti di convegnoMaking mainstreaming videogames more accessible: a pilot study applied to Buzz!TM Junior Monster Rumble for PlayStation
Contributo in Atti di convegnoMarkerless motion capture integrated with human modeling for virtual ergonomics
Contributo in Atti di convegnoMaximum throughput network routing subject to fair flow allocation
Contributo in Atti di convegnoMinimum Leaf Removal for Reconciliation: Complexity and Algorithms
Contributo in Atti di convegnoModel-Driven Testing for Web Applications Using Abstract State Machines
Contributo in Atti di convegnoOnline Testing of LTL Properties for Java Code
Contributo in Atti di convegnoOptimal node placement in distributed wireless security architectures
Contributo in Atti di convegnoOptimizing Integrity Checks for Join Queries in the Cloud
Contributo in Atti di convegnoParallelizing Biochemical Stochastic Simulations: A Comparison of GPUs and Intel Xeon Phi Processors
Contributo in Atti di convegnoParameterized Complexity of k-Anonymity: Hardness and Tractability
Contributo in Atti di convegnoPhysiologically inspired blinking behavior for a humanoid robot
Contributo in Atti di convegnoProfiling robot-mediated play for children with disabilities through ICF-CY: The example of the European project IROMEC
Contributo in Atti di convegnoResolving Rooted Triplet Inconsistency by Dissolving Multigraphs
Contributo in Atti di convegnoResource Management in the Air Traffic Domain
Contributo in Atti di convegnoRestricted and Swap Common Superstring: A Parameterized View
Contributo in Atti di convegnoSMT-based automatic Proof of ASM model refinement
Contributo in Atti di convegnoShould Empathic Social Robots Have Interiority?
Contributo in Atti di convegnoTest Generation for Sequential Nets of Abstract State Machines
Contributo in Atti di convegnoThe Hints from the Crowd Project
Contributo in Atti di convegnoTowards ASM-based formal specification of self-adaptive systems
Contributo in Atti di convegnoTowards an interchange language for ASMs
Contributo in Atti di convegnoTowards guidelines on educational podcasting quality: problems arising from a real world experience
Contributo in Atti di convegnoTowards inverse uncertainty quantification in software development
Contributo in Atti di convegnoUnsupervised Video Anomaly Detection with Diffusion Models Conditioned on Compact Motion Representations
Contributo in Atti di convegnoWildfire susceptibility maps flexible querying and answering
Contributo in Atti di convegnocupSODA: a CUDA-powered simulator of mass-action kinetics
Contributo in Atti di convegnoNo Results Found