A study of two Languages for Active Objects with Futures

In computer systems, specifically in multithread, parallel and distributed systems, a deadlock is both a very subtle problem - because difficult to pre- vent during the system coding - and a very dangerous one: a deadlocked system is easily completely stuck, with consequences ranging from simple annoyances to life-threatening circumstances, being also in between the not negligible scenario of economical losses. Then, how to avoid this problem? A lot of possible solutions has been studied, proposed and implemented. In this thesis we focus on detection of deadlocks with a static program analysis technique, i.e. an analysis per- formed without actually executing the program. To begin, we briefly present the static Deadlock Analysis Model devel- oped for coreABS−− in chapter 1, then we proceed by detailing the Class- based coreABS−− language in chapter 2. Then, in Chapter 3 we lay the foundation for further discussions by ana- lyzing the differences between coreABS−− and ASP, an untyped Object-based calculi, so as to show how it can be possible to extend the Deadlock Analysis to Object-based languages in general. In this regard, we explicit some hypotheses in chapter 4 first by present- ing a possible, unproven type system for ASP, modeled after the Deadlock Analysis Model developed for coreABS−−. Then, we conclude our discussion by presenting a simpler hypothesis, which may allow to circumvent the difficulties that arises from the definition of the ”ad-hoc” type system discussed in the aforegoing chapter.

Spectroscopic properties from hybrid QM, MM molecular dynamics simulation

The central aim of this thesis work is the application and further development of a hybrid quantum mechanical/molecular mechanics (QM/MM) based approach to compute spectroscopic properties of molecules in complex chemical environments from electronic structure theory. In the framework of this thesis, an existing density functional theory implementation of the QM/MM approach is first used to calculate the nuclear magnetic resonance (NMR) solvent shifts of an adenine molecule in aqueous solution. The findings show that the aqueous solvation with its strongly fluctuating hydrogen bond network leads to specific changes in the NMR resonance lines. Besides the absolute values, also the ordering of the NMR lines changes under the influence of the solvating water molecules. Without the QM/MM scheme, a quantum chemical calculation could have led to an incorrect assignment of these lines. The second part of this thesis describes a methodological improvement of the QM/MM method that is designed for cases in which a covalent chemical bond crosses the QM/MM boundary. The development consists in an automatized protocol to optimize a so-called capping potential that saturates the electronic subsystem in the QM region. The optimization scheme is capable of tuning the parameters in such a way that the deviations of the electronic orbitals between the regular and the truncated (and "capped") molecule are minimized. This in turn results in a considerable improvement of the structural and spectroscopic parameters when computed with the new optimized capping potential within the QM/MM technique. This optimization scheme is applied and benchmarked on the example of truncated carbon-carbon bonds in a set of small test molecules. It turns out that the optimized capping potentials yield an excellent agreement of NMR chemical shifts and protonation energies with respect to the corresponding full molecules. These results are very promising, so that the application to larger biological complexes will significantly improve the reliability of the prediction of the related spectroscopic properties.

Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development

Mainstream hardware is becoming parallel, heterogeneous, and distributed on every desk, every home and in every pocket. As a consequence, in the last years software is having an epochal turn toward concurrency, distribution, interaction which is pushed by the evolution of hardware architectures and the growing of network availability. This calls for introducing further abstraction layers on top of those provided by classical mainstream programming paradigms, to tackle more effectively the new complexities that developers have to face in everyday programming. A convergence it is recognizable in the mainstream toward the adoption of the actor paradigm as a mean to unite object-oriented programming and concurrency. Nevertheless, we argue that the actor paradigm can only be considered a good starting point to provide a more comprehensive response to such a fundamental and radical change in software development. Accordingly, the main objective of this thesis is to propose Agent-Oriented Programming (AOP) as a high-level general purpose programming paradigm, natural evolution of actors and objects, introducing a further level of human-inspired concepts for programming software systems, meant to simplify the design and programming of concurrent, distributed, reactive/interactive programs. To this end, in the dissertation first we construct the required background by studying the state-of-the-art of both actor-oriented and agent-oriented programming, and then we focus on the engineering of integrated programming technologies for developing agent-based systems in their classical application domains: artificial intelligence and distributed artificial intelligence. Then, we shift the perspective moving from the development of intelligent software systems, toward general purpose software development. Using the expertise maturated during the phase of background construction, we introduce a general-purpose programming language named simpAL, which founds its roots on general principles and practices of software development, and at the same time provides an agent-oriented level of abstraction for the engineering of general purpose software systems.

Statistical analysis of written languages

La tesi presenta una serie di risultati dell'analisi quantitativa sulla linguistica. Inizialmente sono studiate due fra le leggi empiriche più famose di questo campo, le leggi di Zipf e Heaps, e vengono esposti vari modelli sullo sviluppo del linguaggio. Nella seconda parte si giunge alla discussione di risultati più specifici sulla presenza di fenomeni di burstiness e di correlazioni a lungo raggio nei testi. Tutti questi studi teorici sono affiancati da analisi sperimentali, svolte utilizzando varie traduzioni del libro "Guerra e pace" di Leo Tolstoj e concentrate principalmente sulle eventuali differenze riscontrabili tra le diverse lingue.

Bioinspired fabrication of biosilica-based bone substitution materials

Until today, autogenic bone grafts from various donor regions represent the gold standard in the field of bone reconstruction, providing both osteoinductive and osteoconductive characteristics. However, due to low availability and a disequilibrium between supply and demand, the risk of disease transfer and morbidity, usually associated with autogeneic bone grafts, the development of biomimic materials with structural and chemical properties similar to those of natural bone have been extensively studied. So far,rnonly a few synthetic materials, so far, have met these criteria, displaying properties that allow an optimal bone reconstitution. Biosilica is formed enzymatically under physiological-relevant conditions (temperature and pH) via silicatein (silica protein), an enzyme that was isolated from siliceous sponges, cloned, and prepared in a recombinant way, retaining its catalytic activity. It is biocompatible, has some unique mechanical characteristics, and comprises significant osteoinductive activity.rnTo explore the application of biosilica in the fields of regenerative medicine,rnsilicatein was encapsulated, together with its substrate sodium metasilicate, into poly(D,L-lactide)/polyvinylpyrrolidone(PVP)-based microspheres, using w/o/wrnmethodology with solvent casting and termed Poly(D,L-lactide)-silicatein silicacontaining-microspheres [PLASSM]. Both silicatein encapsulation efficiency (40%) and catalytic activity retention upon polymer encapsulation were enhanced by addition of an essential pre-emulsifying step using PVP. Furthermore, the metabolic stability, cytoxicity as well as the kinetics of silicatein release from the PLASSM were studied under biomimetic conditions, using simulated body fluid. As a solid support for PLASSM, a polyvinylpyrrolidone/starch/Na2HPO4-based matrix (termed plastic-like filler matrix containing silicic acid [PMSA]) was developed and its chemical and physical properties determined. Moreover, due to the non-toxicity and bioinactivity of the PMSA, it is suggested that PMSA acts as osteoconductive material. Both components, PLASSM and PMSA, when added together, form arnbifunctional 2-component implant material, that is (i)non-toxic(biocompatible), (ii)moldable, (iii) self-hardening at a controlled and clinically suitable rate to allows a tight insertion into any bone defect (iv) biodegradable, (v)forms a porous material upon exposure to body biomimetic conditions, and (vi)displays both osteoinductive (silicatein)and osteoconductive (PMSA) properties.rnPreliminary in vivo experiments were carried out with rabbit femurs, by creatingrnartificial bone defects that were subsequently treated with the bifunctional 2-component implant material. After 9 weeks of implantation, both computed tomography (CT) and morphological analyses showed complete resorption of the implanted material, concurrent with complete bone regeneration. The given data can be considered as a significant contribution to the successful introduction of biosilica-based implants into the field of bone substitution surgery.

Extending Implicit Computational Complexity and Abstract Machines to Languages with Control

The Curry-Howard isomorphism is the idea that proofs in natural deduction can be put in correspondence with lambda terms in such a way that this correspondence is preserved by normalization. The concept can be extended from Intuitionistic Logic to other systems, such as Linear Logic. One of the nice conseguences of this isomorphism is that we can reason about functional programs with formal tools which are typical of proof systems: such analysis can also include quantitative qualities of programs, such as the number of steps it takes to terminate. Another is the possiblity to describe the execution of these programs in terms of abstract machines. In 1990 Griffin proved that the correspondence can be extended to Classical Logic and control operators. That is, Classical Logic adds the possiblity to manipulate continuations. In this thesis we see how the things we described above work in this larger context.

The languages of postcolonial ireland and their potential for cultural expression

Ireland is a country in which two languages are spoken: English and Irish. This thesis analyzes the historical relationship between the languages, the cultural codes and meanings attached to each of them, as well as how much of the culture of its speakers each is able to carry. Beyond that, the influence the two languages have exercised on one another and their mutual entwinement is taken into closer examination.

Schriftlicher Text im Film und seine Übersetzung : die Inserts der BBC-Serie Sherlock (2010-12) ; aus der Perspektive von Untertiteltheorie, Comictheorie und Translationspraxis

Die BBC-Serie SHERLOCK war 2011 eine der meistexportierten Fernsehproduktionen Großbritanniens und wurde weltweit in viele Sprachen übersetzt. Eine der Herausforderungen bei der Übersetzung stellen die Schrifteinblendungen der Serie (kurz: Inserts) dar. Die Inserts versprachlichen die Gedanken des Protagonisten, bilden schriftliche und digitale Kommunikation ab und zeichnen sich dabei durch ihre visuelle Auffälligkeit und teilweise als einzige Träger sprachlicher Kommunikation aus, womit sie zum wichtigen ästhetischen und narrativen Mittel in der Serie werden. Interessanterweise sind in der Übersetztung alle stilistischen Eigenschaften der Original-Inserts erhalten. In dieser Arbeit wird einerseits untersucht, wie Schrifteinblendungen im Film theoretisch beschrieben werden können, und andererseits, was sie in der Praxis so übersetzt werden können, wie es in der deutschen Version von Sherlock geschah. Zur theoretischen Beschreibung werden zunächst die Schrifteinblendungen in Sherlock Untertitelungsnormen anhand relevanter grundlegender semiotischer Dimensionen gegenübergestellt. Weiterhin wird das Verhältnis zwischen Schrifteinblendungen und Filmbild erkundet. Dazu wird geprüft, wie gut verschiedene Beschreibungsansätze zu Text-Bild-Verhältnissen aus der Sprachwissenschaft, Comicforschung, Übersetzungswissenschaft und Typografie die Einblendungen in Sherlock erklären können. Im praktischen Teil wird die Übersetzung der Einblendungen beleuchtet. Der Übersetzungsprozess bei der deutschen Version wird auf Grundlage eines Experteninterviews mit dem Synchronautor der Serie rekonstruiert, der auch für die Formulierung der Inserts zuständig war. Abschließend werden spezifische Übersetzungsprobleme der Inserts aus der zweiten Staffel von SHERLOCK diskutiert. Es zeigt sich, dass Untertitelungsnormen zur Beschreibung von Inserts nicht geeignet sind, da sie in Dimensionen wie Position, grafische Gestaltung, Animation, Soundeffekte, aber auch Timing stark eingeschränkt sind. Dies lässt sich durch das historisch geprägte Verständnis von Untertiteln erklären, die als möglichst wenig störendes Beiwerk zum fertigen Filmbild und -ablauf (notgedrungen) hinzugefügt werden, wohingegen für die Inserts in SHERLOCK teilweise sogar ein zentraler Platz in der Bild- und Szenenkomposition bereits bei den Dreharbeiten vorgesehen wurde. In Bezug auf Text-Bild-Verhältnisse zeigen sich die größten Parallelen zu Ansätzen aus der Comicforschung, da auch dort schriftliche Texte im Bild eingebettet sind anstatt andersherum. Allerdings sind auch diese Ansätze zur Beschreibung von Bewegung und Ton unzureichend. Die Erkundung der Erklärungsreichweite weiterer vielversprechender Konzepte, wie Interface und Usability, bleibt ein Ziel für künftige Studien. Aus dem Experteninterview lässt sich schließen, dass die Übersetzung von Inserts ein neues, noch unstandardisiertes Verfahren ist, in dem idiosynkratische praktische Lösungen zur sprachübergreifenden Kommunikation zwischen verschiedenen Prozessbeteiligten zum Einsatz kommen. Bei hochqualitative Produktionen zeigt ist auch für die ersetzende Insertübersetzung der Einsatz von Grafikern unerlässlich, zumindest für die Erstellung neuer Inserts als Übersetzungen von gefilmtem Text (Display). Hierbei sind die theoretisch möglichen Synergien zwischen Sprach- und Bildexperten noch nicht voll ausgeschöpft. Zudem zeigt sich Optimierungspotential mit Blick auf die Bereitstellung von sorgfältiger Dokumentation zur ausgangssprachlichen Version. Diese wäre als Referenzmaterial für die Übersetzung insbesondere auch für Zwecke der internationalen Qualitätssicherung relevant. Die übersetzten Inserts in der deutschen Version weisen insgesamt eine sehr hohe Qualität auf. Übersetzungsprobleme ergeben sich für das genretypische Element der Codes, die wegen ihrer Kompaktheit und multiplen Bezügen zum Film eine Herausforderung darstellen. Neben weiteren bekannten Übersetzungsproblemen wie intertextuellen Bezügen und Realia stellt sich immer wieder die Frage, wieviel der im Original dargestellten Insert- und Displaytexte übersetzt werden müssen. Aus Gründen der visuellen Konsistenz wurden neue Inserts zur Übersetzung von Displays notwendig. Außerdem stellt sich die Frage insbesondere bei Fülltexten. Sie dienen der Repräsentation von Text und der Erweiterung der Grenzen der fiktiv dargestellten Welt, sind allerdings mit hohem Übersetzungsaufwand bei minimaler Bedeutung für die Handlung verbunden.

Regular and exact categories

Lo scopo del lavoro è quello di presentare alcune proprietà di base delle categorie regolari ed esatte nel contesto della teoria delle categoria algebrica.

Acknowledging linguistic diversity in a multicultural society: the issue of indigenous languages in Colombia.

Nowadays, modern society is gradually becoming multicultural. However, only in the last few years awareness on its importance has been raised. In the case of Colombia, multiculturalism has existed since the pre-Columbian period and today there are more than 80 ethnic groups and 65 indigenous languages in the country. The aim of this work is to illustrate the status of indigenous languages in Colombia and to enlighten about the importance of recognizing, protecting and strengthening the use of these native languages. Subsequent to this, it will be point out that linguistic diversity should be considered a resource and not a barrier to achieve unity in diversity. Finally, ethno-education will be presented as an adequate educational program that may guarantee an equal linguistic representation in the country.

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.

Individualized seminal vesicle sparing cystoprostatectomy combined with ileal orthotopic bladder substitution achieves good functional results

We review the functional and oncologic outcomes of seminal vesicle and prostate capsule sparing cystectomy combined with ileal orthotopic bladder substitution.

Do patients benefit from routine follow-up to detect recurrences after radical cystectomy and ileal orthotopic bladder substitution?

The need for and intensity of follow-up to detect disease recurrence after radical cystectomy (RC) for transitional cell carcinoma (TCC) remains a matter for debate.

Uptake of regular chlamydia testing by U.S. women: a longitudinal study

Background Routine chlamydia screening is a recommended preventive intervention for sexually active women aged ≤25 years in the U.S. but rates of regular uptake are not known. Purpose This study aimed to examine rates of annual chlamydia testing and factors associated with repeat testing in a population of U.S. women. Methods Women aged 15–25 years at any time from January 1, 2002, to December 31, 2006 who were enrolled in 130 commercial health plans were included. Data relating to chlamydia tests were analyzed in 2009. Chlamydia testing rates (per 100 woman-years) by age and rates of repeated annual testing were estimated. Poisson regression was used to examine the effects of age and previous testing on further chlamydia testing within the observation period. Results In total, 2,632,365 women were included. The chlamydia testing rate over the whole study period was 13.6 per 100 woman years after adjusting for age-specific sexual activity; 8.5 (95% CI=6.0, 12.3) per 100 woman-years in those aged 15 years; and 17.7 (95% CI=17.1, 18.9) in those aged 25 years. Among women enrolled for the entire 5-year study period, 25.9% had at least one test but only 0.1% had a chlamydia test every year. Women tested more than once and older women were more likely to be tested again in the observation period. Conclusions The low rates of regular annual chlamydia testing do not comply with national recommendations and would not be expected to have a major impact on the control of chlamydia infection at the population level.