Ranking Electoral Systems through Hierarchical Properties Ranking

Electoral systems are characterized by a wide spectrum of properties that cannot be all satisfied at the same time. We aim at examining such properties within a hierarchical framework, based on Analytic Hierarchy Process, performing pairwise comparisons at various levels of a hierarchy to get a global ranking of the electoral systems. In this way it should be possible to estimate the relative importance of each property with respect to the final ranking of every electoral formula.Electoral systems, global ranking, hierarchy, aggregations

Methods and Models for Environmental Conflicts Analysis and Resolution

This thesis is a description of a particular approach to the analysis and resolution of environmental conflicts. Within this framework we have presented a certain number of models as well as a certain number of methods and procedures with an heavy descriptive value but also with some normative value. On the other hand, this thesis is not a general and exhaustive description of the methods for the analysis and resolution of environmental conflicts nor it contains a full and exhaustive analysis of the literature in this area. Moreover this thesis is not a collection of turnkey recipes that can be used to analyze and resolve a particular environmental problem. An outline of the thesis The present thesis is composed by seven chapters and three short appendices. The first chapter presents the general frameworks of the thesis, defines its motivations and aims, frames some basic concepts and describes both the adopted attitudes and the proposed narratives. The second chapter is devoted essentially to an analysis of the various types of actors and of their interrelations as well as to a presentation of the various perspectives that represent the families of models we discuss in chapters 5 and 6. In the third chapter we provide a detailed critical analysis of System Dynamics as a cognitive tool that acts as a background of the whole thesis though it is mentioned explicitly only in chapter 6. The fourth chapter contains a presentation of two family of protocols (auctions and barters) that we propose both as autonomous tools and as ancillary tools of other protocols. The fifth chapter contains the analysis of the ways through which a coalition of heterogeneous deciders may form in order to define a solution to a common problem. The chapter contains an iterative procedure made of two phases (a static setting phase and a dynamic setting phase) that can be executed repeatedly by the deciders until they reach a satisfactory solution. The sixth chapter contains a description of the procedures and methods through which two or more deciders can enter into competition among themselves on two or more competing projects in order to possibly select one of them and, lastly, share among themselves the costs and benefits associated to the selected project. In the seventh chapter we draw some conclusions, list some open problems and underline some topics worth of further research efforts. The appendices aim at making this thesis as self contained as possible and therefore they contain some of the concepts we refer to in the main chapters but that we preferred to put there so to avoid cluttering too much those chapters. For these reasons we put a brief analysis of some concepts of System Dynamics in Appendix A, a description of some concepts of Decision Theory in Appendix B and a small bunch of concepts of Game Theory in Appendix C

A negative auction

In this paper we describe a type of auction mechanism where the auctioneer A wants to auction an item among a certain number of bidders bi B i 1 n that submit bids in the auction with the aim of not getting Owing to this feature we call this mechanism a negative auction The main motivation of this mechanism is that both the bidders and the auctioneer give a negative value to the auctioned item and so they see it as a bad rather than a good The mechanism is presented in its basic simple version and with some possible extensions that account for the payment of a fee for not at- tending the auction the interactions among the bidders and the pres- ence of other supporting actor

L'idea nazionale e le sue incarnazioni letterarie nel teatro e nella prosa di A.A. Sachovskoj (1777-1846)

La tesi indaga l'evoluzione ideologica e stilistica all'interno del teatro e della prosa di uno dei drammaturghi più prolifici della Russia di inizio Ottocento, Aleksandr Sachovskoj. Durante l'analisi vengono prese in considerazione anche un gran numero di opere in forma manoscritta sinora praticamente sconosciute alla comunità scientifica

Il repository: uno strumento per l'archiviazione e la distribuzione sul web

In queste brevi note viene descritto a grandi linee un progetto portato avanti dall'autore presso il Laboratorio di Linguistica e mirante alla definizione e alla implementazione di un servizio di distribuzione di articoli sul web. Il progetto, nel seguito detto QLL-Repository, ha portato alla definizione e alla implementazione di un semplice sistema per l'interrogazione e/o il download degli articoli pubblicati sui Quaderni del Laboratorio di Linguistica (QLL) a partire dal 1994

User Interfaces and Multiple Activities: The User Perspective

This paper contains some remarks about the use of window systems and menu based user interfaces as supports for multiple and concurrent activities, activities composed by tasks and actions. The main drawbacks of such systems are examined. Afterwards we discuss the definition of a working set as a tool that allows the user to carry out more than one of its activities by using a computing system. The closing sections of the paper contain some reflections on the improvements to be made to the aforesaid systems so to implement the concept of working set

Introduzione al Neural Computing

Scopo di queste note quello di presentare alcune nozioni di base sul Neural Computing, descrivere brevemente alcuni modelli di rete neurale e illustrare i principali campi applicativi, con particolare attenzione alla Linguistica. Viene inoltre presentata una breve descrizione delle modalit di implementazione di reti neurali e viene esaminata in dettaglio l\u2019architettura sia hardware sia software di un neurocomputer, in relazione al quale vengono presentati alcuni progetti di ricerca che fanno uso di reti neurali. Il Neural Computing rappresenta il tentativo di definire modelli di calcolo che, sia pure in modo molto semplificato, simulino le funzionalit del cervello biologico. L\u2019analogia con il cervello biologico di basso livello e si basa su considerazioni architetturali e funzionali. Il neurone considerato, infatti, l\u2019elemento base del sistema. Di tale elemento base, il nucleo costituisce l\u2019elemento di elaborazione mentre dendriti ed assone sono, rispettivamente, i canali di ingresso e il canale di uscita. L\u2019assone trasmette successioni di impulsi mentre le connessioni fra neuroni avvengono mediante sinapsi la cui forza sinaptica ne determina l\u2019efficacia. Le connessioni possono essere sia di tipo eccitatorio sia di tipo inibitorio. Le sinapsi rappresentano le unit di memoria del sistema e l\u2019apprendimento si traduce in una modifica della forza sinaptica. L\u2019architettura dei sistemi neurali, d\u2019altra parte, si basa sulla definizione del concetto di neurone formale (vedi figura 1) caratterizzato da canali di ingresso e di uscita, dai pesi che simulano le sinapsi e la loro efficacia e da funzioni matematiche che ne modellizzano il comportamento. Da un punto di vista funzionale, le caratteristiche del cervello biologico che si ritrovano in parte nei sistemi neurali sono l\u2019elevata interconnettivit di elementi semplici e specializzati, l\u2019elevato parallelismo e la ridondanza Le reti neurali rappresentano pertanto modelli di calcolo che derivano alcune delle loro propriet salienti dalle teorie sul sistema nervoso centrale. Sebbene un feedback fra Neuroscienze e Neural Computing sia indubbiamente utile non strettamente necessario nella misura in cui le reti neurali sono viste come modelli astratti di calcolo e non come modelli del cervello biologico e della mente

An algorithm for the syllabification of written Italian

The aim of the present notes is to describe an algorithm for the syllabification of written Italian that has been developed at Laboratorio di Linguistica. The present algorithm is of deterministic type and it is based upon the use of recursion and of binary tree in order to detect the boundaries of the syllables within each word

Implementazione in Java di strumenti per la simulazione di sistemi dinamici

Scopo della presente tesi è la progettazione e implementazione di un ambiente dedicato per la definizione di modelli grafici e matematici di sistemi, la simulazione del comportamento dei modelli così definiti mediante la soluzione delle loro equazioni descrittive e la visualizzazione del risultato di tali equazioni. L'ambiente progettato e in parte implementato contiene, pertanto, un insieme di Tool che consentono la modellizzazione di sistemi dinamici, la simulazione del loro comportamento e la successiva visualizzazione degli andamenti nel tempo delle variabili descrittive dei diversi sistemi modellizzati.La modellizzazione si traduce nella definizione di un modello grafico che rappresenta le relazioni fra le variabili caratteristiche del sistema, modello grafico cui viene fatto corrispondere un modello matematico ottenuto definendo un insieme di relazioni fra le varie variabili. Si hanno pertanto:una descrizione grafica o qualitativa di tipo grafico e una descrizione quantitativa di tipo matematico. La descrizione grafica può essere ottenuta utilizzando due strumenti distinti ma riducibili uno all'altro ovvero i diagrammi Causal-Loop (detti anche diagrammi CL) e i diagrammi di flusso (detti anche diagrammi FD). La descrizione matematica consiste in un insieme di equazioni che stabiliscono dei legami di causa-effetto fra le varie variabili. Tali equazioni dipendono da una variabile tempo discretizzata. Mediante la soluzione delle equazioni è possibile ottenere un certo numero di relazioni che possono essere rappresentate in modo da avere l'evoluzione nel tempo delle variabili caratteristiche del modello