Expressiveness of Concurrent Languages

The aim of this thesis is to go through different approaches for proving expressiveness properties in several concurrent languages. We analyse four different calculi exploiting for each one a different technique. We begin with the analysis of a synchronous language, we explore the expressiveness of a fragment of CCS! (a variant of Milner's CCS where replication is considered instead of recursion) w.r.t. the existence of faithful encodings (i.e. encodings that respect the behaviour of the encoded model without introducing unnecessary computations) of models of computability strictly less expressive than Turing Machines. Namely, grammars of types 1,2 and 3 in the Chomsky Hierarchy. We then move to asynchronous languages and we study full abstraction for two Linda-like languages. Linda can be considered as the asynchronous version of CCS plus a shared memory (a multiset of elements) that is used for storing messages. After having defined a denotational semantics based on traces, we obtain fully abstract semantics for both languages by using suitable abstractions in order to identify different traces which do not correspond to different behaviours. Since the ability of one of the two variants considered of recognising multiple occurrences of messages in the store (which accounts for an increase of expressiveness) reflects in a less complex abstraction, we then study other languages where multiplicity plays a fundamental role. We consider the language CHR (Constraint Handling Rules) a language which uses multi-headed (guarded) rules. We prove that multiple heads augment the expressive power of the language. Indeed we show that if we restrict to rules where the head contains at most n atoms we could generate a hierarchy of languages with increasing expressiveness (i.e. the CHR language allowing at most n atoms in the heads is more expressive than the language allowing at most m atoms, with mof the rewriting rules, several dialects of the calculus can be obtained. We analyse the expressive power of some of these dialects by focusing on decidability and undecidability for problems like reachability and coverability.

Applicability of Process Mining Techniques in Business Environments

This thesis analyses problems related to the applicability, in business environments, of Process Mining tools and techniques. The first contribution is a presentation of the state of the art of Process Mining and a characterization of companies, in terms of their "process awareness". The work continues identifying circumstance where problems can emerge: data preparation; actual mining; and results interpretation. Other problems are the configuration of parameters by not-expert users and computational complexity. We concentrate on two possible scenarios: "batch" and "on-line" Process Mining. Concerning the batch Process Mining, we first investigated the data preparation problem and we proposed a solution for the identification of the "case-ids" whenever this field is not explicitly indicated. After that, we concentrated on problems at mining time and we propose the generalization of a well-known control-flow discovery algorithm in order to exploit non instantaneous events. The usage of interval-based recording leads to an important improvement of performance. Later on, we report our work on the parameters configuration for not-expert users. We present two approaches to select the "best" parameters configuration: one is completely autonomous; the other requires human interaction to navigate a hierarchy of candidate models. Concerning the data interpretation and results evaluation, we propose two metrics: a model-to-model and a model-to-log. Finally, we present an automatic approach for the extension of a control-flow model with social information, in order to simplify the analysis of these perspectives. The second part of this thesis deals with control-flow discovery algorithms in on-line settings. We propose a formal definition of the problem, and two baseline approaches. The actual mining algorithms proposed are two: the first is the adaptation, to the control-flow discovery problem, of a frequency counting algorithm; the second constitutes a framework of models which can be used for different kinds of streams (stationary versus evolving).

Resident angiogenic mesenchymal stem cells from multiorgan donor thoracic aortas

Stem cells are one of the most fascinating areas of biology today, and since the discover of an adult population, i.e., adult Stem Cells (aSCs), they have generated much interest especially for their application potential as a source for cell based regenerative medicine and tissue engineering. aSCs have been found in different tissues including bone marrow, skin, intestine, central nervous system, where they reside in a special microenviroment termed “niche” which regulate the homeostasis and repair of adult tissues. The arterial wall of the blood vessels is much more plastic than ever before believed. Several animal studies have demonstrated the presence of cells with stem cell characteristics within the adult vessels. Recently, it has been also hypothesized the presence of a “vasculogenic zone” in human adult arteries in which a complete hierarchy of resident stem cells and progenitors could be niched during lifetime. Accordingly, it can be speculated that in that location resident mesenchymal stem cells (MSCs) with the ability to differentiate in smooth muscle cells, surrounding pericytes and fibroblasts are present. The present research was aimed at identifying in situ and isolating MSCs from thoracic aortas of young and healthy heart-beating multiorgan donors. Immunohistochemistry performed on fresh and frozen human thoracic aortas demonstrated the presence of the vasculogenic zone between the media and the adventitial layers in which a well preserved plexus of CD34 positive cells was found. These cells expressed intensely HLA-I antigens both before and after cryopreservation and after 4 days of organ cultures remained viable. Following these preliminary results, we succeeded to isolate mesenchymal cells from multi-organ thoracic aortas using a mechanical and enzymatic combined procedure. Cells had phenotypic characteristics of MSC i.e., CD44+, CD90+, CD105+, CD166+, CD34low, CD45- and revealed a transcript expression of stem cell markers, e.g., OCT4, c-kit, BCRP-1, IL6 and BMI-1. As previously documented using bone marrow derived MSCs, resident vascular wall MSCs were able to differentiate in vitro into endothelial cells in the presence of low-serum supplemented with VEGF-A (50 ng/ml) for 7 days. Under the condition described above, cultured cells showed an increased expression of KDR and eNOS, down-regulation of the CD133 transcript, vWF expression as documented by flow cytometry, immunofluorescence, qPCR and TEM. Moreover, matrigel assay revealed that VEGF induced cells were able to form capillary-like structures within 6 hours of seeding. In summary, these findings indicate that thoracic aortas from heart-beating, multi-organ donors are highly suitable for obtaining MSCs with the ability to differentiate in vitro into endothelial cells. Even though their differentiating potential remains to be fully established, it is believed that their angiogenic ability could be a useful property for allogenic use. These cells can be expanded rapidly, providing numbers which are adequate for therapeutic neovascularization; furthermore they can be cryostored in appropriate cell banking facilities for later use.

The port-Hamiltonian framework as a comprehensive approach to model and simulate complex systems

This thesis describes modelling tools and methods suited for complex systems (systems that typically are represented by a plurality of models). The basic idea is that all models representing the system should be linked by well-defined model operations in order to build a structured repository of information, a hierarchy of models. The port-Hamiltonian framework is a good candidate to solve this kind of problems as it supports the most important model operations natively. The thesis in particular addresses the problem of integrating distributed parameter systems in a model hierarchy, and shows two possible mechanisms to do that: a finite-element discretization in port-Hamiltonian form, and a structure-preserving model order reduction for discretized models obtainable from commercial finite-element packages.

Testo e memoria tra semiotica e scienze cognitive: una situazione sperimentale intorno al ricordo di un film

The research project presented in this dissertation is about text and memory. The title of the work is "Text and memory between Semiotics and Cognitive Science: an experimental setting about remembering a movie". The object of the research is the relationship between texts or "textuality" - using a more general semiotic term - and memory. The goal is to analyze the link between those semiotic artifacts that a culture defines as autonomous meaningful objects - namely texts - and the cognitive performance of memory that allows to remember them. An active dialogue between Semiotics and Cognitive Science is the theoretical paradigm in which this research is set, the major intend is to establish a productive alignment between the "theory of text" developed in Semiotics and the "theory of memory" outlined in Cognitive Science. In particular the research is an attempt to study how human subjects remember and/or misremember a film, as a specific case study; in semiotics, films are “cinematographic texts”. The research is based on the production of a corpus of data gained through the qualitative method of interviewing. After an initial screening of a fulllength feature film each participant of the experiment has been interviewed twice, according to a pre-established set of questions. The first interview immediately after the screening: the subsequent, follow-up interview three months from screening. The purpose of this design is to elicit two types of recall from the participants. In order to conduce a comparative inquiry, three films have been used in the experimental setting. Each film has been watched by thirteen subjects, that have been interviewed twice. The corpus of data is then made by seventy-eight interviews. The present dissertation displays the results of the investigation of these interviews. It is divided into six main parts. Chapter one presents a theoretical framework about the two main issues: memory and text. The issue of the memory is introduced through many recherches drown up in the field of Cognitive Science and Neuroscience. It is developed, at the same time, a possible relationship with a semiotic approach. The theoretical debate about textuality, characterizing the field of Semiotics, is examined in the same chapter. Chapter two deals with methodology, showing the process of definition of the whole method used for production of the corpus of data. The interview is explored in detail: how it is born, what are the expected results, what are the main underlying hypothesis. In Chapter three the investigation of the answers given by the spectators starts. It is examined the phenomenon of the outstanding details of the process of remembering, trying to define them in a semiotic way. Moreover there is an investigation of the most remembered scenes in the movie. Chapter four considers how the spectators deal with the whole narrative. At the same time it is examined what they think about the global meaning of the film. Chapter five is about affects. It tries to define the role of emotions in the process of comprehension and remembering. Chapter six presents a study of how the spectators account for a single scene of the movie. The complete work offers a broad perspective about the semiotic issue of textuality, using both a semiotic competence and a cognitive one. At the same time it presents a new outlook on the issue of memory, opening several direction of research.

Costrutti ed Applicazioni di Programmazione Generica in Linguaggi Object-Oriented

Generic programming is likely to become a new challenge for a critical mass of developers. Therefore, it is crucial to refine the support for generic programming in mainstream Object-Oriented languages — both at the design and at the implementation level — as well as to suggest novel ways to exploit the additional degree of expressiveness made available by genericity. This study is meant to provide a contribution towards bringing Java genericity to a more mature stage with respect to mainstream programming practice, by increasing the effectiveness of its implementation, and by revealing its full expressive power in real world scenario. With respect to the current research setting, the main contribution of the thesis is twofold. First, we propose a revised implementation for Java generics that greatly increases the expressiveness of the Java platform by adding reification support for generic types. Secondly, we show how Java genericity can be leveraged in a real world case-study in the context of the multi-paradigm language integration. Several approaches have been proposed in order to overcome the lack of reification of generic types in the Java programming language. Existing approaches tackle the problem of reification of generic types by defining new translation techniques which would allow for a runtime representation of generics and wildcards. Unfortunately most approaches suffer from several problems: heterogeneous translations are known to be problematic when considering reification of generic methods and wildcards. On the other hand, more sophisticated techniques requiring changes in the Java runtime, supports reified generics through a true language extension (where clauses) so that backward compatibility is compromised. In this thesis we develop a sophisticated type-passing technique for addressing the problem of reification of generic types in the Java programming language; this approach — first pioneered by the so called EGO translator — is here turned into a full-blown solution which reifies generic types inside the Java Virtual Machine (JVM) itself, thus overcoming both performance penalties and compatibility issues of the original EGO translator. Java-Prolog integration Integrating Object-Oriented and declarative programming has been the subject of several researches and corresponding technologies. Such proposals come in two flavours, either attempting at joining the two paradigms, or simply providing an interface library for accessing Prolog declarative features from a mainstream Object-Oriented languages such as Java. Both solutions have however drawbacks: in the case of hybrid languages featuring both Object-Oriented and logic traits, such resulting language is typically too complex, thus making mainstream application development an harder task; in the case of library-based integration approaches there is no true language integration, and some “boilerplate code” has to be implemented to fix the paradigm mismatch. In this thesis we develop a framework called PatJ which promotes seamless exploitation of Prolog programming in Java. A sophisticated usage of generics/wildcards allows to define a precise mapping between Object-Oriented and declarative features. PatJ defines a hierarchy of classes where the bidirectional semantics of Prolog terms is modelled directly at the level of the Java generic type-system.

Audiovisivi e Social Networks: il testo e i modi dell'esperienza 2007-2010

The doctoral research project "Audiovisuals and Social Networks: Text and Experiences 2007-2010" is mainly based on the analysis of the international audiovisuals landscape and of the promotional strategies of these products in Social Networks environment. The aim is to understand what kind of changes we can find about the concept of "text", users and marketing. The thesis is focused not just on Social Network marketing but also on new media development, such as Social TV and mobile.

La traduction des textes de théatre. Analyse comparée des réalités contemporaines française et italienne

The aim of the present study is to address contemporary drama translation by comparing two different scenarios, namely France and Italy. For each country, the following areas are described: publications of translated drama texts, their promotion and dissemination, the legal framework concerning copyright in publication and performance contracts. Moreover, the analysis highlights that the translation process of drama texts is part of a working cycle networking different professional figures, such as dramatic authors, directors, actors and publishers. Within this cycle, the translator is in a middle and central position at the same time, a sort of border zone between different contexts, i.e. the source language and culture and the target language and culture. As regards translation-related issues, on the basis of theoretical approaches that can be applied to drama translation, a number of translators’ opinions, statements, positions and practices are compared, thus highlighting an idea of drama translation wavering between translation and adaptation. Drama translators seem to follow these two orientations simultaneously, in compliance with translation ethics and the functional needs of target texts. Such ambivalence is due to the desire and difficulty of translating the specific nature of drama texts, i.e. translating textual elements that are linked, eventually, to stage performance. Indeed, the notion of text or form fidelity is replaced by the notion of fidelity to the theatrical value of a text, in terms of fidelity to its theatrical nature and rhythmical tension. The analysis reveals that drama translators work together with theatre operators, and that in many cases translators are authors, directors or actors themselves. These drama skills enable translators to apply relevant strategies when translating elements that generate rhythm, thus choosing from deleting, reproducing or recreating.

Approccio agli spostamenti per la valutazione della vulnerabilità sismica di telai in conglomerato cementizio armato.

Il presente lavoro ha lo scopo di presentare gli studi e i risultati ottenuti durante l’attività di ricerca svolta sul Displacement-based Assessment (DBA) dei telai in cemento armato. Dopo alcune considerazioni iniziali sul tema della vulnerabilità sismica e sui metodi di analisi e verifica, si procede alla descrizione teorica del metodo. Sono stati analizzati tre casi studio di telai piani, progettati per soli carichi verticali e secondo normative non più in vigore che non prevedevano l’applicazione della gerarchia delle resistenze. I telai considerati, destinati ad abitazione civile, hanno diversa altezza e numero di piani, e diverso numero di campate. Si è proceduto all’applicazione del metodo, alla valutazione della vulnerabilità sismica in base alla domanda in termini di spostamento costituita da uno spettro elastico previsto dall’EC8 e alla validazione dei risultati ottenuti mediante analisi non lineari statiche e dinamiche e mediante l’applicazione dei teoremi dell’Analisi limite dei telai, proposta come procedura alternativa per la determinazione del meccanismo anelastico e della capacità in termini di taglio alla base. In ultimo si è applicata la procedura DBA per la valutazione della vulnerabilità sismica di un edificio scolastico, realizzato tra il 1969 e il 1975 in un sito caratterizzato da una accelerazione di picco orizzontale pari a 0,24g e una probabilità di superamento del 10% in 75 anni.

Monismo e dualismo nei rapporti tra Cedu e ordinamento costituzionale interno. Fonti e processi interpretativi

La tesi analizza i rapporti tra l’ordinamento italiano e la Cedu, in particolare la collocazione della Cedu all’interno del sistema delle fonti alla luce della modifica dell’art. 117, comma 1 Cost. Si tratta di un tema molto dibattuto in dottrina, specialmente a seguito dell’entrata in vigore del Trattato di Lisbona. Questa tematica risulta strettamente connessa al profilo dell’interazione tra la Corte di Strasburgo e la Corte costituzionale e i giudici ordinari. L’analisi del profilo statico concernente lo status della Cedu nel sistema italiano deve quindi essere accompagnata dall’esame del profilo dinamico, relativo al ruolo della giurisprudenza della Corte di Strasburgo nell’esperienza dell’ordinamento nazionale. Entrambi i profili di indagine sono esaminati alla luce delle indicazioni provenienti dalla giurisprudenza della Corte costituzionale, della Corte di Cassazione e della Corte di Strasburgo. Prima di essere esaminate singolarmente, queste tematiche richiedono la preliminare ricognizione dei termini della dicotomia tra i due modelli concettuali di riferimento in tema di rapporti interordinamentali: il monismo e il dualismo. Trasferite nel peculiare contesto del sistema Cedu, tali categorie dogmatiche si arricchiscono di ulteriori profili, che esorbitano dalla sistemazione del rapporto tra fonti. La tenuta dei due paradigmi concettuali, che sono nati ed operano nel contesto della teorica delle fonti, deve essere verificata anche rispetto all’attuale fenomeno della produzione europea di diritto giurisprudenziale ed alla capacità paradigmatica assunta dalla giurisprudenza di Strasburgo. Il diritto e le istituzioni giuridiche tendono ad assumere sempre più sembianze giurisdizionali, generando un’osmosi che porta a trasferire il focus dai rapporti interordinamentali ai rapporti tra giurisprudenze.

Il trattato ‘Practica musice’ di Franchino Gaffurio (1496). Genesi, tradizione del testo, trascrizione interpretativa e traduzione.

La ricerca consiste nell’edizione e traduzione del trattato ‘Practica musice’ di Franchino Gaffurio corredata da apparati critici e storico-contestuali. Si inizia con la biografia dell’autore redatta secondo gli ultimi dati disponibili e si presenta una esposizione del contenuto del trattato con proposte di chiarimenti dei passi più oscuri. Segue quindi uno studio dei cambiamenti intercorsi tra le parti del trattato come trasmesse nei manoscritti preparatori e la sua versione finale a stampa, seguito da una indagine sulle edizioni successive all’editio princeps, con tabelle sulle varianti tra le edizioni. Vengono quindi offerte la trascrizione interpretativa del testo latino del trattato (che può essere considerata la più corretta attualmente disponibile ed è l’unica a riportare numeri di partizione testuale) seguita dalla sua traduzione in italiano, con trascrizione degli esempi musicali. Il trattato, diviso in quattro libri, ha per argomenti rispettivamente il cantus planus e le scale modali gregoriane, la musica misurata e le figure della notazione, l’arte del contrappunto e la più ampia casistica disponibile sulle proporzioni ritmiche.