Wh plus missing-E-T signature from gaugino pair production at the LHC

In SUSY models with heavy squarks and gaugino mass unification, the gaugino pair production reaction pp -> (W) over tilde (+/-)(1)(Z) over tilde (2) dominates gluino pair production for m (g) over tilde less than or similar to 1 TeV at LHC with root s = 14 TeV (LHC14). For this mass range, the two-body decays (W) over tilde (1) -> W (Z) over tilde (1) and (Z) over tilde (2) -> h (Z) over tilde (1) are expected to dominate the chargino and neutralino branching fractions. By searching for lb (b) over tilde + is not an element of(T) events from (W) over tilde (+/-)(1)Z(2) production, we show that LHC14 with 100 fb(-1) of integrated luminosity becomes sensitive to chargino masses in the range m((W) over tilde1) similar to 450-550 GeV corresponding to m (g) over tilde similar to 1.5-2 TeV in models with gaugino mass unification. For 10(3) fb(-1), LHC14 is sensitive to the Wh channel for m((W) over tilde1) similar to 300-800 GeV, corresponding to m (g) over tilde similar to 1-2.8 TeV, which is comparable to the reach for gluino pair production followed by cascade decays. The Wh + is not an element of(T) search channel opens up a new complementary avenue for SUSY searches at LHC, and serves to point to SUSYas the origin of any new physics discovered via multijet and multilepton + is not an element of(T) channels.

A UML profile for the OBO relation ontology

Background: Ontologies have increasingly been used in the biomedical domain, which has prompted the emergence of different initiatives to facilitate their development and integration. The Open Biological and Biomedical Ontologies (OBO) Foundry consortium provides a repository of life-science ontologies, which are developed according to a set of shared principles. This consortium has developed an ontology called OBO Relation Ontology aiming at standardizing the different types of biological entity classes and associated relationships. Since ontologies are primarily intended to be used by humans, the use of graphical notations for ontology development facilitates the capture, comprehension and communication of knowledge between its users. However, OBO Foundry ontologies are captured and represented basically using text-based notations. The Unified Modeling Language (UML) provides a standard and widely-used graphical notation for modeling computer systems. UML provides a well-defined set of modeling elements, which can be extended using a built-in extension mechanism named Profile. Thus, this work aims at developing a UML profile for the OBO Relation Ontology to provide a domain-specific set of modeling elements that can be used to create standard UML-based ontologies in the biomedical domain. Results: We have studied the OBO Relation Ontology, the UML metamodel and the UML profiling mechanism. Based on these studies, we have proposed an extension to the UML metamodel in conformance with the OBO Relation Ontology and we have defined a profile that implements the extended metamodel. Finally, we have applied the proposed UML profile in the development of a number of fragments from different ontologies. Particularly, we have considered the Gene Ontology (GO), the PRotein Ontology (PRO) and the Xenopus Anatomy and Development Ontology (XAO). Conclusions: The use of an established and well-known graphical language in the development of biomedical ontologies provides a more intuitive form of capturing and representing knowledge than using only text-based notations. The use of the profile requires the domain expert to reason about the underlying semantics of the concepts and relationships being modeled, which helps preventing the introduction of inconsistencies in an ontology under development and facilitates the identification and correction of errors in an already defined ontology.

Gestão do empréstimo unificado nas bibliotecas da Universidade de São Paulo

Apresenta a implantação do empréstimo unificado nas Bibliotecas do Sistema Integrado de Bibliotecas da Universidade de São Paulo (SIBiUSP), coordenado pelo Grupo de Gestão do Empréstimo Unificado. Introduz o cenário inicial das bibliotecas da Universidade, destacando a autonomia para definir políticas locais. Descreve as iniciativas isoladas que culminaram com unificação da política do empréstimo utilizada por todas as bibliotecas. Estabelece comparação entre os procedimentos adotados antes e depois da implantação e conclui relatando os benefícios obtidos pelos 138 mil usuários das bibliotecas USP e na padronização de procedimentos e rotinas adotadas pelas bibliotecas em seus 1,7 milhões de empréstimos domiciliares.

Essays on the political economy of European integration

Recently, a rising interest in political and economic integration/disintegration issues has been developed in the political economy field. This growing strand of literature partly draws on traditional issues of fiscal federalism and optimum public good provision and focuses on a trade-off between the benefits of centralization, arising from economies of scale or externalities, and the costs of harmonizing policies as a consequence of the increased heterogeneity of individual preferences in an international union or in a country composed of at least two regions. This thesis stems from this strand of literature and aims to shed some light on two highly relevant aspects of the political economy of European integration. The first concerns the role of public opinion in the integration process; more precisely, how economic benefits and costs of integration shape citizens' support for European Union (EU) membership. The second is the allocation of policy competences among different levels of government: European, national and regional. Chapter 1 introduces the topics developed in this thesis by reviewing the main recent theoretical developments in the political economy analysis of integration processes. It is structured as follows. First, it briefly surveys a few relevant articles on economic theories of integration and disintegration processes (Alesina and Spolaore 1997, Bolton and Roland 1997, Alesina et al. 2000, Casella and Feinstein 2002) and discusses their relevance for the study of the impact of economic benefits and costs on public opinion attitude towards the EU. Subsequently, it explores the links existing between such political economy literature and theories of fiscal federalism, especially with regard to normative considerations concerning the optimal allocation of competences in a union. Chapter 2 firstly proposes a model of citizens’ support for membership of international unions, with explicit reference to the EU; subsequently it tests the model on a panel of EU countries. What are the factors that influence public opinion support for the European Union (EU)? In international relations theory, the idea that citizens' support for the EU depends on material benefits deriving from integration, i.e. whether European integration makes individuals economically better off (utilitarian support), has been common since the 1970s, but has never been the subject of a formal treatment (Hix 2005). A small number of studies in the 1990s have investigated econometrically the link between national economic performance and mass support for European integration (Eichenberg and Dalton 1993; Anderson and Kalthenthaler 1996), but only making informal assumptions. The main aim of Chapter 2 is thus to propose and test our model with a view to providing a more complete and theoretically grounded picture of public support for the EU. Following theories of utilitarian support, we assume that citizens are in favour of membership if they receive economic benefits from it. To develop this idea, we propose a simple political economic model drawing on the recent economic literature on integration and disintegration processes. The basic element is the existence of a trade-off between the benefits of centralisation and the costs of harmonising policies in presence of heterogeneous preferences among countries. The approach we follow is that of the recent literature on the political economy of international unions and the unification or break-up of nations (Bolton and Roland 1997, Alesina and Wacziarg 1999, Alesina et al. 2001, 2005a, to mention only the relevant). The general perspective is that unification provides returns to scale in the provision of public goods, but reduces each member state’s ability to determine its most favoured bundle of public goods. In the simple model presented in Chapter 2, support for membership of the union is increasing in the union’s average income and in the loss of efficiency stemming from being outside the union, and decreasing in a country’s average income, while increasing heterogeneity of preferences among countries points to a reduced scope of the union. Afterwards we empirically test the model with data on the EU; more precisely, we perform an econometric analysis employing a panel of member countries over time. The second part of Chapter 2 thus tries to answer the following question: does public opinion support for the EU really depend on economic factors? The findings are broadly consistent with our theoretical expectations: the conditions of the national economy, differences in income among member states and heterogeneity of preferences shape citizens’ attitude towards their country’s membership of the EU. Consequently, this analysis offers some interesting policy implications for the present debate about ratification of the European Constitution and, more generally, about how the EU could act in order to gain more support from the European public. Citizens in many member states are called to express their opinion in national referenda, which may well end up in rejection of the Constitution, as recently happened in France and the Netherlands, triggering a European-wide political crisis. These events show that nowadays understanding public attitude towards the EU is not only of academic interest, but has a strong relevance for policy-making too. Chapter 3 empirically investigates the link between European integration and regional autonomy in Italy. Over the last few decades, the double tendency towards supranationalism and regional autonomy, which has characterised some European States, has taken a very interesting form in this country, because Italy, besides being one of the founding members of the EU, also implemented a process of decentralisation during the 1970s, further strengthened by a constitutional reform in 2001. Moreover, the issue of the allocation of competences among the EU, the Member States and the regions is now especially topical. The process leading to the drafting of European Constitution (even if then it has not come into force) has attracted much attention from a constitutional political economy perspective both on a normative and positive point of view (Breuss and Eller 2004, Mueller 2005). The Italian parliament has recently passed a new thorough constitutional reform, still to be approved by citizens in a referendum, which includes, among other things, the so called “devolution”, i.e. granting the regions exclusive competence in public health care, education and local police. Following and extending the methodology proposed in a recent influential article by Alesina et al. (2005b), which only concentrated on the EU activity (treaties, legislation, and European Court of Justice’s rulings), we develop a set of quantitative indicators measuring the intensity of the legislative activity of the Italian State, the EU and the Italian regions from 1973 to 2005 in a large number of policy categories. By doing so, we seek to answer the following broad questions. Are European and regional legislations substitutes for state laws? To what extent are the competences attributed by the European treaties or the Italian Constitution actually exerted in the various policy areas? Is their exertion consistent with the normative recommendations from the economic literature about their optimum allocation among different levels of government? The main results show that, first, there seems to be a certain substitutability between EU and national legislations (even if not a very strong one), but not between regional and national ones. Second, the EU concentrates its legislative activity mainly in international trade and agriculture, whilst social policy is where the regions and the State (which is also the main actor in foreign policy) are more active. Third, at least two levels of government (in some cases all of them) are significantly involved in the legislative activity in many sectors, even where the rationale for that is, at best, very questionable, indicating that they actually share a larger number of policy tasks than that suggested by the economic theory. It appears therefore that an excessive number of competences are actually shared among different levels of government. From an economic perspective, it may well be recommended that some competences be shared, but only when the balance between scale or spillover effects and heterogeneity of preferences suggests so. When, on the contrary, too many levels of government are involved in a certain policy area, the distinction between their different responsibilities easily becomes unnecessarily blurred. This may not only leads to a slower and inefficient policy-making process, but also risks to make it too complicate to understand for citizens, who, on the contrary, should be able to know who is really responsible for a certain policy when they vote in national,local or European elections or in referenda on national or European constitutional issues.

Memory hierarchy and data communication in heterogeneous reconfigurable SoCs

The miniaturization race in the hardware industry aiming at continuous increasing of transistor density on a die does not bring respective application performance improvements any more. One of the most promising alternatives is to exploit a heterogeneous nature of common applications in hardware. Supported by reconfigurable computation, which has already proved its efficiency in accelerating data intensive applications, this concept promises a breakthrough in contemporary technology development. Memory organization in such heterogeneous reconfigurable architectures becomes very critical. Two primary aspects introduce a sophisticated trade-off. On the one hand, a memory subsystem should provide well organized distributed data structure and guarantee the required data bandwidth. On the other hand, it should hide the heterogeneous hardware structure from the end-user, in order to support feasible high-level programmability of the system. This thesis work explores the heterogeneous reconfigurable hardware architectures and presents possible solutions to cope the problem of memory organization and data structure. By the example of the MORPHEUS heterogeneous platform, the discussion follows the complete design cycle, starting from decision making and justification, until hardware realization. Particular emphasis is made on the methods to support high system performance, meet application requirements, and provide a user-friendly programmer interface. As a result, the research introduces a complete heterogeneous platform enhanced with a hierarchical memory organization, which copes with its task by means of separating computation from communication, providing reconfigurable engines with computation and configuration data, and unification of heterogeneous computational devices using local storage buffers. It is distinguished from the related solutions by distributed data-flow organization, specifically engineered mechanisms to operate with data on local domains, particular communication infrastructure based on Network-on-Chip, and thorough methods to prevent computation and communication stalls. In addition, a novel advanced technique to accelerate memory access was developed and implemented.

Pasta secca e identità nazionale. Note di storia dell'alimentazione

In the wide range of data that the nutrition subject offers to the historical observation, this investigation focuses on one of the functions that food serves in the social context: that is, to signify cultural identity. In this context, we will analyse the ways in which industrially produced pasta has come to its status as one of the symbolic forms of twentieth-century Italian food, contributing to a sense of social identity that forms part of the process of nation-building developed during the XX century. The nature of the relationship between pasta and Italian food is analysed for a period of almost a century (1886-1984) through a variety of different sources: government enquiries, cookery books, gastronomic guides and menus of official dinners. The assemblage of such documents in one study allows investigation of certain themes throughout a wide range of gastronomical cultures active within the national borders. In this way, links are made between the production, adoption, reception and dissemination of the ingredients and Italian Unification.This method has made it possible to restore one possible form of historical knowledge of twentieth-century gastronomy and of the experiences by which it was influenced.

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

Vergleichende Phylogenie der Gimpel (Aves: Fringillidae: Pyrrhula Brisson, 1760)

Mit dieser Arbeit wird am Beispiel der Gimpel der Gattung Pyrrhula (Aves: Fringillidae) eine vergleichende phylogenetische Methodik angewandt. Der dafür gewählte Untersuchungsansatz beinhaltet v.a. molekulargenetische und morphologische Methoden, deren Ergebnisse vor dem biogeographischen Hintergrund der Gattung analysiert werden. Diese Arbeit bestätigt die traditionelle Abgrenzung der Gimpel gegenüber den anderen Formen der Finkenfamilie. Die Gattung stellt eine monophyletische Gruppe dar und ist sowohl anhand molekulargenetischer als auch morphologischer Merkmale hervorragend umgrenzbar. Eine Vereinigung mit der Schwestergattung Pinicola ist demgegenüber nicht gerechtfertigt. Die mit klassischen Untersuchungsverfahren bestimmten Gruppierungen der Gattung lassen sich auch mit modernen Methoden bestätigen. Pyrrhula besteht aus drei Hauptverwandtschaftsgruppen: „Südostasiatische Gimpel“ (P. nipalensis und P. leucogenis), „Himalayagimpel“ (P. aurantiaca, P. erythaca, P. erythrocephala) und „Eurasische Gimpel“ (P. pyrrhula s.l.). Innerhalb von P. pyrrhula s.l. lassen sich drei genetisch und morphologisch unterschiedlich differenzierte Untergruppierungen mit eigenständige Merkmalskombinationen ausmachen: P. (p.) murina, P. (p.) cineracea und P. (p.) griseiventris. Das Entstehungszentrum von Pyrrhula befand sich vermutlich im südöstlichen Asien. Anhand der molekulargenetischen und biogeographischen Daten lassen sich ungefähre Ausbreitungs- und Diversifizierungsprozesse datieren. Vom Entstehungszentrum ging eine präpleistozäne Ausbreitungswelle aus, die die Aufspaltung der Stammlinienvertreter der Südostasiatischen Gimpel und später die der Himalayagimpel-Stammlinie zur Folge hatten. Etwa zeitgleich begann die Ausbreitung der Vorfahren der Eurasischen Gimpel bis ins westliche Südeuropa. Im frühen Pleistozän spalteten sich die Vorläufer des rezenten P. aurantica ab, gefolgt von der Trennung der südostasiatischen Stammlinie in die Vorfahren von P. nipalensis und P. leucogenis. Daraufhin folgten rasche spätpleistozäne Ausbreitungen und Diversifizierungen, die das Überdauern von Gimpeln in südostchinesischen bzw. mediterranen Glazialrefugien nahelegen. Dabei trennten sich die Stammlinien von P. erythrocephala und P. erythaca ungefähr gleichzeitig mit jenen der Stammlinien von P. pyrrhula s.str., P. (p.) murina und P. (p.) griseiventris. Die P. (p.) cineracea-Stammlinie folgte wiederum etwas später. Die Vorläufer der heutigen P. pyrrhula s.str. nahmen im späten Pleistozän mehrfach ostwärts gerichtete Ausbreitungen vor, während derer sie sich über weite Teile Eurasiens bis nach Kamtschatka verbreiteten. Die morphologischen Differenzierungen der einzelnen Formen wurden wahrscheinlich stark durch die geographischen Verhältnisse beeinflusst. Neben Isolationseffekten auf Inseln (murina) spielten vermutlich auch pleistozäne Refugialgebiete der Mandschurei und Japans für die Entstehung der heutigen griseiventris und das nordmongolische Refugium für cineracea eine große Rolle. Der gefiedermorphologische Geschlechtsmonomorphismus von P. nipalensis und P. leucogenis könnte dabei einen stammesgeschichtlich ancestralen Zustand darstellen, jener von murina ist dagegen sicher eine sekundäre Reduktionserscheinung. Auf Grundlage des Biospezieskonzeptes erlauben die erarbeiteten phylogenetischen Daten, die Gattung Pyrrhula entweder in sechs oder in neun Arten (inkl. zweier Superspezies) zu unterteilen. Der zahlenmäßige Unterschied entsteht dabei durch die unterschiedliche Klassifikation der Formen murina, cineracea und griseiventris, die entweder P. pyrrhula als Subspezies angeschlossen werden oder als Angehörige einer Superspezies P. [pyrrhula] Artrang erhalten.

Alla ricerca della sostenibilità: lo sviluppo dell'agricoltura dall'Unità d'Italia alla Green Economy

L’elaborato finale presentato per la tesi di Dottorato analizza e riconduce a unitarietà, per quanto possibile, alcune delle attività di ricerca da me svolte durante questi tre anni, il cui filo conduttore è l'impatto ambientale delle attività umane e la promozione dello sviluppo sostenibile. Il mio filone di ricerca è stato improntato, dal punto di vista di politica economica, sull'analisi storica dello sviluppo del settore agricolo dall'Unità d'Italia ai giorni nostri e dei cambiamenti avvenuti in contemporanea nel contesto socio-economico e territoriale nazionale, facendo particolare riferimento alle tematiche legate ai consumi e alla dipendenza energetica ed all'impatto ambientale. Parte della mia ricerca è stata, infatti, incentrata sull'analisi dello sviluppo della Green Economy, in particolare per quanto riguarda il settore agroalimentare e la produzione di fonti di energia rinnovabile. Enfasi viene posta sia sulle politiche implementate a livello comunitario e nazionale, sia sul cambiamento dei consumi, in particolare per quanto riguarda gli acquisti di prodotti biologici. La Green Economy è vista come fattore di sviluppo e opportunità per uscire dall'attuale contesto di crisi economico-finanziaria. Crisi, che è strutturale e di carattere duraturo, affiancata da una crescente problematica ambientale dovuta all'attuale modello produttivo, fortemente dipendente dai combustibili fossili. Difatti la necessità di cambiare paradigma produttivo promuovendo la sostenibilità è visto anche in ottica di mitigazione del cambiamento climatico e dei suoi impatti socio-economici particolare dal punto di vista dei disastri ambientali. Questo punto è analizzato anche in termini di sicurezza internazionale e di emergenza umanitaria, con riferimento al possibile utilizzo da parte delle organizzazioni di intervento nei contesti di emergenza di tecnologie alimentate da energia rinnovabile. Dando così una risposta Green ad una problematica esacerbata dall'impatto dello sviluppo delle attività umane.

Alle origini del «romanzo giudiziario» italiano: la figura del delinquente tra letteratura, diritto e scienze mediche

In questo lavoro si conduce un’indagine sulle relazioni tra letteratura, diritto e scienze mediche all’interno del romanzo cosiddetto "giudiziario", sviluppatosi in Italia nel periodo compreso tra l’Unità e i primi anni del XX secolo. La nostra analisi si concentra in particolare sulla costruzione della figura del delinquente, intesa come prodotto specifico della suddetta relazione interdisciplinare. In questa prospettiva, abbiamo rilevato che la caratterizzazione di tale figura costituisce il principale tra i procedimenti narrativi osservabili in vari romanzi del periodo postunitario. Concentrandoci inoltre sulla definizione del genere, abbiamo affrontato l’ormai annoso dibattito sulla nascita (quando non sull’esistenza stessa) del poliziesco italiano, dimostrando come solo all’interno di una stretta relazione tra letteratura, diritto e scienze mediche sia possibile cogliere a pieno il valore di questi romanzi nel processo di costruzione dell’identità nazionale. Il lavoro è diviso in due parti. Nella prima, di carattere storico, si propone una nuova definizione del genere "giudiziario", dopo aver vagliato e discusso le ipotesi sino ad ora avanzate dalla critica. Nella seconda parte si affrontano due casi di studio esemplari: La colonia felice di Carlo Dossi e Il romanzo di Misdea di Edoardo Scarfoglio. Su ognuno di essi abbiamo condotto un’accurata analisi testuale, che ci ha permesso di esaminare la caratterizzazione delle diverse figure delinquenti dimostrando l’efficacia del metodo interdisciplinare adottato con particolare riguardo alle teorie di Cesare Lombroso.

Automatic induction of lexical features

This thesis concerns artificially intelligent natural language processing systems that are capable of learning the properties of lexical items (properties like verbal valency or inflectional class membership) autonomously while they are fulfilling their tasks for which they have been deployed in the first place. Many of these tasks require a deep analysis of language input, which can be characterized as a mapping of utterances in a given input C to a set S of linguistically motivated structures with the help of linguistic information encoded in a grammar G and a lexicon L: G + L + C → S (1) The idea that underlies intelligent lexical acquisition systems is to modify this schematic formula in such a way that the system is able to exploit the information encoded in S to create a new, improved version of the lexicon: G + L + S → L' (2) Moreover, the thesis claims that a system can only be considered intelligent if it does not just make maximum usage of the learning opportunities in C, but if it is also able to revise falsely acquired lexical knowledge. So, one of the central elements in this work is the formulation of a couple of criteria for intelligent lexical acquisition systems subsumed under one paradigm: the Learn-Alpha design rule. The thesis describes the design and quality of a prototype for such a system, whose acquisition components have been developed from scratch and built on top of one of the state-of-the-art Head-driven Phrase Structure Grammar (HPSG) processing systems. The quality of this prototype is investigated in a series of experiments, in which the system is fed with extracts of a large English corpus. While the idea of using machine-readable language input to automatically acquire lexical knowledge is not new, we are not aware of a system that fulfills Learn-Alpha and is able to deal with large corpora. To instance four major challenges of constructing such a system, it should be mentioned that a) the high number of possible structural descriptions caused by highly underspeci ed lexical entries demands for a parser with a very effective ambiguity management system, b) the automatic construction of concise lexical entries out of a bulk of observed lexical facts requires a special technique of data alignment, c) the reliability of these entries depends on the system's decision on whether it has seen 'enough' input and d) general properties of language might render some lexical features indeterminable if the system tries to acquire them with a too high precision. The cornerstone of this dissertation is the motivation and development of a general theory of automatic lexical acquisition that is applicable to every language and independent of any particular theory of grammar or lexicon. This work is divided into five chapters. The introductory chapter first contrasts three different and mutually incompatible approaches to (artificial) lexical acquisition: cue-based queries, head-lexicalized probabilistic context free grammars and learning by unification. Then the postulation of the Learn-Alpha design rule is presented. The second chapter outlines the theory that underlies Learn-Alpha and exposes all the related notions and concepts required for a proper understanding of artificial lexical acquisition. Chapter 3 develops the prototyped acquisition method, called ANALYZE-LEARN-REDUCE, a framework which implements Learn-Alpha. The fourth chapter presents the design and results of a bootstrapping experiment conducted on this prototype: lexeme detection, learning of verbal valency, categorization into nominal count/mass classes, selection of prepositions and sentential complements, among others. The thesis concludes with a review of the conclusions and motivation for further improvements as well as proposals for future research on the automatic induction of lexical features.

Il Presidente della Repubblica in Albania tra evoluzione della forma di Stato e formale adozione del modello Italiano

La ricerca analizza la forma di Stato e di Governo e si focalizza nel ruolo importante del Capo dello Stato in funzione alla separazione dei poteri e consolidamento della democrazia in una Repubblica Parlamentare. Questa ricerca comparativa analizza l’evoluzione della forma di governo in Italia e Albania. La ricerca analizza nei dettagli l’evoluzione della forma di Governo, focalizzandosi all’istituzione del Capo dello Stato in Albania dall’indipendenza (1912), evidenziando il ruolo dell’Italia in quest’evoluzione. In maniera comparativa si analizza l’evoluzione dell’istituzione del Capo dello Stato in Italia fin dalla sua unita e gli altri sviluppi i quali servirono come modello per l’Albania, evidenziano l’influenza a livello internazionale che ebbe l’Italia per l’indipendenza dell’Albania, che portò al consolidamento dei loro rapporti. Questa ricerca analizza la collaborazione di questi due Stati la quale culmino con la loro Unione Personale identificandosi nello stesso Capo di Stato. La ricerca inoltre evidenzia che come questa fase sia stata superata dalla II Guerra Mondiale e la Guerra Fredda che vide questi Stati a sviluppare diverse forme di Governo. Per di più la ricerca evidenzia la trasformazione politico-istituzionale e il processo di cambiamento dell’Albania dopo la caduta del muro di Berlino che segno la fine del sistema comunista, che vide l’Albania ad adottare il modello Italiano per il Capo dello Stato.

L'evoluzione delle politiche culturali in Italia tra centro e periferia con uno sguardo alla Francia (1959-1975)

L’obiettivo di questo studio è comprendere come si sia evoluto il concetto di bene culturale in Italia nella seconda metà del Novecento. Pertanto si ritiene rilevante l’analisi delle vicende storiche e politiche sulla gestione, valorizzazione e tutela del patrimonio culturale. In particolare si focalizza l’attenzione sullo sviluppo delle politiche pubbliche in Italia tra la fine degli anni Sessanta e la prima metà degli anni Settanta. Un momento che si definisce come un punto cardine del dibattito e delle azioni politiche che prendono avvio, in Italia, nel periodo post-unitario. Passaggi centrali di questo processo si considerano l’istituzione del Ministero per i Beni Culturali e Ambientali e le prime iniziative regionali nel campo della cultura. Ed è proprio nel rapporto tra centro e periferia che emerge una nuova attenzione ai beni culturali e all’elaborazione di politiche in questo campo. Al fine di uno sguardo europeo, nell’evoluzione delle politiche culturali, si considera peculiare il caso francese, con la creazione del Ministero degli Affari Culturali, alla fine degli anni Cinquanta.

Immediate Search in the IDE as an Example of Socio-Technical Congruence in Search-Driven Development

Search-driven development is mainly concerned with code reuse but also with code navigation and debugging. In this essay we look at search-driven navigation in the IDE. We consider Smalltalk-80 as an example of a programming system with search-driven navigation capabilities and explore its human factors. We present how immediate search results lead to a user experience of code browsing rather than one of waiting for and clicking through search results. We explore the socio-technical congruence of immediate search, ie unification of tasks and breakpoints with method calls, which leads to simpler and more extensible development tools. Eventually we conclude with remarks on the socio-technical congruence of search-driven development.

The Little Metropolis: Religion, Politics, & Spolia

There have been numerous councils throughout the Catholic Church?s history. From the First Council of Nicaea in 325 CE to Vatican II in 1962, only a few centuries have passed without any major church doctrinal change. Following hand in hand with changes in doctrine came the bifurcation of the Christian Church into the Roman CatholicChurch and the Orthodox Church. The first split came in 325 CE with Arianism. Arius of Alexandria and his followers did not agree with the Catholic Church?s viewpoint that the son, Jesus, should be on equal footing with the Father and the Holy Spirit. Constantine the Great brought the Arianism debate to the First Council of Nicaea,which declared Arianism a heretical religion. The following Catholic council?s decisions separated the two Churches even more, eventually creating the formal separation of the Church during the East-West Schism in the middle of the 11th century. Although the twoChurches constantly tried to unite, the Churches hit speed bumps along the way. Eventually, the 1274 Second Council of Lyons officially united the two Churches, even if only for an ephemeral time. At first glance, it might not seem that much resulted from the 1274 Second Council of Lyons. Almost immediately after the council?s ruling, the two Churches split again. Little is known as to why the 1274 Second Council of Lyons ultimately failed in its unification attempt. In this thesis, I will examine the churches of the Little Metropolis at Athens, Merbaka in the Argolid, and Agioi Theodoroi in Athens. In detailing the architectural features of these buildings, I will reconstruct the church building program in association with the 1274 Second Council of Lyons. I will also compare these churchesusing historical sources to keep the sociological, religious, political, and historical context accurate.