Funzioni a variazione limitata per la ricolorazione di un'immagine

Nella tesi si intende ricolorare alcune porzioni di un'immagine delle quali è nota soltanto la scala dei grigi. Il colore viene considerato nello spazio RGB e decomposto in cromaticità e luminosità. Il problema viene espresso come problema di minimo di un funzionale detto di ``Total Variation'', definito sulle funzioni a variazione limitata BV. Si introduce la nozione di funzione BV di R^n, le principali proprietà di queste funzioni e in particolare si enuncia un teorema di compattezza. Si utilizzano infine tali risultati per ottenere l'esistenza di un punto di minimo per il funzionale che risolve il problema della ricolorazione.

Controlli di qualita in radioterapia a fasci esterni con pellicole Gafchromic EBT3

Il lavoro svolto per questa tesi è stato effettuato presso il reparto di Fisica Medica dell’Ospedale Bellaria di Bologna, e ha lo scopo di mettere in evidenza l’efficacia dell’utilizzo di pellicole Gafchromic EBT3 nei controlli di qualità effettuati sull’acceleratore lineare LINAC SynergyS per radioterapia a fasci esterni. L’utilizzo continuo e prolungato dell’acceleratore durante i trattamenti radianti può causare nel tempo una perdita della calibrazione iniziale dei suoi componenti meccanici e dosimetrici: per questo è necessario controllarne periodicamente lo stato di funzionamento. Lo scopo dei controlli di qualità è quindi quello di verificare che tale fenomeno non sia avvenuto, per garantire precisione e sicurezza durante l’irradiazione del paziente (essenziale per i trattamenti ad alta precisione come l’IMRT e il VMAT), richiedendo che il fascio erogato colpisca il tessuto malato e riducendo al minimo l’errore per evitare il danneggiamento dei tessuti sani circostanti. I test effettuati sull’acceleratore lineare rientrano nel programma di assicurazione di qualità elaborato ed implementato a cura dei reparti di Fisica Medica e Radioterapia dell' Ospedale Bellaria di Bologna. Tale programma di assicurazione di qualità, è attuato per garantire che i risultati dei test rientrino nelle tolleranze meccaniche e dosimetriche previste dal protocollo dei controlli di qualità per le prove di stato e periodiche sull’acceleratore lineare in vigore all' AUSL di Bologna. In particolare in questo lavoro di tesi sono state effettuate prove dosimetriche, quali la verifica dell’omogeneità e della simmetria del fascio radiante, e prove meccaniche quali la verifica della corrispondenza tra isocentro meccanico ed isocentro radiante. Per queste verifiche sperimentali sono state utilizzate le pellicole radiocromiche Gafchromic EBT3; si tratta di dosimetri bidimensionali particolarmente adatti alla verifica dei trattamenti ad intensità modulata (IMRT, VMAT) che consentono un’accurata stima della distribuzione e dei gradienti di dose assorbita. L'utilizzo delle pellicole Gafchromic EBT3 insieme al software FilmQA Pro si è rivelato uno strumento dosimetrico preciso, accurato e pratico per effettuare i controlli di qualità di base su un acceleratore lineare per radioterapia.

Dimensione di un insieme parzialmente ordinato

Con questo lavoro si studia l'argomento della dimensione di un insieme parzialmente ordinato P, introdotta nel 1941 da Dushnik e Miller, tramite diagrammi di Hasse, in modo da avere una visione geometrica di un concetto algebrico. Il Teorema di Szpilrajn permette di linearizzare un qualsiasi insieme parzialmente ordinato P: questo anticipa la definizione di dimensione, siccome tutte le linearizzazioni sono realizzatori: le loro coppie comuni sono presenti anche in P. La dimensione viene definita come il minimo numero cardinale m di realizzatori per P. Vengono rivisti alcuni dei risultati già pubblicati da M. Barnabei, F. Bonetti e R. Pirastu e ripresi da M. Silimbani nella sua Tesi di Dottorato: ci si concentra sulla dimensione 2 in cui può essere definito un etichettamento doppio, che si può utilizzare per avere un algoritmo poco costoso atto a sapere se un insieme parzialmente ordinato ha dimensione 2 : esso pone le basi per una corrispondenza biunivoca tra un insieme parzialmente ordinato di cardinalità n dotato di un etichettamento doppio e l'insieme delle permutazioni su n elementi. Infine viene spiegato un altro modo per scoprire se un insieme parzialmente ordinato P ha dimensione al massimo 2 servendosi del solo diagramma di Hasse: ciò succede se e solo se il grafo di inconfrontabilità di P ammette un orientamento transitivo.

Le funzioni armoniche e le formule di media

In questa tesi studiamo le proprietà fondamentali delle funzioni armoniche. Ricaviamo le formule di media mostrando alcune proprietà importanti, quali la disuguaglianza di Harnack, il teorema di Liouville, il principio del massimo debole e forte. Infine, illustriamo un criterio di risolubilità per il problema di Dirichlet per il Laplaciano in un arbitrario dominio limitato di R^n tramite un metodo noto come metodo di Perron per le funzioni subarmoniche.

L'importanza dei tempi di osservazione nella formulazione dell'ipotesi ergodica

Questo elaborato tratta dell'ipotesi ergodica, problema centrale nell'ambito della giustificazione dei risultati della meccanica statistica, e dell'importanza che svolge in essa il tempo di osservazione. Dopo aver presentato varie formulazioni del problema ergodico, si esamina la questione dei tempi di ritorno e si mostra come il teorema di ricorrenza di Poincaré non sia in contraddizione con la possibilità del raggiungimento dell'equilibrio. Infine, l'analisi dell'apparente paradosso di Fermi-Pasta-Ulam e la discussione di alcune proposte di soluzione mostrano un'applicazione della trattazione astratta condotta precedentemente.

Sulla decomposizione di misure

Questa tesi illustra il teorema di decomposizione delle misure e come questo viene applicato alle trasformazioni che conservano la misura. Dopo aver dato le definizioni di σ-algebra e di misura ed aver enunciato alcuni teoremi di teoria della misura, si introducono due differenti concetti di separabilità: quello di separabilità stretta e quello di separabilità, collegati mediante un lemma. Si descrivono poi la funzione di densità relativa e le relative proprietà e, dopo aver definito il concetto di somma diretta di spazi di misura, si dimostra il teorema di decomposizione delle misure, che permette sotto certe ipotesi di esprimere uno spazio di misura come somma diretta di spazi di misura. Infine, dopo aver spiegato cosa significa che una trasformazione conserva la misura e che è ergodica, si dimostra il teorema di Von Neumann, per il quale le trasformazioni che conservano la misura risultano decomponibili in parti ergodiche.

Serie di Puiseux

La tesi è incentrata sullo studio dei punti di singolarità di una curva nel piano proiettivo complesso. Nel caso in cui il punto sia regolare possiamo sfruttare il teorema delle funzioni implicite che ci permette di esplicitare il luogo di zeri di un'equazione implicita rispetto a una variabile. Quando questa ipotesi di regolarità viene meno per avere un risultato analogo diventa necessario utilizzare le serie di Puiseux. L'interpretazione algebrica del teorema di Puiseux risponde alla domanda di trovare un'estensione del campo delle serie di Laurent che sia algebricamente chiuso; prendendo un polinomio di grado positivo in K(x)*[y], mostreremo che esiste sempre una radice del polinomio appartenente a K(x)*. Il legame con l’interpretazione analitica risulta ora evidente: data infatti una curva nel piano complesso la sua equazione può essere vista come un particolare polinomio in K(x)*[y], esplicitare la y in funzione della x equivale appunto a trovare una radice in K(x)*. Nel primo capitolo abbiamo in primo luogo richiamato il risultato di Dini e parlato del luogo singolare di una curva, mostrando che quest'ultimo è un numero finito di punti. In seguito abbiamo introdotto il poligono di Newton, il quale è un insieme convesso del piano associato ad un polinomio in due variabili. Nel secondo capitolo abbiamo visto due formulazioni del teorema di Puiseux, entrambe le dimostrazioni di questo risultato sono costruttive; per renderle più scorrevoli abbiamo ritenuto opportuno costruire degli esempi che evidenziassero i vari passi.

Alcuni applicazioni dell'azione di un gruppo su un insieme

la tesi tratta alcuni risultati e applicazioni relative alla teoria delle azioni di gruppi su insiemi finiti, come l'equazione delle classi e il teorema di Cauchy. Infine illustra l'uso di tali risultati nella rappresentazione tramite permutazioni.

Tabelle di Young e statistiche sulle permutazioni

La presente tesi è suddivisa in due parti: nella prima parte illustriamo le definizioni e i relativi risultati della teoria delle tabelle di Young, introdotte per la prima volta nel 1900 da Alfred Young; mentre, nella seconda parte, diamo la nozione di numeri Euleriani e di Polinomi Euleriani. Nel primo capitolo abbiamo introdotto i concetti di diagramma di Young e di tabelle di Young standard. Inoltre, abbiamo fornito la formula degli uncini per contare le tabelle di Young della stessa forma. Il primo capitolo è focalizzato sul teorema di Robinson-Schensted, che stabilisce una corrispondenza biunivoca tra le permutazioni di Sn e le coppie di tabelle di Young standard della stessa forma. Ne deriva un'importante conseguenza che consiste nel poter trovare in modo efficiente la massima sottosequenza crescente di una permutazione. Una volta definite le operazioni di evacuazione e "le jeu de taquin" relative alle tabelle di Young, illustriamo una serie di risultati riferibili alla corrispondenza biunivoca R-S che variano in base alla permutazione che prendiamo in considerazione. In particolare, enunciamo il teorema di simmetria di M.P.Schüztenberger, che dimostriamo attraverso la costruzione geometrica di Viennot. Nel secondo capitolo, dopo aver dato la definizione di discesa di una permutazione, descriviamo altre conseguenze della corrispondenza biunivoca R-S: vediamo così che esiste una relazione tra le discese di una permutazione e la coppia di tabelle di Young associata. Abbiamo trattato approfonditamente i numeri Euleriani, indicati con A(n,k) = ]{σ ∈ Sn;d(σ) = k}, dove d(σ) indica il numero di discese di una permutazione. Descriviamo le loro proprietà e simmetrie e vediamo che sono i coefficienti di particolari polinomi, detti Polinomi Euleriani. Infine, attraverso la nozione di eccedenza di una permutazione e la descrizione della mappa di Foata arriviamo a dimostrare un importante risultato: A(n,k) conta anche il numero di permutazioni di Sn con k eccedenze.

Successioni di polinomi di tipo binomiale e operatori delta

In questa tesi riportiamo le definizioni ed i risultati principali relativi alla corrispondenza tra le successioni di polinomi di tipo binomiale (particolari basi dello spazio dei polinomi a coefficienti reali) e gli operatori delta, cioè operatori lineari sullo spazio dei polinomi che commutano con gli operatori di traslazione e il cui nucleo è costituito dai polinomi costanti. Nel capitolo 1 richiamiamo i concetti fondamentali sull'algebra delle serie formali e definiamo l'algebra degli operatori lineari invarianti per traslazione, dimostrando in particolare l'isomorfismo tra queste algebre. Nel capitolo 2, dopo aver dimostrato l'unicità della successione di base relativa ad un operatore delta, ricaviamo come esempio le successioni di base di tre operatori delta, che useremo durante tutto il capitolo: l'operatore derivata, l'operatore di differenza in avanti e l'operatore di differenza all'indietro. Arriviamo quindi a dimostrare un importante risultato, il Primo Teorema di Sviluppo, in cui facciamo vedere come le potenze di un operatore delta siano una base per l'algebra degli operatori invarianti per traslazione. Introducendo poi le successioni di Sheffer, possiamo dimostrare anche il Secondo Teorema di Sviluppo in cui esplicitiamo l'azione di un operatore invariante per traslazione su un polinomio, tramite un operatore delta fissato e una sua successione di Sheffer. Nell'ultima parte della tesi presentiamo i formalismi e alcune semplici operazioni del calcolo umbrale, che useremo per determinare le cosiddette costanti di connessione, ovvero le costanti che definiscono lo sviluppo di una successione binomiale in funzione di un'altra successione binomiale usata come base dello spazio dei polinomi.

Molteplicità dell'intersezione di curve algebriche piane

La tesi si prefigge di definire la molteplicità dell’intersezione tra due curve algebriche piane. La trattazione sarà sviluppata in termini algebrici, per mezzo dello studio degli anelli locali. In seguito, saranno discusse alcune proprietà e sarà proposto qualche esempio di calcolo. Nel terzo capitolo, l’interesse volgerà all’intersezione tra una varietà e un’ipersuperficie di uno spazio proiettivo n-dimensionale. Verrà definita un’ulteriore di molteplicità dell’intersezione, che costituirà una generalizzazione di quella menzionata nei primi due capitoli. A partire da questa definizione, sarà possibile enunciare una versione estesa del Teorema di Bezout. L’ultimo capitolo focalizza l’attenzione nuovamente sulle curve piane, con l’intento di studiarne la topologia in un intorno di un punto singolare. Si introduce, in particolare, l’importante nozione di link di un punto singolare.

Stabilita di sistemi sferici autogravitanti con forze r^(-α)

In questa tesi si è eseguito uno studio preliminare (con risultati positivi) volto a verificare la possibilità di estendere al caso di forze r^(-α) il Teorema di stabilità di Antonov per sistemi autogravitanti newtoniani. Tale studio è volto a capire se i risultati di stabilità attualmente noti dipendano dalla speciale natura del campo r^(-2) o se valgono più genericamente per sistemi con forze a lungo range.

Society, theatre and Social Work: beauty will save us

Three different worlds, sometimes concentric and often intersecting —society, theatre and the art of performance— and social work. Diverse worlds that live, reflect and self-reflect and interact, and can also afford an opportunity for meeting, misunderstanding and confrontation, and above all offer the possibility of profound change.This article considers the experience of a theatre company that has spent more than three years moving at the limits of these three universes. To these three worlds can be added an infinite number of words that fill them with meaning and significance: territory, meeting, diversity and search. An artistic experience that has chosen to focus on creating scenarios for debate and to examine the difficulties, the human contradictions and the constant and inexhaustible confrontation with human experience. At the heart of this theatrical activity is all of this, seeking the balance between narration, meeting, investigation and the artistic dimension. This meeting between society, theatre and social work also contains the search for sustainability of this cultural business, in an Italy that has been destroyed by a crisis that is not merely economic, but also of values and, above all, of role models. The guiding theme, though not always made explicit, is always present and essential: the search for beauty.

Interpretazione in una logica n-dimensionale di Metafisica 4,4

Il Principio di non contraddizione (PNC) così come tradizionalmente inteso sembra minare alla base la possibilità di un'alterità « assoluta », di un'alterità, cioè che non sia in nessun modo riconducibile ad un'ipseità che la conosca. [...]

La ventilazione non-invasiva a pressione positiva nell’insufficienza respiratoria acuta ipercapnica: 10 anni di esperienza clinica di una Unità di Terapia Semi-Intensiva Respiratoria

PremessaSebbene numerosi studi prospettici, controllati e randomizzati abbiano dimostrato il successo della ventilazione non-invasiva a pressione positiva (NIV) in casi selezionati di insufficienza respiratoria acuta ipercapnica (IRA) in setting con intensità di cura differenti, i dati di pratica clinica relativi all’uso della NIV nel “mondo reale” sono limitati. Scopo Riportare i risultati della nostra esperienza clinica sulla NIV nell’IRA applicata nell’Unità di Terapia Semi-Intensiva Respiratoria (UTSIR) allocata all’interno dell’Unità Operativa di Pneumologia di Arezzo negli anni 1996-2006 in termini di: tollerabilità, effetti sui gas ematici, tasso di successo e fattori predittivi del fallimento.MetodiTrecentocinquanta dei 1484 pazienti (23.6%) consecutivamente ammessi per IRA nella nostra Unità Operativa di Pneumologia durante il periodo di studio hanno ricevuto la NIV in aggiunta alla terapia standard, in seguito al raggiungimento di criteri predefiniti impiegati di routine.RisultatiOtto pazienti (2.3%) non hanno tollerato la NIV per discomfort alla maschera, mentre i rimanenti 342 (M: 240, F: 102; età: mediana (interquartili) 74.0 (68.0-79.3) anni; BPCO: 69.3%) sono stati ventilati per >1 ora. I gas ematici sono significativamente migliorati dopo 2 ore di NIV (media (deviazione standard) pH: 7.33 (0.07) versus 7.28 (7.25-7.31), p<0.0001; PaCO2: 71.4 (15.3) mmHg versus 80.8 (16.6) mmHg, p<0.0001; PaO2/FiO2: 205 (61) versus 183 (150-222), p<0.0001). La NIV ha evitato l’intubazione in 285/342 pazienti (83.3%) con una mortalità ospedaliera del 14.0%. Il fallimento della NIV è risultato essere predetto in modo indipendente dall’Apache III (Acute Physiology and Chronic Health Evaluation III) score, dall’indice di massa corporea e dal fallimento tardivo della NIV (> 48 ore di ventilazione) dopo iniziale risposta positiva.ConclusioniSecondo la nostra esperienza clinica di dieci anni realizzata in una UTSIR, la NIV si conferma essere ben tollerata, efficace nel migliorare i gas ematici e utile nell’evitare l’intubazione in molti episodi di IRA non-responsivi alla terapia standard.