Mind the Gap. Do Proportional Electoral Systems Foster a More Equal Representation of Women and Men, Poor and Rich ?

Female gender and low income are two markers for groups that have been historically disadvantaged within most societies. The study explores two research questions related to their political representation: 1) Are parties ideologically biased towards the ideological preferences of male and rich citizens? 2) Does the proportionality of the electoral system moderate the degree of underrepresentation of women and poor citizens in the party system? A multilevel analysis of survey data from 24 parliamentary democracies indicates that there is some bias against those with low income and, at a much smaller rate, women. This has systemic consequences for the quality of representation, as the preferences of the complementary groups differ. The proportionality of the electoral system influences the degree of underrepresentation: specifically, larger district magnitudes help closing the considerable gap between rich and poor.

A Write-Based Solver for SAT Modulo the Theory of Arrays

The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solver for arrays in the context of the DPLL(T) approach to SMT. The main characteristics of our solver are: (i) no translation of writes into reads is needed, (ii) there is no axiom instantiation, and (iii) the T-solver interacts with the Boolean engine by asking to split on equality literals between indices. As far as we know, this is the first accurate description of an array solver integrated in a state-of-the-art SMT solver and, unlike most state-of-the-art solvers, it is not based on a lazy instantiation of the array axioms. Moreover, it is very competitive in practice, specially on problems that require heavy reasoning on array literals

Change points detection in crime-related time series: an on-line fuzzy approach based on a shape space representation

The extension of traditional data mining methods to time series has been effectively applied to a wide range of domains such as finance, econometrics, biology, security, and medicine. Many existing mining methods deal with the task of change points detection, but very few provide a flexible approach. Querying specific change points with linguistic variables is particularly useful in crime analysis, where intuitive, understandable, and appropriate detection of changes can significantly improve the allocation of resources for timely and concise operations. In this paper, we propose an on-line method for detecting and querying change points in crime-related time series with the use of a meaningful representation and a fuzzy inference system. Change points detection is based on a shape space representation, and linguistic terms describing geometric properties of the change points are used to express queries, offering the advantage of intuitiveness and flexibility. An empirical evaluation is first conducted on a crime data set to confirm the validity of the proposed method and then on a financial data set to test its general applicability. A comparison to a similar change-point detection algorithm and a sensitivity analysis are also conducted. Results show that the method is able to accurately detect change points at very low computational costs. More broadly, the detection of specific change points within time series of virtually any domain is made more intuitive and more understandable, even for experts not related to data mining.

Computing the diameter of Coxeter groups

This thesis addresses the problem of computing the minimal and maximal diameter of the Cayley graph of Coxeter groups. We first present and assert relevant parts of polytope theory and related Coxeter theory. After this, a method of contracting the orthogonal projections of a polytope from Rd onto R2 and R3, d ¸ 3 is presented. This method is the Equality Set Projection algorithm that requires a constant number of linearprogramming problems per facet of the projection in the absence of degeneracy. The ESP algorithm allows us to compute also projected geometric diameters of high-dimensional polytopes. A representation set of projected polytopes is presented to illustrate the methods adopted in this thesis.

Fama y verdad en la épica quinientista española. El virgilianismo político y la tradición castellana del siglo xv

Fame and truth in Spanish XVth century epic. !e political vergilianism and the castilian tradition of the XVth century. The starting premise of this essay is that the Spanish Golden Age epic must be read from a historical perspective that takes into account the Hispanic literary tradition ofthe XVth century. In particular, it argues that epic should be approached from a theoretical perspective that explores its relationship with history in order to illuminate the diferences between Italian and Spanish epic theory and practice in the XVth century. The relationship between the discourses of epic and history can be explained through the imitation of the Vergilian model, specifically the Aeneid´s ideological representation of empire. However, it is also necessary to consider theoretical aspects in the light of the diferent uses of classical literature by Italian humanists and Castilian writers of the XV th century. Thus, its primary thesis is that although XVI th century Spanish epic shares the general principles of the Western Epic tradition, it should be approached from a specifically perspective Hispanic, in the light of the «political vergilianism» already enshrined in authors like Enrique de Villena and Juan de Mena, which is essential to appreciate how epic genre serves as memory for the present

Concepts and Reference. Defending a Dual Theory of Natural Kind Concepts

In this thesis I argue that the psychological study of concepts and categorisation, and the philosophical study of reference are deeply intertwined. I propose that semantic intuitions are a variety of categorisation judgements, determined by concepts, and that because of this, concepts determine reference. I defend a dual theory of natural kind concepts, according to which natural kind concepts have distinct semantic cores and non-semantic identification procedures. Drawing on psychological essentialism, I suggest that the cores consist of externalistic placeholder essence beliefs. The identification procedures, in turn, consist of prototypes, sets of exemplars, or possibly also theory-structured beliefs. I argue that the dual theory is motivated both by experimental data and theoretical considerations. The thesis consists of three interrelated articles. Article I examines philosophical causal and description theories of natural kind term reference, and argues that they involve, or need to involve, certain psychological elements. I propose a unified theory of natural kind term reference, built on the psychology of concepts. Article II presents two semantic adaptations of psychological essentialism, one of which is a strict externalistic Kripkean-Putnamian theory, while the other is a hybrid account, according to which natural kind terms are ambiguous between internalistic and externalistic senses. We present two experiments, the results of which support the strict externalistic theory. Article III examines Fodor’s influential atomistic theory of concepts, according to which no psychological capacities associated with concepts constitute them, or are necessary for reference. I argue, contra Fodor, that the psychological mechanisms are necessary for reference.