Problemi al contorno per equazioni differenziali ordinarie ed equazioni iperboliche alle derivate parziali

La tesi consiste in una trattazione sui problemi al contorno per le equazioni differenziali. Si affrontano prima i problemi per le equazioni differenziali ordinarie e poi quelli sulle equazioni iperboliche alle derivate parziali, analizzando nello specifico l'equazione delle onde in una e due dimensioni.

L’«educativo» in sanità: reti di complessità e orizzonti di possibilità

La tesi analizza il dialogo tra due prospettive disciplinari: pedagogia e scienze mediche aprendo ad una serie di riflessioni operative e metodologiche per lo sviluppo della competenza educativa in sanità. Si tratta di un lavoro di ricerca pedagogica articolata in due parti:una teoretica e una empirica. La prima parte pone l’attenzione in modo particolare all’epistemologia della cura sanitaria nella prospettiva della complessità e agli elementi che definiscono la competenza educativa degli operatori. La seconda parte presenta i dati di una indagine esplorativa realizzata tramite focus group che ha coinvolto medici, infermieri, ostetriche e fisioterapisti della provincia di Bologna e medici, infermieri e fisioterapisti del Canton Ticino, Svizzera per far emergere le esperienze, i vissuti e le opinioni legate alle azioni educative sanitarie

Metodi euristici per il problema dei trasporti con costi fissi

In questa tesi viene considerato il problema dei trasporti con costi fissi (FCTP) che, assieme al Traveling Salesman Problem (TSP), è uno dei problemi nobili dell’ottimizzazione combinatoria. Esso generalizza il ben noto problema dei trasporti (TP) imponendo che il costo per spedire prodotti da un’origine ad una destinazione sia composto da un costo fisso ed un costo proporzionale alla quantità spedita. Il FCTP è stato formulato per la prima volta in un articolo di Hirsch e Dantzig (1968) ed è stato da allora oggetto di studio per la ricerca di nuovi e sempre migliori algoritmi di risoluzione. Nessuno dei metodi esatti fin ora pubblicati è in grado di risolvere istanze con più di 15 origini e 15 destinazioni. Solo recentemente, Roberti et al. (2013), in un paper in corso di pubblicazione, hanno presentato un metodo esatto basato su una nuova formulazione matematica del problema, il quale è in grado di risolvere istanze di FCTP con 70 origini e 70 destinazioni. La crescita esponenziale dello sforzo computazionale richiesto dai metodi esatti ne ha confinato l’applicazione a problemi di dimensioni ridotte. Tali limitazioni hanno portato allo studio e alla ricerca di approcci approssimativi, euristici e metaeuristici i quali sfruttano varie strategie di local search. Fra i molteplici metodi euristici presentati in letteratura, meritano particolare attenzione quelli di Sun et al. (1998) e Glover et al. (2005). Recentemente, Buson et al. (2013) hanno presentato un nuovo euristico che domina tutti i precedenti sui problemi test proposti in letteratura. In questa tesi viene presentato un approccio Tabu Search che migliora il metodo originalmente proposto da Sun et al. (1998). I risultati computazionali ottenuti con un codice prototipale indicano che l’algoritmo sviluppato è migliore del metodo originario di Sun et al. (1998) e competitivo con il più recente metodo proposto da Buson et al. (2013).

Studio, progettazione e realizzazione di un regolatore di carica per batterie al piombo gel, con algoritmo mppt, per applicazioni fotovoltaiche in isola

Studio, progettazione e realizzazione di un regolatore di carica per batterie al piombo gel, con algoritmo mppt, per applicazioni fotovoltaiche in isola

Elaborazione di un algoritmo di pianificazione di ricostruzioni del cavo orale, dell'orofaringe, della mandibola.

1.Ricostruzione mandibolare La ricostruzione mandibolare è comunemente eseguita utilizzando un lembo libero perone. Il metodo convenzionale (indiretto) di Computer Aided Design e Computer Aided Manifacturing prevede il modellamento manuale preoperatorio di una placca di osteosintesi standard su un modello stereolitografico della mandibola. Un metodo innovativo CAD CAM diretto comprende 3 fasi: 1) pianificazione virtuale 2) computer aided design della dima di taglio mandibolari, della dima di taglio del perone e della placca di osteosintesi e 3) Computer Aided Manufacturing dei 3 dispositivi chirurgici personalizzati. 7 ricostruzioni mandibolari sono state effettuate con il metodo diretto. I risultati raggiunti e le modalità di pianificazione sono descritte e discusse. La progettazione assistita da computer e la tecnica di fabbricazione assistita da computer facilita un'accurata ricostruzione mandibolare ed apporta un miglioramento statisticamente significativo rispetto al metodo convenzionale. 2. Cavità orale e orofaringe Un metodo ricostruttivo standard per la cavità orale e l'orofaringe viene descritto. 163 pazienti affetti da cancro della cavità orale e dell'orofaringe, sono stati trattati dal 1992 al 2012 eseguendo un totale di 175 lembi liberi. La strategia chirurgica è descritta in termini di scelta del lembo, modellamento ed insetting. I modelli bidimensionali sono utilizzati per pianificare una ricostruzione tridimensionale con il miglior risultato funzionale ed estetico. I modelli, la scelta del lembo e l' insetting sono descritti per ogni regione. Complicazioni e risultati funzionali sono stati valutati sistematicamente. I risultati hanno mostrato un buon recupero funzionale con le tecniche ricostruttive descritte. Viene proposto un algoritmo ricostruttivo basato su template standard.

Alcune applicazioni della teoria delle equazioni differenziali ordinarie a problemi di moto unidimensionale.

Applicazione delle equazioni differenziali alla Legge di Newton e ai vari tipi di moto armonico

Alcuni problemi di dinamica relativa del punto materiale.

Il documento tratta di alcuni problemi di dinamica relativa. Dopo un'introduzione sulla cinematica vengono analizzati principalmente, in ambito statico e dinamico, il problema della variazione del peso in funzione della latitudine e il problema dei due corpi. Prendendo le origini da quest'ultimo, infine vengono esposte le tre leggi di Keplero

Non-evolutive pattern recognition techniques: An application in medical image diagnostics

Lo studio dell’intelligenza artificiale si pone come obiettivo la risoluzione di una classe di problemi che richiedono processi cognitivi difficilmente codificabili in un algoritmo per essere risolti. Il riconoscimento visivo di forme e figure, l’interpretazione di suoni, i giochi a conoscenza incompleta, fanno capo alla capacità umana di interpretare input parziali come se fossero completi, e di agire di conseguenza. Nel primo capitolo della presente tesi sarà costruito un semplice formalismo matematico per descrivere l’atto di compiere scelte. Il processo di “apprendimento” verrà descritto in termini della massimizzazione di una funzione di prestazione su di uno spazio di parametri per un ansatz di una funzione da uno spazio vettoriale ad un insieme finito e discreto di scelte, tramite un set di addestramento che descrive degli esempi di scelte corrette da riprodurre. Saranno analizzate, alla luce di questo formalismo, alcune delle più diffuse tecniche di artificial intelligence, e saranno evidenziate alcune problematiche derivanti dall’uso di queste tecniche. Nel secondo capitolo lo stesso formalismo verrà applicato ad una ridefinizione meno intuitiva ma più funzionale di funzione di prestazione che permetterà, per un ansatz lineare, la formulazione esplicita di un set di equazioni nelle componenti del vettore nello spazio dei parametri che individua il massimo assoluto della funzione di prestazione. La soluzione di questo set di equazioni sarà trattata grazie al teorema delle contrazioni. Una naturale generalizzazione polinomiale verrà inoltre mostrata. Nel terzo capitolo verranno studiati più nel dettaglio alcuni esempi a cui quanto ricavato nel secondo capitolo può essere applicato. Verrà introdotto il concetto di grado intrinseco di un problema. Verranno inoltre discusse alcuni accorgimenti prestazionali, quali l’eliminazione degli zeri, la precomputazione analitica, il fingerprinting e il riordino delle componenti per lo sviluppo parziale di prodotti scalari ad alta dimensionalità. Verranno infine introdotti i problemi a scelta unica, ossia quella classe di problemi per cui è possibile disporre di un set di addestramento solo per una scelta. Nel quarto capitolo verrà discusso più in dettaglio un esempio di applicazione nel campo della diagnostica medica per immagini, in particolare verrà trattato il problema della computer aided detection per il rilevamento di microcalcificazioni nelle mammografie.

Alcuni problemi additivi riguardanti i numeri primi

La tesi prende spunto da due laboratori del Piano di Lauree Scientifiche, "Numeri primi e crittografia" e "Giocare con i numeri". Si approfondiscono i problemi additivi riguardanti i numeri primi. Questi sono stati scelti per due principali motivi: la semplicità dei contenuti, che possono essere compresi dagli studenti di tutti i tipi di scuola, e la possibilità di prestarsi bene ad un approccio di tipo laboratoriale da parte degli studenti, adattabile alle diverse preparazioni matematiche e al tempo stesso in grado di stimolare curiosità su problemi ancora irrisolti. Si mostreranno metodi di risoluzione di tipo elementare ma anche metodi che coinvolgono l'analisi complessa.

Analisi combinatoria dei parchi d'attrazioni

Da oltre mezzo secolo i parchi di divertimento sono strutture complesse e altamente organizzate, entro cui si muovono migliaia di persone quotidianamente; in cui l'elettrificazione, la manutenzione, la sicurezza (sia come safety sia come security) non possono essere lasciate all'improvvisazione. Fra i diversi modelli matematici con cui è possibile rappresentare un parco di divertimenti i grafi si adattano bene a rappresentare l'organizzazione "geografica" delle attrazioni e dei sentieri che le collegano. Fortunatamente la teoria dei grafi si presta anche molto bene all'impostazione e risoluzione dei problemi di ottimizzazione, fornendo quindi uno strumento privilegiato per miglioramenti strutturali nella direzione sia del risparmio economico, sia della fruizione ottimale delle strutture. In questa tesi ho analizzato un aspetto particolare dei grafi associati a quattro parchi d'attrazione: le distanze reciproche tra attrazioni e in particolare la collocazione dei "centri", cioè di vertici del grafo per cui la massima distanza da altri vertici sia minima. I calcoli sono stati eseguiti adattando un'implementazione esistente in Matlab dell'algoritmo di Dijkstra, utilizzando in ingresso le matrici di adiacenza dei grafi. Dopo un capitolo dedicato ai richiami essenziali di teoria dei grafi, il capitolo due traccia una breve storia dei parchi d'attrazione concentrandosi sui quattro che sono l'oggetto di questo studio. Il terzo capitolo, fulcro teorico della tesi, descrive la sperimentazione riportata nel capitolo quattro.

Tavole semantiche e problemi di decidibilità

Trattazione del metodo delle tavole semantiche come modello per la ricerca della validità logica o insoddisfacibilità di un enunciato sia proposizionale che predicativo.

Semigruppi generati da operatori lineari multivoci ed applicazioni a problemi di evoluzione degeneri

Studio del problema evolutivo degenere in uno spazio di Banach, con condizioni di tipo parabolico, attraverso la generalizzazione della teoria dei semigruppi al caso di operatori multivoci. Il problema viene dunque ridotto a un'equazione multivoca. Si riporta inoltre come esempio l'equazione del calore di Poisson.

"Narrazione filosofica" e "afilosofia". I problemi della filosofia, dell'espressione e del senso in Gadda e in Merleau-Ponty

Questo lavoro pone i problema di una presentazione filosofica della Meditazione milanese, nel suo rapporto con l'opera letteraria di Gadda e, contemporaneamente, instaura un confronto tra il complesso della produzione gaddiana (saggistica e narrativa) e l'ipotesi, messa in rilevo da Merleau-Ponty, di trovare al di fuori del vocabolario filosofico le possibilità di esprimere e raccontare la realtà che ci circonda. Nel costante riferimento alle posizioni teoretiche espresse nella Meditazione milanese, non solo viene inscritta la figura di Gadda entro un panorama filosofico, ma risulta problematizzato lo statuto stesso della filosofia. .

Stimolazione precoce della consolidazione ossea in pazienti con frattura di gamba attraverso campi elettromagnetici pulsati basata su un algoritmo predittivo del rischio diritardo di consolidazione ossea (ARRCO – Algoritmo Rischio Ritardo Consolidazione Ossea – IGEA®).

E' stato sviluppato un algoritmo predittivo del rischio di consolidazione ossea (ARRCO – Algoritmo Rischio Ritardo Consolidazione Ossea - IGEA, Carpi, Italy) che combina diversi fattori correlati al rischio di ritardata o mancata guarigione di una frattura. Questo algoritmo ha permesso di idntificare una popolazione di pazienti affetti da fratture con aumentato rischio di ritardo di consolidazione o mancata guarigione. Questi pazienti sono stati sottoposti precocemente a stimolazione biofisica precoce mediante Campi Elettromagnetici Pulsati a bassa frequenza (CEMP), ottenendo la guarigione della frattura nella maggior parte dei casi e in tempi considerati fisiologici. Pertanto in un gruppo selezionato di pazienti, il trattamento può essere indirizzato all'applicazione precoce di CEMP, al fine di promuovere la consolidazione ossea di una frattura "a richio", il cui trattamento richiederebbe altrimenti tempi più prolungati e un costo virtuale maggiore dell'intero trattamento sanitario.