DOCSLIB.ORG

(Artificial Intelligence in Education). PUB DATE 2000-11-00 NOTE 229P.; In: Learning Societies in the New Millennium: Creativity, Caring & Commitments

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
(Artificial Intelligence in Education). PUB DATE 2000-11-00 NOTE 229P.; In: Learning Societies in the New Millennium: Creativity, Caring & Commitments DOCUMENT RESUME ED 454 816 IR 020 795 TITLE ICCE/ICCAI 2000 Full & Short Papers (Artificial Intelligence in Education). PUB DATE 2000-11-00 NOTE 229p.; In: Learning Societies in the New Millennium: Creativity, Caring & Commitments. International Conference on Computers in Education/International Conference on Computer-Assisted Instruction (Taipei, Taiwan, November 21-24, 2000); see IR 020 792. Some figures contain very small and illegible type. PUB TYPE Collected Works - General (020) Speeches/Meeting Papers (150) EDRS PRICE MF01/PC10 Plus Postage. DESCRIPTORS *Artificial Intelligence; *Computer Uses in Education; *Educational Technology; Elementary Secondary Education; Higher Education; Instructional Design; Internet; Systems Development IDENTIFIERS Learning Environments ABSTRACT This document contains the full and short papers on artificial intelligence in education from ICCE/ICCAI 2000 (International Conference on Computers in Education/International Conference on Computer-Assisted Instruction) covering the following topics: a computational model for learners' motivation states in individualized tutoring system; a fuzzy-based assessment for Perl tutoring system; a genetic approach to parallel test construction; a learning environment for problem posing in simple arithmetical word problems; a method of creating counterexamples by using error-based simulation; a study of a networked constructive CAI (Computer Assisted Instruction) system using multiplication; adaptive programming language tutoring system on the World Wide Web; an agent-based intelligent tutoring system; an educational system that can visualize behavior of programs on the domain world; an environment for learning by design; applicability of an educational system assisting teachers of novice programming to actual education; a case-based evaluating assistant of novice programs; development and evaluation of a call system for supporting the writing of technical Japanese texts on the Web; development and evaluation of a mental model framing support ITS (Intelligent Tutoring System); development of intelligent learning support system with a large knowledge base; educational agents and the social construction of knowledge; facilitating examples understanding through explicit questioning; generating interactive explanations by using both images and texts for Micro World; intelligent interactive learning environment design issues; Internet video on demand system of classroom teaching cases-building 'Rhapsody': an intelligent media-oriented remote educational system for self-learning support; learning protocols for knowledge discovery--a collaborative data-mining approach to creative science education; monitoring and verifying mathematical proofs formulated in a restricted natural language; natural language-like knowledge representation for multimedia educational systems; the application of uncertainty reasoning for an ITS; the design and implementation of automatic exercise generator with tagged documents based on the intelligence of students (AEGIS); the design of CAI with thinking activity to progress constructive teaching; the estimation of music genres using neural network Reproductions supplied by EDRS are the best that can be made from the original document. and its educational use; the externalization support system of self-explanation for the learning problem-solving process; traversing the case graphs--a computer model for developing case-based learning systems; use of abstraction levels in the design of intelligent tutoring systems; and using decision networks for adaptive tutoring. (MES) Reproductions supplied by EDRS are the best that can be made from the original document. ICCE/ICCAI 2000 Full & Short Papers (Artificial Intelligence in Education) U.S. DEPARTMENT OF EDUCATION Office of Educational Research andImprovement REPRODUCE AND EDUCATIONAL RESOURCES INFORMATION PERMISSION TO MATERIAL HAS CENTER (ERIC) DISSEMINATE THIS This document has been reproduced as BEEN GRANTED BY received from the person or organization originating it. G.H. Marks Minor changes have been made to improve reproduction quality. Points of view or opinions stated in this RESOURCES document do not necessarily represent TO THE EDUCATIONAL (ERIC) official OERI position or policy. INFORMATION CENTER EST COPY AVAIIABLE ICCE/ICCAI 2000 -- Proceedings (Title Index) wysiwyg://527/http://icce2000.nthu...w/ProceedingsFullShorthi?topic=0 2Z00)ICCE/ ICCA1 tglearning Societies in the New Millennium : Creativity. Caring & Commitments HOT NEWS 4 Proceedings Background Committees Call for Papers ss Content Deadlines Registration t Full & Short Papers ( Artifical Intelligence in Education ) Program PaperAcceptonce A Computational Model for Learner's Motivation States in Individualized Reviewers Tutoring Systems Venue & frau°, Info, Contact Into, A Fuzzy-based Assessment for Perl Tutoring System Host & Sponsors A Genetic Approach to Parallel Tests Construction Related Wobsitos A Learning Environment for Problem Posing in Simple Arithmetical Discussion Board Word Problems Proceedings A Method of Creating Counterexamples by Using Error-Based Simulation HOME A Study of Networked Constructive CAI System Using Multiplication-Concept of Adaptive Programming Language Tutoring System on the Web An Agent-Based Intelligent Tutoring System An Educational System that can Visualize Behavior of Programs on the Domain World An Environment for Learning by Design : In the Case of Learning of Search Algorithms Applicability of an Educational System Assisting Teachers of Novice Programming to Actual Education Case-Based Evaluating Assistant of Novice Programs Development and Evaluation of a CALL System for Supporting the Writing of Technical Japanese Texts on the WWW Development and Evaluation of a Mental Model Forming Support ITS-the Qualitative Diagnosis Simulator for the SCS Operation Activity- Development of Intelligent Learning Support System with Large Knowledge Base Educational Agents and the Social Construction of Knowledge: Some Issues and Implications Facilitating examples understanding through explicit questioning Generating interactive explanations by using both images and texts for Micro World Intelligent Interactive Learning Environment: Design Issues Internet Video on Demand System of Classroom Teaching Cases Is a Learning Theory Harmonious with Others?-To form Effective collaborative Learning Groups with Ontological Engineering- Learning Protocols for Knowledge Discovery: A Collaborative Data Mining Approach to Creative Science Education Monitoring and Verifying Mathematical Proofs Formulated in a Restricted Natural Language Multimedia Intelligent Tutoring System for Context-Free Grammar Natural language-like knowledge representation for multimedia educational systems 3 ICCE/ICCAI 2000 -- Proceedings (Title Index) wysiwyg://527/http://icce2000.nthu...w/ProceedingsFullShorthi?topic=0 I Strange Creatures in Virtual Inhabited 3D Worlds The Application of Uncertainty Reasoning for an Intelligent Tutoring System The Design and Implementation of Automatic Exercise Generator with Tagged Documents based on the Intelligence of Students:AEGIS The Design of CAI with Thinking Activity to Progress Constructive Teaching - An Example of Division-concept in Mathematics of Elementary School The Estimation of Music Genres Using Neural Network and its Educational Use The externalization support system of self-explanation for learning problem-solving process Traversing the Case Graphs. A Computer Model for Developing Case-based Learning Systems Use of abstraction levels in the design of intelligent tutoring systems Using Decision Networks for Adaptive Tutoring HOME 4 A Computational Model for Learner' s Motivation States in Individualized Tutoring System Behrouz H. Far* and Anete H. Hashimoto** * Faculty of Engineering, Saitama University ** Technical Development Department, IDO Corporation Shimo-okubo, Urawa 338-8570, Saitama, JAPAN Tel: + Fax: + E-mail: [email protected] A goal of the research is to develop an intelligent tutoring system (ITS) that adapts the delivery of instruction according to the learner' s needs by taking into account learner' s motivation states. Longterm and short-term parameters involved in the learning process are identified. We have found that learner' s motivation has strong influence on the learning achievement. A computational model to represent learner's motivational states, using Bayesian network, is proposed. This model is further used to plan the individualized tutoring actions. This probabilistic model is the key to represent both learner 's knowledge and motivational states. Keywords:ITS, Student Modeling, Motivation, Bayesian Network 1 Introduction When designing an ITS system, usually, the first consideration is the teaching side, that is, deciding what to teach, what teaching strategies to apply, and what sequence of instruction to follow to facilitate learning. Although all these tasks are of unquestionable importance, to whom to teach, that is, the learning side should not be ignored. Teaching involves knowing what the learner wants or needs to study and planning the teaching material that leads to the desired learning outcome. However, since learners come with different background knowledge and needs, planning the individualized tutoring is not a trivial task. Both background knowledge and motivational states of the learner have strong influence on the learning outcomes. Educational psychologists have revealed that human's motivational states are the driving forces for learning.
Load more

Recommended publications
  • CWI Scanprofile/PDF/300
    ADAPI'ED: ADJUSTED; widened; rowed; NINE : EIGHI' plus one. hipped; voided. NONPROC : PLAIN ; format ; procedure ADIC : PRIORITY; monadic. with PARAMETERS MOID; reference to ADJUSTED: FITI'ED; procedured; united. NONPROC; structured with FIEIDS; .ALPHA : a ; b ; c ; d ; e ; f ; g ; h ; row of NONPROC ; UNITED • i ; j ; k ; 1 ; m ; n ; o ; p ; q ; NONROW: NONSTOWED; structured with r; S; t; U; V; W; X; y; z. FIEIDS. ANY: KIND; suppressible KIND; NONSTOWED : TYPE ; UNITED. replicatable KIND; NarION: .ALPHA; NOTION .ALPHA. replicatable suppressible KIND. NUMBER : one ; 'IWO ; THREE ; FOUR ; BITS : structured with row of boolean FIVE ; SIX ; SEVEN ; EIGHI' ; NINE. field LENGTHETY letter aleph. PACK : pack ; package. BOX : IMOODSETY box. PARAMETER: MODE parameter. BYTES: structured with row of character PARAMETERS : PARAMETER ; field LENGTHETY letter aleph. PARAMETERS and PARAMETER.. CLAUSE: MOID clause. PARAMETY : with PARAMETERS ; EMPTY. CLOSED: closed; collateral; conditional. PHRASE: declaration; CLAUSE. COERCEND : MOID FORM. PLAIN: INTREAL; boolean; character. COMPLEX: structured with real field PRAM: procedure with IMODE parameter letter r letter e and real field and RMODE parameter MOID; letter i letter m. procedure with RMODE parameter MOID. DIGIT: digit FIGURE. PRIMITIVE : integral ; real ; boolean EIGHI' : SEVEN plus one. character; format. EMPTY : . PRIORITY: priority NUMBER. FEAT : finn ; weak ; soft. PROCEDURE: procedure PARAMETY MOID. FIEID : MODE field TAG. REAL: LONGSETY real. FIEIDS FIEID ; FIEIDS and FIEID. REFETY: reference to; EMPTY. FIGURE: zero; one; two; three; four; RFIEIDSETY: and FIEIDS; EMPTY. five; six; seven; eight; nine. RMODE: MODE. FITI'ED: dereferenced; deprocedured. RMOODSETY : RMOODSETY and MOOD EMPTY. FIVE : FOUR plus one. ROWS: row of; ROWS row of. FORESE: ADIC formula; cohesion; base.
    [Show full text]
  • A Complete Bibliography of Publications in Science of Computer Programming
    A Complete Bibliography of Publications in Science of Computer Programming Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT 84112-0090 USA Tel: +1 801 581 5254 FAX: +1 801 581 4148 E-mail: [email protected], [email protected], [email protected] (Internet) WWW URL: http://www.math.utah.edu/~beebe/ 23 July 2021 Version 2.85 Title word cross-reference .NET [1085, 1074]. 0 [195, 291, 202, 572, 183, 515, 265, 155, 192, 231, 243, 514, 245, 1980, 295, 156, 151, 206, 1 + 118 [2359]. 10 [91]. $102.50 [267, 268]. 146, 203, 213, 289, 285, 286, 287, 219, 244, 11 [95]. 12 [101]. 13 [103]. 14 [107]. 15 [112]. 207, 246, 182, 229, 153, 321, 296, 217, 208, 16 [117]. 18 [125]. 19 [131]. 2 [43]. 20 [147]. 297, 193, 180, 298, 67, 204, 267, 268, 194, 21 [160]. 22 [178]. 23 [190]. 24 [242]. 3 [47]. 216, 320, 181, 317, 145, 214, 266, 269, 397, 3=2 [693]. $31.25 [320]. 4 [54]. 5 [61]. 6 [66]. 169, 574, 390, 215, 173, 1976, 227, 185, 575, + 2 7 [72]. $74.25 [318]. 8 [77]. [2065, 2428]. 226, 318, 270, 201, 288, 166, 205, 196, 284, 3 [466]. [1492]. 1 [944]. fun [1352]. SCR [1723]. 230, 247, 248, 249, 250, 524]. 0-06-042225-4 M jj [1894]. CSP B [1280]. ∆IC [879]. E3 [180]. 0-12-064460-6 [214]. 0-12-274060-2 [523]. j [1050, 1534]. k [1890, 2529]. λ [146].
    [Show full text]
  • CWI Scanprofile/PDF/300
    STICHTING MATHEMATISCH CENTRUM ,,n 2e BOERHAAVESTRAAT 49 AMSTERDAM REKENAFDELING MR 100 FINAL DRAFT REPORT ON THE ALGORITHMIC LANGUAGE ALGOL 68 A. van Wijngaarden ·(editor), B • J. Mailloux, J. E. L. Peck I , and C. H.A.Koster · Commissioned by Worldng Group 2 .1 on ALGOL of the International Federation .for Information Processing December 1968 MATHEMATISCH Contents P. Prologue P.1. History of the Report . P. 2. Membership of the Working Group::· · P.3. Maintenance P.4. References o. Introduction 0.1. Aims and principles of design 0.1.1. Completeness and clarity of description. 0.1.2. Orthogonal design.- 0.1.3. Security. 0.1.4. Efficiency. 0.1.4.1. Static mode checking. 0.1.4.2. Static scope checking. 0.1.4.3. Mode independent parsing. 0 • 1 • 4. 4. Independent compila·tion. 0 • 1 • 4. 5 • Loop optimization. 0. 1 • 4. 6. Representations 0.2. Comparison with ALGOL 60 0.2.1. Values in ALGOL 68. 0.2.2. Declarations in ALGOL 68. 0.2.3. Dy­ namic storage allocation in ALGOL 68. 0.2.4. Collateral elaboration in ALGOL 68. 0.2.5. Standard declarations in ALGOL 68. 0.2.6. Some particu­ lar constructions in ALGOL 68 1 • Language and metalanguage ":· ,,.. 1.1. The method of description . 1 • 1 • 1 • 'I'he strict, extended and representation languages. 1 • 1 • 2. The syntax of the strict language. 1.1.3. The·syntax of the metalanguage. 1.1.4. The production rules of the metalanguage. 1.1.5. The production rules of the strict language. 1.1.6.
    [Show full text]
  • Castalia, the Game of Ends and Means | 2016
    JOURNAL > SITE 0: CASTALIA, THE GAME OF ENDS AND MEANS | 2016 Castalia, the Game of Ends and Means Glass Bead The first issue of this journal, as well as Glass Bead‘s project at large, is directed towards rethinking art as a mode of rational thought. This engagement stems from a shared discontent with art’s ongoing exclusion from reason, its positioning at the peripheries of knowledge, and its resulting political inconsequentiality. Our project departs from the assumption that any claim concerning the efficacy of art—its capacity, beyond either its representational function or its affectivity, to make changes in the way we think of the world and act on it—first demands a renewed understanding of reason itself. It might come as a surprise to our readers that while it is an art journal, Glass Bead offers no critical reviews, no art-historical texts on specific works, artists, or exhibitions. None of the discursive practices that commonly surround and legitimize art are present in this journal. This absence is determined by Glass Bead’s methodological decision not to address art from a pre-constituted identity, but rather to dynamically define its role through the exploration of other forms of reasoning (science, philosophy, politics, art, etc.). While it foregrounds transits between disciplines, Glass Bead is not an interdisciplinary journal. In all its scholarly enthusiasm and benevolence, interdisciplinarity has now become some kind of empty motto. Starting from already constituted disciplinary identities, interdisciplinarity seeks connections whose broader impact on the forms of knowledge they connect are consequently silenced. As such, it appears unable to move beyond the implicit equivalence posited between the things it connects.
    [Show full text]
  • Thesis (PDF, 2Mb)
    On the Formal Flexibility of Syntactic Categories Chenchen Song Supervisors: Prof. Ian Roberts Dr. Theresa Biberauer Theoretical and Applied Linguistics Faculty of Modern and Medieval Languages University of Cambridge This thesis is submitted for the degree of Doctor of Philosophy Gonville & Caius College July 2019 Declaration This thesis is the result of my own work and includes nothing which is the outcome of work done in collaboration except as declared in the Preface and specified in the text. It is not substantially the same as any that I have submitted, or, is being concurrently submitted for a degree or diploma or other qualification at the University of Cambridge or any other University or similar institution except as declared in the Preface and specified in the text. I further state that no substantial part of my thesis has already been submitted, or, is being concurrently submitted for any such degree, diploma or other qualification at the University of Cambridge or any other University or similar institution except as declared in the Preface and specified in the text. It does not exceed the prescribed word limit for the relevant Degree Committee. Chenchen Song July 2019 On the Formal Flexibility of Syntactic Categories Chenchen Song This dissertation explores the formal flexibility of syntactic categories. The main proposal isthat Universal Grammar (UG) only provides templatic guidance for syntactic category formation and organization but leaves many other issues open, including issues internal to a single category and issues at the intercategorial, system level: these points that UG “does not care about” turn out to enrich the categorial ontology of human language in important ways.
    [Show full text]
  • Revised Report on the Algorithmic Language ALGOL 68 Edited By: A
    Revised Report on the Algorithmic Language ALGOL 68 Edited by: A. van Wijngaarden, B.J. Mailloux, J.E.L. Peck, C.H.A. Koster, M. Sintzoff, C.H. Lindsey, L.G.T. Meertens and R.G. Fisker. This Report has been accepted by Working Group 2.1, reviewed by Technical Committee 2 on Programming and approved for publication by the General Assembly of The International Federation for Information Processing. Re- production of the Report, for any purpose, but only of the whole text, is explicitly permitted without formality. The translation 1.1.5 of the Report to TEX source language was created by: f W.g B. Kloke, mailto:[email protected] . Remarks on this edition are collected into a separated document, http://vestein.arb-phys.uni-dortmund.de/~ wb/RR/vorwort.tex. Further versions will be found also in http://vestein.arb-phys.uni- dortmund.de/~ wb/RR/. The table of contents had to be removed, because page numbers are not a valid concept in TEX source language. Known errata, as published in Algol Bulletin No. 41 and ::: , are cor- rected. Syntactic errors in the standard-prelude, as mentioned in Commen- tary AB 43 p.7f, are corrected also. The Partial Parametrization Proposal (AB39.3.1) has been appended to the text. Layout of examples may still be improved. 1 Section ALGOL 68 Revised Report Acknowledgements Habent sua fata libelli. f De litteris Terentianus Maurus g Working Group 2.1 on ALGOL of the International Federation for Infor- mation Processing has discussed the development of \ALGOL X", a succes- sor to ALGOL 60 [3] since 1963.
    [Show full text]
  • Revised Report on the Algorithmic Language Algol 68
    Revised Report on the Algorithmic Language Algol 68 Edited by A. van Wijngaarden, B. J. Mailloux, J. E. L. Peck, C.H. A. Koster, M. Sintzoff, C.H. Lindsey, L. G. L. T. Maertens and R. G. Fisker This Edition, which is issued as a Supplement to ALGOL Bulletin number 47, includes all errata authorised by the ALGOL 68 Support subcommittee of IFIP WG2.l up to the end of 1978. This Report has been accepted by Working Group 2.1, reviewed by Technical Committee 2 on Programming and approved for publication by the General Assembly of the International Federation for Information Processing. Reproduction of the Report, for any purpose, but only of the whole text, is explicitly permitted without formality. CONTENTS Acknowledgements . ... 6 0. Introduction . ..... ... ... .. .. ... ... ... ... .. .. ... .... ... .. ... ... 8 0.1. Aims and principles of design....................................................... 8 0.1.l. Completeness and clarity of description................................. 9 0.1.2. Orthogonal design.................................................................. 9 0.1.3. Security................................................................................. 9 0.1.4. Efficiency.............................................................................. 9 0.2. Comparison with ALGOL 60 .. ... .. .. ... .. .. ... .. ... ... .. .. .. 10 0.3. Comparison with the language defined in 1968............................... 13 0.4. Changes in the method of description............................................ 15 PART I Preliminary definitions
    [Show full text]
  • Yoneda Lemma 2
    What You Needa Know About Yoneda Jeremy Gibbons S-REPLS #12, July 2019 The Yoneda Lemma 2 1. Nobuo Yoneda 1930–1996 • Professor of Theoretical • Foundations of Information Science, University of Tokyo member of IFIP WG2.1, • contributor to discussions about Algol 68, major role in Algol N but primarily an algebraist • The Yoneda Lemma 3 2. The Yoneda Lemma “Arguably the most important result in category theory” (Emily Riehl). The Yoneda Lemma, formally: For C a locally small category, [C, Set](C(A, ), F) F(A), − ' naturally in A C and F [C, Set]. 2 2 . From left to right, take nt φ : C(A, ) F to φA(idA) F(A). − ! 2 From right to left, take element x F(A) to nt φ such that φB(f ) F(f )(x). 2 = As a special case, the Yoneda Embedding: The functor Y : Cop [C, Set] is full and faithful, and injective on ! objects. [C, Set](C(A, ), C(B, )) C(B, A) − − ' Quite fearsomely terse! The Yoneda Lemma 4 3. The Yoneda Lemma, philosophically roughly, “a thing is determined by its relationships with other things” • in English, you can tell a lot about a person by the company they keep • in Japanese, (‘ningen’, human being) constructed from • (‘nin’, person) and (‘gen’, between), in Euclidean geometry, a point ‘is’ just the lines that meet there • in poetry, c’est l’ex´ecution du po`eme qui est le po`eme (Val´ery) • in music, die Idee der Interpretation gehort¨ zur Musik selber und ist ihr nicht • akzidentiell (Adorno) in sculpture, need to see a work from all angles • in order to understand it (Mazzola) The Yoneda Lemma 5 4.
    [Show full text]
  • Professor Nobuo Yoneda (28 March 1930-22 April 1996)
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Science of Computer Programming ELSEVIER Science of Computer Programming 27 (1996) 2 15-2 16 Obituary Professor Nobuo Yoneda (28 March 1930-22 April 1996) Dr. Nobuo Yoneda, professor emeritus at the University of Tokyo passed away on the 22nd of April 1996. He was 66 years old. Immediately after Dr. Yoneda graduated the Department of Mathematics, the Faculty of Science, the University of Tokyo in 1952, he was appointed as an assistant professor in the department. While on the faculty, he stayed at the Institute for Advanced Study of Princeton University from 1956 to 1959 and also made research trips to UK and France. In 1962, he was appointed as an associate professor of the Faculty of Science, Gakushuuin University, and was promoted to the rank of professor in 1966. After the Department of Information Science was created in the Faculty of Science, the University of Tokyo in 1971, he became a professor of Theoretical Foundation of Information Science in 1972. In education and research he made many contributions to the department and also to the university. On retirement from the University of Tokyo in 1990, he moved to Tokyo Denki Daigaku University and taught there until March 1996. During his tenureship at the University of Tokyo. Dr Yoneda’s activities were not confined to research and education. He contributed much to the development of Information Science at the university by serving as chairman of many committees including the program library committee of the Computer Centre.
    [Show full text]
  • CURRICULUM VITÆ February 10, 2021
    CURRICULUM VITÆ February 10, 2021 1. Biographical and Personal Information Donald E. Knuth, born January 10, 1938, Milwaukee, Wisconsin; U. S. citizen. Chinese name (pronounced G¯ao D´en`a or Ko Tokuno or Go Deoknab). ] (b. July 15, 1939), June 24, 1961. Married to Nancy Jill Carter [ Children: John Martin (b. July 21, 1965), Jennifer Sierra (b. December 12, 1966). 2. Academic History Case Institute of Technology, September 1956–June 1960; B.S., summa cum laude, June, 1960; M.S. (by special vote of the faculty), June 1960. California Institute of Technology, September 1960–June 1963; Ph.D. in Mathematics, June 1963. Thesis: “Finite Semifields and Projective Planes.” 3. Employment Record Consultant, Burroughs Corp., Pasadena, California, 1960–1968. Assistant Professor of Mathematics, California Institute of Technology, 1963–1966. Associate Professor of Mathematics, California Institute of Technology, 1966–1968. Professor of Computer Science, Stanford University, 1968–. Staff Mathematician, Institute for Defense Analyses—Communications Research Division, 1968–1969. Guest Professor of Mathematics, University of Oslo, 1972–1973. Professor of Electrical Engineering (by courtesy), Stanford University, 1977–. Fletcher Jones Professor of Computer Science, Stanford University, 1977–1989. Professor of The Art of Computer Programming, Stanford University, 1990–1992. Professor of The Art of Computer Programming, Emeritus, Stanford University, 1993–. Visiting Professor in Computer Science, University of Oxford, 2002–2006, 2011–2017. Honorary Distinguished Professor, Cardiff School of Computer Science and Informatics, 2011–2016. Theta Chi Hall of Honor, 2016–. 4. Professional Societies American Guild of Organists, 1965–. American Mathematical Society, 1961–. Committee on Composition Technology, 1978–1981. Association for Computing Machinery, 1959–.
    [Show full text]
  • AB26.5 CIRCULATION LIST Dipl. Math. Reiner Durchholz, 7755
    AB26 p AB26.5 CIRCULATION LIST AB26.5,1. Changes of address Dipl. Math. Reiner Durchholz, 7755 ALLENSBACH, Kapplerbergstrasse 27, W. Germany. lAB21 p 80 Dr Manfred Paul, Leibniz-Rechenzentrum der Bayerischen Akademie der Wissenschaften, 8 MUENQIEN 2, Richard Wagnerstrasse 18, W. Germany. lAB17 p 20 Professor Dr Ir W.L. van der Poel, Technische ltogeschool, Delft, The Netherlands. lAB17 p 22 Professor Niklaus Wirth, Rechenzentrum UniversitKt ZUrich, Sumatrastrasse 30, ZUrich 8006, Switzerland. lAB/7 p 27 A. d'Agapeyeff, Computer Analysts and Programmers Ltd., CAP }louse, 14-15 Great James Street, London WC 1, UK lAB17 p 23 Arthur S. Radford, Leicester College of Technolo~;b', Department of Mathematics, The Newarke, Leicester, UK. lAB20 p 51 P.G. Smith, MRC Clinical Effects of Radiation Research Unit, Western General Ilospital, Crewe Road, Edinburgh 4, UK lAB25 p 30 R.W.L. Trundle, 100 l~yron Way, Northolt, Middlesex, UK. [AB2/ p 79 D.H. Vellacott, I Bradstock Road, Stoneleigh, Ewell, Surrey, UK [AB25 p 30 M. Woodger, Auto,omics Division, National Physical Laboratory, Teddington, Middlesex, UK. [ABI7 p 25 James M. Boyle, Applxed ~lathemat,cs D,v,sxon, Argonne National Laboratory, Argonne, Illinois 604.39, USA. lAB2/ p 83 Robert T. Braden, SLAC Facxlxty of the Stanford Computatxon Center, Stanford Unlverslty, Stanford, California 94.505, USA. lAB20 p 51 lloward Bromberg, Information Management Inc., 4.32 Clay Street, San Francisco, Calxfornia 94111, USA. [ABI7 p 26 Jacques Cohen, P.O. Box 157, MIT Branch Post Office, Cambridge, ~lassachusetts 02159, USA. lAB17 p 20 R.E. Keirstead, Stanford Research Instxtute, Menlo Park, California 94025, USA.
    [Show full text]
  • Report,Rapport
    J A-53163 l j '2.- '1....- Library CW/ Am sterdam e Ceotrum voor Wiskunde en lnformatica REPORT,RAPPORT I Conference on the history of ALGOL 68 ] G. Alberts (ed.) J Department of Analysis, Algebra and Geometry ] Historical Note AM-HN9301 January 1993 E> ~ Centrum voor Wiskunde en lnfor~a~~ \ REPORT RAPPORT Conference on the history of ALGOL 68 G. Alberts (ed.) CWI BIBLIOTHEEK ll ll lllllll l l~ ll llll l lllll llll 1 ~ 1 111 1 1 1 11111 1 1111 1 11 1 11 1 11111 1 Department of Analysis, Algebra and Geometry 3 0054 00113 1078 Historical Note AM·HN9301 January 1993 I; j f] i ) ! ii -·.... \ ~ r··-:. ,.:./~J~:itr·u·:i' · ',· r ·"'. 1,r.{ic:'k •1r·, ·:,-. :..1', ·,·,·1, !q r,'1iniltJ ' '<::.. •..>:J" l.. •,..,,,,., , j 1p ~ • I . • , _ \., , " 1 \,,1 I \J ·~"-... Amsf!]td a m · ~;- = ::'. ~_ _: :_ · · - CWI is the National Research Institute for Mathematics and Computer Science. CWI is part of the Stichting Mathematisch Centrum (SMC), the Dutch foundation for promotion of mathematics and computer science and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of ERCIM, the European Research Consortium for Informatics and Mathematics. Copyright © Stichting Mathematisch Centrum P.O. Box 4079, 1009 AB Amsterdam (NL) Kruislaan 413, 1098 SJ Amsterdam (NL) Telephone +31 20 592 9333 Telefax +31 20 592 4199 Contents Introduction to the Conference 5 Gerard Alberts History of Programming Languages, a Survey 9 Friedrich L. Bauer The History of ALGOL 68 (Extended Abstract) 23 Charles Lindsey The Making of Algal 68 27 Gees Koster An orthogonal first programming language 41 Sietse van der M eulen Algal 68 - 25 Years in the USSR 45 Mikhail A.
    [Show full text]