Results

Found results 27

Full data Concise data

Click the title to see full data and shelfmark of each item

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Tesi presenti nel catalogo

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

New search