The Disutility of Injustice

For more than half a century, the retributivists and the crime-control instrumentalists have seen themselves as being in an irresolvable conflict. Social science increasingly suggests, however, that this need not be so. Doing justice may be the most effective means of controlling crime. Perhaps partially in recognition of these developments, the American Law Institute\u27s recent amendment to the Model Penal Code\u27s purposes provision – the only amendment to the Model Code in the 47 years since its promulgation – adopts desert as the primary distributive principle for criminal liability and punishment. That shift to desert has prompted concerns by two groups – ironically, two groups traditionally opposed to one another. The first group – those concerned with what they see as the over-punitiveness of current criminal law – worries that setting desert as the dominant distributive principle means continuing the punitive doctrines they find so objectionable, and perhaps will make things worse. The second group – those concerned with ensuring effective crime control – worries that a shift to desert will create many missed crime-control opportunities; it will increase avoidable crime. The first group\u27s concern about over-punitiveness rests upon an assumption that the current punitive crime-control doctrines of which they disapprove are a reflection of the community\u27s naturally punitive intuitions of justice. However, as Study 1 makes clear, today\u27s popular crime-control doctrines in fact seriously conflict with people\u27s intuitions of justice by exaggerating the punishment deserved. The second group\u27s concern that a desert principle will increase avoidable crime exemplifies the common wisdom of the past half century that ignoring justice in pursuit of crime-control through deterrence, incapacitation of the dangerous, and other such coercive crime-control programs is cost free. However, Studies 2 and 3 suggest that doing injustice has real crime control costs. Deviating from the community\u27s shared principles of justice undermines the system\u27s moral credibility and thereby undermines its ability to gain cooperation and compliance and to harness the powerful forces of social influence and internalized norms. The studies reported here give assurance to both groups. A shift to desert is not likely to either undermine the criminal justice system\u27s crime-control effectiveness, and indeed it may enhance it, nor is it likely to increase the system\u27s punitiveness, and indeed it may reduce it

On Languages Accepted by P/T Systems Composed of joins

Recently, some studies linked the computational power of abstract computing systems based on multiset rewriting to models of Petri nets and the computation power of these nets to their topology. In turn, the computational power of these abstract computing devices can be understood by just looking at their topology, that is, information flow. Here we continue this line of research introducing J languages and proving that they can be accepted by place/transition systems whose underlying net is composed only of joins. Moreover, we investigate how J languages relate to other families of formal languages. In particular, we show that every J language can be accepted by a log n space-bounded non-deterministic Turing machine with a one-way read-only input. We also show that every J language has a semilinear Parikh map and that J languages and context-free languages (CFLs) are incomparable

Representing Dependencies in Event Structures

Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove dependencies, thus making the happening of an event contextual. Still the focus is always on the dependencies of the event. In this paper we promote the idea that the context determined by the modifiers plays a major role, and the context itself determines not only the causes but also what causality should be. Modifiers are then used to understand when an event (or a set of events) can be added to a configuration, together with a set of events modeling dependencies, which will play a less important role. We show that most of the notions of Event Structure presented in literature can be translated into this new kind of event structure, preserving the main notion, namely the one of configuration

jFuzzyLogic: a Java Library to Design Fuzzy Logic Controllers According to the Standard for Fuzzy Control Programming

Fuzzy Logic Controllers are a specific model of Fuzzy Rule Based Systems suitable for engineering applications for which classic control strategies do not achieve good results or for when it is too difficult to obtain a mathematical model. Recently, the International Electrotechnical Commission has published a standard for fuzzy control programming in part 7 of the IEC 61131 norm in order to offer a well defined common understanding of the basic means with which to integrate fuzzy control applications in control systems. In this paper, we introduce an open source Java library called jFuzzyLogic which offers a fully functional and complete implementation of a fuzzy inference system according to this standard, providing a programming interface and Eclipse plugin to easily write and test code for fuzzy control applications. A case study is given to illustrate the use of jFuzzyLogic.McGill Uninversity, Genome QuebecSpanish Government TIN2011-28488Andalusian Government P10-TIC-685

Symmetry structure in discrete models of biochemical systems : natural subsystems and the weak control hierarchy in a new model of computation driven by interactions

© 2015 The Authors. Published by the Royal Society under the terms of the Creative Commons Attribution License http://creativecommons.org/licenses/by/4.0/, which permits unrestricted use, provided the original author and source are credited.Interaction Computing (IC) is inspired by the observation that cell metabolic/regulatory systems construct order dynamically, through constrained interactions between their components and based on a wide range of possible inputs and environmental conditions. The goals of this work are (1) to identify and understand mathematically the natural subsystems and hierarchical relations in natural systems enabling this, and (2) to use the resulting insights to define a new model of computation based on interactions that is useful for both biology and computation. The dynamical characteristics of the cellular pathways studied in Systems Biology relate, mathematically, to the computational characteristics of automata derived from them, and their internal symmetry structures to computational power. Finite discrete automata models of biological systems such as the lac operon, Krebs cycle, and p53-mdm2 genetic regulation constructed from Systems Biology models have canonically associated algebraic structures { transformation semigroups. These contain permutation groups (local substructures exhibiting symmetry) that correspond to "pools of reversibility". These natural subsystems are related to one another in a hierarchical manner by the notion of "weak control ". We present natural subsystems arising from several biological examples and their weak control hierarchies in detail. Finite simple non-abelian groups (SNAGs) are found in biological examples and can be harnessed to realize nitary universal computation. This allows ensembles of cells to achieve any desired finitary computational transformation, depending on external inputs, via suitably constrained interactions. Based on this, interaction machines that grow and change their structure recursively are introduced and applied, providing a natural model of computation driven by interactions.Peer reviewe

Neonicotinoid seed treatments of soybean provide negligible benefits to US farmers

Neonicotinoids are the most widely used insecticides worldwide and are typically deployed as seed treatments (hereafter NST) in many grain and oilseed crops, including soybeans. However, there is a surprising dearth of information regarding NST effectiveness in increasing soybean seed yield, and most published data suggest weak, or inconsistent yield benefit. The US is the key soybean-producing nation worldwide and this work includes soybean yield data from 194 randomized and replicated field studies conducted specifically to evaluate the effect of NSTs on soybean seed yield at sites within 14 states from 2006 through 2017. Here we show that across the principal soybean-growing region of the country, there are negligible and management-specific yield benefits attributed to NSTs. Across the entire region, the maximum observed yield benefits due to fungicide (FST = fungicide seed treatment) + neonicotinoid use (FST + NST) reached 0.13 Mg/ha. Across the entire region, combinations of management practices affected the effectiveness of FST + N ST to increase yield but benefits were minimal ranging between 0.01 to 0.22 Mg/ha. Despite widespread use, this practice appears to have little benefit for most of soybean producers; across the entire region, a partial economic analysis further showed inconsistent evidence of a break-even cost of FST or FST + N ST. These results demonstrate that the current widespread prophylactic use of NST in the key soybean-producing areas of the US should be re-evaluated by producers and regulators alike

Neonicotinoid seed treatments of soybean provide negligible benefits to US farmers

Neonicotinoids are the most widely used insecticides worldwide and are typically deployed as seed treatments (hereafter NST) in many grain and oilseed crops, including soybeans. However, there is a surprising dearth of information regarding NST effectiveness in increasing soybean seed yield, and most published data suggest weak, or inconsistent yield benefit. The US is the key soybean-producing nation worldwide and this work includes soybean yield data from 194 randomized and replicated field studies conducted specifically to evaluate the effect of NSTs on soybean seed yield at sites within 14 states from 2006 through 2017. Here we show that across the principal soybean-growing region of the country, there are negligible and management-specific yield benefits attributed to NSTs. Across the entire region, the maximum observed yield benefits due to fungicide (FST = fungicide seed treatment) + neonicotinoid use (FST + NST) reached 0.13 Mg/ha. Across the entire region, combinations of management practices affected the effectiveness of FST + N ST to increase yield but benefits were minimal ranging between 0.01 to 0.22 Mg/ha. Despite widespread use, this practice appears to have little benefit for most of soybean producers; across the entire region, a partial economic analysis further showed inconsistent evidence of a break-even cost of FST or FST + N ST. These results demonstrate that the current widespread prophylactic use of NST in the key soybean-producing areas of the US should be re-evaluated by producers and regulators alike

Reversibility in Chemical Reactions

open access bookIn this chapter we give an overview of techniques for the modelling and reasoning about reversibility of systems, including outof- causal-order reversibility, as it appears in chemical reactions. We consider the autoprotolysis of water reaction, and model it with the Calculus of Covalent Bonding, the Bonding Calculus, and Reversing Petri Nets. This exercise demonstrates that the formalisms, developed for expressing advanced forms of reversibility, are able to model autoprotolysis of water very accurately. Characteristics and expressiveness of the three formalisms are discussed and illustrated

On deducing causality in metabolic networks

© 2008 Bodei et al.; licensee BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution Licens

Comparing Petri Net and Activity Diagram Variants for Workflow Modelling:A Quest for Reactive Petri Nets

Petri net variants are widely used as a workflow modelling technique. Recently, UMLa ctivity diagrams have been used for the same purpose, even though the syntax and semantics of activity diagrams has not been yet fully worked out. Nevertheless, activity diagrams seem very similar to Petri nets and on the surface, one may think that they are variants of each other. To substantiate or deny this claim, we need to formalise the intended semantics of activity diagrams and then compare this with various Petri net semantics. In previous papers we have defined two formal semantics for UMLact ivity diagrams that are intended for workflow modelling. In this paper, we discuss the design choices that underlie these two semantics and investigate whether these design choices can be met in low-level and high-level Petri net semantics. We argue that the main difference between the Petri net semantics and our semantics of UML act ivity diagrams is that the Petri net semantics models resource usage of closed, active systems that are non-reactive, whereas our semantics of UMLact ivity diagrams models open, reactive systems. Since workflow systems are open, reactive systems, we conclude that Petri nets cannot model workflows accurately, unless they are extended with a syntax and semantics for reactivity