Implementazione e test di modelli di ottimizzazione per la pianificazione tattica del blocco operatorio

In questa tesi è stato analizzato e tradotto nel linguaggio di alto livello AMPL un modello di ILP relativo alla pianificazione tattica del blocco operatorio. L'obiettivo è quello di permettere l'interfacciamento con numerosi solver -commerciali e non- al fine di analizzarne le prestazioni. In seguito a un'introduzione in merito al problema dell'Operating Room Management e a una descrizione del contesto sanitario regionale dell'Emilia-Romagna, si è proceduto alla descrizione formale del modello. Infine sono state eseguite numerose risoluzioni con i solver cplex e gurobi al variare di alcuni parametri in ingresso, tra cui il numero di sale operatorie, di infermieri e operatori sanitari, e di pazienti in lista d'attesa.

Integrazione di contenuti multimediali in basi di conoscenza strutturate: il caso DBpedia

Viene presentato l’approccio Linked Data, che si serve di descrizioni scritte in linguaggio RDF per rendere espliciti ai calcolatori i legami semantici esistenti tra le risorse che popolano il Web. Si descrive quindi il progetto DBpedia, che si propone di riorganizzare le informazioni disponibili su Wikipedia in formato Linked Data, così da renderle più facilmente consultabili dall’utente e da rendere possibile l’esecuzione di query complesse. Si discute quindi della sfida riguardante l’integrazione di contenuti multimediali (immagini, file audio, video…) su DBpedia e si analizzano tre progetti rivolti in tal senso: Multipedia, DBpedia Commons e IMGpedia. Vengono infine sottolineate l’importanza e le potenzialità legate alla creazione di un Web Semantico.

Analisi comparativa del fenomeno dell'alternanza grafo-fonica nella scrittura manoscritta e digitale di bambini di lingua spagnola e italiana di 4 e 5 anni

L'articolo presenta i risultati di una ricerca comparativa tra bambini di 4 e 5 anni appartenenti a due contesti linguistici diversi circa il fenomeno delle alternanze grafo-foniche. Nell'indagine è stato richiesto a 60 bambini (30 argentini e 30 italiani) di scrivere sotto dettatura dell'adulto uno stesso elenco di parole, prima in forma manoscritta e poi con l'uso del pc; e successivamente di confrontare le due versioni. In questo modo è stato possibile cogliere le diverse modalità di risoluzione dei problemi legati alla scrittura degli stessi segmenti sillabici: dall?utilizzo di modalità più stabili, come l?identità totale, ad altre più instabili, come le alternanze. Come già indagato nella lingua spagnola, nei diversi livelli di concettualizzazione, in entrambe le lingue sono state individuate alternanze grafo-foniche molto simili per frequenza e percentuali. Questo fenomeno ci offre maggiori informazioni sulle conoscenze che i bambini possiedono rispetto al sistema di scrittura, poiché riflette il modo in cui essi esplorano e introducono i valori sonori convenzionali, soprattutto nel livello sillabico di concettualizzazione. I risultati indicano, inoltre, che la presenza e l?uso della tastiera del pc non incide in modo significativo sulla maggiore varietà o quantità (numero) di grafemi utilizzati nella produzione digitale rispetto a quella manuale

Opere dell'abate Melchior Cesarotti ...

Vol. 1, 6-9, 17-18, 38-40 have imprint: Pisa, N. Capurro; v. 19, Parigi, G.C. Molini; v. 31, Florentiae, typis Molini, Landi et soc.

L'unità d'origine del linguaggio. (Ristampa fotostatica) Con presentazione e nota biografica e bibliografica.

Mode of access: Internet.

Atlante linguistico d'Europa /

Acquisition made accessible thanks to a 2015-2017 grant from the Council on Libraries and Information Resources.

Analisi comparativa del fenomeno dell'alternanza grafo-fonica nella scrittura manoscritta e digitale di bambini di lingua spagnola e italiana di 4 e 5 anni

L'articolo presenta i risultati di una ricerca comparativa tra bambini di 4 e 5 anni appartenenti a due contesti linguistici diversi circa il fenomeno delle alternanze grafo-foniche. Nell'indagine è stato richiesto a 60 bambini (30 argentini e 30 italiani) di scrivere sotto dettatura dell'adulto uno stesso elenco di parole, prima in forma manoscritta e poi con l'uso del pc; e successivamente di confrontare le due versioni. In questo modo è stato possibile cogliere le diverse modalità di risoluzione dei problemi legati alla scrittura degli stessi segmenti sillabici: dall?utilizzo di modalità più stabili, come l?identità totale, ad altre più instabili, come le alternanze. Come già indagato nella lingua spagnola, nei diversi livelli di concettualizzazione, in entrambe le lingue sono state individuate alternanze grafo-foniche molto simili per frequenza e percentuali. Questo fenomeno ci offre maggiori informazioni sulle conoscenze che i bambini possiedono rispetto al sistema di scrittura, poiché riflette il modo in cui essi esplorano e introducono i valori sonori convenzionali, soprattutto nel livello sillabico di concettualizzazione. I risultati indicano, inoltre, che la presenza e l?uso della tastiera del pc non incide in modo significativo sulla maggiore varietà o quantità (numero) di grafemi utilizzati nella produzione digitale rispetto a quella manuale

Storia e tragedia. P. Oxy. XXIII 2382: edizione critica e commento

Il lavoro consta di un’introduzione dedicata in primis alla presentazione formale di P. Oxy. XXIII 2382, di cui sono posti in evidenza i legami strutturali e concettuali con il racconto di Hdt. I 8-12. Segue dunque la trattazione dei problemi posti da P. Oxy. 2382, quello del genere letterario di appartenenza (tragedia o novella in versi?) e quello della datazione (età classica o età ellenistica?), finalizzata ad una puntuale definizione dello status quaestionis. Le conclusioni mettono in luce gli elementi a favore dell’ipotesi tragica: la presenza di paragraphoi e il passo di Ach. Tat. I 8 4-7 (corredato da un’appendice relativa alla storia del termine δρᾶμα: se e quando tale termine assume l’accezione di ‘narrazione romanzesca’?), nonché il soggetto storico (con un excursus relativo ai drammi di argomento storico). Si evidenziano infine gli elementi di debolezza contenuti nelle ipotesi avanzate da Cantarella (1952) e Lloyd-Jones (1953), propensi a ritenere P. Oxy. 2382 rispettivamente una novella in versi (il che offre lo spunto per una breve trattazione relativa alle caratteristiche contenutistiche e formali delle novelle milesie) e un giambo archilocheo, di cui il fr. 19 W.2 conserverebbe l’incipit. Quanto alla cronologia, sono enumerati i limiti della datazione alta, nonché gli elementi di affinità di P. Oxy. 2382 con la tragedia ellenistica; infine, pensando ad una possibile attribuzione, si propone, in termini puramente ipotetici, il confronto con l’esperienza della Pleiade alessandrina. Segue dunque un’analisi (laddove le condizioni dei testi, spesso frammentarie, lo consentano) dell’opera di Licofrone di Calcide, Sositeo e Sosifane di Siracusa, esponenti della Pleiade, nonché di Moschione ed Ezechiele, volta ad individuare elementi di continuità con P. Oxy. 2382. Il lavoro si conclude con l’edizione critica e il commento verso per verso di P. Oxy. XXIII 2382, corredati da un’appendice dedicata a P. Oxy. XLIV 3161, testo con notazioni musicali apparentemente affine a P. Oxy. XXIII 2382, costituito da 4 frr. notevolmente accidentati, di cui si fornisce l’edizione critica.

Definizione e validazione di uno strumento per la misurazione dell'impatto delle variabili redazionali di un item matematico sulla performance degli studenti

Questa tesi descrive la ricerca condotta tra l'autunno e l'inverno di quest'anno da un gruppo di ricercatori in didattica della matematica relativamente all'influenza che le variazioni redazionali di un quesito matematico hanno sulle performance degli studenti. Lo scopo della ricerca è quella di strutturare e validare una metodologia e uno strumento che permettano di individuare e quantificare l'influenza delle variazioni del testo sulle prestazioni dello studente. Si è sentita l'esigenza di condurre uno studio di questo tipo poichè è sempre più evidente il profondo legame tra il linguaggio e l'apprendimento della matematica. La messa a punto di questo strumento aprirebbe le porte a una serie di ricerche più approfondite sulle varie tipologie di variazioni numeriche e/o linguistiche finora individuate. Nel primo capitolo è presentato il quadro teorico di riferimento relativo agli studi condotti fino ad ora nell'ambito della didattica della matematica, dai quali emerge la grossa influenza che la componente linguistica ha sulla comprensione e la trasmissione della matematica. Si farà quindi riferimento alle ricerche passate volte all'individuazione e alla schematizzazione delle variazioni redazionali dei Word Problems. Nel secondo capitolo, invece si passerà alla descrizione teorica relativa allo strumento statistico utilizzato. Si tratta del modello di Rasch appartenente alla famiglia dei modelli statistici dell'Item Response Theory, particolarmente utilizzato nella ricerca in didattica. Il terzo capitolo sarà dedicato alla descrizione dettagliata della sperimentazione svolta. Il quarto capitolo sarà il cuore di questa tesi; in esso infatti verrà descritta e validata la nuova metodologia utilizzata. Nel quinto sarà eseguita un analisi puntuale di come lo strumento ha messo in evidenza le differenze per ogni item variato. Infine verranno tratte le conclusioni complessive dello studio condotto.

Progettazione e implementazione di una applicazione didattica interattiva per il riconoscimento di oggetti basata sull'algoritmo SIFT

Nell'elaborato viene introdotto l'ambito della Computer Vision e come l'algoritmo SIFT si inserisce nel suo panorama. Viene inoltre descritto SIFT stesso, le varie fasi di cui si compone e un'applicazione al problema dell'object recognition. Infine viene presentata un'implementazione di SIFT in linguaggio Python creata per ottenere un'applicazione didattica interattiva e vengono mostrati esempi di questa applicazione.

A proposito di Crittografia a chiave asimmetrica e numeri primi: tecniche note e proposta di un nuovo test di primalità euristico e deterministico

Con questa tesi verrà spiegata l'intrinseca connessione tra la matematica della teoria dei numeri e l'affidabilità e sicurezza dei crittosistemi asimmetrici moderni. I principali argomenti trattati saranno la crittografia a chiave pubblica ed il problema della verifica della primalità. Nei primi capitoli si capirà cosa vuol dire crittografia e qual è la differenza tra asimmetria e simmetria delle chiavi. Successivamente verrà fatta maggiore luce sugli utilizzi della crittografia asimmetrica, mostrando tecniche per: comunicare in modo confidenziale, scambiare in modo sicuro chiavi private su un canale insicuro, firmare messaggi, certificare identità e chiavi pubbliche. La tesi proseguirà con la spiegazione di quale sia la natura dei problemi alla base della sicurezza dei crittosistemi asimmetrici oggigiorno più diffusi, illustrando brevemente le novità introdotte dall'avvento dei calcolatori quantistici e dimostrando l'importanza che riveste in questo contesto il problema della verifica della primalità. Per concludere verrà fatta una panoramica di quali sono i test di primalità più efficienti ed efficaci allo stato dell'arte, presentando una nuova tecnica per migliorare l'affidabilità del test di Fermat mediante un nuovo algoritmo deterministico per fattorizzare gli pseudoprimi di Carmichael, euristicamente in tempo O~( log^3{n}), poi modificato sfruttando alcune proprietà del test di Miller per ottenere un nuovo test di primalità deterministico ed euristico con complessità O~( log^2{n} ) e la cui probabilità di errore tende a 0 con n che tende ad infinito.

Interrogazione visuale per basi di dati a grafo: il sistema GraphVista

Oggi l’esigenza di permettere all’utente di riuscire a formulare interrogazioni su database a grafo in maniera più semplice e soprattutto intuitiva ha portato gli istituti di ricerca a proporre metodi di interrogazione visuale. Uno dei sistemi che sono stati proposti è GraphVista. Tale sistema si basa sull’idea di dividere l’interrogazione in due macro-fasi. La prima fase permette di avvicinarsi al risultato richiesto escludendo da successive analisi dati che sicuramente non potranno far parte del risultato finale, mentre la seconda fase permette all’utente di essere protagonista. Infatti ad esso è concessa la possibilità di manipolare a proprio piacimento i risultati ottenuti dalla prima fase al fine di “ricercare” da sé le informazioni desiderate. Il tutto viene supportato grazie a un’interfaccia intuitiva ed efficace che permette all’utente di navigare interattivamente all’interno di una base di dati a grafo. Le caratteristiche dell’interfaccia e la possibilità di formulare interrogazioni visuali fanno in modo che l’utente non necessiti di conoscere alla perfezione un linguaggio di query specifico. Nel corso di questa tesi viene descritto il sistema GraphVista e la tecnologia sulla quale si fonda. Infine, viene effettuata una comparazione sull’efficacia e la semplicità d’uso del sistema GraphVista rispetto alla formulazione di query tramite un linguaggio standard come SPARQL.

Studio e sviluppo di un framework per il riconoscimento vocale nell'ambito di sistemi Hands-Free

Negli ultimi anni, l'avanzamento incredibilmente rapido della tecnologia ha portato allo sviluppo e alla diffusione di dispositivi elettronici portatili aventi dimensioni estremamente ridotte e, allo stesso tempo, capacità computazionali molto notevoli. Più nello specifico, una particolare categoria di dispositivi, attualmente in forte sviluppo, che ha già fatto la propria comparsa sul mercato mondiale è sicuramente la categoria dei dispositivi Wearable. Come suggerisce il nome, questi sono progettati per essere letteralmente indossati, pensati per fornire continuo supporto, in diversi ambiti, a chi li utilizza. Se per interagire con essi l’utente non deve ricorrere obbligatoriamente all'utilizzo delle mani, allora si parla di dispositivi Wearable Hands Free. Questi sono generalmente in grado di percepire e catture l’input dell'utente seguendo tecniche e metodologie diverse, non basate sul tatto. Una di queste è sicuramente quella che prevede di modellare l’input dell’utente stesso attraverso la sua voce, appoggiandosi alla disciplina dell’ASR (Automatic Speech Recognition), che si occupa della traduzione del linguaggio parlato in testo, mediante l’utilizzo di dispositivi computerizzati. Si giunge quindi all’obiettivo della tesi, che è quello di sviluppare un framework, utilizzabile nell’ambito dei dispositivi Wearable, che fornisca un servizio di riconoscimento vocale appoggiandosi ad uno già esistente, in modo che presenti un certo livello di efficienza e facilità di utilizzo. Più in generale, in questo documento si punta a fornire una descrizione approfondita di quelli che sono i dispositivi Wearable e Wearable Hands-Free, definendone caratteristiche, criticità e ambiti di utilizzo. Inoltre, l’intento è quello di illustrare i principi di funzionamento dell’Automatic Speech Recognition per passare poi ad analisi, progettazione e sviluppo del framework appena citato.

Progettazione e implementazione di una incarnazione biochimica per il simulatore Alchemist

Scopo di questo elaborato di tesi è la modellazione e l’implementazione di una estensione del simulatore Alchemist, denominata Biochemistry, che permetta di simulare un ambiente multi-cellulare. Al fine di simulare il maggior numero possibile di processi biologici, il simulatore dovrà consentire di modellare l’eterogeneità cellulare attraverso la modellazione di diversi aspetti dei sistemi cellulari, quali: reazioni intracellulari, segnalazione tra cellule adiacenti, giunzioni cellulari e movimento. Dovrà, inoltre, essere ammissibile anche l’esecuzione di azioni impossibili nel mondo reale, come la distruzione o la creazione dal nulla di molecole chimiche. In maniera più specifica si sono modellati ed implementati i seguenti processi biochimici: creazione e distruzione di molecole chimiche, reazioni biochimiche intracellulari, scambio di molecole tra cellule adiacenti, creazione e distruzione di giunzioni cellulari. È stata dunque posta particolare enfasi nella modellazione delle reazioni tra cellule vicine, il cui meccanismo è simile a quello usato nella segnalazione cellulare. Ogni parte del sistema è stata modellata seguendo fenomeni realmente presenti nei sistemi multi-cellulari, e documentati in letteratura. Per la specifica delle reazioni chimiche, date in ingresso alla simulazione, è stata necessaria l’implementazione di un Domain Specific Language (DSL) che consente la scrittura di reazioni in modo simile al linguaggio naturale, consentendo l’uso del simulatore anche a persone senza particolari conoscenze di biologia. La correttezza del progetto è stata validata tramite test compiuti con dati presenti in letteratura e inerenti a processi biologici noti e ampiamente studiati.

Il ruolo della matematica nella meccanica quantistica in un approccio interdisciplinare per la scuola secondaria

Questo lavoro di tesi nasce all’interno del nucleo di ricerca in didattica della fisica dell’Università di Bologna, coordinato dalla professoressa Olivia Levrini e che coinvolge docenti di matematica e fisica dei Licei, assegnisti di ricerca e laureandi. Negli ultimi anni il lavoro del gruppo si è concentrato sullo studio di una possibile risposta all'evidente e pressante difficoltà di certi docenti nell'affrontare gli argomenti di meccanica quantistica che sono stati introdotti nelle indicazioni Nazionali per il Liceo Scientifico, dovuta a cause di vario genere, fra cui l'intrinseca complessità degli argomenti e l'inefficacia di molti libri di testo nel presentarli in modo adeguato. In questo contesto, la presente tesi si pone l’obiettivo di affrontare due problemi specifici di formalizzazione matematica in relazione a due temi previsti dalle Indicazioni Nazionali: il tema della radiazione di corpo nero, che ha portato Max Planck alla prima ipotesi di quantizzazione, e l’indeterminazione di Heisenberg, con il cambiamento di paradigma che ha costituito per l’interpretazione del mondo fisico. Attraverso un confronto diretto con le fonti, si cercherà quindi di proporre un percorso in cui il ruolo del protagonista sarà giocato dagli aspetti matematici delle teorie analizzate e dal modo in cui gli strumenti della matematica hanno contribuito alla loro formazione, mantenendo un costante legame con le componenti didattiche. Proprio in quest'ottica, ci si accorgerà della forte connessione fra i lavori di Planck e Heisenberg e due aspetti fondamentali della didattica della matematica: l'interdisciplinarietà con la fisica e il concetto di modellizzazione. Il lavoro finale sarà quindi quello di andare ad analizzare, attraverso un confronto con le Indicazioni Nazionali per il Liceo Scientifico e con alcune esigenze emerse dagli insegnanti, le parti e i modi in cui la tesi risponde a queste richieste.