Order:
Disambiguations
Stanley A. Cook [14]S. A. Cook [14]Stephen Cook [13]Stephen A. Cook [8]
Susan Wagner Cook [6]Scott Cook [5]Stephen L. Cook [4]S. D. Noam Cook [4]

Not all matches are shown. Search with initial or firstname to single out others.

See also
  1.  99
    The Relative Efficiency of Propositional Proof Systems.Stephen A. Cook & Robert A. Reckhow - 1979 - Journal of Symbolic Logic 44 (1):36-50.
  2.  12
    Gesturing Makes Learning Last.Susan Wagner Cook, Zachary Mitchell & Susan Goldin-Meadow - 2008 - Cognition 106 (2):1047-1058.
  3.  26
    The Verbal Conditioning of the Galvanic Skin Reflex.S. W. Cook & R. E. Harris - 1937 - Journal of Experimental Psychology 21 (2):202.
  4.  10
    Functional Interpretations of Feasibly Constructive Arithmetic.Stephen Cook & Alasdair Urquhart - 1993 - Annals of Pure and Applied Logic 63 (2):103-200.
    A notion of feasible function of finite type based on the typed lambda calculus is introduced which generalizes the familiar type 1 polynomial-time functions. An intuitionistic theory IPVω is presented for reasoning about these functions. Interpretations for IPVω are developed both in the style of Kreisel's modified realizability and Gödel's Dialectica interpretation. Applications include alternative proofs for Buss's results concerning the classical first-order system S12 and its intuitionistic counterpart IS12 as well as proofs of some of Buss's conjectures concerning IS12, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  5.  7
    Making Children Gesture Brings Out Implicit Knowledge and Leads to Learning.Sara C. Broaders, Susan Wagner Cook, Zachary Mitchell & Susan Goldin-Meadow - 2007 - Journal of Experimental Psychology: General 136 (4):539-550.
  6.  36
    Hand Gesture and Mathematics Learning: Lessons From an Avatar.Susan Wagner Cook, Howard S. Friedman, Katherine A. Duggan, Jian Cui & Voicu Popescu - 2016 - Cognitive Science 40 (7):518-535.
    A beneficial effect of gesture on learning has been demonstrated in multiple domains, including mathematics, science, and foreign language vocabulary. However, because gesture is known to co-vary with other non-verbal behaviors, including eye gaze and prosody along with face, lip, and body movements, it is possible the beneficial effect of gesture is instead attributable to these other behaviors. We used a computer-generated animated pedagogical agent to control both verbal and non-verbal behavior. Children viewed lessons on mathematical equivalence in which an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  8
    Hand Gesture and Mathematics Learning: Lessons From an Avatar.Susan Wagner Cook, Howard S. Friedman, Katherine A. Duggan, Jian Cui & Voicu Popescu - 2017 - Cognitive Science 41 (2):518-535.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  15
    Embodied Communication: Speakers' Gestures Affect Listeners' Actions.Susan Wagner Cook & Michael K. Tanenhaus - 2009 - Cognition 113 (1):98-104.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  9.  62
    Zhuang Zi and His Carving of the Confucian Ox.Scott Cook - 1997 - Philosophy East and West 47 (4):521-553.
    Zhuang Zi's relation to the Confucian school is reexamined. It is argued that although Zhuang Zi was fond of highlighting the absurdities of the Confucian enterprise, we can nonetheless detect in his writings a great admiration for much of what constituted the central core of the Confucian vision. This essay analyzes Confucius' image of "musical perfection," representing the total concordance of ritual restraints and harmonious freedom; traces the Confucian notion of self-cultivation through Mencius' passage on the "full-flowing energy"; and concludes (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10.  17
    Gestures Make Memories, but What Kind? Patients with Impaired Procedural Memory Display Disruptions in Gesture Production and Comprehension.Nathaniel B. Klooster, Susan W. Cook, Ergun Y. Uc & Melissa C. Duff - 2014 - Frontiers in Human Neuroscience 8.
  11.  67
    Quantified Propositional Calculus and a Second-Order Theory for NC1.Stephen Cook & Tsuyoshi Morioka - 2005 - Archive for Mathematical Logic 44 (6):711-749.
    Let H be a proof system for quantified propositional calculus. We define the Σqj-witnessing problem for H to be: given a prenex Σqj-formula A, an H-proof of A, and a truth assignment to the free variables in A, find a witness for the outermost existential quantifiers in A. We point out that the Σq1-witnessing problems for the systems G*1and G1 are complete for polynomial time and PLS, respectively. We introduce and study the systems G*0 and G0, in which cuts are (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  24
    Consequences of the Provability of NP ⊆ P/Poly.Stephen Cook & Jan Krajíček - 2007 - Journal of Symbolic Logic 72 (4):1353 - 1371.
    We prove the following results: (i) PV proves NP ⊆ P/poly iff PV proves coNP ⊆ NP/O(1). (ii) If PV proves NP ⊆ P/poly then PV proves that the Polynomial Hierarchy collapses to the Boolean Hierarchy. (iii) $S_{2}^{1}$ proves NP ⊆ P/poly iff $S_{2}^{1}$ proves coNP ⊆ NP/O(log n). (iv) If $S_{2}^{1}$ proves NP ⊆ P/poly then $S_{2}^{1}$ proves that the Polynomial Hierarchy collapses to PNP[log n]. (v) If $S_{2}^{2}$ proves NP ⊆ P/poly then $S_{2}^{2}$ proves that the Polynomial Hierarchy (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  7
    The Making of the English: English History, British Identity, Aryan Villages, 1870–1914.Simon John Cook - 2014 - Journal of the History of Ideas 75 (4):629-649.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  30
    A Kuhnian Perspective on Econometric Methodology.Steven Cook - 2003 - Journal of Economic Methodology 10 (1):59-78.
    While there exist numerous applications of Kuhn's analysis of scientific revolutions to economics, there is yet to be an application to econometrics. The present paper addresses this via an analysis of the often-documented transition between the textbook and LSE methodologies witnessed in British time series econometrics. This exercise allows a number of issues to be raised. First, it will be questioned whether the observed transition in econometrics is an appropriate subject for analysis within the Kuhnian framework. This is the primary (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  4
    The Proof Complexity of Linear Algebra.Michael Soltys & Stephen Cook - 2004 - Annals of Pure and Applied Logic 130 (1-3):277-323.
    We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We give what is apparently the first feasible proofs of the Cayley–Hamilton theorem and other properties of the determinant, and study the propositional proof complexity of matrix identities such as AB=I→BA=I.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  30
    Pleasant and Unpleasant Odors Influence Hedonic Evaluations of Human Faces: An Event-Related Potential Study.Stephanie Cook, Nicholas Fallon, Hazel Wright, Anna Thomas, Timo Giesbrecht, Matt Field & Andrej Stancak - 2015 - Frontiers in Human Neuroscience 9.
  17.  6
    Mothers Modulate Their Gesture Independently of Their Speech.Caitlin Hilliard, Elizabeth O’Neal, Jodie Plumert & Susan Wagner Cook - 2015 - Cognition 140:89-94.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  10
    Late Victorian Visual Reasoning and Alfred Marshall's Economic Science.Simon Cook - 2005 - British Journal for the History of Science 38 (2):179-195.
    Today the economic diagram is employed universally in teaching and research by professional economists. Yet the history of its construction shows that much that has been regarded as distinctive of twentieth-century visual culture was prefigured in the nineteenth. This paper will place the construction of the first economic diagrams by Alfred Marshall in the context both of contemporary visual technologies developed in other moral sciences, and of his wider theory of industrial production. The paper will argue that an understanding of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  15
    A Second-Order System for Polytime Reasoning Based on Grädel's Theorem.Stephen Cook & Antonina Kolokolova - 2003 - Annals of Pure and Applied Logic 124 (1-3):193-231.
    We introduce a second-order system V1-Horn of bounded arithmetic formalizing polynomial-time reasoning, based on Grädel's 35) second-order Horn characterization of P. Our system has comprehension over P predicates , and only finitely many function symbols. Other systems of polynomial-time reasoning either allow induction on NP predicates , and hence are more powerful than our system , or use Cobham's theorem to introduce function symbols for all polynomial-time functions . We prove that our system is equivalent to QPV and Zambella's P-def. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  51
    Review: Alan Cobham, Yehoshua Bar-Hillel, The Intrinsic Computational Difficulty of Functions. [REVIEW]Stephen A. Cook - 1969 - Journal of Symbolic Logic 34 (4):657-657.
  21.  21
    Minds, Machines and Economic Agents: Cambridge Receptions of Boole and Babbage.Simon Cook - 2005 - Studies in History and Philosophy of Science Part A 36 (2):331-350.
    In the 1860s and 1870s the logic of Boole and the calculating machines of Babbage were key resources in W. S. Jevons’s attempt to construct a mechanical model of the mind, and both therefore played an important role in Jevons’s attempted revolution in economic theory. In this same period both Boole and Babbage were studied within the Cambridge Moral Sciences Tripos, but the Cambridge reading of Boole and Babbage was much more circumspect. Implicitly following the division of the moral sciences (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  13
    On the Semantic Approach to Econometric Methodology.Steven Cook - 2005 - Journal of Economic Methodology 12 (1):117-123.
    In recent research, Davis (2005) has introduced the semantic conception of theories as a means of studying the differing practices of the Textbook and LSE approaches to econometric modelling. In this paper, Davis' (2005) use of the semantic view is examined, with close attention paid to the stated roles of the semantic notions of ?model dimensions? and ?bridging assumptions?. While comments concerning the latter are of a supportive nature, some concerns are raised in relation to Davis' use of model dimensions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  15
    The Strength and Direction of Associations Formed in the Learning of Nonsense Syllables.E. Raskin & S. W. Cook - 1937 - Journal of Experimental Psychology 20 (4):381.
  24.  8
    Boolean Programs and Quantified Propositional Proof Systems.Stephen Cook & Michael Soltys - 1999 - Bulletin of the Section of Logic 28 (3):119-129.
  25.  3
    The Cambridge Ancient History.S. C., J. B. Bury, S. A. Cook & F. E. Adcock - 1924 - Journal of Hellenic Studies 44:309.
  26. Ardeshir, M., Ruitenburg, W. And Salehi, S., Intuitionistic.C. Areces, P. Blackburn, M. Marx, S. Cook, A. Kolokolova, T. Coquand, G. Sambin, J. Smith, S. Valentini & P. Dybjer - 2003 - Annals of Pure and Applied Logic 124:301.
  27.  11
    2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium'02.Lev D. Beklemishev, Stephen Cook, Olivier Lessmann, Simon Thomas, Jeremy Avigad, Arnold Beckmann, Tim Carlson, Robert L. Constable & Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (1):71.
  28. Using Fictive Narrative to Teach Ethics/Philosophy.Michael Boylan, Felicia Nimue Ackerman, Gabriel Palmer-Fernandez & Sybol Cook - 2011 - Teaching Ethics 12 (1):61-94.
     
    Export citation  
     
    Bookmark  
  29. 2008 Annual Meeting of the Association for Symbolic Logic-University of California, Irvine-Irvine, California-March 27-30, 2008-Abstracts. [REVIEW]Sam Buss, Stephen Cook, Jos Ferreirs, Andy Lewis, David Marker, Theodore Slaman & Jamie Tappenden - 2008 - Bulletin of Symbolic Logic 14 (3).
  30.  17
    University of California, Irvine Irvine, California March 27–30, 2008.Sam Buss, Stephen Cook, José Ferreirós, David Marker, Theodore Slaman & Jamie Tappenden - 2008 - Bulletin of Symbolic Logic 14 (3).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  30
    Alan Cobham. The Intrinsic Computational Difficulty of Functions. Logic, Methodology and Philosophy of Science, Proceedings of the 1964 International Congress, Edited by Yehoshua Bar-Hillel, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1965, Pp. 24–30. [REVIEW]Stephen A. Cook - 1969 - Journal of Symbolic Logic 34 (4):657.
  32.  4
    A Lydian-Aramaic Bilingual. II.Stanley A. Cook - 1917 - Journal of Hellenic Studies 37:219-231.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  33.  22
    Bečvář Jiří. Real-Time and Complexity Problems in Automata Theory. English with Czech Summary. Kybernetika , Vol. 1 , Pp. 475–498. [REVIEW]Stephen A. Cook - 1971 - Journal of Symbolic Logic 36 (2):346-346.
  34. Correspondence.Stanley A. Cook & Harold R. Smart - 1927 - Journal of Philosophical Studies 2 (7):439-441.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  35.  39
    Childhood Memories of Top Meadow.Sheila Cook - 1996 - The Chesterton Review 22 (4):559-560.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  8
    Characterizations of Ordinal Numbers in Set Theory.S. A. Cook & Hao Wang - 1968 - Journal of Symbolic Logic 33 (1):113-113.
  37.  14
    Econometric Methodology Ii the Role of the Philosophy of Science.S. Cook - 1996 - Department of Economics, University of Southampton.
  38.  9
    Grotean Moral Science: Classical Tragedy and Political Economy.S. Cook & C. Donohue - 2018 - Collingwood and British Idealism Studies 24 (2):251-270.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  7
    Grotean Moral Science: Classical Tragedy and Political Economy.S. Cook & >C. Donohue - 2018 - Collingwood and British Idealism Studies 24 (2):251-270.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  9
    Isaiah 14: The Birth of a Zombie Apocalypse?Stephen L. Cook - 2019 - Interpretation: A Journal of Bible and Theology 73 (2):130-142.
    Isaiah 14, a text about the infamous fall into the netherworld of a proud celestial being, has played a key role in the history of biblical understanding. In particular, the netherworld eschatology shaped Israelite end-time beliefs, or apocalyptic eschatology. In Isaiah 14, before readers’ eyes, a transcendent archetype, the ill-fated “Shining One,” materializes on earth as an historical figure, King Sargon II of Assyria. Later, the idea of an “incarnation” of the Shining One as an earthly entity evolves as a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  24
    Jan Krajíček, Pavel Pudlák, and Gaisi Takeuti. Bounded Arithmetic and the Polynomial Hierarchy. Ibid., Vol. 52 , Pp. 143–153. - Samuel R. Buss. Relating the Bounded Arithmetic and Polynomial Time Hierarchies. Ibid., Vol. 75 , Pp. 67–77. - Domenico Zambella. Notes on Polynomially Bounded Arithmetic. The Journal of Symbolic Logic, Vol. 61 , Pp. 942–966. [REVIEW]Stephen Cook - 1999 - Journal of Symbolic Logic 64 (4):1821-1823.
  42.  26
    Methodological Aspects of the Encompassing Principle.Steven Cook - 1999 - Journal of Economic Methodology 6 (1):61-78.
    The philosophy of science literature has played an increasing role in discussion of econometric methodology in recent years, and the Hendry methodology in particular has received much attention. Despite this, the encompassing principle has been overlooked in the methodological literature. This paper addresses this by examining the major methodological implications of the principle.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  9
    Manuel Blum. A Machine-Independent Theory of the Complexity of Recursive Functions. Journal of the Association for Computing Machinery, Vol. 14 , Pp. 322–336. [REVIEW]Stephen A. Cook - 1969 - Journal of Symbolic Logic 34 (4):657-658.
  44.  14
    Musical Cultivation in the “Xiu Wen” Chapter of the Shuoyuan.Scott Cook - 2017 - Dao: A Journal of Comparative Philosophy 16 (3):389-416.
    Aside from the Yue Ji 樂記, the “Xiu Wen 修文” chapter of the Shuoyuan 說苑 is perhaps our richest source of pre-Qin and early Han 漢 Confucian musical thought. Though woven together from earlier sources, “Xiu Wen” nonetheless manages to present its own distinctive expression of the role of music and its relationship to the greater system of ritual institutions. This article undertakes an examination of the chapter’s philosophies of ritual and music, focusing especially on the latter, and in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  24
    Making the Technological Trustworthy.S. D. Noam Cook - 2010 - Knowledge, Technology & Policy 23 (3):455-459.
    Joseph C. Pitt, based on his understanding of trust and of technology, makes the provocative argument that trusting technology is actually a matter of trusting people. I agree with Pitt’s conclusion but differ with him on the nature of trust. I contend, nonetheless, that my understanding of trust actually reinforces Pitt’s characterization of technology as “humanity at work.”.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  15
    Observations on the Practice of Data-Mining: Comments on the JEM Symposium.Steven Cook - 2001 - Journal of Economic Methodology 8 (3):415-419.
    A positive view of data-mining has been recently presented in a Journal of Economic Methodology ( JEM ) symposium. This is in stark contrast to the stance normally taken. In this note consideration of the Bayesian philosophy of science literature and the impact of data revision extends the analysis of data-mining. Introduction of these issues is seen to provide support for the arguments presented in the JEM symposium.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. Production, Ecology and Economic Anthropology : Notes Toward an Integrated Frame of Reference.Scott Cook - 1973 - Social Science Information 12 (1):25-52.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  8
    Review: Jiri Becvar, Real-Time and Complexity Problems in Automata Theory. [REVIEW]Stephen A. Cook - 1971 - Journal of Symbolic Logic 36 (2):346-346.
  49.  5
    Review: Jan Krajicek, Pavel Pudlak, Gaisi Takeuti, Bounded Arithmetic and the Polynomial Hierarchy; Samuel R. Buss, Relating the Bounded Arithmetic and Polynomial Time Hierarchies; Domenico Zambella, Notes on Polynomially Bounded Arithmetic. [REVIEW]Stephen Cook - 1999 - Journal of Symbolic Logic 64 (4):1821-1823.
  50.  7
    Review: Manuel Blum, A Machine-Independent Theory of the Complexity of Recursive Functions. [REVIEW]Stephen A. Cook - 1969 - Journal of Symbolic Logic 34 (4):657-658.
1 — 50 / 76