p-gruppi di ordine "piccolo"

La tesi si basa sulla descrizione dei p-gruppi di ordine finito, definiti p-gruppi, cioè quei gruppi che hanno come cardinalità una potenza di un numero primo. Vengono enunciati i teoremi di Sylow e le sue conseguenze. Infine si discute il teorema fondamentale sui gruppi abeliani finiti e la funzione di Eulero.

Traduzione automatica in simboli di libri per bambini con disabilità comunicative

L’elaborato approfondisce il tema della traduzione in simboli. Questo particolare tipo di traduzione è pensato per chi è affetto da disabilità comunicative e presenta difficoltà nella comprensione e nell’espressione, sia a livello orale che scritto. Ad oggi, i libri tradotti in simboli sono per lo più rivolti a bambini e fanno parte degli strumenti della Comunicazione Aumentativa Alternativa, o CAA, un ambito di ricerca che ha lo scopo di individuare metodi di comunicazione “aumentativi”, ossia che accrescono le capacità comunicative di persone con disabilità. Questa comunicazione è definita, altresì, “alternativa” poiché individua modalità diverse dalla parola come, appunto, simboli, immagini e tecnologie dedicate. La CAA nasce per garantire uno dei diritti umani fondamentali, sanciti anche dall’ONU, cioè il diritto alla comunicazione. L’elaborato fornisce, innanzitutto, una panoramica generale sulla disabilità comunicativa, sulla Comunicazione Aumentativa Alternativa, e sugli strumenti utilizzati in questo contesto, soffermandosi in particolare sui sistemi simbolici. In seguito, descrive dettagliatamente i libri in simboli, spiegandone obiettivi e caratteristiche, e facendo riferimento ai concetti di linguaggio, lingua, oralità e scrittura e acquisizione del linguaggio. Infine, vengono analizzati i metodi attualmente esistenti per la traduzione in simboli di libri per bambini, e viene illustrato un esempio concreto. L’ultima parte dell’elaborato si sofferma sugli aspetti in comune tra la traduzione in simboli e la traduzione tra lingue naturali, e sui metodi di quest’ultima che possono essere utili per migliorare la qualità del testo in simboli. In particolare, si farà riferimento agli strumenti di traduzione assistita e di traduzione automatica attualmente esistenti per la traduzione in simboli e verranno dati suggerimenti pratici per renderli più efficaci, rifacendosi anche alla traduzione automatica e assistita tra lingue naturali, con particolare riferimento alle tecniche di pre-editing, post-editing e scrittura controllata.

Muhammad Ibn 'Abd Al-Niffarī mistico speculativo ovvero poeta mistico

Dopo una breve scheda bio-bibliografica su Niffarī, la ricerca si sviluppa in quattro capitoli: il primo esplora i primi secoli detti di ‘formazione’ del misticismo musulmano in una prospettiva storico speculativa e storico linguistica fino alla fine del decimo secolo e alle soglie dell’undicesimo, attraverso i mistici più significativi che elaborano una grammatica e un linguaggio tecnico che esprime l’esperienza mistica – indispensabili per cogliere la statura e l’originalità del mistico in oggetto. Nel capitolo successivo, si delineano i tratti del pensiero di Niffarī attraverso i suoi scritti, con attenzione all’aspetto speculativo, e confronti con testi di altri sufi contemporanei o precedenti. Il terzo capitolo affronta Niffarī sotto l’aspetto poetico, cioè dell’espressione, dell’innovazione e della modernità rispetto al suo tempo e al nostro, in analogia con un ambito artistico. Infine l’ultimo capitolo propone una prima versione italiana dall’arabo, di un breve trattato di Niffarī sull’Amore.

Decision making nella robotica collettiva

Nel testo viene esposta la presa di decisione nella robotica collettiva, cioè il comportamento collettivo esibito dagli animali sociali in sciame migrato in un gruppo di robot. Questa tesi si prefigge di analizzare come un insieme di individui, all'interno di un gruppo, possano giungere tutti ad avere una stessa opinione comune, o come essi siano in grado di dividersi autonomamente il lavoro senza alcun bisogno di controllo centrale. Inizialmente, viene introdotta la robotica collettiva, esponendone origini, caratteristiche e ambiti di ricerca. Viene in seguito presentato il collective decision making, all'interno del comportamento collettivo generale, esponendone le origini biologiche fino ai primi esperimenti su dei semplici robot. Vengono poi analizzati i due aspetti del decision making, vale a dire il raggiungimento del consenso e la suddivisione del lavoro. Per entrambi gli argomenti, sono presentati studi sia di carattere biologico che robotico, allo scopo di trarne similitudini e differenze e realizzare una valida analisi critica. Infine, vengono esposti i possibili sviluppi del comportamento e della robotica collettiva, mostrando possibili scenari di utilizzo futuro e gli attuali limiti allo sviluppo.

Incidenza della qualità del pellet sulle emissioni di una stufa domestica

Questo lavoro si è posto l’obiettivo di valutare come differenti qualità di pellet di legno, in accordo con la norma EN 14961-2, e la diversa potenza termica di una moderna stufa domestica influenzino le relative emissioni prodotte. La norma EN 14961-2 prevede una serie di proprietà per il pellet di legno con valori caratteristici per ogni classe di qualità, A1, A2 e B. Per simulare le condizioni cui sono sottoposte le emissioni in aria ambiente, il campionamento del particolato è stato effettuato per mezzo di un tunnel di diluizione. Per valutare e confrontare le emissioni prodotte della stufa a pellet, i dati ottenuti sono stati espressi come fattori di emissione cioè il rapporto tra la quantità di inquinante emesso e i MJ sviluppati dalla combustione. Dallo studio emerge che il pellet di più scarsa qualità mostra emissioni maggiori di CO, NOx, PM, ioni solubili, e la formazione di IPA con alta tossicità: questo implica un maggior impatto sulla salute dell’uomo e sull’ambiente. Inoltre la combustione di pellet di bassa qualità di tipo B causa frequenti problemi di combustione dovuti all’alta percentuale di ceneri, portando a maggiori emissioni di prodotti da combustione incompleta (TC, IPA, PM). La maggior potenza di funzionamento della stufa limita l’emissione di prodotti di combustione incompleta, TC, CO, PM e IPA, ma aumenta la tossicità di quest’ultimi.

Un Modello Stocastico per la Teoria dell'Evoluzione

Il testo contiene nozioni base di probabilità necessarie per introdurre i processi stocastici. Sono trattati infatti nel secondo capitolo i processi Gaussiani, di Markov e di Wiener, l'integrazione stocastica alla Ito, e le equazioni differenziali stocastiche. Nel terzo capitolo viene introdotto il rapporto tra la genetica e la matematica, dove si introduce l'evoluzione la selezione naturale, e altri fattori che portano al cambiamento di una popolazione; vengono anche formulate le leggi basilari per una modellizzazione dell’evoluzione fenotipica. Successivamente si entra più nel dettaglio, e si determina un modello stocastico per le mutazioni, cioè un modello che riesca ad approssimare gli effetti dei fattori di fluttuazione all'interno del processo evolutivo.

Coordinate isoterme

Questa tesi si propone di verificare l'esistenza di coordinate isoterme su una superficie. Le coordinate isoterme danno localmente una mappa conforme da una varietà riemanniana bidimensionale al piano Euclideo. Se la superficie è orientabile, allora si può dare un atlante di carte isoterme, cioè le cui coordinate associate siano isoterme. Queste coordinate esistono a patto che vengano soddisfatte certe condizioni. Il risultato nelle classi di Holder è dovuto a Korn e Lichtensten. Chern ha notevolmente semplificato la loro dimostrazione.

Sismica e archeologia industriale: il ponte di R. Morandi a Vagli di Sotto

In questa tesi ci siamo concentrati su ponte pedonale di Vagli, celebre opera dell’ing. Riccardo Morandi progettata nel 1953. Tale opera, che appartiene ora all’archeologia industriale, è molto interessante per le soluzioni costruttive adottate al tempo, per la fama del progettista e per il fatto di essere un raro esempio di ponte con fondazioni sommerse entro un invaso artificiale, e per essere stato costruito in una zona in cui la progettazione antisismica moderna prevedrebbe accortezze molto diverse. È stato pertanto deciso di effettuare una caratterizzazione dinamica completa del suolo di fondazione e della struttura stessa, sia dal punto di vista sperimentale in condizioni passive che dal punto di vista teorico-modellistico in condizioni attive (cioè in presenza di terremoto). La caratterizzazione dinamica sperimentale dell’opera è stata effettuata prima ad invaso completamente svuotato e quindi con i pilastri del ponte a contatto con l’aria.La caratterizzazione è stata poi ripetuta in condizioni di invaso riempito, con circa 15 metri di acqua. Questo caso di studio si rivela particolarmente interessante per comprendere come il livello dell’acqua modifichi o meno il comportamento dinamico del ponte, e le implicazioni che questo avrebbe nella progettazione sismica moderna. I risultati ottenuti sono rilevanti perché forniscono una caratterizzazione completa dell’opera (suolo-struttura) allo stato attuale e possono quindi essere usati, attraverso il confronto con dati futuri, per valutare l’invecchiamento della struttura stessa o per effettuare verifiche strutturali post-sisma. A fronte di danni strutturali anche invisibili all’occhio umano, infatti, la risposta dinamica della struttura cambia e conoscere lo stato pre-sisma permette di valutare dove e quanto tale risposta sia eventualmente cambiata. L’analisi qui effettuata permette infine di rendere conto dei parametri con cui quest’opera sarebbe dovuta essere costruita secondo gli standard normativi attuali.

Studio e valutazione in vitro di tecniche impedenziometriche per il monitoraggio della funzionalita di protesi valvolari cardiache.

Lo scopo di questa tesi è lo sviluppo di una protesi valvolare sensorizzata per la valutazione e il monitoraggio dei parametri funzionali della valvola e di conseguenza la realizzazione un prototipo di PHV (Prosthetic Heart Valve) che integri all’interno delle protesi valvolari in commercio una tecnologia utile alla realizzazione di queste specifiche. Il segnale di impedenza intravalvolare (IVI) è ottenuto grazie ad un sistema di elettrodi utili alla generazione di un campo elettrico locale e alla successiva registrazione della differenza di potenziale. Il lavoro sperimentale è stato suddiviso in due parti: una prima parte deputata alla scelta della posizione ottimale degli elettrodi rispetto ai lembi, al piano e all’anello valvolare, al fine di determinare due prototipi, ed una seconda parte in cui sono stati testati i prototipi in una situazione più fisiologica, cioè in un tratto di aorta bovina, ed è stata simulata una dinamica valvolare alterata. Il maggior segnale di impedenza riscontrato è stato ottenuto ponendo gli elettrodi ortogonalmente al cardine dei lembi valvolari e sovrapponendo elettrodo di eccitazione e ricezione al fine di ottenere un campo elettrico costante e ricezione puntuale della variazione del campo. Infine è stato riscontrato che il segnale di impedenza intravalvolare è in grado di riflettere alterazioni simulate dei lembi.

Evoluzione della limitazione di sostanze inquinanti e climalteranti nelle normative di omologazione per autoveicoli

Elaborato che si propone di evidenziare come i veicoli a benzina e a diesel possano soddisfare la normativa Euro 6. Si analizza il funzionamento dei principali sistemi di after-treatment come: catalizzatore SCR e DeNOx, trappola LNT, filtri FAP e DPF, sistemi EGR, per i motori ad accensione per compressione e catalizzatore TWC per motori ad accensione comandata. Parallelamente, si spiega l'evoluzione della normativa da Euro 6b a Euro 6c in termini di riduzione del numero di particelle di particolato emesse per km e come rispondere a queste più restrittive condizioni; viene introdotto, in via ancora sperimentale, il filtro antiparticolato GPF e un sistema di misurazione di nano particelle di dimensioni inferiori a 23 nm cioè una rivalutazione del metodo PMP. Contestualmente si definisce il progetto CARS 2020, il quale aggiunge una limitazione anche sulla quantità di anidride carbonica emessa a 95 g/km e le eventuali possibili soluzioni per rispettarla: da un maggior uso di combustibili alternativi a miglioramenti tecnologici dei motori stessi. Infine si studiano gli sviluppi dei cicli di omologazione, dal 2017 infatti entreranno in gioco test su strada con dispositivi PEMS on-board e cicli armonizzati WLTC. Le procedure RDE e WLTP permetteranno di testare i vecioli in maniera più reale e globale, rispettivamente, riuscendo a fornire anche valori attendibili dei consumi registrati durante le prove.

Il rilievo della facciata della chiesa di Santa Lucia a Bologna, mediante sistemi fotogrammetrici a basso costo e open source.

Questo elaborato presenta una procedura di rilievo eseguito con la scansione Laser e la Fotogrammetria per lo studio della facciata della Chiesa di Santa Lucia in Bologna e le successive elaborazioni dei dati tramite software di correlazione automatica Open Source e commerciali Low Cost basati sui principi della Structure from Motion. Nel particolare, il rilievo laser è stato eseguito da 5 posizioni diverse e tramite l’utilizzo di 7 target, mentre il rilievo fotogrammetrico è stato di tipo speditivo poiché le prese sono state eseguite solo da terra ed è stato impiegato un tempo di lavoro minimo (una decina di minuti). I punti di appoggio per la georeferenziazione dei dati fotogrammetrici sono stati estratti dal datum fornito dal laser e dal set di fotogrammi a disposizione è stato ottenuta una nuvola di punti densa tramite programmi Open Source e con software commerciali. Si sono quindi potuti operare confronti tra i risultati ottenuti con la fotogrammetria e tra il dato che si aveva di riferimento, cioè il modello tridimensionale ottenuto grazie al rilievo laser. In questo modo si è potuto verificare l’accuratezza dei risultati ottenuti con la fotogrammetria ed è stato possibile determinare quale calcolo teorico approssimativo dell’errore poteva essere funzionante per questo caso di studio e casi simili. Inoltre viene mostrato come produrre un foto raddrizzamento tramite l’utilizzo di una sola foto utilizzando un programma freeware. Successivamente è stata vettorializzata la facciata della chiesa ed è stata valutata l’accuratezza di tale prodotto, sempre confrontandola con il dato di riferimento, ed infine è stato determinato quale calcolo teorico dell’errore poteva essere utilizzato in questo caso. Infine, avendo notato la diffusione nel commercio odierno della stampa di oggetti 3D, è stato proposto un procedimento per passare da una nuvola di punti tridimensionale ad un modello 3D stampato.

Progettazione ed implementazione di un sistema di navigazione in realtà aumentata per motocicli

Questa tesi ha l'obiettivo di mostrare i fondamenti per lo sviluppo di un sistema di navigazione per caschi motociclistici in realtà aumentata. L'applicazione implementata sfrutta i concetti principali di realtà aumentata sensor based, cioè basata su geo-localizzazione, al fine di fornire i dati di interesse all'interno del campo visivo del guidatore. Lo scopo del progetto è di realizzare un sistema in grado di interagire con l'utente attraverso i suoi movimenti, e rendere fruibili le informazioni riguardanti la navigazione all'interno di un casco. Non sono pochi i vantaggi che questi strumenti potrebbero introdurre nella guida veicolare, anche in ambito di sicurezza stradale. Infatti, in questo modo, l'utilizzatore del casco non sarà più costretto a distrarsi dalla guida per consultare le informazioni del percorso da seguire, ma avrà la possibilità di vederle proiettate direttamente all'interno del suo campo visivo. Tutte le informazioni che oggi siamo abituati a ricevere da un comune navigatore satellitare (o dal nostro smartphone), saranno disponibili nella visione reale del mondo che ci circonda in modo rapido e intuitivo. Si è scelto di utilizzare Android come sistema operativo per lo sviluppo del sistema, utilizzando la libreria droidAR per la realtà aumentata.

Progettazione del Sistema di Gestione dei Risultati Elettorali del Comune di Cesena

Nel Comune di Cesena è presente un sistema di gestione dei risultati elettorali che si avvale di una base di dati per memorizzare le informazioni sui seggi, sui partiti, sui candidati, e sui risultati da loro ottenuti, ma il software in uso manca di funzionalità avanzate che permettano di eseguire correttamente raffronti fra diverse elezioni, di tenere traccia di cambiamenti nelle parti più statiche dei dati, di identificare univocamente un soggetto anche se è presente più volte con nomi diversi. In questo contesto si inserisce la progettazione del nuovo Sistema di Gestione dei Risultati Elettorali; in primo luogo è stata necessaria una fase di analisi del sistema attuale per capirne le funzionalità e caratteristiche a livello di database, quali fossero le sue mancanze e quali dati venivano memorizzati da usare come base concettuale di partenza per il nuovo sistema. Si è poi passati alla fase di progettazione vera e propria del nuovo sistema perciò è stato prima necessario strutturare la nuova base di dati; con l’aiuto di diagrammi ER si è stabilito quali fossero le entità necessarie al funzionamento del database, siamo passati poi attraverso una normalizzazione dei diagrammi fino ad ottenere uno schema fisico che indicasse tutte le tabelle e abbiamo scelto di utilizzare la suite DBMS Oracle per la creazione del database. Si è poi scelto di utilizzare il linguaggio di scripting PHP per realizzare l’interfaccia per consentire l’accesso al sistema da parte di molteplici client, prestando particolare attenzione al procedimento di inserimento dei dati preliminari di un’elezione, cioè tutti quei dati che vengono inseriti prima del giorno della votazione che includono i seggi che verranno utilizzati, i partiti e i candidati che si contenderanno il voto degli elettori. Anche in questo caso, al termine dell’implementazione, si è eseguita un’ampia fase di test per assicurarsi che l’utente inserisca in maniera corretta solo ed esclusivamente i dati necessari.

STROBE Statement: linee guida per descrivere gli studi osservazionali

Much of biomedical research is observational. The reporting of such research is often inadequate, which hampers the assessment of its strengths and weaknesses and of a study’s generalizability. The Strengthening the Reporting of Observational Studies in Epidemiology (STROBE) Initiative developed recommendations on what should be included in an accurate and complete report of an observational study. We defined the scope of the recommendations to cover three main study designs: cohort, casecontrol, and cross-sectional studies. We convened a 2-day workshop in September 2004, with methodologists, researchers, and journal editors to draft a checklist of items. This list was subsequently revised during several meetings of the coordinating group and in e-mail discussions with the larger group of STROBE contributors, taking into account empirical evidence and methodological considerations. The workshop and the subsequent iterative process of consultation and revision resulted in a checklist of 22 items (the STROBE Statement) that relate to the title, abstract, introduction, methods, results, and discussion sections of articles. Eighteen items are common to all three study designs and four are specific for cohort, case-control, or cross-sectional studies. A detailed “Explanation and Elaboration” document is published separately and is freely available on the web sites of PLoS Medicine, Annals of Internal Medicine, and Epidemiology. We hope that the STROBE Statement will contribute to improving the quality of reporting of observational studies.

Governor Tom Judge: Early Years - The Path to Becoming Montana's 18th Governor -- Sidney Armstrong, Larry Pettit & Kent Kleinkopf “In the Crucible of Change”

The dramatic period of progressive change in Montana that is documented "In the Crucible of Change" series really exploded with the election of Governors Forrest Anderson and Tom Judge. Anderson's single term saw the dispatching of the sales tax as an issue for a long period, the reorganization of the executive branch of state government and the revision of Montana's Constitution. As a former legislator, county attorney, Supreme Court justice, and Attorney General, Anderson brought unmatched experience to the governorship when elected. Tom Judge, although much younger (elected MT’s youngest governor at age 38 immediately following Anderson), also brought serious experience to the governorship: six years as a MT State Representative, two years as a MT State Senator, four years is Lieutenant Governor and significant business experience. The campaign and election of John F. Kennedy in 1960 spurred other young Americans to service, including Tom Judge. First elected in 1960, he rose rapidly through MT’s political-governmental hierarchy until he took over the governorship in time to implement many of the changes started in Governor Anderson’s term. But as a strong progressive leader in his own right, Governor Judge sponsored and implemented significant advancements of his own for Montana. Those accomplishments, however, are the subject of other films in this series. This film deals with Tom Judge’s early years – his rise to the governorship from when he returned home after college at Notre Dame and newspaper experience in Kentucky to his actual election in November 1972. That story is discussed in this episode by three major players in the effort, all directly involved in Tom Judge’s early years and path to the governorship: Sidney Armstrong, Larry Pettit and Kent Kleinkopf. Their recollections of the early Tom Judge and the period of his advancement to the governorship provide an insider’s perspective of the growth of this significant leader of the important period of progressive change documented “In the Crucible of Change.” Sidney Armstrong, President of Sidney Armstrong Consulting, serves on the board and as the Executive Director of the Greater Montana Foundation. Formerly Executive Director of the Montana Community Foundation (MCF), she has served on national committees and participated in national foundation initiatives. While at MCF, she worked extensively with MT Governors Racicot and Martz on the state charitable endowment tax credit and other endowed philanthropy issues. A member of MT Governor Thomas L. Judge’s staff in the 1970s, she was also part of Governor Brian Schweitzer’s 2004 Transition Team, continuing to serve as a volunteer advisor during his term. In the 1980s, Sidney also worked for the MT State AFL-CIO and the MT Democratic Party as well as working two sessions with the MT Senate as Assistant Secretary of the Senate and aide to the President. A Helena native, and great granddaughter of pioneer Montanans, Sidney has served on numerous nonprofit boards, and is currently a board member for the Montana History Foundation. Recently she served on the board of the Holter Museum of Art and was a Governor’s appointee to the Humanities Montana board. She is a graduate of the International School of Geneva, Switzerland and the University of Montana. Armstrong's Irish maternal immigrant great-grandparents, Thomas and Maria Cahill Cooney, came to Virginia City, MT in a covered wagon in 1865, looking for gold. Eventually, they settled on the banks of the Missouri River outside Helena as ranchers. She also has roots in Butte, MT, where her journalist father's family, both of whom were newspaper people, lived. Her father, Richard K. O’Malley, is also the author of a well-known book about Butte, Mile High, Mile Deep, recently re-published by Russell Chatham. She is the mother of four and the grandmother of eight. Dr. Lawrence K. Pettit (Larry Pettit) (b. 5/2/1937) has had a dual career in politics and higher education. In addition to being Montana’s first Commissioner of Higher Education (the subject of another film in this series); Pettit, of Lewistown, served as legislative assistant to U.S. Senators James E. Murray and Lee Metcalf, campaign manager, head of transition team and assistant to Montana Governor Thomas L. Judge; taught political science at The Pennsylvania State University (main campus), was chair of political science at Montana State University, Deputy Commissioner for Academic Programs at the Texas Higher Education Coordinating Board, Chancellor of the University System of South Texas (since merged with Texas A&M University), President of Southern Illinois University, and President of Indiana University of Pennsylvania from where he retired in 2003. He has served as chair of the Commission on Leadership for the American Council on Education, president of the National Association of (University) System Heads, and on many national and state boards and commissions in higher education. Pettit is author of “If You Live by the Sword: Politics in the Making and Unmaking of a University President.” More about Pettit is found at http://www.lawrencekpettit.com… Kent Kleinkopf of Missoula is co-founder of a firm with a national scope of business that specializes in litigation consultation, expert vocational testimony, and employee assistance programs. His partner (and wife of 45 years) Kathy, is an expert witness in the 27 year old business. Kent received a BA in History/Education from the University of Idaho and an MA in Economics from the University of Utah. The Kleinkopfs moved to Helena, MT in 1971 where he was Assistant to the Commissioner of State Lands (later Governor) Ted Schwinden. In early 1972 Kent volunteered full time in Lt. Governor Tom Judge’s campaign for Governor, driving the Lt. Governor extensively throughout Montana. After Judge was elected governor, Kent briefly joined the staff of Governor Forrest Anderson, then in 1973 transitioned to Judge’s Governor’s Office staff, where he became Montana’s first “Citizens’ Advocate.” In that capacity he fielded requests for assistance from citizens with concerns and information regarding State Agencies. While on the Governor’s staff, Kent continued as a travel aide with the governor both in Montana and nationally. In 1977 Kent was appointed Director of the MT Department of Business Regulation. That role included responsibility as Superintendent of Banking and Chairman of the State Banking Board, where Kent presided over the chartering of many banks, savings and loans, and credit unions. In 1981 the Kleinkopfs moved to Missoula and went into the business they run today. Kent was appointed by Governor Brian Schweitzer to the Board of the Montana Historical Society in 2006, was reappointed and continues to serve. Kathy and Kent have a daughter and son-in-law in Missoula.