Semantic Foundation of Diagrammatic Modelling Languages
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Mathematics Is a Gentleman's Art: Analysis and Synthesis in American College Geometry Teaching, 1790-1840 Amy K
Iowa State University Capstones, Theses and Retrospective Theses and Dissertations Dissertations 2000 Mathematics is a gentleman's art: Analysis and synthesis in American college geometry teaching, 1790-1840 Amy K. Ackerberg-Hastings Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/rtd Part of the Higher Education and Teaching Commons, History of Science, Technology, and Medicine Commons, and the Science and Mathematics Education Commons Recommended Citation Ackerberg-Hastings, Amy K., "Mathematics is a gentleman's art: Analysis and synthesis in American college geometry teaching, 1790-1840 " (2000). Retrospective Theses and Dissertations. 12669. https://lib.dr.iastate.edu/rtd/12669 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Retrospective Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. INFORMATION TO USERS This manuscript has been reproduced from the microfilm master. UMI films the text directly from the original or copy submitted. Thus, some thesis and dissertation copies are in typewriter face, while others may be from any type of computer printer. The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, print bleedthrough, substandard margwis, and improper alignment can adversely affect reproduction. in the unlikely event that the author did not send UMI a complete manuscript and there are missing pages, these will be noted. -
B.Casselman,Mathematical Illustrations,A Manual Of
1 0 0 setrgbcolor newpath 0 0 1 0 360 arc stroke newpath Preface 1 0 1 0 360 arc stroke This book will show how to use PostScript for producing mathematical graphics, at several levels of sophistication. It includes also some discussion of the mathematics involved in computer graphics as well as a few remarks about good style in mathematical illustration. To explain mathematics well often requires good illustrations, and computers in our age have changed drastically the potential of graphical output for this purpose. There are many aspects to this change. The most apparent is that computers allow one to produce graphics output of sheer volume never before imagined. A less obvious one is that they have made it possible for amateurs to produce their own illustrations of professional quality. Possible, but not easy, and certainly not as easy as it is to produce their own mathematical writing with Donald Knuth’s program TEX. In spite of the advances in technology over the past 50 years, it is still not a trivial matter to come up routinely with figures that show exactly what you want them to show, exactly where you want them to show it. This is to some extent inevitable—pictures at their best contain a lot of information, and almost by definition this means that they are capable of wide variety. It is surely not possible to come up with a really simple tool that will let you create easily all the graphics you want to create—the range of possibilities is just too large. -
Science-Based Target Setting Manual Version 4.1 | April 2020
Science-Based Target Setting Manual Version 4.1 | April 2020 Table of contents Table of contents 2 Executive summary 3 Key findings 3 Context 3 About this report 4 Key issues in setting SBTs 5 Conclusions and recommendations 5 1. Introduction 7 2. Understand the business case for science-based targets 12 3. Science-based target setting methods 18 3.1 Available methods and their applicability to different sectors 18 3.2 Recommendations on choosing an SBT method 25 3.3 Pros and cons of different types of targets 25 4. Set a science-based target: key considerations for all emissions scopes 29 4.1 Cross-cutting considerations 29 5. Set a science-based target: scope 1 and 2 sources 33 5.1 General considerations 33 6. Set a science-based target: scope 3 sources 36 6.1 Conduct a scope 3 Inventory 37 6.2 Identify which scope 3 categories should be included in the target boundary 40 6.3 Determine whether to set a single target or multiple targets 42 6.4 Identify an appropriate type of target 44 7. Building internal support for science-based targets 47 7.1 Get all levels of the company on board 47 7.2 Address challenges and push-back 49 8. Communicating and tracking progress 51 8.1 Publicly communicating SBTs and performance progress 51 8.2 Recalculating targets 56 Key terms 57 List of abbreviations 59 References 60 Acknowledgments 63 About the partner organizations in the Science Based Targets initiative 64 Science-Based Target Setting Manual Version 4.1 -2- Executive summary Key findings ● Companies can play their part in combating climate change by setting greenhouse gas (GHG) emissions reduction targets that are aligned with reduction pathways for limiting global temperature rise to 1.5°C or well-below 2°C compared to pre-industrial temperatures. -
Inviwo — a Visualization System with Usage Abstraction Levels
IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOL X, NO. Y, MAY 2019 1 Inviwo — A Visualization System with Usage Abstraction Levels Daniel Jonsson,¨ Peter Steneteg, Erik Sunden,´ Rickard Englund, Sathish Kottravel, Martin Falk, Member, IEEE, Anders Ynnerman, Ingrid Hotz, and Timo Ropinski Member, IEEE, Abstract—The complexity of today’s visualization applications demands specific visualization systems tailored for the development of these applications. Frequently, such systems utilize levels of abstraction to improve the application development process, for instance by providing a data flow network editor. Unfortunately, these abstractions result in several issues, which need to be circumvented through an abstraction-centered system design. Often, a high level of abstraction hides low level details, which makes it difficult to directly access the underlying computing platform, which would be important to achieve an optimal performance. Therefore, we propose a layer structure developed for modern and sustainable visualization systems allowing developers to interact with all contained abstraction levels. We refer to this interaction capabilities as usage abstraction levels, since we target application developers with various levels of experience. We formulate the requirements for such a system, derive the desired architecture, and present how the concepts have been exemplary realized within the Inviwo visualization system. Furthermore, we address several specific challenges that arise during the realization of such a layered architecture, such as communication between different computing platforms, performance centered encapsulation, as well as layer-independent development by supporting cross layer documentation and debugging capabilities. Index Terms—Visualization systems, data visualization, visual analytics, data analysis, computer graphics, image processing. F 1 INTRODUCTION The field of visualization is maturing, and a shift can be employing different layers of abstraction. -
Coronavirus Control Plan: Revised Alert Levels in Wales (March 2021) Coronavirus Control Plan: Revised Alert Levels in Wales 2
Coronavirus Control Plan: Revised Alert Levels in Wales (March 2021) Coronavirus Control Plan: Revised Alert Levels in Wales 2 Ministerial Foreword The coronavirus pandemic has turned all our lives upside down. Over the last 12 months, everyone in Wales has made sacrifices to help protect themselves and their families and help bring coronavirus under control. This is a cruel virus – far too many families have lost loved ones, and unfortunately, we know that many more people will fall seriously ill and sadly will die before the pandemic is over. But the way people and communities have pulled together across Wales, and followed the rules, has undoubtedly saved many more lives. We are now entering a critical phase in the pandemic. We can see light at the end of the tunnel as we approach the end of a long and hard second wave, thanks to the incredible efforts of scientists and researchers across the world to develop effective vaccines. Our amazing vaccination programme has made vaccines available to people in the most at-risk groups at incredible speed. But just as we are rolling out vaccination, we are facing a very different virus in Wales today. The highly-infectious variant, first identified in Kent, is now dominant in all parts of Wales. This means the protective behaviours we have all learned to adopt are even more important than ever – getting tested and isolating when we have symptoms; keeping our distance from others; not mixing indoors; avoiding crowds; washing our hands regularly and wearing face coverings in places we cannot avoid being in close proximity with each other. -
System for Electrochemical Analysis and Visualization
An Object Orïented Infrastructure for the Development of a Computer Modeling System for Electrochemical Analysis and Visualization by Eric Marcuzzi A Thesis Submitted to the Faculty of Graduate Studies and Research through the School of Computer Science in Partial Fulfillment of the Requirernents for the Degree of Master of Science at the Univers@ of Windsor Windsor, Ontario, Canada 1997 National Library Bibliothèque nationale du Canada Acquisitions and Acquisitions et Bibliographie Services senrices bibliographiques 395 WelliStreet 395. rue Wellmgton OttayiliaON K1A ON4 OttawON K1AW carlada canada The author has granted a non- L'auteur a accordé une licence non exclusive licence allowing the exclusive permettant à la National Library of Canada to Bibliothèque nationale du Canada de reproduce, loaq distriiute or sell reproduire, prêter, distncbuer ou copies of this thesis in microfonn, vendre des copies de cette thèse sous paper or electronic formats. la forme de microfiche/nlm, de reproduction sur papier ou sur format électronique. The author retains ownership of the L'auteur conserve la propriété du copyright in this thesis. Neither the droit d'auteur qui protège cette thèse. thesis nor subsîantial extracts fiom it Ni la thèse ni des extraits substantiels may be printed or otherwise de celle-ci ne doivent être imprimés reproduced without the author's ou autrement reproduits sans son permission. autorisation. O Eric Marcuzzi 1997 ABSTRACT In this thesis a partial system design and implementation for a computer modelhg system, the VPMS (Vimial Proto-ping, Modelling and Simulation) system. which supports exteiisibility, reusability, distributivity and openness, is presented. This system identifies and cornpartmentahes modelling system functionaliry, such as numerical modelling and scientific visualization. -
Beyond Infinity
Copyright Copyright © 2017 by Eugenia Cheng Hachette Book Group supports the right to free expression and the value of copyright. The purpose of copyright is to encourage writers and artists to produce the creative works that enrich our culture. The scanning, uploading, and distribution of this book without permission is a theft of the author’s intellectual property. If you would like permission to use material from the book (other than for review purposes), please contact [email protected]. Thank you for your support of the author’s rights. Basic Books Hachette Book Group 1290 Avenue of the Americas, New York, NY 10104 www.basicbooks.com First published in Great Britain by Profile Books LTD, 3 Holford Yard, Bevin Way, London WC1X 9HD, www.profilebooks.com. First Trade Paperback Edition: April 2018 Published by Basic Books, an imprint of Perseus Books, LLC, a subsidiary of Hachette Book Group, Inc. The Basic Books name and logo is a trademark of the Hachette Book Group. The Hachette Speakers Bureau provides a wide range of authors for speaking events. To find out more, go to www.hachettespeakersbureau.com or call (866) 376-6591. The publisher is not responsible for websites (or their content) that are not owned by the publisher. Library of Congress Control Number: 2017931084 ISBNs: 978-0-465-09481-3 (hardcover), 978-0-465-09482-0 (e-book), 978-1- 5416-4413-7 (paperback) E3-20180327-JV-PC Cover Title Page Copyright Dedication Prologue part one | THE JOURNEY 1 What Is Infinity? 2 Playing with Infinity 3 What Infinity Is Not 4 Infinity -
Arxiv:2001.11604V2 [Cs.PL] 6 Sep 2020 of Trigger Conditions, Having an in Situ Infrastructure That Simplifies Results They Desire
DIVA: A Declarative and Reactive Language for in situ Visualization Qi Wu* Tyson Neuroth† Oleg Igouchkine‡ University of California, Davis, University of California, Davis, University of California, Davis, United States United States United States Konduri Aditya§ Jacqueline H. Chen¶ Kwan-Liu Ma|| Indian Institute of Science, India Sandia National Laboratories, University of California, Davis, United States United States ABSTRACT for many applications. VTK [61] also partially adopted this ap- The use of adaptive workflow management for in situ visualization proach, however, VTK is designed for programming unidirectional and analysis has been a growing trend in large-scale scientific simu- visualization pipelines, and provides limited support for highly dy- lations. However, coordinating adaptive workflows with traditional namic dataflows. Moreover, the synchronous dataflow model is procedural programming languages can be difficult because system somewhat difficult to use and does not always lead to modular pro- flow is determined by unpredictable scientific phenomena, which of- grams for large scale applications when control flows become com- ten appear in an unknown order and can evade event handling. This plicated [19]. Functional reactive programming (FRP) [19,24,48,53] makes the implementation of adaptive workflows tedious and error- further improved this model by directly treating time-varying values prone. Recently, reactive and declarative programming paradigms as first-class primitives. This allowed programmers to write reac- have been recognized as well-suited solutions to similar problems in tive programs using dataflows declaratively (as opposed to callback other domains. However, there is a dearth of research on adapting functions), hiding the mechanism that controls those flows under these approaches to in situ visualization and analysis. -
Models: Bringing Real-World Phenomena to School
BACK TO SCHOOL 2020 Models: Bringing Real-World Phenomena to School Whether learning in a physical or virtual classroom, using models helps students understand real-world phenomena— like COVID-19—and solve problems related to phenomena. hanks in large part to the power of model-based science, we are in a far better place than any generation “Tbefore us to deal successfully and efficiently with a pandemic of this scale.” That statement about the COVID-19 pandemic is from Rachael L. Brown, director of the Centre for Philosophy of the Sciences, Australian National University (Brown 2020). It highlights the value of scientific modeling in making complex issues that impact the world easier to understand— to define, quantify, and visualize. Modeling is a key process for both scientists and engineers. Models represent a system (or parts of a system) and its interactions—such as inputs, processes, and outputs—and can be modified or refined with new evidence or new test results. • Scientists use models to help develop questions and explanations, generate data that can be used to make predictions, and communicate ideas to others (NSTA 2014). • Engineers use models to help analyze a system to see where or under what conditions flaws might develop or to test possible solutions to a program (NSTA 2014). Carolina Biological Supply Company A meteorologist gathers data at an observation station. For example, an epidemiology-driven machine- in activities—including creating models—they learning model is just one of the models are better equipped to share their knowledge, developed to predict the spread of COVID-19 engineer solutions to problems that arise from (UCLA Samueli Newsroom 2020). -
THE ROLE of CARTOGRAPHY in DESIGNING a GLOBAL SAMPLING FRAMEWORK for Envmonmental MONITORING
ORAL PRESENTATION 314 THE ROLE OF CARTOGRAPHY IN DESIGNING A GLOBAL SAMPLING FRAMEWORK FOR ENVmONMENTAL MONITORING A. Jon Kimerling Denis White Department Of Geosciences Oregon State University Corvallis, OR 97331 USA Abstract Environmental monitoring and assessment is becoming a global activity as our concern with and understanding of global scale environmental issues increases. Additionally, international economic agreements such as GATT and NAFTA now include environmental compliance regulations. Scientists at the U.S. Environmental Protection Agency (EPA) and similar organizations in other countries are now asking cartographers and GIS experts if there exist global geographical data structures that will allow optimal implementation of survey sample designs, modeling of environmental processes, analyses of sampling and related data, and display of results. In this paper we examine the role that cartographers in the' United States have played in the development of global grid sampling frameworks for environmental monitoring and analysis, an EPA sponsored activity .. First and foremost, cartographers have played a lead role in devising ways to define a set of regularly arranged sampling points covering the entire earth. The problem is to approximate as closely as possible a regularly spaced sampling grid. This is because not more than 12 points, the vertices of an icosahedron projected onto a sphere, can be placed on the earth equidistantly. One approach has been to model the earth as a polyhedral globe, with each face of the polyhedron being a map projection surface that optimizes the generation of a large set of approximately reguhirly spaced sampling points. Equal area and other projections have been developed for the faces of the octahedron and icosahedron. -
Environments of Intelligence
Environments of Intelligence “An absorbing volume that integrates an extraordinarily wide area of work, with interesting observations and new twists right to the end.” Ruth Millikan, University of Connecticut, USA What is the role of the environment, and of the information it provides, in cognition? More specifically, may there be a role for certain artefacts to play in this context? These are questions that motivate “4E” theories of cognition (as being embodied, embedded, extended, enactive). In his take on that family of views, Hajo Greif first defends and refines a concept of information as primarily natural, environmen- tally embedded in character, which had been eclipsed by information-processing views of cognition. He continues with an inquiry into the cognitive bearing of some artefacts that are sometimes referred to as “intelligent environments”. With- out necessarily having much to do with Artificial Intelligence, such artefacts may ultimately modify our informational environments. With respect to human cognition, the most notable effect of digital computers is not that they might be able, or become able, to think but that they alter the way we perceive, think and act. Hajo Greif teaches at the Munich Center for Technology in Society (MCTS), Technical University of Munich, Germany, and the Department of Philosophy, University of Klagenfurt, Austria. His research interests cover the philosophy – and some of the history and the social studies – of science and technology, as well as the philosophy of mind. History and Philosophy of Technoscience Series Editor: Alfred Nordmann For a full list of titles in this series, please visit www.routledge.com 1 Error and Uncertainty in Scientific Practice Marcel Boumans, Giora Hon and Arthur C. -
Reconstruction of the Interpretation of Geometric Diagrams of Primary School Children Based on Actions on Various Materials - a Semiotic Perspective on Actions
International Electronic Journal of Mathematics Education 2021, 16(3), em0650 e-ISSN: 1306-3030 https://www.iejme.com Research Article OPEN ACCESS Reconstruction of the Interpretation of Geometric Diagrams of Primary School Children Based on Actions on Various Materials - A Semiotic Perspective on Actions Lara Kristina Billion 1* 1 Goethe University Frankfurt, Frankfurt am Main, GERMANY *Corresponding Author: [email protected] Citation: Billion, L. K. (2021). Reconstruction of the Interpretation of Geometric Diagrams of Primary School Children Based on Actions on Various Materials - A Semiotic Perspective on Actions. International Electronic Journal of Mathematics Education, 16(3), em0650. https://doi.org/10.29333/iejme/11068 ARTICLE INFO ABSTRACT Received: 18 Jan. 2021 This paper adopts a semiotic perspective on mathematical learning according to Peirce, in which the actions on Accepted: 17 May 2021 material arrangements are considered the bases for diagrammatic work. The focus is on the learner’s actions using digital and analogue material arrangements which are the starting point for the reconstruction of the learner’s mathematical interpretations. In this paper a qualitative interpretative paradigm is adopted for the reconstruction. Specifically, a semiotic specification of the context analysis according to Mayring and an adoption of Vogel, is carried out. The reconstruction of the mathematical interpretation is presented with a focus on a geometrical problem that third graders are working on. Finally, the results of several cases are compared to identify possible differences between the analysed actions when using digital and analogue material arrangements. Keywords: semiotics, mathematics education, actions on material, mathematical interpretation of diagrams, primary school INTRODUCTION In mathematics education, a cognitive psychological perspective largely determines the perception of actions on the learning material and the focus is on their function as means of illustration.