Results for 'John Mark Reynolds'

1000+ found
Order:
  1. Rodulfus Glaber: The Five Books of the Histories, Edited and Translated by John France, and the Life of St William, Edited by Neithard Bulst and Translated by John France and Paul Reynolds.John France, Neithard Bulst & Paul Reynolds - 1989 - Oxford University Press UK.
    The monk Rodulfus Glaber is best known for his Five Books of Histories, a major source for events in the first half of the eleventh century, and valuable above all for revealing the mental furniture of an eleventh-century monk - for his account of the millennium, of relics genuine and false, of church-building, and visions of saints and demons. This edition, the first since 1866, presents the only critical text of the Histories, accompanied by a complete translation and a full (...)
    No categories
     
    Export citation  
     
    My bibliography  
  2. The Design Inference: Eliminating Chance Through Small Probabilities.John Angus Campbell & John Mark Reynolds - unknown
    The design inference uncovers intelligent causes by isolating the key trademark of intelligent causes: specified events of small probability. Just about anything that happens is highly improbable, but when a highly improbable event is also specified (i.e., conforms to an independently given pattern) undirected natural causes lose their explanatory power. Design inferences can be found in a range of scientific pursuits from forensic science to research into the origins of life to the search for extraterrestrial intelligence.
    Translate
     
     
    Export citation  
     
    My bibliography  
  3.  6
    Indiscrete Models: Model Building and Model Checking Over Linear Time.Tim French, John McCabe-Dansted & Mark Reynolds - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 50--68.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  2
    Expressiveness and Succinctness of a Logic of Robustness.John C. McCabe-Dansted, Tim French, Sophie Pinchinat & Mark Reynolds - 2015 - Journal of Applied Non-Classical Logics 25 (3):193-228.
    This paper compares the recently proposed Robust Full Computational Tree Logic to model robustness in concurrent systems with other computational tree logic -based logics. RoCTL* extends CTL* with the addition of the operators Obligatory and Robustly, which quantify over failure-free paths and paths with one more failure respectively. This paper focuses on examining the succinctness and expressiveness of RoCTL* by presenting translations to and from RoCTL*. The core result of this paper is to show that RoCTL* is expressively equivalent to (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  9
    Teaching America: The Case for Civic Education.David J. Feith, Seth Andrew, Charles F. Bahmueller, Mark Bauerlein, John M. Bridgeland, Bruce Cole, Alan M. Dershowitz, Mike Feinberg, Senator Bob Graham, Chris Hand, Frederick M. Hess, Eugene Hickok, Michael Kazin, Senator Jon Kyl, Jay P. Lefkowitz, Peter Levine, Harry Lewis, Justice Sandra Day O'Connor, Secretary Rod Paige, Charles N. Quigley, Admiral Mike Ratliff, Glenn Harlan Reynolds, Jason Ross, Andrew J. Rotherham, John R. Thelin & Juan Williams - 2011 - R&L Education.
    This book taps the best American thinkers to answer the essential American question: How do we sustain our experiment in government of, by, and for the people? Authored by an extraordinary and politically diverse roster of public officials, scholars, and educators, these chapters describe our nation's civic education problem, assess its causes, offer an agenda for reform, and explain the high stakes at risk if we fail.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. Paul Patton and John Protevi, Eds., Between Deleuze and Derrida Reviewed By.Jack Reynolds & Jon Roffe - 2003 - Philosophy in Review 23 (6):399-402.
     
    Export citation  
     
    My bibliography  
  7. John Llewelyn, Appositions of Jacques Derrida and Emmanuel Levinas Reviewed By.Jack Reynolds - 2003 - Philosophy in Review 23 (1):44-46.
     
    Export citation  
     
    My bibliography  
  8.  65
    Review of Taylor Carman (Ed.), Mark Hansen (Ed.), The Cambridge Companion to Merleau-Ponty[REVIEW]Jack Reynolds - 2005 - Notre Dame Philosophical Reviews 2005 (9).
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  12
    Progressive Ideals and Experimental Higher Educaion: The Example of John Dewey and Black Mountain College.Katherine C. Reynolds - 1997 - Education and Culture 14 (1):2.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  8
    The Greek Liturgy of St. John Chrysostum in Beneventan Script: An Early Manuscript Fragment.Roger E. Reynolds - 1990 - Mediaeval Studies 52 (1):296-302.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11.  2
    The Philosophy of John Scottus Eriugena: A Study of Idealism in the Middle Ages. [REVIEW]P. Reynolds - 1991 - Speculum 66 (1):208-210.
  12. The Children of Noah: Jewish Seafaring in Ancient Times. Raphael Patai, James Hornell, John M. Lundquist.Sam Mark - 1999 - Isis 90 (2):356-357.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. John Llewelyn, Appositions of Jacques Derrida and Emmanuel Levinas. [REVIEW]Jack Reynolds - 2003 - Philosophy in Review 23:44-46.
     
    Export citation  
     
    My bibliography  
  14. Paul Patton and John Protevi, Eds., Between Deleuze and Derrida. [REVIEW]Jack Reynolds & Jon Roffe - 2003 - Philosophy in Review 23:399-402.
     
    Export citation  
     
    My bibliography  
  15.  20
    Metacognitive Errors in Change Detection: Missing the Gap Between Lab and Life.Daniel Smilek, John D. Eastwood, Michael G. Reynolds & Alan Kingstone - 2007 - Consciousness and Cognition 16 (1):52-57.
    Studies of change detection suggest that people tend to overestimate their ability to detect visual changes. In a recent laboratory study of change detection and human intention, Beck et al., found that individuals have an inadequate understanding that intention can improve change detection performance and that its importance increases with scene complexity. We note that these findings may be specific to unfamiliar situations such as those generated routinely in studies of change detection. In two questionnaire studies, we demonstrate that when (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  16.  5
    The Story Gestalt: A Model Of Knowledge‐Intensive Processes in Text Comprehension.Mark F. John - 1992 - Cognitive Science 16 (2):271-306.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  17.  6
    Interdisciplining Pedagogy: A Roundtable.Mark Pedelty, Tom Reynolds, Karen Miksch, Patrick Bruch, Walter R. Jacobs, Carl Chung, Leon Hsu, Amy Lee, Heidi Barajas & Greg Choy - 2002 - Symploke 10 (1):118-132.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  4
    First-List Retention as a Function of List Differentiation and Second-List Massed and Distributed Practice.John P. Houston & James H. Reynolds - 1965 - Journal of Experimental Psychology 69 (4):387.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  19.  1
    The Exploratorium's Explainer Program: The Long‐Term Impacts on Teenagers of Teaching Science to the Public.Judy Diamond, Mark St John, Beth Cleary & Darlene Librero - 1987 - Science Education 71 (5):643-656.
    Direct download  
     
    Export citation  
     
    My bibliography  
  20. Marxism, the Millenium and Beyond.Mark Cowling & Paul Reynolds - 2000
     
    Export citation  
     
    My bibliography  
  21. Temporal Logic Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark Reynolds - 1994
     
    Export citation  
     
    My bibliography   19 citations  
  22.  31
    Independence, Conflict of Interest and the Actuarial Profession.Sally Gunz, John McCutcheon & Frank Reynolds - 2009 - Journal of Business Ethics 89 (1):77-89.
    The actuarial profession has a long history of providing critical expertise to society. The services delivered are some of the most complex and mysterious to outsiders of all professions but little has been written about the professional responsibilities of actuaries in the academic literature beyond that of the profession itself. This paper makes the case that the issues surrounding professional independence of actuaries are, in principle, similar to those that faced the audit profession before the scandals and resultant regulatory changes (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  23.  17
    The Complexity of Temporal Logic Over the Reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.
    It is shown that the decision problem for the temporal logic with until and since connectives over real-numbers time is PSPACE-complete. This is the most practically useful dense time temporal logic.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  24. Improving Schools' Performance and Potential.John Gray, David Hopkins, David Reynolds, Brian Wilcox, Shaun Farrell & David Jesson - 2000 - British Journal of Educational Studies 48 (1):91-93.
     
    Export citation  
     
    My bibliography   6 citations  
  25.  13
    An Axiomatization for Until and Since Over the Reals Without the IRR Rule.Mark Reynolds - 1992 - Studia Logica 51 (2):165 - 193.
    We give a Hilbert style axiomatization for the set of formulas in the temporal language with Until and Since which are valid over the real number flow of time. The axiomatization, which is orthodox in the sense of only having the usual temporal rules of inference, is complete with respect to single formulas.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  26.  23
    A Decidable Temporal Logic of Parallelism.Mark Reynolds - 1997 - Notre Dame Journal of Formal Logic 38 (3):419-436.
    In this paper we shall introduce a simple temporal logic suitable for reasoning about the temporal aspects of parallel universes, parallel processes, distributed systems, or multiple agents. We will use a variant of the mosaic method to prove decidability of this logic. We also show that the logic does not have the finite model property. This shows that the mosaic method is sometimes a stronger way of establishing decidability.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  27.  52
    Axiomatising First-Order Temporal Logic: Until and Since Over Linear Time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
    We present an axiomatisation for the first-order temporal logic with connectives Until and Since over the class of all linear flows of time. Completeness of the axiom system is proved.We also add a few axioms to find a sound and complete axiomatisation for the first order temporal logic of Until and Since over rational numbers time.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  28.  16
    Ethical Considerations in the Conduct of Electronic Surveillance Research.Ashok J. Bharucha, Alex John London, David Barnard, Howard Wactlar, Mary Amanda Dew & Charles F. Reynolds - 2006 - Journal of Law, Medicine & Ethics 34 (3):611-619.
    The extant clinical literature indicates profound problems in the assessment, monitoring, and documentation of care in long-term care facilities. The lack of adequate resources to accommodate higher staff-to-resident ratios adds additional urgency to the goal of identifying more costeffective mechanisms to provide care oversight. The ever expanding array of electronic monitoring technologies in the clinical research arena demands a conceptual and pragmatic framework for the resolution of ethical tensions inherent in the use of such innovative tools. CareMedia is a project (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  29.  18
    Axiomatisation and Decidability Off Andp in Cyclical Time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
    We present a Hilbert style axiomatisation for the set of formulas in the temporal language with F and P which are valid over non-transitive cyclical flows of time. We also give a simpler axiomatisation using the slightly controversial 'irreflexivity rule' and go on to prove the decidability of any temporal logic over cyclical time provided it uses only connectives with first-order tables.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  30.  11
    Guide to Buddhist Religion.Frank E. Reynolds, John Holt & John Strong - 1983 - Philosophy East and West 33 (2):201-203.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  4
    Method for the Easy Comprehension of History.John Bodin & Beatrice Reynolds - 1946 - Journal of Philosophy 43 (1):25-27.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  32.  14
    Metric Temporal Reasoning with Less Than Two Clocks.Mark Reynolds - 2010 - Journal of Applied Non-Classical Logics 20 (4):437-455.
  33.  6
    Current Views of Collagen Degeradation. Progress Towards Understanding the Resorption of Connective Tissues.Gillian Murphy & John J. Reynolds - 1985 - Bioessays 2 (2):55-60.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  34.  1
    Longitudinal Stability of Facial Attractiveness.John B. Pittenger, Leonard S. Mark & Douglas F. Johnson - 1989 - Bulletin of the Psychonomic Society 27 (2):171-174.
  35.  2
    Rationing Decisions: Integrating Cost-Effectiveness with Other Values.Tony Hope, John Reynolds & Sian Griffiths - 2002 - In Rosamond Rhodes, Margaret P. Battin & Anita Silvers (eds.), Medicine and Social Justice: Essays on the Distribution of Health Care. Oup Usa. pp. 144--155.
    Direct download  
     
    Export citation  
     
    My bibliography  
  36.  2
    Aesthetic Equivalence of Three Representations of the Face.John B. Pittenger, Douglas F. Johnson & Leonard S. Mark - 1983 - Bulletin of the Psychonomic Society 21 (2):111-114.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  2
    Gabbay DM, Kurucz A., Wolter F., and Zakharyaschev M.. Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics, Vol. 148. Elsevier, Amsterdam, Xiv+ 747 Pp. [REVIEW]Mark Reynolds - 2005 - Bulletin of Symbolic Logic 11 (1):77-79.
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  1
    Ethical Considerations in the Conduct of Electronic Surveillance Research.Ashok J. Bharucha, Alex John London, David Barnard, Howard Wactlar, Mary Amanda Dew & Charles F. Reynolds - 2006 - Journal of Law, Medicine and Ethics 34 (3):611-619.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  1
    Retroactive Inhibition as a Function of Response-Class Similarity.Mark J. Friedman & James H. Reynolds - 1967 - Journal of Experimental Psychology 74 (3):351-355.
  40. The New Utopian Politics of Ursula K. Le Guin's the Dispossessed.Tony Burns, Claire Curtis, Laurence Davis, Winter Elliot, Chris Ferns, Everett Hamner, Ursula K. Le Guin, Avery Plaw, Andrew Reynolds, Ellen Rigsby, Jennifer Rodgers, Dan Sabia, Bülent Somay, Douglas Spencer, Simon Stow & Mark Tunick - 2005 - Lexington Books.
    The Dispossessed has been described by political thinker Andre Gorz as 'The most striking description I know of the seductions—and snares—of self-managed communist or, in other words, anarchist society.' To date, however, the radical social, cultural, and political ramifications of Le Guin's multiple award-winning novel remain woefully under explored. Editors Laurence Davis and Peter Stillman right this state of affairs in the first ever collection of original essays devoted to Le Guin's novel. Among the topics covered in this wide-ranging, international (...)
     
    Export citation  
     
    My bibliography  
  41. REVIEWS-Many-Dimensional Modal Logics: Theory and Applications.D. M. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev & Mark Reynolds - 2005 - Bulletin of Symbolic Logic 11 (1):77-78.
  42. Mosaics and Step-by-Step. Remarks on “A Modal Logic of Relations”.Robin Hirsch, Ian Hodkinson, Maarten Marx, Szabolsc Mikulás & Mark Reynolds - 1999 - In E. Orłowska (ed.), Logic at Work. Heidelberg.
     
    Export citation  
     
    My bibliography  
  43. Special Issue on Logics for Intelligent Agents and Multi-Agent Systems.Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds & Abdul Sattar - 2011 - Journal of Applied Logic 9 (4):221-222.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Buddhism and Marxism: Ironic Affinities.John Myrdhin Reynolds - 2004 - Dialogue and Universalism 14 (1-2):35-60.
     
    Export citation  
     
    My bibliography  
  45. Editors' Introduction.Mark Reynolds & Abdul Sattar - 2006 - Journal of Applied Logic 4 (2):117-118.
  46. Hobbes, Thomas and Authorship of The'horae Subsecivae'.Noel B. Reynolds & John L. Hilton - 1993 - History of Political Thought 14 (3):361-380.
  47. Review: Dana Scott, The Lattice of Flow Diagrams. [REVIEW]John C. Reynolds - 1975 - Journal of Symbolic Logic 40 (2):247-248.
  48. Reflections Upon Buddhist-Christian Dialogue.John Myrdhin Reynolds - forthcoming - Dialogue and Universalism.
     
    Export citation  
     
    My bibliography  
  49. Scott Dana. The Lattice of Flow Diagrams. Symposium on Semantics of Algorithmic Languages, Edited by Engeler E., Lecture Notes in Mathematics, Vol. 188, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, Pp. 311–366. [REVIEW]John C. Reynolds - 1975 - Journal of Symbolic Logic 40 (2):247-248.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Some Thoughts on a Buddhist-Marxist Dialogue.John Myrdhin Reynolds - 2004 - Dialogue and Universalism 14 (1-2):61-68.
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000