Results for 'Stephen Cooke'

1000+ found
Order:
See also
Steve Cooke
University of Leicester
  1.  32
    Stephen Bellantoni and Stephen Cook. A New Recursion-Theoretic Characterization of the Polytime Functions. Computational Complexity, Vol. 2 , Pp. 97–110. - Arnold Beckmann and Andreas Weiermann. A Term Rewriting Characterization of the Polytime Functions and Related Complexity Classes. Archive for Mathematical Logic, Vol. 36 , Pp. 11–30. [REVIEW]Karl-Heinz Niggl - 2000 - Bulletin of Symbolic Logic 6 (3):351-353.
  2.  4
    Isolated Together: Proximal Pairs of Primary Schools Duplicating Provision in Northern Ireland.Stephen Roulston & Sally Cook - 2021 - British Journal of Educational Studies 69 (2):155-174.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  7
    Stephen Cook and Phuong Nguyen. Logical Foundations of Proof Complexity. Perspectives in Logic. Cambridge University Press, New York, 2010, 15 + 479 Pp. [REVIEW]Albert Atserias - 2011 - Bulletin of Symbolic Logic 17 (3):462-464.
  4.  33
    The State of Art Criticism.Stephen Melville, Lynne Cook, Michael Newman, Whitney Davis & Guy Brett - 1960 - Journal of Aesthetics and Art Criticism 18 (3).
    About the Author James Elkins is E.C. Chadbourne Chair in the Department of Art History, Theory, and Criticism at the School of the Art Institute of Chicago. His many books include Pictures and Tears, How to Use Your Eyes, and What Painting Is, all published by Routledge. Michael Newman teaches in the Department of Art History, Theory, and Criticism at the School of the Art Institute of Chicago, and is Professor of Art Writing at Goldsmiths College in the University of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  23
    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  
  6.  99
    The Relative Efficiency of Propositional Proof Systems.Stephen A. Cook & Robert A. Reckhow - 1979 - Journal of Symbolic Logic 44 (1):36-50.
  7.  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   29 citations  
  8.  66
    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  
  9.  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   4 citations  
  10.  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  
  11.  50
    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.
  12.  8
    Boolean Programs and Quantified Propositional Proof Systems.Stephen Cook & Michael Soltys - 1999 - Bulletin of the Section of Logic 28 (3):119-129.
  13.  23
    Daniel J. Cook, "Language in the Philosophy of Hegel". [REVIEW]Stephen A. Erickson - 1976 - Journal of the History of Philosophy 14 (4):486.
  14. 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).
  15.  14
    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  
  16.  10
    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.
  17.  16
    The Pilgrimage of Desire: A Study of Theme and Genre in Medieval Literature. Frank Cook Gardiner.Stephen Barney - 1973 - Speculum 48 (2):359-362.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  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.
  19.  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.
  20.  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  
  21.  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.
  22.  22
    LeRoy Walters’s Legacy of Bioethics in Genetics and Biotechnology Policy.Robert Cook-Deegan & Stephen J. McCormack - 2019 - Kennedy Institute of Ethics Journal 29 (1):51-66.
    LeRoy Walters was a central figure in debates about federal policy regarding genetics and biotechnology—a neutral, publicly engaged philosopher and religious studies academic who put his skills to work in national service. His career spanned the emergence of biotechnology as a field in the 1970s until his retirement. His interests reached from moral philosophical theory to Holocaust studies to practical concerns about public policy in genetics. We focus here on the role of bioethics in policy related to the advent of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  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.
  24.  11
    Preliminary Data on US DNA-Based Patents and Plans for a Survey of Licensing Practices.R. M. Cook-Deegan, L. Walters, Lori Pressman, Derrick Pau, Stephen McCormack, Janella Gatchalian & Richard Burges - 2003 - In Bartha Maria Knoppers (ed.), Populations and Genetics: Legal and Socio-Ethical Perspectives. Martinus Nijhoff.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  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.
  26.  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.
  27.  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.
  28.  8
    Social and Economic Life in Second Temple Judea by Samuel L. Adams. [REVIEW]Stephen L. Cook - 2015 - Interpretation: A Journal of Bible and Theology 69 (4):473-475.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  22
    Stephen L. Dyson: The Commonware Pottery; the Brittle Ware. The Excavations at Dura-Europos, Final Report Iv, Part I, Fasc. 3: Pp. Xviii+7258 Plates, 21 Figs. New Haven: Dura-Europos Publications, 1968. Stiff Paper, $15. [REVIEW]R. M. Cook - 1970 - The Classical Review 20 (01):112-.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  21
    Stephen L. Dyson: The Commonware Pottery; the Brittle Ware. The Excavations at Dura-Europos, Final Report Iv, Part I, Fasc. 3: Pp. Xviii+7258 Plates, 21 Figs. New Haven: Dura-Europos Publications, 1968. Stiff Paper, $15. [REVIEW]R. M. Cook - 1970 - The Classical Review 20 (1):112-112.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. The Social Roots of Biblical Yahwism.Stephen L. Cook - 2004
    No categories
     
    Export citation  
     
    Bookmark  
  32.  2
    Reading Deuteronomy: A Literary and Theological Commentary by Stephen L. Cook. [REVIEW]Craig Vondergeest - 2017 - Interpretation: A Journal of Bible and Theology 71 (2):213-215.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  11
    Tag Systems and Lag Systems.Hao Wang, John Cocke, Marvin Minsky & Stephen A. Cook - 1971 - Journal of Symbolic Logic 36 (2):344-344.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. George Herbert Mead in the Twenty-First Century.Mitchell Aboulafia, Guido Baggio, Joseph Betz, Kelvin J. Booth, Nuria Sara Miras Boronat, James Campbell, Gary A. Cook, Stephen Everett, Alicia Garcia Ruiz, Judith M. Green, Jacquelyn Ann K. Kegley, Erkki Kilpinen, Roman Madzia, John Ryder, Matteo Santarelli & David W. Woods - 2013 - Lexington Books.
    While rooted in careful study of Mead’s original writings and transcribed lectures and the historical context in which that work was carried out, the papers in this volume have brought Mead’s work to bear on contemporary issues in metaphysics, epistemology, cognitive science, and social and political philosophy.
     
    Export citation  
     
    Bookmark   1 citation  
  35.  24
    Alzheimer Testing at Silver Years.A. Mathew Thomas, Gene Cohen, Robert M. Cook-Deegan, Joan O'sullivan, Stephen G. Post, Allen D. Roses, Kenneth F. Schaffner & Ronald M. Green - 1998 - Cambridge Quarterly of Healthcare Ethics 7 (3):294-307.
    Early last year, the GenEthics Consortium (GEC) of the Washington Metropolitan Area convened at George Washington University to consider a complex case about genetic testing for Alzheimer disease (AD). The GEC consists of scientists, bioethicists, lawyers, genetic counselors, and consumers from a variety of institutions and affiliations. Four of the 8 co-authors of this paper delivered presentations on the case. Supplemented by additional ethical and legal observations, these presentations form the basis for the following discussion.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  36.  13
    Identifying and Prioritizing Uncertainties: Patient and Clinician Engagement in the Identification of Research Questions.Glyn Elwyn, Sally Crowe, Mark Fenton, Lester Firkins, Jenny Versnel, Samantha Walker, Ivor Cook, Stephen Holgate, Bernard Higgins & Colin Gelder - 2010 - Journal of Evaluation in Clinical Practice 16 (3):627-631.
  37.  20
    Wang Hao. Tag Systems and Lag Systems. Mathematische Annalen, Vol. 152 , Pp. 65–74.Cocke John and Minsky Marvin. Universality of Tag Systems with D = 2. Journal of the Association for Computing Machinery, Vol. 11 , Pp. 15–20.Cook Stephen A.. The Solvability of the Derivability Problem for One-Normal Systems. Journal of the Association for Computing Machinery, Vol. 13 , Pp. 223–225. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  7
    Review: Hao Wang, Tag Systems and Lag Systems; John Cocke, Marvin Minsky, Universality of Tag Systems with $D = 2$; Stephen A. Cook, The Solvability of the Derivability Problem for One-Normal Systems. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344-344.
  39.  13
    Intra-American Philosophy in Practice: Indigenous Voice, Felt Knowledge, and Settler Denial.Anna Cook - 2017 - The Pluralist 12 (1):74-84.
    In a global era of apology and reconciliation, Canadians, like their counterparts in other settler nations, face a moral and ethical dilemma that stems from an unsavoury colonial past. Canadians grew up believing that the history of their country is a story of the cooperative venture between people who came from elsewhere to make a better life and those who were already here, who welcomed and embraced them, aside from a few bad white men.on 11 June 2008, the Prime Minister (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  28
    Greek Mythology: Some New Perspectives.Geoffrey Stephen Kirk - 1972 - Journal of Hellenic Studies 92:74-85.
    A new approach to the ancient world is only too often a wrong approach, unless it is based on some concrete discovery. But I think it fair to talk of newperspectives, at least, in the study of Greek mythology. Certainly the old and familiar ones are no longer adequate. Indeed it is surprising, in the light of fresh intuitions about society, literacy, the pre-Homeric world, and relations with the ancient Near East, that myth—one of the most pervasive aspects of Greek (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Modelling Reciprocal Altruism.Christopher Stephens - 1996 - British Journal for the Philosophy of Science 47 (4):533-551.
    Biologists rely extensively on the iterated Prisoner's Dilemma game to model reciprocal altruism. After examining the informal conditions necessary for reciprocal altruism, I argue that formal games besides the standard iterated Prisoner's Dilemma meet these conditions. One alternate representation, the modified Prisoner's Dilemma game, removes a standard but unnecessary condition; the other game is what I call a Cook's Dilemma. We should explore these new models of reciprocal altruism because they predict different stability characteristics for various strategies; for instance, I (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  42. Machine and Metaphor: The Ethics of Language in American Realism.Jennifer C. Cook - 2006 - Routledge.
    American literary realism burgeoned during a period of tremendous technological innovation. Because the realists evinced not only a fascination with this new technology but also an ethos that seems to align itself with science, many have paired the two fields rather unproblematically. But this book demonstrates that many realist writers, from Mark Twain to Stephen Crane, Charles W. Chesnutt to Edith Wharton, felt a great deal of anxiety about the advent of new technologies – precisely at the crucial intersection (...)
     
    Export citation  
     
    Bookmark  
  43.  64
    About and Around Computing Over the Reals.Solomon Feferman - unknown
    1. One theory or many? In 2004 a very interesting and readable article by Lenore Blum, entitled “Computing over the reals: Where Turing meets Newton,” appeared in the Notices of the American Mathematical Society. It explained a basic model of computation over the reals due to Blum, Michael Shub and Steve Smale (1989), subsequently exposited at length in their influential book, Complexity and Real Computation (1997), coauthored with Felipe Cucker. The ‘Turing’ in the title of Blum’s article refers of course (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  44.  15
    Using Litigation to Make Public Health Policy: Theoretical and Empirical Challenges in Assessing Product Liability, Tobacco, and Gun Litigation.Timothy D. Lytton - 2004 - Journal of Law, Medicine and Ethics 32 (4):556-564.
    In recent years, a number of prominent scholars have touted the use of litigation as an effective tool for making public health policy. For example, Stephen Teret and Michael Jacobs have asserted that product liability claims against car makers have played a significant role in reducing automobile-related injuries, Peter Jacobson and Kenneth Warner have argued that litigation against cigarette manufacturers has advanced the cause of tobacco control, and Phil Cook and Jens Ludwig have suggested that lawsuits against the firearms (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  4
    Using Litigation to Make Public Health Policy: Theoretical and Empirical Challenges in Assessing Product Liability, Tobacco, and Gun Litigation.Timothy D. Lytton - 2004 - Journal of Law, Medicine and Ethics 32 (4):556-564.
    In recent years, a number of prominent scholars have touted the use of litigation as an effective tool for making public health policy. For example, Stephen Teret and Michael Jacobs have asserted that product liability claims against car makers have played a significant role in reducing automobile-related injuries, Peter Jacobson and Kenneth Warner have argued that litigation against cigarette manufacturers has advanced the cause of tobacco control, and Phil Cook and Jens Ludwig have suggested that lawsuits against the firearms (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  56
    I–Stephen Yablo.Stephen Yablo - 1998 - Aristotelian Society Supplementary Volume 72 (1):229-261.
  47.  24
    Introduction: Addressing the Politics of Fear. The Challenge Posed by Pluralism to Europe.Giancarlo Bosetti - 2011 - Philosophy and Social Criticism 37 (4):371-382.
    The introduction to this issue is meant to address the ways in which turbulent immigration is challenging European democratic countries’ capacity to integrate the pluralism of cultures in light of the current state of economic instability, strong public debt, unemployment and an aging resident population. The Reset-Dialogues on Civilizations Association has organized its annual Istanbul Seminars in order to fill the need for constructive dialogue dedicated to increasing understanding and implementing social and political change. Turkey’s accession to the European Union (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  73
    Confusion of Tongues: A Theory of Normative Language By Stephen Finlay.Stephen Finlay - 2020 - Analysis 80 (1):99-101.
    This is a short precis of my 2014 book Confusion of Tongues: A Theory of Normative Language, accompanying my Reply to Worsnip, Dowell, and Koehn in the same volume.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  49.  57
    Does Ontology Rest on a Mistake?: Stephen Yablo.Stephen Yablo - 1998 - Supplement to the Proceedings of the Aristotelian Society 72 (1):229-262.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   51 citations  
  50. Hart's Methodological Positivism: Stephen R. Perry.Stephen R. Perry - 1998 - Legal Theory 4 (4):427-467.
    To understand H.L.A. Hart's general theory of law, it is helpful to distinguish between substantive and methodological legal positivism. Substantive legal positivism is the view that there is no necessary connection between morality and the content of law. Methodological legal positivism is the view that legal theory can and should offer a normatively neutral description of a particular social phenomenon, namely law. Methodological positivism holds, we might say, not that there is no necessary connection between morality and law, but rather (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 1000