Found results 26 Full data Concise dataClick the title to see full data and shelfmark of each item |
Consultabilità delle tesi
|
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
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 |
![]()
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 |
![]()
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 |
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |
![]()
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 |