Programmazione funzionale in spazio logaritmico: una libreria di funzione aritmetiche

In questa Tesi forniamo una libreria di funzioni aritmetiche che operano in spazio logaritmico rispetto all'input. Partiamo con un'analisi dei campi in cui è necessario o conveniente porre dei limiti, in termini di spazio utilizzato, alla computazione di un determinato software. Vista la larga diffusione del Web, si ha a che fare con collezioni di dati enormi e che magari risiedono su server remoti: c'è quindi la necessità di scrivere programmi che operino su questi dati, pur non potendo questi dati entrare tutti insieme nella memoria di lavoro del programma stesso. In seguito studiamo le nozioni teoriche di Complessità, in particolare quelle legate allo spazio di calcolo, utilizzando un modello alternativo di Macchina di Turing: la Offline Turing Machine. Presentiamo quindi un nuovo “modello” di programmazione: la computazione bidirezionale, che riteniamo essere un buon modo di strutturare la computazione limitata in spazio. Forniamo poi una “guida al programmatore” per un linguaggio di recente introduzione, IntML, che permettere la realizzazione di programmi logspace mantenendo però il tradizionale stile di programmazione funzionale. Infine, per mostrare come IntML permetta concretamente di scrivere programmi limitati in spazio, realizziamo una libreria di funzioni aritmetiche che operano in spazio logaritmico. In particolare, mostriamo funzioni per calcolare divisione intera e resto sui naturali, e funzioni per confrontare, sommare e moltiplicare numeri espressi come parole binarie.

Progettazione e Sviluppo di un Sistema Cloud P2P

La tesi si colloca nell'ambito del Cloud Computing, un modello in grado di abilitare l’accesso in rete in maniera condivisa, pratica e on-demand, di diverse risorse computazionali, come potenza di calcolo o memoria di massa. Questo lavoro ha come scopo la realizzazione di una Cloud privata, per la fornitura di servizi, basata su un’architettura P2P. L’elaborato vuole studiare il caso di un sistema P2P di livello infrastruttura (IaaS) e propone la realizzazione di un prototipo capace di sostenere un insime basilare di API. Verranno utilizzati protocolli di gossip per la costruzione dei servizi fondamentali.

Produzione e caratterizzazione di schiume inorganiche a base geopolimerica

Scopo di questa tesi di laurea sperimentale (LM) è stata la produzione di geopolimeri a base metacaolinitica con una porosità controllata. Le principali tematiche affrontate sono state: -la produzione di resine geopolimeriche, studiate per individuare le condizioni ottimali ed ottenere successivamente geopolimeri con un’ultra-macro-porosità indotta; -lo studio dell’effetto della quantità dell’acqua di reazione sulla micro- e meso-porosità intrinseche della struttura geopolimerica; -la realizzazione di schiume geopolimeriche, aggiungendo polvere di Si, e lo studio delle condizioni di foaming in situ; -la preparazione di schiume ceramiche a base di allumina, consolidate per via geopolimerica. Le principali proprietà dei campioni così ottenuti (porosità, area superficiale specifica, grado di geopolimerizzazione, comportamento termico, capacità di scambio ionico sia delle resine geopolimeriche che delle schiume, ecc.) sono state caratterizzate approfonditamente. Le principali evidenze sperimentali riscontrate sono: A)Effetto dell’acqua di reazione: la porosità intrinseca del geopolimero aumenta, sia come quantità che come dimensione, all’aumentare del contenuto di acqua. Un’eccessiva diluizione porta ad una minore formazione di nuclei con l’ottenimento di nano-precipitati di maggior dimensioni. Nelle schiume geopolimeriche, l’acqua gioca un ruolo fondamentale nell’espansione: deve essere presente un equilibrio ottimale tra la pressione esercitata dall’H2 e la resistenza opposta dalla parete del poro in formazione. B)Effetto dell’aggiunta di silicio metallico: un elevato contenuto di silicio influenza negativamente la reazione di geopolimerizzazione, in particolare quando associato a più elevate temperature di consolidamento (80°C), determinando una bassa geopolimerizzazione nei campioni. C)Effetto del grado di geopolimerizzazione e della micro- e macro-struttura: un basso grado di geopolimerizzazione diminuisce l’accessibilità della matrice geopolimerica determinata per scambio ionico e la porosità intrinseca determinata per desorbimento di N2. Il grado di geopolimerizzazione influenza anche le proprietà termiche: durante i test dilatometrici, se il campione non è completamente geopolimerizzato, si ha un’espansione che termina con la sinterizzazione e nell’intervallo tra i 400 e i 600 °C è presente un flesso, attribuibile alla transizione vetrosa del silicato di potassio non reagito. Le prove termiche evidenziano come la massima temperatura di utilizzo delle resine geopolimeriche sia di circa 800 °C.

The impact of cardiac rehabilitation on lifestyles, psychological correlates and the clinical course of cardiac disease

Objectives: The aim of this research was to evaluate the impact of Cardiac Rehabilitation (CR) on risky lifestyles, quality of life, psychopathology, psychological distress and well-being, considering the potential moderating role of depression, anxiety and psychosomatic syndromes on lifestyles modification. The influence of CR on cardiac morbidity and mortality was also evaluated. Methods: The experimental group (N=108), undergoing CR, was compared to a control group (N=85) of patients affected by cardiovascular diseases, not undergoing CR, at baseline and at 1-month, 6- and 12-months follow-ups. The assessment included: the Structured Clinical Interview for DSM-IV, the structured interview based on Diagnostic Criteria for Psychosomatic Research (DCPR), GOSPEL questionnaire on lifestyles, Pittsburgh Sleep Quality Index, Morisky Medication Adherence Scale, MOS 36-Item Short Form Health Survey, Symptom Questionnaire, Psychological Well-Being Scale and 14-items Type D Scale. Results: Compared to the control group, CR was associated to: maintenance of the level of physical activity, improvement of correct dietary behaviors and stress management, enhancement of quality of life and sleep; reduction of the most frequently observed psychiatric diagnoses and psychosomatic syndromes at baseline. On the contrary, CR was not found to be associated with: healthy dietary habits, weight loss and improvement on medications adherence. In addition, there were no relevant effects on sub-clinical psychological distress and well-being, except for personal growth and purpose in life (PWB). Also, CR did not seem to play a protective role against cardiac recurrences. The presence of psychosomatic syndromes and depressive disorders was a mediating factor on the modification of specific lifestyles. Conclusions: The findings highlight the need of a psychosomatic assessment and an evaluation of psychological sub-clinical symptomatology in cardiac rehabilitation, in order to identify and address specific factors potentially associated with the clinical course of the heart disease.

Ruolo delle alterazioni mitocondriali indotte dall'ipossia nella patogenesi della malattia di alzheimer

Le alterazioni della funzionalità mitocondriale detengono un ruolo cruciale nella patogenesi della malattia di Alzheimer (AD), sostenendo il processo neurodegenerativo attraverso meccanismi quali la riduzione della disponibilità energetica e la iperproduzione di ROS. Alle numerose ipotesi di patogenesi dell’AD, si è recentemente affiancata la cosiddetta ipotesi vascolare. Nei soggetti AD è stata riscontrata una significativa riduzione della disponibilità di ossigeno a livello neuronale (ipossia neuronale). Da numerosi studi è poi emerso che l’ipossia gioca un ruolo fondamentale nello sviluppo dell’AD contribuendo a più vie patogenetiche contemporaneamente. Tuttavia, non sono stati ancora chiariti tutti i meccanismi attraverso cui l’ipossia esplica la sua azione di danno. Lo scopo di questo studio è stato quello di contribuire a chiarire il ruolo patologico dell’ipossia nell’AD, analizzando principalmente le alterazioni della funzionalità mitocondriale indotte dalla riduzione della disponibilità di ossigeno. Nella prima fase dello studio cellule PC12 sono state coltivate in presenza di β-amiloide e ipossia. In questo modello abbiamo osservato un potenziamento dei fenomeni di deplezione dell’ATP e di generazione delle ROS indotti dalla Aβ quando anche l’ipossia era presente come fonte di danno cellulare, ipotizzando per i due fattori un effetto congiunto di tipo additivo. Nella seconda fase abbiamo esposto all’ipossia fibroblasti prelevati da pazienti AD portatori di mutazioni a carico dei geni APP e PSEN. La presenza di mutazioni predisponenti ad un fenotipo AD era in grado di determinare un danno bioenergetico e ossidativo. Le alterazioni bioenergetiche riscontrate in normossia risultavano ulteriormente potenziate quando i fibroblasti erano coltivati in ipossia, mentre lo stato di stress ossidativo veniva evidenziato solo in condizioni ipossiche. Sulla base dei risultati finora conseguiti si può ipotizzare che uno dei meccanismi attraverso cui l’ipossia esplica la sua azione di danno nella AD, possa essere dovuto alla capacità di potenziare ulteriormente le alterazioni della funzionalità mitocondriale.

Implementazione ed analisi di un framework basato su Cloud per la valutazione di algoritmi di data Distribution Management

Il Data Distribution Management (DDM) è un componente dello standard High Level Architecture. Il suo compito è quello di rilevare le sovrapposizioni tra update e subscription extent in modo efficiente. All'interno di questa tesi si discute la necessità di avere un framework e per quali motivi è stato implementato. Il testing di algoritmi per un confronto equo, librerie per facilitare la realizzazione di algoritmi, automatizzazione della fase di compilazione, sono motivi che sono stati fondamentali per iniziare la realizzazione framework. Il motivo portante è stato che esplorando articoli scientifici sul DDM e sui vari algoritmi si è notato che in ogni articolo si creavano dei dati appositi per fare dei test. L'obiettivo di questo framework è anche quello di riuscire a confrontare gli algoritmi con un insieme di dati coerente. Si è deciso di testare il framework sul Cloud per avere un confronto più affidabile tra esecuzioni di utenti diversi. Si sono presi in considerazione due dei servizi più utilizzati: Amazon AWS EC2 e Google App Engine. Sono stati mostrati i vantaggi e gli svantaggi dell'uno e dell'altro e il motivo per cui si è scelto di utilizzare Google App Engine. Si sono sviluppati quattro algoritmi: Brute Force, Binary Partition, Improved Sort, Interval Tree Matching. Sono stati svolti dei test sul tempo di esecuzione e sulla memoria di picco utilizzata. Dai risultati si evince che l'Interval Tree Matching e l'Improved Sort sono i più efficienti. Tutti i test sono stati svolti sulle versioni sequenziali degli algoritmi e che quindi ci può essere un riduzione nel tempo di esecuzione per l'algoritmo Interval Tree Matching.

Proposta di traduzione in francese di parte del sito web "www.Turismo.Ra.It"

Questo elaborato finale analizza la mia proposta di traduzione di parte del sito internet www.turismo.ra.it. Ho intrapreso la traduzione delle pagine di questo sito nel quadro di una collaborazione volontaria con il Comune di Ravenna; anche il mio tirocinio curricolare si è concentrato sulla traduzione del sito. Ho deciso dunque di articolare la tesi come segue: il primo capitolo, si concentra sulla teoria dei siti internet e sulla loro organizzazione, focalizzando l’interesse sulle modalità di scrittura sul web, mentre il secondo capitolo tratta l’analisi del sito, ponendo particolare attenzione alla sua struttura. La mia proposta di traduzione segue poi nel terzo capitolo, mentre nel quarto offro una possibile analisi dei testi tradotti, con commenti relativi agli aspetti linguistici e alle difficoltà riscontrate, e analizzando la memoria di traduzione da me creata nel corso della mia attività. L’elaborato si conclude con alcune mie considerazioni finali circa l’attività svolta, e la bibliografia, con annessa sitografia, da me consultate per lo svolgimento del mio lavoro di ricerca.

Digeribilità e bioaccessibilità di composti bioattivi in diverse cultivar di peperoni dolci

Un discreto numero di molecole biologicamente attive contenute nei cibi vegetali si suppone esercitino un ruolo preventivo e favorevole su molteplici funzioni dell’organismo, con meccanismi d’azione spesso legati alla modulazione diretta e indiretta dello stress ossidativo. Acido ascorbico, tocoferoli, carotenoidi, polifenoli, posseggono attività antiossidante e giocano un ruolo positivo nella conservazione dello stato di salute. L’elevato contenuto di essi nei peperoni dolci (Capsicum Annuum L.) ha incrementato l’interesse nei confronti di questi vegetali da parte del settore agronomico e dell’industria alimentare. È tuttavia noto che la concentrazione di composti bioattivi può essere molto diversa anche tra cultivar della stessa specie vegetale ed è pertanto importante evidenziare il contenuto quali-quantitativo delle varie molecole nelle diverse cultivar di peperoni dolci, in modo da evidenziare le più ricche di tali componenti. Occorre però tenere conto anche della biodisponibilità e bioaccessibilità dei diversi componenti funzionali. Infatti il possibile effetto positivo di tali molecole non dipende solo dal loro contenuto nell’alimento ma soprattutto dalla quantità che viene rilasciata dalla matrice alimentare durante il processo digestivo, e che quindi risulta essere potenzialmente biodisponibile e attivo nell’organismo. Scopo della ricerca presentata è stato valutare e confrontare la digeribilità e la bioaccessibilità di alcuni composti bioattivi antiossidanti in peperoni dolci rossi e gialli appartenenti a due diverse cultivar, Lamuyo e Corno di Toro. Il contenuto fenolico totale e di vitamina C, l’attività antiossidante totale sono stati determinati nei campioni di peperone digeriti in vitro, e comparati ai prodotti freschi, evidenziando differenze significative in termini di bioaccessibilità in particolare tra i peperoni rossi delle due cultivar. Sebbene il processo di digestione in vitro sia una simulazione parziale ed incompleta di quanto accade in vivo, la valutazione di un alimento dopo averlo sottoposto a tale processo rappresenta un importante progresso nello studio delle proprietà e del valore nutrizionale degli alimenti.

Dinamiche di produzione di Dimetilsolfoniopropionato (DMSP) nella dinoflagellata tossica Ostreopsis cf. ovata in colture batch

Il Dimetilsolfoniopropionato (DMSP) è un metabolita secondario prodotto da vari organismi marini, tra cui molte microalghe. Ad oggi pochi studi riguardano gli effetti dei fattori ambientali sulla produzione di DMSP nelle microalghe tossiche, tuttavia si ipotizza che la carenza di azoto (N-dep) possa influire sulla produzione di tossine e DMSP. In questo lavoro è stata indagata nella dinoflagellata Ostreopsis cf. ovata: la presenza e l’andamento del DMSP lungo tutte le fasi di crescita; i possibili effetti di differenti condizioni di crescita (i.e. bilanciata e N-dep) sulla produzione del metabolita e delle tossine. La scelta della dinoflagellata è giustificata dalle sue frequenti fioriture dannose nel Mediterraneo e dall’osservazione, in studi pregressi, di una comunità batterica associata ai suoi blooms in grado di utilizzare il DMSP come fonte energetica. Lo studio mostra per la prima volta da parte di O. cf ovata la produzione del DMSP, riportando un trend temporale simile nelle due condizioni. Si evidenzia: un minimo a fine fase esponenziale; un massimo nella prima fase stazionaria; una riduzione al termine della fase stazionaria. Il confronto fra le due condizioni evidenzia un effetto positivo di N-dep nella produzione di DMSP, evidenziato anche dal maggior tasso di produzione, che potrebbe avvenire per: utilizzare il DMSP rispetto ad altri osmoliti azotati; rilasciare nell’ambiente composti carboniosi e sulfurei, prodotti a seguito dello stress cellulare. I risultati indicherebbero come N-dep possa interferire nella sintesi di tossine e DMSP in maniera opposta, non per competizione diretta del nutriente nei processi di sintesi, ma a seguito dei cambiamenti fisiologici della microalga dovuti alla carenza nutrizionale. Infine la produzione di DMSP da parte della microalga conferma l’instaurarsi di una fase d’interazione mutualistica con i batteri ad essa associati facilitata dal DMSP, importante per lo sviluppo della popolazione algale e dei conseguenti rischi sanitari ed ecosistemici.

Shadowing: imitazione e apprendimento. Dagli Interpreting Studies alle neuroscienze

Scopo di questa tesi è argomentare l’utilità dello shadowing nella formazione degli interpreti, basandosi sulla Teoria motoria della percezione del linguaggio di Alvin Liberman e muovendosi all’interno del quadro teorico della più ampia embodied cognition, che include teorie sullo sviluppo del linguaggio e sull’acquisizione di seconde lingue. Nella formazione degli interpreti, lo shadowing è un esercizio che consiste nell’immediata ripetizione di quanto udito in cuffia, parola per parola e nella medesima lingua del testo di partenza ed è generalmente utilizzato come esercizio propedeutico alla simultanea, in quanto permette sia di “imparare” ad ascoltare e a parlare contemporaneamente, sia di migliorare la pronuncia e la fluidità in lingua straniera. Tuttavia, all’interno degli Interpreting Studies, ci sono studiosi che lo ritengono un esercizio inutile e, per certi versi, pericoloso poiché porrebbe l’accento su un processo eccessivamente “meccanico” dell’interpretazione. Per argomentare la sua utilità nella didattica dell’interpretazione, in questa tesi, dopo aver presentato le principali teorie sullo sviluppo del linguaggio e sull’acquisizione di seconde lingue, si passeranno in rassegna i risultati di ricerche condotte non solo all’interno degli Interpreting Studies, ma anche nella più ampia prospettiva della didattica delle lingue straniere/seconde, e soprattutto in neurolinguistica e psicologia cognitiva, dove lo shadowing è utilizzato per analizzare i processi cognitivi che sono alla base della ricezione e produzione del linguaggio (articolazione motoria, memoria di lavoro, attenzione selettiva, ecc.). L’ultimo capitolo di questo lavoro sarà dedicato alla descrizione di un approccio estremamente recente sulla percezione e sulla produzione del linguaggio, che coniuga la Teoria motoria della percezione del linguaggio di Liberman (1967) con la recente scoperta dei neuroni specchio, e che getta una luce nuova sull’utilità dello shadowing nella formazione degli interpreti.

Músculos Inteligentes en Robots Biológicamente Inspirados: Modelado, Control y Actuación

Las aleaciones metálicas que exhiben una propiedad conocida como efecto de memoria de forma, pertenecen a la clase de materiales inteligentes cuya aplicación más notable en el campo de la robótica se refleja en el uso de actuadores musculares artificiales, ó músculos inteligentes. Estos materiales tienen una estructura cristalina uniforme que cambia radicalmente en función de su temperatura de transición, causando su deformación. Se les denomina materiales inteligentes por la capacidad de recordar su configuración inicial después de recibir dicho estímulo térmico. Este artículo presenta la implementación de un actuador muscular inteligente aplicado en un micro-robot aéreo bio-inspirado tipo murciélago. Esto mamíferos voladores desarrollaron poderosos músculos que se extienden a lo largo de la estructura ósea de las alas, adquiriendo una asombrosa capacidad de maniobra gracias a la capacidad de cambiar la forma del ala durante el vuelo. Replicar este tipo de alas mórficas en un prototipo robótico requiere el análisis de nuevas tecnologías de actuación, abordando los problemas de modelado y control que garanticen la aplicabilidad de este actuador compuesto por fibras musculares de SMAs

Biomarcatori per il monitoraggio biologico di soggetti esposti ad agenti cancerogeni per il polmone

Riassunto I biomarcatori o “marcatori biologici” svolgono un ruolo fondamentale nel monitoraggio biologico. In questo lavoro ci siamo soffermati sullo studio di biomarcatori di effetto e di esposizione a xenobiotici ambientali. Nel primo caso abbiamo valutato i micro RNA (miRNA) da utilizzare per la diagnosi precoce del tumore al polmone in matrici di facile accesso, quale il CAE e il plasma, utilizzando il miRNA-21, oncogeno, e il miRNA-486, oncosoppressore. I risultati evidenziano una loro capacità di distinguere correttamente i soggetti con tumore polmonare dai soggetti sani, ipotizzando un loro utilizzo a scopo diagnostico. Nella seconda parte del lavoro di tesi sono stati studiati i biomarcatori di esposizione a benzene per valutare gli effetti dell’esposizione a concentrazioni ambientali su bambini residenti in città e a diverso livello di urbanizzazione. Lo studio ha evidenziato una correlazione dose-effetto fra le concentrazioni di benzene e dei suoi metaboliti urinari e un danno ossidativo a livello degli acidi nucleici. Tuttavia, le concentrazioni di benzene urinario non sono influenzate dal grado di industrializzazione, a differenza dell’S-PMA e degli indicatori di stress ossidativo (8-oxodGuo e 8-oxoGuo) che sembrano risentire sia della residenza che del momento del campionamento. Infine abbiamo ricercato possibili biomarcatori di esposizione a vinilcicloesene (VCH), sottoprodotto industriale nella polimerizzazione del 1,3-butadiene, poiché non sono ancora stati proposti BEI di riferimento nonostante i bassi valori di TLV-TWA (0.1 ppm) proposti dall’ACGIH. Nella prima fase del lavoro abbiamo studiato i meccanismi di tossicità del VCH tramite modelli in vitro, testando varie linee cellulari. I risultati evidenziano come la dose reale di VCH sia di molto inferiore a quella nominale per effetto dell’evaporazione. Inoltre, nelle linee cellulari più sensibili si sono evidenziati effetti citostatici, con alterazioni del ciclo cellulare, a differenza dell’esposizione agli epossidi del VCH, il VCD e l’1,2-VCHME, che determinano lisi cellulare con IC50 di 3 ordini di grandezza inferiori a quelli del VCH. La quantificazione dei metaboliti di I fase e di II fase del VCH nelle linee cellulari epatiche ha evidenziato concentrazioni di circa 1000 volte inferiori a quelle del VCH confermando come la sua tossicità sia principalmente dovuta alla produzione degli intermedi epossidici. La trasformazione nei metaboliti di II fase conferma inoltre l’effetto detossificante del metabolismo. La trasferibilità dei risultati ottenuti in vitro su sistemi in vivo fornirà le basi per poter identificare possibili metaboliti da proporre per il monitoraggio biologico di lavoratori esposti a VCH. PAROLE CHIAVE: biomarcatori di effetto e di esposizione, tumore al polmone, miRNA, benzene, vinilcicloesene.

The assignment of credit through bills of exchange and transmission documents in Andalusi Law

The exchange traffic was a practice that suited the modus vivendi of caravanners and traders in the Islamic world. The inclusion of the Iberian.Peninsula into the most important commercial routes of Muslims – such as the silk route through the North Africa – provides a very solid reason to deepen in the study of the sources that have been preserved about the role that certain credit instruments, which represented an alternative to the coin, might have played in trade centres.