Punti razionali di ordine finito su una curva ellittica

Questa tesi nasce dal voler approfondire lo studio delle curve piane di grado 3 iniziato nel corso di Geometria Proiettiva. In particolare si andrà a studiare la legge di gruppo che si può definire su tali curve e i punti razionali di ordine finito appartenenti alle curve ellittiche. Nel primo capitolo si parla di equazioni diofantee, dell’Ultimo Teorema di Fermat, dell'equazione e della formula di duplicazione di Bachet. Si parla inoltre dello stretto rapporto tra la geometria, l'algebra e la teoria dei numeri nella teoria delle curve ellittiche e come le curve ellittiche siano importanti nella crittografia. Nel secondo capitolo vengono enunciate alcune definizioni, proposizioni e teoremi, riguardanti polinomi e curve ellittiche. Nel terzo capitolo viene introdotta la forma normale di una cubica. Nel quarto capitolo viene descritta la legge di gruppo su una cubica piana non singolare e la costruzione geometrica che porta ad essa; si vede il caso particolare della legge di gruppo per una cubica razionale in forma normale ed inoltre si ricavano le formule esplicite per la somma di due punti appartenenti ad una cubica. Nel capitolo cinque si iniziano a studiare i punti di ordine finito per una curva ellittica con la legge di gruppo dove l'origine è un flesso: vengono descritti e studiati i punti di ordine 2 e quelli di ordine 3. Infine, nel sesto capitolo si studiano i punti razionali di ordine finito qualsiasi: viene introdotto il concetto di discriminante di una cubica e successivamente viene enunciato e dimostrato il teorema di Nagell-Lutz.

Esistenza della versione regolare della probabilità condizionata

Ci proponiamo di affrontare il problema dell'esistenza di una versione regolare della probabilità condizionata a una sigma algebra. In particolare dimostreremo che esiste nel caso in cui la sigma algebra sia numerabilmente generata e la probabilità regolare. Da questo risultato verificheremo l'eistenza in spazi polacchi

Tangram ed edutainment per l'apprendimento della geometria

Partendo dalle analisi condotte sulla relazione esistente tra il divertimento ed un migliore apprendimento, e sui concetti di Edutainment e Gamification, si è realizzata una applicazione per dispositivi mobili che riproduce in formato digitale il gioco cinese del Tangram al fine di utilizzarlo come strumento di edutainment volto all'apprendimento di alcune nozioni di geometria ed all'allenamento delle abilità legate alla logica. Nello sviluppo di tale applicazione si è fatto riferimento alla metodologia di progettazione delle applicazioni ibride, in modo da semplificare la portabilità cross-platform tra i dispositivi, e si è prestata particolare attenzione alla creazione di un sistema che possa essere inserito come modulo all'interno di una applicazione multi-gioco di più ampio respiro. Per la progettazione si è fatto riferimento al paradigma ad oggetti e ad una gestione delle dinamiche di gioco event-driven.

Analisi della rilevanza nei parchi d'attrazioni mediante la teoria dei grafi

Studio dell'applicabilità della teoria dei grafi nei parchi d'attrazioni.

L'effetto Gibbs

In questa tesi studiamo l'effetto Gibbs. Tale fenomeno si manifesta tramite la presenza di sovra-oscillazioni nei polinomi di Fourier di funzioni che presentano discontinuità di prima specie. La differenza tra il massimo ed il minimo del polinomio di Fourier di tali funzioni, in prossimità di un punto di discontinuità della funzione, è strettamente maggiore del salto della funzione in quel punto, anche per n che tende all'infinito. Per attenuare le sovra-oscillazioni delle somme parziali di Fourier si utilizzano le serie di Fejer e si vede come effettivamente il fenomeno di Gibbs scompaia.

Studio e sviluppo di un metodo per il monitoraggio della posizione dell'esofago durante l'ablazione transcatetere

Lo scopo del presente lavoro di tesi è l’implementazione di un metodo per la detezione automatica dei contorni dell’esofago in immagini ecografiche intracardiache acquisite durante procedure di ablazione transcatetere per il trattamento della fibrillazione atriale. Il progetto si è svolto in collaborazione con il laboratorio di elettrofisiologia, Unità Operativa di Cardiologia, Dipartimento Cardiovascolare, dell’ospedale ‘’ S. Maria delle Croci ’’ di Ravenna, Azienda Unità Sanitaria Locale della Romagna e si inserisce in un progetto di ricerca più ampio in cui sono stati sviluppati due differenti metodi per il tracciamento automatico della parete posteriore dell’atrio sinistro. L’obiettivo è consentire al clinico il monitoraggio della posizione dell’esofago rispetto all’atrio sinistro per ridurre il rischio di lesioni della parete esofagea. L’idea di base dell’algoritmo è di lavorare sull’immagine per linee di scansione orizzontali, valutando la distribuzione dei livelli di intensità di grigio. Una volta individuati i punti appartenenti alle pareti anteriore e posteriore dell’esofago, sono stati utilizzati dei polinomi rispettivamente del quarto e secondo ordine per interpolare i dati. Per assicurarsi che la detezione sia corretta è stato introdotto un check aggiuntivo che consente la correzione del risultato qualora il clinico non sia soddisfatto, basandosi su input manuale di due punti richiesto all’operatore. L’algoritmo è stato testato su 15 immagini, una per ogni paziente, e i contorni ottenuti sono stati confrontati con i tracciamenti manuali effettuati da un cardiologo per valutare la bontà del metodo. Le metriche di performance e l’analisi statistica attestano l’accuratezza del metodo. Infine sono state calcolate delle misure di interesse clinico, quali la distanza tra parete posteriore dell’atrio sinistro e parete anteriore dell’esofago e la larghezza media di quest’ultimo che risulta comparabile con quanto riportato in letteratura.

Modellazione matematica delle dinamiche di rilevamento dell'espressione del gene N-MYC mediante un sensore biomolecolare sintetico

L'espressione del gene MYCN è un importante indicatore della severità del NBL. Poiché il numero di copie di MYCN è un indice grezzo della sua espressione quantificarle utilizzando tecniche come la “fluorescent in situ hybridization” (FISH) può servire a formulare una stima del livello di espressione MYCN [Shapiro 1993]. Tuttavia, l'espressione aberrante di MYCN nel NBL non è sempre associata all'amplificazione genica; pertanto la valutazione diretta del livello di espressione di questo gene sarebbe un miglior indicatore prognostico. Questa tesi è stata sviluppata nell'ambito di un progetto che si propone di realizzare un sensore biomolecolare sintetico per l'identificazione del livello di espressione di MYCN. Di seguito saranno presentati i dettagli relativi alla progettazione della topologia circuitale e all’analisi in silico che sono state condotte per caratterizzare il comportamento dinamico del sistema. Questo lavoro è stato svolto nel laboratorio di Ingegneria Cellulare e Molecolare "S. Cavalcanti", presso la Sede di Cesena del Dipartimento di Ingegneria dell'Energia elettrica e dell'Informazione "Guglielmo Marconi" (DEI) dell’Ateneo di Bologna.

Apprendimento della probabilità: un approccio per livelli

In questa tesi si presenta uno studio sull'apprendimento della probabilità e la relativa sperimentazione fatta su 4 classi, due terze alla fine del primo ciclo d'istruzione, una prima e una seconda di liceo scientifico. Utilizzando le proprietà elaborate dai coniugi Van Hiele per costruire dei livelli di apprendimento della geometria, sono stati stilati dei livelli di apprendimento della probabilità e l'obiettivo del progetto è di confermarli ed eventualmente correggerli. Gli studenti sono stati sottoposti ad un breve test ed in seguito a delle interviste in coppia, per cercare nel loro dialogo alcuni ''indicatori'' che permettessero di inquadrare ogni studente in un livello di apprendimento. Dalle interviste sono state estrapolate prima le strategie risolutive, ovvero i procedimenti che gli studenti usano per risolvere un problema, poi delle ''categorie di pensiero'', il modo in cui gli studenti pensano a situazioni in ambito probabilistico ed, infine, i livelli di apprendimento, corretti e rielaborati secondo i risultati ottenuti.

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.

Esempi di calcolo della funzione zeta di Hasse-Weil

Si danno la definizione formale e alcune proprietà elementari della funzione zeta di Hasse-Weil. Si forniscono poi alcuni esempi di calcolo della stessa, in particolare si esaurisce il caso delle coniche affini.

Il modello di argomentazione di Toulmin nell’attivitá matematica degli studenti di scuola secondaria

Lo studio decritto in questo progetto di tesi ha avuto origine dalla volontà di analizzare l’atteggiamento di studenti di scuola superiore di I e II grado rispetto alla richiesta di fornire argomentazioni, di giustificare affermazioni o risultati ottenuti in ambito matematico. L’analisi quantitativa dei dati ottenuti sottoponendo gli studenti ad un questionario costituito da quesiti scelti in ambiti differenti tra le prove Invalsi ha evidenziato che solo una parte (36% per le superiori di I grado, 59% per le superiori di II grado) degli studenti che hanno risposto correttamente ai quesiti, è stata in grado di argomentare la risposta. L’analisi è stata a questo punto approfondita sulla base del modello di Toulmin e delle componenti del processo di argomentazione da lui descritte. Si è valutato per ogni argomentazione in quale o quali delle componenti toulminiane si sia concentrato l’errore. Ogni argomentazione considerata errata può infatti contenere errori differenti che possono riguardare una soltanto, diverse o tutte e quattro le componenti di Backing, Warrant, Data e Conclusion. L’informazione che ne è emersa è che nella maggioranza dei casi il fatto che uno studente di scuola superiore non riesca ad argomentare adeguatamente un’affermazione dipende dal richiamo errato di conoscenze sull'oggetto dell'argomentazione stessa ("Warrant" e "Backing"), conoscenze che dovrebbero supportare i passi di ragionamento. Si è infine condotta un’indagine sul terreno logico e linguistico dei passi di ragionamento degli studenti e della loro concatenazione, in modo particolare attraverso l’analisi dell’uso dei connettivi linguistici che esprimono e permettono le inferenze, e della padronanza logica delle concatenazioni linguistiche. Si è osservato per quanto riguarda le scuole superiori di I grado, che le difficoltà di argomentazione dovute anche a scarsa padronanza del linguaggio sono circa l’8% del totale; per le scuole superiori di II grado questa percentuale scende al 6%.

Basi di Campi Finiti

Questo elaborato si propone di approfondire lo studio dei campi finiti, in modo particolare soffermandosi sull’esistenza di una base normale per un campo finito, in quanto l'utilizzo di una tale base ha notevoli applicazioni in ambito crittografico. ​Vengono trattati i seguenti argomenti: elementi di base della teoria dei campi finiti, funzione traccia e funzione norma, basi duali, basi normali. Vengono date due dimostrazioni del Teorema della Base Normale, la seconda delle quali fa uso dei polinomi linearizzati ed è in realtà un po' più generale, in quanto si riferisce ai q-moduli.​

Società della conoscenza e nuove tecnologie: innovazione didattica nella scuola secondaria di secondo grado

All'interno di questo elaborato vengono analizzati gli effetti positivi e negativi dell'introduzione delle nuove tecnologie nel sistema scolastico all'interno della società odierna, definita società della conoscenza; vengono descritte la lavagna interattiva multimediale e successivamente due software didattici, proponendo al termine una proposta di innovazione attuabile nella scuola secondaria di secondo grado, basata su un mio intervento riguardante l'unità didattica della "Retta nel piano cartesiano" e della "Parabola". Il filo conduttore è quello dell'analisi critica nei confronti delle potenzialità che la rivoluzione digitale porta con sé, cercando di riflettere su quello che potrebbe essere il giusto compromesso tra la nostra scuola e i tempi odierni.

L'assioma della scelta e il paradosso di Banach-Tarski

La tesi tratta della formulazione dell'assioma della scelta fatta da Zermelo e di alcune sue forme equivalenti. Inoltre si parlerà della sua storia, delle critiche che gli sono state mosse e degli importanti teoremi che seguono direttamente dall'assioma. Viene anche trattato il paradosso di Hausdorff che introduce il problema della misura e il paradosso di Banach-Tarscki.

Applicazione ai gruppi di Lie della prolungabilità per Equazioni Differenziali Ordinarie

Lo scopo di questa tesi è studiare in dettaglio l'articolo "A Completeness Result for Time-Dependent Vector Fields and Applications" di Stefano Biagi e Andrea Bonfiglioli, dove si ottiene una condizione sufficiente per la completezza di un campo vettoriale (dipendente dal tempo) in RN, che generalizza la ben nota condizione di invarianza a sinistra per i gruppi di Lie.