Fairness Testing: Testing Software for Discrimination

This paper defines software fairness and discrimination and develops a testing-based method for measuring if and how much software discriminates, focusing on causality in discriminatory behavior. Evidence of software discrimination has been found in modern software systems that recommend criminal sentences, grant access to financial products, and determine who is allowed to participate in promotions. Our approach, Themis, generates efficient test suites to measure discrimination. Given a schema describing valid system inputs, Themis generates discrimination tests automatically and does not require an oracle. We evaluate Themis on 20 software systems, 12 of which come from prior work with explicit focus on avoiding discrimination. We find that (1) Themis is effective at discovering software discrimination, (2) state-of-the-art techniques for removing discrimination from algorithms fail in many situations, at times discriminating against as much as 98% of an input subdomain, (3) Themis optimizations are effective at producing efficient test suites for measuring discrimination, and (4) Themis is more efficient on systems that exhibit more discrimination. We thus demonstrate that fairness testing is a critical aspect of the software development cycle in domains with possible discrimination and provide initial tools for measuring software discrimination.Comment: Sainyam Galhotra, Yuriy Brun, and Alexandra Meliou. 2017. Fairness Testing: Testing Software for Discrimination. In Proceedings of 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Paderborn, Germany, September 4-8, 2017 (ESEC/FSE'17). https://doi.org/10.1145/3106237.3106277, ESEC/FSE, 201

Structural discordance between neogene detachments and frontal Sevier thrusts, central Mormon Mountains, southern Nevada

Detailed geologic mapping in the Mormon Mountains of southern Nevada provides significant insight into processes of extensional tectonics developed within older compressional orogens. A newly discovered, WSW-directed low-angle normal fault, the Mormon Peak detachment, juxtaposes the highest levels of the frontal most part of the east-vergent, Mesozoic Sevier thrust belt with autochthonous crystalline basement. Palinspastic analysis suggests that the detachment initially dipped 20–25° to the west and cut discordantly across thrust faults. Nearly complete lateral removal of the hanging wall from the area has exposed a 5 km thick longitudinal cross-section through the thrust belt in the footwall, while highly attenuated remnants of the hanging wall (nowhere more than a few hundred meters thick) structurally veneer the range. The present arched configuration of the detachment resulted in part from progressive “domino-style” rotation of a few degrees while it was active, but is largely due to rotation on younger, structurally lower, basement-penetrating normal faults that initiated at high-angle. The geometry and kinematics of normal faulting in the Mormon Mountains suggest that pre-existing thrust planes are not required for the initiation of low-angle normal faults, and even where closely overlapped by extensional tectonism, need not function as a primary control of detachment geometry. Caution must thus be exercised in interpreting low-angle normal faults of uncertain tectonic heritage such as those seen in the COCORP west-central Utah and BIRP's MOIST deep-reflection profiles. Although thrust fault reactivation has reasonably been shown to be the origin of a very few low-angle normal faults, our results indicate that it may not be as fundamental a component of orogenic architecture as it is now widely perceived to be. We conclude that while in many instances thrust fault reactivation may be both a plausible and attractive hypothesis, it may never be assumed

Stable amorphous georgeite as a precursor to a high-activity catalyst .

Copper and zinc form an important group of hydroxycarbonate minerals that include zincian malachite, aurichalcite, rosasite and the exceptionally rare and unstable—and hence little known and largely ignored1—georgeite. The first three of these minerals are widely used as catalyst precursors2, 3, 4 for the industrially important methanol-synthesis and low-temperature water–gas shift (LTS) reactions5, 6, 7, with the choice of precursor phase strongly influencing the activity of the final catalyst. The preferred phase2, 3, 8, 9, 10 is usually zincian malachite. This is prepared by a co-precipitation method that involves the transient formation of georgeite11; with few exceptions12 it uses sodium carbonate as the carbonate source, but this also introduces sodium ions—a potential catalyst poison. Here we show that supercritical antisolvent (SAS) precipitation using carbon dioxide (refs 13, 14), a process that exploits the high diffusion rates and solvation power of supercritical carbon dioxide to rapidly expand and supersaturate solutions, can be used to prepare copper/zinc hydroxycarbonate precursors with low sodium content. These include stable georgeite, which we find to be a precursor to highly active methanol-synthesis and superior LTS catalysts. Our findings highlight the value of advanced synthesis methods in accessing unusual mineral phases, and show that there is room for exploring improvements to established industrial catalysts

Pentalogy of Cantrell: two patients and a review to determine prognostic factors for optimal approach

Two patients with incomplete pentalogy of Cantrell are described. The first was a girl with a large omphalocele with evisceration of the heart, liver and intestines with an intact sternum. Echocardiography showed profound intracardiac defects. The girl died 33 h after birth. The second patient was a female fetus with ectopia cordis (EC) without intracardiac anomalies; a large omphalocele with evisceration of the heart, stomach, spleen and liver; a hypoplastic sternum and rib cage; and a scoliosis. The pregnancy was terminated. A review of patients described in the literature is presented with the intention of finding prognostic factors for an optimal approach to patients with the pentalogy of Cantrell. In conclusion the prognosis seems to be poorer in patients with the complete form of pentalogy of Cantrell, EC, and patients with associated anomalies. Intracardial defects do not seem to be a prognostic factor

E.P. Thompson and cultural sociology: questions of poetics, capitalism and the commons

There is currently a need for cultural sociology to readdress the work of humanistic and cultural Marxism. While more recently much of this work has been dismissed the appearance of more radical social movements and the on-going crisis of neoliberalism suggests that it still has much to tell us. In this respect, this article seeks to readdress the writing of historian E.P.Thompson arguing that his work on the class based and other social movements, poetics, critique of positivism and economic reason, utopia and work on the idea of the commons all has much to offer more contemporary scholarship. While the article recognises that the cultural Marxism of figures like Thompson can-not simply be resurrected it does continue to offer a number of critical insights lacking from other traditions within cultural sociology. By readdressing the internal complexity of Thompson’s writing the argumentative strategy of this article suggests that cultural sociology needs to move beyond more simplistic understandings of cultural Marxism and more carefully explore what it has to offer