Inversione della trasformata di Laplace mediante regolarizzazione con norma L1

I dati derivanti da spettroscopia NMR sono l'effetto di fenomeni descritti attraverso la trasformata di Laplace della sorgente che li ha prodotti. Ci si riferisce a un problema inverso con dati discreti ed in relazione ad essi nasce l'esigenza di realizzare metodi numerici per l'inversione della trasformata di Laplace con dati discreti che è notoriamente un problema mal posto e pertanto occorre ricorrere a metodi di regolarizzazione. In questo contesto si propone una variante ai modelli presenti il letteratura che fanno utilizzo della norma L2, introducendo la norma L1.

Alcuni metodi per la determinazione delle radici di un polinomio

Un problema classico in matematica, che presenta numerose applicazioni anche al di fuori di tale disciplina, è la ricerca delle radici di un polinomio. Per quanto riguarda i polinomi di grado minore o uguale a 4 ci sono delle formule per determinare le radici a partire dai coefficienti, mentre per il generico polinomio di grado maggiore o uguale a 5 formule simili non esistono. È possibile, però, determinare in modo approssimato le radici di un polinomio, o stimare il numero di radici reali di un polinomio reale in un dato intervallo, o ancora localizzare nel piano complesso gli zeri di un polinomio a coefficienti complessi.

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.

Capacita' e formazione nel liberalismo di Amartya Sen e Martha Nussbaum. Eredita' differenti del pensiero politico per una "cittadinanza del mondo"

Il presente lavoro di ricerca si propone di discutere il contributo che l’analisi dell’evoluzione storica del pensiero politico occidentale e non occidentale riveste nel percorso intellettuale compiuto dai fondatori della teoria contemporanea dell’approccio delle capacità, fondata e sistematizzata nei suoi contorni speculativi a partire dagli anni Ottanta dal lavoro congiunto dell’economista indiano Amartya Sen e della filosofa dell’Università di Chicago Martha Nussbaum. Ci si ripropone di dare conto del radicamento filosofico-politico del lavoro intellettuale di Amartya Sen, le cui concezioni economico-politiche non hanno mai rinunciato ad una profonda sensibilità di carattere etico, così come dei principali filoni intorno ai quali si è imbastita la versione nussbaumiana dell’approccio delle capacità a partire dalla sua ascendenza filosofica classica in cui assume una particolare primazia il sistema etico-politico di Aristotele. Il pensiero politico moderno, osservato sotto il prisma della riflessione sulla filosofia della formazione che per Sen e Nussbaum rappresenta la “chiave di volta” per la fioritura delle altre capacità individuali, si organizzerà intorno a tre principali indirizzi teorici: l’emergenza dei diritti positivi e sociali, il dibattito sulla natura della consociazione nell’ambito della dottrina contrattualista e la stessa discussione sui caratteri delle politiche formative. La sensibilità che Sen e Nussbaum mostrano nei confronti dell’evoluzione del pensiero razionalista nel subcontinente che passa attraverso teorici antichi (Kautylia e Ashoka) e moderni (Gandhi e Tagore) segna il tentativo operato dai teorici dell’approccio delle capacità di contrastare concezioni politiche contemporanee fondate sul culturalismo e l’essenzialismo nell’interpretare lo sviluppo delle tradizioni culturali umane (tra esse il multiculturalismo, il comunitarismo, il neorealismo politico e la teoria dei c.d. “valori asiatici”) attraverso la presa di coscienza di un corredo valoriale incentrato intorno al ragionamento rintracciabile (ancorché in maniera sporadica e “parallela”) altresì nelle tradizioni culturali e politiche non occidentali.

Accoppiamento magnetico di scambio e confinamento spaziale in film e nanodot di IrMn/NiFe

L'exchange bias, fenomeno legato allo spostamento del ciclo di isteresi lungo l'asse del campo magnetico, è osservato nei materiali ferromagnetici(FM)-antiferromagnetici(AFM) accoppiati per scambio. Il suo studio, soprattutto nelle nanostrutture, è interessante sia da un punto di vista fenomenologico sia per ragioni tecnologiche. In campo teorico, la riduzione delle dimensioni laterali nei sistemi FM-AFM può portare a sostanziali cambiamenti nell'entità dello spostamento del ciclo e nella coercitività. Da un punto di vista tecnologico, lo studio del fenomeno di exchange bias è incentivato dal grande sviluppo dello storage magnetico e della spintronica; le testine di lettura sono tipicamente composte da valvole di spin o strutture a giunzione tunnel, nelle quali i bistrati FM-AFM accoppiati per scambio costituiscono una parte essenziale. Inoltre, è stato recentemente dimostrato che le interazioni di scambio FM-AFM possono essere usate per migliorare la stabilità dei mezzi di registrazione magnetica. Questo lavoro di tesi riporta lo studio del fenomeno di exchange bias in film sottili di IrMn/NiFe ed in dots di uguale composizione ma con diverse dimensioni (1000, 500 e 300nm), allo scopo di comprendere come il confinamento spaziale influenzi il meccanismo di accoppiamento di scambio e la sua evoluzione magnetotermica. I campioni sono stati preparati mediante litografia a fascio di elettroni e dc-magnetron sputtering e caratterizzati strutturalmente attraverso tecniche di microscopia elettronica. Lo studio delle proprietà magnetiche è stato realizzato mediante magnetometria ad effetto Kerr magneto-ottico, tecnica molto efficace per indagini su film sottili e nanostrutture, di cui la tesi riporta un'ampia trattazione. Infine, i risultati sperimentali sono stati affiancati a simulazioni micromagnetiche, così da ottenere un quadro completo dell'effetto di exchange bias nel sistema IrMn/NiFe.

Profili di espressione genetica ed epigenetica ad impatto prognostico e predittivo nel carcinoma squamoso e nelle lesioni potenzialmente maligne del cavo orale

Il carcinoma squamoso orale (CSO) è spesso preceduto da lesioni definite potenzialmente maligne tra cui la leucoplachia e il lichen ma una diagnosi precoce avviene ancora oggi in meno della metà dei casi. Inoltre spesso un paziente trattato per CSO svilupperà secondi tumori. Scopo del lavoro di ricerca è stato: 1) Studiare, mediante metodica di next generation sequencing, lo stato di metilazione di un gruppo di geni a partire da prelievi brushing del cavo orale al fine di identificare CSO o lesioni ad alto rischio di trasformazione maligna. 2) Valurare la relazione esistente tra sovraespressione di p16INK4A e presenza di HPV in 35 pazienti affetti da lichen 3) Valutare la presenza di marker istopatologici predittivi di comparsa di seconde manifestazioni tumorali 4) valutare la relazione clonale tra tumore primitivo e metastasi linfonodale in 8 pazienti mediante 2 metodiche di clonalità differenti: l’analisi di mtDNA e delle mutazioni del gene TP53. I risultati hanno mostrato: 1) i geni ZAP70 e GP1BB hanno presentato un alterato stato di metilazione rispettivamente nel 100% e nel 90,9% di CSO e lesioni ad alto rischio, mentre non sono risultati metilati nei controlli sani; ipotizzando un ruolo come potenziali marcatori per la diagnosi precoce nel CSO. 2)Una sovraespressione di p16INK4A è risultata in 26/35 pazienti affetti da lichen ma HPV-DNA è stato identificato in soli 4 campioni. Nessuna relazione sembra essere tra sovraespressione di p16INK4A e virus HPV. 3)L’invasione perineurale è risultato un marker predittivo della comparsa di recidiva locale e metastasi linfonodale, mentre lo stato dei margini chirurgici si è rilevato un fattore predittivo per la comparsa di secondi tumori primitivi 4) Un totale accordo nei risultati c’è stato tra analisi di mtDNA e analisi di TP53 e le due metodiche hanno identificato la presenza di 4 metastasi linfonodali non clonalmente correlate al tumore primitivo.

Serum anti-interferon alpha antibodies in chronic hepatitis C patients treated with pegylated interferon alpha containing therapy

The development of anti-IFNα antibodies is an occurrence described in chronic hepatitis C patients during treatment with Interferonα/PEG-Interferonα. However, its relevance, especially in difficult-to treat patients, has not been defined. Methods: We retrospectively measured the serum levels of anti-IFNα antibodies (baseline and week 12) and IFNα levels (week 12) by ELISA in 76 previous non-responders, and in 14 naive patients treated with Pegylated-IFNα and Ribavirin. A group of 57 healthy donors (HD) was also assessed as control. Positivity to anti-IFNα antibodies was established on the values of HD. Results: Baseline anti-IFNα antibodies were detected in 15.5% of patients and in 7% of HD, with significantly higher concentrations in patients than HD (181.5±389.9 vs 95.9±143.0 ng mL−1, p=0.0023). All positive patients were IFNα-experienced. At week 12, the prevalence of positivity increased to 22.3 and 28.5% in experienced and naïve patients, respectively, and the levels of anti-IFNα antibodies did not differ between the two groups (391±792.3 vs 384.7±662.6 ng mL−1, respectively). IFNα concentrations were significantly lower in antibody-positive patients than in antibody-negatives (988.2±1402 vs 3462±830.8 pg mL−1, p≤0.0001) and the levels of antibodies and IFNα were inversely correlated (r=-0.405, p=0.0001). The antibody-positive population clustered in null responders (67%) and 19/21 patients (90%) did not achieve SVR. Conclusions: The development of anti-IFNα antibodies is a non-negligible occurrence in patients treated with PEG-IFNα, is stable over time, and has a relevant clinical impact when associated with low levels of circulating PEG-IFNα. It should be considered in patients undergoing treatments including PEG-IFNα.

Propagazione di luce in mezzi disordinati: Misure di trasporto diffusivo tramite imaging stazionario

Nel presente lavoro di tesi è stato effettuato uno studio del trasporto di luce in sistemi diffusivi. Per effettuare tale studio è stato allestito un apparato sperimentale ottimizzato per acquisire profili di trasmissione risolti spazialmente di campioni con geometria a slab. Tramite delle misure su un campione diffusivo di riferimento è stato valutato il funzionamento dell’apparato e sono stati effettuati dei test per ottimizzare il procedimento di misurazione. L’apparato è stato poi impiegato per condurre un’analisi del trasporto in un altro sistema disordinato particolarmente interessante, una scaglia di scarafaggio bianco Chyphochilus. Questa specie presenta una bianchezza unica in natura, per via della particolare struttura ottica insita nelle sue scaglie. Le misure effettuate su questo campione hanno rivelato la presenza di anisotropia di trasporto, elemento che potrebbe rivestire un ruolo centrale nelle eccezionali proprietà macroscopiche della scaglia. Sia l’analisi sul campione diffusivo che sulla scaglia di Chyphochilus dimostrano come l’apparato messo a punto permetta di investigare le proprietà microscopiche e strutturali del processo di trasporto di luce, consentendo di stimare il grado di anisotropia dei sistemi esaminati. L’intero lavoro di tesi è stato svolto presso il laboratorio Europeo di Spettroscopia Non-lineare LENS di Firenze all’interno dell’attività di ricerca del gruppo di ottica dei sistemi complessi di Diederik Wiersma. Il campione di scaglia di Chyphochilus è stato fornito dal prof. Peter Vukusic dell’Università di Exeter, UK.

Emulazione di una colonnina di ricarica per auto elettrica tramite arduino

Internet of Energy for Electric Mobility è un progetto di ricerca europeo il cui scopo consiste nello sviluppo di infrastrutture di comunicazione, siano esse sia hardware che software, volte alla facilitazione, supporto e miglioramento di tutte quelle operazioni legate al processo di ricarica di auto elettriche. A tale progetto vi ha aderito anche l’Università di Bologna ed è stato oggetto di studio di Federico Montori e Simone Rondelli. Il primo ha dato il là allo sviluppo del progetto realizzandovi, in una fase embrionale, una piattaforma legata alla gestione di un servizio cittadino (bolognese) per la gestione di ricariche elettriche, un’applicazione mobile in grado di interagire con tale servizio ed un simulatore per la piattaforma. In un lavoro durato oltre un anno, Simone Rondelli ha ripreso il progetto di Federico Montori riscrivendone le componenti in maniera tale da migliorarne le funzionalità ed aggiungerne anche di nuove; in particolare ha realizzato in maniera efficiente un’applicazione mobile la quale si occupa di gestire la prenotazione di colonnine elettriche di ricarica e di monitorare lo stato attuale di un’auto peso, livello batteria, ecc... ). Nel marzo del 2014 è cominciato il mio contributo nel contesto di Internet of Energy di cui ne ho ereditato tutta l’architettura derivante dai due sviluppi precedenti. Il mio compito è stato quello di realizzare (cioè emulare) una colonnina di ricarica auto elettrica, tramite la piattaforma elettronica Arduino, la quale al suo primo avvio informa il database semantico del sistema (SIB) della sua presenza in maniera tale che il simulatore sia in grado di poter far ricaricare un’auto anche a questa nuova colonnina. Di conseguenza ho fatto in modo di instaurare (tramite socket) una comunicazione tra il simulatore e la colonnina così che il simulatore informi la colonnina che è stata raggiunta da un’auto e, viceversa, la colonnina informi il simulatore sullo stato di ricarica dell’auto in modo che quest’ultima possa ripartire al termine della ricarica. Ho anche realizzato un’applicazione mobile in grado di comunicare con la colonnina, il cui scopo è quello di ottenere un codice di ricarica che poi l’utente deve digitare per autenticarsi presso di essa. Realizzando tale tipo di contributo si è data dunque la possibilità di integrare una componente ”reale” con componenti simulate quali le auto del simulatore di Internet of Energy e si sono poste le basi per estensioni future, le quali permettano di integrare anche più componenti che si registrano nel sistema e danno dunque la possibilità di essere utilizzate dalle auto elettriche.

Un metodo di tipo Newton per la ricostruzione di immagini con norma L1

Scopo dell'opera è implementare in maniera efficiente ed affidabile un metodo di tipo Newton per la ricostruzione di immagini con termine regolativo in norma L1. In particolare due metodi, battezzati "OWL-QN per inversione" e "OWL-QN precondizionato", sono presentati e provati con numerose sperimentazioni. I metodi sono generati considerando le peculiarità del problema e le proprietà della trasformata discreta di Fourier. I risultati degli esperimenti numerici effettuati mostrano la bontà del contributo proposto, dimostrando la loro superiorità rispetto al metodo OWL-QN presente in letteratura, seppure adattato alle immagini.

Confronto fra periodizzazione Tradizionale e a Blocchi per l’allenamento della forza in atleti maschi e partecipanti di genere femminile.

La prima parte dello studio riguarda la descrizione dell’origine e delle caratteristiche che differenziano la periodizzazione tradizionale e quella a blocchi per l’allenamento della forza. L’obiettivo della seconda parte del lavoro è stato quello di confrontare gli adattamento ormonali e prestativi ad un programma di allenamento della forza periodizzato secondo il modello tradizionale o secondo quello a blocchi in un campione di atleti di forza. Venticinque atleti maschi sono stati assegnati con procedura randomizzata al gruppo con programmazione tradizionale (TP) o a quello a blocchi (BP). Prelievi di saliva sono stati effettuati prima e dopo 6 diverse sedute di allenamento durante il programma al fine di rilevare i livelli di testosterone (T) e cortisolo (C). Le valutazioni dei parametri antropometrici e prestativi sono state effettuate prima e dopo le 15 settimane di allenamento previste. In nessuno dei due gruppi vi sono state variazioni significative nei livelli ormonali. I risultati indicano che il gruppo BP ha ottenuto incrementi superiori a quello TP riguardo alla forza massima (p = 0,040) ed alla potenza (p = 0,035) espressa alla panca piana. Nella terza parte dello studio, la periodizzazione tradizionale e quella a blocchi sono state confrontate riguardo agli effetti sulla forza massima e sull’ipertrofia in donne allenate di livello amatoriale. Diciassette donne hanno partecipato all’esperimento allenandosi 3 volte a settimana per 10 settimane. I risultati dimostrano che entrambe le periodizzazioni hanno portato a miglioramenti significativi di forza e potenza; il gruppo TP ha tuttavia ottenuto incrementi superiori di forza massima (p = 0,039) e ipertrofia degli arti inferiori (p = 0,004). La periodizzazione tradizionale quindi si è dimostrata più efficace per aumentare la forza massima e la sezione muscolare della coscia in partecipanti di genere femminile. I risultati contrastanti nei due generi potrebbero essere legati a rapporti diversi fra processi anabolici e catabolici.

Caratterizzazione genomica di virus influenzali suini in Italia mediante next generation sequencing

I sottotipi H1N1, H1N2 e H3N2 di influenza A virus sono largamente diffusi nella popolazione suina di tutto il mondo. Nel presente lavoro è stato sviluppato un protocollo di sequenziamento di c.d. nuova generazione, su piattaforma Ion Torrent PGM, idoneo per l’analisi di tutti i virus influenzali suini (SIV). Per valutare l’evoluzione molecolare dei SIV italiani, sono stati sequenziati ed analizzati mediante analisi genomica e filogenetica un totale di sessantadue ceppi di SIV appartenenti ai sottotipi H1N1, H1N2 e H3N2, isolati in Italia dal 1998 al 2014. Sono stati evidenziati in sei campioni due fenomeni di riassortimento: tutti i SIV H1N2 esaminati presentavano una neuraminidasi di derivazione umana, diversa da quella dei SIV H1N2 circolanti in Europa, inoltre l’emoagglutinina (HA) di due isolati H1N2 era originata dal riassortimento con un SIV H1N1 avian-like. L’analisi molecolare dell’HA ha permesso di rivelare un’inserzione di due amminoacidi in quattro SIV H1N1 pandemici e una delezione di due aminoacidi in quattro SIV H1N2, entrambe a livello del sito di legame con il recettore cellulare. E’ stata inoltre evidenziata un’elevata omologia di un SIV H1N1 con ceppi europei isolati negli anni ’80, suggerendo la possibile origine vaccinale di questo virus. E’ stato possibile, in aggiunta, applicare il nuovo protocollo sviluppato per sequenziare un virus influenzale aviare altamente patogeno trasmesso all’uomo, direttamente da campione biologico. La diversità genetica nei SIV esaminati in questo studio conferma l’importanza di un continuo monitoraggio della costellazione genomica dei virus influenzali nella popolazione suina.

Algoritmi e ricorsività: macchine di Turing e algoritmi di Markov

In questa questa tesi vengono presentate alcune delle più importanti definizioni di funzione computabile mediante un algoritmo: una prima descrizione è quella data tramite le funzioni ricorsive, un secondo approccio è dato in termini di macchine di Turing, infine, vengono considerati gli algoritmi di Markov. Si dimostra che tutte queste definizioni sono equivalenti. Completa la tesi un breve cenno al lambda-K-calcolo.

Osservazioni in ambiente controllato del ciclo riproduttivo e delle prime fasi di accrescimento di Chiloscyllium punctatum (Muller & Henle 1838)

La presente tesi tratta delle attività riproduttive e delle prime fasi di crescita dello squalo Chiloscyllium punctatum. Da Dicembre 2013 a Giugno 2014, all’Acquario di Cattolica, sono state effettuate osservazioni su una coppia di adulti riproduttori e sui relativi neonati mantenuti in ambiente controllato. Il Chiloscyllium punctatum è una specie ovipara che rilascia uova di forma rettangolare, ha un ciclo riproduttivo relativamente rapido ed è molto sfruttata come specie ornamentale dagli acquari di tutto il mondo. Per ottenere una corretta gestione in ambiente controllato, la riproduzione ed estrapolare il maggior numero d’informazioni certe su gli stadi di vita, sulla dieta di divezzamento dei neonati dal sacco vitellino, sull’illuminazione più consona da adottare, sulle dimensioni medie di uova, nascituri e adulti, sulla crescita dei nascituri, sui tempi di sviluppo embrionale, sulla frequenza di deposizione delle uova e sui tempi di schiusa è stato necessario sviluppare un corretta procedura di gestione ordinaria. In 7 mesi, gli adulti di C. punctatum, in condizioni ambientali ottimali e costanti, hanno dato vita a 33 neonati. Questi sono stati sottoposti a misurazioni di lunghezza (LT, cm) e peso corporeo (PC, g) per valutare l’influenza dell’illuminamento e della dieta sulla crescita. Inoltre, sono stati confrontati dati sperimentali (e.g. tempistiche di sviluppo embrionale) con dati bibliografici (Haraush et al., 2007) che hanno evidenziato alcune similitudini e differenze.

Interfaccia software di verifica e calibrazione a terra del sensore di terra di ESEO

In questo lavoro di tesi è stata validata una interfaccia grafica in ambiente Windows capace di impostare i parametri della camera Tau 320 FLIR, usata a bordo del satellite ESEO come sensore di terra. L'impostazione dei parametri passa, inoltre, attraverso l'hardware Discovery F4 e per questo è stato sviluppato e validato anche uno script in linguaggio C per la Discovery che fa comunicare il PC con la camera.