Results for 'Michael Jerome Rabins'

1000+ found
Order:
  1.  13
    Engineering Ethics: Concepts and Cases.Charles Edwin Harris, Michael S. Pritchard & Michael Jerome Rabins - 1995 - Wadsworth Publishing Company.
    This book helps engineering students carry over their natural analytical talents into a new area - moral deliberation. It shows them the importance of being analytical by stressing that many apparent moral disagreements are really disagreements over the facts or over the definitions of crucial terms, and that the locus of moral disagreement can only be discovered by analysis. Since engineers are interested in real-world problems, the text catches the attention of students in the field by focusing on cases that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   90 citations  
  2.  13
    Michael O. Rabin. Real Time Computation. Israel Journal of Mathematics, Vol. 1 , Pp. 203–211.Jiří Bečvář - 1966 - Journal of Symbolic Logic 31 (4):657-657.
  3.  17
    Michael O. Rabin. Decidability of Second-Order Theories and Automata on Infinite Trees. Bulletin of the American Mathematical Society, Vol. 74 , Pp. 1025–1029. - Michael O. Rabin. Decidability of Second-Order Theories and Automata on Infinite Trees. Transactions of the American Mathematical Society, Vol. 141 , Pp. 1–35. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-619.
  4.  11
    Michael O. Rabin and Hao Wang. Words in the History of a Turing Machine with a Fixed Input. Journal of the Association for Computing Machinery, Vol. 10 , Pp. 526–527. [REVIEW]Joyce Friedman - 1969 - Journal of Symbolic Logic 34 (3):508.
  5.  19
    Michael O. Rabin. Non-Standard Models and Independence of the Induction Axiom. Essays on the Foundations of Mathematics, Dedicated to A. A. Fraenkel on His Seventieth Anniversary, Edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, Pp. 287–299; Also Second Edition, Magnes Press, Jerusalem 1966, Pp. 287–299. [REVIEW]C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):159-159.
  6.  98
    Heisenberg's Concept of Matter as Potency.Michael Jerome Carella - 1976 - Diogenes 24 (96):25-37.
  7.  16
    Review: Michael O. Rabin, Effective Computability of Winning Strategies. [REVIEW]Patrick Suppes - 1958 - Journal of Symbolic Logic 23 (2):224-224.
  8.  34
    Classical Dualism and the Uncertainty Principle.Michael Jerome Carella - 1972 - Modern Schoolman 49 (2):125-134.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  13
    Instinct, Learning and the New Social Darwinism.Michael Jerome Carella - 1977 - Modern Schoolman 54 (2):137-148.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  11
    Review: Michael O. Rabin, Recursive Unsolvability of Group Theoretic Problems. [REVIEW]Bernhard H. Neumann - 1958 - Journal of Symbolic Logic 23 (1):55-56.
  11. Review: Michael O. Rabin, Classes of Models and Sets of Sentences with the Intersection Property. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (3):413-413.
  12.  24
    Review: Michael O. Rabin, On Recursively Enumerable and Arithmetic Models of Set Theory. [REVIEW]J. C. Shepherdson - 1963 - Journal of Symbolic Logic 28 (2):167-168.
  13.  21
    Review: Michael O. Rabin, Yehoshua Bar-Hillel, A Simple Method for Undecidability Proofs and Some Applications. [REVIEW]William Hanf - 1971 - Journal of Symbolic Logic 36 (1):150-150.
  14.  16
    Review: Michael O. Rabin, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Non-Standard Models and Independence of the Induction Axiom. [REVIEW]C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):159-159.
  15.  15
    Review: Michael O. Rabin, Weakly Definable Relations and Special Automata. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):622-623.
  16.  11
    Review: Michael O. Rabin, Decidability of Second-Order Theories and Automata on Infinite Trees. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-619.
  17.  11
    Review: Michael O. Rabin, Automata on Infinite Objects and Church's Problem. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
  18.  5
    Review: Michael O. Rabin, Hao Wang, Words in the History of a Turing Machine with a Fixed Input. [REVIEW]Joyce Friedman - 1969 - Journal of Symbolic Logic 34 (3):508-508.
  19. Review: Michael O. Rabin, Arithmetical Extensions with Prescribed Cardinality. [REVIEW]Thomas Frayne - 1960 - Journal of Symbolic Logic 25 (2):169-169.
  20.  5
    Review: Michael O. Rabin, Decidability and Definability in Second-Order Theories. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
  21. No Obligation for Mrs. X: But Can She Be Bought?Henry B. Soloway & Michael Jerome Carella - 1983 - Hastings Center Report 13 (6):45.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  7
    No Obligation for Mrs. X—But Can She Be Bought?Henry B. Soloway & Michael Jerome Carella - 1983 - Hastings Center Report 13 (6):45.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Review: M. O. Rabin, Computable Algebraic Systems; Michael O. Rabin, Computable Algebra, General Theory and Theory of Computable Fields. [REVIEW]B. H. Mayoh - 1967 - Journal of Symbolic Logic 32 (3):412-413.
  24.  97
    The Capacity for Joint Visual Attention in the Infant.Michael Scaife & Jerome Bruner - 1975 - Nature 253:265-266.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   46 citations  
  25. Incentive Engineering for Boolean Games.Michael Wooldridge, Ulle Endriss, Sarit Kraus & Jérôme Lang - 2013 - Artificial Intelligence 195:418-439.
  26.  17
    Rabin Michael O.. Effective Computability of Winning Strategies. Contributions to the Theory of Games, Volume III, Annals of Mathematics Studies Number 39, Princeton University Press, Princeton, New Jersey, 1957, Pp. 147–157. [REVIEW]Patrick Suppes - 1958 - Journal of Symbolic Logic 23 (2):224-224.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  44
    Teaching Engineering Ethics to Undergraduates: Why? What? How? [REVIEW]Michael J. Rabins - 1998 - Science and Engineering Ethics 4 (3):291-302.
    The teaching of engineering ethics is on the increase at universities around the United States. The motivation for this increase (WHY?) has several driving forces, including: a new Accreditation Board for Engineering and Technology (ABET) accreditation criteria; new questions on Professional Engineering (PE) licensing examinations; new industrial marketplace needs; and a growing awareness in the engineering profession of a need for ethical sensitivity to the consequences of our actions as engineers. The subject (WHAT?) is likely to be taught quite differently (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  28.  14
    Rabin Michael O.. Recursive Unsolvability of Group Theoretic Problems. Annals of Mathematics, Ser. 2 Vol. 67 , Pp. 172–194. [REVIEW]Bernhard H. Neumann - 1958 - Journal of Symbolic Logic 23 (1):55-56.
  29.  34
    Rabin M. O.. Computable Algebraic Systems. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 134–138.Rabin Michael O.. Computable Algebra, General Theory and Theory of Computable Fields. Transactions of the American Mathematical Society, Vol. 95 , Pp. 341–360. [REVIEW]B. H. Mayoh - 1967 - Journal of Symbolic Logic 32 (3):412-413.
  30.  26
    Rabin Michael O.. A Simple Method for Undecidability Proofs and Some Applications. Logic, Methodology and Philosophy of Science, Proceedings of the 1964 International Congress, Edited by Bar-Hillel Yehoshua, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 38–68. [REVIEW]William Hanf - 1971 - Journal of Symbolic Logic 36 (1):150.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  13
    Jerome Eckstein., Metaphysical Drift: Love and Judaism.Michael Wyschogrod - 1994 - International Studies in Philosophy 26 (4):123-124.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  18
    Rabin Michael O.. Arithmetical Extensions with Prescribed Cardinality. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 62 , Pp. 439–446; Also Indagationes Mathematicae, Vol. 21 , Pp. 439–446. [REVIEW]Thomas Frayne - 1960 - Journal of Symbolic Logic 25 (2):169-169.
  33.  21
    Rabin Michael O.. Classes of Models and Sets of Sentences with the Intersection Property. Actes du Colloque de Mathématiques Réuni À Ciermont À l'Occasion du Tricentenaire de la Mort de Biaise Pascal, 4–8 Juin 1962, Volume I, Introduction Et Logique Mathématique, Annales de la Faculté des Sciences de l'Université de Ciermont, No. 7, Mathématiques, Part 1, Imprimerie Louis–Jean, Gap 1962, Pp. 39–53. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (3):413-413.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  12
    Rabin Michael O.. Weakly Definable Relations and Special Automata. Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968, Edited by Bar-Hillel Yehoshua, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London 1970, Pp. 1–23. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):622-623.
  35.  11
    Rabin Michael O.. Decidability and Definability in Second-Order Theories. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, Pp. 239–244. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  32
    On Recursively Enumerable and Arithmetic Models of Set Theory.Michael O. Rabin - 1958 - Journal of Symbolic Logic 23 (4):408-416.
  37.  42
    Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor.Calvin C. Elgot & Michael O. Rabin - 1966 - Journal of Symbolic Logic 31 (2):169-181.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  38.  6
    Rabin Michael O.. Automata on Infinite Objects and Church's Problem. Conference Board of the Mathematical Sciences, Regional Conference Series in Mathematics, No. 13. American Mathematical Society, Providence 1972, 22 Pp. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  1
    Johann Michael Haydn’s Missa Sancti Hieronymi: An Unusual Eighteenth-Century Tribute to Saint Jerome.Jane Schatkin Hettrick - 2021 - Clotho 3 (2):129-144.
    Johann Michael Haydn, court musician to the prince-archbishop of Salzburg, composed the Missa Sancti Hieronymi in 1777, apparently intended to mark the name-day of his employer: 30 September, the feast-day of St. Jerome. Because of its wind-band scoring, this Mass is unique, not only among Haydn’s Masses, but also in the Mass repertoire of Salzburg, and apparently in that of all late eighteenth-century Austria. The present article discusses the environment in which Haydn functioned and its effect on the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  21
    Non-Standard Models and Independence of the Induction Axiom.Michael O. Rabin - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem, Magnes Press, Hebrew University;. pp. 287--299.
  41.  99
    The Six Most Essential Questions in Psychiatric Diagnosis: A Pluralogue Part 1: Conceptual and Definitional Issues in Psychiatric Diagnosis. [REVIEW]Allen Frances, Michael A. Cerullo, John Chardavoyne, Hannah S. Decker, Michael B. First, Nassir Ghaemi, Gary Greenberg, Andrew C. Hinderliter, Warren A. Kinghorn, Steven G. LoBello, Elliott B. Martin, Aaron L. Mishara, Joel Paris, Joseph M. Pierre, Ronald W. Pies, Harold A. Pincus, Douglas Porter, Claire Pouncey, Michael A. Schwartz, Thomas Szasz, Jerome C. Wakefield, G. Scott Waterman, Owen Whooley & Peter Zachar - 2012 - Philosophy, Ethics, and Humanities in Medicine 7:1-29.
    In face of the multiple controversies surrounding the DSM process in general and the development of DSM-5 in particular, we have organized a discussion around what we consider six essential questions in further work on the DSM. The six questions involve: 1) the nature of a mental disorder; 2) the definition of mental disorder; 3) the issue of whether, in the current state of psychiatric science, DSM-5 should assume a cautious, conservative posture or an assertive, transformative posture; 4) the role (...)
    Direct download (16 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  42.  32
    Book Reviews. [REVIEW]Michael P. Malloy, Jerome Stolnitz & Stewart Umphrey - 1976 - Journal of Value Inquiry 10 (3):234-239.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  1
    A Logic to Reason About Likelihood.Joseph Y. Halpern & Michael O. Rabin - 1987 - Artificial Intelligence 32 (3):379-405.
  44. Jérôme Dokic, Ed., Cognitive Dynamics Reviewed By.Michael Fleming - 1999 - Philosophy in Review 19 (1):12-13.
  45. Review: J. L. Britton, The Word Problem for Groups; John L. Britton, The Word Problem. [REVIEW]Michael O. Rabin - 1964 - Journal of Symbolic Logic 29 (4):205-206.
  46. Review: M. P. Schutzenberger, A Remark on Finite Transducers. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-297.
  47. Jérôme Dokic, Ed., Cognitive Dynamics. [REVIEW]Michael Fleming - 1999 - Philosophy in Review 19:12-13.
     
    Export citation  
     
    Bookmark  
  48.  14
    J. L. Britton. The Word Problem for Groups. Proceedings of the London Mathematical Society, Third Series, Vol. 8 , Pp. 493–506. - John L. Britton. The Word Problem. Annals of Mathematics, Second Series, Vol. 77 , Pp. 16–32. [REVIEW]Michael O. Rabin - 1964 - Journal of Symbolic Logic 29 (4):205-206.
  49. The Six Most Essential Questions in Psychiatric Diagnosis: A Pluralogue Part 2: Issues of Conservatism and Pragmatism in Psychiatric Diagnosis. [REVIEW]Allen Frances, Michael A. Cerullo, John Chardavoyne, Hannah S. Decker, Michael B. First, Nassir Ghaemi, Gary Greenberg, Andrew C. Hinderliter, Warren A. Kinghorn, Steven G. LoBello, Elliott B. Martin, Aaron L. Mishara, Joel Paris, Joseph M. Pierre, Ronald W. Pies, Harold A. Pincus, Douglas Porter, Claire Pouncey, Michael A. Schwartz, Thomas Szasz, Jerome C. Wakefield, G. Waterman, Owen Whooley & Peter Zachar - 2012 - Philosophy, Ethics, and Humanities in Medicine 7:8-.
    In face of the multiple controversies surrounding the DSM process in general and the development of DSM-5 in particular, we have organized a discussion around what we consider six essential questions in further work on the DSM. The six questions involve: 1) the nature of a mental disorder; 2) the definition of mental disorder; 3) the issue of whether, in the current state of psychiatric science, DSM-5 should assume a cautious, conservative posture or an assertive, transformative posture; 4) the role (...)
    Direct download (17 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  18
    Definability with a Predicate for a Semi-Linear Set.Michael Benedikt & H. Jerome Keisler - 2003 - Journal of Symbolic Logic 68 (1):319-351.
    We settle a number of questions concerning definability in first order logic with an extra predicate symbol ranging over semi-linear sets. We give new results both on the positive and negative side: we show that in first-order logic one cannot query a semi-linear set as to whether or not it contains a line, or whether or not it contains the line segment between two given points. However, we show that some of these queries become definable if one makes small restrictions (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000