Sfoglia per Relatore  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 10 a 29 di 33
Fulltext Data Tipo Titolo Autore (i)
2022-04-28 Tesi di laurea Magistrale Delay estimation for shared rides for GPS data Samavati, Sepehr
2018-07-25 Tesi di laurea Magistrale Development of a flexible methodology for the control and management of industrial plants GALLARDO MOLINA, SEBASTIÁN
2022-10-06 Tesi di laurea Magistrale Development of a user friendly testing tool for the gas meter industry Ibarra Tejera, Saul Andres
2022-04-28 Tesi di laurea Magistrale A DSL for formally verified interactive robotic applications in service settings ZERLA, DAVIDE
2021-12-21 Tesi di laurea Magistrale Estensione di un ambiente di esecuzione per applicazioni robotiche collaborative formalmente verificate SBIETTI, MICHELE
2021-04-28 Tesi di laurea Magistrale Fast computation of travel distance approximations through overlay graphs Romano, Leonardo
2018-04-19 Tesi di laurea Magistrale Formal methods-based design of dynamically configurable traffic lights management systems FRISO, LUCA
2018-07-17 Tesi di Dottorato Formal verification of timed properties for data-intensive applications MARCONI, FRANCESCO
2023-05-04 Tesi di laurea Magistrale Formalization of a cognitive layered model of human decision-making for robotic applications Ribolla, Gabriele
2014-04-29 Tesi di laurea Magistrale Gestione energetica automatizzata di dispositivi mobili applicata ad un sistema di car sharing elettrico CATERNOLO, SALVATORECITTAR, ALESSANDRO RENZO
2017-07-27 Tesi di laurea Magistrale HRC-Team : a model-driven approach to formal verification and deployment of collaborative robotic applications LESTINGI, LIVIALONGONI, SAMUELE
2018-10-03 Tesi di laurea Magistrale Implementation of a model-driven approach for the design of railway signalling systems ANDREAUS, ATTILIO
2020-07-24 Tesi di laurea Magistrale Improving the code generation mechanism for the PuRSUE framework BONETTI, VALENTINA
2023-07-18 Tesi di laurea Magistrale Model driven configuration and instrumentation in virtual environment of interactive robotic applications in healthcare settings SAMARTH, SIDDHANT
2023-05-25 Tesi di Dottorato Model-driven development of formally verified human-robot interactions Lestingi, Livia
2018-12-20 Tesi di laurea Magistrale Model-driven risk analysis for the design of safe collaborative robotic applications BURAN, FEDERICO
2023-05-04 Tesi di laurea Magistrale Modeling human decision-making in interactive service robotic ap plications LIU, JIACHENG
2023-10-05 Tesi di laurea Magistrale Modeling stress factors for the formal analysis of assistive robotic applications Campo Antico, Paola
2018-04-19 Tesi di laurea Magistrale Path planning of collaborative robots dealing with real maps and explicit time concerns BELLI, GABRIELE
2011-07-20 Tesi di laurea Magistrale Progettazione e sviluppo di una applicazione di jammming distribuito ELIA, SIMONE
Mostrati risultati da 10 a 29 di 33
Legenda icone accesso al fulltext

  • File accessibili da tutti
  • File accessibili dagli utenti autorizzati
  • File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
  • File non accessibili