DOCSLIB.ORG

Buy Dissertation

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Buy Dissertation buy Dissertation The following is an academic genealogy of computer scientists and is constructed by following the pedigree of thesis advisors. == Europe == === Denmark === Peter Naur (Olivier Danvy) === Finland === Arto Salomaa === France === Many French computer scientists worked at the National Institute for Research in Computer Science and Control (INRIA). Marcel-Paul Schützenberger Maurice Nivat Philippe Flajolet Gérard Huet Francois Fages Thierry Coquand Hugo Herbelin Xavier Leroy Christine Paulin-Mohring Didier Rémy François Pottier Bruno Courcelle Louis Nolin Bernard Robinet Emmanuel Saint-James Olivier Danvy (Secondary advisor: Emmanuel Saint-James) Jean-François Perrot Jacques Sakarovitch Jean-Eric Pin Pascal Weil Gérard Berry Gilles Kahn Patrick Cousot Alain Colmerauer === Germany === Karl Steinbuch Franz Baader Carl Adam Petri Martin Odersky === Italy === Corrado Böhm Ugo Montanari Paolo Ciancarini Roberto Gorrieri Nadia Busi Davide Sangiorgi === Netherlands === ==== Van Wijngaarden / Dijkstra ==== Adriaan van Wijngaarden was director of the computer science department at the Centrum Wiskunde & Informatica. It was influential in the development of ALGOL 68. Cornelis Benjamin Biezeno (1933: honoris causa. Universiteit van Amsterdam) Adriaan van Wijngaarden (1945: Enige toepassingen van Fourierintegralen op elastische problemen. Technische Universiteit Delft) Willem van der Poel (1956: The Logical Principles of Some Simple Computers. Universiteit van Amsterdam) Gerard Holzmann (1979: Coordination Problems in Multiprocessing Systems. Technische Universiteit Delft) Edsger Dijkstra (1959: Communication with an Automatic Computer. Universiteit van Amsterdam) Nico Habermann (1967: On the Harmonious Co-operation of Abstract Machines. Technische Universiteit Eindhoven) Lawrence Snyder (1973: An Analysis of Parameter Evalutation Mechanisms for Recursive Procedures. Carnegie Mellon University) Tim Teitelbaum (1975: Minimal Distance Analysis of Syntax Errors in Computer Programs. Carnegie Mellon University) Sten Andler (1979: Predicate Path Expressions: A High-level Synchronization Mechanism. Carnegie Mellon University) John Ousterhout (1980: Partitioning and Cooperation in a Distributed Multiprocessor Operating System: MEDUSA. Carnegie Mellon University) Philip Wadler (1984: Listlessness Is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists. Carnegie Mellon University) (Secondary advisor: Guy L. Steele, Jr.) David Notkin (1984: Interactive Structure-Oriented Computing. Carnegie Mellon University) Martin Rem (1976: Associons and the Closure Statement. Technische Universiteit Eindhoven) (Secondary advisor: Frans Kruseman Aretz) Jan L. A. van de Snepscheut (1983: Trace Theory and VLSI Design. Technische Universiteit Eindhoven) (Secondary advisor: Edsger Dijkstra) Peter Hilbers (1989: Mappings of Algorithms on Processor Networks. Rijksuniversiteit Groningen) Jan Tijmen Udding (1984: Classification and Composition of Delay-Insensitive Circuits. Technische Universiteit Eindhoven) (Secondary advisor: Edsger Dijkstra) Anne Kaldewaij (1986: A Formalism for Concurrent Processes. Technische Universiteit Eindhoven) (Secondary advisor: Frans Kruseman Aretz) Guus Zoutendijk (1960: Methods of Feasible Directions : A Study in Lineair and Non- linear Programming. Universiteit van Amsterdam) Marc Nico Spijker (1968: Stability and Convergence of Finite-Difference Methods. Universiteit Leiden) Jaco de Bakker (1967: Formal Definition of Programming Languages: with an Application to the Definition of ALGOL 60. Universiteit van Amsterdam) Willem-Paul de Roever (1974: Recursive Program Schemes: Semantics and Proof Theory. Vrije Universiteit Amsterdam) Paul Vitanyi (1978: Lindenmayer Systems: Structure, Languages, and Growth Functions. Vrije Universiteit Amsterdam) (Secondary advisor: Arto K. Salomaa) Ronald Cramer (1997: Modular design of secure yet practical cryptographic protocols. Universiteit van Amsterdam) (Secondary advisor: Ivan Bjerre Damgård) Peter Grünwald (1998: The minimum description length principle and reasoning under uncertainty. Universiteit van Amsterdam) Anton Nijholt (1980: Context-Free Grammars : Covers, Normal Forms, and Parsing. Vrije Universiteit Amsterdam) Giuseppe Scollo (1993: The Engineering of Logics. Universiteit Twente) Ed Brinksma (1988: On the Design of Extended LOTOS; a Specification Language for Open Distributed Systems. Universiteit Twente) (Primary advisor: Christian Anton Vissers) John-Jules Meyer (1985: Programming Calculi Based on Fixed Point Transformations: Semantics and Applications. Vrije Universiteit Amsterdam) Wiebe van der Hoek (1992: Modalities for Reasoning about Knowledge and Quantities. Vrije Universiteit Amsterdam) (Secondary advisor: Johan van Benthem) Joost Kok (1989: Semantic Models for Parallel Computation in Data Flow, Logic- and Object-Oriented Programming. Vrije Universiteit Amsterdam) Jan Rutten (1989: A Parallel Object-Oriented Language: Design and Semantic Foundations. Vrije Universiteit Amsterdam) Frank S. de Boer (1991: Reasoning about Dynamically Evolving Process Structures: A Proof Theory for the Parallel Object-0riented Language POOL. Vrije Universiteit Amsterdam) Marcello Bonsangue (1996: Topological Dualities in Semantics. Vrije Universiteit Amsterdam) (Secondary advisor: Joost Kok) Reinder van de Riet (1968: Algol 60 as Formula Manipulation Language. Universiteit van Amsterdam) Peter Apers (1982: Query Processing and Data Allocation in Distributed Database Systems. Vrije Universiteit Amsterdam) Arno Siebes (1990: On Complex Objects. Universiteit Twente) (Secondary advisor: Martin L. Kersten) Martin L. Kersten (1985: A Model for a Secure Programming Environment. Vrije Universiteit Amsterdam) (Secondary advisor: Anthony Ira Wasserman) Stefan Manegold (2002: Understanding, Modeling, and Improving Main-Memory Database Performance. Universiteit van Amsterdam) Roel Wieringa (1990: Algebraic Foundations for Dynamic Conceptual Models. Vrije Universiteit Amsterdam) Frances Brazier (1991: Design and Evaluation of a User Interface for Information Retrieval. Vrije Universiteit Amsterdam) (Primary advisor: Sipke D. Fokkema) Hugo Brandt Corstius (1970: Exercises in Computational Linguistics. Universiteit van Amsterdam) (Secondary advisor: Frans Kruseman Aretz) Maarten van Emden (1971: An Analysis of Complexity. Universiteit van Amsterdam) Jonathan Schaeffer (1986: Experiments in Search and Knowledge. University of Waterloo) (Secondary advisor: Randy G. Goebel) Peter van Emde Boas (1974: Abstract Resource-Bound Classes. Universiteit van Amsterdam) (Secondary advisor: Pieter Cornelis Baayen) Arjen Lenstra (1984: Polynomial Time Algorithms for the Factorization of Polynomials. Universiteit van Amsterdam) Harry Buhrman (1993: Resource Bounded Reductions. Universiteit van Amsterdam) (Primary advisor: Steven Elliot Homer) Herman te Riele (1976: A Computational Study of Generalized Aliquot Sequences. Universiteit van Amsterdam) Dick Grune (1982: On the Design of ALEPH. Universiteit van Amsterdam) (Secondary advisor: Cornelis H. A. Koster) ==== Brouwer / Van Dalen ==== Several of the students of Dirk van Dalen, a descendant of Brouwer, became the first Dutch theoretical computer scientists, which still has a strong focus on lambda calculus, rewrite systems and functional programming. Luitzen Egbertus Jan Brouwer (1907: Over de grondslagen der wiskunde. Universiteit van Amsterdam) Arend Heyting (1925: Intuitionistische axiomatiek der projectieve meetkunde. Universiteit van Amsterdam) Dirk van Dalen (1963: Extension Problems in Intuitionistic Plane Projective Geometry. Universiteit van Amsterdam) Henk Barendregt (1971: Some Extensional Terms for Combinatory Logics and Lambda-Calculi. Universiteit Utrecht) Roel de Vrijer (1987: Surjective Pairing and Strong Normalization: Two Themes in Lambda Calculus. Universiteit van Amsterdam) Pieter Hartel (1988: Performance Analysis of Storage Management in Combinator Graph Reduction. Universiteit van Amsterdam) (Primary advisor: Bob Hertzberger) Mariangiola Dezani- Ciancaglini (1996: Logical Semantics for Concurrent Lambda-Calculus. Katholieke Universiteit Nijmegen) (Secondary advisor: Corrado Böhm) Jan van Leeuwen (1972: Rule-Labeled Programs: A Study of a Generalization of Context-Free Grammars and Some Classes of Formal Languages. Universiteit Utrecht) Mark Overmars (1983: The Design of Dynamic Data Structures. Universiteit Utrecht) Mark de Berg (1992: Efficient Algorithms for Ray Shooting and Hidden Surface Removal. Universiteit Utrecht) Marc van Kreveld (1992: New Results on Data Structures in Computational Geometry. Universiteit Utrecht) Hans Bodlaender (1986: Distributed Computing - Structure and Complexity. Universiteit Utrecht) Harry Wijshoff (1987: Data Organization in Parallel Computers. Universiteit Utrecht) Gerard Tel (1989: The Structure of Distributed Algorithms. Universiteit Utrecht) Jan Bergstra (1976: Computability and Continuity in Finite Types. Universiteit Utrecht) Frits Vaandrager (1990: Algebraic Techniques for Concurrency and Their Application. Universiteit van Amsterdam) Linda van der Gaag (1990: Probability-Based Models for Plausible Reasoning. Universiteit van Amsterdam) Chris Verhoef (1990: Linear unary operators in process algebra. Universiteit van Amsterdam) Jan Friso Groote (1991: Process Algebra and Structured Operational Semantics. Universiteit van Amsterdam) Wan Fokkink (1994: Clocks, Trees and Stars in Process Theory. Universiteit van Amsterdam) Jaco van de Pol (1996: Termination
Load more

Recommended publications
  • 195907-08.Pdf
    IS LEMETER \GNETICS " IPPORTS IE WEIGHT ONE ~/ ./ )UNG .EPHANT s a jaster, more reliable memory, too! LLY TEST t we hope it attracts your ention to the thorough "ee-stage inspection and testing len every TELEMETER MAGNETICS ~mory product - from core to ray to buffers and memory systems. .C·l!r~.····~ ')1 r·,1 :!~:rIGS arufac'c;re: th" :-;)em;~r)' sy:;te;' complete from core pro- du~;t i::: irin.c: t ~is':,j ... and because TElEf~ETER MAGr'lETIGS tests FlU cal ;~e tnat milch :;ur~i when you specify memory ",'!;ar 'lJ':\::~~ mernar! "y~tems to satisfy practically any :;)t)figuf?t:on. linns :-;f :1:'''-' Hl to 1,~:;;O,OOU bits are COlllmon.,. memories can be iiiuil ~,il' :i, a:j:jitic;n, n.~! offers you :\ selection of memory up:t~, ":ili! r:vr.ie tirnl?s of ;,1 microsecond:;, 6 to 8 microseconds, ilnd 3 microseconds. i::', IIII'll/un s(uclt JUT [i.':cti or:ic circu in TEU:W::n:R f,li'IGNH!GS menlOl y systems employ solid state elements a '20-lIIir'f"()s(,(,()lId "ystem 20 Jf! UfJld., ui 2'2 liI',,\ I'll!'!! ilrc on n!il;,-in (>W;'j tor com~~3ctness anti mainten'lf]ce ease, I' .7 , / (':'! .' ,I .r ) / f '/ • ,'f ,. r' t ,.' f ( ,r .... I I j • ~ ~. / i "'(" ( ,: r I .~ • I i j' I ' { i I [ • / (~ '. \ ,\fulIu/ul'lur l '/'. ,,!, 1PORTAlH JOB OPPORTUNITIES liJ\11tW,ilffii j itJit:Il": l,~ill( ,1i(~i'tllijH !~'fu.;liT:USdjll\Ji~t !!lDH tfUfjjlF~l~ !!i~'(~:iij»; TELEMETER MAGNETICS Inc.
    [Show full text]
  • Saskia Lourens Writing His-1
    UvA-DARE (Digital Academic Repository) Writing history : national identity in André Brink's post-apartheid fiction Lourens, S.T. Publication date 2009 Document Version Final published version Link to publication Citation for published version (APA): Lourens, S. T. (2009). Writing history : national identity in André Brink's post-apartheid fiction. General rights It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons). Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible. UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl) Download date:30 Sep 2021 WRITING HISTORY: NATIONAL IDENTITY IN ANDRÉ BRINK’S POST-APARTHEID FICTION ACADEMISCH PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof. dr. D. C. van den Boom ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de Aula der Universiteit op woensdag 28 oktober 2009, te 10:00 uur door Saskia Theodora Lourens geboren te Port Elizabeth, Zuid Afrika 1 Promotiecommissie Promotor: prof.
    [Show full text]
  • Gerrit Van Der Mey Met Drie¨Enzestig Symbolen
    312 NAW 5/6 nr. 4 december 2005 Met drieënzestig symbolen Willem van der Poel Willem van der Poel Faculteit Elektrotechniek Wiskunde en Informatica Technische Universiteit Delft postbus 5, 2600 AA Delft [email protected] Geschiedenis Gerrit van der Mey Met drie¨enzestig symbolen Zevenentwintig jaar lang is de doof-blinde gehoorvermogen en daarmee ook het even- voel bij het spreken en het zelf voelen van de wiskundige Gerrit van der Mey een van de me- wichtsgevoel. Het kostte hem een flinke tijd trillingen. Hij noemde dat zelf het oergehoor. dewerkers van Willem van der Poel geweest. om op het spiergevoel in de voeten te leren Bij het lormen of spreken met de braillema- Hij had een cruciale rol in de ontwikkeling van lopen. Na veel oefenen slaagde hij erin om chine sprak hij zelf altijd mee wat hij hoorde, software voor de ZEBRA en latere computers. weer zelfstandig met zijn geleidehond overal waardoor een geroutineerde spreker woorden Door zijn dubbele handicap zijn zijn verrich- te komen. kon afbreken zodra ze goed ‘geraden’ waren. tingen in de publieke literatuur onderbelicht In die tijd hebben zijn ouders veel voor Dat er een inwendig eigen gehoor was bleek gebleven. Ten onrechte. hem gedaan. Zo ontstond in die tijd het brail- ook duidelijk uit het feit dat hij zijn hele ver- ledoosje, een zeer klein apparaatje met zes dere leven altijd met uitstekende dictie is blij- Gerrit van der Mey werd geboren op 5 janu- toetsen die direct de pennetjes in de vorm ven spreken. Alleen bij het spreken voor pu- ari 1914 als zoon van een bekende bollen- van een brailleletter omhoog brachten.
    [Show full text]
  • Adriaan Van Wijngaarden and the Start of Computer Science in the Netherlands
    Adriaan van Wijngaarden and the start of computer science in the Netherlands Jos Baeten, Centrum Wiskunde & Informatica and Institute for Logic, Language and Computation, UvA Adriaan van Wijngaarden and the start of computer science in the Netherlands Jos Baeten, Centrum Wiskunde & Informatica and Institute for Logic, Language and Computation, UvA Adriaan van Wijngaarden 2 November 1916 – 7 February 1987 Graduated TH Delft Mechanical Engineering 1939 PhD TH Delft on calculations for a ship propellor 1945 London February 1946: look at mathematical machines Stichting Mathematisch Centrum 11 February 1946 Mathematics as a service Pure mathematics department Statistics department Computing department (1947) Applied mathematics department (1948) 1 January 1947 head of computing department 1 January 1947 head of computing department ‘Girls of Van Wijngaarden’ 1947: in the UK, also USA Met Turing, Von Neumann, others Plantage Muidergracht 6 Automatische Relais Rekenmachine Amsterdam Tweede Boerhaavestraat 49 ARRA II N.V. Elektrologica, 1957 Algol 60 • In 1955, committee started on unified notation of computer programs • Friedrich Bauer, 1958, International Algebraic Language • 1959, Algorithmic Language, Van Wijngaarden and Dijkstra join • 1960 editor of Algol 60 report • Separation of hardware and software Algol 68 IFIP Working Group 2.1 taking the lead Starts formal language theory (Chomsky’s universal grammar) Van Wijngaarden grammars Reasoning about language and programs Some achievements 1958 started Nederlands RekenMachine Genootschap
    [Show full text]
  • Turing's Universal Machine
    Appendix Turing’s Universal Machine This appendix gives the complete table for the universal Turing machine U. There were a number of errors in Turing’s original paper, as pointed out by Emil Post and Donald Davies.1 These errors have been corrected in the tables below. A.1 General Purpose m-functions The tape of the universal machine uses the convention of alternating F-squares and E-squares, described in Sect. 4.5, where the E-squares are used to mark, or label, symbols on the preceding F-squares. The leftmost point of the portion of the tape used in the computation is identified by means of the symbol e placed in a pair of adjacent squares. f(C, B,α): find The m-function f(C, B,α) finds the leftmost occurrence on the tape of the symbol α, and then moves to m-configuration C. If there is no occurrence of α on the tape, the machine moves to m-configuration B. m-config. symbol operations final m-config. e L f1(C, B,α) f(C, B,α) e not L f(C, B,α) ⎧ ⎨ α C f1(C, B,α) ⎩ not αR f1(C, B,α) None R f (C, B,α) ⎧ 2 ⎨ α C f2(C, B,α) ⎩ not αR f1(C, B,α) None R B 1See Post (1947) and Davies (2004). Davies describes Turing’s “impatience” when these errors were pointed out, remembering that he “made it clear that I was wasting my time and his by my worthless endeavors”. M. Priestley, A Science of Operations, History of Computing, 307 DOI 10.1007/978-1-84882-555-0, © Springer-Verlag London Limited 2011 308 Turing’s Universal Machine e(C, B,α): erase The m-function e(C, B,α)erases the leftmost occurrence on the tape of the symbol α, and then moves to m-configuration C.
    [Show full text]
  • A Science of Operations: Machines, Logic and the Invention Of
    History of Computing Series Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK Advisory Board Gerard Alberts, University of Amsterdam, Amsterdam, The Netherlands Jack Copeland, University of Canterbury, Christchurch, New Zealand Ulf Hashagen, Deutsches Museum, Munich, Germany John V. Tucker, Swansea University, Swansea, UK Jeffrey R. Yost, University of Minnesota, Minneapolis, USA The History of Computing series publishes high-quality books which address the history of computing, with an emphasis on the ‘externalist’ view of this history, more accessible to a wider audience. The series examines content and history from four main quadrants: the history of relevant technologies, the history of the core science, the history of relevant business and economic developments, and the history of computing as it pertains to social history and societal developments. Titles can span a variety of product types, including but not exclusively, themed volumes, biographies, ‘profile’ books (with brief biographies of a number of key people), expansions of workshop proceedings, general readers, scholarly expositions, titles used as ancillary textbooks, revivals and new editions of previous worthy titles. These books will appeal, varyingly, to academics and students in computer science, history, mathematics, business and technology studies. Some titles will also directly appeal to professionals and practitioners of different backgrounds. Author guidelines: springer.com > Authors > Author Guidelines For other titles published in this series,
    [Show full text]
  • Jens De Waard Teamwork Combination Barreview
    MACHAZINE Volume 16 - Issue 2 December 2011 BOARD 55, COMMISSIONER OF LUSTRUM ACTIVITIES Jens de Waard HERE AND ON MARS Teamwork TUMOR GROWTH AND ANGIOGENESIS Combination IRISH PUB & DOERAK Barreview CONTAINING: CURRENT AFFAIRS | ASSOCIATION | COMPUTER SCIENCE | MATHEMATICS | MISCELLANEOUS Blijkt de universiteit ineens een vooropleiding. Diederik van de Scheur Consultant TAS Piet-Hein Touw Staff FSO Een succesvolle carrièrestart is meer dan een goede cijferlijst. Het begint met karakter en inzicht in jezelf. Ontdekken wie je bent, weten waar je naartoe wilt groeien én hoe je dat voor elkaar krijgt staat altijd aan de basis. Ernst & Young coacht jou actief op weg naar jouw succes. We bieden je volop kansen in de wereld van assurance, tax, transaction en advisory. Ontdek ze op ey.nl/carriere E&Y_210x297mm_potentials.indd 2 23-09-10 14:50MACHAZINE Blijkt de universiteit content & colophon MACHAZINE ineens een is a publication of W.I.S.V. ‘Christiaan Huygens’ Current Affairs Editor in Chief Editorial - Kirsten Koolstra 2 vooropleiding. Peter Pul Agenda & Twitter 2 Editorial staff Arie Troebel - Parallellenpostulaat 3 Max de Groot, Kees Boon, Michiel van Van Bestuur 55 4 Dam, Derk-Jan Karrenbeld, Merel Stout, International student 5 Kirsten Koolstra, Claudia Wagenaar, Ralf Nieuwenhuizen, Friso Abcouwer (QQ’er) Faculty Student Council 5 Art Directors Ingezonden brief - Reactie op Onderwijs en bovenwijs 6 Peter Pul, Harmjan Treep, Stef Marée, Herman Column - Reactie op ingezonden brief 7 Banken, Bojana Dumeljic Contact address Mekelweg 4, 2628 CD Delft E: [email protected] Association T: 015-2782532 Farewell reception - Prof.dr. Rothkrantz 9 Concept and design Lustrum - De tijd vliegt, het lijkt wel een illusie 10 Diederik van de Scheur G2O Kesteren Go to the gym and resist the axe effect 11 Consultant TAS Publisher Excursie Optiver 11 DeltaHage bv Delfts Kampioenschap Programmeren 12 Cover Cooperating on this issue: Arie Troebel, Jens de Waard, Ankur Sharma, Tim Piet-Hein Touw Smid, prof.dr.
    [Show full text]
  • Awards Presentations
    AWARDS PRESENTATIONS CORAL GABLES, FL // 5 JUNE 2019 1 CONTENTS Letter from the President ___________________________________ 1 Other IEEE Computer Society Awards _______________________ 2 CCF/IEEE CS Young Computer Scientist Award ______________ 4 IPSJ/IEEE CS Young Computer Researcher Award ___________ 4 IEEE Fellows Class of 2019 __________________________________ 5 Computer Science & Engineering Undergraduate Teaching Award: Robert R. Kessler _________________________ 6 Taylor L. Booth Education Award: Susan H. Rodger _________ 8 Harry H. Goode Memorial Award: Marilyn C. Wolf _________ 10 Wallace McDowell Award: Rajesh K. Gupta ________________ 12 Hans Karlsson Award: Adrian Stephens ___________________ 14 Computer Pioneer Award: Barbara Liskov, Laura Haas, and Jitendra Malik __________ 16 Recognized Computer Pioneers ___________________________ 20 IEEE Computer Society Board and Committees ___ Back Cover IEEE COMPUTER SOCIETY AWARDS Our awards program honors technical achievements, education, innovation, and service to the computer profession and to the Computer Society. Help ensure that the program maintains the highest quality by nominating individuals you consider to be eligible to receive international recognition through an appropriate IEEE Computer Society award. www.computer.org/awards AWARDS PRESENTATIONS LETTER FROM Each year, the Computer Society THE PRESIDENT presents its major achievement awards to the brightest luminaries and scientists in the field of computer science and computer engineering. Awardees are nominated by their peers for their outstanding discoveries and contributions. I am honored to present the 2019 awardees, each of whom has had a profound impact on the field and has contributed to the progress of humanity through computing. We will have a memorable evening together and Cecilia Metra will celebrate their discoveries and 2019 IEEE Computer Society President achievements.
    [Show full text]
  • Year Book of the Holland Society of New-York
    m {'I.ISS ^ hOOK Hnl i.\IITIlS(l.\L\.\ IIKI'OSIT, V ^^lOfvJ ^v*- THEODORE M. BANTA, President of The Holland Soeiely of New York, 10OS. "W \. ^ YEAR BOOK OF THE HOLLAND SOCIETY OF NEW YORK 1904 PEEPARED BY THE SECRETARY HENRY L. BOGERT Fn (- Copyright, 1904 BY THE HOLLAND SOCIETY OF NEW YORK. Ubc Itnicliecbacliec I>cc99, new JBotli OCT 21 1904 >2«ce Librart: I CONTENTS. PAGE List of Illustrations V Illustrations in Previous Volumes. vii Officers and Trustees xiii Albany Records, Names of Members. I II Marriages 21 Baptisms 31 Abbreviations 84 Index 85 An Unsatisfactory Historian 107 Relief of Leyden Commemorated 115 An Informal Meeting 118 Nineteenth Annual Banquet 121 Address of President Banta 129 Address of Rev. Dr. Lorimer 138 Address of Sir Chentung Liang Cheng. 151 Address of Hon. James M. Beck 155 Address of Hon. Wm. J. Bryan 169 Echoes of the Banquet 182 Additions to the Library, etc 197 Nineteenth Annual Meeting 201 In Memoriam 232 Constitution and By-Laws 274 Badge of the Society 287 List of Members 294 List of Deceased Members 319 ILLUSTRATIONS. FACING PAGE President Banta Frontispiece Plan of Albany i Plan of the Fort i Menu 127 Souvenir 127 Rev. Dr. George C. Lorimer 138 Sir Chentung Liang Cheng 151 Hon. James M. Beck 155 Hon. William Jennings Bryan 169 Secretary Bogert 201 ILLUSTRATIONS IN PREVIOUS VOLUMES. FIRST DINNER-BOOK. FACING PAGE Hooper C. Van Vorst lo Augustus Van Wyck 17 Chauncey M. Depew 26 Dutch Woman Reading Her Bible 28 Henry J. Van Dyke, Jr ^^ Robert B.
    [Show full text]
  • Hipeac Partner: the Netherlands
    info10 2007 Compilers appears quarterly | April Architectures and Embedded High Performance Network of Excellence on 2 Message from the HiPEAC coordinator 3 Community News 4 HiPEAC Partner: The Netherlands 7 Message from the project officer 7 HiPEAC Conference Ghent 8 In the Spotlight: - Modifying GCC to enable automatic tuning of optimization heuristic - MiDataSets: Creating The Conditions For a More Realistic Evaluation of Iterative Optimization Stamatis Vassiliadis, 1951-2007 8 Community News 9 PhD news 11 HiPEAC Journal 11 HiPEAC 2008 Conference 12 Upcoming events www.HiPEAC.net HiPEAC 2008, Göteborg, Sweden Deadline Call for Papers: June 10, 2007 intro Mateo Valero Coordinator UPC Barcelona Message from the HiPEAC coordinator [email protected] Dear colleagues, This has been a hectic winter for HiPEAC. Apart from our ongoing research activity struc- tured within the clusters, HiPEAC carried out its second Conference, published its first HiPEAC Roadmap, opened two new calls to offer new opportunities to our members and of course, more events are coming up. The HiPEAC Winter Conference 28. Forty proposals were received, that plans at the InfoDay in Brussels, on (January 28-30, 2007, Ghent, must be evaluated by April. March 7. That may be our future Belgium) welcomed more than 200 adventure. Our name? HiPEAC, too! participants. 19 papers were accepted HiPEAC keeps on fostering industry- and 6 parallel workshops were organ- academia relationships on high-per- My only regret is not to be able to ized, with 150 participants. The formance embedded systems, by share this new path with my dear Conference proceedings were pub- means of internships and industrial friend Stamatis.
    [Show full text]
  • The Multi-Annual Plan
    EEMCS Towards 2020 45 Outline 1. Dean’s preface 6 2. Management summary 8 3. EEMCS in a broader context 10 4. EEMCS departments 13 5. EEMCS themes towards 2020 20 Innovation opportunities 22 • Quantum Computing 22 • Computational Science 22 • Data Science 23 • Next Generation Sensing & Communication 24 Major societal challenges 25 • Safety & Security 25 • Energy Transition 27 • Health & Wellbeing 30 Enablers 31 • Educational Innovation 31 • State-of-the-art Research Facilities 32 • International Collaboration 32 • Organizational Development 33 6. EEMCS values 36 7. Key figures 38 8. List of abbreviations 40 9. Contact 42 2 3 4 5 1 Dean’s preface WWII, Tellegen pushed hard in Delft for investments in (analogue) electronic calculating machines. This was eventually picked up by a young physicist, Willem van der Poel. Van der Poel created one of the first computers in the Netherlands on the basis of a variety of specializations in Delft. His creation, the Testudo, was later followed at PTT by Ptera and Zebra. These innovations inspired an essential set of research activities in Computer Science, then centered in the Applied Mathematics department. So the founding fathers of EEMCS had a profound influence on our society by combining deep scientific insight, oftentimes coming from various disciplines, with innovation opportunities. Moving forward, it is unlikely that such radical transformations of society will be restricted to scientifically based technological innovations. Many EEMCS-oriented embryonic innovations are on the steep rising side of the Gartner curve. In most of them, societal aspects play a vital role, and socio-technical approaches are essential. At EEMCS we connect with “smart” as in smart phone, smart industry and smart city; we connect with “digital” as in digital society and digitization of education.
    [Show full text]
  • Centrum Voor Wiskunde En Informatica Annual Report 2006
    Centrum voor Wiskunde en Informatica Annual Report 2006 CWI Annual Report 2006 1 Contents Centrum voor Wiskunde en Informatica Visiting Address Kruislaan 413 1098 SJ Amsterdam The Netherlands Postal Address P.O. Box 94079 1090 GB Amsterdam The Netherlands Telephone +31 20 592 9333 Fax +31 20 592 4199 Website www.cwi.nl Centrum voor Wiskunde en Informatica (CWI) is the national research institute for mathematics and computer science. It is supported by the Netherlands Organisation for Scientific Research (NWO). CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. The institute is a member of the World Wide Web Consortium (W3C) and it ma- nages the W3C Office in the Benelux. CWI is located at Science Park Amsterdam. 2 CWI Annual Report 2006 CONTENTS Introduction 5 Overview 6 1. To conduct advanced research of societal and scientific relevance 8 2. To act as a ‘breeding ground’ for academic staff 13 3. To train young researchers 15 4. To transfer knowledge to society 21 5. To play a leading role in the Dutch and European mathematics and computer science scene 24 6. To increase public interest in mathematics and computer science 30 Research Highlights 34 Efficient health care 35 Models for better ships 39 Quantum information processing 43 Larger diamonds thanks to discrete mathematics 47 Appendices 50 Organization 51 Facts and figures 52 CWI clusters and themes 55 International and national research programmes 62 The CWI annual report series consists of: • Annual Report (English), a full colour
    [Show full text]