Themis: Automatically Testing Software for Discrimination

Total Page:16

File Type:pdf, Size:1020Kb

Themis: Automatically Testing Software for Discrimination Themis: Automatically Testing Software for Discrimination Rico Angell, Brittany Johnson, Yuriy Brun, and Alexandra Meliou University of Massachusetts Amherst Amherst, Massachusetts, USA {rangell, bjohnson, brun, [email protected] ABSTRACT software decided not to offer same-day delivery to predominantly Bias in decisions made by modern software is becoming a common minority neighborhoods [35]. And the software US courts use to and serious problem. We present Themis, an automated test suite assess the risk of a criminal repeating a crime exhibits racial bias [4]. generator to measure two types of discrimination, including causal Bias in software can come from learning from biased data, im- relationships between sensitive inputs and program behavior. We plementation bugs, design decisions, unexpected component in- explain how Themis can measure discrimination and aid its debug- teractions, or societal phenomena. Thus, software discrimination ging, describe a set of optimizations Themis uses to reduce test is a challenging problem and addressing it is integral to the en- suite size, and demonstrate Themis’ effectiveness on open-source tire software development cycle, from requirements elicitation, to software. Themis is open-source and all our evaluation data are architectural design, to testing, verification, and validation [14]. available at http://fairness.cs.umass.edu/. See a video of Themis in Even defining what it means for software to discriminate isnot action: https://youtu.be/brB8wkaUesY straightforward. Many definitions of algorithmic discrimination have emerged, including the correlation or mutual information CCS CONCEPTS between inputs and outputs [52], discrepancies in the fractions of inputs that produce a given output [17, 26, 56, 58] (known as • Software and its engineering → Software testing and de- group discrimination [23]), or discrepancies in output probability bugging; distributions [34]. These definitions do not capture causality and KEYWORDS can miss some forms of discrimination. To address this, our recent work developed a new measure called Software fairness, discrimination testing, fairness testing, software causal discrimination and described a technique for automated fair- bias, testing, Themis, automated test generation ness test generation [23]. This tool demonstration paper imple- ACM Reference Format: ments that technique for the group and causal definitions of dis- Rico Angell, Brittany Johnson, Yuriy Brun, and Alexandra Meliou. 2018. crimination in a tool called Themis v2.0 (building on an early proto- Themis: Automatically Testing Software for Discrimination. In Proceedings type [23]). This paper focuses on the tool’s architecture, test suite of the 26th ACM Joint European Software Engineering Conference and Sympo- generation workflow, and efficiency optimizations (Section2), and sium on the Foundations of Software Engineering (ESEC/FSE ’18), November its user interface (Section3). Section4 places Themis in the context 4–9, 2018, Lake Buena Vista, FL, USA. ACM, New York, NY, USA,5 pages. https://doi.org/10.1145/3236024.3264590 of related research and Section5 summarizes our contributions. 1 INTRODUCTION 2 THEMIS: AUTOMATED FAIRNESS TEST Software plays an important role in making decisions that shape GENERATION our society. Software decides what products we are led to buy [36]; Figure1 describes the Themis architecture and fairness test-suite who gets financial loans [43]; what a self-driving car does, which generation workflow. Themis consists of four major components: may lead to property damage or human injury [24], how medical input generator, cache, error-bound confidence calculator, and dis- patients are diagnosed and treated [48], and who gets bail and crimination score calculator. Themis uses the input schema of the which criminal sentence [4]. Unfortunately, there are countless system under test to generate test suites for group or causal dis- examples of bias in software. Translation engines inject societal crimination. Themis generates values for non-sensitive attributes biases, e.g., “She is a doctor” translated into Turkish and back into uniformly randomly, and then iterates over the values for sensi- English becomes “He is a doctor” [19]. YouTube is more accurate tive attributes. This process samples equivalence classes of test when automatically generating closed captions for videos with inputs. Themis later uses the system’s under test behavior on these male than female voices [50]. Facial recognition systems often sampled subsets of the equivalence classes to compute the discrim- underperform on female and black faces [32]. In 2016, Amazon ination score. Using a cache to ensure no test is executed multiple Permission to make digital or hard copies of all or part of this work for personal or times, Themis executes the system under test on the generated tests. classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation Themis iterates this test generation process, generating more tests on the first page. Copyrights for components of this work owned by others than the within the equivalence classes, until the confidence in the error author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or bound satisfies the user-specified threshold, and then outputs the republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]. discrimination score. The final confidence bound is within the spec- ESEC/FSE ’18, November 4–9, 2018, Lake Buena Vista, FL, USA ified threshold, though Themis can also produce its exact measure. © 2018 Copyright held by the owner/author(s). Publication rights licensed to ACM. Themis focuses on two measures of discrimination, group and ACM ISBN 978-1-4503-5573-5/18/11...$15.00 https://doi.org/10.1145/3236024.3264590 causal. To help explain the two measures, consider a simple loan 871 ESEC/FSE ’18, November 4–9, 2018, Lake Buena Vista, FL, USA Rico Angell, Brittany Johnson, Yuriy Brun, and Alexandra Meliou Themis engine input generator inputs: non-sensitive non-sensitive - input schema input space attribute attribute subsets of - type of discrimination generator assignment equivalence classes of test inputs to measure system under test - acceptable error sensitive sensitive equivalence bound attribute attribute classes - desired confidence iterator assignment bound generate more test inputs to reach confidence cache Themis user interface discrimination error-bound confidence calculator no outputs: score confidence in - discrimination score calculator yes error bound I/O - confidence in error reached? database bound Figure 1: The Themis architecture and fairness test-suite generation workflow. program that decides if loan applicants should be given loans. loan on average, 2,849 times for group discrimination and 148 times for inputs are each applicant’s name, age bracket (≤40 or >40), race causal discrimination [23]. The more software discriminates, the (green, purple), income bracket, savings, employment status, and greater the reduction in test suite size. requested loan amount; the output is “approve” or “deny”. The number of possible executions grows ex- Group discrimination is the maximum difference in the fractions Sound pruning. ponentially with the number of input attributes being tested for of software outputs for each sensitive input group. For example, discrimination. However, the group and causal discrimination defi- loan’s group discrimination with respect to race compares the nitions are monotonic: if software discriminates over threshold θ fractions of green and purple applicants who get loans. If 35% with respect to a set of attributes X, then the software also discrim- of green and 20% of purple applicants get loans, then loan’s inates over θ with respect to all supersets of X (see Theorems 4.1 group discrimination with respect to race is 35% − 20% = 15%. and 4.2 and their proofs in [23]). This allows Themis to prune its With more than two races, the measure would be the difference test input space. Once Themis discovers that software discriminates between the largest and smallest fractions. Group discrimination against X, it can prune testing all supersets of X. with respect to multiple input attributes compares the crossproduct Further, causal discrimination always exceeds group discrimi- of the attributes, e.g., for race and age bracket, there are four groups: nation with respect to the same set of attributes (see Theorem 4.3 [purple, ≤40], [purple, >40], [green, ≤40], and [green, >40]. and its proof in [23]) so Themis can prune its test input space Software testing enables a unique opportunity to conduct hypoth- when measuring both kinds of discrimination: If software group esis testing to determine statistical causation [45] between inputs discriminates with respect to a set of attributes, it must causally and outputs. It is possible to execute loan on two individuals discriminate with respect to that set at least as much. identical in every way except race to verify if the race causes an These observations and their formal proofs allow Themis to output change. Causal discrimination is the frequency with which employ a provably sound pruning strategy (Algorithm 3 in [23]). equivalences classes of inputs (recall Figure1) contain at least two inputs on which the software under test produces different outputs. Adaptive
Recommended publications
  • Read Book ^ Titans: Atlas, Titan, Rhea, Helios, Eos, Prometheus, Hecate
    [PDF] Titans: Atlas, Titan, Rhea, Helios, Eos, Prometheus, Hecate, Oceanus, Metis, Mnemosyne, Titanomachy, Selene, Themis, Tethys,... Titans: Atlas, Titan, Rhea, Helios, Eos, Prometheus, Hecate, Oceanus, Metis, Mnemosyne, Titanomachy, Selene, Themis, Tethys, Theia, Iapetus, Coeus, Crius, Asteria, Epimetheus, Hyperion, Astraeus, Cron Book Review A superior quality pdf along with the font used was intriguing to read through. It can be rally exciting throgh reading through time period. You may like how the blogger create this book. (Dr. Rylee Berg e) TITA NS: ATLA S, TITA N, RHEA , HELIOS, EOS, PROMETHEUS, HECATE, OCEA NUS, METIS, MNEMOSYNE, TITA NOMA CHY, SELENE, THEMIS, TETHYS, THEIA , IA PETUS, COEUS, CRIUS, A STERIA , EPIMETHEUS, HYPERION, A STRA EUS, CRON - To download Titans: A tlas, Titan, Rhea, Helios, Eos, Prometheus, Hecate, Oceanus, Metis, Mnemosyne, Titanomachy, Selene, Themis, Tethys, Theia, Iapetus, Coeus, Crius, A steria, Epimetheus, Hyperion, A straeus, Cron PDF, you should access the web link under and save the ebook or have accessibility to other information which are have conjunction with Titans: Atlas, Titan, Rhea, Helios, Eos, Prometheus, Hecate, Oceanus, Metis, Mnemosyne, Titanomachy, Selene, Themis, Tethys, Theia, Iapetus, Coeus, Crius, Asteria, Epimetheus, Hyperion, Astraeus, Cron book. » Download Titans: A tlas, Titan, Rhea, Helios, Eos, Prometheus, Hecate, Oceanus, Metis, Mnemosyne, Titanomachy, Selene, Themis, Tethys, Theia, Iapetus, Coeus, Crius, A steria, Epimetheus, Hyperion, A straeus, Cron PDF « Our solutions was introduced with a want to serve as a total on the internet electronic digital catalogue that provides use of multitude of PDF file book assortment. You could find many kinds of e-publication and also other literatures from your paperwork database.
    [Show full text]
  • Athena ΑΘΗΝΑ Zeus ΖΕΥΣ Poseidon ΠΟΣΕΙΔΩΝ Hades ΑΙΔΗΣ
    gods ΑΠΟΛΛΩΝ ΑΡΤΕΜΙΣ ΑΘΗΝΑ ΔΙΟΝΥΣΟΣ Athena Greek name Apollo Artemis Minerva Roman name Dionysus Diana Bacchus The god of music, poetry, The goddess of nature The goddess of wisdom, The god of wine and art, and of the sun and the hunt the crafts, and military strategy and of the theater Olympian Son of Zeus by Semele ΕΡΜΗΣ gods Twin children ΗΦΑΙΣΤΟΣ Hermes of Zeus by Zeus swallowed his first Mercury Leto, born wife, Metis, and as a on Delos result Athena was born ΑΡΗΣ Hephaestos The messenger of the gods, full-grown from Vulcan and the god of boundaries Son of Zeus the head of Zeus. Ares by Maia, a Mars The god of the forge who must spend daughter The god and of artisans part of each year in of Atlas of war Persephone the underworld as the consort of Hades ΑΙΔΗΣ ΖΕΥΣ ΕΣΤΙΑ ΔΗΜΗΤΗΡ Zeus ΗΡΑ ΠΟΣΕΙΔΩΝ Hades Jupiter Hera Poseidon Hestia Pluto Demeter The king of the gods, Juno Vesta Ceres Neptune The goddess of The god of the the god of the sky The goddess The god of the sea, the hearth, underworld The goddess of and of thunder of women “The Earth-shaker” household, the harvest and marriage and state ΑΦΡΟΔΙΤΗ Hekate The goddess Aphrodite First-generation Second- generation of magic Venus ΡΕΑ Titans ΚΡΟΝΟΣ Titans The goddess of MagnaRhea Mater Astraeus love and beauty Mnemosyne Kronos Saturn Deucalion Pallas & Perses Pyrrha Kronos cut off the genitals Crius of his father Uranus and threw them into the sea, and Asteria Aphrodite arose from them.
    [Show full text]
  • The Pythias Excerpted from Secret History of the Witches © 2009 Max Dashu
    The Pythias excerpted from Secret History of the Witches © 2009 Max Dashu I count the grains of sand on the beach and measure the sea I understand the speech of the mute and hear the voiceless —Delphic Oracle [Herodotus, I, 47] In the center of the world, a fissure opened from the black depths of Earth, and waters flowed from a spring. The place was called Delphoi (“Womb”). In its cave sanctuary lived a shamanic priestess called the Pythia—Serpent Woman. Her prophetic power came from a she-dragon in the Castalian spring, whose waters had inspirational qualities. She sat on a tripod, breathing vapors that emerged from a deep cleft in the Earth, until she entered trance and prophesied by chanting in verse. The shrine was sacred to the indigenous Aegean earth goddess. The Greeks called her Ge, and later Gaia. Earth was said to have been the first Delphic priestess. [Pindar, fr. 55; Euripides, Iphigenia in Taurus, 1234-83. This idea of Earth as the original oracle and source of prophecy was widespread. The Eumenides play begins with a Pythia intoning, “First in my prayer I call on Earth, primeval prophetess...” [Harrison, 385] Ancient Greek tradition held that there had once been an oracle of Earth at the Gaeion in Olympia, but it had disappeared by the 2nd century. [Pausanias, 10.5.5; Frazer on Apollodorus, note, 10] The oracular cave of Aegira, with its very old wooden image of Broad-bosomed Ge, belonged to Earth too. [Pliny, Natural History 28. 147; Pausanias 7, 25] Entranced priestess dancing with wand, circa 1500 BCE.
    [Show full text]
  • A Theology of Memory: the Concept of Memory in the Greek Experience of the Divine
    A Theology of Memory: The Concept of Memory in the Greek Experience of the Divine Master’s Thesis Presented to The Faculty of the Graduate School of Arts and Sciences Brandeis University Department of Classical Studies Leonard Muellner, Advisor In Partial Fulfillment of the Requirements For Master’s Degree by Michiel van Veldhuizen May 2012 ABSTRACT A Theology of Memory: The Concept of Memory in the Greek Experience of the Divine A thesis presented to the Department of Classical Studies Graduate School of Arts and Sciences Brandeis University Waltham, Massachusetts By Michiel van Veldhuizen To the ancient Greek mind, memory is not just concerned with remembering events in the past, but also concerns knowledge about the present, and even the future. Through a structural analysis of memory in Greek mythology and philosophy, we may come to discern the particular role memory plays as the facilitator of vertical movement, throwing a bridge between the realms of humans and gods. The concept of memory thus plays a significant role in the Greek experience of the divine, as one of the vertical bridges that relates mortality and divinity. In the theology of Mnemosyne, who is Memory herself and mother of the Muses, memory connects not only to the singer-poet’s religiously efficacious speech of prophetic omniscience, but also to the idea of Truth itself. The domain of memory, then, shapes the way in which humans have access to the divine, the vertical dimension of which is expliticly expressed in the descent-ascent of the ritual passage of initiation. The present study thus lays bare the theology of Memory.
    [Show full text]
  • Hesperos: a Geophysical Mission to Venus
    Hesperos: A geophysical mission to Venus Robert-Jan Koopmansa,∗, Agata Bia lekb, Anthony Donohoec, Mar´ıa Fern´andezJim´enezd, Barbara Frasle, Antonio Gurciullof, Andreas Kleinschneiderg, AnnaLosiak h, Thurid Manneli, I~nigoMu~nozElorzaj, Daniel Nilssonk, Marta Oliveiral, Paul Magnus Sørensen-Clarkm, Ryan Timoneyn, Iris van Zelsto aFOTEC Forschungs- und Technologietransfer GmbH, Wiener Neustadt, Austria bSpace Research Centre Polish Academy of Sciences, Warsaw, Poland cMaynooth University, Department of Experimental Physics, Maynooth, Ireland dUniversidad Carlos III, Madrid, Spain eZentralanstalt f¨urMeteorologie und Geodynamik, Vienna, Austria fRoyal Institute of Technology, Stockholm, Sweden gDelft University of Technology, Delft, The Netherlands hInstitute of Geological Sciences, Polish Academy of Science, Wroclaw, Poland iInstitute for Space Research, Austrian Academy of Sciences jHE Space Operations GmbH, Bremen, Germany kLule˚aUniversity of Technology, Lule˚a,Sweden lInstituto Superior T´ecnico, Lisbon, Portugal mUniversity of Oslo, Oslo, Norway nUniversity of Glasgow, Glasgow, United Kingdom oInstitute of Geophysics, ETH Z¨urich,Z¨urich,Switzerland Abstract The Hesperos mission proposed in this paper is a mission to Venus to in- vestigate the interior structure and the current level of activity. The main questions to be answered with this mission are whether Venus has an internal structure and composition similar to Earth and if Venus is still tectonically active. To do so the mission will consist of two elements: an orbiter to in- vestigate the interior and changes over longer periods of time and a balloon floating at an altitude between 40 and 60km~ to investigate the composition arXiv:1803.06652v1 [astro-ph.EP] 18 Mar 2018 of the atmosphere. The mission will start with the deployment of the balloon which will operate for about 25 days.
    [Show full text]
  • Ephorus on the Founding of Delphi's Oracle Avagianou, Aphrodite Greek, Roman and Byzantine Studies; Summer 1998; 39, 2; Proquest Pg
    Ephorus on the founding of Delphi's Oracle Avagianou, Aphrodite Greek, Roman and Byzantine Studies; Summer 1998; 39, 2; ProQuest pg. 121 Ephorus on the Founding of Delphi's Oracle Aphrodite Avagianou HE SCHEME of the thirty books of the Histories of Ephorus was an account of the world as a Greek of the fourth Tcentury knew it: it included the rise of the Greek states, their activities in the Mediterranean, and their relations with the neighbouring kingdoms. Ephorus laid down the principle that the myths of a remote past were outside his province, because their truth was not ascertainable. However, he chose to begin his work with what we call the Dorian Invasion, which was known to him by legend under the title "Return of the Heracleidae."l He recounts the mythical foundation of Delphi's oracle in the fourth book of his Histories (F 31). Strabo, introducing this pas­ sage of Ephorus, criticises the rationalized view employed by the historian in the myth of the founding of Delphi and attacks the half-hearted rationalization as merely a confusion of history with myth.2 The approach of Ephorus is considered rationalistic or euhemeristic.3 For Jacoby (ad F 31) Ephorus treats two traditions as interwined: on the one hand he puts Themis and Apollo to­ gether, and on the other through the rationalization of Python includes the struggle for the site of Delphi. IFGrHist 70 TT 8,10 (Diad. 4.1.2, 16.76.5). 2Strab. 9.3.11-12; see also Ephorus' interest in the oracle of Delphi, FF 96, 150.
    [Show full text]
  • [PDF]The Myths and Legends of Ancient Greece and Rome
    The Myths & Legends of Ancient Greece and Rome E. M. Berens p q xMetaLibriy Copyright c 2009 MetaLibri Text in public domain. Some rights reserved. Please note that although the text of this ebook is in the public domain, this pdf edition is a copyrighted publication. Downloading of this book for private use and official government purposes is permitted and encouraged. Commercial use is protected by international copyright. Reprinting and electronic or other means of reproduction of this ebook or any part thereof requires the authorization of the publisher. Please cite as: Berens, E.M. The Myths and Legends of Ancient Greece and Rome. (Ed. S.M.Soares). MetaLibri, October 13, 2009, v1.0p. MetaLibri http://metalibri.wikidot.com [email protected] Amsterdam October 13, 2009 Contents List of Figures .................................... viii Preface .......................................... xi Part I. — MYTHS Introduction ....................................... 2 FIRST DYNASTY — ORIGIN OF THE WORLD Uranus and G (Clus and Terra)........................ 5 SECOND DYNASTY Cronus (Saturn).................................... 8 Rhea (Ops)....................................... 11 Division of the World ................................ 12 Theories as to the Origin of Man ......................... 13 THIRD DYNASTY — OLYMPIAN DIVINITIES ZEUS (Jupiter).................................... 17 Hera (Juno)...................................... 27 Pallas-Athene (Minerva).............................. 32 Themis .......................................... 37 Hestia
    [Show full text]
  • 8Th-Grade-ELA-Uranus.Pdf
    several crucial Greek gods, including Zeus, Hades, and Poseidon. Once her Titan children were of age, Gaea decided the time had finally arrived for her to take action against Uranus. From deep within her own soil, she took a large piece of flint and shaped it into a huge stone sickle with the edge of a razor. “Children,” she announced while Uranus was away, “you know I have long detested your father’s wicked ways. If one of you is strong enough, we now have this tool that can end his tyrannical Uranus rule. Which of you will lead us in removing him from power?” The Titans grew pale at the idea of attacking all-powerful Uranus, until In the beginning, there was nothing, only emptiness. Out of this emptiness, known Kronos, the youngest of the set, stepped forward. “I will help you, mother,” he as Chaos, emerged three immortal beings – the lovely earth, called Gaea, the dark announced. “You know I have nothing but hate in my heart for him and I ache to underworld known as Tartarus, and the handsome spirit of love called Eros, whose bring justice to our older brothers who have been unjustly imprisoned for far too presence allowed much of creation to occur. long.” Gaea, without any partner, gave birth to Uranus, the starry evening sky. All alone, Kronos’ courage emboldened the others and a plan was set. Gaea also gave birth to Ourea (Mountains) and Pontus (Sea). In time, Gaea took Uranus to be her husband and together they birthed a generation of powerful That evening when Uranus returned and sought to lie beside his wife in want beings.
    [Show full text]
  • Gods and Heroes in the Athenian Agora (1980)
    EXCAVATIONS OF THE ATHENIAN AGORA PICTURE BOOKS I. Pots and Pans ofCIassical Athens (195I) 2. The Stoa ofAttalos II in Athens (1959) 3. Miniature Sculpturefrom the Athenian Agora (1959) 4. The Athenian Citizen (1960) 5. Ancient Portraits from the Athenian Agora (1960) 6. Amphoras and the Ancient Wine Trade (revised 1979) 7. The Middle Ages in the Athenian Agora (1961) 8. Garden Lore of Ancient Athens (1963) 9. Lampsfrom the Athenian Agora (1964) 10. Inscriptionsfrom the Athenian Agora (1966) I I. Waterworks in the Athenian Agora (1968) 12. An Ancient Shopping Center: The Athenian Agora (1971) 13. Early Burials from the Agora Cemeteries (1973) 14. Graffiti in the Athenian Agora (1974) 15. Greekand Roman Coins in the Athenian Agora (1975) 16. The Athenian Agora: A Short Guide (revised 1980) German and French editions (1977) 17. Socrates in the Agora (1978) 18. Mediaeval and Modern Coins in the Athenian Agora (1978) 19. Gods and Heroes in the Athenian Agora (1980) These booklets are obtainable from the American School of Classical Studies at Athens c/o Institute for Advanced Study, Princeton, N.J. 08540, U.S.A. They are also available in the Agora Museum, Stoa of Attalos, Athens 1 S B N 87661-623-6 Excavations ofthe Athenian Agora, Picture Book No. 19 Prepared by John McK. Camp 11 Produced by The Meriden Gravure Company, Meriden, Connecticut 8 American School of Classical Studies at Athens, 1980 Front Cover: Athena, from a Panathenaic vase, 6th century B.C Gods and Heroes in the Athenian Agora Relief of the Cave of Pan. Second half of the 4th century B.C.
    [Show full text]
  • Greek Pantheon Can Be and Baubo; and Founding Kings Like Erikhthonios, Kadmos Divided Into Roughly Eight Classes
    HE IMMORTALS of the Ancient Greek pantheon can be and Baubo; and founding kings like Erikhthonios, Kadmos divided into roughly eight classes. and Pelops. THE FIRST of these were the PROTOGENOI or First There were many divinities in the Greek pantheon who fell Born gods. These were the primeval beings who emerged at into more than one of these categories. Tykhe (Lady creation to form the very fabric of universe: Earth, Sea, Fortune), for example, can easily be classified under Sky, Night, Day, etc. Although they were divinites they category Two as an Okeanis Nymphe, Three as fortune were purely elemental in form: Gaia was the literal Earth, personified, and Four as a popularly worshipped goddess. Pontos the Sea, and Ouranos the Dome of Heaven. However they were sometimes represented assuming I) THE TWELVE OLYMPIAN GODS anthroporphic shape, albeit ones that were indivisible from their native element. Gaia the earth, for example, might manifest herself as a matronly woman half-risen from the The Greek Pantheon was ruled by a council of twelve great ground ; and Thalassa the sea might lift her head above the gods known as the Olympians, namely Zeus, Hera, waves in the shape of a sea-formed woman. Poseidon, Demeter, Athene, Hephaistos, Ares, Aphrodite, Apollon, Artemis, Hermes, Dionysos, and sometimes Hestia. THE SECOND were the nature DAIMONES (Spirits) These twelve gods demanded worship from all their and NYMPHAI who nurtured life in the four elements. subjects. Those who failed to honour any one of the Twelve E.g. fresh-water Naiades, forest Dryades, beast-loving with due sacrifice and libation were duly punished.
    [Show full text]
  • A Acoustic Waves, 97–100 Adams–Williamson Equation, 119–124, 126, 127, 219 Adiabatic Conditions/Processes, 85, 160 Advecti
    Index A Astronomical Almanac, 43, 66, 231, 238 Acoustic waves, 97–100 Astronomical formulae, 6, 66, 231 Adams–Williamson equation, 119–124, 126, Balmer limit, 74 127, 219 Astronomical unit, 6, 66, 232, 258 Adiabatic conditions/processes, 85, 160 Atmospheric refraction, 20, 257 Advection, 153, 193, 277–279 of temperature, 192 Aerobee rockets, 87, 88 B Albedo Berlage, H.P., 5 bolometric, 145, 161, 164 Bickerton, A.W., 5 Bond, 231 Binary Maker software, 40 geometric, 231, 238, 283 Biosphere, 314 mean, 165 Birkeland, K.O.B., 5 visual, 231 Blagg-Richardson formulation, 7, 37 Alfve´n, H.O.G., 5 Blanchard bone, 1 ALH 84001 (Antarctic meteorite), 310, 311 Bolometric correction (solar), 78 Anaxagoras of Clazomenae, 2 Boltzmann’s constant, 75, 315 Andromeda galaxy (M31), 101 Boundary, core-mantle, 117, 118, 129, 130, Angular momentum, 3, 5, 6, 36, 49, 57, 65, 68, 134, 160, 161, 194–196, 216, 219, 108, 223–228 239, 309 Anticline, 286 Bound-free emission, 73 Apollonius of Perga, 2 Brahe, T., 2–4, 282 Ares, 281 Breccia, 202, 208 Argument of perihelion, 29, 38, 43 Brunt-Va¨isa¨la¨ frequency, 100 Aristarchus of Samos, 2 Buddha, 233 Arrhenius, S.A., 5 Buffon, G.-L.L., 3 Aryabhata, 2 Bulk sound velocity, 195 Asteroids (minor planets) Buoyancy, 90, 97, 152, 193, 270, 271, Ceres, 65, 106, 143 273, 274 Eris, 6 Buoyant frequency, 100 Greek and Trojan, 41 Icarus, 238 Kirkwood gaps, 54 C “rubble pile”, 137 Cameron, A.G.W., 5, 225 trans-Neptunian objects, 138 Capella, M., 2 Vesta, 255 Cell, diamond-anvil, 127, 133, 134, 195 E.F.
    [Show full text]
  • FRIDAYS 7:45–8:30 from 7:45–8:30
    Learn About Greek and Roman Mythology Share What You Know! Take the Test and Win CASH PRIZES! First Meeting: Friday, Dec 2nd Conrad’s Room MEDUSA MYTHOLOGY CLUB Meets Every Friday Morning FRIDAYS 7:45–8:30 from 7:45–8:30 First Meeting: Friday, December 2nd Meet like-minded students interested in Greek and Roman mythology! Prepare together for The Medusa Mythology Exam, an “International Competition For COACHES: Mythology Enthusiasts”. The 2016 Exam theme is “The Rise and Fall Of the Titans” – get ahead and see the resources on the back! Katrina McLane, GT Come to our first meeting to learn about this exciting opportunity! [email protected] Jocelyn Conrad, Lang Arts [email protected] Fountain Middle School 515 North Santa Fe Ave Jessica Wykstra, P.E. Fountain, CO 80817 [email protected] Phone (719) 382-1580 2016 Medusa Mythology Exam “The Rise and Fall of the Titans” Note Bene: For this exam, Olympians will only be included on a question when they are part of a story that stems from a Titan. The exam will cover the following: The six male Titans: Oceanus, Coeus, Hyperion, Crius, Iapetus and Cronus (the youngest). The six female Titans (Titanides): Theia, Rhea, Themis, Mnemosyne, Phoebe and Tethys. Titans and their offspring: Iapetus + Asia (his niece, daughter of Oceanus and Oceanus + Tethys: Tethys) OR Clymene: nautical Oceanids, including Styx, Asia, Electra, Atlas Doris, Eurynome, Metis and others Prometheus Coeus + Phoebe: Epimetheus Asteria Cronos + Rhea: Leto (mother of Artemis and Apollo) the six older Olympians Hyperion + Theia” Themis + her nephew Zeus (his second wife): Eos Moirae Helios Horae Selene Astraea Crius + Eurybia: the River Eridanus' water nymphs Astraeus (perhaps) the Hesperidae Pallas Mnemosyne + her nephew Zeus: Perses The nine Muse Primary sources Secondary sources On-line sources (English translation of these sources are readily available.) Apollodorus, The Library Bulfinch, Thomas, Greek and Classical Mythology, 9th ed.
    [Show full text]