Sfoglia per Corso Informatica
Fault-based Analysis of Industrial Cyber-Physical Systems
2023
A Formal and Automated Approach to Exploiting Multi-Stage Attacks of Web Applications
2018
Formal Approaches to Control System Security From Static Analysis to Runtime Enforcement
2021
Formal Methods for Wireless Systems
2010
Formal models for qualitative and quantitative analysis of mobile ad hoc and sensor networks
2013
A framework for trajectory data warehousing and visual OLAP analysis
2012
Frictional Contact in Interactive Deformable Environments
2010
From shallow to whole-sentence semantics: semantic parsing in English and beyond
2022
From source separation to compositional music generation
2024
A game-theoretic approach to matching and robust inlier selection
2010
A game-theoretic framework for similarity-based data clustering
2009
Generative models for classification: classification, feature and features organization
2010
Generative models for non-vectorial data
2017
A generic framework for multilanguage analysis
2023
A Geometric Approach to Trajectory Planning for Underactuated Mechanical Systems
2018
Geometric methods for designing optimal filters on Lie groups
2023
Geometry and appearance modelling from images
2007
Gestural interaction in Virtual Environments: user studies and applications
2019
Gesture Recognition and Control for Semi-Autonomous Robotic Assistant Surgeons
2020
Graph analytics on modern massively parallel systems
2017
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile