A Soft Computing Approach to Acute Coronary Syndrome

Acute Coronary Syndrome (ACS) is transversal to a broad and heterogeneous set of human beings, and assumed as a serious diagnosis and risk stratification problem. Although one may be faced with or had at his disposition different tools as biomarkers for the diagnosis and prognosis of ACS, they have to be previously evaluated and validated in different scenarios and patient cohorts. Besides ensuring that a diagnosis is correct, attention should also be directed to ensure that therapies are either correctly or safely applied. Indeed, this work will focus on the development of a diagnosis decision support system in terms of its knowledge representation and reasoning mechanisms, given here in terms of a formal framework based on Logic Programming, complemented with a problem solving methodology to computing anchored on Artificial Neural Networks. On the one hand it caters for the evaluation of ACS predisposing risk and the respective Degree-of-Confidence that one has on such a happening. On the other hand it may be seen as a major development on the Multi-Value Logics to understand things and ones behavior. Undeniably, the proposed model allows for an improvement of the diagnosis process, classifying properly the patients that presented the pathology (sensitivity ranging from 89.7% to 90.9%) as well as classifying the absence of ACS (specificity ranging from 88.4% to 90.2%).

Ranking e qualidade educativa. Uma relação (im)provável? Um estudo em duas escolas públicas

Com o presente trabalho pretendemos compreender eventuais relações entre a posição de uma escola no ranking dos exames nacionais do 9.º ano do ensino básico e a qualidade do serviço educativo prestado. O estudo decorreu em dois agrupamentos de escolas com posições diferenciadas nas listas de ordenação (rankings) publicadas no ano de 2013. Recolhemos informação através de entrevista aos diretores dos órgãos de gestão, análise documental e inquérito por questionário. Adotámos metodologia qualitativa e quantitativa cujos dados foram triangulados e analisados à luz do quadro teórico. A posição bastante diferenciada entre os dois agrupamentos no ranking (249.º e 848.º, respetivamente) não parece estar relacionado com a prestação do serviço educativo, para além de a classificação ser a mesma nos relatórios de avaliação externa, as diferenças identificadas através dos questionários e das entrevistas são pontuais e pouco relevantes reforçando que efetivamente a posição no ranking diz muito pouco sobre o trabalho realizado nas escolas, sobre as suas dinâmicas e lógicas de ação; Abstract: Ranking and educational quality. An (un)likely relationship? A study in two public schools With this study we aim to understand possible links between the ranking position of two different school based on the 9th grade’s national exams results and the quality of educational services provided. The study took place in two groups of schools with different ranking positions published in 2013. We collect information through interviews to the directors of the management bodies, document analysis and questionnaire survey. We adopted qualitative and quantitative methodology and data were triangulated and analyzed in the light of the theoretical framework. The rather unique position between the two groups in the rankings (249 and 848, respectively) does not seem to be related to the provision of educational services, as well as the classification is the same in the external evaluation reports, the differences identified by questionnaires and interviews are timely and very relevant stressing that effectively ranking position says very little about the work done in schools, on its dynamics and logics of action.

Amistad y relaciones aristocráticas a inicios de la Edad Moderna: la familia Malvezzi y el Colegio de España en Bolonia

Este proyecto pretende profundizar en algunos aspectos del funcionamiento institucional y político del Colegio de España, como ente integrado en las redes políticas y sociales de la ciudad italiana, a través del análisis de sus relaciones con la familia Malvezzi a inicios de la Edad Moderna, un período caracterizado por la creación y reforzamiento gradual de una red social conectada con el mundo hispano. Además, se pretende señalar los canales de colaboración y acuerdo recíproco que el Colegio de San Clemente puso en marcha con distintos miembros de la aristocracia boloñesa. Este estudio concibe el Colegio de España como una institución que va más allá de los límites estrictamente universitarios y que desarrolla un rol político y económico de primer nivel en el contexto local. Por otra parte, se interpretan las dinámicas del poder urbano en clave de red, dentro de la cual se entrecruzaban diversos intereses privados, familiares, clientelares y personales que tuvieron su repercusión en la esfera pública. En resumen, se trata de ofrecer una visión amplia y rica del cuadro de relaciones de poder de la ciudad de Bolonia. El objetivo final es conocer las razones, lógicas y fases que han plasmado, reforzado y caracterizado los vínculos personales e institucionales entre la familia Malvezzi y el Colegio de España.

Towards a logical foundation of randomized computation

This dissertation investigates the relations between logic and TCS in the probabilistic setting. It is motivated by two main considerations. On the one hand, since their appearance in the 1960s-1970s, probabilistic models have become increasingly pervasive in several fast-growing areas of CS. On the other, the study and development of (deterministic) computational models has considerably benefitted from the mutual interchanges between logic and CS. Nevertheless, probabilistic computation was only marginally touched by such fruitful interactions. The goal of this thesis is precisely to (start) bring(ing) this gap, by developing logical systems corresponding to specific aspects of randomized computation and, therefore, by generalizing standard achievements to the probabilistic realm. To do so, our key ingredient is the introduction of new, measure-sensitive quantifiers associated with quantitative interpretations. The dissertation is tripartite. In the first part, we focus on the relation between logic and counting complexity classes. We show that, due to our classical counting propositional logic, it is possible to generalize to counting classes, the standard results by Cook and Meyer and Stockmeyer linking propositional logic and the polynomial hierarchy. Indeed, we show that the validity problem for counting-quantified formulae captures the corresponding level in Wagner's hierarchy. In the second part, we consider programming language theory. Type systems for randomized \lambda-calculi, also guaranteeing various forms of termination properties, were introduced in the last decades, but these are not "logically oriented" and no Curry-Howard correspondence is known for them. Following intuitions coming from counting logics, we define the first probabilistic version of the correspondence. Finally, we consider the relationship between arithmetic and computation. We present a quantitative extension of the language of arithmetic able to formalize basic results from probability theory. This language is also our starting point to define randomized bounded theories and, so, to generalize canonical results by Buss.

Rethinking the block. The 1970s European discourses on the city and the IBA Berlin 1979-87

The dissertation explores the relationship between projects for urban blocks and the discourses on the city between the late 1960s and the 1980s, with a particular focus on the blocks of the Internationale Bauausstellung (IBA) Berlin 1979-87. The main research questions center on whether and how the block changed in connection with the emerging ideas of the city during this period and whether these changes had, in turn, effects on the whole city. Thus far, despite extensive research on the theories and the ideas of the city between the 1960s and 1980s, there is a lack of studies that interweave this research with insights into the block. To fill this gap, this dissertation examines how the block was thematized in the 1970s discourses on the city. It highlights projects for blocks designed between the late 1960s and the 70s in various European cities, particularly West Berlin. Then, it focuses on the blocks of the IBA Berlin 1979-87, examining them through theory, history, and drawings. The study of the examples reveals three distinctive aspects of all blocks considered in the dissertation: the overcoming of small private plots, the individualization of the buildings, and the accessibility of the courtyards from public streets. These aspects reflect the changing understandings of the city and of the urban spaces in the 1970s and 1980s, which resulted in new compositional logics of the block. When examined with critical distance, the blocks of the 1970s and 80s offer a lesson in architectural and urban composition which is still current. - The author has made every effort to contact the owners of the copyrights of the material in the dissertation. The author is available to the right holders with whom it was not possible to communicate as well as for any omissions or inaccuracies in quoting the sources.

Dal sacrificio alla preghiera. La distruzione del Secondo Tempio di Gerusalemme e le trasformazioni cultuali della religione giudaica

La distruzione del Secondo Tempio di Gerusalemme nel 70 e.v. rappresenta un momento cruciale nell’evoluzione storica e teologica della religione giudaica. Prima della catastrofe, l’intero sistema cultuale si fondava sulle ritualità sacrificali, che si concentravano esclusivamente nel santuario gerosolimitano. Con la caduta di quest’ultimo e il venir meno delle sue prassi, il giudaismo dovette ripensare totalmente la propria religiosità, la quale andò gradualmente a imperniarsi sulla preghiera e su atti di devozione non cruenti, in una prospettiva più aperta, mobile e orizzontale. Pertanto, questa ricerca si pone lo scopo di analizzare, in una prospettiva fortemente votata all’antropologia, alla storia e alla sociologia della religione, il senso profondo di tale trasformazione. A questo fine, è stato studiato il culto sacrificale e liturgico giudaico precedente e successivo al 70 e.v., indagando in particolare alcuni aspetti specifici, quali la spazialità sacra, la gestualità rituale e l’uso della musica. In questo modo, è stato possibile delineare alcune logiche fondamentali che costituiscono la struttura dell’intero sistema religioso. Confrontando quelle del periodo del Secondo Tempio con quelle posteriori a esso, è dunque emersa una certa linearità, ma anche una forte discontinuità nella percezione del sacro e dei suoi rituali, fornendo così una nuova interpretazione del significato di una trasformazione di così vasta portata.