The Collected Works of J. Richard Biichi
|
|
- Joel Riley
- 6 years ago
- Views:
Transcription
1 The Collected Works of J. Richard Biichi
2 J. Richard Biichi, 1983
3 Saunders Mac Lane Editors Dirk Siefkes The Collected Works of J. Richard Biichi With 60 Illustrations Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong
4 Saunders Mac Lane Department of Mathematics University of Chicago Chicago, Illinois USA Dirk Siefkes Technische Universitat Berlin Fachberich Informatik D-lOOO Berlin 10 Federal Republic of Germany Library of Congress Cataloging-in-Publication Data Biichi, J. Richard. [Works. 1990) The collected works of J. Richard BiichiJ Saunders Mac Lane, Dirk Siefkes, editors. p. em. ISBN-13: e-isbn-13: DOl: / Machine theory. 2. Logic, symbolic and mathematical. 3. Biichi, J. Richard. I. Mac Lane, Saunders. II. Siefkes, Dirk. III. Title. QA267.B dc Printed on acid-free paper by Springer-Verlag New York Inc. Softcover reprint of the hardcover 1 st edition 1990 All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer-Verlag, 175 Fifth Avenue, New York, NY 10010, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use of general descriptive names, trade names, trademarks, etc. in this publication, even if the former are not especially identified, is not to be taken as a sign that such names, as understood by the Trade Marks and Merchandise Marks Act, may accordingly be used freely by anyone
5 Preface J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier "theoretical," because he more or less identified science and theory, using "theory" in a broader sense and "science" in a narrower sense than usual.) We are happy to present here this collection of his papers. I (DS)1 worked with Biichi for many years, on and off, ever since I did my Ph.D. thesis on his Sequential Calculus. His way was to travel locally, not globally: When we met we would try some specific problem, but rarely discussed research we had done or might do. After he died in April 1984 I sifted through the manuscripts and notes left behind and was dumbfounded to see what areas he had been in. Essentially I knew about his work in finite automata, monadic second-order theories, and computability. But here were at least four layers on his writing desk, and evidently he had been working on them all in parallel. I am sure that many people who knew Biichi would tell an analogous story. Therefore when Saunders Mac Lane asked me to help him edit a volume of collected papers of Biichi, I gladly accepted, although I was afraid too. Walter Kaufmann-Biihler from Springer-Verlag, who had struggled with Biichi for many years to get him to finish his book on a theory of automata, grammars, and terms, encouraged us. When Walter sadly died, Lynn Montz took over, so both books are now Springer volumes. We are grateful to the Springer people for that, and thank them for their help. I (SM)1 first met Richard in I was then spending six months in study at the Eidgenossische Technische Hochschule in Ziirich. Richard and I found and discussed common interests in Boolean algebras and in the foundations of mathematics. One week early in the spring of 1948 we went on a skiing trip together to St. Moritz, where Richard knew all the ropes and found a good pension for our stay. We skied up and down the slopes and down the glacier, talking the while about logic. Since then it has been my privilege to 1 The preface is written by both editors. Where necessary we add initials to indicate who is writing. v
6 PREFACE follow his career and now to share in this presentation of his varied and decisive work. At our request, several people wrote comments on different parts of Biichi's work, to introduce and evaluate what he did in an area. All of them knew Biichi personally, be it through a single visit or as a year-long colleague. We made it a policy, however, not to have coworkers of Biichi write commentsexcept for some help from doctoral students. Thus nine comments appear herein, each with the corresponding section of Biichi's work. These comments turned out quite differently, some involving a personal attitude, some expositing a whole area. We feel this is good, since it reflects the different reactions Biichi could draw from people. We thank all of them for the work they did. Many people helped by contributing to the volume in other waysyou will see their names while reading-or from the background. We are personally most indebted to Sylvia Biichi and Leonard Lipshitz, who gave time and space, advice, memories, material support, and a cheerful spirit when necessary. Walter Schnyder helped as both a colleague and a friend of Biichi. Beat Glaus from the ETH library in Zurich indexed and stored the many boxes of Biichi's notes and papers; through his immense effort all material is now publicly available. 2 Also I (DS) thank the people in Berlin who would sometimes rather have seen me doing my regular work at home or in my office than "Biichi again." I thank especially Helga Barnewitz for her excellent typing and my wife for loving patience. At the same time I (SM) thank Ann Kauth and Lynette Whalum for quickly typing the numerous letters needed to keep this project on track. SAUNDERS MAC LANE DIRK SIEFKES 2 ETH-Bibliothek, Riimistr. 101, CH-8092 Ziirich, Schweiz. vi
7 Contents Preface v Publications xi Permissions... xv Part 1. The Person and His Work J. Richard Biichi ( ) Dirk Siefkes, Paul Young, and Leonard Lipshitz The Life of J. Richard Biichi Sylvia Biichi The Work of J. Richard Biichi... 7 Dirk Siefkes The Role of Biichi's Automata in Computer Science E. Allen Emerson J. Richard Biichi's Doctoral Students Abstracts Published by J. Richard Biichi Part 2. The Publications, with Comments Section 1. Boolean Algebras With comments by Saunders Mac Lane, The University of Chicago [1]* Die Boole'sche Partialordnung und die Paarung von Gefiigen [2] Representation of Complete Lattices by Sets [3] Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types * Numbers in brackets refer to the Publications section on pp. xi-xiii. vii
8 CONTENTS Section 2. Discrete Spaces With comments by Don Pigozzi, Iowa State University, Ames [4] On the Existence of Totally Heterogeneous Spaces [19] Jordan Circuits ofa Graph (with Gary Haggard) [37] Skolem Rings and Their Varieties (with T. Michael Owens) Section 3. Towards a Theory of Definability With comments by Ernst Specker, ETH Zurich, with assistance from Kenneth Danhof, Southern Illinois University at Carbondale [5] The Theory of Proportionality as an Abstraction of Group Theory (with Jesse B. Wright) [6] Invariants of the Anti-Automorphisms of a Group (with Jesse B. Wright) [21] Model Theoretic Approaches to Definability (with Kenneth J. Danhof) [22] Definability in Normal Theories (with Kenneth J. Danhof) [23] Variations on a Theme of Cantor in the Theory of Relational Structures (with Kenneth J. Danhof) [40] Relatively Categorical and Normal Theories Abstract 11. Relatively Categorical and Normal Theories Section 4. Automata and Grammars With comments by Peter Deussen, Universitiit Karlsruhe [10] Mathematische Theorie des Verhaltens endlicher Automaten Mathematical Theory of the Behavior of Finite Automata (English translation by Sylvia Biichi, Peter Deussen, and Dirk Siefkes) [11] Regular Canonical Systems [12] Algebraic Theory of Feedback in Discrete Systems [17] Canonical Systems which Produce Periodic Sets (with William H. Hosken) Section 5. Automata and Monadic Theories With comments by Robert McNaughton, Rensselaer Polytechnic Institute [7] Weak Second-Order Arithmetic and Finite Automata [8] On a Decision Method in Restricted Second Order Arithmetic [13] Transfinite Automata Recursions and Weak Second Order Theory of Ordinals [14] Decision Methods in the Theory of Ordinals [16] Definability in the Monadic Second-Order Theory of Successor (with Lawrence H. Landweber) viii
9 CONTENTS [26] The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals (with Dirk Siefkes) [28] Deterministic Automata and the Monadic Theory of Ordinals < W 2 (with Charles Zaiontz) Section 6. Games and Determinacy With comments by Yuri Gurevich, University of Michigan, Ann Arbor [15] Solving Sequential Conditions by Finite-State Strategies (with Lawrence H. Landweber) [18] Algorithmisches Konstruieren von Automaten und die Herstellung von Gewinnstrategien nach Cantor-Bendixson Algorithmic Construction of Automata and the Production of Winning Strategies According to Cantor-Bendixson (English translation by Sylvia Biichi, Saunders Mac Lane, Walter Schnyder, and Dirk Siefkes) [20] On the Presentation of Winning Strategies via the Cantor Bendixson Method (with Stephen Klein) [27] Using Determinancy of Games to Eliminate Quantifiers [29] State-Strategies for Games in Fad n Gdt Section 7. Computability With comments by Martin Davis, The Courant Institute [9] Turing Machines and the Entscheidungsproblem [31] Recursive Definition and Complexity of Functions Over Arbitrary Data Structures (with Bernd Mahr and Dirk Siefkes) [32] Coding in the Existential Theory of Concatenation (with Steven Senger) [33] Definability in the Existential Theory of Concatenation and Undecidable Extensions of This Theory (with Steven Senger) Section 8. Quadratic Forms, the Five Squares Problem, and Diophantine Equations With comments by Leonard Lipshitz, Purdue University Section 9. Graphs and Matroids With comments by William E. Fenton, Bellarmine College and Saunders Mac Lane, The University of Chicago [34] Large Convex Sets in Oriented Matroids (with William E. Fenton) 685 IX
10 Publications [1] Die Boole'sche Partialordnung und die Paarung von Gefiigen. Port. Math. 7 (1950), pp Doctoral dissertation. [2] Representation of complete lattices by sets. Port. Math. 11 (1952), pp [3] Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types. J. Symbolic Logic 18 (1953), pp [4] On the existence of totally heterogeneous spaces. Fund. Math. 41 (1954), pp [5] (with Jesse B. Wright) The theory of proportionality as an abstraction of group theory. Math. Annalen 130 (1955), pp [6] (with Jesse B. Wright) Invariants of the anti-automorphisms of a group. Proc. AMS 8 (1957), pp [7] Weak second-order arithmetic and finite automata. Zeitschrift Math. Logik und Grundlagen der Mathematik 6 (1960), pp [8] On a decision method in restricted second order arithmetic. Proc. Int. Congress Logic, Methodology, and Philosophy of Science, Berkeley Stanford University Press, Stanford, Calif. (1962), pp Invited address. [9] Turing machines and the Entscheidungsproblem. Math. Annalen 148 (1962), pp [10] Mathematische Theorie des Verhaltens endlicher Automaten. Zeitschrift Angew. Mathematik und Mechanik 42 (1962), T9-Tl6. Invited address, yearly meeting of the German Soc. Appl. Math. and Mech. [11] Regular canonical systems. Archiv Math. Logik und Grundlagenforschung 6 (1964), pp [12] Algebraic theory offeedback in discrete systems. In E. Caianello (Ed.), Automata Theory. First Course on Automata Theory, Ravello, Italy, Academic Press, New York (1966), pp [13] Transfinite automata recursions and weak second order theory of ordinals. Proc. Int. Congress Logic, Methodology, and Philosophy of Science, Jerusalem North-Holland Publ. Co., Amsterdam (1965), pp Invited address. [14] Decision methods in the theory of ordinals. Bull. AMS 71 (1965), pp [15] (with Lawrence H. Landweber) Solving sequential conditions by finite-state strategies. Trans. AMS 138 (1969), pp [16] (with Lawrence H. Landweber) Definability in the monadic second-order theory of successor. J. Symbolic Logic 34 (1969), pp Xl
11 PUBLICATIONS [17] (with William H. Hosken) Canonical systems which produce periodic sets. Math. System Theory 4 (1970), pp [18] Algorithmisches Konstruieren von Automaten und die Herstellung von Gewinnstrategien nach Cantor-Bendixson. In J. Dorr and G. Hotz (Eds.), Automatentheorie und Formale Sprachen, Tagung Math. Forschungsinst. Oberwolfach, Mannheim, F.R. Germany (1970), pp Invited address. [19] (with Gary Haggard) Jordan circuits of a graph. J. Combinatorial Theory 10 (1971), pp [20] (with Stephen Klein) On the presentation of winning strategies via the Cantor Bendixson Method. Report Purdue University CSD TR-81 (1972), 14 pp. [21] (with Kenneth J. Danhof) Model theoretic approaches to definability. Zeitschrift Math. Logik und Grundlagen der Mathematik 18 (1972), pp [22] (with Kenneth J. Danhof) Definability in normal theories. Israel Journal of Mathematics 14 (1973), pp [23] (with Kenneth J. Danhof) Variations on a theme of Cantor in the theory of relational structures. Zeitschrift Math. Logik und Grundlagen der Mathematik 19 (1973), pp *[24] The monadic second order theory of w 1 In J.R. Buchi and D. Siefkes, The Monadic Second Order Theory of all Countable Ordinals. Lect. Notes Math. vol. 328 (1973), Springer-Verlag, pp *[25] (with Dirk Siefkes) Axiomatization of the monadic second order theory of w 1 The Monadic Second Order Theory of All Countable Ordinals. Lect. Notes Math. vol. 328 (1973), Springer-Verlag, pp [26] (with Dirk Siefkes) The complete extensions ofthe monadic second order theory of countable ordinals. Report Forschungsinstitut Mathematik, ETH Zurich (1974). Zeitschrift Math. Logik und Grundlagen der Mathematik 29 (1983), pp [27] Using determinancy of games to eliminate quantifiers. In M. Karpinski (Ed.), Fundamentals of Computation Theory, Lecture Notes Compo Science vol. 56, Springer-Verlag, pp Invited address. [28] (with Charles Zaiontz) Deterministic automata and the monadic theory of ordinals <w 2 Zeitschrift Math. Logik und Grundlagen der Mathematik 29 (1983), pp [29] State-strategies for games in F"6 n G6,.. J. Symbolic Logic 48 (1983), pp *[30] (with Bernd Mahr, Dirk Siefkes) Manual on REC-A language for use and cost analysis of recursion over arbitrary data structures. Techn. Univ. Berlin, FB Informatik (20), Bericht Nr (1984), 79 pp. [31] (with Bernd Mahr and Dirk Siefkes) Recursive definition and complexity of functions over arbitrary data structures. In G. Wechsung (Ed.), Proc. 2. Frege Conference. Akademie-Verlag Berlin (1984), pp [32] (with Steven Senger) Coding in the existential theory of concatenation. Archiv Math. Logik und Grundlagenforschung 26 (1986/87), pp [33] (with Steven Senger) Definability in the existential theory of concatenation and undecidable extensions of this theory. Zeitschrift Math. Logik und Grundlagen der Mathematik 34 (1988), pp [34] (with William E. Fenton) Large convex sets in oriented matroids. Journal Combinatorial Theory, series B 45 (1988), pp * Does not appear in this book. xii
12 PUBLICATIONS *[35] (with William E. Fenton) Directed Circuits of a Graph with an Application to Series-Parallel Graphs. Manuscript. *[36] Implicative Boolean algebras, Copeland's theory of conditional probability. Manuscript. [37] (with T. Michael Owens) Skolem rings and their varieties. Report Purdue University CSD TR-140 (1975). *[38] (with T. Michael Owens) Complemented Monoids and Hoops. To be submitted. *[39] Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions. D. Siefkes (Ed.). Springer-Verlag, New York (1989). [40] Relatively Categorical and Normal Theories. Manuscript ( ). * Does not appear in this book. xiii
13 Permissions [1]* Reprinted with permission. [2] Reprinted with permission. [3] Reprinted with permission. [4] Reprinted with permission. [5] Reprinted with permission from Math. Annal. Volume 130, Springer-Verlag. [6] Reprinted from Proceedings of the American Mathematical Society (1957), "Invariants of the Anti-Automorphism of a Group," J. Richard Biichi and Jesse B. Wright, Volume 8, pages , with permission of the American Mathematical Society and Jesse B. Wright. [7] Reprinted with permission. [8] Reprinted from Logic, Methodology, and Philosophy of Science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, with the permission ofthe publishers, Stanford University Press by the Board of Trustees of the Leland Stanford Junior University. [9] Reprinted with permission from Math. Annal. Bd. Volume 148, Springer-Verlag. [10] Reprinted with permission. [11] Reprinted with permission. [12] Reprinted from Automata Theory Academic Press, New York. [13] Reprinted with permission from Proc.lnt. Congress Logic, Method., Philos. of Sci. 1964, Jerusalem North-Holland Publishing Company. [14] Reprinted from Bulletin of the American Mathematical Society Volume 71 (1965) Reprinted with permission of the American Mathematical Society. [15] Reprinted from Trans. of the American Mathematical Society Volume 138 (1969) Reprinted with permission of the American Mathematical Society. [16] Reprinted with permission from the Association for Symbolic Logic and Lawrence H. Landweber. [17] Reprinted with permission from Mathematical Systems Theory Volume 4, Springer-Verlag. [18] Reprinted with permission. [19] Reprinted from Journal of Combinatorial Theory Volume 10, Academic Press, New York. * Numbers in brackets refer to the Publications section on pp. xi-xiii. xv
14 PERMISSIONS [20] Reprinted with permission of Stephen J. Klein. [21] Reprinted with permission. [22] Reprinted with permission. [23] Reprinted with permission. [26] Reprinted with permission. [27] Reprinted with permission from Fundamentals of Computation Theory Lecture Notes in Computer Science Volume 56, Editor: Marek Karpinski Springer-Verlag. [28] Reprinted with penilission from V.E.B. Deutscher Verlag der Wissenshaften and Charles Zaiontz. [29] Reprinted with permission. [31] Reprinted with pertnission. [32] Reprinted with permission. [33] Reprinted with permission. [34] Reprinted with permission from Journal of Combinatorial Theory Series B, Volume 45, Number 3, December 1988, pp Academic Press. [37] Reprinted with permission. Abstract 11 Reprinted with permission from Proceedings of the Symposium on the Theory of Models North-Holland Publishing Company, Amsterdam. xvi
Fractals and Chaos. A.J. Crilly R.A. Earnshaw H. Jones Editors. With 146 Figures in 173 Parts, 57 in Color
Fractals and Chaos A.J. Crilly R.A. Earnshaw H. Jones Editors Fractals and Chaos With 146 Figures in 173 Parts, 57 in Color Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona
More informationCURRICULUM VITAE Kenneth S. Brown
CURRICULUM VITAE Kenneth S. Brown Address Department of Mathematics Malott Hall Cornell University Ithaca, NY 14853-4201 Email address kbrown@cornell.edu Web page http://math.cornell.edu/~kbrown/ Education
More informationCurriculum Vitae (22 June, 2013)
Curriculum Vitae (22 June, 2013) Name Office address Home address Charles Frederick Miller III Department of Mathematics and Statistics University of Melbourne Melbourne, Vic. 3010 Australia Department
More informationProgress in Mathematics Volume 95
Progress in Mathematics Volume 95 Series Editors J. Oesterle A. Weinstein Representation Theory of Finite Groups and Finite-Dimensional Algebras Proceedings of the Conference at the University of Bielefeld
More informationI got my undergraduate, master and Ph.D degrees from Sharif University of Technology.
CURRICULUM VITAE S. A. SEYED FAKHARI SEPTEMBER 23, 2015 PERSONAL PROFILE Name: Seyed Amin Seyed Fakhari Date of Birth: August 23, 1985 Place of Birth: Rasht Gender: Male Nationality: Iranian Marital Status:
More informationCURRICULUM VITAE Michael (Michail) Th. Rassias
CURRICULUM VITAE Michael (Michail) Th. Rassias Contact Information Address: E-mail: Department of Mathematics Princeton University Fine Hall, Washington Road Princeton, NJ 08544-1000 USA michailrassias@math.princeton.edu
More informationResearch Reports ESPRIT
Research Reports ESPRIT Project 393. ACORD. Vol. 1 Edited in cooperation with the Commission of the European Communities G. G. Bes T. Guillotin (Eds.) A Natural Language and Graphics Interface Resu Its
More informationSpringer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo
The Mathematical World ofwalter Noll Springer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo Yurie A.Ignatieff The Mathematical World of Walter Noll
More informationSTUDIES IN ORGANIZED CRIME
Women and the Mafia STUDIES IN ORGANIZED CRIME Volume 5 Series Editor: Frank Bovenkerk, University of Utrecht, Willem Pompe Institute, The Netherlands Editorial Board: Maria Los, University of Ottowa,
More informationJean-Louis Lassez Page 1 of 10 CURRICULUM VITAE
Jean-Louis Lassez Page 1 of 10 CURRICULUM VITAE JEAN-LOUIS LASSEZ classez@gilanet.com ADDRESS: P.O. Box 407, Magdalena, New Mexico 87825-0407 PHONE: 505 854 2253 (home), 505 835 5396 (work) PERSONAL: Date
More informationOctober October FWO Postdoctoral Fellow - KU Leuven, Leuven, Belgium. October October Sep.
Alessandro Vignati Curriculum Vitae Positions October 2018 - October 2021 FWO Postdoctoral Fellow - KU Leuven, Leuven, Belgium October 2017- October 2018 Postdoctoral Fellow at IMJ-PRG - Institut de Mathématiques
More informationGerman Yearbook on Business History 1986
German Yearbook on Business History 1986 German Yearbook on Business History 1986 Edited by the German Society for Business History, Cologne in Cooperation with the Institute for Bank-Historical Research,
More informationCV of Nikolay Nikolov
CV of Nikolay Nikolov Date of Birth: 9 July 1976 Nationality: Bulgarian Address: University College, Oxford, OX1 4BH, UK. e-mail: nikolov@maths.ox.ac.uk Academic September 2012 - University Lecturer in
More informationJanuary 30, 2015 Curriculum Vitae : Eleftherios ( Lefteris) N. Economou
January 30, 2015 Curriculum Vitae : Eleftherios ( Lefteris) N. Economou Address: Office: FORTH, P.O. BOX 1385, 70013 Heraklio, Crete, Creece, Tel.: +30 2810 391560, 391562, Fax: +30 2810 391569, e-mail:
More informationSheldon Ross s Scholarly Trip to Taiwan in 2007
Journal of Probability and Statistical Science 6(1), I-XX, Feb. 2008 Sheldon Ross s Scholarly Trip to Taiwan in 2007 Kuang-Chao Chang / Fu Jen Catholic University Show-Long Patrick Koh Hsing Luh / National
More informationDr Richard Smith. Visiting Asst. Professor, Mathematical Institute, AS CR, Prague
School of Mathematics and Statistics, University College Dublin, Belfield, Dublin 4, Ireland Phone +353 7162570 Email richard.smith at maths.ucd.ie Web maths.ucd.ie/~rsmith/ Education PhD Mathematics,
More informationEmotional Engineering Volume 5
Emotional Engineering Volume 5 Editor Emotional Engineering Volume 5 123 Editor Keio University Minato, Tokyo Japan ISBN 978-3-319-53194-6 ISBN 978-3-319-53195-3 (ebook) DOI 10.1007/978-3-319-53195-3 Library
More informationCURRICULUM VITA OF GELU POPESCU July 2007 ACADEMIC TRAINING
CURRICULUM VITA OF GELU POPESCU July 2007 ACADEMIC TRAINING 1978-1982: University of Timisoara, Romania, B.S., August 1982. 1982-1983: University of Bucharest, Romania, M.S., August 1983. 1991-1993: Texas
More informationInternational Conference on Image and Signal Processing. July 2-4, 2018, Cherbourg, France
International Conference on Image and Signal Processing July 2-4, 2018, Cherbourg, France ICISP in numbers Stats. From 122 records (full papers), Each paper has been reviewed at least by 2 experts 58 papers
More informationCURRICULUM VITAE ANTONIO MONTALBÁN. Research interest Mathematical Logic: Computability theory, Computable mathematics and Reverse mathematics.
June 26, 2013 CURRICULUM VITAE ANTONIO MONTALBÁN Department of Mathematics, University of California, Berkeley 970 Evans Hall, Berkeley, CA 94720, USA. Citizenship: Uruguay. Permanent Resident of the USA.
More informationCurriculum Vitae Person Education Professional career
Curriculum Vitae 1 Person Name Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German 2 Education 1974 Dipl.-Inf. Degree from the University
More informationRTS & HUMANITIES CITATION INDEX - ASIAN STUDIES JOURNAL LIST Total journals: ARTIBUS ASIAE
RTS & HUMANITIES CITATION INDEX - ASIAN STUDIES JOURNAL LIST Total journals: 37 1. ARTIBUS ASIAE ISSN: 0004-3648 ARTIBUS ASIAE, MUSEUM RIETBERG, GABLERSTRASSE 15, ZURICH, SWITZERLAND, CH-8002 2. ARTS OF
More informationThe Archaeology of Anxiety
The Archaeology of Anxiety Jeffrey Fleisher Neil Norman Editors The Archaeology of Anxiety The Materiality of Anxiousness, Worry, and Fear Editors Jeffrey Fleisher Department of Anthropology Rice University
More informationYury I. Manin CURRICULUM VITAE (updated May 20, 2016)
Yury I. Manin CURRICULUM VITAE (updated May 20, 2016) MANIN YURY, born February 16, 1937, Simferopol, USSR. Current employments: Professor Emeritus, Max Planck Institut für Mathematik, Vivatsgasse 7, Bonn
More informationSHORTER CURRICULUM VITAE AKIHIRO KANAMORI. Born 23 October 1948 in Tokyo, Japan; now a United States citizen.
SHORTER CURRICULUM VITAE AKIHIRO KANAMORI DESCRIPTION: Born 23 October 1948 in Tokyo, Japan; now a United States citizen. DEGREES: 1966-1970 California Institute of Technology, Bachelor of Science. 1970-1975
More informationThomas Schroepfer. Professor, Co-Director <SUTD-JTC I3 Centre> and Founding. Associate Head of Pillar <ASD> Research Interests. . Telephone.
1 Thomas Schroepfer Professor, Co-Director and Founding Associate Head of Pillar Research Interests Email Telephone Web Environmental strategies in architecture and urban design,
More informationAcademic Employment. Education
Susan F. Longfield Karr Visiting Max Weber Fellow, European University Institute US Address: 59 Lorene Ave; Athens, Ohio 45701-2044 US Cell: (740) 249-5581 Email: Susan.Karr@eui.eu * Susanfkarr@gmail.com
More informationOrganizational Economics, Personnel Economics, Behavioral Economics
CURRICULUM VITAE Professor Dr. Jenny Kragl Professor of Economics (Microeconomics) EBS Universität für Wirtschaft und Recht EBS Business School Department of Management & Economics Rheingaustr. 1 D - 65375
More informationCURRICULUM VITAE EUGEN MIHAILESCU May 2018
CURRICULUM VITAE EUGEN MIHAILESCU May 2018 Email: Eugen.Mihailescu@imar.ro Work Address: Institute of Mathematics Simion Stoilow of the Romanian Academy, P.O Box 1-764, RO-014700, Bucharest, Romania. Current
More informationAssistant Professor, Department of Combinatorics and Optimization, University of Waterloo, Jul 2015.
Peter Nelson Department of Combinatorics and Optimization University of Waterloo 200 University Avenue West Waterloo, ON N2L3G1 Canada Phone: +1 519 504 6859 Email: apnelson@uwaterloo.ca Basic Information
More informationDavi Maximo Alexandrino Nogueira
Davi Maximo Alexandrino Nogueira 1 Education Department of Mathematics, Stanford University 450 Serra Mall, Bldg 380, Stanford, CA 94305 URL: http://math.stanford.edu/ maximo E-mail: maximo@math.stanford.edu
More informationGraphical Representation of Defeasible Logic Rules Using Digraphs
Graphical Representation of Defeasible Logic Rules Using Digraphs Efstratios Kontopoulos and Nick Bassiliades Department of Informatics, Aristotle University of Thessaloniki, GR-54124 Thessaloniki, Greece
More informationThe Founders of Index Theory
The Founders of Index Theory The Founders of Index Theory reminiscences of and about Sir Michael Atiyah, Raoul Bott, Friedrich Hirzebruch, and I.M. Singer edited by S.-T. Yau Harvard University second
More informationA Bibliography of Books about REDUCE
A Bibliography of Books about REDUCE Anthony C. Hearn The RAND Corporation Santa Monica, CA 90406-2138 USA 14 October 2017 Version 2.11 Abstract This bibliography records books and technical reports written
More informationCollege of Business and Economics California State University, Fullerton present
DR. TAMMY DREZNER College of Business and Economics, California State University, Fullerton, Fullerton, CA 92834. (714) 278-8318 tdrezner@fullerton.edu. ACADEMIC POSITIONS College of Business and Economics
More informationINDUSTRIAL RELATIONS IN INTERNATIONAL PERSPECTIVE
INDUSTRIAL RELATIONS IN INTERNATIONAL PERSPECTIVE By the same author Internal Labor Markets and Manpower Analysis (with Michael J. Piore) Programs to Employ the Disadvantaged (ed.) Industrial Relations
More informationCurriculum Vitae Education and studies Professional experience Research and publications
Curriculum Vitae Mircea Bîrsan Education and studies I was born on the 1 st of May 1973 in Iaşi, Romania. I graduated the high-school College C. Negruzzi of Iaşi in 1992. In the period 1990-1992, I was
More informationCurriculum Vitae for Marlis Buchman
Curriculum Vitae for Marlis Buchman AREAS OF SPECIALIZATION Sociology of the Life Course (including Sociology of Youth) Social Change Social Stratification and Mobility Sociology of Work, Occupations,
More informationLaw, Biology and Culture
Law, Biology and Culture The Evolution of Law MARGARET GRUTER & PAUL BOHANNAN EDITORS Ross-Erikson, Inc. SANTA BARBARA Copyright @1983 Margaret Gruter and Paul Bohannan Published by ROSS-ERIKSON, PUBLISHERS,
More informationDr. Bappaditya Bhowmik
Dr. Bappaditya Bhowmik Assistant Professor Indian Institute of Technology Kharagpur Kharagpur - 721302, West Bengal, India Contact: Mailing Address : Assistant Professor Department of Mathematics Indian
More informationOptimal Apartment Cleaning by Harried College Students: A Game-Theoretic Analysis
MPRA Munich Personal RePEc Archive Optimal Apartment Cleaning by Harried College Students: A Game-Theoretic Analysis Amitrajeet Batabyal Department of Economics, Rochester Institute of Technology 12 June
More informationLecture Notes in Artificial Intelligence 2155
Lecture Notes in Artificial Intelligence 2155 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis,
More informationReferences Introduction 0. Kenneth Iverson, APL and J 1. Positional Number Systems 2. John Napier and Logarithms
References Introduction Campbell, Duncan D., 1977. Those Tumultuous Years. The Goals of the President of the University of Alberta during the Decade of the 1960s. The University of Alberta. Charlton, Bruce,
More informationIntroductory Comments: Elisabeth Mann Borgese Lecture 2008
Introductory Comments: Elisabeth Mann Borgese Lecture 2008 Anthony Charles Saint Mary's University Halifax, Nova Scotia B3H3C3 Canada Tony.Charles@smu.ca Dr. Elisabeth Mann Borgese was a key architect
More informationACADEMICIAN PROFESSOR DIMITRIE D. STANCU AT HIS 80 TH BIRTHDAY ANNIVERSARY
STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume LII, Number 4, December 2007 ACADEMICIAN PROFESSOR DIMITRIE D. STANCU AT HIS 80 TH BIRTHDAY ANNIVERSARY We are pleased to have the opportunity to celebrate
More informationWhat Is Biodiversity?
What Is Biodiversity? What Is Biodiversity? James Maclaurin and Kim Sterelny The University of Chicago Press chicago and london james maclaurin is a senior lecturer in the Department of Philosophy at
More informationLehrstuhl für Algebra und Zahlentheorie,
Marco Ramponi Contact Address Email Website Lehrstuhl für Algebra und Zahlentheorie, Universität Augsburg, Institut für Mathematik, D-86135 Augsburg, DE marco.ramponi (at) math.uni-augsburg.de http://www-math.sp2mi.univ-poitiers.fr/~mramponi/
More informationARCHITECTURE (ARCH) Architecture (ARCH) 1
Architecture (ARCH) 1 ARCHITECTURE (ARCH) ARCH 1112 Introduction to Architecture Description: An introduction to the professions of architecture and architectural engineering. Previously offered as ARCH
More informationCurriculum Vitae December 2011
Curriculum Vitae December 2011 PERSONAL DATA Name Father s name Date of birth 10 August 1981 Place of birth Tbilisi, Georgia Citizenship Address Tamara Mchedlidze (Mtsentlintze) David Greek, Georgian Engesserstraße
More informationEarly Modern Philosophers and the Renaissance Legacy
Early Modern Philosophers and the Renaissance Legacy INTERNATIONAL ARCHIVES OF THE HISTORY OF IDEAS ARCHIVES INTERNATIONALES D HISTOIRE DES IDÉES 220 EARLY MODERN PHILOSOPHERS AND THE RENAISSANCE LEGACY
More informationDeveloping a Reviewer s Mentality... 1
Table of Contents Overview... ix Course Schedule... xiii SECTION 1 Introduction Developing a Reviewer s Mentality... 1 Part 1. Role of the Reviewer Preview Part 1... 5 Defining Review... 9 Why Clients
More informationFinding aid for the Charles W Morris collection, circa AG 116
Center for Creative Photography The University of Arizona 1030 N. Olive Rd. P.O. Box 210103 Tucson, AZ 85721 Phone: 520-621-6273 Fax: 520-621-9444 Email: info@ccp.arizona.edu URL: http://creativephotography.org
More informationCURRICULUM VITAE FOR GORAN MUIĆ
CURRICULUM VITAE FOR GORAN MUIĆ General Information: Birthdate: October 7, 1969 Birthplace: Zagreb, Croatia Nationality: Croatian Academic Degrees: B.S. 1993. University of Zagreb, Zagreb, Croatia M.A.
More informationPevsner: The Complete Broadcast Talks, Architecture and Art on Radio and. Nikolaus Pevsner did more than anyone else in twentieth century Britain to
Pevsner: The Complete Broadcast Talks, Architecture and Art on Radio and Television, 1945-1977 edited by Stephen Games London: Ashgate Press, 2014, 578 pages ISBN: 978-1-4094-6197-5 (hardback) Price: 90
More informationJoel H. Spencer Silver Professor Mathematics and Computer Science Courant Institute - New York University (212)
Personal: Born: April 20, 1946 Married, Two Children Citizen of U.S. Joel H. Spencer Silver Professor Mathematics and Computer Science Courant Institute - New York University (212)998-3219 spencer@cims.nyu.edu
More informationThe history and development of numerical analysis in Scotland: a personal perspective
The history and development of numerical analysis in Scotland: a personal perspective Alistair Watson Mathematics Division University of Dundee The history and development of numerical analysis in Scotland:a
More informationAdvanced Algebra. Selected References, Digital Second Edition. Anthony W. Knapp. DOI: /euclid/
Selected References, 713-716 DOI: 10.3792/euclid/9781429799928-12 from Advanced Algebra Digital Second Edition Anthony W. Knapp Full Book DOI: 10.3792/euclid/9781429799928 ISBN: 978-1-4297-9992-8 Distributed
More informationSyntax of Landscape The Landscape Architecture of Peter Latz and Partners
Syntax of Landscape The Landscape Architecture of Peter Latz and Partners Udo Weilacher Syntax of Landscape The Landscape Architecture of Peter Latz and Partners Birkhäuser Basel Boston Berlin Layout and
More informationHomepage: volpe. Curriculum Vitae
Marco Volpe Dipartimento di Informatica Università di Verona Strada Le Grazie, 15 37134 Verona, Italy E-mail: marco.volpe@univr.it Homepage: http://profs.sci.univr.it/ volpe Curriculum Vitae Current Position
More informationCurriculum Vitae for David B. Massey
Curriculum Vitae for David B. Massey BIRTH: August 24, 1959; Jacksonville, Florida EDUCATION: B.S. with Distinction, mathematics, summa cum laude, Duke University, 1981 M.A., mathematics, Duke University,
More informationFundamentals of Georgia Real Estate Law
Fundamentals of Georgia Real Estate Law Mara A. Mooney Clayton State University Carolina Academic Press Durham, North Carolina Copyright 2010 Mara A. Mooney All Rights Reserved Library of Congress Cataloging-in-Publication
More informationSEAN MCGUINNESS. UNIVERSITY OF WATERLOO, Waterloo, Ontario, Canada Ph.D, Mathematics, 1988
Dept. of Mathematics, Thompson Rivers University, Kamloops BC V2C5N3 Canada smcguinness@tru.com tel. 250-377-6180 (w) 250-434-6698(h) webpage: www.tru.ca/faculty/smcguinness EDUCATION UNIVERSITY OF WATERLOO,
More informationGeorge M. Dennison Papers,
Overview of the Collection Creator Dennison, George M. (George Marshel), 1935-2017 Title George M. Dennison Papers Dates 1950-2017 (inclusive) Quantity 3.0 linear feet 3 electronic files (6.52 megabytes
More informationVita of Yiannis N. Moschovakis
Vita of Yiannis N. Moschovakis Born: Athens, Greece, January 18, 1938. Education: B.S., M.S., Mass. Inst. of Technology, 1960, Ph.D., U. of Wisconsin, 1963, under the direction of Stephen C. Kleene. Academic
More informationROADMAP to ENGINEERING DESIGN
ROADMAP to ENGINEERING DESIGN 3 4 5 6 7 Define problem Gather information Concept generation Evaluate & select concept Problem statement Benchmarking Product dissection House of Quality PDS Internet Patents
More informationon September 8, 1979 in Erfurt German September 1994 July 1998 Albert-Schweizer-Gymnasium, Erfurt, Germany (Abitur with final grade 1.
Julia Böttcher Departamento de Ciência da Computação Instituto de Matemática e Estatística Universidade de São Paulo Rua do Matão, 1010 Cidade Universitária SP, 05508-090 São Paulo T +55 11 628 900 32
More informationPaul Wollan page 1 of 6
Paul Wollan page 1 of 6 CONTACT INFORMATION Department of Computer Science Voice: +39 347-773-8834 University of Rome La Sapienza Via Salaria 113 E-mail: wollan@di.uniroma1.it 00198 Roma, Italy http://wwwusers.di.uniroma1.it/
More informationA Student s Guide to Equity and Trusts
A Student s Guide to Equity and Trusts This engaging introduction explores the key principles of equity and trusts law and offers students effective learning features. By covering the essentials of each
More informationCurriculum Vitae. Matija Kazalicki
Curriculum Vitae Matija Kazalicki Personal Information: Birthdate: 31.1.1981 Birthplace: Zagreb, Croatia Home Address: Eugena Kvaternika 11, 10410 Velika Gorica, Croatia Office Address: Mathematics Department
More informationABE PEPINSKY ( ) 1. Abe Pepinsky died in Norristown, Pennsylvania, on January 31,
ABE PEPINSKY (1888-1973) 1 Abe Pepinsky died in Norristown, Pennsylvania, on January 31, 1973, in the 85th year of his life. He was an immensely gifted man, who, throughout a long and rich career, gave
More informationClass Field Theory (AMS Chelsea Publishing) By Emil Artin and John Tate READ ONLINE
Class Field Theory (AMS Chelsea Publishing) By Emil Artin and John Tate READ ONLINE If you are looking for the book Class Field Theory (AMS Chelsea Publishing) by Emil Artin and John Tate in pdf form,
More informationCURRICULUM VITAE. Jan Kmenta
October 2012 CURRICULUM VITAE Jan Kmenta ADDRESS: Department of Economics The University of Michigan Ann Arbor, Michigan 48109 U.S.A. E-Mail: KmentaJan@aol.com EDUCATION AND DEGREES: Stanford University
More informationClass Inequality in Austerity Britain
Class Inequality in Austerity Britain Also by Will Atkinson CLASS, INDIVIDUALIZATION AND LATE MODERNITY Also by Mike Savage CLASS ANALYSIS AND SOCIAL TRANSFORMATION CULTURE, CLASS DISTINCTION (with Tony
More informationRepresentations of Semisimple Lie Algebras in the BGG Category 0
Representations of Semisimple Lie Algebras in the BGG Category 0 James E. Humphreys Graduate Studies in Mathematics Volume 94 American Mathematical Society Providence, Rhode Island Contents Preface Chapter
More informationGuide to the Oskar Lange. Papers
University of Chicago Library Guide to the Oskar Lange. Papers 196-19 2006 University of Chicago Library Table of Contents Descriptive Summary Information on Use Access Citation Biographical Note Scope
More informationCURRICULUM VITAE. Birth Date: January 16, 1971, Drobeta-Turnu Severin, Romania
CURRICULUM VITAE Laurenţiu Leuştean 1 PERSONAL DATA Birth Date: January 16, 1971, Drobeta-Turnu Severin, Romania Nationality: Romanian Family status: Married: Ioana Leuştean (since July 15, 1995) Three
More informationMartin Kell Auf der Morgenstelle Tübingen
Contact Martin Kell Auf der Morgenstelle 10 72076 Tübingen E-Mail: martin DOT kell AT math DOT uni-tuebingen DOT de Tel-No: +49 7071 / 297 6218 Education and work since 09.2015 UNIVERSITY OF TÜBINGEN,
More informationClara S. Chan. 100 Westchester Road Newton, MA (617) clara
Clara S. Chan 100 Westchester Road Newton, MA 02458 (617) 964-0798 clara chan@alum.mit.edu Research Interests Education Combinatorics, convex geometry, cryptology, computational biology, biology Massachusetts
More informationThe Complete Guide to Buying and Selling Apartment Buildings
The Complete Guide to Buying and Selling Apartment Buildings Second Edition STEVE BERGES John Wiley & Sons, Inc. THE COMPLETE GUIDE TO BUYING AND SELLING APARTMENT BUILDINGS The Complete Guide to Buying
More informationProf. Derek Abbott, Yaxin Hu
THE UNIVERSITY OF ADELAIDE SCHOOL OF ELECTRICAL & ELECTRONIC ENGINEERING ADELAIDE, SOUTH AUSTRALIA, 5000 Cracking the Voynich manuscript code Prof. Derek Abbott, Yaxin Hu ELEC ENG MASTER PROJECT NO. 141
More informationAnalogy in the architectural design process in the academic medium Analytical study of students projects
/ / Analogy in the architectural design process in the academic medium Analytical study of students projects Imad M ALBakri Assistant Professor Bayda Hanna Saffo Assistant Lecturer Abstract The current
More informationCurriculum vitae of Tatyana Shaposhnikova
Curriculum vitae of Tatyana Shaposhnikova Part time job: Dept. of Mathematics, Royal Institute of Technology Address: Institutionen för mathematik, KTH, 10044 Stockholm, Sweden Email: tat@math.kth.se http://people.kth.se/~tat
More informationUlrik M. Nyman - Curriculum Vitæ
Ulrik M. Nyman - Curriculum Vitæ Personal Information Education Ulrik Mathias Nyman Phone: 40 89 21 56 Doravej 45 st. th. Email: ulrik@cs.aau.dk 9000 Aalborg Born: 2nd of December 1978 Married to Tina,
More informationPUBLISHER S NOTE. Careers in Green Energy contains twenty-three alphabetically arranged chapters
PUBLISHER S NOTE Careers in Green Energy contains twenty-three alphabetically arranged chapters sector in the areas of science and research, engineering, construction and building, management, and installation.
More informationCOURSE OUTLINE Business Law 2
Butler Community College Science, Technology, Engineering, and Math Division Janice Akao Revised Fall 2014 Implemented Fall 2015 COURSE OUTLINE Business Law 2 Course Description BA116. Business Law 2.
More informationHyungryul Baik. Advisor: John H. Hubbard (William P. Thurston until Aug. 21, 2012.) Thesis: Laminations on the circle and Hyperbolic geometry
Address: Department of Mathematics, Cornell University, 111 Malott Hall, Ithaca, NY, 14853-4201, USA Phone: (607) 255-9351 E-mail: hb278@math.cornell.edu homepage: http://www.math.cornell.edu/ hrbaik/
More informationWOMEN-HEADED HOUSEHOLDS
WOMEN-HEADED HOUSEHOLDS Also by Sylvia Chant GENDER AND MIGRATION IN DEVELOPING COUNTRIES (editor) GENDER, URBAN DEVELOPMENT AND HOUSING WOMEN AND SURVIVAL IN MEXICAN CITIES WOMEN IN THE THIRD WORLD (with
More informationCurriculum Vitae. William Gordon McCallum Ph. D., Harvard University, under the direction of Barry Mazur
Curriculum Vitae William Gordon McCallum Address Department of Mathematics University of Arizona Tucson, AZ 85721, U.S.A. Phone: 520-440-1729 Email: wmc@math.arizona.edu Homepage: www.math.arizona.edu/
More informationTALKS AND PRESENTATIONS AT PROFESSIONAL MEETINGS SINCE 1991
TALKS AND PRESENTATIONS AT PROFESSIONAL MEETINGS SINCE 1991 Victor Y. Pan Department of Mathematics and Computer Science Lehman College and the Graduate Center City University of New York Bronx, New York
More informationGrounded Consequence for Defeasible Logic
Grounded Consequence for Defeasible Logic Antonelli applies some of the techniques developed in Kripke s approach to the paradoxes to generalize some of the most popular formalisms for non-monotonic reasoning,
More informationCoPDA Barbara Rita Barricelli Gerhard Fischer Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)
Barbara Rita Barricelli Stefano Valtolina (Eds.) CoPDA 2015 3rd International Workshop on Cultures of Participation in the Digital Age: Coping with Information, Participation, and Collaboration Overload
More informationDue Diligence and the Business Transaction
Due Diligence and the Business Transaction Getting a Deal Done Jeffrey W. Berkman Due Diligence and the Business Transaction: Getting a Deal Done Copyright 2013 by Jeffrey W. Berkman This work is subject
More informationEssays in Anti-Labour History
Essays in Anti-Labour History Also by Kenneth D. Brown LABOUR AND UNEMPLOYMENT 1900-1914 ESSAYS IN ANTI-LABOUR HISTORY Responses to the Rise of Labour in Britain edited by KENNETH D. BROWN, M.A., PH.D.
More informationCurriculum Vitae. Antonino Salibra January 30, 2013
Curriculum Vitae Antonino Salibra salibra@dsi.unive.it January 30, 2013 Academic Positions: 1. Full Professor of Computer Science (09.2002 to date, Università Ca Foscari, Venezia); 2. Associate Professor
More information2.4 Instrument selection Data collection Data analysis The level of important to be measured 51 CONTENTS (CONTINUED)
CONTENTS Contents viii List of Tables xi List of Illustrations xiii List of Abbreviations and Symbols xiv Chapter 1. Introduction 1 1.1 Background 1 1.2 Related Literature 5 1.2.1 Long stay market 6 1.2.2
More informationCurriculum vitae. Personal Data. Employement. Education. 8 May Date of Birth: Place of Birth: Address: Kayseri, Turkey
Curriculum vitae Pınar Kılıçer Personal Data Date of Birth: Place of Birth: Address: 8 May 1986 Kayseri, Turkey Carl von Ossietzky Universität Oldenburg Institut für Mathematik 26111 Oldenburg, Germany
More informationRomaldo Giurgola in Australia and the Other Modern Tradition
The University of Adelaide Romaldo Giurgola in Australia and the Other Modern Tradition Stephen G. Schrapel Aldo Giurgola, 2005 by Mandy Martin. Ochre, pigment and oil on linen. Collection: National Portrait
More informationAgnes Lucia Neher. 06/ /2013 Visiting Scholar at the School of Management at the University of St. Andrews, St. Andrews, UK
CV Agnes Lucia Neher *17 th of December 1984 Höhenweg 1, CH-8824 Schönenberg ZH Phone: +41 (0)44 788 25 55 Mobile: +41 (0)78 883 86 85 agnesneher@yahoo.de Secondary Education 2003 A-Levels (Latin, Economics,
More informationThe Analytic Hierarchy Process. M. En C. Eduardo Bustos Farías
The Analytic Hierarchy Process M. En C. Eduardo Bustos Farías Outline of Lecture Summary MADM ranking methods Examples Analytic Hierarchy Process (AHP) Examples pairwise comparisons normalization consistency
More informationInstitutional Change in Agriculture and Natural Resources Institutioneller Wandel der Landwirtschaft und Ressourcennutzung
Institutional Change in Agriculture and Natural Resources Institutioneller Wandel der Landwirtschaft und Ressourcennutzung edited by/herausgegeben von Volker Beckmann & Konrad Hagedorn Volume/Band 56 Rong
More information