Results for 'Anne S. Troelstra'

1000+ found
Order:
  1.  73
    Proof theory and constructive mathematics.Anne S. Troelstra - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 973--1052.
  2.  65
    Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.
  3.  32
    Aspects of the Theory of Syntax.Ann S. Ferebee - 1965 - Journal of Symbolic Logic 35 (1):167.
  4.  52
    The unpredictable past: Spontaneous autobiographical memories outnumber autobiographical memories retrieved strategically.Anne S. Rasmussen & Dorthe Berntsen - 2011 - Consciousness and Cognition 20 (4):1842-1846.
    Involuntary autobiographical memories are spontaneously arising memories of personal events, whereas voluntary memories are retrieved strategically. Voluntary remembering has been studied in numerous experiments while involuntary remembering has been largely ignored. It is generally assumed that voluntary recall is the standard way of remembering, whereas involuntary recall is the exception. However, little is known about the actual frequency of these two types of remembering in daily life. Here, 48 Danish undergraduates recorded their involuntary versus voluntary autobiographical memories during a day (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  5.  1
    Tziorntano Brouno: hē thesē tou stēn historia tēs philosophias kai tōn ideōn.Iōannēs Phikas - 2000 - Athēna: Hellēnika Grammata.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Ta Anekdota tou Diogenous kai ta asteia tou Hierokleous. Diogenes, Hierocles & Iōannēs Chr Poulos (eds.) - 1976 - [s.n.],:
     
    Export citation  
     
    Bookmark  
  7.  14
    New Knowledge from Old Data: The Role of Standards in the Sharing and Reuse of Ecological Data.Ann S. Zimmerman - 2008 - Science, Technology, and Human Values 33 (5):631-652.
    This article analyzes the experiences of ecologists who used data they did not collect themselves. Specifically, the author examines the processes by which ecologists understand and assess the quality of the data they reuse, and investigates the role that standard methods of data collection play in these processes. Standardization is one means by which scientific knowledge is transported from local to public spheres. While standards can be helpful, the results show that knowledge of the local context is critical to ecologists' (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  8. On the morality of hunting.Ann S. Causey - 1989 - Environmental Ethics 11 (4):327-343.
    The controversy between hunting apologists and their anti-hunting antagonists continues to escalate. Numerous attempts to settle the issue have failed in part because the participants have often not distinguished and treated separately the various activities labeled “hunting.” Those who participate in hunting fall into one of two categories: shooters or sport hunters. Shooters are those whose ultimate goals do not depend on hunting but can be met in other ways; sport hunters are those who take immense pleasure in the hunt (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9.  26
    Ways of sampling voluntary and involuntary autobiographical memories in daily life.Anne S. Rasmussen, Kim B. Johannessen & Dorthe Berntsen - 2014 - Consciousness and Cognition 30:156-168.
  10.  7
    Abstract Sets and Finite Ordinals. An Introduction to the Study of Set Theory.Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (3):543-543.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  74
    The Logical Problem of Language Acquisition: A Probabilistic Perspective.Anne S. Hsu & Nick Chater - 2010 - Cognitive Science 34 (6):972-1016.
    Natural language is full of patterns that appear to fit with general linguistic rules but are ungrammatical. There has been much debate over how children acquire these “linguistic restrictions,” and whether innate language knowledge is needed. Recently, it has been shown that restrictions in language can be learned asymptotically via probabilistic inference using the minimum description length (MDL) principle. Here, we extend the MDL approach to give a simple and practical methodology for estimating how much linguistic data are required to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  12.  32
    The probabilistic analysis of language acquisition: Theoretical, computational, and experimental analysis.Anne S. Hsu, Nick Chater & Paul M. B. Vitányi - 2011 - Cognition 120 (3):380-390.
    No categories
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  13.  52
    When Absence of Evidence Is Evidence of Absence: Rational Inferences From Absent Data.Anne S. Hsu, Andy Horng, Thomas L. Griffiths & Nick Chater - 2017 - Cognitive Science 41 (S5):1155-1167.
    Identifying patterns in the world requires noticing not only unusual occurrences, but also unusual absences. We examined how people learn from absences, manipulating the extent to which an absence is expected. People can make two types of inferences from the absence of an event: either the event is possible but has not yet occurred, or the event never occurs. A rational analysis using Bayesian inference predicts that inferences from absent data should depend on how much the absence is expected to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14.  13
    Response suppression during stimuli temporally different from the prefood stimulus.Anne S. Bice & John de Lorge - 1978 - Bulletin of the Psychonomic Society 11 (6):377-379.
  15. The Sources of Theophanes for the Heraclian Dynasty.Ann S. Proudfoot - 1974 - Byzantion 44:367-439.
     
    Export citation  
     
    Bookmark  
  16.  27
    Integrity in the Care of Elderly People, as Narrated by Female Physicians.Ann Nordam, Venke Sørlie & R. Förde - 2003 - Nursing Ethics 10 (4):388-403.
    Three female physicians were interviewed as part of a comprehensive investigation into the narratives of female and male physicians and nurses, concerning their experience of being in ethically difficult care situations in the care of elderly people. The interviewees expressed great concern for the low status of care for elderly people, and the need to fight for the specialty and for the care and rights of their patients. All the interviewees’ narratives concerned problems relating to perspectives of both action ethics (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  17.  10
    Northern Cheyenne Ethnopsychology.Anne S. Straus - 1977 - Ethos: Journal of the Society for Psychological Anthropology 5 (3):326-357.
  18. Language Learning From Positive Evidence, Reconsidered: A Simplicity-Based Approach.Anne S. Hsu, Nick Chater & Paul Vitányi - 2013 - Topics in Cognitive Science 5 (1):35-55.
    Children learn their native language by exposure to their linguistic and communicative environment, but apparently without requiring that their mistakes be corrected. Such learning from “positive evidence” has been viewed as raising “logical” problems for language acquisition. In particular, without correction, how is the child to recover from conjecturing an over-general grammar, which will be consistent with any sentence that the child hears? There have been many proposals concerning how this “logical problem” can be dissolved. In this study, we review (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  33
    A Catalogue Of The Roman And Related Foreign Coins In The Collection Of Sir Stephen Courtauld At The University College Of Rhodesia And Nyasaland. [REVIEW]Anne S. Robertson - 1966 - The Classical Review 16 (1):126-127.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  60
    ‘barbarous Radiates’, Imitations Of Third Century Roman Coins. [REVIEW]Anne S. Robertson - 1950 - The Classical Review 64 (3-4):159-159.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21.  52
    Coins of Constantine and Licinius. [REVIEW]Anne S. Robertson - 1967 - The Classical Review 17 (3):375-377.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  27
    Festal and Dated Coins of the Roman Empire. [REVIEW]Anne S. Robertson - 1966 - The Classical Review 16 (3):420-421.
  23.  29
    Finds of Greek Coins in the British Isles: the evidence reconsidered in the light of the Rackett Collection from Dorset. [REVIEW]Anne S. Robertson - 1950 - The Classical Review 64 (2):77-77.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  31
    Late Roman and Byzantine Solidi found in Sweden and Denmark. [REVIEW]Anne S. Robertson - 1968 - The Classical Review 18 (3):361-362.
  25.  57
    Monnaies coloniales d'Antioche de Pisidie. [REVIEW]Anne S. Robertson - 1973 - The Classical Review 23 (1):109-110.
  26.  25
    Orichalcum and Related Ancient Alloys. [REVIEW]Anne S. Robertson - 1965 - The Classical Review 15 (3):370-371.
  27.  36
    On the Problems of the Alexandrian Mint. [REVIEW]Anne S. Robertson - 1969 - The Classical Review 19 (3):388-389.
  28.  43
    Roman Imperial Coinage. [REVIEW]Anne S. Robertson - 1969 - The Classical Review 19 (3):351-353.
  29.  26
    The Six Main Aes Coinages of Augustus. [REVIEW]Anne S. Robertson - 1955 - The Classical Review 5 (1):81-83.
  30.  43
    The Effectiveness of Art Therapy for Anxiety in Adult Women: A Randomized Controlled Trial.Annemarie Abbing, Erik W. Baars, Leo de Sonneville, Anne S. Ponstein & Hanna Swaab - 2019 - Frontiers in Psychology 10.
  31. Vocal interaction dynamics of children with and without autism.Anne S. Warlaumont, D. Kimbrough Oller, Rick Dale, Jeffrey A. Richards, Jill Gilkerson & Dongxin Xu - 2010 - In S. Ohlsson & R. Catrambone (eds.), Proceedings of the 32nd Annual Conference of the Cognitive Science Society. Cognitive Science Society.
     
    Export citation  
     
    Bookmark   2 citations  
  32. Family, Civil Society, State: Is Gramsci's Concept of Societa Civile Still Relevant?Anne S. Sassoon - 1998 - Philosophical Forum 29 (3-4):206-217.
     
    Export citation  
     
    Bookmark  
  33.  30
    The missing chapter: The interaction between behavioral and symbolic inheritance.Anne S. Warlaumont & Rick Dale - 2007 - Behavioral and Brain Sciences 30 (4):377-378.
    A strength of Jablonka & Lamb's (J&L's) book lies in its accessible as well as thorough treatment of genetic and epigenetic inheritance. The authors also provide a stimulating framework integrating evolutionary research across disciplines. A weakness is its unsystematic treatment of the interaction between behavioral and symbolic inheritance, particularly in their discussion of language.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  34. Teacher professional development as situated sense‐making: A case study in science education.Ann S. Rosebery & Gillian M. Puttick - 1998 - Science Education 82 (6):649-677.
    No categories
     
    Export citation  
     
    Bookmark  
  35.  25
    S. I. Adán. Problema algoritma . Nauka i žizn′, no. 8 , pp. 13–14.Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (3):540.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  32
    Xenakis Jason. Truth-functional perturbations. Logique et analyse., n. s. vol. 12 , pp. 275–276.Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (3):551.
  37. Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
    This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   160 citations  
  38.  17
    A. B. Hutoréckij. O rékursivnom izomorfizmé . Algébra i logika, Séminar, vol. 4 no. 3 , pp. 85–88.Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  18
    Alan Rose. Extensions of some theorems of Schmidt and McKinsey, I. Norsk matematisk tidsskrift, vol. 34 , pp. 1–9.Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):690-690.
  40.  5
    Blum Alex. The missing premiss. Notre Dame journal of formal logic, vol. 11 , pp. 203–204.Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):689.
  41.  10
    Erwin Engeler. Algorithmic properties of structures. Mathematical systems theory, vol. 1 , pp. 183–195.Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (1):197.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  13
    Elvin Rasof. The Carrollian Matrix. Notre Dame journal of formal logic, vol. 11 , pp. 497–504.Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):689-689.
  43.  5
    Markov A.. O nérazréšimosti nékotoryh problém topologii . Doklady Akadémii Nauk SSSR, vol. 123 , pp. 978–980.Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (1):197-197.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  17
    Raymond M. Smullyan. Elementary formal systems. Journal of the Mathematical Society of Japan, vol. 13 , pp. 38–44.Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117.
  45.  17
    V. I. Klévačév. O nékotoryh sistémah, polnyh υ Pk . Kibérnétika , no. 5 , pp. 139–140.Ann S. Ferebee - 1975 - Journal of Symbolic Logic 40 (3):465-466.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  17
    V. I. Kolpakov. Océnka čisla pokrytij n-mérnogo kuba . Diskrétnyj analiz, no. 14 , pp. 16–17.Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):627.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. John Dewey, the Collected Works, 1882-1953 Index.Anne S. Sharpe, John Dewey, Barbara Levine & Harriet Furst Simon - 1991
     
    Export citation  
     
    Bookmark   1 citation  
  48. Elsagōgē stēo epistēmē tou dikalou.Iōannēs P. Aravantinos - 1978
     
    Export citation  
     
    Bookmark  
  49.  18
    Incomplete Knowledge of the Clinical Context as a Barrier to Interpreting Incidental Genetic Research Findings.Gregory Costain & Anne S. Bassett - 2013 - American Journal of Bioethics 13 (2):58-60.
  50.  27
    The Ever-Evolving Concept of Clinical Significance and the Potential for Sins of Omission in Genetic Research.Gregory Costain & Anne S. Bassett - 2012 - American Journal of Bioethics 12 (10):22-24.
    The American Journal of Bioethics, Volume 12, Issue 10, Page 22-24, October 2012.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000