Discalculia e scuola secondaria di II grado

In questa tesi ho trattato l'argomento dei Disturbi Specifici di Apprendimento (DSA), in particolar modo mi sono interessata alla Discalculia e a come si potrebbe affrontare a livello di Scuola Secondaria di II Grado. Ho approfondito in particolar modo l'argomento dell'algebra alla base dei curricula di matematica nel biennio, attraverso il supporto del software Aplusix.

Un ambiente integrato basato sul calcolo degli eventi per il riconoscimento di pose mediante kinect

In questo lavoro di tesi si è sviluppato un sistema di supporto al fisioterapista per la definizione degli esercizi da far eseguire al paziente che consenta di automatizzare il controllo della corretta esecuzione degli esercizi stessi da parte del paziente. Si è realizzato un linguaggio per codificare gli esercizi ed un editor per poterli esprimere, attraverso il linguaggio, da parte dello specialista. E' stato realizzato un motore che riesca a valutare in modo automatico se il paziente sta eseguendo correttamente gli esercizi proposti, confrontando le pose riconosciute utilizzando il sensore Microsoft Kinect con le pose degli esercizi definiti attraverso l'editor. Il filo conduttore per la realizzazione del linguaggio e del motore è stata la teoria del Calcolo degli Eventi, estesa con il concetto di aspettativa.

Algoritmi per la scoperta di outlier in sistemi di calcolo ad altissime prestazioni

In questa tesi vengono analizzati gli algoritmi DistributedSolvingSet e LazyDistributedSolvingSet e verranno mostrati dei risultati sperimentali relativi al secondo.

Origini del calcolo delle probabilità e applicazioni alla valutazione del prezzo equo di un guadagno incerto

Sfruttando un approccio di tipo ordinale all'utilità è possibile semplificare notevolmente la teoria dell'asset prices. Rappresentando le distribuzioni di probabilità attraverso i suoi momenti (non soffermandoci solo ai primi due), si riesce infatti ad ottenere una miglior valutazione dei singoli assets, portando ad un effettivo miglioramento delle performance del portafoglio.

Calcolo delle equazioni e ricorsività

Nell'elaborato si introduce il calcolo delle equazioni, un particolare linguaggio predicativo contenente come unico simbolo predicativo quello di uguaglianza. Vengono analizzate le funzioni derivabili in questo linguaggio: le funzioni ricorsive parziali e le funzioni ricorsive primitive. Si accenna al lambda-calcolo che è un particolare linguaggio con cui è possibile, per la sua semplicità, esprimere molte teorie, come quella del calcolo delle equazioni. Infine, si studiano i problemi legati alla ricorsività: il problema della fermata e il problema dell'indecidibilità della logica dei predicati.

Analisi comparativa di procedimenti di calcolo per l'analisi sismica di edifici di muratura

studio di un edificio in muratura ed intervento di miglioramento sismico.

Implementazione di un codice di calcolo random close per un propellente solido

L’impacchettamento risulta essere importante in molti settori industriali, come il settore minerario, farmaceutico e soprattutto il settore spaziale, in quanto permette di massimizzare il grado di riempimento del propellente solido di un razzo ottenendo prestazioni migliori e notevoli vantaggi economici. Il lavoro di tesi presentato nel seguente elaborato consiste nello studio dell’impacchettamento casuale, in particolare il caso Random Close Packing, di un propellente solido; per fare ciò è stato implementato un codice in ambiente C++ presso l’hangar della Scuola di Ingegneria ed Architettura con sede a Forlì. L’obiettivo principale era quello di trovare la granulometria delle particelle di perclorato di ammonio e delle particelle di alluminio tali da minimizzare gli spazi lasciati vuoti dalle particelle stesse.

Progettazione e calcolo strutturale di un sistema di afferraggio

Tesi sulla progettazione meccanica e il calcolo strutturale FEM di un sistema di afferraggio facente parte di una macchina automanica nel campo del packaging.

Coca cola hbc italia: Modello per il calcolo di inventory stock target e production cycles ottimali

Approccio unificato alla gestione e alla valutazione del planning in stabilimenti e magazzini, presso Coca Cola HBC Italia

Metafora: specchio della mente umana un viaggio mano per mano con Steven Pinker

L'elaborato mostra in un primo momento i poteri del linguaggio, inteso come diretta espressione della persona. In un secondo momento la ricerca si sofferma sui poteri particolari della metafora. La metafora è in grado se usata in maniere consapevole di modificare il nostro rapporto con la comunità e quello con noi stessi.

Mini-system: un software di calcolo numerico

Questo elaborato descrive il lavoro di tesi che ha portato all' inserimento del MiniSystem come strumento di supporto e di esercitazione per gli studenti nell' apprendimento del "Calcolo Numerico".

Calcolo termico di verifica di un generatore di vapore a tubi da fumo

Esempio di applicazione del calcolo termico di verifica per generatori di vapore a tre giri da fumo.

Progettazione e sviluppo di una soluzione Hadoop per il calcolo di Big Data Analytics

Il presente elaborato ha come oggetto la progettazione e lo sviluppo di una soluzione Hadoop per il Calcolo di Big Data Analytics. Nell'ambito del progetto di monitoraggio dei bottle cooler, le necessità emerse dall'elaborazione di dati in continua crescita, ha richiesto lo sviluppo di una soluzione in grado di sostituire le tradizionali tecniche di ETL, non pi�ù su�fficienti per l'elaborazione di Big Data. L'obiettivo del presente elaborato consiste nel valutare e confrontare le perfomance di elaborazione ottenute, da un lato, dal flusso di ETL tradizionale, e dall'altro dalla soluzione Hadoop implementata sulla base del framework MapReduce.

Calcolo delle mappe di fase a partire da elettrogrammi in fibrillazione atriale

L'analisi di fase del segnale si presenta appropriata e di notevole efficacia per l'individuazione di attivazioni in fibrillazione atriale, in quanto permette la valutazione di come queste si generano e si propagano. Dopo aver ottenuto i dati relativi alle attivazioni, è possibile ricostruire delle mappe di fase atriale che possono essere utilizzate dal clinico per individuare i punti in cui cauterizzare. In questo lavoro di tesi sono stati utilizzati i segnali endocavitari atriali acquisiti con un catetere a contatto di nuova generazione per ottenere gli istanti di attivazione nelle diverse zone della camera atriale. I risultati dell'algoritmo messo a punto e testato su segnali in ritmo sinusale, sono stati confrontati con le performance di due metodi riportati in letteratura, evidenziando prestazioni migliori che potrebbero portare alla costruzione accurata delle mappe di fase e quindi ad una precisa localizzazione delle aree da cauterizzare durante la procedura di ablazione.