11 research outputs found
Errata and Addenda to Mathematical Constants
We humbly and briefly offer corrections and supplements to Mathematical
Constants (2003) and Mathematical Constants II (2019), both published by
Cambridge University Press. Comments are always welcome.Comment: 162 page
Towards more effective simulation of minerals processing systems
Two aspects of the computer simulation of minerals processing systems were
investigated in order to facilitate more effective use of simulation technology.
A user-interface was designed and combined with an existing simulator
executive, resulting in the implementation of a user-friendly microcomputer based
minerals processing simulator, MicroSim. Ease of use was achieved by
consideration of the needs of the user of such a program. This resulted in the use
of graphical methods for information input and output. Efficient form-filling
techniques were developed for numerical data entry and editing.
Models for the carbon-in-pulp adsorption process and for continuous gold
leaching were derived. The CIP models were derived using a population balance
approach. The method of characteristics and the method of moments were found
to be particularly useful in solving the resulting equations. Besides being
important processes in themselves, the integration of these models into MicroSim
provided valuable experience regarding the use of such models in a simulator.AC 201
Preemptive type checking in dynamically typed programs
With the rise of languages such as JavaScript, dynamically typed languages have gained a strong foothold in the programming language landscape. These languages are very well suited for rapid prototyping and for use with agile programming methodologies. However, programmers would benefit from the ability to detect type errors in their code early, without imposing unnecessary restrictions on their programs.Here we describe a new type inference system that identifies potential type errors through a flow-sensitive static analysis. This analysis is invoked at a very late stage, after the compilation to bytecode and initialisation of the program. It computes for every expression the variable’s present (from the values that it has last been assigned) and future (with which it is used in the further program execution) types, respectively. Using this information, our mechanism inserts type checks at strategic points in the original program. We prove that these checks, inserted as early as possible, preempt type errors earlier than existing type systems. We further show that these checks do not change the semantics of programs that do not raise type errors.Preemptive type checking can be added to existing languages without the need to modify the existing runtime environment. We show this with an implementation for the Python language and demonstrate its effectiveness on a number of benchmarks
Language games and nature: a corpus-based analysis of ecological discourse
This dissertation approaches environmental discourse from the perspective of intercultural communication research. As a discipline, intercultural communication has encompassed a range of analytical levels, from micro-analysis of everyday communicative interactions to the macro-level structural factors that were brought into light by the critical turn. In light of planetary environmental issues, some researchers have called for an “ecological turn” as a new research paradigm. However, the complexity of integrating communication, culture, and the natural world into a coherent research program poses significant conceptual and methodological challenges. This dissertation seeks to provide both a methodological and conceptual framework for discourse at the interface of human cultures and the natural world
COIN@AAMAS2015
COIN@AAMAS2015 is the nineteenth edition of the series and the fourteen papers included in these proceedings demonstrate the vitality of the community and will provide the grounds for a solid workshop program and what we expect will be a most enjoyable and enriching debate.Peer reviewe
Active Prelude to Calculus
Active Prelude to Calculus is designed for college students who aspire to take calculus and who either need to take a course to prepare them for calculus or want to do some additional self-study. Many of the core topics of the course will be familiar to students who have completed high school. At the same time, we take a perspective on every topic that emphasizes how it is important in calculus. This text is written in the spirit of Active Calculus and is especially ideal for students who will eventually study calculus from that text. The reader will find that the text requires them to engage actively with the material, to view topics from multiple perspectives, and to develop deep conceptual understanding of ideas. Many courses at the high school and college level with titles such as “college algebra”, “precalculus”, and “trigonometry” serve other disciplines and courses other than calculus. As such, these prerequisite classes frequently contain wide-ranging material that, while mathematically interesting and important, isn\u27t necessary for calculus. Perhaps because of these additional topics, certain ideas that are essential in calculus are often under-emphasized or ignored. In Active Prelude to Calculus, one of our top goals is to keep the focus narrow on the following most important ideas. Those most important ideas include: functions as processes; average rate of change; a library of basic functions; families of functions that model important phenomena; the sine and cosine are circular functions; inverses of functions; exact values versus approximate ones; and long-term trends, unbounded behavior, and limits of functions. See more in the preface of the text at https://activecalculus.org/prelude/preface-our-goals.html. The text is available in three different formats: HTML, PDF, and print, each of which is available via links on the landing page at https://activecalculus.org/. The first two formats are free.https://scholarworks.gvsu.edu/books/1020/thumbnail.jp
Dalton State College APEX Calculus
This text for Analytic Geometry and Calculus I, II, and III is a Dalton State College remix of APEX Calculus 3.0. The text was created through a Round Six ALG Textbook Transformation Grant.
Topics covered in this text include: Limits Derivatives Integration Antidifferentiation Sequences Vectors
Files can also be downloaded on the Dalton State College GitHub:
https://github.com/DaltonStateCollege/calculus-text/blob/master/Calculus.pdf
Accessible files with optical character recognition (OCR) and auto-tagging provided by the Center for Inclusive Design and Innovation.https://oer.galileo.usg.edu/mathematics-textbooks/1016/thumbnail.jp
Bowdoin Orient v.139, no.1-26 (2009-2010)
https://digitalcommons.bowdoin.edu/bowdoinorient-2010s/1000/thumbnail.jp