Results for 'Elaine Pimentel'

9 found
Order:
  1.  74
    The ILLTP Library for Intuitionistic Linear Logic.Carlos Olarte, Valeria Correa Vaz De Paiva, Elaine Pimentel & Giselle Reis - manuscript
    Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  88
    XVI Brazilian Logic Conference (EBL 2011).Walter Carnielli, Renata de Freitas & Petrucio Viana - 2012 - Bulletin of Symbolic Logic 18 (1):150-151.
    This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Economy of the Flesh: Nature and Economy in David Hume and Adam Smith.Jonathan Pimentel - 2014 - Dissertation, Lutheran School of Theology at Chicago
    Download  
     
    Export citation  
     
    Bookmark  
  4. ¿Quién mató a Elaine? Autos robot y toma de decisiones.Fabio Morandín-Ahuerma - 2019 - Elementos 115:33-38.
    Este artículo discute sobre vehículos autónomos y cuáles deben ser los criterios para la configuración de los algoritmos en la toma de decisiones de los autos robot. Analiza el caso HWY18MH010 de la NTSB sobre el primer peatón que fue atropellado y muerto por un taxi de uber conducido por un sistema computarizado autónomo. — This article discusses autonomous vehicles and what should be the criteria for the configuration of algorithms in the decision making of robot cars. Analyze the case (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  5.  59
    Elaine Landry,* Ed. Categories for the Working Philosopher. [REVIEW]Neil Barton - 2020 - Philosophia Mathematica 28 (1):95-108.
    LandryElaine, * ed. Categories for the Working Philosopher. Oxford University Press, 2017. ISBN 978-0-19-874899-1 ; 978-0-19-106582-8. Pp. xiv + 471.
    Download  
     
    Export citation  
     
    Bookmark  
  6.  18
    A Challenge to the Extended Mind Hypothesis.Elaine McKenzie Jackson - 2018 - Dissertation, University of Glasgow
    The extended mind hypothesis (EMH) has been a major focus of debate since its publication in 1998, prompting interest from proponents and exponents alike. At the heart of the paper is the aim of understanding mental phenomena, specifically, what constitutes a mental state. To fully understand EMH it is crucial to appreciate the distinction between our mental states. Firstly, we have mental states that derive from our experiences, these are considered conscious states. They contain feelings or emotions, for example, falling (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Breastfeeding Mothers’ Experiences: The Ghost in the Machine.Paul Regan & Elaine Ball - 2013 - Qualitative Health Research 23 (5):679-688.
    We critically review qualitative research studies conducted from 2000 to 2012 exploring Western mothers’ breastfeeding experiences. We used the search criteria “breastfeeding,” “qualitative,” and “experiences” to retrieve 74 qualitative research studies, which were reduced to 28 when the terms “existential’’ and “research’’ were applied. We found that the impact of technology and the pervasive worldwide marketing of infant formula devalued breastfeeding mothers’ narratives in a number of ways. Women’s bodies were viewed as machine-like objects and the breast was seen as (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  45
    Hormônios e Sistema Endócrino na Reprodução Animal.Emanuel Isaque Cordeiro da Silva & Emanuel Isaque Da Silva - manuscript
    HORMÔNIOS E SISTEMA ENDÓCRINO NA REPRODUÇÃO ANIMAL -/- OBJETIVO -/- As glândulas secretoras do corpo são estudadas pelo ramo da endocrinologia. O estudante de Veterinária e/ou Zootecnia que se preze, deverá entender os processos fisio-lógicos que interagem entre si para a estimulação das glândulas para a secreção de vários hormônios. -/- Os hormônios, dentro do animal, possuem inúmeras funções; sejam exercendo o papel sobre a nutrição, sobre a produção de leite e sobre a reprodução, os hormônios desempenham um primordial papel (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. What's Wrong with the Torturer?Nolen Gertz - manuscript
    In this paper I attempt to both look beyond our general contempt for torture to investigate the processes and procedures that must be in place for torture to even occur and show how our contempt actually serves to support these processes and procedures. The idea that the torturer is not simply someone who performs a particular activity but rather someone who, through his activity, becomes something alien and nightmarish to us has become so ingrained in our understanding of torture that (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark