Risultati

Risultati trovati 27

Dati completi Dati sintetici

Clicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo.

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Modalità di consultazione e contatti

Consultabile AMBROSINI MATTEO, OPTIMIZATION TECHNIQUES FOR INDUSTRIAL PRODUCTION SCHEDULING, Rel. ROVERI MARCO, AA 2021/2022
Autore: AMBROSINI MATTEO
Titolo: OPTIMIZATION TECHNIQUES FOR INDUSTRIAL PRODUCTION SCHEDULING
Relatore: ROVERI MARCO
Anno accademico: 2021/2022
Corso: Corso di Laurea Magistrale - Artificial Intelligence Systems [0342H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0342H-8
Richiedi la consultazione
Non consultabile BATTISTI ELIANA, INDUSTRIAL JOB SHOP SCHEDULING VIA GENETIC PROGRAMMING, Rel. ROVERI MARCO, AA 2022/2023
Autore: BATTISTI ELIANA
Titolo: INDUSTRIAL JOB SHOP SCHEDULING VIA GENETIC PROGRAMMING
Relatore: ROVERI MARCO
Anno accademico: 2022/2023
Corso: Corso di Laurea Magistrale - Artificial Intelligence Systems [0342H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0342H-57
Consultabile BERTELLI DAVIDE, DESIGN AND DEVELOPMENT OF AN OPTIMISATION FRAMEWORK FOR WASTE COLLECTION IN LARGE GEOGRAPHICAL AREAS, Rel. ROVERI MARCO, AA 2021/2022
Autore: BERTELLI DAVIDE
Titolo: DESIGN AND DEVELOPMENT OF AN OPTIMISATION FRAMEWORK FOR WASTE COLLECTION IN LARGE GEOGRAPHICAL AREAS
Relatore: ROVERI MARCO
Correlatore: PALOPOLI LUIGI
Anno accademico: 2021/2022
Corso: Corso di Laurea Magistrale - Artificial Intelligence Systems [0342H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0342H-21
Richiedi la consultazione
Consultabile BONORA ANDREA, SOLVING MAPF IN ROS2: A CBS APPROACH INTEGRATED WITH NAV2, Rel. GIORGINI PAOLO, AA 2022/2023
Autore: BONORA ANDREA
Titolo: SOLVING MAPF IN ROS2: A CBS APPROACH INTEGRATED WITH NAV2
Relatore: GIORGINI PAOLO
Correlatore: ROBOL MARCO
Secondo Correlatore: ROVERI MARCO
Anno accademico: 2022/2023
Corso: Corso di Laurea Magistrale - Artificial Intelligence Systems [0342H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0342H-69
Richiedi la consultazione
Consultabile CALZA' DAVIDE, DOGMUS: A MULTI-SOURCE DOMAIN GENERALIZATION FRAMEWORK FOR MACHINERY PROGNOSTICS, Rel. ROVERI MARCO, AA 2023/2024
Autore: CALZA' DAVIDE
Titolo: DOGMUS: A MULTI-SOURCE DOMAIN GENERALIZATION FRAMEWORK FOR MACHINERY PROGNOSTICS
Relatore: ROVERI MARCO
Correlatore: SVAIZER PIERGIORGIO
Anno accademico: 2023/2024
Corso: Corso di Laurea Magistrale - Data Science [0522H]
Struttura didattica: Interfacoltà Rovereto
Formato: digitale
Segnatura: 0522H-110
Richiedi la consultazione
Consultabile CRISTELLI MICHELE, PLANNING WITH DURATIVE ACTIONS UNDER TEMPORAL UNCERTAINTY, Rel. LIPARI GIUSEPPE, Rel. PALOPOLI LUIGI, AA 2011/2012
Autore: CRISTELLI MICHELE
Titolo: PLANNING WITH DURATIVE ACTIONS UNDER TEMPORAL UNCERTAINTY
Relatore: PALOPOLI LUIGI
Secondo Relatore: LIPARI GIUSEPPE
Correlatore: CIMATTI ALESSANDRO
Secondo Correlatore: ROVERI MARCO
Controrelatore: PASSERONE ROBERTO
Anno accademico: 2011/2012
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-120
Richiedi la consultazione
Consultabile DAL MORO DEVIS, A PLANNING BASED MULTI-AGENT BDI ARCHITECTURE FOR ROS2, Rel. GIORGINI PAOLO, AA 2020/2021
Autore: DAL MORO DEVIS
Titolo: A PLANNING BASED MULTI-AGENT BDI ARCHITECTURE FOR ROS2
Relatore: GIORGINI PAOLO
Correlatore: ROVERI MARCO
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-761
Richiedi la consultazione
Consultabile DAL ZOTTO LUCA, A ROBOTIC RECEPTIONIST AT DISI THE ARI USE-CASE, Rel. ROVERI MARCO, AA 2021/2022
Autore: DAL ZOTTO LUCA
Titolo: A ROBOTIC RECEPTIONIST AT DISI THE ARI USE-CASE
Relatore: ROVERI MARCO
Anno accademico: 2021/2022
Corso: Corso di Laurea Magistrale - Artificial Intelligence Systems [0342H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0342H-9
Richiedi la consultazione
Consultabile DALLA STELLA DAVIDE, IMPLEMENTATION OF A ROBOTIC RECEPTIONIST AT DISI: A PRACTICAL APPROACH TO SOCIAL ROBOTICS, Rel. ROVERI MARCO, AA 2022/2023
Autore: DALLA STELLA DAVIDE
Titolo: IMPLEMENTATION OF A ROBOTIC RECEPTIONIST AT DISI: A PRACTICAL APPROACH TO SOCIAL ROBOTICS
Relatore: ROVERI MARCO
Anno accademico: 2022/2023
Corso: Corso di Laurea Magistrale - Artificial Intelligence Systems [0342H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0342H-46
Richiedi la consultazione
Consultabile DEI ROSSI MARCO, AUTOMATICALLY LEARNING REGISTER AUTOMATA FROM MATLAB CODE A CASE STUDY IN AUTONOMOUS DRIVING, Rel. FONTANELLI DANIELE, AA 2020/2021
Autore: DEI ROSSI MARCO
Titolo: AUTOMATICALLY LEARNING REGISTER AUTOMATA FROM MATLAB CODE A CASE STUDY IN AUTONOMOUS DRIVING
Relatore: FONTANELLI DANIELE
Correlatore: ROVERI MARCO
Secondo Correlatore: MENINKE KARL
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - Ingegneria Meccatronica [0333H]
Struttura didattica: Dipartimento di Ingegneria Industriale
Formato: digitale
Segnatura: 0333H-453
Richiedi la consultazione
Consultabile DISSEGNA SEBASTIANO, REALIZABILITY CHECK FOR PPLTL SPECIFICATIONS, Rel. ROVERI MARCO, AA 2022/2023
Autore: DISSEGNA SEBASTIANO
Titolo: REALIZABILITY CHECK FOR PPLTL SPECIFICATIONS
Relatore: ROVERI MARCO
Anno accademico: 2022/2023
Corso: Corso di Laurea Magistrale - Artificial Intelligence Systems [0342H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0342H-48
Richiedi la consultazione
Non consultabile LANGE KASPER, ASSESSING AND PREDICTING THE QUALITY OF CHARGING STATIONS SETUPS FOR AGVS: THE CASE OF BMW AG AUTONOMOUS TRANSPORT SYSTEMS, Rel. ROVERI MARCO, AA 2022/2023
Autore: LANGE KASPER
Titolo: ASSESSING AND PREDICTING THE QUALITY OF CHARGING STATIONS SETUPS FOR AGVS: THE CASE OF BMW AG AUTONOMOUS TRANSPORT SYSTEMS
Relatore: ROVERI MARCO
Anno accademico: 2022/2023
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-940
Consultabile LORENZINI GIOVANNI, INTEGRATING MULTI-AGENT PATH FINDING ALGORITHMS IN ROS 2: THE A* CASE, Rel. ROVERI MARCO, AA 2021/2022
Autore: LORENZINI GIOVANNI
Titolo: INTEGRATING MULTI-AGENT PATH FINDING ALGORITHMS IN ROS 2: THE A* CASE
Relatore: ROVERI MARCO
Anno accademico: 2021/2022
Corso: Corso di Laurea Magistrale - Artificial Intelligence Systems [0342H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0342H-22
Richiedi la consultazione
Non consultabile LUSUARDI DAVIDE, INTEGRATING UNIFIED PLANNING FRAMEWORK INTO PLANSYS2, Rel. ROVERI MARCO, AA 2022/2023
Autore: LUSUARDI DAVIDE
Titolo: INTEGRATING UNIFIED PLANNING FRAMEWORK INTO PLANSYS2
Relatore: ROVERI MARCO
Anno accademico: 2022/2023
Corso: Corso di Laurea Magistrale - Artificial Intelligence Systems [0342H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0342H-53
Consultabile MANSUROVA MARGARITA, APPLICATION OF DATA MINING METHODS FOR THE ANALYSIS OF THE REAL SECTOR OF ECONOMY OF RUSSIAN REGIONS, Rel. ROVERI MARCO, AA 2020/2021
Autore: MANSUROVA MARGARITA
Titolo: APPLICATION OF DATA MINING METHODS FOR THE ANALYSIS OF THE REAL SECTOR OF ECONOMY OF RUSSIAN REGIONS
Relatore: ROVERI MARCO
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-787
Richiedi la consultazione
Consultabile MARIOTTI ALESSANDRO, VERIFICA FORMALE DI HARDWARE VIA AIGER E NUSMV., Rel. SEBASTIANI ROBERTO, AA 2009/2010
Autore: MARIOTTI ALESSANDRO
Titolo: VERIFICA FORMALE DI HARDWARE VIA AIGER E NUSMV.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Correlatore: ROVERI MARCO
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC367
Richiedi la consultazione
Non consultabile MELIS LUCA DANILO, AN AI PLANNING SOLUTION FOR FAULT TREE ANALYSIS, Rel. ROVERI MARCO, AA 2021/2022
Autore: MELIS LUCA DANILO
Titolo: AN AI PLANNING SOLUTION FOR FAULT TREE ANALYSIS
Relatore: ROVERI MARCO
Anno accademico: 2021/2022
Corso: Corso di Laurea Magistrale - Artificial Intelligence Systems [0342H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0342H-23
Consultabile MICHELI ANDREA, TEMPORAL PROBLEMS WITH SATISTIABILITY MODULO THEORY, Rel. SEBASTIANI ROBERTO, AA 2010/2011
Autore: MICHELI ANDREA
Titolo: TEMPORAL PROBLEMS WITH SATISTIABILITY MODULO THEORY
Relatore: SEBASTIANI ROBERTO
Correlatore: ROVERI MARCO
Anno accademico: 2010/2011
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0517H-49
Richiedi la consultazione
Consultabile PENA RONCERO JAVIER, ML SOLUTION DEPLOYMENT FOR A TRADITIONAL BUSINESS: A methodology, Rel. ROVERI MARCO, AA 2020/2021
Autore: PENA RONCERO JAVIER
Titolo: ML SOLUTION DEPLOYMENT FOR A TRADITIONAL BUSINESS: A methodology
Relatore: ROVERI MARCO
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-732
Richiedi la consultazione
Consultabile PENSALLORTO MARCO, IMPLEMENTAZIONE EFFICIENTE DI TECNICHE DI MODEL CHECKING PER INVARIANTI SU SISTEMI A STATI FINITI BASATE SU INTERPOLANTI DI CRAIG., Rel. SEBASTIANI ROBERTO, AA 2009/2010
Autore: PENSALLORTO MARCO
Titolo: IMPLEMENTAZIONE EFFICIENTE DI TECNICHE DI MODEL CHECKING PER INVARIANTI SU SISTEMI A STATI FINITI BASATE SU INTERPOLANTI DI CRAIG.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Correlatore: ROVERI MARCO
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC368
Richiedi la consultazione
Non definita PLANCHENSTAINER DIEGO, INTEGRATING MULTI-AGENT PATH FINDING ALGORITHMS IN ROS 2: THE ICTS CASE, Rel. ROVERI MARCO, AA 2021/2022
Autore: PLANCHENSTAINER DIEGO
Titolo: INTEGRATING MULTI-AGENT PATH FINDING ALGORITHMS IN ROS 2: THE ICTS CASE
Relatore: ROVERI MARCO
Anno accademico: 2021/2022
Corso: Corso di Laurea Magistrale - Artificial Intelligence Systems [0342H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0342H-24
Non consultabile ROBBI ERICH, AI-ENHANCED DECISION MAKING FOR SURGICAL INTERVENTION IN ABDOMINAL AORTIC ANEURYSM , Rel. PASSERINI ANDREA, AA 2022/2023
Autore: ROBBI ERICH
Titolo: AI-ENHANCED DECISION MAKING FOR SURGICAL INTERVENTION IN ABDOMINAL AORTIC ANEURYSM
Relatore: PASSERINI ANDREA
Correlatore: ROVERI MARCO
Anno accademico: 2022/2023
Corso: Corso di Laurea Magistrale - Data Science [0522H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0522H-83
Consultabile SACCON ENRICO, COMPARISON OF MULTI-AGENT PATH FINDING ALGORITHMS IN AN INDUSTRIAL SCENARIO, Rel. PALOPOLI LUIGI, AA 2021/2022
Autore: SACCON ENRICO
Titolo: COMPARISON OF MULTI-AGENT PATH FINDING ALGORITHMS IN AN INDUSTRIAL SCENARIO
Relatore: PALOPOLI LUIGI
Correlatore: ROVERI MARCO
Anno accademico: 2021/2022
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-811
Richiedi la consultazione
Consultabile SPALLITTA GIUSEPPE, IMPROVED TECHNIQUES FOR SAT-TO-ISING ENCODING APPLIED TO HYBRID QUANTUM ANNEALING, Rel. SEBASTIANI ROBERTO, AA 2019/2020
Autore: SPALLITTA GIUSEPPE
Titolo: IMPROVED TECHNIQUES FOR SAT-TO-ISING ENCODING APPLIED TO HYBRID QUANTUM ANNEALING
Relatore: SEBASTIANI ROBERTO
Correlatore: ROVERI MARCO
Anno accademico: 2019/2020
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-652
Richiedi la consultazione
Consultabile THANGARAJ KALAISELVAN, AUTOMATIC GENERATION OF FORMAL SPECIFICATIONS USING ONTOLOGY FOR VERIFICATION OF CNN BASED OBJECT DETECTION MODULES, Rel. FONTANELLI DANIELE, AA 2023/2024
Autore: THANGARAJ KALAISELVAN
Titolo: AUTOMATIC GENERATION OF FORMAL SPECIFICATIONS USING ONTOLOGY FOR VERIFICATION OF CNN BASED OBJECT DETECTION MODULES
Relatore: FONTANELLI DANIELE
Correlatore: ROVERI MARCO
Relatore Esterno: POOVALINGAM VIVEK
Anno accademico: 2023/2024
Corso: Corso di Laurea Magistrale - Mechatronics Engineering [0344H]
Struttura didattica: Interfacoltà Rovereto
Formato: digitale
Segnatura: 0344H-43
Richiedi la consultazione
Consultabile TRALDI ANDREA, A BDI FRAMEWORK FOR THE IMPLEMENTATION OF AUTONOMOUS NON-PLAYER CHARACTERS, Rel. GIORGINI PAOLO, AA 2020/2021
Autore: TRALDI ANDREA
Titolo: A BDI FRAMEWORK FOR THE IMPLEMENTATION OF AUTONOMOUS NON-PLAYER CHARACTERS
Relatore: GIORGINI PAOLO
Correlatore: ROBOL MARCO
Secondo Correlatore: ROVERI MARCO
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-739
Richiedi la consultazione
Consultabile ZANETTI ALEX, INTERLEAVING PLANNING AND EXECUTION IN ROS2-BDI ARCHITECTURE, Rel. GIORGINI PAOLO, AA 2021/2022
Autore: ZANETTI ALEX
Titolo: INTERLEAVING PLANNING AND EXECUTION IN ROS2-BDI ARCHITECTURE
Relatore: GIORGINI PAOLO
Correlatore: ROVERI MARCO
Secondo Correlatore: ROBOL MARCO
Anno accademico: 2021/2022
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-820
Richiedi la consultazione

Nuova ricerca