DOCSLIB.ORG

In Memoriam: Peter Wegner an Inflection Point

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
In Memoriam: Peter Wegner an Inflection Point ! ConduDEPARTMENT OF COMPUTER SCIENCE t Brown University // Vol. 27 IN MEMORIAM: PETER WEGNER AN INFLECTION POINT: HCRI LOOKS AHEAD TO SIROS 3 IGNITECS @ BROWN Notes From The Chair It’s a pleasure to be writing to all of you again just help us connect with other Brown groups, a few months after our last issue came out. I wrote including Public Health; Cognitive, Linguistic, my most recent note as we were preparing for and Psychological Sciences; and Economics. We’re Commencement, but with this issue, we’re changing planning to recruit several new faculty members this the publication cycle. Instead of the end of the year, focusing on data science and computational academic year, we’ll be coming to you at the end of biology, in collaboration with the Data Science the calendar year, so our next issue will appear in Initiative. late 2018. Other good news includes special recognition that I’d like to start with the exciting news that Computer our faculty members received at the end of last Science is now the single largest concentration at semester. Maurice Herlihy and Tim Kraska won, Brown! Last May, we handed out a record number respectively, Brown’s inaugural Research Innovation of 205 diplomas, easily beating our previous records and Early Career Research Achievement Awards. of 168 a year ago and 131 two years ago. This is We’re delighted that the research accomplishments of BY UGUR CETINTEMEL an increase of 22% just from last year and 56% our colleagues have been acknowledged with these in only two years! This interest is a testament to two (out of a total of just five) prestigious, university- how exciting and powerful computer science has wide awards. become as a discipline and career path, as well as our Department’s continued commitment to offering a Unfortunately, I also have sad news to share: our CS program that’s second to none. Our preliminary colleague, Peter Wegner, passed away in July. Peter enrollment numbers already indicate growth of ~8% came to Brown almost 50 years ago, and he was from last year. a founder, a friend, and a remarkable computer scientist. His commitment to Brown CS and his As we welcome a record number of students to continued participation, even after he retired, have Brown CS this fall, I’d like to specifically thank my always been a blessing and inspiration for all of us. colleague, John Hughes (Spike), who has agreed to We will greatly miss him. serve as our Associate Chair. Spike’s leadership and support will be critical in addressing the needs of our As we approach the 40th anniversary of the founding growing and increasingly diverse community. of our Department, the CIT is bustling with people and activity. We’re looking forward to the year ahead I’d also like to welcome Ellie Pavlick, who will join and we’ll continue to share exciting news and stories our faculty this summer. Ellie recently received her as they develop. PhD from the University of Pennsylvania and will be doing a postdoc at Google Research before coming to Providence. Ellie works on natural language processing, machine learning, and crowdsourcing. She’ll strengthen our efforts in these areas and 2 FALL 2017 Table Of Contents Vol. 27 Published by the Department of Computer Science at Brown University, Conduit is distributed free to all computer science alums, faculty, staff, students, and industry partners. Queries about this publication can be directed to: 18 [email protected] or 115 Waterman Street Campus Box 1910 Providence, RI 02912 PUBLISHER Industry Partners Program, 14 Department of Computer Science EDITOR-IN-CHIEF 21 Jesse C. Polhemus DESIGN Creative Services 2 Notes From The Chair 27 Bootstrap Teaches Rigorous Data Science In An Introductory Computing CONDU¡T ON THE WEB FEATURES John Bazik Module For K-12 Students Kathy Billings 4 Toymaker 30 Max Salvas Retires After 12 In Memoriam: Peter Wegner PRINTING AND DISTRIBUTION Thirty-Four Years 14 Seeing Theory: Teaching Statistics Brett Turner, Information 36 Department Awards And Honors Services Through Interactive Web-Based 42 Recent PhDs Signature Printing Visualization 44 Around The Department 18 An Inflection Point: HCRI Looks Ahead To SIRoS 3 FACULTY 21 igniteCS@Brown 37 Faculty Notes DEPARTMENT NEWS AND HAPPENINGS ALUMS 24 Ellie Pavlick Joins Brown CS As 41 Alum Updates Assistant Professor 25 Building News4Good: A First Take At Software Engineering For Four Undergrads Conduit is printed on Burgo’s ChorusArt, an acid free and elemental chlorine free paper containing 50% recycled content and 15% post-consumer waste. You are the difference—reduce, reuse, recycle. CONDU¡T 3 It’s half past noon in CIT here, the string of fleeting moments that 368 on May 18, 2017. After tell a much bigger story. fourteen years of Senior Lecturer Barbara Meier’s We’re ready to wonder again. Barb’s computer animation classes about to hit the u button. at Brown, after months of focused effort, we have Take a moment to see it for yourself: go something very new, a first: to https://vimeo.com/242488116 and use Toymaker, a seven-minute contoyduit17 for the password. animated short. Not Knowing What The Recipe Every seat is full, and much of the floor. Would Make: Barbara Meier The lights are dimmed. In darkness, there’s room for multiplicity. The student Before story, history: Barb traces her who started the whole thing is here with interest in animation to when she her team of thirteen. There’s the teacher was twelve or thirteen. Her parents and mentor who didn’t just advise but disapprove of most daytime television, worked the long hours alongside them; so she watches when they aren’t home, here’s the composer who wrote the score and is awed by the hand-drawn work and helped perform it. Classmates from that she sees in an animated film festival. RISD as well as Brown are gathered, At first, a career as an animator seems friends and friends of friends, and the as unlikely as becoming an Olympic colleagues and experts who are maybe skater, but in the years that follow, Barb the only ones to fully understand the finds herself returning to the idea that scope of what’s been accomplished. animation is just drawing on paper. “It didn’t have to be this mysterious But why subdivide the ineffable? The process,” she says. “I felt like it was an flickering screen makes us all spectators actual possibility.” again. We’re drawn to the high spire, the telescope, to humankind’s mastery of art But there’s plenty of mystery to come or science on the grandest scale, but also along a zigzagging career path. Studying to the personal and small: the studio in computer science as a Brown undergrad, all its clutter, the Wozniakian garage, or Barb sees the potential for using 4 FALL 2017 computer graphics (CG) in animation and is drawn to auteur animation’s ability to Barb chooses realize the vision of a single animation in part artist. She credits Andy because of its van Dam for encouraging her to apply to the Brown immediacy: “It was this idea CS Master’s program, and that you could draw on paper, it postgraduate work follows wasn’t this mysterious process.” at RISD, the School of the Museum of Fine Arts in Boston (their curriculum replicates the working life of an artist, an idea that Barb returns to later in her own teaching), and the Art Center College of Design in Pasadena. Barb agrees to take on CS 195-9 (now CS 125) in mid-July of 2003. Beyond any Industry work catches Barb’s attention doubt, it’s trial by fire. She remembers first, and she spends almost a decade frantically picking software for the in California, creating animated effects course in August, trying to prepare and digital matte paintings. It isn’t easy: lectures with two small boys running long hours, constant pressure to work around the house, finishing her notes faster and lower costs, extremely narrow an hour before the class begins. She margins. “I knew it wasn’t going to says, “The one thing I think I did sustain me forever,” she says. “I wanted well was setting up a structure and kids, a life. It was a really great ride, but creating assignments. Right away, I I thought I could take what I’d learned saw the students doing really good everywhere and bring my industry work, exceeding expectations on every experience to students, even if I didn’t task I gave them.” Graduates of the know what the recipe would make.” A course often continued working with book about making a career change had Barb independently, which sparked recommended teaching, and with more the need for a second course, CS 128 than a little hesitation (Barb remembers Intermediate Computer Animation. One saying, “No, not that! That’s for people trend continues year after year: students who are washed-up.”) she returns to are coming to her with more interest in Brown. animation and better experience with it, so she continually moves content from the second course to the first. CONDU¡T 5 CS 125 presents students with the new That summer, Nellie interns at Pixar, and challenge of creating a short film at the CS 125 follows. It’s motivation enough end of the course. “But they’re really for a big project of her own, so she goes bare-bones,” Barb says, smiling. “It’s to Barb in November of 2015 with a an important project because it forces pitch for a new class.
Load more

Recommended publications
  • Gheorghe Țițeica - Întemeietor De Şcoală Matematică Românească
    1 INSPECTORATUL ŞCOLAR JUDEŢEAN PRAHOVA ŞCOALA GIMNAZIALĂ „RAREŞ VODĂ” PLOIEŞTI Publicaţie periodică a lucrărilor prezentate de elevi la CONCURSUL NAŢIONAL „Matematică – ştiinţă şi limbă universală” Ediţia a IX-a - 2018 2 PLOIEŞTI Nr.42 – SEPTEMBRIE 2018 3 Cuprins 1. Asupra unei probleme date la simulare ................................................................................. 9 Nedelcu Florin Colegiul Tehnic “C. D. Nenițescu” Pitești Prof. coordonator: Veronica Marin 2. Miraculoasa lume a infinitului tainele infinitului ................................................................. 12 Dorica Miruna Școala Gimnazială Corbasca,Județul Bacău Prof. îndrumător Olaru Sorina 3. Metoda reducerii la absurd în rezolvarea problemelor de aritmetică .................................. 14 Buzatu Irina Seminarul Teologic Ortodox "Veniamin Costachi", Mănăstirea Neamț Prof. îndrumător: Asaftei Roxana-Florentina 4. Schimbările climatice la granița dintre știință și ficțiune ..................................................... 16 Ruşanu Maria Ioana, Matei Andreea Mihaela Şcoala Superioară Comercială “Nicolae Kretzulescu”, București Profesori coordonatori Moise Luminita Dominica, dr. Dîrloman Gabriela 5. Gheorghe Țițeica - întemeietor de şcoală matematică românească .................................... 21 Pană Daliana și Mănescu Nadia Liceul Teoretic Mihai Sadoveanu, București Prof. îndrumător Băleanu Mihaela Cristina 6. Aplicații ale coordonatelor carteziene ................................................................................. 26
    [Show full text]
  • Problems in Trapezoid Geometry Ovidiu T. Pop, Petru I. Braica and Rodica D
    Global Journal of Advanced Research on Classical and Modern Geometries ISSN: 2284-5569, Vol.2, Issue 2, pp.55-58 PROBLEMS IN TRAPEZOID GEOMETRY OVIDIU T. POP, PETRU I. BRAICA AND RODICA D. POP ABSTRACT. The purpose of this paper is to present some known and new properties of trapezoids. 2010 Mathematical Subject Classification: 97G40, 51M04. Keywords and phrases: Trapezoid. 1. INTRODUCTION In this section, we recall the well known results: Theorem 1.1. (see [4] or [5]) Let a, b, c, d, be strictly positive real numbers. These numbers can be the lengths of the sides of a quadrilateral if and only if a < b + c + d, b < c + d + a, c < d + a + b, d < a + b + c. (1.1) In general, the strictly positive real numbers a, b, c, d, which verify (1.1) don’t determine in a unique way a quadrilateral. We consider a quadrilateral with rigid sides and con- stant side lengths, its vertices being mobile articulations. Then, this quadrilateral can be deformed in order to obtain another quadrilateral. For trapezoids, the following theorem takes place: Theorem 1.2. (see [5]) Let a, b, c, d, be strictly positive real numbers. Then a, b, c, d can be the lengths of the sides of a trapezoid of bases a and c if and only if a + d < b + c c + d < a + b a + b < c + d or c + b < a + d (1.2) c < a + b + d a < b + c + d By construction, we prove that, in the condition of Theorem 1.2, the trapezoid is uniquely determined.
    [Show full text]
  • Grigore C. Moisil Omul Și Drumul Său
    Grigore C. Moisil Omul și drumul său ste bine cunoscut faptul că în imperiul Austro-ungar, românii din Ardeal nu erau recunoscuți ca o minoritate cu drepturi cetățenești, așa E cum erau maghiarii, sașii și secuii, deși reprezentau 2/3 din populația Transilvaniei. Sentimentul național al românilor era înăbușit prin toate mijloacele. În primul rând nu aveau școli în limba româna și nici drepturi civice. Erau înjosiți și marginalizați, nepermițându-li-se să se manifeste în organele reprezentative decizionale. Cu toate acestea, pentru a se putea apăra de amenințările turcilor, erau imediat înrolați în armată și trimiși pe graniță în punctele cele mai vulnerabile. Așa s-au petrecut lucrurile și în secolul al XVIII-lea, când Maria Tereza a luat hotărârea de a militariza și o serie de sate românești, în anul 1762, din zona județului Bistrița Năsăud de astăzi. Printre acestea s-au numărat și comunele Maieru și Șanț. Evident, anterior s-au făcut o serie de verificări, în privința familiilor si în mod deosebit al membrilor de sex masculin. Datorită acestor demersuri, similar oarecum recensământurilor de astăzi, apare și familia Moisil, având descendenți de frunte, intelectuali și adevărați patrioți, la anul 1758. Această acțiune de militarizare a comunelor românești a permis ridicarea socială, politică și culturală a acestora, oferindu-le ocazia anumitor reprezentanți, patrioți destoinici, să se afirme. Printre aceștia și Grigore Moisil (1814-1891), străbunicul academicianului Grigore C. Moisil. El s-a remarcat în calitate de paroh al ținutului Rodnei, unul din întemeietorii primului liceu românesc din Năsăud. Fratele bunicului său, Grigore, Iuliu Moisil (1859-1947), a fost profesor mai întâi la Slatina si apoi la Târgu Jiu, unde a organizat „Cercuri Culturale” și „bănci populare”.
    [Show full text]
  • On the Meaning of Approximate Reasoning − an Unassuming Subsidiary to Lotfi Zadeh’S Paper Dedicated to the Memory of Grigore Moisil −
    Int. J. of Computers, Communications & Control, ISSN 1841-9836, E-ISSN 1841-9844 Vol. VI (2011), No. 3 (September), pp. 577-580 On the meaning of approximate reasoning − An unassuming subsidiary to Lotfi Zadeh’s paper dedicated to the memory of Grigore Moisil − H.-N. L. Teodorescu Horia-Nicolai L. Teodorescu Gheorghe Asachi Technical University, Iasi, Romania Institute for Computer Science, Romanian Academy, Iasi Branch Abstract: The concept of “approximate reasoning” is central to Zadeh’s con- tributions in logic. Standard fuzzy logic as we use today is only one potential interpretation of Zadeh’s concept. I discuss various meanings for the syntagme “approximate reasoning” as intuitively presented in the paper Zadeh dedicated to the memory of Grigore C. Moisil in 1975. Keywords: logic, truth value, natural language, inference. 1 Introduction I perceive three central ideas in Zadeh’s wide conceptual construction in his work until now. The first one is that words and propositions in natural languages, consequently human thoughts are not representable by standard sets and standard binary predicates. The second central idea in many of Zadeh’s papers is that humans perform computations in an approximate manner that real numbers can not represent well. The third idea, which Zadeh presented in his more recent works, is that of granularity of human mental representations and reasoning. These three strong points were represented by Zadeh in various forms and synthesized in the title of his paper on “computing with words” [1]. Most frequently - and Zadeh himself is doing no exception - authors cite as the initial paper clearly stating the approximate reasoning model the one published in the journal Information Sciences, July 1975 [2].
    [Show full text]
  • Curriculum Vitae
    Curriculum Vitae Personal information • Name: Ana-Maria Taloș • E-mail: [email protected] • Nationality: Romanian • Gender: female 1. Educational background • 2012- 2015: PhD degree, thesis “The impact of lifestyle on population health status. Case study: Ialomița county (Romania)”, Faculty of Geography, University of Bucharest • 2010- 2012: Master degree, “Geography of Health Care Resources and Health Tourism” module, Faculty of Geography, University of Bucharest • 2007- 2010: Bachelor degree, Tourism specialization, Faculty of Geography, University of Bucharest • 2003- 2007: ”Grigore Moisil” National College, Social Sciences, Urziceni, Ialomița County, Romania 2. Teaching activity • 2013- present: professor assistant in the Department of Human and Economic Geography, Faculty of Geography, University of Bucharest • 2015-present: organizing and coordinating practical activities for students (Moieciu, Bucharest) • 2015-present: coordinating students’ final paper (health geography, geodemography) 3. Scientific activity Books: • Taloș Ana-Maria, (2017), Stilul de viață și impactul acestuia asupra stării de sănătate a populației. Studiu de caz: județul Ialomița, Editura Universității din București, colecția Geographica, București, ISBN 978-606-16-0877-5 Articles: • Taloș Ana-Maria (2018), Housing conditions and sanitation in Ialomița County: spatial inequalities and relationship with population, Salute, Etica, Migrazione, Dodicesimo Seminario Internazionale di Geografia Medica (Perugia, 14-16.12.2017), Perugia, Guerra Edizioni Edel srl, ISBN: 978-88-557-0627-8 • Taloș Ana-Maria, (2017), Socio-economic deprivation and health outcomes in Ialomita County, Human Geographies - Journal of Studies and Research in Human Geography, nr 11 (2), p. 241-253, ISSN–print: 1843–6587 | ISSN–online: 2067–2284 • Taloș Ana-Maria, (2017), Population lifestyle and health in Ialomița County (Romania), Romanian Journal of Geography, Bucuresti, nr 61 (1), p.
    [Show full text]
  • A Memorial Tribute to Professor Constantin
    Nonauton. Dyn. Syst. 2020; 7:140–150 Article Open Access Mehran Mahdavi* A Memorial Tribute to Professor Constantin Corduneanu, The Outstanding Mathematician https://doi.org/10.1515/msds-2020-0115 Received May 27, 2020; accepted October 3, 2020 Abstract: This paper contains the biographical sketch and reviews scientic contributions of Professor Con- stantin Corduneanu, an outstanding researcher in stability and control theory, and oscillations. MSC: 01-01; 01-02 Corduneanu’s life Constantin Corduneanu was born on July 26, 1928, in the city of Iaşi, Province of Moldova, Romania, from the parents Costache and Aglaia Corduneanu. He completed his elementary education in the village of Potangeni, Movileni commune in the District of Iaşi, located at a distance of about 25 Km. from the City of Iaşi, where his parents and some uncles were his teachers. This village was also the place where his paternal grandparents were living. At the age of 12, he had to go to the City of Iaşi to get his secondary education. He did not want to take the advice of his parents or his grandfather. Instead, he chose the idea of one of his uncles, who, during the First World War, was a sergeant in the Romanian Cavalry. He participated in the competition for a place at the Military Lyceum of Iaşi, placing 10th out of 400 competitors. He completed his secondary education in 1947. Corduneanu had great mathematics teachers during his secondary education. For example, Nicolae Donciu, who was serving as an assistant to Dimitrie Pompeiu, well known in complex analysis at the time.
    [Show full text]
  • Concepts and Paradigms of Object-Oriented Programming Expansion of Oct 400PSLA-89 Keynote Talk Peter Wegner, Brown University
    Concepts and Paradigms of Object-Oriented Programming Expansion of Oct 400PSLA-89 Keynote Talk Peter Wegner, Brown University 1. What Is It? 8 1.1. Objects 8 1.2. Classes 10 1.3. Inheritance 11 1.4. Object-Oriented Systems 12 2. What Are Its Goals? 13 2.1. Software Components 13 2.2. Object-Oriented Libraries 14 2.3. Reusability and Capital-intensive Software Technology 16 2.4. Object-Oriented Programming in the Very Large 18 3. What Are Its Origins? 19 3.1. Programming Language Evolution 19 3.2. Programming Language Paradigms 21 4. What Are Its Paradigms? 22 4.1. The State Partitioning Paradigm 23 4.2. State Transition, Communication, and Classification Paradigms 24 4.3. Subparadigms of Object-Based Programming 26 5. What Are Its Design Alternatives? 28 5.1. Objects 28 5.2. Types 33 5.3. Inheritance 36 5.4. Strongly Typed Object-Oriented Languages 43 5.5. Interesting Language Classes 45 5.6. Object-Oriented Concept Hierarchies 46 6. what Are Its Models of Concurrency? 49 6.1. Process Structure 50 6.2. Internal Process Concurrency 55 6.3. Design Alternatives for Synchronization 56 6.4. Asynchronous Messages, Futures, and Promises 57 6.5. Inter-Process Communication 58 6.6. Abstraction, Distribution, and Synchronization Boundaries 59 6.7. Persistence and Transactions 60 7. What Are Its Formal Computational Models? 62 7.1. Automata as Models of Object Behavior 62 7.2. Mathematical Models of Types and Classes 65 7.3. The Essence of Inheritance 74 7.4. Reflection in Object-Oriented Systems 78 8.
    [Show full text]
  • The Interactive Nature of Computing: Refuting the Strong Church-Turing Thesis
    TEX source file Click here to download Manuscript: paper.tex The Interactive Nature of Computing: Refuting the Strong Church-Turing Thesis Dina Goldin∗, Peter Wegner Brown University Abstract. The classical view of computing positions computation as a closed-box transformation of inputs (rational numbers or finite strings) to outputs. According to the interactive view of computing, computation is an ongoing interactive process rather than a function-based transformation of an input to an output. Specifi- cally, communication with the outside world happens during the computation, not before or after it. This approach radically changes our understanding of what is computation and how it is modeled. The acceptance of interaction as a new paradigm is hindered by the Strong Church-Turing Thesis (SCT), the widespread belief that Turing Machines (TMs) capture all computation, so models of computation more expressive than TMs are impossible. In this paper, we show that SCT reinterprets the original Church-Turing Thesis (CTT) in a way that Turing never intended; its commonly assumed equiva- lence to the original is a myth. We identify and analyze the historical reasons for the widespread belief in SCT. Only by accepting that it is false can we begin to adopt interaction as an alternative paradigm of computation. We present Persistent Turing Machines (PTMs), that extend TMs to capture sequential interaction. PTMs allow us to formulate the Sequential Interaction Thesis, going beyond the expressiveness of TMs and of the CTT. The paradigm shift to interaction provides an alternative understanding of the nature of computing that better reflects the services provided by today’s computing technology.
    [Show full text]
  • The Perspectives of Scientific Research Seen by Grigore C
    THE PERSPECTIVES OF SCIENTIFIC RESEARCH SEEN BY GRIGORE C. MOISIL FORTY YEARS AGO EUFROSINA OTLĂCAN* Motto: “There are people whose contribution to the progress of mankind is so great that their biography is put into the shade, the life is hidden away by the work”. (Gr. C. Moisil at the W. Sierpinski’s death) Abstract. The creation, the personality and the entire activity of the Romanian mathematician Grigore C. Moisil (1906–1973) are illustrative of the idea of universality in science and cultural integration. Moisil obtained his degree in mathematics at the University of Bucharest and became a PhD in 1929, with the thesis “The analytic mechanics of continuous systems.” The three years of courses at the polytechnic school did not finalize with an engineer diploma, they only meant an opening towards the understanding of technical problems. The scientific area of Moisil’s work covered, among other domains, the functional analysis applied to the mechanics of continuous media, to differential geometry or to the study of second order equations with partial derivatives. One of the most original parts of Moisil’s creation is his work in mathematical logic. Within this frame Moisil developed his algebraic theory of switching circuits. By his theory of “shaded reasoning”, G. C. Moisil is considered, besides L. Zadeh, one of the creators of the fuzzy mathematics. Apart from his scientific and teaching activities, Moisil was a highly concerned journalist, present in many newspapers and on television broadcasts. Keywords: Grigore C. Moisil, mathematical creation, mathematical analysis, mathematical logic, differential geometry, physics, mechanics. 1. BIOGRAPHICAL DATA The History of the mathematics in Romania (Andonie, 1966) in its pages dedicated to Gr.
    [Show full text]
  • Introduction to the Literature on Programming Language Design Gary T
    Computer Science Technical Reports Computer Science 7-1999 Introduction to the Literature On Programming Language Design Gary T. Leavens Iowa State University Follow this and additional works at: http://lib.dr.iastate.edu/cs_techreports Part of the Programming Languages and Compilers Commons Recommended Citation Leavens, Gary T., "Introduction to the Literature On Programming Language Design" (1999). Computer Science Technical Reports. 59. http://lib.dr.iastate.edu/cs_techreports/59 This Article is brought to you for free and open access by the Computer Science at Iowa State University Digital Repository. It has been accepted for inclusion in Computer Science Technical Reports by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Introduction to the Literature On Programming Language Design Abstract This is an introduction to the literature on programming language design and related topics. It is intended to cite the most important work, and to provide a place for students to start a literature search. Keywords programming languages, semantics, type systems, polymorphism, type theory, data abstraction, functional programming, object-oriented programming, logic programming, declarative programming, parallel and distributed programming languages Disciplines Programming Languages and Compilers This article is available at Iowa State University Digital Repository: http://lib.dr.iastate.edu/cs_techreports/59 Intro duction to the Literature On Programming Language Design Gary T. Leavens TR 93-01c Jan. 1993, revised Jan. 1994, Feb. 1996, and July 1999 Keywords: programming languages, semantics, typ e systems, p olymorphism, typ e theory, data abstrac- tion, functional programming, ob ject-oriented programming, logic programming, declarative programming, parallel and distributed programming languages.
    [Show full text]
  • Discipolii Acad. Grigore C. Moisil Și Pionieri Ai Informaticii Românești
    Discipolii acad. Grigore C. Moisil și pionieri ai informaticii românești Marin Vlada - Universitatea din Bucureşti, e-mail: vlada[at]fmi.unibuc.ro Abstract Articolul descrie un studiu succint prin analiza, enumerarea și evidențierea unor inițiative, acțiuni, rezultate știintifice, preocupări privind apariția și evoluția domeniului Informaticii la Universitatea din București. Opiniile și concluziii acestui studiu sunt ale autorului, și nu înseamnă că toate pot fi în unanimitate obiective. Inițial, în demersul nostru pentru a înțelege evoluția informaticii la Universitatea din București, am luat în considerare activitatea noastră din domeniul informaticii, dar am ajuns la concluzia că nu vom înțelege apariția și evoluția informaticii dacă nu vom analiza acțiunile și întâmplările așa cum s-au întâmplat în realitate: evenimente, decizii la nivel guvernamental, măsuri de schimbare, fapte și initiative ale unor oameni de știință, mărturii și explicații ale unor fapte petrecute în diverse etape, întâmplări și diverse contexte, etc. 1. Calculatorul, Matematica și Informatica – noi modalități de explorare a cunoașterii Motto "Calculatorul este o unealtă, ca stiloul, ca maşina de scris, ca telefonul, ca automobilul. Îl întrebuinţezi de câte ori ai nevoie. Calculatoarele din universitate sunt cele mai rentabile economic: dau oameni pricepuţi. Cât costă un calculator? Foarte mult, dacă nu ştii să umbli cu el. Mai mult decât un Rolls-Royce. Dar dacă ştii lucra cu el, îşi scoate preţul în doi ani. Care este investiţia de capital care se amortizează în doi ani?" Grigore C. Moisil în „Vom vedea – Ştiinţă şi umanism”, Contemporanul (aprilie 1973) Evoluția și dezvoltarea societății omenești nu se poate realiza, decât prin Cunoaștere și Învățare. Promotorul acestui proces de evoluție sunt considerate științele ce sunt forme de reprezentare virtuală a cunoașterii.
    [Show full text]
  • Dina Goldin · Scott A. Smolka · Peter Wegner (Eds.) Dina Goldin Scott A
    Dina Goldin · Scott A. Smolka · Peter Wegner (Eds.) Dina Goldin Scott A. Smolka Peter Wegner (Eds.) Interactive Computation The New Paradigm With 84 Figures 123 Editors Dina Goldin Scott A. Smolka Brown University State University of New York at Stony Brook Computer Science Department Department of Computer Science Providence, RI 02912 Stony Brook, NY 11794-4400 USA USA [email protected] [email protected] Peter Wegner Brown University Computer Science Department Providence, RI 02912 USA [email protected] Cover illustration: M.C. Escher’s „Whirlpools“ © 2006 The M.C. Escher Company-Holland. All rights reserved. www.mcescher.com Library of Congress Control Number: 2006932390 ACM Computing Classification (1998): F, D.1, H.1, H.5.2 ISBN-10 3-540-34666-X Springer Berlin Heidelberg New York ISBN-13 978-3-540-34666-1 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broad- casting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com © Springer-Verlag Berlin Heidelberg 2006 The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant pro- tective laws and regulations and therefore free for general use.
    [Show full text]