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 9 a 28 di 38
Fulltext Data Tipo Titolo Autore (i)
2019-12-18 Tesi di laurea Magistrale Co-simulation of human-robot collaboration (COSIM-HRC) : from temporal logic to 3D Morse TIRYAKILER, OMER
2024-04-09 Tesi di laurea Magistrale Creation of a realistic dataset for the evaluation of a travel offer recommender system Yilmaz, Melis
2018-12-20 Tesi di laurea Magistrale Critical review of state-of-the-art of software engineering techniques NAJAFI, MORTEZA
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
2024-04-09 Tesi di laurea Magistrale High-level specification of multi-agent interaction patterns Tagliaferro, Alberto
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
2024-07-16 Tesi di laurea Magistrale Implementation and evaluation of a Map Matching algorithm Giangualano, Matias
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
Mostrati risultati da 9 a 28 di 38
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