Results for 'Stephen Cooke'

1000+ found
Order:
See also
Steve Cooke
University of Leicester
  1.  5
    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   1 citation  
  2.  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  
  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.  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.
  5.  25
    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   7 citations  
  6. The Relative Efficiency of Propositional Proof Systems.Stephen A. Cook & Robert A. Reckhow - 1979 - Journal of Symbolic Logic 44 (1):36-50.
  7.  12
    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  
  8.  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  
  9.  23
    Daniel J. Cook, "Language in the Philosophy of Hegel". [REVIEW]Stephen A. Erickson - 1976 - Journal of the History of Philosophy 14 (4):486.
  10.  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  
  11. Animal Rights and Environmental Terrorism.Stephen Cooke - 2012 - Journal of Terrorism Research 4 (2):26-36.
    Many paradigmatic forms of animal rights and environmental activism have been classed as terrorism both in popular discourse and in law. This paper argues that the labelling of many violent forms of direct action carried out in the name of animal rights or environmentalism as ‘terrorism’ is incorrect. Furthermore, the claim is also made that even those acts which are correctly termed as terrorism are not necessarily wrongful acts. The result of this analysis is to call into question the terms (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  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.
  13. 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).
  14.  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  
  15.  16
    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  
  16.  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  
  17.  31
    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.
  18.  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.
  19.  23
    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  
  20.  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  
  21.  8
    Boolean Programs and Quantified Propositional Proof Systems.Stephen Cook & Michael Soltys - 1999 - Bulletin of the Section of Logic 28 (3):119-129.
  22. The Social Roots of Biblical Yahwism.Stephen L. Cook - 2004
    No categories
     
    Export citation  
     
    Bookmark  
  23.  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.
  24.  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.
  25.  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  
     
    Export citation  
     
    Bookmark  
  26.  9
    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  
     
    Export citation  
     
    Bookmark  
  27.  52
    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.
  28.  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  
  29.  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  
  30.  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.
  31.  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.
  32.  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.
  33.  1
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  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  
  35.  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.
  36.  25
    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  
  37.  3
    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  
     
    Export citation  
     
    Bookmark  
  38.  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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  12
    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  
  40.  8
    Towards a Mechanistically Neutral Account of Acting Jointly: The Notion of a Collective Goal.Stephen A. Butterfill & Corrado Sinigaglia - forthcoming - Mind.
    Anyone who has ever walked, cooked or crafted with a friend is in a position to know that acting jointly is not just acting side-by-side. But what distinguishes acting jointly from acting in parallel yet merely individually? Four decades of philosophical research have yielded broad consensus on a strategy for answering this question. This strategy is \emph{mechanistically committed}; that is, it hinges on invoking states of the agents who are acting jointly. Despite the consensus, enduring disagreement remains. The disagreement may (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  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.  15
    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 (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  1
    Machine and Metaphor: The Ethics of Language in American Realism.Jennifer Carol 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  31
    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  
  45.  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   4 citations  
  46.  12
    Baruch de Spinoza: Ethik in Geometrischer Ordnung Dargestellt.Robert Schnepf & Michael Hampe (eds.) - 2006 - Akademie Verlag.
    Vor dem Hintergrund fanatischer religiöser Konflikte und in Kenntnis der im 17. Jahrhundert aufblühenden exakten Wissenschaften entwickelte Spinoza einen der anspruchsvollsten Entwürfe der Philosophiegeschichte: seine in geometrischer Ordnung dargestellte Ethik. Sie handelt von der Ontologie, Erkenntnislehre, den menschlichen Gefühlen und der Freiheit und Unfreiheit Einzelner wie auch der sozialer Gemeinschaften in einem einzigen durchgehenden Argumentationsgang. Das Werk verbindet auf diese Weise die höchsten Ansprüche begrifflicher und begründender Durchsichtigkeit mit von Lebenserfahrung gesättigter Weisheit. Es versteht sich selbst als eine Anleitung zum (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  47.  63
    I–Stephen Yablo.Stephen Yablo - 1998 - Aristotelian Society Supplementary Volume 72 (1):229-261.
  48. Sir Leslie Stephen's Mausoleum Book.Leslie Stephen - 1977 - Oxford University Press UK.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  16
    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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  5
    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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000