Results for 'Michael Rabin'

(not author) ( search as author name )
977 found
Order:
  1.  66
    Engineering ethics: concepts and cases.Charles Edwin Harris, Michael S. Pritchard & Michael Jerome Rabins - 2009 - Boston, MA: Cengage. Edited by Michael S. Pritchard, Ray W. James, Elaine E. Englehardt & Michael J. Rabins.
    Packed with examples pulled straight from recent headlines, ENGINEERING ETHICS, Sixth Edition, helps engineers understand the importance of their conduct as professionals as well as reflect on how their actions can affect the health, safety and welfare of the public and the environment. Numerous case studies give readers plenty of hands-on experience grappling with modern-day ethical dilemmas, while the book's proven and structured method for analysis walks readers step by step through ethical problem-solving techniques. It also offers practical application of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   95 citations  
  2.  25
    The Hilton New York Hotel New York, NY December 27–29, 2005.Sergei Artemov, Peter Koellner, Michael Rabin, Jeremy Avigad, Wilfried Sieg, William Tait & Haim Gaifman - 2006 - Bulletin of Symbolic Logic 12 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  51
    On recursively enumerable and arithmetic models of set theory.Michael O. Rabin - 1958 - Journal of Symbolic Logic 23 (4):408-416.
  4.  25
    Of the association for symbolic logic.Sergei Artemov, Peter Koellner, Michael Rabin, Jeremy Avigad, Wilfried Sieg, William Tait & Haim Gaifman - 2006 - Bulletin of Symbolic Logic 12 (3-4):503.
  5.  48
    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   10 citations  
  6.  28
    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. pp. 287--299.
  7.  9
    Real Time Computation.Jiri Becvar & Michael O. Rabin - 1966 - Journal of Symbolic Logic 31 (4):657.
  8.  17
    Bar-Hillel Yehoshua. . , vol. 5 no. 1 , pp. 19–23.Michael O. Rabin - 1958 - Journal of Symbolic Logic 23 (1):72-73.
  9.  32
    Meeting of the association for symbolic logic.Michael O. Rabin & Michael Morley - 1971 - Journal of Symbolic Logic 36 (4):696-710.
  10.  9
    Meeting of the Association for Symbolic Logic, Atlantic City, 1971.Michael O. Rabin & Michael Morley - 1971 - Journal of Symbolic Logic 36 (4):696-710.
  11.  2
    M. P. Schützenberger. A remark on finite transducers. Information and control, vol. 4 (1961), pp. 185–196.Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-297.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  8
    Notice of two directories of philosophy.Michael O. Rabin & Michael Morley - 1971 - Journal of Symbolic Logic 36 (4):710-710.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  9
    Words in the History of a Turing Machine with a Fixed Input.Michael O. Rabin & Hao Wang - 1969 - Journal of Symbolic Logic 34 (3):508-508.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  8
    A logic to reason about likelihood.Joseph Y. Halpern & Michael O. Rabin - 1987 - Artificial Intelligence 32 (3):379-405.
  15.  56
    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  
  16.  7
    Boone William W.. Certain simple, unsolvable problems of group theory V–VI. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 60 , pp. 22–27, 227–232; also Indagationes mathematicae, vol. 19 , pp. 22–27, 227–232. [REVIEW]Michael O. Rabin - 1957 - Journal of Symbolic Logic 22 (4):373-374.
  17.  9
    Boone William W.. Certain simple, unsolvable problems of group theory I–IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 , pp. 231–237, 492–497, and vol. 58 , pp. 252–256, 571–577; also Indagationes mathematicae, vol. 16 , pp. 231–237, 492–497, and vol. 17 , pp. 252–256, 571–577. [REVIEW]Michael O. Rabin - 1957 - Journal of Symbolic Logic 22 (4):372-373.
  18.  13
    Fröhlich A. and Shepherdson J. C.. On the factorisation of polynomials in a finite number of steps. Mathematische Zeitschrift, vol. 62, no. 4 , pp. 331–334.Fröhlich A. and Shepherdson J. C.. Effective procedures in field theory. Philosophical transactions of the Royal Society of London, Series A, vol. 248 , pp. 407–432. [REVIEW]Michael O. Rabin - 1959 - Journal of Symbolic Logic 24 (2):169-170.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  8
    Higman G.. Subgroups of finitely presented groups. Proceedings of the Royal Society of London, series A, mathematical and physical sciences, vol. 262 , pp. 455–475. [REVIEW]Michael O. Rabin - 1964 - Journal of Symbolic Logic 29 (4):204-205.
  20.  15
    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.
  21.  13
    Review: A. Frohlich, J. C. Shepherdson, On the Factorisation of Polynomials in a Finite Number of Steps; A. Frohlich, J. C. Shepherdson, Effective Procedures in Field Theory. [REVIEW]Michael O. Rabin - 1959 - Journal of Symbolic Logic 24 (2):169-170.
  22.  3
    Review: G. Higman, Subgroups of Finitely Presented Groups. [REVIEW]Michael O. Rabin - 1964 - Journal of Symbolic Logic 29 (4):204-205.
  23. 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.
  24.  8
    Review: M. P. Schutzenberger, On the Definition of a Family of Automata; M. P. Schutzenberger, Finite Counting Automata; M. P. Schutzenberger, Certain Elementary Families of Automata. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):296-297.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  25.  10
    Review: M. P. Schutzenberger, On Context-Free Languages and Push-Down Automata. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-298.
  26.  1
    Review: M. P. Schutzenberger, A Remark on Finite Transducers. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-297.
  27.  3
    Review: William W. Boone, Certain Simple, Unsolvable Problems of Group Theory I-IV. [REVIEW]Michael O. Rabin - 1957 - Journal of Symbolic Logic 22 (4):372-373.
  28. Review: William W. Boone, Certain Simple, Unsolvable Problems of Group Theory V-VI. [REVIEW]Michael O. Rabin - 1957 - Journal of Symbolic Logic 22 (4):373-374.
  29.  5
    Review: Yehoshua Bar-Hillel, On the Nature of Ethical Sentences. [REVIEW]Michael O. Rabin - 1958 - Journal of Symbolic Logic 23 (1):72-73.
  30.  17
    M. P. Schützenberger. On the definition of a family of automata. Information and control, vol. 4 (1961), pp. 245–270. - M. P. Schützenberger. Finite counting automata.Information and control, vol. 5 (1962), pp. 91–107. - M. P. Schützenberger. Certain elementary families of automata. Proceedings of the Symposium of Mathematical Theory of Automata, New York, N.Y., Microwave Research Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, New York1963, pp. 139–153. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):296-297.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  12
    M. P. Schützenberger. On context-free languages and push-down automata. Information and control, vol. 6 (1963), pp. 246–264. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-298.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  32.  21
    Session VII. A new paradigm for the social sciences? Introductory remarks: Liah Greenfeld moderator: Jonathan Eastwood participants: Ali banuazizi.Carlos Casanova, Jeffrey Friedman, Geoffrey Hill, Natan Press, George Prevelakis, Michael O. Rabin, Nathalie Richard, Joseph E. Steinmetz & Peter Wood - 2004 - Critical Review: A Journal of Politics and Society 16 (2-3):208-228.
  33.  19
    Testing therapies less effective than the best current standard: Ethical beliefs in an international Sample of researchers.David M. Kent, Mkaya Mwamburi, Richard A. Cash, Tracy L. Rabin & Michael L. Bennish - 2003 - American Journal of Bioethics 3 (2):28 – 33.
    Objectives: To test the range of beliefs regarding the ethics of testing, in resource poor settings, new therapies that are less efficacious but more affordable and feasible than the best current therapeutic standard. Design: Using a web-based survey, we presented a hypothetical scenario proposing to test a therapy for HIV disease ("therapeutic inoculation") known to be less efficacious than highly active antiretroviral therapy (HAART). Respondents evaluated various trial designs as ethical or unethical. Participants: 604 subscribers to two listservs for individuals (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  16
    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.
  35.  22
    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.
  36.  24
    Review: Michael O. Rabin, Effective Computability of Winning Strategies. [REVIEW]Patrick Suppes - 1958 - Journal of Symbolic Logic 23 (2):224-224.
  37.  22
    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  
  38.  35
    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.
  39.  30
    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.
  40.  17
    Review: Michael O. Rabin, Recursive Unsolvability of Group Theoretic Problems. [REVIEW]Bernhard H. Neumann - 1958 - Journal of Symbolic Logic 23 (1):55-56.
  41.  20
    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.
  42.  36
    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.
  43. Review: Michael O. Rabin, Arithmetical Extensions with Prescribed Cardinality. [REVIEW]Thomas Frayne - 1960 - Journal of Symbolic Logic 25 (2):169-169.
  44.  21
    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.
  45.  19
    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.
  46.  10
    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.
  47.  33
    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.
  48.  23
    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.
  49.  18
    Review: Michael O. Rabin, Weakly Definable Relations and Special Automata. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):622-623.
  50.  14
    Review: Michael O. Rabin, Automata on Infinite Objects and Church's Problem. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
1 — 50 / 977