TEUBNER-TEXTE zur Informatik Band 31. C.H.Cap A Calculus of Distributed and Parallel Processes
|
|
- Arline George
- 6 years ago
- Views:
Transcription
1 TEUBNER-TEXTE zur Informatik Band 31 C.H.Cap A Calculus of Distributed and Parallel Processes
2 TEUBNER-TEXTE zur Informatik Herausgegeben von Prof. Dr. Johannes Buchmann, Darmstadt Prof. Dr. Udo Lipeck, Hannover Prof. Dr. Franz J. Rammig, Paderborn Prof. Dr. Gerd Wechsung, Jena Ais relativ junge Wissenschaft lebt die Informatik ganz wesentlich von aktuellen Beitragen. Viele Ideen und Konzepte werden in Originalarbeiten, Vorlesungsskripten und Konferenzberichten behandelt und sind damit nur einem eingeschrankten Leserkreis zuganglich. LehrbOcher stehen zwar zur VerfOgung, konnen aber wegen der schnellen Entwicklung der Wissenschaft oft nicht den neuesten Stand wiedergeben. Die Reihe "TEUBNER-TEXTE zur Informatik" soli ein Forum for Einzel- und Sammelbeitrage zu aktuellen Themen aus dem gesamten Bereich der Informatik sein. Gedacht ist dabei insbesondere an herausragende Dissertationen und Habilitationsschriften, speziel Ie Vorlesungsskripten sowie wissenschaftlich aufbereitete AbschluBberichte bedeutender Forschungsprojekte. Auf eine verstandliche Darstellung der theoretischen Fundierung und der Perspektiven for Anwendungen wird besonderer Wert gelegt. Das Programm der Reihe reicht von klassischen Themen aus neuen Blickwinkeln bis hin zur Beschreibung neuartiger, noch nicht etablierter Verfahrensansatze. Dabei werden bewubt eine gewisse Vorlaufigkeit und Unvollstandigkeit der Stoffauswahl und Darstellung in Kauf genommen, weil so die Lebendigkeit und Originalitat von Vorlesungen und Forschungsseminaren beibehalten und weitergehende Studien angeregt und erleichtert werden konnen. TEUBNER-TEXTE erscheinen in deutscher oder englischer Sprache.
3 A Calculus of Distributed and Parallel Processes By Prof. Dr. Clemens H. Cap Universitat Rostock EI3 B.G.Teubner Stuttgart Leipzig 2000
4 Prof. Dr. Clemens H. Cap Born in 1965 in Innsbruck. Studied mathematics, computer science and physics at Innsbruck. He received his diploma degree in mathematics in 1986 and his PhD in mathematics in After several years as research assistant, postdoc and assistant professor for formal methods in computer science at the university of Zurich, he moved to Germany where he presently is full professor and Heinz-Nixdorf-Chair for information and communication services at the university of Rostock. His research interests are the specification, implementation and application of distributed communication systems. Gedruckt auf chlorfrei gebleichtem Papier. Die Deutsche Bibliothek - CIP-Einheitsaufnahme Ein Titelsatz fur diese Publikation ist bei Der Deutschen Bibliothek erhaltlich Das Werk einschlieblich alier seiner Teile ist urheberrechtlich geschutzt. Jede Verwertung auberhalb der eng en Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlages unzulassig und strafbar. Das gilt besonders fur Vervielfaltigungen. Obersetzungen, Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen B.G.Teubner Stuttgart Leipzig ISBN-I3: e-isbn- I 3: DOl: /
5 Preface It is the good reader that makes the good book. RALPH WALDO EMERSON, Society & Solitude. In the course of two projects, the author of this book was involved in the design of the platforms PARFORM [CS93) and LOLA [Cap94), [CS) for the support of parallel computing in distributed systems. The former system was geared towards the highly efficient use of idle resources in networks of workstations, and the latter system was intended as a scalability study: How many workstations in the global Internet can be used simultaneously for solving a massively parallel problem? In one of the experiments conducted with these systems, up to 800 workstations on all five continents were cooperating for the solution of a search problem from molecular biology [Cap94). The most important lessons which the author was forced to learn during the course of these projects were not to rely on any documentation of network- and low-level system-calls, to use neither common sense nor mathematical logic during the design of a large distributed system, but to be happy with a working program, and not to ask, why it would work. This practical experience is in sharp contrast to the reliability that is generally expected from engineering sciences which utilize the rigor of mathematical methods. The consequent application of mathematical technology allows the prediction of physical phenomena ranging from elementary particles to cosmology. There is an endless number of examples of successful applications of mathematics in nearly every engineering and natural science. Presently, society is just starting to realize the tip of the iceberg of erroneous computer programs. The reader is kindly invited to consider this problem when sitting in a computer controlled airplane, train, or elevator. Recently, one of the largest chip manufacturers had to admit a design error in one of its bestselling microprocessors. The company continued selling the processor for a considerable time before informing the customers. Again, the reader is kindly invited to consider this attitude when sitting in a computer controlled airplane, train, or elevator. Computer science still seems to suffer from two problems: First, for many constructions of applied computer science no satisfactory and successfull mathematical theory is available. There is a long tradition of mathematical concepts for physics but the practical and theoretical problems of correct software have been known only for several decades. Thus, adequate mathematical tools are not yet available. Second, formal concepts have an acceptance prob-
6 6 Preface lem in the community of applied computer science. The trend to quick-and-dirty solutions prevails systematic approaches, and time-to-market is more important than product quality. To summarize, the tremendous complexity of theoretical computer science and its importance for applications as well as for society is consistently underestimated. In his own research as well as in the present book, the author wants to contribute to narrowing the present gap between theoretical computer science and computer engineering. My first encounter with process theory was the book on Communicating Sequential Processes by Prof. TONY HOARE from Oxford. During a meeting with Prof. JAN BERGSTRA at the Marktoberdorf Summer School I decided to undertake own research in process theory. First ideas for this work originated in a joint seminar on process theory with Prof. ROMAN LIEDL in Innsbruck. A major technical break-through was possible when I spent six weeks in the stimulating atmosphere of the Research Institute for Symbolic Computation (RISC) which is located in an ancient castle in Hagenberg, Upper Austria. I want to thank Prof. BRUNO BUCHBERGER, chairman of RISC, for the opportunity to stay as a guest at his institute and I want to thank the research staff of the institute for all the fruitful discussions. Several results of this work were presented in the process algebra seminar of Prof. JAN BERGSTRA in Amsterdam and at the logic seminar of Prof. ERWIN ENGELER and Prof. GERHARD JAGER in Berne and Zurich. I want to thank Prof. JAN BERGSTRA for three fascinating days in Amsterdam during which I regained much confidence concerning my work, during which I was able to learn much about process theory and efficient ways of research management, and during which I got the opportunity to enjoy the relaxed and friendly way of living in the Netherlands. Prof. ERWIN ENGELER drew my attention to cumulative logic as another logic approach to process theory. Prof. KURT BAUKNECHT and Prof. KARL HANTZSCHMANN, directors of the Departments of Computer Science of the Universities of Zurich and Rostock, the two departments where I worked on this book, are permanently spending all their time and effort to offer and secure an optimal research environment for their departments. Prof. LUTZ RICHTER provided all his guidance and friendly advice through my years as postdoc and young assistant professor. Prof. HELMUT SCHAUER continuously took interest in my work. The financial support of the Swiss government in a special program for supporting young talents provided the financial framework for my work by funding the position of an assistant professor. Prof. G ERD WECHSUNG accepted this work in his series "Teubner-Texte zur Informatik". My friend and colleague Dr. EDGAR LEDERER spent uncounted hours in reading and discussing the topics of this book. CHRISTIAN HIDBER carefully read parts of this work, made highly valuable remarks on my mathematical style, and kept repeating these remarks until I finally managed to make significant progress in my style of presenting mathematical topics. Dr. RUTH MAGDOWSKI shared the ups and downs during the year of writing this book. Many other friends and colleagues at Zurich and Rostock provided invaluable support for my work. I want to thank in alphabetical order CLAUDINE ACKERMANN for ordering and administrating the scientific journals, WOLFRAM BiiTow for setting up the technical infrastructure, MAJA EBNER for her secretarial work, NORBERT FUCHS for porting a linear logic proof system to the local PROLOG dialect, WOLFGANG GEHRKE at Hagenberg for discussions and for pointing out important references, ANKE HANLER for setting up the technical infrastructure, ANGELIKA JUNGE for her secretarial work, NATALIA IOUSTINOVA for many
7 Preface 7 fruitful discussions, SARA KALVALA at Cambridge for suggestions on an implementation of linear logic in the ISABELLE proof system, LOTTI KUNDIG for her administrative help and for keeping up my moral, MICHAEL KUNZLI and RAFAEL KUNZLI for implementing a subset of the specification language and for fruitful discussions, CORINNE MAURER for her secretarial work, LARRY PAULSON at Cambridge for an introduction to the ISABELLE proof system, BEAT RAGETH for maintaining the workstation environment, KERSTIN REIHER for performing bibliographic research and for allowing me to keep a significant and ever increasing number of library books in my office, MATHIAS RICHTER for discussions and proofreading, PETRA SCHMIDLI for her secretarial work, NATARAJAN SHANKAR from SRI for providing his proof system for multiplicative additive linear logic and for adapting it to my needs, RICO SOLCA for fixing my portable computer, which consistently crashed on Friday afternoon, and VOLKER STRUMPEN for discussions and proofreading. Special thanks to JURGEN WEISS, editor at Teubner-Verlag, for his help and patience during the phase of reformatting and final typesetting. For typesetting this book I used the 'IE;X system by DONALD KNUTH, the macro packages fb.'ie;x by LESLIE LAMPORT, and the diagram and proof style packages from PAUL TAYLOR. The bibliography was produced with the help of BIBTEJX by OREN PATASHNIK, the index was generated with the MAKEINDEX system from PEHONG CHEN, several figures were produced with the X-Windows application IDRAW. All of the above programs are part of one of the most advanced scientific typesetting systems. It is most pleasant to find such elaborate and most reliable software in the public domain. Accompanied by the music of JOHANN SEBASTIAN BACH, typesetting was even more enjoyable. Rostock, September 1999 C. H. Cap
8 Contents 1 Introduction What is a Process? - An Introduction Process Theory as Research Area Elements of Process Theory Classification of Process Theories How to Use This Book? - A Reading Guide 24 2 Transition Systems Ordinary Transition Systems Interpreting Transition Systems Typed and Labeled Systems Non-Determinism, Causality, and Behaviour Sequential Composition Fairness Distributed Transition Systems Motivation Distributed Transition Systems Non-Determinism, Causality, and Behaviour Examples of Branching Structures Branching Structure and Constructions Branching Structure and Geometry Confusion First Order Transition Systems Fairness
9 10 Contents 4 Higher Order Transition Systems Motivation Higher Order Transition Systems Reversible and Invertible Transitions Forgetting the Higher Order Structure Process Specification Formalisms Linear Logic and Transition Systems Linear Logic Process Specification Extensions of the Formalism Equivalence and Abstraction for Processes Examples A Specification Language The Stack The,Bag Interrupts Data Replication The Alternating Bit Protocol Workflow Management FIBONACCI Numbers An Implementation Categorical Interpretations The CURRy-HoWARD Correspondence Transition Systems Linear Logic Conclusions, Challenges, and Opportunities What Has Been Achieved? Theoretical Problems Practical Problems Speculations Final Remarks 223
10 Contents 11 A Mathematical Prerequisites 225 A.1 Order Structures 225 A.2 Monoids. 227 B Linear Logic 231 B.1 Universe of Discourse. 232 B.2 Motivations for Linear Logic. 235 B.3 Syntax and Natural Deduction 240 B.4 Alternate Natural Deduction 245 B.5 Sequent Calculus 255 B.6 Syntactic Results 258 B.7 Interpretation of Linear Formulae. 265 C Category Theory 271 C.1 Category Theory for the Perplexed 272 C.2 Basic Definitions C.3 Products, Coproducts, and Duality 277 C.4 Functors C.5 Natural Transformations. 285 C.6 Properties of the Product Functor 287 C.7 Representation of Categories C.8 Cartesian Closed Categories C.9 Symmetric Monoidal Closed Categories 300 Symbols 303 Bibliography 307 Index 321
Notenmeldung Abschlussarbeit an der TUM School of Management
Notenmeldung Abschlussarbeit an der TUM School of Management Hiermit wird folgende Note für untenstehende Abschlussarbeit gemeldet: Thema - in deutscher Sprache (entfällt bei einer rein englischsprachigen
More informationDoctoral Program Technical Sciences Doctoral Program Natural Sciences
Doctoral Program Technical Sciences Doctoral Program Natural Sciences November 23, 2016 Students Council for Doctoral Programs TNF Students Council Doctoral Programs TNF (ÖH) Andrea Eder, Peter Gangl,
More informationHueber Worterbuch Learner's Dictionary: Deutsch Als Fremdsprache / German-English / English-German Deutsch- Englisch / Englisch-Deutsch By Olaf
Hueber Worterbuch Learner's Dictionary: Deutsch Als Fremdsprache / German-English / English-German Deutsch- Englisch / Englisch-Deutsch By Olaf Knechten If you are looking for the book Hueber Worterbuch
More informationThe smart synergy for your success.
The smart synergy for your success. The beginnings I Hagenberg Castle Softwarepark Hagenberg 2017 Smart Synergy THE SUCCESSFUL CONCEPT conceived, initiated and established by Professor Bruno Buchberger
More informationGender Studies at Engineering Faculties in Austria
Gender Studies at Engineering Faculties in Austria Bente Knoll Büro für nachhaltige Kompetenz B-NK GmbH, Johannes Kepler University Linz INTRODUCTION An analysis of various technical universities and faculties
More informationSusanne J. Jekat
IUED: Institute for Translation and Interpreting Respeaking: Loss, Addition and Change of Information during the Transfer Process Susanne J. Jekat susanne.jekat@zhaw.ch This work was funded by Swiss TxT
More informationECML Project B.1: Intercultural Communication in Teacher Education Workshop Report National Training Event Germany Stuttgart, Oct.
ECML Project B.1: Intercultural Communication in Teacher Education Workshop Report National Training Event Germany Stuttgart, Oct.19th 20th, 2005 CONTEXT The National Training Event in Germany was organised
More informationOpening Session: European Master in Law & Economics 29 November 2013, 17:00 Uhr, Gästehaus der Universität, Rothenbaumchaussee 34
Seite 1 von 7 Freie und Hansestadt Hamburg Behörde für Wissenschaft und Forschung DIE SENATORIN Opening Session: European Master in Law & Economics 29 November 2013, 17:00 Uhr, Gästehaus der Universität,
More informationThe Verbmobil Semantic Database. Humboldt{Univ. zu Berlin. Computerlinguistik. Abstract
The Verbmobil Semantic Database Karsten L. Worm Univ. des Saarlandes Computerlinguistik Postfach 15 11 50 D{66041 Saarbrucken Germany worm@coli.uni-sb.de Johannes Heinecke Humboldt{Univ. zu Berlin Computerlinguistik
More informationB.S/M.A in Mathematics
B.S/M.A in Mathematics The dual Bachelor of Science/Master of Arts in Mathematics program provides an opportunity for individuals to pursue advanced study in mathematics and to develop skills that can
More informationCOMMUNICATION-BASED SYSTEMS
COMMUNICATION-BASED SYSTEMS COMMUNICATION-BASED SYSTEMS Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000 Edited by GÜNTER HOMMEL Technische Universität
More informationInoffical translation 1
Inoffical translation 1 Doctoral degree regulations (Doctor of Natural Sciences / Dr. rer. nat.) of the University of Bremen Faculty 2 (Biology/Chemistry) 1 Dated 8 July 2015 2 On 28 July 2015, the Rector
More informationPH.D. IN COMPUTER SCIENCE PROGRAM (POST M.S.)
PH.D. IN COMPUTER SCIENCE PROGRAM (POST M.S.) OVERVIEW ADMISSION REQUIREMENTS PROGRAM REQUIREMENTS OVERVIEW FOR THE PH.D. IN COMPUTER SCIENCE Overview The doctoral program is designed for those students
More informationA systems engineering laboratory in the context of the Bologna Process
A systems engineering laboratory in the context of the Bologna Process Matthias Kühnle, Martin Hillenbrand EWME, Budapest, 28.05.2008 Institut für Technik der Informationsverarbeitung (ITIV) Institutsleitung:
More informationA R "! I,,, !~ii ii! A ow ' r.-ii ' i ' JA' V5, 9. MiN, ;
A R "! I,,, r.-ii ' i '!~ii ii! A ow ' I % i o,... V. 4..... JA' i,.. Al V5, 9 MiN, ; Logic and Language Models for Computer Science Logic and Language Models for Computer Science HENRY HAMBURGER George
More informationModule Handbook. Course cross-module Summer Semester st Study Section. University of Applied Sciences and Arts
Module Handbook Degree: Course of Study: Semester: Examination Regulation Version: Course Handbook as per: Course crossmodule Summer Semester 2017 20.10.2016 1st Study Section CP P WL Assessment Method
More informationUNDERSTANDING THE CONCEPT OF ECOMPETENCE FOR ACADEMIC STAFF
UNDERSTANDING THE CONCEPT OF ECOMPETENCE FOR ACADEMIC STAFF Dirk Schneckenberg and Johannes Wildt Center for Research on Higher Education and Faculty Development University of Dortmund Germany Introduction
More informationwith effect from 24 July 2014
Doctoral Degree Regulations for the Award of the Doctoral Degree Dr. rer. pol. at the University of Bremen and for Students of the Bremen International Graduate School for Social Sciences (BIGSSS) the
More informationSpecification and Evaluation of Machine Translation Toy Systems - Criteria for laboratory assignments
Specification and Evaluation of Machine Translation Toy Systems - Criteria for laboratory assignments Cristina Vertan, Walther v. Hahn University of Hamburg, Natural Language Systems Division Hamburg,
More informationIncluding the Microsoft Solution Framework as an agile method into the V-Modell XT
Including the Microsoft Solution Framework as an agile method into the V-Modell XT Marco Kuhrmann 1 and Thomas Ternité 2 1 Technische Universität München, Boltzmann-Str. 3, 85748 Garching, Germany kuhrmann@in.tum.de
More informationWhite Paper. The Art of Learning
The Art of Learning Based upon years of observation of adult learners in both our face-to-face classroom courses and using our Mentored Email 1 distance learning methodology, it is fascinating to see how
More informationThe Good Judgment Project: A large scale test of different methods of combining expert predictions
The Good Judgment Project: A large scale test of different methods of combining expert predictions Lyle Ungar, Barb Mellors, Jon Baron, Phil Tetlock, Jaime Ramos, Sam Swift The University of Pennsylvania
More informationBiomedical Sciences (BC98)
Be one of the first to experience the new undergraduate science programme at a university leading the way in biomedical teaching and research Biomedical Sciences (BC98) BA in Cell and Systems Biology BA
More informationPart I. Project identification and summary
Application for: Action 4 - Youth Support Systems Sub-Action 4.3 Training and networking Version valid as of 1 January 2010 Please fill in all relevant sections of this application. It is compulsory to
More informationPhysics 270: Experimental Physics
2017 edition Lab Manual Physics 270 3 Physics 270: Experimental Physics Lecture: Lab: Instructor: Office: Email: Tuesdays, 2 3:50 PM Thursdays, 2 4:50 PM Dr. Uttam Manna 313C Moulton Hall umanna@ilstu.edu
More informationLevel 6. Higher Education Funding Council for England (HEFCE) Fee for 2017/18 is 9,250*
Programme Specification: Undergraduate For students starting in Academic Year 2017/2018 1. Course Summary Names of programme(s) and award title(s) Award type Mode of study Framework of Higher Education
More informationBUILD-IT: Intuitive plant layout mediated by natural interaction
BUILD-IT: Intuitive plant layout mediated by natural interaction By Morten Fjeld, Martin Bichsel and Matthias Rauterberg Morten Fjeld holds a MSc in Applied Mathematics from Norwegian University of Science
More informationIMPLEMENTING EUROPEAN UNION EDUCATION AND TRAINING POLICY
IMPLEMENTING EUROPEAN UNION EDUCATION AND TRAINING POLICY Implementing European Union Education and Training Policy A Comparative Study of Issues in Four Member States Edited by David Phillips Department
More informationn-grams of Seeds: A Hybrid System for Corpus-Based Text Summarization
n-grams of Seeds: A Hybrid System for Corpus-Based Text Summarization René Schneider DaimlerChrysler AG Research and Technology Dialogue Systems (RIC/AD) rene.schneider@daimlerchrysler.com Abstract This
More informationCLASSIFICATION OF PROGRAM Critical Elements Analysis 1. High Priority Items Phonemic Awareness Instruction
CLASSIFICATION OF PROGRAM Critical Elements Analysis 1 Program Name: Macmillan/McGraw Hill Reading 2003 Date of Publication: 2003 Publisher: Macmillan/McGraw Hill Reviewer Code: 1. X The program meets
More informationSyllabus: MKT Online Marketing (MKT3202) / MKT Introduction into Online Technologies for Marketing Professionals (MKT3205)
Syllabus: MKT 3202 - Online Marketing (MKT3202) / MKT3205 - Introduction into Online Technologies for Prof. Dr. Michael Paetsch, PhD (CPU) Hochschule Pforzheim / Pforzheim University Lehrveranstaltung:
More informationEntrepreneurial Discovery and the Demmert/Klein Experiment: Additional Evidence from Germany
Entrepreneurial Discovery and the Demmert/Klein Experiment: Additional Evidence from Germany Jana Kitzmann and Dirk Schiereck, Endowed Chair for Banking and Finance, EUROPEAN BUSINESS SCHOOL, International
More informationSelf Study Report Computer Science
Computer Science undergraduate students have access to undergraduate teaching, and general computing facilities in three buildings. Two large classrooms are housed in the Davis Centre, which hold about
More informationCommunication and Cybernetics 17
Communication and Cybernetics 17 Editors: K. S. Fu W. D. Keidel W. J. M. Levelt H. Wolter Communication and Cybernetics Editors: K.S.Fu, W.D.Keidel, W.1.M.Levelt, H.Wolter Vol. Vol. 2 Vol. 3 Vol. 4 Vol.
More informationMathematics Program Assessment Plan
Mathematics Program Assessment Plan Introduction This assessment plan is tentative and will continue to be refined as needed to best fit the requirements of the Board of Regent s and UAS Program Review
More informationStacks Teacher notes. Activity description. Suitability. Time. AMP resources. Equipment. Key mathematical language. Key processes
Stacks Teacher notes Activity description (Interactive not shown on this sheet.) Pupils start by exploring the patterns generated by moving counters between two stacks according to a fixed rule, doubling
More informationGuidelines for Writing an Internship Report
Guidelines for Writing an Internship Report Master of Commerce (MCOM) Program Bahauddin Zakariya University, Multan Table of Contents Table of Contents... 2 1. Introduction.... 3 2. The Required Components
More informationNavigating the PhD Options in CMS
Navigating the PhD Options in CMS This document gives an overview of the typical student path through the four Ph.D. programs in the CMS department ACM, CDS, CS, and CMS. Note that it is not a replacement
More informationSpring 2016 Stony Brook University Instructor: Dr. Paul Fodor
CSE215, Foundations of Computer Science Course Information Spring 2016 Stony Brook University Instructor: Dr. Paul Fodor http://www.cs.stonybrook.edu/~cse215 Course Description Introduction to the logical
More informationCX 105/205/305 Greek Language 2017/18
The University of Warwick Department of Classics and Ancient History CX 105/205/305 Greek Language 2017/18 Module Convenor: Clive Letchford, Room H.2.39 C.A.Letchford@warwick.ac.uk detail from Codex Sinaiticus,
More informationE X P E R T E N V O R L A G E
2012 Qualifikationsverfahren Detailhandelsfachfrau/ Detailhandelsfachmann Fremdsprache Englisch schriftlich erie 5/5 Pos. 4.1 E X P E R T E N V O R L A G E Zeit 60 Minuten für 8 Aufgaben Bewertung Die
More informationStudy in Berlin at the HTW. Study in Berlin at the HTW
Study in Berlin at the HTW Study in Berlin at the HTW Study in Berlin Study in Berlin at the HTW There are many reasons why you should study in Berlin Because it is a multicultural city Because of tuition
More informationUniversity of Groningen. Systemen, planning, netwerken Bosman, Aart
University of Groningen Systemen, planning, netwerken Bosman, Aart IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document
More informationGerman I Unit 5 School
The following instructional plan is part of a GaDOE collection of Unit Frameworks, Performance Tasks, examples of Student Work, and Teacher Commentary. Many more GaDOE approved instructional plans are
More informationCurriculum Vitae Susanne E. Baumgartner
Curriculum Vitae Susanne E. Baumgartner Personal Information Susanne E. Baumgartner School of Communication Research University of Kloveniersburgwal 48 1012 CX The Netherlands Tel: +31 20 525 6101 Fax:
More informationLEAFLET FOR INTERNATIONAL STUDENTS
LEAFLET FOR INTERNATIONAL STUDENTS General Certificate of Education (International) Advanced Level / (International) Advanced Subsidiary Level (GCEA-AL/AS) Cornelia Dienlin, Admissions Manager EBS Business
More informationMathematics subject curriculum
Mathematics subject curriculum Dette er ei omsetjing av den fastsette læreplanteksten. Læreplanen er fastsett på Nynorsk Established as a Regulation by the Ministry of Education and Research on 24 June
More informationAbstractions and the Brain
Abstractions and the Brain Brian D. Josephson Department of Physics, University of Cambridge Cavendish Lab. Madingley Road Cambridge, UK. CB3 OHE bdj10@cam.ac.uk http://www.tcm.phy.cam.ac.uk/~bdj10 ABSTRACT
More informationThe Effect of Discourse Markers on the Speaking Production of EFL Students. Iman Moradimanesh
The Effect of Discourse Markers on the Speaking Production of EFL Students Iman Moradimanesh Abstract The research aimed at investigating the relationship between discourse markers (DMs) and a special
More informationCLIL Science Teaching Fostering Scientific Inquiry through the Use of Selective Scaffolding
CLIL Science Teaching Fostering Scientific Inquiry through the Use of Selective Scaffolding Marisa Rimmele, Michael Ewig University of Education Weingarten, Department of Didactics of Biology (Germany)
More informationSuccess Factors for Creativity Workshops in RE
Success Factors for Creativity s in RE Sebastian Adam, Marcus Trapp Fraunhofer IESE Fraunhofer-Platz 1, 67663 Kaiserslautern, Germany {sebastian.adam, marcus.trapp}@iese.fraunhofer.de Abstract. In today
More informationIMPORTANT: PLEASE READ THE FOLLOWING DIRECTIONS CAREFULLY PRIOR TO PREPARING YOUR APPLICATION PACKAGE.
APPLICATION INSTRUCTIONS IMPORTANT: PLEASE READ THE FOLLOWING DIRECTIONS CAREFULLY PRIOR TO PREPARING YOUR APPLICATION PACKAGE. INCOMPLETE APPLICATIONS WILL NOT BE CONSIDERED. A STATEMENT ABOUT THE UNCF/MELLON
More informationIntegration of a MOOC into a traditional third-level e-learning platform
3rd International Conference on Higher Education Advances, HEAd 17 Universitat Politècnica de València, València, 2017 DOI: http://dx.doi.org/10.4995/head17.2017.5216 Integration of a MOOC into a traditional
More informationObjectives. Chapter 2: The Representation of Knowledge. Expert Systems: Principles and Programming, Fourth Edition
Chapter 2: The Representation of Knowledge Expert Systems: Principles and Programming, Fourth Edition Objectives Introduce the study of logic Learn the difference between formal logic and informal logic
More informationWe are strong in research and particularly noted in software engineering, information security and privacy, and humane gaming.
Computer Science 1 COMPUTER SCIENCE Office: Department of Computer Science, ECS, Suite 379 Mail Code: 2155 E Wesley Avenue, Denver, CO 80208 Phone: 303-871-2458 Email: info@cs.du.edu Web Site: Computer
More informationParticipate in expanded conversations and respond appropriately to a variety of conversational prompts
Students continue their study of German by further expanding their knowledge of key vocabulary topics and grammar concepts. Students not only begin to comprehend listening and reading passages more fully,
More informationMiddle School Students Understanding of Core Algebraic Concepts: Equivalence & Variable 1
Middle School Students Understanding of Core Algebraic Concepts: Equivalence & Variable 1 Eric J. Knuth, Martha W. Alibali, Nicole M. McNeil, Aaron Weinberg, Ana C. Stephens Madison, WI (USA) Abstract:
More informationfaculty of science and engineering Appendices for the Bachelor s degree programme(s) in Astronomy
Appendices for the Bachelor s degree programme(s) in Astronomy 2017-2018 Appendix I Learning outcomes of the Bachelor s degree programme (Article 1.3.a) A. Generic learning outcomes Knowledge A1. Bachelor
More informationHISTORY COURSE WORK GUIDE 1. LECTURES, TUTORIALS AND ASSESSMENT 2. GRADES/MARKS SCHEDULE
HISTORY COURSE WORK GUIDE 1. LECTURES, TUTORIALS AND ASSESSMENT Lectures and Tutorials Students studying History learn by reading, listening, thinking, discussing and writing. Undergraduate courses normally
More informationSeminar - Organic Computing
Seminar - Organic Computing Self-Organisation of OC-Systems Markus Franke 25.01.2006 Typeset by FoilTEX Timetable 1. Overview 2. Characteristics of SO-Systems 3. Concern with Nature 4. Design-Concepts
More informationTEACHING AND EXAMINATION REGULATIONS (TER) (see Article 7.13 of the Higher Education and Research Act) MASTER S PROGRAMME EMBEDDED SYSTEMS
TEACHING AND EXAMINATION REGULATIONS (TER) (see Article 7.13 of the Higher Education and Research Act) 2015-2016 MASTER S PROGRAMME EMBEDDED SYSTEMS UNIVERSITY OF TWENTE 1 SECTION 1 GENERAL... 3 ARTICLE
More informationFreitag 7. Januar = QUIZ = REFLEXIVE VERBEN = IM KLASSENZIMMER = JUDD 115
DEUTSCH 3 DIE DEBATTE: GEFÄHRLICHE HAUSTIERE Debatte: Freitag 14. JANUAR, 2011 Bewertung: zwei kleine Prüfungen. Bewertungssystem: (see attached) Thema:Wir haben schon die Geschichte Gefährliche Haustiere
More informationeportfolios in Education - Learning Tools or Means of Assessment?
eportfolios in Education - Learning Tools or Means of Assessment? Christian Dorninger, Christian Schrack Federal Ministry for Education, Art and Culture, Austria Federal Pedagogical University Vienna,
More informationPrerequisite: General Biology 107 (UE) and 107L (UE) with a grade of C- or better. Chemistry 118 (UE) and 118L (UE) or permission of instructor.
Introduction to Molecular and Cell Biology BIOL 499-02 Fall 2017 Class time: Lectures: Tuesday, Thursday 8:30 am 9:45 am Location: Name of Faculty: Contact details: Laboratory: 2:00 pm-4:00 pm; Monday
More informationPROVIDENCE UNIVERSITY COLLEGE
BACHELOR OF BUSINESS ADMINISTRATION (BBA) WITH CO-OP (4 Year) Academic Staff Jeremy Funk, Ph.D., University of Manitoba, Program Coordinator Bruce Duggan, M.B.A., University of Manitoba Marcio Coelho,
More informationJunior Scheduling Assembly. February 22, 2017
Junior Scheduling Assembly February 22, 2017 Graduation Requirements State Assessments Assessment Requirements New Jersey Biology Competency Test Taken when enrolled in Biology course PARCC English Language
More informationLinguistics. Undergraduate. Departmental Honors. Graduate. Faculty. Linguistics 1
Linguistics 1 Linguistics Matthew Gordon, Chair Interdepartmental Program in the College of Arts and Science 223 Tate Hall (573) 882-6421 gordonmj@missouri.edu Kibby Smith, Advisor Office of Multidisciplinary
More informationTraining materials on RePro methodology
Training materials on RePro methodology INNOCASE Project Transfer of Innovations Leonardo da Vinci Programme 2 Leonardo da Vinci Pilot Project RePro - Real-Life Business Projects in Multicultural Student
More informationA Didactics-Aware Approach to Management of Learning Scenarios in E-Learning Systems
A Didactics-Aware Approach to Management of Learning Scenarios in E-Learning Systems Dr. Denis Helic To A. A heart whose love is innocent! - Lord Byron A Didactics-Aware Approach to Management of Learning
More informationLanguage properties and Grammar of Parallel and Series Parallel Languages
arxiv:1711.01799v1 [cs.fl] 6 Nov 2017 Language properties and Grammar of Parallel and Series Parallel Languages Mohana.N 1, Kalyani Desikan 2 and V.Rajkumar Dare 3 1 Division of Mathematics, School of
More information2. 20 % of available places are awarded to other foreign applicants.
Admission regulations of the University of Hohenheim for the Master s programs Food Science and Engineering, Food Biotechnology and Earth and Climate System Science of the Faculty of Natural Sciences Disclaimer:
More informationHow to Take Accurate Meeting Minutes
October 2012 How to Take Accurate Meeting Minutes 2011 Administrative Assistant Resource, a division of Lorman Business Center. All Rights Reserved. It is our goal to provide you with great content on
More informationADVANCED PLACEMENT STUDENTS IN COLLEGE: AN INVESTIGATION OF COURSE GRADES AT 21 COLLEGES. Rick Morgan Len Ramist
February 1998 Report No. SR-98-13 ADVANCED PLACEMENT STUDENTS IN COLLEGE: AN INVESTIGATION OF COURSE GRADES AT 21 COLLEGES Rick Morgan Len Ramist Unpublished Statistical Report This is a limited distribution
More informationUniversity of Exeter College of Humanities. Assessment Procedures 2010/11
University of Exeter College of Humanities Assessment Procedures 2010/11 This document describes the conventions and procedures used to assess, progress and classify UG students within the College of Humanities.
More informationPUBLIC CASE REPORT Use of the GeoGebra software at upper secondary school
PUBLIC CASE REPORT Use of the GeoGebra software at upper secondary school Linked to the pedagogical activity: Use of the GeoGebra software at upper secondary school Written by: Philippe Leclère, Cyrille
More informationApplying Speaking Criteria. For use from November 2010 GERMAN BREAKTHROUGH PAGRB01
Applying Speaking Criteria For use from November 2010 GERMAN BREAKTHROUGH PAGRB01 Contents Introduction 2 1: Breakthrough Stage The Languages Ladder 3 Languages Ladder can do statements for Breakthrough
More informationNORMAL AND ABNORMAL DEVELOPMENT OF BRAIN AND BEHAVIOUR
NORMAL AND ABNORMAL DEVELOPMENT OF BRAIN AND BEHAVIOUR BOERHAAVE SERIES FOR POSTGRADUATE MEDICAL EDUCATION PROCEEDINGS OF THE BOERHAA VE COURSES ORGANIZED BY THE FACULTY OF MEDICINE, UNIVERSITY OF LEIDEN
More informationEQF-Ref Wp3: EQF Referencing Process Exchange of Experience Austria
EQF-Ref Wp3: EQF Referencing Process Exchange of Experience Austria September 2009 Karin Luomi-Messerer, 3s 1. Introduction This report has been written in the context of the EU project EQF-Ref (www.eqf-ref.eu)
More informationEQuIP Review Feedback
EQuIP Review Feedback Lesson/Unit Name: On the Rainy River and The Red Convertible (Module 4, Unit 1) Content Area: English language arts Grade Level: 11 Dimension I Alignment to the Depth of the CCSS
More information10.2. Behavior models
User behavior research 10.2. Behavior models Overview Why do users seek information? How do they seek information? How do they search for information? How do they use libraries? These questions are addressed
More informationProof Theory for Syntacticians
Department of Linguistics Ohio State University Syntax 2 (Linguistics 602.02) January 5, 2012 Logics for Linguistics Many different kinds of logic are directly applicable to formalizing theories in syntax
More informationCS Machine Learning
CS 478 - Machine Learning Projects Data Representation Basic testing and evaluation schemes CS 478 Data and Testing 1 Programming Issues l Program in any platform you want l Realize that you will be doing
More informationCOMPUTATIONAL COMPLEXITY OF LEFT-ASSOCIATIVE GRAMMAR
COMPUTATIONAL COMPLEXITY OF LEFT-ASSOCIATIVE GRAMMAR ROLAND HAUSSER Institut für Deutsche Philologie Ludwig-Maximilians Universität München München, West Germany 1. CHOICE OF A PRIMITIVE OPERATION The
More informationCHEM 101 General Descriptive Chemistry I
CHEM 101 General Descriptive Chemistry I General Description Aim of the Course The purpose of this correspondence course is to introduce you to the basic concepts, vocabulary, and techniques of general
More informationGraduate Program in Education
SPECIAL EDUCATION THESIS/PROJECT AND SEMINAR (EDME 531-01) SPRING / 2015 Professor: Janet DeRosa, D.Ed. Course Dates: January 11 to May 9, 2015 Phone: 717-258-5389 (home) Office hours: Tuesday evenings
More informationPractical Research. Planning and Design. Paul D. Leedy. Jeanne Ellis Ormrod. Upper Saddle River, New Jersey Columbus, Ohio
SUB Gfittingen 213 789 981 2001 B 865 Practical Research Planning and Design Paul D. Leedy The American University, Emeritus Jeanne Ellis Ormrod University of New Hampshire Upper Saddle River, New Jersey
More informationP. Belsis, C. Sgouropoulou, K. Sfikas, G. Pantziou, C. Skourlas, J. Varnas
Exploiting Distance Learning Methods and Multimediaenhanced instructional content to support IT Curricula in Greek Technological Educational Institutes P. Belsis, C. Sgouropoulou, K. Sfikas, G. Pantziou,
More informationRyerson University Sociology SOC 483: Advanced Research and Statistics
Ryerson University Sociology SOC 483: Advanced Research and Statistics Prerequisites: SOC 481 Instructor: Paul S. Moore E-mail: psmoore@ryerson.ca Office: Sociology Department Jorgenson JOR 306 Phone:
More informationThe Talent Development High School Model Context, Components, and Initial Impacts on Ninth-Grade Students Engagement and Performance
The Talent Development High School Model Context, Components, and Initial Impacts on Ninth-Grade Students Engagement and Performance James J. Kemple, Corinne M. Herlihy Executive Summary June 2004 In many
More informationDisciplinary Literacy in Science
Disciplinary Literacy in Science 18 th UCF Literacy Symposium 4/1/2016 Vicky Zygouris-Coe, Ph.D. UCF, CEDHP vzygouri@ucf.edu April 1, 2016 Objectives Examine the benefits of disciplinary literacy for science
More informationConditions of study and examination regulations of the. European Master of Science in Midwifery
Conditions of study and examination regulations of the European Master of Science in Midwifery Midwifery Research and Education Unit Department of Obstetrics and Gynaecology Hannover Medical School September
More informationSchool Inspection in Hesse/Germany
Hessisches Kultusministerium School Inspection in Hesse/Germany Contents 1. Introduction...2 2. School inspection as a Procedure for Quality Assurance and Quality Enhancement...2 3. The Hessian framework
More informationENGINEERING FIRST YEAR GUIDE
ENGINEERING FIRST YEAR GUIDE 2017/18 WELCOME FROM THE ASSOCIATE DEAN On behalf of the Faculty of Engineering, welcome to the Bachelor of Engineering Program at Dalhousie University. We are pleased that
More informationAPPLICATION PROCEDURE FOR MASTER S PROGRAMMES for international student applicants at Heidelberg University FREQUENTLY ASKED QUESTIONS
Universität Heidelberg International Relations Office / International Students Office Last update: 17 January 2013 APPLICATION PROCEDURE FOR MASTER S PROGRAMMES for international student applicants at
More informationToday s Presentation
Today s Presentation Discuss admissions criteria for the SIUE School of Pharmacy Help you understand the pre-pharmacy required courses Help you set goals for earning admission to the Doctor of Pharmacy
More informationTIMSS ADVANCED 2015 USER GUIDE FOR THE INTERNATIONAL DATABASE. Pierre Foy
TIMSS ADVANCED 2015 USER GUIDE FOR THE INTERNATIONAL DATABASE Pierre Foy TIMSS Advanced 2015 orks User Guide for the International Database Pierre Foy Contributors: Victoria A.S. Centurino, Kerry E. Cotter,
More informationOFFICE SUPPORT SPECIALIST Technical Diploma
OFFICE SUPPORT SPECIALIST Technical Diploma Program Code: 31-106-8 our graduates INDEMAND 2017/2018 mstc.edu administrative professional career pathway OFFICE SUPPORT SPECIALIST CUSTOMER RELATIONSHIP PROFESSIONAL
More informationDepartment of Anthropology ANTH 1027A/001: Introduction to Linguistics Dr. Olga Kharytonava Course Outline Fall 2017
Department of Anthropology ANTH 1027A/001: Introduction to Linguistics Dr. Olga Kharytonava Course Outline Fall 2017 Lectures: Tuesdays 11:30 am - 1:30 pm, SEB-1059 Tutorials: Thursdays: Section 002 2:30-3:30pm
More informationStrategies for Solving Fraction Tasks and Their Link to Algebraic Thinking
Strategies for Solving Fraction Tasks and Their Link to Algebraic Thinking Catherine Pearn The University of Melbourne Max Stephens The University of Melbourne
More information5! Theorien und Untersuchungen zum multimedialen Lernen!
5! Theorien und Untersuchungen zum multimedialen Lernen! 5.1! Multimediales Lernen: Erwartungen und Realität 5.2! Modelle der kognitiven Verarbeitung von Multimedia 5.3! Cognitive Theory of Multimedia
More information