Tesi di Laurea

Un'applicazione Web per la produzione e la distribuzione di audiolibri ​​​

Laurea base

Applicazoni Web

PHP

**** (nome protetto per rispetto della privacy)

12/2020

Un'applicazione web per l'organizzazione tecnica del palco nelle esibizioni musicali dal vivo​​​

Laurea base

Applicazoni Web

X3DOM

**** (nome protetto per rispetto della privacy)

12/2020

Un'applicazione web di supporto alla generazione, analisi e condivisione di dati di modellizzazione molecolare​​​

Laurea base

Applicazoni Web

PHP

**** (nome protetto per rispetto della privacy)

10/2020

CREAZIONE DI APPLICAZIONI MOBILI E WEB NATIVE CON IL FRAMEWORK FLUTTER

Laurea base

Applicazoni Mobili

Dart, Flutter

**** (nome protetto per rispetto della privacy)

7/2020

Un framework per l’estrazione e la rappresentazione di statistiche dal traffico di rete SDN

Laurea base

Cybersecurity

Python

**** (nome protetto per rispetto della privacy)

7/2020

Sviluppo di un'applicazione mobile decentralizzata per lo scambio dei dati sui pazienti in ambito ospedaliero

Laurea base

Applicazoni Mobili

**** (nome protetto per rispetto della privacy)

7/2020

Sicurezza nelle architetture a microservizi

Laurea magistrale

Microservizi

**** (nome protetto per rispetto della privacy)

7/2020

Internet of Things e Domotica: progettazione e prototipazione di uno Smart Plug Management System

Laurea magistrale

IOT

AWS, Java

**** (nome protetto per rispetto della privacy)

3/2020

Integrazione delle piattaforme SPID e PagoPA in un applicativo web

Laurea base

Servizi online della PA

PHP

**** (nome protetto per rispetto della privacy)

3/2020

Univaq Skill:Una skill di Amazon Alexa per essere informati sulla didattica del DISIM

Laurea base

Assistenti vocali

AWS

**** (nome protetto per rispetto della privacy)

3/2020

Realizzazione di un sistema di descriptive analytics per l’analisi delle carriere scolastiche nella piattaforma MEProS

Laurea magistrale

Descriptive analytics

PHP, Python

**** (nome protetto per rispetto della privacy)

12/2019

Penetration Testing avanzato

Laurea base

Cyber Security, Penetration Testing

Python, RESTful web services

E' disponibile una tesi su tematiche di cyber security, avente come argomento l'inserimento di una nuova funzionalita' di controllo all'interno di un tool di penetration testing su reti virtualizzate sviluppato nel nostro dipartimento. Per l'implementazione di questa funzionalita' sono gia' disponibili progetti open source, che andranno quindi adattati e incorporati nel tool stesso. Il linguaggio di programmazione e' python, di cui si richiede al candidato una conoscenza di base. E' richiesta anche la conoscenza dello stile architetturale REST. Lo sviluppo della tesi potra' cominciare fin da subito, ma considerato il lavoro da svolgere e il tempo a disposizione il candidato potra' laurearsi a partire da ottobre 2018. Lo svolgimento della tesi richiedera' una serie cadenzata di incontri di aggiornamento, alcuni dei quali potranno comunque svolgersi per vie telematiche.

**** (nome protetto per rispetto della privacy)

7/2019

Deep Reinforcement Learning applicato alla Cybersecurity: un approccio automatico all'addestramento di reti neurali per il riconoscimento del malware

Laurea magistrale

Cybersecurity, Deep Reinforcement Learning, Machine Learning

**** (nome protetto per rispetto della privacy)

3/2019

Riconoscimento automatico di linguaggi non lieari

Laurea base

Linguaggi Formali, Linguaggi Visuali

**** (nome protetto per rispetto della privacy)

3/2019

Sviluppo App di Supporto alla Distribuzione Merci Tesi Aziendale

Laurea base

Sviluppo mobile

Ionic, Cordova...

LFoundry, societa' con sede ad Avezzano, offre una tesi di primo livello avente come obiettivo la realizzazione di una APP multipiattaforma (Android e iOS) che sara' connessa alla WiFi aziendale e sfruttera' un barcode reader USB/Bluetooth per acquisire i numeri di lotto caricati sui carrelli inviandoli ad un Web Service integrato con il sistema Scheduling del materiale di Produzione (MACH) e di gestione dei percorsi dei Carrellisti. Ai candidati e' richiesta la conoscenza di almeno un framework di sviluppo di app multipiattaforma come XAMARIN (preferibile), React Native, IONIC, Apache Cordova, AngularJS. La durata prevista della tesi e' di tre mesi.

**** (nome protetto per rispetto della privacy)

10/2018

Uno Studio Sull’uso Di Relazioni Spaziali Per La Specifica Grammaticale Di Linguaggi Multidimensionali

Laurea magistrale

Linguaggi Formali, Linguaggi Visuali

**** (nome protetto per rispetto della privacy)

10/2018

Database NoSQL: quando e come usarli in sostituzione dei relazionali?

Laurea base

DBMS, NoSQL

MongoDB

**** (nome protetto per rispetto della privacy)

10/2018

Sviluppo Di Applicazioni Per Blockchain Con Ethereum: Un Caso Di Studio Sul Catasto Distribuito

Laurea base

Blockchain

**** (nome protetto per rispetto della privacy)

10/2018

Uuoden: Automatic Generation Of Web Applications Based On Php Models

Laurea base

CMS

PHP

**** (nome protetto per rispetto della privacy)

12/2017

Interoperabilita' Tra Applicazioni E-Larning e Servizi Esterni Tramite Tecnologia LTI: Un'estensione Moodle Per La Didattica Interattiva Tesi Aziendale

Laurea base

e-Learning

LTI, Moodle, PHP

**** (nome protetto per rispetto della privacy)

12/2017

Contronto tra Tool di Data Analytics Tesi Aziendale

Laurea base

Data Analytics

Pentaho, Qlikview

**** (nome protetto per rispetto della privacy)

12/2017

BeTechnology: Uso di Sensori di Prossimita' per la Personalizzazione dell'esperienza In-Shop Tesi Aziendale

Laurea base

Location-Based Information, User Profiling

PHP

**** (nome protetto per rispetto della privacy)

12/2017

Il Framework Unity per lo sviluppo di Giochi in HTML5

Laurea base

Sviluppo Mobile

Unity

**** (nome protetto per rispetto della privacy)

10/2017

Analisi Tracciati di Missione Tesi Aziendale

Laurea magistrale

Applicazioni Web

Java, Javascript

E' disponibile una tesi di laurea magistrale, da svolgersi presso la REISS Romoli, nell'ambito di un progetto che prevede la realizzazione di un'applicazione web per l'importazione e l'analisi di dati rappresentanti voci di spesa. Il software da realizzare dovra' essere estremamente semplice da estendere, e per questo nel realizzarlo si prevede di far uso estensivo di tecnologie di scripting. Il lavoro di tesi potra' essere preceduto da un tirocinio aziendale propedeutico, durante il quale il candidato dovra' analizzare il formato di questi dati al fine di identificare un modello comune e delle opportune procedure di mappatura che dovranno uniformarne la struttura. Verra' quindi prototipato (in linguaggio Java e/o Javascript) il sistema di importazione, prestando particolare attenzione alla sua estendibilita' futura.

**** (nome protetto per rispetto della privacy)

10/2017

Java to Javascript

Laurea base o magistrale

Javascript, Web Applications

Java, Javascript

Lo scopo di questa tesi e' studiare le caratteristiche, l'applicabilita' e le limitazioni delle attuali tecniche source-to-source o bytecode-to-source per trasformare codice Java SE nel suo equivalente Javascript in maniera (semi)automatica, ad esempio il JSweet transpiler. L'indagine si occupera' prima del codice Java di base, per poi estendersi alle librerie grafiche (AWT e Swing), determinando quali elementi possono essere trasformati in maniera (semi)automatica in HTML5+CSS+Javascript. Come caso di studio, prima si convertira' in Javascript una libreria Java preesistente, e di seguito si cerchera' trasformare in applicazione HTML5 un'applicazione grafica Java Swing basata su questa libreria. Ovviamente, per lavorare su questa tesi e' richiesta un'ottima padronanza del linguaggio Javascript, oltre che una buona conoscenza di Java.

**** (nome protetto per rispetto della privacy)

10/2017

Un'Applicazione Mobile per il Monitoriaggio Remoto di Autoveicoli Tramite Standard OBDII Tesi Aziendale

Laurea base

Sviluppo Mobile (Android o iOS), Web Applications

HTML5, Javascript, Mobile development tools, PHP, SQL

La ABALOG srl (sede di Avezzano) offre agli studenti di svolgere una tesi aziendale relativa alla tracciabilita' satellitare degli autoveicoli. Gli obiettivi del progetto sono ottimizzare la piattaforma web esistente per la gestione dei dati provenienti dai terminali GPS installati a bordo dei veicoli e ottimizzare/integrare con la piattaforma web la relativa app Android. Il progetto prevede una permanenza in azienda da 3 a 6 mesi (il lavoro relativo alla tesi vera e propria potra' concludersi in tempi piu' brevi, concordati con il relatore) con possibile assunzione a fine lavoro.

**** (nome protetto per rispetto della privacy)

10/2017

Uno studio sulla rappresentazione dell'informazione spaziale

Laurea base

Linguaggi visuali, Relazioni spaziali

**** (nome protetto per rispetto della privacy)

7/2017

Monitoraggio Carriere Scolastiche

Laurea magistrale

Applicazioni Web LAMP

E' disponibile una tesi di laurea (base o magistrale), da svolgersi presso gli istituti scolastici del comprensorio aquilano e in collaborazione con i ricercatori del nostro dipartimento nell'ambito di un progetto che prevede la realizzazione di un'applicazione web (con tecnologia (L)AMP) per la raccolta di informazioni sulla carriera scolastica dei ragazzi tra i 6 e i 15 anni. Il lavoro di tesi (soprattutto nel caso della tesi di primo livello) potra' essere preceduto da un tirocinio aziendale propedeutico, durante il quale il candidato dovra' documentarsi sul software utilizzato nelle segreterie delle scuole coinvolte, interfacciandosi direttamente con queste ultime, per determinare come e in che formato e' possibile far loro esportare i dati di nostro interesse, definendo quindi il modello dei dati per il nuovo applicativo e mettendo a punto le relative procedure di esportazione-conversione-importazione.

**** (nome protetto per rispetto della privacy)

3/2017

Analisi e riscrittura di un framework aziendale in PHP: i vantaggi di una corretta applicazione del paradigma a oggetti Tesi Aziendale

Laurea magistrale

Applicazioni Web

PHP

**** (nome protetto per rispetto della privacy)

3/2017

Studio e sperimentazione di techiche per la reingegnerizzazione di database DB2 di grandi dimensioni Tesi Aziendale

Laurea magistrale

DBMS

DB2

**** (nome protetto per rispetto della privacy)

3/2017

WebMiddle: JSX Framework fur multi-layer web data integration

Laurea magistrale

Information Aggregation, Semantic Web

Javascript

**** (nome protetto per rispetto della privacy)

3/2017

Un'applicazione web per la registrazione spese e la gestione flusso di cassa Tesi Aziendale

Laurea base

PHP

**** (nome protetto per rispetto della privacy)

3/2017

EasyMove, Un'Applicazione Web per migliorare la Mobilita' Quotidiana

Laurea base

PHP

**** (nome protetto per rispetto della privacy)

3/2017

AskUnivAQ: un sistema collaborativo per il tutoraggio e l'orientamento, prima parte

Laurea base

Collaborative Content Creation, Web Development

PHP

**** (nome protetto per rispetto della privacy)

12/2016

AskUnivAQ: un sistema collaborativo per il tutoraggio e l'orientamento, seconda parte

Laurea base

Collaborative Content Creation, Web Development

PHP

**** (nome protetto per rispetto della privacy)

12/2016

Gestione del ciclo di sviluppo di un sistema IVR su piattaforma plivo per la gestione di consegne domiciliari Tesi Aziendale

Laurea magistrale

Applicazioni Web

PHP, Plivo

**** (nome protetto per rispetto della privacy)

10/2016

Un servizio per l'analisi, la classificazione e il riconoscimento dei documenti di identita' Tesi Aziendale

Laurea magistrale

Grafica, Web Services

OpenCV

**** (nome protetto per rispetto della privacy)

7/2016

Il Framework Microsoft Xamarine per lo Sviluppo di App Crossplatform

Laurea base

Sviluppo Mobile

**** (nome protetto per rispetto della privacy)

7/2016

Applicazione Web per un gruppo di ricerca biomedica Tesi Aziendale

Laurea base

Progettazione applicativo web

MySQL, PHP

La tesi (triennale) si propone di progettare un applicativo web multifunzionale per un'azienda operante nell'ambito della ricerca biomedica, e di implementarne poi una parte da stabilire. L'applicativo web, oltre a una parte statica di tipo pubblicitario e divulgativo per l'attivita' (il cui design dovra' essere preferibilmente adattabile anche a tablet e smartphone), conterra' diverse sezioni dinamiche mirate alla pubblicazione degli studi portati avanti dal laboratorio e all'interfacciamento con i collaboratori esterni, che dovranno poter aggiornare via web alcuni dati e compilare dei questionari online. L'azienda presso la quale si svolgera' la tesi e' una startup operante nella zona di Pescara, tuttavia per questo lavoro di tesi non sara' strettamente necessaria la presenza in loco. Vista la complessita' del lavoro, e' richiesta una buona preparazione di base nelle tecnologie LAMP e capacita' nel design di siti web. La selezione del candidato verra' effettuata sulla base di questi criteri.

**** (nome protetto per rispetto della privacy)

3/2016

Editor assistito di query visuali

Laurea base

Query visuali, Relazioni spaziali

La tesi consistera' in una prima parte teorica, in cui si studiera' il contesto e dovra' venir formalizzato un algoritmo di formulazione incrementale di query visuali basate su relazioni spaziali, e di una successiva parte di implementazione e sperimentazione dell'algoritmo su un caso di studio nel web, per la quale e' richiesta buona conoscenza del linguaggio Javascript e del DOM HTML.

**** (nome protetto per rispetto della privacy)

3/2016

Grafica 3D, XML e il Web

Laurea base

Grafica 3D, X3D

Javascript, X3DOM

La tesi si propone di esplorare le caratteristiche dello standard X3D (www.web3d.org/x3d/what-x3d), in particolare per quel che riguarda il suo uso sul web, grazie al supporto WebGL nativo in molti browser e a librerie come X3DOM (www.x3dom.org). Come caso di studio, nell'ambito della tesi cercheremo di realizzare una pianta 3D degli edifici di Coppito.

**** (nome protetto per rispetto della privacy)

3/2016

Specifica di gestures con relazioni spaziali

Laurea base

Gestures, Relazioni spaziali

Java

La tesi partira' da uno studio sul riconoscimento e sulla codifica delle gestures utilizzate estensivamente sulla moderne interfacce tattili, analizzando la ricerca scientifica in questo campo e le applicazioni pratiche correntemente in uso. Cercheremo poi di definire una metodologia per la codifica delle gestures basata su un formalismo di relazioni spaziali indipendente dall'applicazione, realizzando come caso di studio un piccolo prototipo di riconoscitore scritto in Java.

**** (nome protetto per rispetto della privacy)

3/2016

Gestione Web di Associazioni Culturali Tesi Aziendale

Laurea base

Sviluppo Web

Java

**** (nome protetto per rispetto della privacy)

3/2016

Studio delle problematiche di sicurezza per server e servizi RESTful

Laurea magistrale

SOA, Sicurezza, Web

**** (nome protetto per rispetto della privacy)

3/2016

ReST: Una App per Appassionati di Serie TV Tesi Aziendale

Laurea base

Sviluppo Mobile

HTML5, Javascript, PHP

**** (nome protetto per rispetto della privacy)

3/2016

Studio sull'Armonizzazione dei Web di Ateneo Tesi Aziendale

Laurea magistrale

Sviluppo Web

**** (nome protetto per rispetto della privacy)

3/2016

Un Sistema Gestionale per i vigili del Fuoco Tesi Aziendale

Laurea base

Sviluppo Web

PHP

**** (nome protetto per rispetto della privacy)

12/2015

Un confronto tra i game engine per il web 2.0

Laurea base

**** (nome protetto per rispetto della privacy)

7/2015

Aggiornamento della piattaforma tecnologica di un'applicazione J2EE Tesi Aziendale

Laurea magistrale

**** (nome protetto per rispetto della privacy)

7/2015

Un applicativo per la gestione delle fatture elettroniche verso la pubblica amministrazione Tesi Aziendale

Laurea base

**** (nome protetto per rispetto della privacy)

3/2015

Cook together: un’applicazione social per la condivisione di ricette Tesi Aziendale

Laurea base

**** (nome protetto per rispetto della privacy)

3/2015

Progettazione di un social operating system

Laurea base

**** (nome protetto per rispetto della privacy)

7/2014

Sviluppo di un gioco con il framework unity: programmazione della logica di gioco Tesi Aziendale

Laurea base

**** (nome protetto per rispetto della privacy)

7/2014

Sviluppo di un Gioco con il framework Unity: programmazione della GPU con il linguaggio CG Tesi Aziendale

Laurea base

**** (nome protetto per rispetto della privacy)

7/2014

Gestione remota via web di un applicativo di housekeeping Tesi Aziendale

Laurea base

**** (nome protetto per rispetto della privacy)

7/2014

Grafica dinamica e interattiva nel web 2.0 : WEBGL & SVG

Laurea base

**** (nome protetto per rispetto della privacy)

3/2014

Automatizzazione delle procedure gestionali aziendali in conformità con la normativa ISO 9001 Tesi Aziendale

Laurea base

**** (nome protetto per rispetto della privacy)

10/2013

Progettazione e implementazione di un software gestionale per autonoleggi Tesi Aziendale

Laurea base

**** (nome protetto per rispetto della privacy)

3/2013

Sviluppo di un sistema a plugin per l'estrazione visuale di informazione da domini eterogenei

Laurea magistrale

Information Extraction

Java, Swing

Scopo della tesi e' quello di riorganizzare una complessa applicazione Java preesistente, che realizza diverse funzionalita' di information extraction su vari domini applicativi, dotandola di un'architettura a plugin. Sara' quindi necessario isolare il nucleo comune a tutte le funzionalita' e creare un'interfaccia uniforme tra questo e il codice delle funzionalita' specifiche, che andra' quindi estratto, permettendo all'applicazione principale di caricarlo su richiesta, sotto forma di plugin.

**** (nome protetto per rispetto della privacy)

12/2012

Un linguaggio grafico per la definizione e l'esecuzione di processi di trasferimento dati

Laurea magistrale

DBMS, Linguaggi di programmazione

Java, PHP, XML

**** (nome protetto per rispetto della privacy)

12/2012

Uno studio su query parametriche per l'estrazione visuale di informazioni

Laurea base

**** (nome protetto per rispetto della privacy)

12/2012

eLearning 2.0: le nuove frontiere dell'apprendimento online con la piattaforma eLQ Tesi Aziendale

Laurea magistrale

eLearning

.NET, Silverlight

**** (nome protetto per rispetto della privacy)

10/2012

Sviluppo di un'Applicazione sulla Multimedia Home Platform Per La Televisone Digitale

Laurea base

DVB-T

MHP

**** (nome protetto per rispetto della privacy)

10/2012

Applicazione degli OBDD al model checking esplicito

Laurea base

Model Checking, OBDD

CUDD, Linguaggio C, Murphi

Scopo della tesi e' quello di implementare, partendo da codice di base gia' sviluppato, un indice ibrido a due livelli, in cui il primo livello e' una hash table e il secondo un insieme di OBDD. Gli OBDD (ordered binary decision diagrams) sono strutture capaci di memorizzare in maniera estremamente efficiente espressioni logiche qualsiasi. Per crearli e manipolarli verra' utilizzata la libreria CUDD. Le prestazioni di questo schema di memorizzazione andranno inizialmente valutate confrontandole con una semplice implementazione basata solo sulle hash table. L'algoritmo dovra' poi essere integrato in un model cheker preesistente, affettuando altri esperimenti per valutare l'impatto del nuovo indice sul processo di verifica. E' richiesta una buona conoscenza dei linguaggi C/C++.

**** (nome protetto per rispetto della privacy)

7/2012

Un'applicazione Java ME per gli studenti del corso di laurea in Informatica

Laurea base

JavaME, Mobile Development

JSON, Java, LWUIT

**** (nome protetto per rispetto della privacy)

7/2012

Realizzazione di un editor modulare per un linguaggio XML

Laurea base

Design di Interfacce Utente, XML

JAXP, Java, Swing

**** (nome protetto per rispetto della privacy)

7/2012

Il Real Time secondo HTML5: le WebSocket

Laurea base

Sviluppo Web

HTML5, PHP

**** (nome protetto per rispetto della privacy)

7/2012

Un framework Java per il web advertising Tesi Aziendale

Laurea base

Sviluppo Web

AJAX, PHP

**** (nome protetto per rispetto della privacy)

7/2012

un sistema di telediagnosi OBD basato su dispositivi mobili Android Tesi Aziendale

Laurea magistrale

Telediagnostica

Android, OBD-II

**** (nome protetto per rispetto della privacy)

7/2012

Integrazione della libreria numerica GSL in un tool di planning

Laurea base

Model Checking, Planning

UPMurphi, Yacc

La tesi prevede lo studio e l'integrazione di una libreria di risoluzione di equazioni differenziali all'interno di un'applicazione preesistente. Il candidato dovra' modificare l'applicazione in modo che individui e interpreti in modo appropriato le espressioni matematiche di competenza del solutore, compilandole nelle apposite strutture dati e delegandone l'esecuzione alla libreria esterna, per poi riportare i risultati all'interno dell'applicazione di partenza. E' richiesta un'ottima conoscenza dei linguaggi C/C++.

**** (nome protetto per rispetto della privacy)

3/2012

Un libretto universitario elettronico per dispositivi Android

Laurea base

Android, Mobile Development

C/C++

**** (nome protetto per rispetto della privacy)

3/2012

Un'applicazione Android per gli studenti del corso di laurea in Informatica

Laurea base

Android, Mobile Development

C/C++, JSON

**** (nome protetto per rispetto della privacy)

12/2011

Generazione assistita di documenti legali nell'ambito della compravendita di aziende Tesi Aziendale

Laurea base

Generazione automatica di documenti

PHP

**** (nome protetto per rispetto della privacy)

12/2011

Un UI toolkit adattabile per applicazioni Java su trminali mobili

Laurea base

JavaME, Mobile Development

Java

**** (nome protetto per rispetto della privacy)

12/2011

Un'applicazione iPhone per gli studenti del corso di laurea in Informatica

Laurea base

Mobile Development, iOS

JSON, Objective C

**** (nome protetto per rispetto della privacy)

7/2011

Confronto tra le piattaforme J2EE e .NET per lo sviluppo di applicazioni Web

Laurea base

Web Development

.NET, J2EE

**** (nome protetto per rispetto della privacy)

3/2011

Estrazione Visuale di Informazioni da Dati Biomedici

Laurea magistrale

Information Extraction

Java

**** (nome protetto per rispetto della privacy)

3/2011

Un'Applicazione dell'Estrazione Visuale di Informazioni al Geomarketing

Laurea base

GIS, Geomarketing, Information Extraction

**** (nome protetto per rispetto della privacy)

3/2011

Implementazione di un Modello Geometrico Generale per l'Estrazione Visuale di Informazioni

Laurea base

Information Extraction

Java

**** (nome protetto per rispetto della privacy)

3/2011

Rilevazione Automatica delle Vulnerabilità nelle Applicazioni Web

Laurea base

Vulnerability Discovery

Java

**** (nome protetto per rispetto della privacy)

3/2011

Generatore di Applicazioni CRUD Multipiattaforma

Laurea base

Applicazioni CRUD, Generazione automatica di codice

Java, PHP

**** (nome protetto per rispetto della privacy)

3/2011

Planning con Algoritmi Genetici

Laurea magistrale

Algoritmi Genetici, Planning

C++, PDDL+

**** (nome protetto per rispetto della privacy)

12/2010

Uso degli OBDD per la generazione di sistemi di controllo

Laurea base

Model checking, Sistemi di controllo

C++, CUDD

Lo scopo della tesi e' quello di realizzare un algoritmo per la sintesi automatica di sistemi di controllo basato su un particolare tipo di OBDD (Ordered Binary Decision Diagram). L'algoritmo dovra' essere implementato come estensione di un tool gia' esistente che, data la specifica di un sistema, ne esplora il grafo di transizione memorizzando tutti i cammini minimi che lo portano ad un insieme di stati goal. L'insieme di questi cammini costituisce il sistema di controllo. L'introduzione degli OBDD all'interno di questo processo avra' lo scopo di aumentare la capacita' di esplorazione del tool comprimendo in maniera opportuna le strutture dati attualmente in uso, in particolare le hash tables.

**** (nome protetto per rispetto della privacy)

7/2010

Studio comparativo di planner per sistemi ibridi

Laurea base

Model Checking, Planning

PDDL+

**** (nome protetto per rispetto della privacy)

3/2010

Analisi Strutturale di Documenti PDF

Laurea base

Linguaggi Visuali, Portable Document format

Java

**** (nome protetto per rispetto della privacy)

1/2010

Un Sistema Grafico per la Definizione Interattiva di Relazioni Spaziali

Laurea magistrale

Interfacce grafiche, Linguaggi visuali

Java, Librerie Java SWING

Lo scopo della tesi e' la realizzazione di un applicativo Java la cui interfaccia permetta all'utente di definire graficamente, su un piano di dimensioni arbitrarie e rispetto a una serie predefinita di punti di riferimento, relazioni spaziali specificate attraverso aree aperte o limitate da contorni poligonali, eventualmente componendole tramite operazioni di somma e differenza. L'applicativo, infine, dovra' essere in grado di importare ed esportare la definizione delle aree cosi' specificate tramite un apposito linguaggio testuale. E' richiesta una buona preparazione di base sulla programmazione Java.

**** (nome protetto per rispetto della privacy)

12/2009

Un Sistema Per L'estrazione Visuale Di Dati Da Shapefiles Geografici

Laurea magistrale

GIS, Linguaggi Formali, OpenMap, Relazioni Spaziali

Java

**** (nome protetto per rispetto della privacy)

10/2009

Pianificazione di un processo di produzione chimica tramite tecniche di planning basate su model checking

Laurea magistrale

Model Checking, Planning

PDDL+, UPMurphi

**** (nome protetto per rispetto della privacy)

10/2009

Tecniche di compressione per la verifica di hardware modulare

Laurea magistrale

Hardware Description Languages, Model Checking

C, Verolog

**** (nome protetto per rispetto della privacy)

3/2009

Un'applicazione per la gestione degli accessi in galleria nei Laboratori Nazionali del Gran Sasso ai sensi della legge 626 Tesi Aziendale

Laurea base

Interfacce web, Sicurezza del lavoro

PHP

**** (nome protetto per rispetto della privacy)

3/2009

L'interfaccia Apple iPhone: nuove frontiere nell'interazione uomo-macchina per i dispositivi mobili

Laurea base

Interazione uomo-macchina, Interfacce grafiche

ObjectiveC

**** (nome protetto per rispetto della privacy)

3/2009

Una Tecnica per l'Estrazione Visuale di Informazioni dal Web

Laurea base

Interfacce grafiche, Linguaggi Formali, Relazioni Spaziali

Java

**** (nome protetto per rispetto della privacy)

3/2009

Un framework web-based per la logistica collaborativa Tesi Aziendale

Laurea magistrale

Applicazioni web, Tecniche e tool di pianificazione

C, PHP/Java servlets, Tool di ottimizzazione

Lo scopo della tesi e' la realizzazione di un framework web-based per la gestione e l'ottimizzazione di un sistema di logistica collaborativa. Questo sistema si propone di gestire al meglio lo spostamento di merci all'interno di una comunita' di dimensioni medio-grandi, pianificando i trasporti con lo scopo di minimizzarne i costi. Il sistema di pianificazione, da realizzare in collaborazione con il gruppo di Ricerca Operativa, interagira' con gli utenti tramite un'interfaccia web intuitiva con la quale sara' possibile definire la richiesta e valutare le offerte dei trasportatori, realizzando un processo iterativo che converga ad una soluzione soddisfacente sia per i clienti che per i trasportatori. La tesi prendera' spunto da alcuni risultati gia' ottenuti in precedenti lavori, completando lo sviluppo della parte web e realizzando il sistema di pianificazione vero e proprio, che andra' opportunamente connesso al sistema web.

**** (nome protetto per rispetto della privacy)

12/2008

Interfaccia Grafica Java per un Tool di Verifica

Laurea base

Interfacce grafiche

Java, Librerie Java SWING

Lo scopo della tesi e' la realizzazione di un'interfaccia grafica scritta in linguaggio Java per il tool di verifica CMurphi. Quest'ultimo e' un programma C a linea di comando, e l'interfaccia da realizzare dovra' fornire un supporto piu' user-friendly al suo uso, realizzando le seguenti funzionalita': 1) editor (testuale) per le specifiche da passare in input al programma 2) sistema di lancio del tool con selezione semplificata delle opzioni da inserire nella linea di comando 3) analisi (parsing) in tempo reale del log generato dal programma e visualizzazione dello stato di avanzamento/risultato finale dello stesso.

**** (nome protetto per rispetto della privacy)

12/2008

Un Sistema di Editing e Verifica per Centri di Controllo Spaziale Tesi Aziendale

Laurea base

Applicazioni Web, Gestione Dati

PHP

Scopo di questa tesi e' stato lo sviluppo di un'applicazione di supporto all'editing e alla verifica dei dati di telemetria e telecomando gestiti dai centri di controllo spaziale. Il sistema realizzato si interfaccia con le complesse strutture dati definite dagli standard ESA e permette di compilarle in maniera assistita ed eseguire automaticamente su di esse un gran numero di controlli di consistenza e correttezza.

**** (nome protetto per rispetto della privacy)

12/2008

Un'Applicazione Web per il Loan Management nel contesto Micron Tesi Aziendale

Laurea base

Applicazioni Web

.NET framework

La tesi e' consistita nello sviluppo di un software, integrato nel sistema Micron ITInventory, in grado di gestire le richieste di materiale informatico all'interno dell'Azienda e seguirne il flusso d'approvazione, contattando automaticamente tutti i soggetti coinvolti ed operando nel rispetto dei rigidi protocolli aziendali.

**** (nome protetto per rispetto della privacy)

10/2008

Un Servizio Web per il Dimensionamento di Impianti Solari Termici

Laurea base

Impianti Solari, Servizi Web

Google GWT, Linguaggio Java

La tesi e' consistita nello sviluppo di un servizio web che guida l'utente in un dettagliato processo di analisi e preventivazione del risparmio energetico ottenibile attraverso l'uso di energie alternative nella propria abitazione.

**** (nome protetto per rispetto della privacy)

10/2008

Un Universal Planner PDDL+ Basato su Tecniche di Model Checking

Laurea magistrale

Model Checking, Planning

Linguaggio C++, Linguaggio PDDL+

**** (nome protetto per rispetto della privacy)

10/2008

Trasformazione di lookup tables con codifica OBDD in codice C ottimizzato

Laurea magistrale

Generazione automatica di codice

C++, CUDD, VHDL

Lo scopo della tesi e' quello di realizzare un algoritmo per la trasformazione di un particolare tipo di OBDD (Ordered Binary Decision Diagram), che codifica una tabella di lookup, in un programma C e/o nella specifica logica di un circuito realizzata con linguaggi come il VHDL. A partire dall'OBDD, tramite trasformazioni logiche, si dovranno ottenere una serie di funzioni che restituiscano i singoli bit dei valori contenuti nella tabella di lookup. Queste funzioni dovranno poi essere codificate in linguaggio C e/o in una specifica circuitale. La realizzazione di una o entrambe queste trasformazioni determinera' il livello (base o specialistica) della tesi.

**** (nome protetto per rispetto della privacy)

7/2008

Backend Web per un Sistema di Gestione di Beni Culturali Tesi Aziendale

Laurea base

Basi di Dati, Web Programming

Java

**** (nome protetto per rispetto della privacy)

12/2007

Tecnologie XML per il reporting nei sistemi SCADA Tesi Aziendale

Laurea magistrale

Estrazione e manipolazione di dati

Java, SVG, XML, XSLT

**** (nome protetto per rispetto della privacy)

4/2007

Un Sistema per l'Aggiornamento Automatico di Applicazioni Basate sulla Piattaforma OSCommerce Tesi Aziendale

Laurea base

Programmazione PHP

PHP

**** (nome protetto per rispetto della privacy)

4/2007

Steering Interattivo in un'Applicazione per la Simulazione della Dinamica Molecolare Tesi Aziendale

Laurea base

Informatica grafica

Tcl/Tk

**** (nome protetto per rispetto della privacy)

4/2007

Traduzione Automatica di Controllori Tabulari in Diagrammi di Decisione Binari

Laurea magistrale

Controller generation, Model Checking

C++

**** (nome protetto per rispetto della privacy)

4/2007

Gestione Web di Processi di Calcolo su Piattaforma UNIX

Laurea base

Sistemi Operativi, Web Programming

PHP

**** (nome protetto per rispetto della privacy)

4/2007

Un Sistema di eCommerce per la Piccola Impresa: Gestione della Clientela Tesi Aziendale

Laurea magistrale

Design interfacce utente, Programmazione dispositivi mobili e wireless

C++, Java, Mobile SDKs

**** (nome protetto per rispetto della privacy)

1/2007

Un Sistema di eCommerce per la Piccola Impresa: Backoffice Aziendale Tesi Aziendale

Laurea magistrale

Commercio elettronico, Programmazione dispositivi mobili e wireless

C++, Java, Mobile SDKs

**** (nome protetto per rispetto della privacy)

1/2007

Un Framework Resource-Aware per la Realizzazione di Servizi di eBusiness

Laurea magistrale

Mobile computing, eBusiness Applications

Java

**** (nome protetto per rispetto della privacy)

1/2007

Una Componente per la Gestione di Connessioni Multiple nell'Architettura SEDA Tesi Aziendale

Laurea base

Architettura SEDA

Java

**** (nome protetto per rispetto della privacy)

1/2007

Una Soluzione Basata sul Model Checking al Problema dell'Idle Speed Control

Laurea base

Model checking

Murphi

**** (nome protetto per rispetto della privacy)

1/2007

Tecnologie per la gestione automatica di help desk

Laurea base

Applicazioni Web, Design di Interfacce Utente, Information Extraction, Logica Fuzzy

Mysql, PHP

**** (nome protetto per rispetto della privacy)

7/2006

Proprieta' dei grafi di transizione di sistemi software

Laurea base

Model Checking

C++

**** (nome protetto per rispetto della privacy)

7/2006

FreeCity: una Guida Turistica Mobile

Laurea quinquennale o specialistica

Basi di Dati, Mobile Programming

Java, MySQL

**** (nome protetto per rispetto della privacy)

7/2006

Un'applicazione web per la gestione della modulistica elettronica

Laurea base

Processi Documentali, XML, eGoverment

Java Servlets, XML, XML Signature, XSLT

La tesi estende e completa la precedente tesi 'Una metodologia per la definizione e la distribuzione della modulistica' fornendo un supporto lato server per la raccolta, la distribuzione, la compilazione assistita, la firma digitale e il recapito della modulistica.

**** (nome protetto per rispetto della privacy)

4/2006

Un'applicazione web per l'orientamento in ingresso degli studenti

Laurea base

Applicazioni Web, Design di Interfacce Utente

Mysql, PHP

**** (nome protetto per rispetto della privacy)

04/2006

Configurazione e gestione di un sistema Voice over IP Tesi Aziendale

Laurea base

Design di Interfacce Utente, Protocolli di comunicazione, Voice over IP

Asterisk, Java

**** (nome protetto per rispetto della privacy)

4/2006

Sintesi automatica di controllori fuzzy con algoritmi genetici

Laurea quinquennale o specialistica

Algoritmi genetici, Logica fuzzy, Sistemi di controllo

C++

**** (nome protetto per rispetto della privacy)

4/2006

Algoritmi probabilistici per l'esplorazione del web

Laurea base

Algoritmi di Visita Probabilistici, Applicazioni Web

C++

**** (nome protetto per rispetto della privacy)

1/2006

Un sistema per il controllo e la validazione automatica dei piani di studio

Laurea base

Applicazioni Web, Design di Interfacce Utente

Mysql, PHP

**** (nome protetto per rispetto della privacy)

1/2006

Un sistema per il riconoscimento ottico dei veicoli in sosta

Laurea quinquennale o specialistica

Algoritmi di manipolazione grafica, Logica Fuzzy, OCR

C++

**** (nome protetto per rispetto della privacy)

12/2005

Un'Applicazione web per la Creazione e la Manipolazione di Scenari

Laurea base

Ingengeria del Software, Java, XML

JSP, Java Servlets, XML, XSLT

La tesi consiste nello sviluppo di un framwework web-based che integra una serie di tool per la creazione e la manipolazione di scenari, basato sul formalismo SDML. Il framework implementa anche una serie di algoritmi che permettono di derivare state diagrams e test models direttamente dagli scenari, e offre una visualizzazione grafica dinamica su tutte le specifiche formali.

**** (nome protetto per rispetto della privacy)

10/2005

Editor Visuale per codice OpenGL

Laurea base

Design di Interfacce Utente, Grafica 2D e 3D

C++, OpenGL

**** (nome protetto per rispetto della privacy)

10/2005

Editor visuale per interfacce XUL

Laurea base, Laurea quinquennale o specialistica

Design di Interfacce Utente, Tecnologie XML

Java, XML

XUL e' un linguaggio di definizione di interfacce sviluppato dal Mozilla group. Il linguaggio permette di generare interfacce molto sofisticate tramite una semplice descrizione XML interpretata a runtime. E' possibile aggiungere dinamica all'interfaccia usando JavaScript per catturare gli eventi e gestirli, ed eventualmente interfacciandosi con librerie esterne tramite opportune interfacce. Lo scopo di questa tesi e' realizzare un editor visuale che permetta di 'comporre' una interfaccia (in maniera simile agli editor presenti in molti ambienti di sviluppo come JBuilder o Visual Studio) gestendo la generazione del file XUL corrispondente

**** (nome protetto per rispetto della privacy)

7/2005

Un DBMS virtuale e distribuito

Laurea base

Database

Java, XML

**** (nome protetto per rispetto della privacy)

3/2005

Algoritmi genetici per lo user profiling

Laurea base

Algoritmi Genetici, Applicazioni Web, User Profiling

Javascript, Mysql, PHP, RSS

**** (nome protetto per rispetto della privacy)

3/2005

Strumenti per la Verifica e il Testing di Software per Telecomunicazioni

Laurea quinquennale o specialistica

Definizione delle Specifiche Software, Model Checking

C++, Verificatori Software

**** (nome protetto per rispetto della privacy)

12/2004

Algoritmi Distribuiti per la Verifica di Sistemi Software

Laurea base

Algoritmi Distribuiti, Model Cheching

C++

La tesi consiste nello sviluppo di un approccio distribuito alla verifica esplicita di sistemi software, basato sul verificatore Murphi. L'architettura di verifica studiata si propone di realizzare una distribuzione efficiente e trasparente del lavoro di verifica tra vari client posti su meacchine diverse, con la possibilita' di variarne dinamicamente il numero.

**** (nome protetto per rispetto della privacy)

12/2004

Un sistema di visualizzazione di State Diagrams basato sul Formalismo SVG

Laurea base

Scalable Vector Graphics, XML

Java, SVG, XML, XSLT

**** (nome protetto per rispetto della privacy)

12/2004

Un Sistema per la Gestione Intelligente del Relevance Feedback

Laurea base

Applicazioni Web, Design di Interfacce Utente, Logica Fuzzy

Java, Mysql, PHP

**** (nome protetto per rispetto della privacy)

10/2004

Un sistema per la generazione automatica delle prove scritte d'esame

Laurea base

Automazione della didattica, Database

Java, MySQL

La tesi ha come obiettivo la realizzazione di un'applicazione per la generazione automatica di test a risposta multipla o libera, altamente configurabile e adattabile alle esigenze specifiche dei singoli corsi, per fornire supporto ai docenti. L'applicazione offre anche supporto durante la correzione dei test e gestisce un archivio storico degli stessi.

**** (nome protetto per rispetto della privacy)

7/2004

Algoritmi di Verifica basati sull'apprendimento automatico

Laurea base

Data Mining, Model Checking

C++

**** (nome protetto per rispetto della privacy)

7/2004

Un news aggregator con profiling dinamico dell'utenza

Laurea quinquennale o specialistica

Applicazioni Web, User Profiling

Javascript, Mysql, PHP, RSS

**** (nome protetto per rispetto della privacy)

7/2004

Un sistema di gestione per i progetti d'esame

Laurea base

Automazione della didattica, Database, Web applications

Javascript, MySQL, PHP

La tesi si propone di realizzare un sistema per la gestione automatica della consegna e della revisione dei progetti d'esame. Il sistema gestisce i gruppi di lavoro, le specifiche dei progetti, il loro versioning, la pubblicazione dei progetti piu' meritevoli in un'area pubblica, e la valutazione del docente.

**** (nome protetto per rispetto della privacy)

4/2004

Sicurezza e crittorgafia in XML

Laurea base

Crittografia, Sicurezza, XML

XML

La tesi analizza le caratteristiche della crittografia XML, intesa come sistema di standardizzazione delle numerose tecniche di crittografia esistenti e come metodologia specifica di crittografia applicata alle strutture XML. La tesi tratta sia gli aspetti teorici che quelli implementativi di questa nuova tecnologia.

**** (nome protetto per rispetto della privacy)

4/2004

Firma digitale e crittografia a chiave pubblica in xml

Laurea base

Firma Digitale, Sicurezza, XML

XML

La tesi analizza le tecniche di firma digitale per documenti XML e il protocollo XML per la gestione delle chiavi pubbliche. La tesi tratta sia gli aspetti teorici che quelli implementativi di questa nuova tecnologia.

**** (nome protetto per rispetto della privacy)

4/2004

Una metodologia per la definizione e la distribuzione della modulistica

Laurea base

Processi Documentali, XML, eGoverment

Javascript, XML, XSL-FO, XSLT

La tesi sviluppa un nuovo linguaggio XML per la descrizione uniforme di una vasta gamma di modulistica elettronica e cartacea. Vengono forniti due fogli di stile, capaci di generare dalla descrizione astratta del modulo una sua rappresentazione elettronica in HTML e una versione cartacea in PDF. In entrambi i casi vengono applicate le ottimizzazioni, le convenzioni strutturali e di formato tipiche dello specifico tipo di modulistica, ottenendo in output moduli molto compatti, leggibili e dalla struttura lineare. Viene inoltre fornita una terza trasformazione per la generazione di schemi XML per la validazione dei dati inseriti nei moduli elettronici.

**** (nome protetto per rispetto della privacy)

4/2004

Un sistema di pubblicazione di tesi e curriculum per neolaureati

Laurea base

Automazione della didattica, Database, Web Applications

Javascript, Mysql, PHP

LA tesi sviluppa un sito web con il duplice intento di assistere lo studente neolaureato nella compliazione del suo curriculum e nella pubblicazione della sua tesi sulla rete, e di dare visibilita' a questi due importanti documenti, fornendo potenti strumenti di ricerca e catalogazione degli stessi.

**** (nome protetto per rispetto della privacy)

4/2004

Un servizio web per la condivisione dei documenti strutturati

Laurea base

Database, Web Services, XML

JWSDP, Java, MySQL

La tesi si propone di sviluppare un servizio web generico e altamente configurabile per la gestione e la condivisione di documenti XML.

**** (nome protetto per rispetto della privacy)

4/2004

Metodologie di sviluppo per web services su piattaforme java

Laurea quinquennale o specialistica

Web Services, XML

Apache AXIS, JWSDP, Java

La tesi mette a confronto, tramite un caso di studio, le tecnologie piu' note per lo sviluppo di servizi web in ambiente Java.

**** (nome protetto per rispetto della privacy)

4/2004

Generazione Automatica di Test Cases

Laurea base

Ingegneria del Software

XML, XSLT

Il lavoro di tesi si propone la definizione di un nuovo approccio finalizzato alla generazione semiautomatica dei software test, in particolare modo dei system e performance test, a partire dalle specifiche software formalizzate tramite il linguaggio SDML (Scenario Description Markup Language).

**** (nome protetto per rispetto della privacy)

12/2003

Generazione automatica di strutture relazionali a partire da diagrammi Entita'-Relazione

Laurea base

Database

Modelli Entita' elazione e Relazionale, XSLT

**** (nome protetto per rispetto della privacy)

12/2003

Un Ambiente di Editing per lo Scenario Description Markup Language

Laurea base

Design di Interfacce Utente, Ingegneria del Software

Java, XML

Il lavoro di tesi si propone la realizzazione di un editor visuale per la rappresentazione e la manipolazione degli elementi del linguaggio SDML (Scenario Description Markup Language).

**** (nome protetto per rispetto della privacy)

10/2003

Un Editor Visuale per State Diagrams

Laurea base

Design di Interfacce Utente, Ingegneria del Software

Java, XML

Il lavoro di tesi si propone la realizzazione di un editor visuale per la rappresentazione e la manipolazione degli elementi del linguaggio SCDML (Statechart Description Markup Language). L'editor dovra' supportare due diverse tipologie di creazione di statechart: sia attraverso le funzioni classiche dell'editor, sia importando documenti scritti in SDML.

**** (nome protetto per rispetto della privacy)

10/2003

Analisi del formalismo XML Schema nella Gerarchia di Chomsky

Laurea quinquennale o specialistica

Linguaggi Formali, XML

La tesi si propone di analizzare la classificazione degli schemi XSLT, visti come un particolare formalismo grammaticale, all'interno della gerarchia dei linguaggi formali.

**** (nome protetto per rispetto della privacy)

10/2003

Mapping di documenti XML su strutture relazionali

Laurea base

Database, Schemi XML

XML, XSLT

**** (nome protetto per rispetto della privacy)

10/2003

Verifica automatica dei criteri di accessibilita' ai contenuti web

Laurea base

Accessibilita', Applicazioni Web

HTML, PHP

**** (nome protetto per rispetto della privacy)

3/2003

Tracking dello sviluppo di commesse commerciali

Laurea base

Applicazoni Web

PHP

L'applicazione web da sviluppare dovrà permettere agli utenti di aggiornare in maniera collaborativa delle schede informative relative alle commesse di un'azienda, in particolare tenendo traccia del loro stato di avanzamento tramite la realizzazione di una sequenza temporale in cui potranno essere riportati tutti gli eventi relativi allo svolgimento di ciascuna commessa. Opzionalmente, potranno essere realizzate anche dashboard informative e statistiche su questi stessi dati.

**** (nome protetto per rispetto della privacy)

Reingegnerizzazione di un'Applicazione per la Generazione e la Condivisione di Dati di Modellizzazione Molecolare ​

Laurea base

Applicazoni Web

PHP, Python

**** (nome protetto per rispetto della privacy)

Un framework per la modellazione, l'aggregazione e la pubblicazione di API RESTful per servizi in ambito agricolo ​​

Laurea base

Applicazoni Web

OpenAPI, PHP, Swagger

**** (nome protetto per rispetto della privacy)

Interfaccia per insegnanti di un videogioco educativo: CLAssroom Report And Supervision (CLARAS) ​​​

Laurea base

Applicazoni Web

PHP

**** (nome protetto per rispetto della privacy)

Sviluppo di un'applicazione Java per la valutazione delle prove d'esame

Laurea base

Sviluppo GUI, Sviluppo applicazioni desktop

Java

Obiettivo della tesi è la realizzazione di un'applicazione Java che permetta, in maniera assistita e tramite un'interfaccia grafica opportunamente progettata, l'inserimento dei risultati di una serie di prove d'esame, misurati in base a un insieme predefinito di parametri. Tali risultati dovranno essere poi analizzati e rappresentati in report tabulari e grafici, esportabili in PDF per la distribuzione e l'invio su canali elettronici. E' richiesta una buona esperienza nella programmazione Java e nei relativi strumenti di realizzazione di GUI.

**** (nome protetto per rispetto della privacy)