Search Results - Judge Turpin~

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
  2. 2
  3. 3
  4. 4

    Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

    Published 2021
    Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
    Link to Metadata
    Electronic eBook
  5. 5
  6. 6

    Asylum Determination in Europe Ethnographic Perspectives /

    Published 2019
    Table of Contents: “…Becoming a Decision-Maker, or 'Don't Turn Your Heart Into a Den of Thieves and Murderers'; Stephanie Schneider -- Conclusion; Nick Gill.…”
    Link to Metadata
    Electronic eBook
  7. 7

    The Intelligent Troglodyte’s Guide to Plato’s Republic by Drabkin, Douglas

    Published 2016
    Table of Contents: “…Book I -- 1 A Religious Festival in the Piraeus -- 2 Being Old -- 3 Treasure for Heaven -- 4 Giving What is Owed -- 5 The Craft of Justice -- 6 Benefiting Friends and Harming Enemies -- 7 The Advantage of the Stronger -- 8 The Good Shepherd -- 9 The Blushing Argument -- 10 Function, Virtue, and the Soul -- Book II -- 11 The Division of Goods -- 12 The Social Contract Theory of Justice -- 13 The Magic Ring -- 14 The Challenge -- 15 The Teaching of Justice -- 16 Glaucon's Lover -- 17 From Souls to Cities -- 18 Making the Most of Differences -- 19 Luxuries in the Just City -- 20 The Good Soldier -- 21 Censoring Homer -- 22 Gods Causing Bad Things -- 23 Gods in Disguise or Speaking Falsely -- Book III -- 24 Fear and Grief -- 25 Laughter and Lying -- 26 Lust, Wrath, and Greed -- 27 Narrative Style and Personal Integrity -- 28 The Emotional Power of Tune and Rhythm -- 29 Love of the Fine and Beautiful -- 30 Physical Training -- 31 Doctors and Judges -- 32 Harmony in the Soul -- 33 Rulers -- 34 The Myth of the Metals -- 35 Private Property and Private Interests -- Book IV -- 36 The City as a Whole -- 37 Lawfulness Internalized, Legislation Minimized -- 38 Wisdom in the City -- 39 Courage in the City -- 40 Temperance in the City -- 41 Justice in the City -- 42 Parts of the Soul ¬¬ Appetitive and Rational -- 43 The Spirited Part of the Soul -- 44 The Virtues of the Soul -- 45 Injustice is Sick -- Book V -- 46 A Desire to Listen -- 47 The Natures of Men and Women -- 48 Good Breeding -- 49 Families and the Saying of “Mine” and “Not Mine” -- 50 The Waging of War -- 51 Philosophers and Knowledge of the Forms -- Book VI -- 52 The Virtues of the Philosopher -- 53 Philosophical Perspective and the Fear of Death -- 54 The Uselessness of Philosophers -- 55 Gifted Students and the Sophists -- 56 Putting Knowledge of the Forms to Use -- 57 The Form of the Good -- 58 Every Soul Pursues the Good -- 59 The Sun -- 60 Degrees of Clarity (The Line) -- Book VII -- 61 The Cave -- 62 Two Kinds of Confusion -- 63 The Craft of Education -- 64 Compulsory Service for Philosophers -- 65 Numbers as Summoners -- 66 Further Mathematical Studies -- 67 Dialectic -- 68 Selecting Students for Philosophy -- 69 Abuses of Refutation -- 70 Completing the Education of the Rulers -- 71 Establishing Justice -- Book VIII -- 72 The Fall of the Aristocratic City -- 73 The Timocratic City -- 74 The Timocratic Soul -- 75 The Oligarchic City -- 76 The Oligarchic Soul -- 77 The Democratic City -- 78 The Democratic Soul -- 79 The Tyrannical City -- Book IX -- 80 Lawless Desires -- 81 The Right Way to Fall Asleep -- 82 The Tyrannical Soul -- 83 The First Proof: Analogy of City and Soul -- 84 The Second Proof: Who's to Say? …”
    Access online version
    Electronic eBook
  8. 8