Cache-aware development of high integrity real-time systems

Cost, performance and availability considerations are forcing even the most conservative high-integrity embedded real-time systems industry to migrate from simple hardware processors to ones equipped with caches and other acceleration features. This migration disrupts the practices and solutions that industry had developed and consolidated over the years to perform timing analysis. Industry that are confident with the efficiency/effectiveness of their verification and validation processes for old-generation processors, do not have sufficient insight on the effects of the migration to cache-equipped processors. Caches are perceived as an additional source of complexity, which has potential for shattering the guarantees of cost- and schedule-constrained qualification of their systems. The current industrial approach to timing analysis is ill-equipped to cope with the variability incurred by caches. Conversely, the application of advanced WCET analysis techniques on real-world industrial software, developed without analysability in mind, is hardly feasible. We propose a development approach aimed at minimising the cache jitters, as well as at enabling the application of advanced WCET analysis techniques to industrial systems. Our approach builds on:(i) identification of those software constructs that may impede or complicate timing analysis in industrial-scale systems; (ii) elaboration of practical means, under the model-driven engineering (MDE) paradigm, to enforce the automated generation of software that is analyzable by construction; (iii) implementation of a layout optimisation method to remove cache jitters stemming from the software layout in memory, with the intent of facilitating incremental software development, which is of high strategic interest to industry. The integration of those constituents in a structured approach to timing analysis achieves two interesting properties: the resulting software is analysable from the earliest releases onwards - as opposed to becoming so only when the system is final - and more easily amenable to advanced timing analysis by construction, regardless of the system scale and complexity.

Model reduction of stochastic groundwater flow and transport processes

This work presents a comprehensive methodology for the reduction of analytical or numerical stochastic models characterized by uncertain input parameters or boundary conditions. The technique, based on the Polynomial Chaos Expansion (PCE) theory, represents a versatile solution to solve direct or inverse problems related to propagation of uncertainty. The potentiality of the methodology is assessed investigating different applicative contexts related to groundwater flow and transport scenarios, such as global sensitivity analysis, risk analysis and model calibration. This is achieved by implementing a numerical code, developed in the MATLAB environment, presented here in its main features and tested with literature examples. The procedure has been conceived under flexibility and efficiency criteria in order to ensure its adaptability to different fields of engineering; it has been applied to different case studies related to flow and transport in porous media. Each application is associated with innovative elements such as (i) new analytical formulations describing motion and displacement of non-Newtonian fluids in porous media, (ii) application of global sensitivity analysis to a high-complexity numerical model inspired by a real case of risk of radionuclide migration in the subsurface environment, and (iii) development of a novel sensitivity-based strategy for parameter calibration and experiment design in laboratory scale tracer transport.

Da Laodice I a Laodice III: l'orizzonte politico delle regine seleucidi

Questo studio indaga la tradizione storiografica sulle regine seleucidi di III secolo a.C. - da Laodice I fino all’ascesa al trono di Laodice III - alla luce delle testimonianze documentarie. L’intento è stabilire l’orizzonte politico dell’azione delle regine nel momento meno conosciuto e più buio della storia del regno di Siria. Il III secolo seleucidico è infatti un periodo caratterizzato da incertezza nella ricostruzione evenemenziale e nell’analisi delle dinamiche sociopolitiche, soprattutto a causa dell’interesse relativo e limitato delle fonti storiografiche antiche a noi giunte relativamente alle vicende della monarchia seleucidica precedenti l’avvento di Antioco III il Grande. In questo panorama rappresenta un’eccezione il caso di Laodice I, che è al centro di un rilevante numero di testimonianze. Tenendo conto della differente natura delle fonti e della complessità del contesto evenemenziale, non sempre ricostruibile, è stata studiata la figura di Laodice I nell’intento di comprendere il paradigma di regalità femminile stabilito dalle azioni della regina, e quindi l’influenza di tale paradigma sulla generazione seleucide successiva. La ricerca si articola in tre sezioni, legate agli eventi principali del III secolo seleucide che vedono coinvolta la regina. La prima parte è dedicata all’attività di Laodice I dopo il secondo matrimonio di Antioco II con la tolemaica Berenice. La seconda parte riguarda il ruolo di Laodice nei complessi eventi che seguirono la morte del marito Antioco II nel 246 e nella Terza Guerra Siriaca, che vide la regina a fianco del figlio Seleuco II contrapporsi a Tolemeo III e Berenice Sira. La terza sezione si occupa dell’azione di Laodice I nella Guerra Fraterna al fianco di Antioco Ierace contro Seleuco II e Laodice II. Nella conclusione si riflette sull’influenza delle azioni politiche di Laodice I sulla scelta di Antioco III di sposare la cugina Laodice III, prima principessa del Ponto entrata nella dinastia regnante.

Chemical transformations of the pyrene K-region for functional materials

In dieser Arbeit wurde eine neue Methode zur asymmetrischen Substitution der K-Regionen von Pyren entwickelt, auf welcher das Design und die Synthese von neuartigen, Pyren-basierten funktionalen Materialien beruht. Eine Vielzahl von Substitutionsmustern konnte erfolgreich realisiert werden um die Eigenschaften entsprechend dem Verwendungszweck anzupassen. Der polyzyklische aromatische Kohlenwasserstoff (PAK) Pyren setzt sich aus vier Benzolringen in Form einer planaren Raute mit zwei gegenüberliegenden K-Regionen zusammen. Der synthetische Schlüsselschritt dieser Arbeit ist die chemische Transformation der einen K-Region zu einem α-Diketon und der darauffolgenden selektiven Bromierung der zweiten K-Region. Dieser asymmetrisch funktionalisierte Baustein zeichnet sich durch zwei funktionelle Gruppen mit orthogonaler Reaktivität aus und erweitert dadurch das Arsenal der etablierten Pyren Chemie um eine vielseitig einsetzbare Methode. Aufbauend auf diesem synthetischen Zugang wurden fünf wesentliche Konzepte auf dem Weg zu neuen, von Pyren abgeleiteten Materialen verfolgt: (i) Asymmterische Substitution mit elektronenziehenden versus -schiebenden Gruppen. (ii) Darstellung von Pyrenocyaninen durch Anbindung von Pyren mit einer der K-Regionen an das Phthalocyanin Gerüst zur Ausdehnung des π-Systems. (iii) Einführung von Thiophen an die K-Region um halbleitende Eigenschaften zu erhalten. (iv) Symmetrische Annullierung von PAKs wie Benzodithiophen und Phenanthren an beide K Regionen für cove-reiche und dadurch nicht-planare Strukturen. (v) Verwendung des K-Region-funktionalisierten Pyrens als Synthesebaustein für das Peri-Pentacen. Neben der Synthese wurde die Selbstorganisation in der Festphase und an der flüssig/fest Grenzfläche mittels zweidimensionaler Weitwinkel-Röntgenstreuung (2D WAXS) bzw. Rastertunnelmikroskopie (STM) untersucht. Die halbleitenden Eigenschaften wurden in organischen Feld-Effekt Transistoren (OFETs) charakterisiert.

Interactions of gold nanoparticles with polymeric membranes

This thesis focuses on the interactions of nanoparticles with artificial membranes. The synthesis of the block copolymer poly(dimethylsiloxane)-block-poly(2-methyloxazoline) (PDMS-b-PMOXA) is described, as well as the formation of polymersomes in water. These polymersomes act as minimal cell models, consisting of an artificial bilayer membrane only, allowing the study of the interactions between nanoparticles and polymeric membranes. Both spherical and rod-shaped gold nanoparticles (AuNPs) were used in this study and they were characterized using light scattering (PCS), transmission electron microscopy (TEM), UV/Vis spectroscopy, and polarization anisotropy measurements. The polymer grafting on the spherical cores is asymmetric (shell asphericity) but is parallel to the inherent, due to polycrystallinity, core anisotropy, resulting in a characteristic scattering of the AuNPs in PCS.rnInteractions of polymersomes and AuNPs were investigated by PCS, cryo-TEM and UV/Vis. Three possible scenarios upon mixing of polymersomes and AuNPs can be distinguished by using only PCS: (i) no interactions between particles and vesicles, (ii) attachment of the particles to the outer side of the vesicles (decoration), and (iii) uptake of particles into the vesicles. It is shown that all three scenarios are possible, solely depending on the particle’s surface functionalization. In addition, it was revealed that the AuNPs need to be attached to the inner side of the membrane instead of diffusing freely within the vesicle. The present experimental findings essentially help with the understanding of the interactions of nanoparticles with membranes and show that the process of endocytosis can be attributed to physical processes only. rn

Inverse and regular phenyl-azole ligands for luminescent Iridium(III) complexes

In the modern society, light is mostly powered by electricity which lead to a significant increase of the global energy consumption. In order to reduce it, different kinds of electric lamps have been developed over the years; it is now accepted that phosphorescence-based OLEDs offer many advantages over existing light technologies. Iridium complexes are considered excellent candidates for bright materials by virtue of the possibility to easily tune the wavelength of the emitted radiation, by appropriate modifications of the nature of the ligands. It is important to note that the synthesis of Ir(III) blue-emitting complexes is a very challenging goal, because of wide HOMO-LUMO gaps needed for produce a deep blue emission. During my thesis I planned the synthesis of two different series of new Ir(III) heteroleptic complexes, the C and the N series, using cyclometalating ligands containing an increasing number of nitrogens in inverse and regular position. I successfully performed in the synthesis of the required four ligands, i.e. 1-methyl-4-phenyl-1H-imidazole (2), 4-phenyl-1-methyl-1,2,3-triazole (3), 1-phenyl-1H-1,2,3-triazole (6) and 1-phenyl-1H-tetrazole (7), that differ in the number of nitrogens present in the heterocyclic ring and in the position of the phenyl ring. Therefore the cyclometalation of the obtained ligands to get the corresponding Ir(III)-complexes was attempted. I succeeded in the synthesis of two Ir(III)-complexes of the C series, and I carried out various attempts to set up the appropriate reaction conditions to get the remaining desired derivatives. The work is still in progress, and once all the desired complexes will be synthesized and characterized, a correlation between their structure and their emitting properties could be formulated analysing and comparing the photophysical data of the real compounds.

Sexual health of ethnic minority MSM in Britain (MESH project): design and methods

Background Men who have sex with men (MSM) remain the group most at risk of acquiring HIV infection in Britain. HIV prevalence appears to vary widely between MSM from different ethnic minority groups in this country for reasons that are not fully understood. The aim of the MESH project was to examine in detail the sexual health of ethnic minority MSM living in Britain. Methods/Design The main objectives of the MESH project were to explore among ethnic minority MSM living in Britain: (i) sexual risk behaviour and HIV prevalence; (ii) their experience of stigma and discrimination; (iii) disclosure of sexuality; (iv) use of, and satisfaction with sexual health services; (v) the extent to which sexual health services (for treatment and prevention) are aware of the needs of ethnic minority MSM. The research was conducted between 2006 and 2008 in four national samples: (i) ethnic minority MSM living in Britain; (ii) a comparison group of white British MSM living in Britain; (iii) NHS sexual health clinic staff in 15 British towns and cities with significant ethnic minority communities and; (iv) sexual health promotion/HIV prevention service providers. We also recruited men from two "key migrant" groups living in Britain: MSM born in Central or Eastern Europe and MSM born in Central or South America. Internet-based quantitative and qualitative research methods were used. Ethnic minority MSM were recruited through advertisements on websites, in community venues, via informal networks and in sexual health clinics. White and "key migrant" MSM were recruited mostly through Gaydar, one of the most popular dating sites used by gay men in Britain. MSM who agreed to take part completed a questionnaire online. Ethnic minority MSM who completed the online questionnaire were asked if they would be willing to take part in an online qualitative interview using email. Service providers were identified through the British Association of Sexual Health and HIV (BASHH) and the Terrence Higgins Trust (THT) CHAPS partnerships. Staff who agreed to take part were asked to complete a questionnaire online. The online survey was completed by 1241 ethnic minority MSM, 416 men born in South and Central America or Central and Eastern Europe, and 13,717 white British MSM; 67 ethnic minority MSM took part in the online qualitative interview. In addition 364 people working in sexual health clinics and 124 health promotion workers from around Britain completed an online questionnaire. Discussion The findings from this study will improve our understanding of the sexual health and needs of ethnic minority MSM in Britain.

The Contegra bovine jugular vein graft versus the Shelhigh pulmonic porcine graft for reconstruction of the right ventricular outflow tract: a comparative study

Reconstruction of the right ventricular outflow tract plays a major role in congenital cardiac surgery. With the advent of the Contegra bovine jugular vein graft and the Shelhigh pulmonic xenograft, hopes were high that the lack of availability of homografts would be overcome. The present study evaluated both grafts and investigated the influence of known risk factors for premature graft failure.

Comparison of FDG-PET/CT and bone scintigraphy for detection of bone metastases in breast cancer

Bone scintigraphy is the standard procedure for the detection of bone metastases in breast cancer patients. FDG-PET/CT has been reported to be a sensitive tool for tumor staging in different malignant diseases. However, its accuracy for the detection of bone metastases has not been compared to bone scintigraphy.

Comminuted fractures of the radial head and neck: is fixation to the shaft necessary?

Mason type III fractures of the radial head are treated by open reduction and internal fixation, resection or prosthetic joint replacement. When internal fixation is performed, fixation of the radial head to the shaft is difficult and implant-related complications are common. Furthermore, problems of devascularisation of the radial head can result from fixation of the plate to the radial neck. In a small retrospective study, the treatment of Mason type III fractures with fixation of the radial neck in 13 cases (group 2) was compared with 12 cases where no fixation was performed (group 1). The mean clinical and radiological follow-up was four years (1 to 9). The Broberg-Morrey index showed excellent results in both groups. Degenerative radiological changes were seen more frequently in group 2, and removal of the implant was necessary in seven of 13 cases. Post-operative evaluation of these two different techniques revealed similar ranges of movement and functional scores. We propose that anatomical reconstruction of the radial head without metalwork fixation to the neck is preferable, and the outcome is the same as that achieved with the conventional technique. In addition degenerative changes of the elbow joint may develop less frequently, and implant removal is not necessary.

Retrieval of tropospheric water vapour by using spectra of a 22 GHz radiometer

In this paper, we present an approach to retrieve tropospheric water vapour profiles from pressure broadened emission spectra at 22 GHz, measured by a ground based microwave radiometer installed in the south of Bern at 905 m. Classical microwave instruments concentrating on the troposphere observe several channels in the center and the wings of the water vapour line (20–30 Ghz), whereas our retrieval approach uses spectra with a bandwidth of 1 GHz and a high resolution around the center of the 22 GHz water vapour line. The retrieval is sensitive up to 7 km with a vertical resolution of 3–5 km. Comparisons with profiles from operational balloon soundings, performed at Payerne, 40 km away from the radiometer location, showed a good agreement up to 7 km with a correlation of above 0.8. The retrievals shows a wet bias of 10–20% compared to the sounding.

Moving beyond a descriptive aquatic toxicology: the value of biological process and trait information

In order to improve the ability to link chemical exposure to toxicological and ecological effects, aquatic toxicology will have to move from observing what chemical concentrations induce adverse effects to more explanatory approaches, that are concepts which build on knowledge of biological processes and pathways leading from exposure to adverse effects, as well as on knowledge on stressor vulnerability as given by the genetic, physiological and ecological (e.g., life history) traits of biota. Developing aquatic toxicology in this direction faces a number of challenges, including (i) taking into account species differences in toxicant responses on the basis of the evolutionarily developed diversity of phenotypic vulnerability to environmental stressors, (ii) utilizing diversified biological response profiles to serve as biological read across for prioritizing chemicals, categorizing them according to modes of action, and for guiding targeted toxicity evaluation; (iii) prediction of ecological consequences of toxic exposure from knowledge of how biological processes and phenotypic traits lead to effect propagation across the levels of biological hierarchy; and (iv) the search for concepts to assess the cumulative impact of multiple stressors. An underlying theme in these challenges is that, in addition to the question of what the chemical does to the biological receptor, we should give increasing emphasis to the question how the biological receptor handles the chemicals, i.e., through which pathways the initial chemical-biological interaction extends to the adverse effects, how this extension is modulated by adaptive or compensatory processes as well as by phenotypic traits of the biological receptor.

Does pet ownership in infancy lead to asthma or allergy at school age? Pooled analysis of individual participant data from 11 European birth cohorts

Objective To examine the associations between pet keeping in early childhood and asthma and allergies in children aged 6–10 years. Design Pooled analysis of individual participant data of 11 prospective European birth cohorts that recruited a total of over 22,000 children in the 1990s. Exposure definition Ownership of only cats, dogs, birds, rodents, or cats/dogs combined during the first 2 years of life. Outcome definition Current asthma (primary outcome), allergic asthma, allergic rhinitis and allergic sensitization during 6–10 years of age. Data synthesis Three-step approach: (i) Common definition of outcome and exposure variables across cohorts; (ii) calculation of adjusted effect estimates for each cohort; (iii) pooling of effect estimates by using random effects meta-analysis models. Results We found no association between furry and feathered pet keeping early in life and asthma in school age. For example, the odds ratio for asthma comparing cat ownership with “no pets” (10 studies, 11489 participants) was 1.00 (95% confidence interval 0.78 to 1.28) (I2 = 9%; p = 0.36). The odds ratio for asthma comparing dog ownership with “no pets” (9 studies, 11433 participants) was 0.77 (0.58 to 1.03) (I2 = 0%, p = 0.89). Owning both cat(s) and dog(s) compared to “no pets” resulted in an odds ratio of 1.04 (0.59 to 1.84) (I2 = 33%, p = 0.18). Similarly, for allergic asthma and for allergic rhinitis we did not find associations regarding any type of pet ownership early in life. However, we found some evidence for an association between ownership of furry pets during the first 2 years of life and reduced likelihood of becoming sensitized to aero-allergens. Conclusions Pet ownership in early life did not appear to either increase or reduce the risk of asthma or allergic rhinitis symptoms in children aged 6–10. Advice from health care practitioners to avoid or to specifically acquire pets for primary prevention of asthma or allergic rhinitis in children should not be given.

Eugene Onegin As A Bridge Between Worlds: Aleksandr Pushkin As Translator Of The 19Th-Century Russian Experience

In my thesis, I use literary criticism, knowledge of Russian, and elements of translation theory to study the seminal poet of the Russian literary tradition ¿ Aleksandr Pushkin. In his most famous work, Eugene Onegin, Pushkin explores the cultural and linguistic divide in place at the turn of the 19th century in Russia. Pushkin stands on the peripheries of several colliding worlds; never fully committing to any of them, he acts as a translator between various realms of the 19th-century Russian experience. Through his narrator, he adeptly occupies the voices, styles, and modes of expression of various characters, displaying competency in all realms of Russian life. In examining Tatiana, his heroine, the reader witnesses her development as analogous to the author¿s. At the center of the text stands the act of translation itself: as the narrator ¿translates¿ Tatiana¿s love letter from French to Russian, the author-narrator declares his function as a mediator, not only between languages, but also between cultures, literary canons, social classes, and identities. Tatiana, as both main character and the narrator¿s muse, emerges as the most complex figure in the novel, and her language manifests itself as the most direct and capable of sincerity in the novel. The elements of Russian folklore that are incorporated into her language speak to Pushkin¿s appreciation for the rich Russian folklore tradition. In his exaltation of language considered to be ¿common¿, ¿low¿ speech is juxtaposed with its lofty counterpart; along the way, he incorporates myriad foreign borrowings. An active creator of Russia¿s new literary language, Pushkin traverses linguistic boundaries to synthesize a fragmented Russia. In the process, he creates a work so thoroughly tied to language and entrenched in complex cultural traditions that many scholars have argued for its untranslatability.

The Redistribution of Property Rights, Corporate Governance and Company Restructuring after Privatisation"

The project covered the main issues of privatisation, corporate governance and company restructuring after privatisation in Hungary and in the Russian Republic, together with a summary of the broader picture of company-level changes in Central and Eastern Europe, discussing the issues of micro-financial restructuring in the Czech Republic, Hungary, Poland and Slovakia. The two countries selected as the focus of research can be regarded as the two most widely differing cases of the economic transformation in Central and Eastern Europe. Hungary began its transition very early in 1989, while Russia was very late in doing so. Hungary first implemented a series of institutional and systemic reforms before stabilising its public finances, while Russia has struggled with financial stabilisation for years without great success. Company restructuring and the introduction of new forms of governance only began in Russia in the mid-1990s. Hungary opted for "traditional" western methods of privatisation and invited a large amount of foreign direct investment (FDI) while in Russia the bulk of state-owned property was privatised either by free distribution or by a strange blend of ESOP-MBO schemes. FDI in Russia remained modest because of the high risk and uncertainty surrounding economic transactions there. Hungary was a forerunner in privatising public utilities, while Russia has moved cautiously in this area. The group's studies show that the Hungarian economy is now over the "transformation recession" and its economic success is largely due to its successful privatisation and to the dominant participation of foreign investors in company take-overs and in the restructuring process. The study of Russia provides a comprehensive account of the main factors in the so-far modest results in Russian privatisation and economic transformation.