Assimilation of Meteosat Second Generation (MSG) satellite data in a regional numerical weather prediction model using a one-dimensional variational approach

The quality of temperature and humidity retrievals from the infrared SEVIRI sensors on the geostationary Meteosat Second Generation (MSG) satellites is assessed by means of a one dimensional variational algorithm. The study is performed with the aim of improving the spatial and temporal resolution of available observations to feed analysis systems designed for high resolution regional scale numerical weather prediction (NWP) models. The non-hydrostatic forecast model COSMO (COnsortium for Small scale MOdelling) in the ARPA-SIM operational configuration is used to provide background fields. Only clear sky observations over sea are processed. An optimised 1D–VAR set-up comprising of the two water vapour and the three window channels is selected. It maximises the reduction of errors in the model backgrounds while ensuring ease of operational implementation through accurate bias correction procedures and correct radiative transfer simulations. The 1D–VAR retrieval quality is firstly quantified in relative terms employing statistics to estimate the reduction in the background model errors. Additionally the absolute retrieval accuracy is assessed comparing the analysis with independent radiosonde and satellite observations. The inclusion of satellite data brings a substantial reduction in the warm and dry biases present in the forecast model. Moreover it is shown that the retrieval profiles generated by the 1D–VAR are well correlated with the radiosonde measurements. Subsequently the 1D–VAR technique is applied to two three–dimensional case–studies: a false alarm case–study occurred in Friuli–Venezia–Giulia on the 8th of July 2004 and a heavy precipitation case occurred in Emilia–Romagna region between 9th and 12th of April 2005. The impact of satellite data for these two events is evaluated in terms of increments in the integrated water vapour and saturation water vapour over the column, in the 2 meters temperature and specific humidity and in the surface temperature. To improve the 1D–VAR technique a method to calculate flow–dependent model error covariance matrices is also assessed. The approach employs members from an ensemble forecast system generated by perturbing physical parameterisation schemes inside the model. The improved set–up applied to the case of 8th of July 2004 shows a substantial neutral impact.

Development of original analytical methods for the therapeutic drug monitoring of CNS druges: Antipsychotics, Antidepressants and Anxiolytics-hypnotics

Great strides have been made in the last few years in the pharmacological treatment of neuropsychiatric disorders, with the introduction into the therapy of several new and more efficient agents, which have improved the quality of life of many patients. Despite these advances, a large percentage of patients is still considered “non-responder” to the therapy, not drawing any benefits from it. Moreover, these patients have a peculiar therapeutic profile, due to the very frequent application of polypharmacy, attempting to obtain satisfactory remission of the multiple aspects of psychiatric syndromes. Therapy is heavily individualised and switching from one therapeutic agent to another is quite frequent. One of the main problems of this situation is the possibility of unwanted or unexpected pharmacological interactions, which can occur both during polypharmacy and during switching. Simultaneous administration of psychiatric drugs can easily lead to interactions if one of the administered compounds influences the metabolism of the others. Impaired CYP450 function due to inhibition of the enzyme is frequent. Other metabolic pathways, such as glucuronidation, can also be influenced. The Therapeutic Drug Monitoring (TDM) of psychotropic drugs is an important tool for treatment personalisation and optimisation. It deals with the determination of parent drugs and metabolites plasma levels, in order to monitor them over time and to compare these findings with clinical data. This allows establishing chemical-clinical correlations (such as those between administered dose and therapeutic and side effects), which are essential to obtain the maximum therapeutic efficacy, while minimising side and toxic effects. It is evident the importance of developing sensitive and selective analytical methods for the determination of the administered drugs and their main metabolites, in order to obtain reliable data that can correctly support clinical decisions. During the three years of Ph.D. program, some analytical methods based on HPLC have been developed, validated and successfully applied to the TDM of psychiatric patients undergoing treatment with drugs belonging to following classes: antipsychotics, antidepressants and anxiolytic-hypnotics. The biological matrices which have been processed were: blood, plasma, serum, saliva, urine, hair and rat brain. Among antipsychotics, both atypical and classical agents have been considered, such as haloperidol, chlorpromazine, clotiapine, loxapine, risperidone (and 9-hydroxyrisperidone), clozapine (as well as N-desmethylclozapine and clozapine N-oxide) and quetiapine. While the need for an accurate TDM of schizophrenic patients is being increasingly recognized by psychiatrists, only in the last few years the same attention is being paid to the TDM of depressed patients. This is leading to the acknowledgment that depression pharmacotherapy can greatly benefit from the accurate application of TDM. For this reason, the research activity has also been focused on first and second-generation antidepressant agents, like triciclic antidepressants, trazodone and m-chlorophenylpiperazine (m-cpp), paroxetine and its three main metabolites, venlafaxine and its active metabolite, and the most recent antidepressant introduced into the market, duloxetine. Among anxiolytics-hypnotics, benzodiazepines are very often involved in the pharmacotherapy of depression for the relief of anxious components; for this reason, it is useful to monitor these drugs, especially in cases of polypharmacy. The results obtained during these three years of Ph.D. program are reliable and the developed HPLC methods are suitable for the qualitative and quantitative determination of CNS drugs in biological fluids for TDM purposes.

La protezione dei diritti sociali nell'ordinamento dell'Unione Europea

This study deals with the protection of social rights in Europe and aims to outline the position currently held by these rights in the EU law. The first two chapters provide an overview of the regulatory framework in which the social rights lie, through the reorganisation of international sources. In particular the international instruments of protection of social rights are taken into account, both at the universal level, due to the activity of the United Nations Organisation and of its specialized agency, the International Labour Organization, and at a regional level, related to the activity of the Council of Europe. Finally an analysis of sources concludes with the reconstruction of the stages of the recognition of social rights in the EU. The second chapter describes the path followed by social rights in the EU: it examines the founding Treaties and subsequent amendments, the Charter of Fundamental Social Rights of Workers of 1989 and, in particularly, the Charter of Fundamental Rights of the European Union, the legal status of which was recently treated as the primary law by the Treaty of Lisbon signed in December 2007. The third chapter is, then, focused on the analysis of the substantive aspects of the recognition of the rights made by the EU: it provides a framework of the content and scope of the rights accepted in the Community law by the Charter of Fundamental Rights, which is an important contribution to the location of the social rights among the fundamental and indivisible rights of the person. In the last section of the work, attention is focused on the two profiles of effectiveness and justiciability of social rights, in order to understand the practical implications of the gradual creation of a system of protection of these rights at Community level. Under the first profile, the discussion is focused on the effectiveness in the general context of the mechanisms of implementation of the “second generation” rights, with particular attention to the new instruments and actors of social Europe and the effect of the procedures of soft law. Second part of chapter four, finally, deals with the judicial protection of rights in question. The limits of the jurisprudence of the European Union Court of Justice are more obvious exactly in the field of social rights, due to the gap between social rights and other fundamental rights. While, in fact, the Community Court ensures the maximum level of protection to human rights and fundamental freedoms, social rights are often degraded into mere aspirations of EU institutions and its Member States. That is, the sources in the social field (European Social Charter and Community Charter) represent only the base for interpretation and application of social provisions of secondary legislation, unlike the ECHR, which is considered by the Court part of Community law. Moreover, the Court of Justice is in the middle of the difficult comparison between social values and market rules, of which it considers the need to make a balance: despite hesitancy to recognise the juridical character of social rights, the need of protection of social interests has justified, indeed, certain restrictions to the free movement of goods, freedom to provide services or to Community competition law. The road towards the recognition and the full protection of social rights in the European Union law appears, however, still long and hard, as shown by the recent judgments Laval and Viking, in which the Community court, while enhancing the Nice Charter, has not given priority to fundamental social rights, giving them the role of limits (proportionate and justified) of economic freedoms.

Una e plurima: riflessioni intorno alle nuove espressioni delle donne nella letteratura italiana

Tale lavoro di ricerca ha indagato l’opera di sette scrittrici immigrate in Italia o nate da genitori immigrati che hanno composto in lingua italiana. Esse sono: Christiana de Caldas Brito, Cristina Ubax Ali Farah, Gabriella Kuruvilla, Ingy Mubiayi, Ornela Vorpsi, Laila Wadia, Jarmila Očkayová. La tesi consta di una premessa, un primo capitolo in cui sono riportate le interviste fatte alle scrittrici, un secondo capitolo di analisi dei loro testi, un terzo di riflessioni di teoria letteraria ed un quarto conclusivo. In appendice sono riportate integralmente le interviste.

La governance della società di capitale a base familiare: "Protocolo Familiar" e Patti di Famiglia

Family businesses have acquired a very specific gravity in the economy of occidental countries, generating most of the employment and the richness for the last ages. In Spain Family Businesses represent the 65% about the total of enterprises with 1,5 million companies. They give employment to 8 million people, the 80% of the private employment and develop the 65% of the Spanish GNP (Gross National Product). Otherwise, the family business needs a complete law regulation that gives satisfaction to their own necessities and challenges. These companies have to deal with national or international economic scene to assure their permanency and competitiveness. In fact, the statistics about family companies have a medium life of 35 years. European family businesses success their successor process between a 10 and 25%. It’s said: first generation makes, second generation stays, third generation distributes. In that sense, the Recommendation of the European Commission of December 7º 1994 about the succession of the small and medium companies has reformed European internal orders according to make easier successor process and to introduce practices of family companies’ good government. So, the Italian law, under the 14th Law, February 2006, has reformed its Covil Code, appearing a new concept, called “Patto di famiglia”, wich abolish the prohibition as laid dwon in the 458 article about successors’ agreements, admitting the possibility that testator guarantees the continuity of the company or of the family society, giving it, totally or in part, to one or various of its descendents. On other hand, Spain has promulgated the 17th Royal Decree (9th February 2007), that governs the publicity of family agreements (Protocolos familiars). These “protocolo familiar” (Family Agreement) are known as accord of wills, consented and accepted unanimously of all the family members and the company, taking into account recommendations and practices of family company’s good government.

Preclinical development of cancer vaccines

Triplex cell vaccine is a cancer immunopreventive cell vaccine that can prevent almost completely mammary tumor onset in HER-2/neu transgenic mice. A future translation of cancer immunoprevention from preclinical to clinical studies should take into account several aspects. The work reported in this thesis deals with the study of three of these aspects: vaccine schedule, activity in a therapeutic set-up and second-generation DNA vaccines. An important element in determining human acceptance and compliance of a treatment protocol is the number of vaccinations. In order to improve the vaccination schedule a minimal protocol was searched, i.e. a schedule consisting of a lower number of administrations than standard protocol but with a similar efficacy. A candidate optimal protocol was identified by the use of an in silico model, SimTriplex simulator. The in vivo test of this schedule in HER-2/neu transgenic mice only partially confirmed in silico predictions. This result shows that in silico models have the potential ability to aid in searching of optimal treatment protocols, provided that they will be further tuned on experimental data. As a further result this preclinical study highlighted that kinetic of antibody response plays a major role in determining cancer prevention, leading to the hypothesis of a threshold that must be reached rapidly and maintained lifetime. Early clinical trials would be performed in a therapeutic, rather than preventive, setting. Thus, the activity of Triplex vaccine was investigated against experimental lung metastases in HER-2/neu transgenic mice in order to evaluate if the immunopreventive Triplex vaccine could be effective also against a pre-existing tumor mass. This preclinical model of aggressive metastatic development showed that the vaccine was an efficient treatment also 4 for the cure of micrometastases. However the immune mechanisms activated against tumor mass were not antibody dependent, i.e. different from those preventing the onset of primary mammary carcinoma. DNA vaccines could be more easily used than cellular ones. A second generation of Triplex vaccine based on DNA plasmids was evaluated in an aggressive preclinical model (BALBp53neu female mice) and compared with the preventive ability of cellular Triplex vaccine. It was observed that Triplex DNA vaccine was as effective as Triplex cell vaccine, exploiting a more restricted immune stimulation.

Macchine esperienziali: Narrativa, cognizione e atto di lettura

La mia tesi si riallaccia al dibattito teorico-letterario contemporaneo sulla possibilità di un approccio cognitivo alla narrativa e alla letteratura in particolare. Essa si propone di esplorare il rapporto tra narrazione ed esperienza, ridefinendo il concetto di “esperienzialità” della narrativa introdotto da Monika Fludernik nel suo Towards a “Natural” Narratology (1996). A differenza di Fludernik, che ha identificato l’esperienzialità con la rappresentazione dell’esperienza dei personaggi, la mia trattazione assegna un ruolo di primo piano al lettore, cercando di rispondere alla domanda: perché leggere una storia è – o si costituisce come – un’esperienza? L’intuizione dietro tutto ciò è che le teorizzazioni dell’esperienza e della coscienza nella filosofia della mente degli ultimi venti anni possano gettare luce sull’interazione tra lettori e testi narrativi. Il mio punto di riferimento principale è la scienza cognitiva “di seconda generazione”, secondo cui l’esperienza è un relazionarsi attivo e corporeo al mondo. La prima parte del mio studio è dedicata all’intreccio tra la narrativa e quello che chiamo lo “sfondo esperienziale” di ogni lettore, un repertorio di esperienze già note ai lettori attraverso ripetute interazioni con il mondo fisico e socio-culturale. Mi soffermo inoltre sul modo in cui relazionarsi a un testo narrativo può causare cambiamenti e slittamenti in questo sfondo esperienziale, incidendo sulla visione del mondo del lettore. Mi rivolgo poi al coinvolgimento corporeo del lettore, mostrando che la narrativa può attingere allo sfondo esperienziale dei suoi fruitori anche sul piano dell’esperienza di base: le simulazioni corporee della percezione contribuiscono alla nostra comprensione delle storie, incidendo sia sulla ricostruzione dello spazio dell’ambientazione sia sulla relazione intersoggettiva tra lettori e personaggi. Infine, mi occupo del rapporto tra l’esperienza della lettura e la pratica critico-letteraria dell’interpretazione, sostenendo che – lungi dal costituire due modalità opposte di fruizione dei testi – esse sono intimamente connesse.

Dalla "postmémoire" alla scrittura dell'oblio nell'opera di Sylvie Germain

La tesi intitolata "Dalla «postmémoire» alla scrittura dell’oblio nell’opera di Sylvie Germain" si pone l’obbiettivo di analizzare l’opera della scrittrice francese contemporanea Sylvie Germain alla luce di alcune elaborazioni teoriche sulla dialettica memoria/oblio. Basandoci sulle principali teorie-guida relative alla «memoria culturale» teorizzate da Maurice Halbwachs,Pierre Nora,Tzvetan Todorov,Paul Ricoeur e Aleida Assmann,la nostra analisi si è successivamente concentrata sugli studi condotti attorno al concetto di «postmemory» elaborato dalla studiosa americana Marianne Hirsch. Scopo di questa prospettiva critica è quello di leggere l'opera germainiana come espressione di una «affiliative postmemory», risultato della connessione generazionale di coloro che non hanno vissuto direttamente un trauma con la «literal second generation». Attraverso un approccio interdisciplinare che ha coinvolto gli studi sulla memoria culturale in rapporto alla questione del gender, si è inoltre evidenziata la specificità del ruolo rivestito dai personaggi femminili nei romanzi di Germain che assumono un peso determinante nella trasmissione della memoria individuale e collettiva, studio che ci ha permesso di sottolineare la funzione attiva svolta dalle protagoniste delle opere della scrittrice. Nella fase conclusiva sono state esaminate le opere più recenti di Sylvie Germain pubblicate tra il 2008 e il 2011 in cui l’autrice sembra avvertire la necessità di controbilanciare il peso della «troppa memoria» con una giusta dose di oblio. Sono state inoltre affrontate la questione della responsabilità etica e l’idea di debito nei confronti della memoria familiare e collettiva: la scrittura stessa diventa così per Germain lo strumento attraverso il quale l’autrice assume il ruolo di passeuse de mémoire per le generazioni future.

Infanzie migranti. La narrativa per ragazzi nelle opere di scrittrici indiane residenti nel Regno Unito e in Canada

L’oggetto dell’analisi si situa all’intersezione di diversi ambiti disciplinari: letteratura, scienze dell’educazione, sociologia, psicologia. Nel presente lavoro, viene privilegiata un’analisi tematica della narrativa e la definizione identitaria delle “infanzie migranti” viene declinata seguendo percorsi di lettura che mettano in risalto alcune prospettive ricorrenti nei romanzi. Il corpus letterario selezionato include alcuni romanzi scritti in lingua inglese da sei scrittrici di origine indiana, in particolare Jamila Gavin, Rachna Gilmore, Anjali Banerjee, Rukhsana Khan, Ravinder Randhawa e Meera Syal. Nel primo capitolo si tracciano le premesse teoriche e metodologiche del lavoro, definendo il genere della letteratura per l’infanzia e interrogandoci sulle sue specificità in un contesto postcoloniale qual è quello indiano. Il secondo capitolo è dedicato alla definizione identitaria delle seconde generazioni, in particolar modo di quelle indo-britanniche e indo-canadesi, cui appartengono i protagonisti dei romanzi presi in esame. Nel terzo capitolo viene posta attenzione agli elementi che concorrono alla definizione identitaria dei giovani protagonisti dei romanzi, i quali si interrogano sul loro essere e sull’appartenenza interculturale. I dialoghi intergenerazionali tra i protagonisti e i nonni - o altre figure di guida - permettono alle scrittrici di raccontare la storia dell’India coloniale e della lotta per l’indipendenza dal punto di vista degli esclusi dalla storiografia ufficiale. Nel capitolo conclusivo si argomenta invece come la definizione identitaria si attui per mezzo dello spazio, tramite l’appartenenza ai luoghi, spazi caricati di significato, e per mezzo del viaggio, che può essere reale, immaginario o iniziatico. In tutti i casi, il viaggio porta alla scoperta del Sé, di un’identità ibrida e molteplice da parte dei personaggi.

La salute: un diritto o un lusso?

Il diritto a un minimo decente di assistenza sanitaria – spesso chiamato, più semplicemente, diritto alla salute – fa parte dei cosiddetti diritti di seconda generazione, cioè quelli che richiedono un impegno attivo da parte dello stato per assicurare ad ogni cittadino la possibilità di una vita dignitosa. Il diritto alla salute si trova enunciato nei più importanti documenti internazionali, a partire dalla Dichiarazione universale dei diritti dell’uomo (1948), e nella maggior parte delle costituzioni nazionali, compresa quella italiana. Tuttavia, nel Sud del mondo, la sua applicazione è ostacolata da un gran numero di fattori (povertà, guerre, corruzione politica, ecc.); cosicché la maggior parte degli esseri umani vive in società prive di un sistema sanitario nazionale, cadendo vittima di malattie facilmente curabili o prevenibili. Per affrontare questo problema, la cooperazione sanitaria internazionale ha sperimentato nel tempo due diverse forme di intervento: una incentrata sulla diffusione dell’assistenza sanitaria di base (come raccomandato dalla Conferenza di Alma-Ata del 1978), l’altra sui cosiddetti “programmi verticali”, i quali agiscono su singole malattie o branche della sanità. Nessuno dei due approcci però ha prodotto i risultati sperati. L’Ong italiana Emergency propone un modello di cooperazione sanitaria per molti aspetti innovativo: esso si fonda su progetti autogestiti e totalmente gratuiti (che vanno dalla pediatria alla chirurgia di guerra alla cardiochirurgia) ed è capace di incidere sul tessuto sociale nel quale si inserisce, fino ad influenzare le scelte politiche delle autorità locali. Solamente intervenendo in un modo simile sui determinanti sociali della salute, sembra possibile migliorare realmente lo stato di salute delle popolazioni più povere e garantire così la prima delle condizioni necessarie perché ogni persona abbia la possibilità di vivere una vita decente.

Multiple stellar populations in globular clusters with photometry and low resolution spectroscopy

Our view of Globular Clusters has deeply changed in the last decade. Modern spectroscopic and photometric data have conclusively established that globulars are neither coeval nor monometallic, reopening the issue of the formation of such systems. Their formation is now schematized as a two-step process, during which the polluted matter from the more massive stars of a first generation gives birth, in the cluster innermost regions, to a second generation of stars with the characteristic signature of fully CNO-processed matter. To date, star-to-star variations in abundances of the light elements (C, N, O, Na) have been observed in stars of all evolutionary phases in all properly studied Galactic globular clusters. Multiple or broad evolutionary sequences have also been observed in nearly all the clusters that have been observed with good signal-to-noise in the appropriate photometric bands. The body of evidence suggests that spreads in light-element abundances can be fairly well traced by photometric indices including near ultraviolet passbands, as CNO abundance variations affect mainly wavelengths shorter than ~400 nm owing to the rise of some NH and CN molecular absorption bands. Here, we exploit this property of near ultraviolet photometry to trace internal chemical variations and combined it with low resolution spectroscopy aimed to derive carbon and nitrogen abundances in order to maximize the information on the multiple populations. This approach has been proven to be very effective in (i) detecting multiple population, (ii) characterizing their global properties (i.e., relative fraction of stars, location in the color-magnitude diagram, spatial distribution, and trends with cluster parameters) and (iii) precisely tagging their chemical properties (i.e., extension of the C-N anticorrelation, bimodalities in the N content).

Caratterizzazione citogenetico-molecolare alla diagnosi di pazienti con leucemia mieloide cronica in fase cronica trattati con inibitori delle tirosinchinasi: ruolo prognostico.

L’applicazione della citogenetica convenzionale e molecolare può identificare: Ph-negatività, traslocazioni t(9;22) varianti e alterazioni citogenetiche addizionali (ACA) al cromsoma Ph in pazienti con LMC alla diagnosi. Prima dell’introduzione della terapia con Imatinib, esse mostravano un impatto prognostico negativo o non chiaro. Nel nostro studio, 6 casi di LMC Ph- erano trattati con Imatinib. La FISH identificava 4 casi con riarrangiamento BCR/ABL sul der(9q), 1 sul der(22q) e 1 su entrambi i derivativi. Quattro pazienti (66,7%) raggiungevano la RCgC, 2 fallivano il trattamento e 1 sottoposto a TMO. A causa dello scarso numero di casi, non era possibile nessuna correlazione con la prognosi. Nell’ambito di studi prospettici multicentrici del GIMEMA-WP, abbiamo valutato: traslocazioni varianti e ACA. Dei 559 pazienti arruolati, 30(5%) mostravano traslocazioni varianti, 24 valutabili in FISH: 18(75%) mostravano meccanismo 1-step, 4(16,7%) meccanismo 2-step e 2(8,3%) meccanismo complesso. Abbiamo confermato che le varianti non influenzano la risposta e la sopravvivenza dei pazienti trattati con Imatinib. Dei 378 pazienti valutabili alla diagnosi con citogenetica convenzionale, 21(5,6%) mostravano ACA: 9(43%) avevano la perdita del cromosoma Y, 3(14%) trisomia 8, 2(10%) trisomia 19, 6(28%) altre singole anomalie e 1 cariotipo complesso. La presenza di ACA influenzava la risposta: le RCgC e RMolM erano significativamente più basse rispetto al gruppo senza ACA e le curve di sopravvivenza EFS e FFS non erano significativamente diverse. Le curve di PFS e OS erano sovrapponibili nei due gruppi, per il basso numero di eventi avversi oppure perché alcuni raggiungevano la risposta con TKI di seconda generazione. Le anomalie “major route” mostravano decorso clinico peggiore, ma non è stato possibile determinare l’impatto prognostico in relazione al tipo di alterazione. Pertanto, le ACAs alla diagnosi rivestono un ruolo negativo nella prognosi dei pazienti trattati con Imatinib, che quindi rappresentano una categoria più a rischio per la risposta.

Who can (not) be Greek? Citizenship, Identity and Belonging among youth of sub-Saharan African background in Athens

‘Who can be Greek?’ This was the question posed to the Greek society for the first time before the implementation of the Act 3838 in March 2010 which gave the right to access the Greek citizenship -under specific preconditions- to all children of legal migrants born or schooled in Greece. This change of the Nationality Code in order to include all those children was coincided by the economic crisis resulting into the rise of xenophobia, racism and extreme-right rhetoric. The outcome was the cancellation of the Act 3838 by the State Council in February 2013. Under this particular framework, the notions of identity and belonging formed among the youth of African background in Athens are explored. The ways those youngsters perceive not only themselves but also their peers, their countries of origin and the country they live in, are crucial elements of their self-identification. Researches have shown that the integration of the second generation is highly connected to their legal and social status. However, integration is a rather complex process, influenced and shaped by many variables and multiple factors. It is not linear; therefore, its outcomes are difficult to be predicted. Yet, I argue that citizenship acquisition facilitates the process as it transforms those children from ‘aliens’ to ‘citizens’. How these youngsters are perceived by the majority society and the State is one of the core questions of the research, focusing on the imposed dual ‘otherness’ they are subject to. On the one hand, they have to deal with the ‘otherness’ originating from the migrant status inherited to them by their parents, and on the other with the ‘otherness’ deriving from their different phenotypic characteristics. Race matters and becomes a means of discrimination against youth of African background who are perceived as inassimilable and ‘forever others’.

Experimental Analysis and Numerical Simulation of Quench in Superconducting HTS Tapes and Coils

The quench characteristics of second generation (2 G) YBCO Coated Conductor (CC) tapes are of fundamental importance for the design and safe operation of superconducting cables and magnets based on this material. Their ability to transport high current densities at high temperature, up to 77 K, and at very high fields, over 20 T, together with the increasing knowledge in their manufacturing, which is reducing their cost, are pushing the use of this innovative material in numerous system applications, from high field magnets for research to motors and generators as well as for cables. The aim of this Ph. D. thesis is the experimental analysis and numerical simulations of quench in superconducting HTS tapes and coils. A measurements facility for the characterization of superconducting tapes and coils was designed, assembled and tested. The facility consist of a cryostat, a cryocooler, a vacuum system, resistive and superconducting current leads and signal feedthrough. Moreover, the data acquisition system and the software for critical current and quench measurements were developed. A 2D model was developed using the finite element code COMSOL Multiphysics R . The problem of modeling the high aspect ratio of the tape is tackled by multiplying the tape thickness by a constant factor, compensating the heat and electrical balance equations by introducing a material anisotropy. The model was then validated both with the results of a 1D quench model based on a non-linear electric circuit coupled to a thermal model of the tape, to literature measurements and to critical current and quench measurements made in the cryogenic facility. Finally the model was extended to the study of coils and windings with the definition of the tape and stack homogenized properties. The procedure allows the definition of a multi-scale hierarchical model, able to simulate the windings with different degrees of detail.

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.