Feurzeig, Wallace; Papert, Seymour A.
Formal mathematical methods remain, for most high school students, mysterious, artificial and not a part of their regular intuitive thinking. The authors develop some themes that could lead to a radically new approach. According to this thesis, the teaching of programming languages as a regular part of academic progress can contribute effectively…
Everyday mathematical ideas are expressed differently in different languages. This book probes those differences and explores their implications for mathematics education, arguing for alternatives to how we teach and learn mathematics.
Jul 1, 2016 ... will touch some basic concepts in grammar or language. The consequence is that such ..... programming. The concept of the function ..... mathematical problems solving are closely related to language. They share the idea that ...
Scott, Michael L
Thoroughly updated to reflect the most current developments in language design and implementation, the second edition*Addresses key developments in programming language design:+ Finalized C99 standard+ Java 5+ C# 2.0+ Java concurrency package (JSR 166) and comparable mechanisms in C#+ Java and C# generics*Introduces and discusses scripting languages throughout the book and in an entire new chapter that covers:+ Application domains: shell languages, text processing and report generation, mathematics and statistics, "glue" languages and general purpose scripting, extension languages, scripting t
Adoniou, Misty; Qing, Yi
There is a correlation between language proficiency and achievement in mathematics (Riordain & O'Donoghue, 2009), and this is particularly evident for children who speak English as an additional language or dialect. More effort needs to be made in mathematics classrooms to develop cognitive competencies, including the ability to decode and…
Moschkovich, Judit; Planas, Nuria
This book examines multiple facets of language diversity and mathematics education. It features renowned authors from around the world and explores the learning and teaching of mathematics in contexts that include multilingual classrooms, indigenous education, teacher education, blind and deaf...
Wekesa, Duncan Wasike
Mathematical knowledge and understanding is important not only for scientific progress and development but also for its day-to-day application in social sciences and arts, government, business and management studies and household chores. But the general performance in school mathematics in Kenya has been poor over the years. There is evidence that…
Vega, Mery Luz; Hederich M., Christian
This study is expected to determine the impact of a program based on the cooperative learning methodology. This, in comparison to a traditional learning situation in both mathematics and language achievement. The study was carried out on a group of fourth grade students of primary school. In addition, it tried to find the differential impact…
Misfeldt, Morten; Ejsing-Duun, Stine
In this paper we explore the potentials for learning mathematics through programming by a combination of theoretically derived potentials and cases of practical pedagogical work. We propose a model with three interdependent learning potentials as programming which can: (1) help reframe the students...... to mathematics is paramount. Analyzing two cases, we suggest a number of ways in which didactical attention to epistemic mediation can support learning mathematics....
"The Language of Mathematics in Science" is an ASE/Nuffield project aimed at supporting teachers of 11-16 science in the use of mathematical ideas in the science curriculum. Two publications have been produced. This article focuses on the first of these, "The Language of Mathematics in Science: A Guide for Teachers of 11-16…
Most operating systems are written in the C programming language. Similar is with system software, for example, device drivers, compilers, debuggers, disk checkers, etc. Recently some new programming languages emerged, which are supposed to be suitable for system programming. In this thesis we present programming languages D, Go, Nim and Rust. We defined the criteria which are important for deciding whether programming language is suitable for system programming. We examine programming langua...
Mery Luz Vega-Vaca
Full Text Available This study is expected to determine the impact of a program based on the cooperative learning methodology. This, in comparison to a traditional learning situation in both mathematics and language achievement. The study was carried out on a group of fourth grade students of primary school. In addition, it tried to find the differential impact according to the cognitive style in the field dependence-independence dimension. This work was carried out with 76 students of the Colegio José Martí I.E.D. (Bogotá-Colombia ranging from 8-12 years of age. The control group received a traditional teaching methodology and the experimental group received the cooperative learning program, composed of 35 sessions (from July to November 2009. All the participants were tested in mathematics and language performance, before and after the intervention. All of them were tested in cognitive style as well. The results suggested that the cooperative learning methodology benefited importantly the academic achievement of the students in mathematics in contrast to the competitive and individualist situations. The results also suggested that the three cognitive style groups were positively affected from the cooperative learning situation. These results were not found in the language area.
Espada, Janet P.
The use of the native language as a medium of instruction is believed to be the fastest and most natural route towards developing a strong foundation in mathematics literacy (Mimaropa, In D.O.No. 74, s.2009). This study examined the effect of using the native language in the teaching of kindergarten mathematics. A total of 34 five to six year old…
A synthesis of reasons for the production of this monograph is presented with a focus on contemporary research in the context of the Ninth Congress of the European Society for Research in Mathematics Education. Within the domain of mathematics and language, three lines of concern are addressed: (1) classroom discourse, (2) language diversity, and…
This article reviews two sets of research studies from outside of mathematics education to consider how they may be relevant to the study of bilingual mathematics learners using two languages. The first set of studies is psycholinguistics experiments comparing monolinguals and bilinguals using two languages during arithmetic computation (language…
Feldman, G. H.; Johnson, J. A.
Structural-programming language is especially-tailored for producing assembly language programs for MODCOMP II and IV mini-computes. Modern programming language consists of set of simple and powerful control structures that include sequencing alternative selection, looping, sub-module linking, comment insertion, statement continuation, and compilation termination capabilities.
Modern radiotherapy has increased demand for dose delivery verification. In this paper transmission portal dosimetry was considered. Portal detectors are a promising tool for 2D dosimetric verification and they are nowadays one of the most widely investigated topics. In this study an Electronic Portal Imaging Device (EPID) was positioned below the patient and the transmission images were captured during the irradiation. The principle of this verification consists of comparison of the acquired images with images predicted on the basis of the entrance fluence map and the tissue distribution in the patient. Such verification is not performed at any radiotherapy department in the Czech Republic. There is no system available for the prediction of transmission portal images. Even worldwide, there is still a lack of commercially available solutions. The aim of this paper is to present a new method of prediction of transmission portal images by means of the Monte Carlo (MC) method and the mathematical programming language MATLAB. The MC code EGSnrc (Electron Gamma Shower) was used. The validity of the presented method was verified by comparison of the predicted images with the acquired ones. The acquisition of EPID images was performed at the Hospital Na Bulovce. Three different validation tests were performed. In the first case, the EPID was irradiated by regular and irregular fields while there was nothing present in the beam path. In the second case, a water-equivalent phantom was added to the EPID and was irradiated by a number of irregular fields. In the third case, a real patient was present in the beam path and the EPID images were acquired during the patient's treatment. The patient was irradiated by 8 treatment fields and the portal images were acquired during 5 treatment fractions. All of the acquired images were compared with the MC predicted ones by gamma analysis with gamma criteria of 3%, 3 mm. The average gamma values were 0.31-0.4, 0.34-0.4 and 0.35-0.61 in
Herbel-Eisenmann, Beth A.
Describes a way to introduce and use mathematical language as an alternative to using vocabulary lists to introduce students to mathematical language in mathematics classrooms. Draws on multiple representations and student language. (YDS)
Burow, Burkhard D.
Computing in the next millennium will be using software from this millennium. Programming languages evolve and new ones continue to be created. The use of legacy code demonstrates why some present and future applications may span programming languages. Even a completely new application may mix programming languages, if it allows its components to be more conveniently expressed. Given the need, mixed language programming should be easy and robust. By resolving a variety of difficulties, the well established cfortran.h package provides, the desired convenient interface across the C and Fortran programming languages, as demonstrated using CERN's Book. (author)
Shaykhian, Gholam Ali
C++ Programming Language: The C++ seminar covers the fundamentals of C++ programming language. The C++ fundamentals are grouped into three parts where each part includes both concept and programming examples aimed at for hands-on practice. The first part covers the functional aspect of C++ programming language with emphasis on function parameters and efficient memory utilization. The second part covers the essential framework of C++ programming language, the object-oriented aspects. Information necessary to evaluate various features of object-oriented programming; including encapsulation, polymorphism and inheritance will be discussed. The last part of the seminar covers template and generic programming. Examples include both user defined and standard templates.
Holloway, C. M.
Research in the area of functional programming languages has intensified in the 8 years since John Backus' Turing Award Lecture on the topic was published. The purpose of this paper is to present a survey of the ideas of functional programming languages. The paper assumes the reader is comfortable with mathematics and has knowledge of the basic principles of traditional programming languages, but does not assume any prior knowledge of the ideas of functional languages. A simple functional language is defined and used to illustrate the basic ideas. Topics discussed include the reasons for developing functional languages, methods of expressing concurrency, the algebra of functional programming languages, program transformation techniques, and implementations of functional languages. Existing functional languages are also mentioned. The paper concludes with the author's opinions as to the future of functional languages. An annotated bibliography on the subject is also included.
Full Text Available The goal of the research was to compare the level of mathematic language acquisition between students of lower grades in special elementary schools for children who are hearing impaired and students of a mainstream elementary school. A total of 239 children attending mainstream and special schools in the territory of Serbia were included in the research. Instruction of mathematics in schools for students who are hearing impaired has a different character as it contains elements of native language instruction. Obtained results show a significant difference in some fields. A conclusion stating that the level of language acquisition is in direct correlation with the level of acquisition of mathematics language imposes itself. What that means is that hearing impaired children have not only to comprehend mathematics relations, but also to learn mathematics terms in a completely different way as compared to children who are hearing.
Scott, Michael L
Programming Language Pragmatics is the most comprehensive programming language textbook available today. Taking the perspective that language design and language implementation are tightly interconnected, and that neither can be fully understood in isolation, this critically acclaimed and bestselling book has been thoroughly updated to cover the most recent developments in programming language design. With a new chapter on run-time program management and expanded coverage of concurrency, this new edition provides both students and professionals alike with a solid understanding of the most impo
Organick, Elliott Irving; Plummer, Robert P
Programming Language Structures deals with the structures of programming languages and introduces the reader to five important programming languages: Algol, Fortran, Lisp, Snobol, and Pascal. The fundamental similarities and differences among these languages are discussed. A unifying framework is constructed that can be used to study the structure of other languages, such as Cobol, PL/I, and APL. Several of the tools and methodologies needed to construct large programs are also considered.Comprised of 10 chapters, this book begins with a summary of the relevant concepts and principles about al
Full Text Available Popularising mathematics requires a preliminary reflection on language and terms, the choice of which results from underlying dynamics. The aim of this article is to start an overall analysis of the conditions influencing this linguistic choice.
This paper's goal is to briefly explain the basic theory behind programming languages and their history while taking a close look at different programming paradigms that are used today as well as describing their differences, benefits, and drawbacks
Introduction. Programming languages for computers are developed with the ... detailed algorithm to solve a problem is the starting point and it is expressed as ... All modern programming .... which precisely specify the 'words' of the language, and how they may .... network within an organization using protocols and providing.
Vukovic, Rose K; Lesaux, Nonie K
This longitudinal study examined how language ability relates to mathematical development in a linguistically and ethnically diverse sample of children from 6 to 9 years of age. Study participants were 75 native English speakers and 92 language minority learners followed from first to fourth grades. Autoregression in a structural equation modeling (SEM) framework was used to evaluate the relation between children's language ability and gains in different domains of mathematical cognition (i.e., arithmetic, data analysis/probability, algebra, and geometry). The results showed that language ability predicts gains in data analysis/probability and geometry, but not in arithmetic or algebra, after controlling for visual-spatial working memory, reading ability, and sex. The effect of language on gains in mathematical cognition did not differ between language minority learners and native English speakers. These findings suggest that language influences how children make meaning of mathematics but is not involved in complex arithmetical procedures whether presented with Arabic symbols as in arithmetic or with abstract symbols as in algebraic reasoning. The findings further indicate that early language experiences are important for later mathematical development regardless of language background, denoting the need for intensive and targeted language opportunities for language minority and native English learners to develop mathematical concepts and representations. Copyright © 2013. Published by Elsevier Inc.
Faigle, Ulrich; Kern, Walter; Still, Georg
Algorithmic Principles of Mathematical Programming investigates the mathematical structures and principles underlying the design of efficient algorithms for optimization problems. Recent advances in algorithmic theory have shown that the traditionally separate areas of discrete optimization, linear
Cirillo, Michelle; Bruna, Katherine Richardson; Herbel-Eisenmann, Beth
In this article, we describe aspects of mathematical language that could be problematic to English-language learners, provide recommendations for teaching English-language learners, and suggest activities intended to foster language development in mathematics. (Contains 1 figure.)
This book begins with a quick-start tutorial to the language, and then explains the language in detail from the bottom up: from lexical and syntactic structure to datatypes to expressions and statements and on through methods, blocks, lambdas, closures, classes and modules. The book also includes a long and thorough introduction to the rich API of the Ruby platform, demonstrating -- with heavily-commented example code -- Ruby's facilities for text processing, numeric manipulation, collections, input/output, networking, and concurrency. An entire chapter is devoted to Ruby's metaprogramming capabilities. The Ruby Programming Language documents the Ruby language definitively but without the formality of a language specification. It is written for experienced programmers who are new to Ruby, and for current Ruby programmers who want to challenge their understanding and increase their mastery of the language.
Against the background of increasing linguistic diversity in classrooms worldwide, we aimed to provide scientifically grounded insight into how language-oriented mathematics education can be designed, enacted and evaluated. We addressed the following main research question: How can teachers in
Full Text Available This paper's goal is to briefly explain the basic theory behind programming languages and their history while taking a close look at different programming paradigms that are used today as well as describing their differences, benefits, and drawbacks
Baber, Robert L
A new and unique way of understanding the translation of concepts and natural language into mathematical expressions Transforming a body of text into corresponding mathematical expressions and models is traditionally viewed and taught as a mathematical problem; it is also a task that most find difficult. The Language of Mathematics: Utilizing Math in Practice reveals a new way to view this process-not as a mathematical problem, but as a translation, or language, problem. By presenting the language of mathematics explicitly and systematically, this book helps readers to learn mathematics¿and i
Pelto, E. V.
Assembly processor program converts symbolic programming language to machine language. This program translates symbolic codes into computer understandable instructions, assigns locations in storage for successive instructions, and computer locations from symbolic addresses.
Part 2: Regular Submissions; International audience; Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of " type " in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper...
Loreto, Vittorio; Baronchelli, Andrea; Puglisi, Andrea
In this chapter we explore several language games of increasing complexity. We first consider the so-called Naming Game, possibly the simplest example of the complex processes leading progressively to the establishment of human-like languages. In this framework, a globally shared vocabulary emerges as a result of local adjustments of individual word-meaning association. The emergence of a common vocabulary only represents a first stage while it is interesting to investigate the emergence of higher forms of agreement, e.g., compositionality, categories, syntactic or grammatical structures. As an example in this direction we consider the so-called Category Game. Here one focuses on the process by which a population of individuals manages to categorize a single perceptually continuous channel. The problem of the emergence of a discrete shared set of categories out of a continuous perceptual channel is a notoriously difficult problem relevant for color categorization, vowels formation, etc. The central result here is the emergence of a hierarchical category structure made of two distinct levels: a basic layer, responsible for fine discrimination of the environment, and a shared linguistic layer that groups together perceptions to guarantee communicative success.
Ezhil is a Tamil language based interpreted procedural programming language. Tamil keywords and grammar are chosen to make the native Tamil speaker write programs in the Ezhil system. Ezhil allows easy representation of computer program closer to the Tamil language logical constructs equivalent to the conditional, branch and loop statements in modern English based programming languages. Ezhil is a compact programming language aimed towards Tamil speaking novice computer users. Grammar for Ezh...
Bernardo, Allan B I
Does using a bilingual's 1st or 2nd language have an effect on problem solving in semantically rich domains like school mathematics? The author conducted a study to determine whether Filipino-English bilingual students' understanding and solving of word problems in arithmetic differed when the problems were in the students' 1st and 2nd languages. Two groups participated-students whose 1st language was Filipino and students whose 1st language was English-and easy and difficult arithmetic problems were used. The author used a recall paradigm to assess how students understood the word problems and coded the solution accuracy to assess problem solving. The results indicated a 1st-language advantage; that is, the students were better able to understand and solve problems in their 1st language, whether the 1st language was English or Filipino. Moreover, the advantage was more marked with the easy problems. The theoretical and practical implications of the results are discussed.
Mathematical programming approaches were applied to a variety of problems in machine learning in order to gain deeper understanding of the problems and to come up with new and more efficient computational algorithms...
This volume contains the proceedings of the 11th International Symposium on Database Programming Languages (DBPL 2007), held in Vienna, Austria, on September 23-24, 2007. DBPL 2007 was one of 15 meetings co-located with VLBD (the International Conference on Very Large Data Bases). DBPL continues...
Feldman, S. I.
EFL is a comprehensive language designed to make it easy to write portable, understandable programs. It provides a rich set of data types and structures, a convenient operator set, and good control flow forms. The lexical form is easy to type and to read. Whenever possible, EFL uses the same forms that Ratfor does; in this sense EFL may be viewed as a superset of Ratfor. EFL is a well-defined language; this distinguishes it from most FORTRAN preprocessors which only add simple flow of control constructs to FORTRAN. The EFL compiler generates (possibly tailored) Standard FORTRAN as its output. EFL should catch and diagnose all syntax errors.
The new C++11 standard allows programmers to express ideas more clearly, simply, and directly, and to write faster, more efficient code. Bjarne Stroustrup, the designer and original implementer of C++, has updated his definitive reference and tutorial for everyone who uses the language and needs to understand its latest version. The C++ Programming Language, Fourth Edition, delivers meticulous, richly explained, and integrated coverage of the entire language—its facilities, abstraction mechanisms, standard libraries, and key design techniques. Throughout, Stroustrup presents concise, “pure C++11” examples, which have been carefully crafted to clarify both usage and program design. To promote deeper understanding, the author provides extensive cross-references, both within the book and to the ISO standard.
The study showed that teachers teach between 30-46% of their mathematics lesson periods in English at the lower primary level. Efforts to use the native language for meaningful mathematics instructions are constrained by teachers' inability to speak the language and the lack of materials in the native language.
Sistla, Michelle; Feng, Jay
Teaching English Language Learners (ELL) academics while they are acquiring English language skills is a challenge for teachers. This action research examines the use of Response To Intervention (RTI) in teaching ELLs mathematical language and its effect on students' math achievement in primary grades. It shows that when mathematical language…
Ackermann, Ernest C
REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. C Programming Language discusses fundamental notions, data types and objects, expressions, statements, declarations, function and program structure, the preprocessor, and the standar
Full Text Available This paper presents how to search mathematical formulae written in MathML when given plain words as a query. Since the proposed method allows natural language queries like the traditional Information Retrieval for the mathematical formula search, users do not need to enter any complicated math symbols and to use any formula input tool. For this, formula data is converted into plain texts, and features are extracted from the converted texts. In our experiments, we achieve an outstanding performance, a MRR of 0.659. In addition, we introduce how to utilize formula classification for formula search. By using class information, we finally achieve an improved performance, a MRR of 0.690.
Shaykhian, Gholam Ali
The Java seminar covers the fundamentals of Java programming language. No prior programming experience is required for participation in the seminar. The first part of the seminar covers introductory concepts in Java programming including data types (integer, character, ..), operators, functions and constants, casts, input, output, control flow, scope, conditional statements, and arrays. Furthermore, introduction to Object-Oriented programming in Java, relationships between classes, using packages, constructors, private data and methods, final instance fields, static fields and methods, and overloading are explained. The second part of the seminar covers extending classes, inheritance hierarchies, polymorphism, dynamic binding, abstract classes, protected access. The seminar conclude by introducing interfaces, properties of interfaces, interfaces and abstract classes, interfaces and cailbacks, basics of event handling, user interface components with swing, applet basics, converting applications to applets, the applet HTML tags and attributes, exceptions and debugging.
Constraint Logic Programming (CLP) is a relatively new technique from the 80's with origins in Computer Science and Artificial Intelligence. Lately, much research have been focused on ways of using CLP within the paradigm of Operations Research (OR) and vice versa. The purpose of this paper...
Tilley-Lubbs, Gresilda A.; Kreye, Betibel C.
This paper describes a collaboration between Mathematics Education and English as a Second Language (ESL) Education programs that presented opportunities for preservice teachers from both programs to work together to address curricular and linguistic gaps that occur for English language learners (ELL) in content area classrooms. By modeling…
mathematics lesson periods in English at the lower primary level. Efforts to use the native language for meaningful mathematics instructions are constrained by teachers' inability to speak the ..... Cambridge: Cambridge Univ. Press, 9-33.
In this paper, it is shown that inclusive OR is sometimes used in everyday language. Inclusive OR is the operator for weak disjunction in mathematics or logic. In mathematics or logic, mere disjunction, that is, unmarked disjunction is weak disjunction. ...
A SeaLang meetup - a presentation discussing various programming languages used in particle physics, from pushing common modern languages a bit past where they should be pushed, to an embedded DSL, to some full blown ones written.
Risset, Claude Alain
This research thesis aims at trying to identify some methods of syntax analysis which can be used for computer programming languages while putting aside computer devices which influence the choice of the programming language and methods of analysis and compilation. In a first part, the author proposes attempts of formalization of Chomsky grammar languages. In a second part, he studies analytical grammars, and then studies a compiler or analytic grammar for the Fortran language
Madsen, Ole Lehrmann
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not argue for a multi-paradigm language, where the programmer alternates between the different paradigms/styles. Instead, we...... find that the languages of the future should integrate the best available concepts and constructs in such a way that the programmer does not think of multiple paradigms when using a given language. In this paper, we describe to what extent the BETA language has been successful in obtaining a unified...... style and where more research is needed. In addition to traditional paradigms such as object-oriented-, imperative-functional- and logic programming, we also discuss concurrent programming and prototype-based programming. We discuss language features such as the BETA pattern construct, virtual...
Madsen, Ole Lehrmann
style and where more research is needed. In addition to traditional paradigms such as object-oriented-, imperative-functional- and logic programming, we also discuss concurrent programming and prototype-based programming. We discuss language features such as the BETA pattern construct, virtual......The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not argue for a multi-paradigm language, where the programmer alternates between the different paradigms/styles. Instead, we...... procedures and classes, higher order classes, methods and functions, part objects, block-structure, and class-less objects....
Umesh, P; Naveen, F; Rao, Chanchala Uma Maheswara; Nair, Achuthsankar S
In the backdrop of accelerated efforts for creating synthetic organisms, the nature and scope of an ideal programming language for scripting synthetic organism in-silico has been receiving increasing attention. A few programming languages for synthetic biology capable of defining, constructing, networking, editing and delivering genome scale models of cellular processes have been recently attempted. All these represent important points in a spectrum of possibilities. This paper introduces Kera, a state of the art programming language for synthetic biology which is arguably ahead of similar languages or tools such as GEC, Antimony and GenoCAD. Kera is a full-fledged object oriented programming language which is tempered by biopart rule library named Samhita which captures the knowledge regarding the interaction of genome components and catalytic molecules. Prominent feature of the language are demonstrated through a toy example and the road map for the future development of Kera is also presented.
When discussing advantages and drawbacks of programming languages, it is sometimes suggested to use these languages also for safety-related tasks. The author states the demands to be made on programming languages for this purpose. His recommendations are based on the work of TC7 of the European Workshop on Industrial Computer Systems and WG A3 of IEC SC 45a. (orig./HP) [de
Williams, G. P. W., Jr.; Ross, C.
A programming language is presented for the flight software of the NASA Space Shuttle program. It is intended to satisfy virtually all of the flight software requirements of the space shuttle. To achieve this, it incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks. It is a higher order language designed to allow programmers, analysts, and engineers to communicate with the computer in a form approximating natural mathematical expression. Parts of the English language are combined with standard notation to provide a tool that readily encourages programming without demanding computer hardware expertise. Block diagrams and flow charts are included. The semantics of the language is discussed.
Perlovsky, L I; Ilin, R
Neural structures of interaction between thinking and language are unknown. This paper suggests a possible architecture motivated by neural and mathematical considerations. A mathematical requirement of computability imposes significant constraints on possible architectures consistent with brain neural structure and with a wealth of psychological knowledge. How language interacts with cognition. Do we think with words, or is thinking independent from language with words being just labels for decisions? Why is language learned by the age of 5 or 7, but acquisition of knowledge represented by learning to use this language knowledge takes a lifetime? This paper discusses hierarchical aspects of language and thought and argues that high level abstract thinking is impossible without language. We discuss a mathematical technique that can model the joint language-thought architecture, while overcoming previously encountered difficulties of computability. This architecture explains a contradiction between human ability for rational thoughtful decisions and irrationality of human thinking revealed by Tversky and Kahneman; a crucial role in this contradiction might be played by language. The proposed model resolves long-standing issues: how the brain learns correct words-object associations; why animals do not talk and think like people. We propose the role played by language emotionality in its interaction with thought. We relate the mathematical model to Humboldt's "firmness" of languages; and discuss possible influence of language grammar on its emotionality. Psychological and brain imaging experiments related to the proposed model are discussed. Future theoretical and experimental research is outlined.
Johnson, Sally C.
A strategy for automatically generating and verifying simple computer programs is described. The programs are specified by a precondition and a postcondition in predicate calculus. The programs generated are in the Lucid programming language, a high-level, data-flow language known for its attractive mathematical properties and ease of program verification. The Lucid programming is described, and the automatic program generation strategy is described and applied to several example problems.
Riccomini, Paul J.; Smith, Gregory W.; Hughes, Elizabeth M.; Fries, Karen M.
Vocabulary understanding is a major contributor to overall comprehension in many content areas, including mathematics. Effective methods for teaching vocabulary in all content areas are diverse and long standing. Teaching and learning the language of mathematics is vital for the development of mathematical proficiency. Students' mathematical…
Pedersen, Michael; Yordanov, Boyan
This chapter provides an overview of a programming language for Genetic Engineering of Cells (GEC). A GEC program specifies a genetic circuit at a high level of abstraction through constraints on otherwise unspecified DNA parts. The GEC compiler then selects parts which satisfy the constraints from a given parts database. GEC further provides more conventional programming language constructs for abstraction, e.g., through modularity. The GEC language and compiler is available through a Web tool which also provides functionality, e.g., for simulation of designed circuits.
Sangwin, Christopher J.; O'Toole, Claire
This paper reports a study which investigated the extent to which undergraduate mathematics students in the United Kingdom are currently taught to programme a computer as a core part of their mathematics degree programme. We undertook an online survey, with significant follow-up correspondence, to gather data on current curricula and received replies from 46 (63%) of the departments who teach a BSc mathematics degree. We found that 78% of BSc degree courses in mathematics included computer programming in a compulsory module but 11% of mathematics degree programmes do not teach programming to all their undergraduate mathematics students. In 2016, programming is most commonly taught to undergraduate mathematics students through imperative languages, notably MATLAB, using numerical analysis as the underlying (or parallel) mathematical subject matter. Statistics is a very popular choice in optional courses, using the package R. Computer algebra systems appear to be significantly less popular for compulsory first-year courses than a decade ago, and there was no mention of logic programming, functional programming or automatic theorem proving software. The modal form of assessment of computing modules is entirely by coursework (i.e. no examination).
Trinick, Tony; May, Stephen
Over the last 25 years, there has been significant modernisation and elaboration of the Maori language mathematics lexicon and register to support the teaching of (Western) mathematics as a component of Maori-medium schooling. These developments are situated within the wider Maori language revitalisation movement in Aotearoa/New Zealand, of which…
In this study, the researchers developed an 'aid' that would assist learners to relate mathematics terms and concepts in English with terms in their own languages. The study determined whether a visual multilingual learner companion brought change in learners' performance in mathematics. Also what the educators' views ...
Purpura, David J; Logan, Jessica A R; Hassinger-Das, Brenna; Napoli, Amy R
A growing body of evidence indicates that the development of mathematics and literacy skills is highly related. The importance of literacy skills-specifically language-for mathematics development has been well rationalized. However, despite several prominent studies indicating that mathematics skills are highly predictive of literacy development, the reason for this relation is not well understood. The purpose of this study was to identify how and why early mathematics is predictive of early literacy development. Participants included 125 preschool children 3-5 years old (M = 4 years 3 months). Participants were assessed on mathematics, literacy, and cognitive measures in both the fall and spring of their preschool year. Mediation analyses indicated that the relation between early mathematics and literacy skills is mediated by children's mathematical language skills. These findings suggest that, in prior research identifying mathematical performance as a significant predictor of later literacy skills, mathematical performance may have acted only as a proxy measure for more complex language skills such as those assessed on a mathematical language measure. (PsycINFO Database Record (c) 2017 APA, all rights reserved).
Caraban Gonzalez, Noemi
These one-week programmes are held in one of the national languages of CERN Member States. National teacher programmes are also open for teachers from other countries speaking the same language. To follow up after each teacher programme, the lecture material and video recordings of selected lectures are archived to act as unique resources for all physics teachers when introducing particle physics into the classroom. CERN provides all scientific, administrative and technical support for the programme free of charge. This includes the scientific content and provision of national language facilitators, lecturers, and guides. However, costs for travel, accommodation and meals have to be covered individually by the teachers or by official sources, e.g. educational foundations or national authorities.
Bragg, Leicha A.; Herbert, Sandra; Loong, Esther Yoon-Kin; Vale, Colleen; Widjaja, Wanty
Mathematical reasoning is now featured in the mathematics curriculum documents of many nations, but this necessitates changes to teaching practice and hence a need for professional learning. The development of children's mathematical reasoning requires appropriate encouragement and feedback from their teacher who can only do this if they recognise mathematical reasoning in children's actions and words. As part of a larger study, we explored whether observation of educators conducting mathematics lessons can develop teachers' sensitivity in noticing children's reasoning and consideration of how to support reasoning. In the Mathematical Reasoning Professional Learning Research Program, demonstration lessons were conducted in Australian and Canadian primary classrooms. Data sources included post-lesson group discussions. Observation of demonstration lessons and engagement in post-lesson discussions proved to be effective vehicles for developing a professional eye for noticing children's individual and whole-class reasoning. In particular, the teachers noticed that children struggled to employ mathematical language to communicate their reasoning and viewed limitations in language as a major barrier to increasing the use of mathematical reasoning in their classrooms. Given the focus of teachers' noticing of the limitations in some types of mathematical language, it seems that targeted support is required for teachers to facilitate classroom discourse for reasoning.
Alt, Mary; Arizmendi, Genesis D; Beal, Carole R
The present study examined the relationship between mathematics and language to better understand the nature of the deficit and the academic implications associated with specific language impairment (SLI) and academic implications for English language learners (ELLs). School-age children (N = 61; 20 SLI, 20 ELL, 21 native monolingual English [NE]) were assessed using a norm-referenced mathematics instrument and 3 experimental computer-based mathematics games that varied in language demands. Group means were compared with analyses of variance. The ELL group was less accurate than the NE group only when tasks were language heavy. In contrast, the group with SLI was less accurate than the groups with NE and ELLs on language-heavy tasks and some language-light tasks. Specifically, the group with SLI was less accurate on tasks that involved comparing numerical symbols and using visual working memory for patterns. However, there were no group differences between children with SLI and peers without SLI on language-light mathematics tasks that involved visual working memory for numerical symbols. Mathematical difficulties of children who are ELLs appear to be related to the language demands of mathematics tasks. In contrast, children with SLI appear to have difficulty with mathematics tasks because of linguistic as well as nonlinguistic processing constraints.
Cipoletti, Beth; Wilson, Nancy
The National Council of Teachers of Mathematics (1989) proposes using everyday objects, such as paper, to enable students to explore geometric relationships and vocabulary. Paper-folding and other types of hands-on activities have been found to increase students' ability to communicate mathematically and foster their understanding of mathematical…
Ruiz Lizama, Edgar
The article presents the concepts that govern around the programming languages and the paradigms of the programming and the influence in the development of the software. El artículo presenta los conceptos que rigen a los lenguajes de programación y los paradigmas de la programación y como estos influyen en el desarrollo del software.
by Reynolds in ``Definitional Interpreters for Higher-Order Programming Languages'' for functional implementations of denotational semantics, natural semantics, and big-step abstract machines using closure conversion, CPS transformation, and defunctionalization. Over the last few years, the author and his...... operational semantics can be expressed as a reduction semantics: for deterministic languages, a reduction semantics is a structural operational semantics in continuation style, where the reduction context is a defunctionalized continuation. As the defunctionalized counterpart of the continuation of a one...
Gerber, Ans; Engelbrecht, Johann; Harding, Ansie; Rogan, John
Understanding abstract concepts and ideas in mathematics, if instruction takes place in the first language of the student, is difficult. Yet worldwide students often have to master mathematics via a second or third language. The majority of students in South Africa — a country with eleven official languages — has to face this difficulty. In a quantitative study of first year calculus students, we investigated two groups of students. For one group tuition took place in their home language; for the second group, tuition was in English, a second or even a third language. Performance data on their secondary mathematics and first year tertiary calculus were analysed. The study showed that there was no significant difference between the adjusted means of the entire group of first language learners and the entire group of second language learners. Neither was there any statistically significant difference between the performances of the two groups of second language learners (based on the adjusted means). Yet, there did seem to be a significant difference between the achievement of Afrikaans students attending Afrikaans lectures and Afrikaans students attending English lectures.
Bernard, Robert M.; Bethel, Edward Clement; Abrami, Philip C.; Wade, C. Anne
This study examines the achievement outcomes accompanying the implementation of a Grade 3 laptop or so-called "ubiquitous computing" program in a Quebec school district. CAT3 reading, language, and mathematics batteries were administered at the end of Grade 2 and again at the end of Grade 3, after the first year of computer…
Harry H. Cheng
Full Text Available We have developed a general-purpose block-structured interpretive programming Ianguage. The syntax and semantics of this language called CH are similar to C. CH retains most features of C from the scientific computing point of view. In this paper, the extension of C to CH for numerical computation of real numbers will be described. Metanumbers of −0.0, 0.0, Inf, −Inf, and NaN are introduced in CH. Through these metanumbers, the power of the IEEE 754 arithmetic standard is easily available to the programmer. These metanumbers are extended to commonly used mathematical functions in the spirit of the IEEE 754 standard and ANSI C. The definitions for manipulation of these metanumbers in I/O; arithmetic, relational, and logic operations; and built-in polymorphic mathematical functions are defined. The capabilities of bitwise, assignment, address and indirection, increment and decrement, as well as type conversion operations in ANSI C are extended in CH. In this paper, mainly new linguistic features of CH in comparison to C will be described. Example programs programmed in CH with metanumbers and polymorphic mathematical functions will demonstrate capabilities of CH in scientific computing.
This volume examines mathematics as a product of the human mind and analyzes the language of "pure mathematics" from various advanced-level sources. Through analysis of the foundational texts of mathematics, it is demonstrated that math is a complex literary creation, containing objects, actors, actions, projection, prediction, planning, explanation, evaluation, roles, image schemas, metonymy, conceptual blending, and, of course, (natural) language. The book follows the narrative of mathematics in a typical order of presentation for a standard university-level algebra course, beginning with analysis of set theory and mappings and continuing along a path of increasing complexity. At each stage, primary concepts, axioms, definitions, and proofs will be examined in an effort to unfold the tell-tale traces of the basic human cognitive patterns of story and conceptual blending. This book will be of interest to mathematicians, teachers of mathematics, cognitive scientists, cognitive linguists, and anyone interested...
Brown, James Dean
A discussion of survey methodology for investigating second language programs and instruction examines two methods: oral interviews and written questionnaires. Each method is defined, and variations are explored. For interviews, this includes individual, group, and telephone interviews. For questionnaires, this includes self-administered and…
Full Text Available The range of information and communication technology in teaching mathematics is unlimited. Despite numerous researches about the opportunities and application of the ICT in teaching mathematics and in the world, however, many aspects remain unexplored. This research comes to knowledge that will be applicable to the educational practice. The findings will serve as motivation for more frequent use of the ICT in teaching mathematics from first to fifth grade as a mean for improving of the educational process. Through application of the ICT in the educational programs in teaching mathematics the technological improved practice is investigated and discussed and it helps overcoming of the challenges that arise when trying to integrate the ICT in the educational curricula in mathematics. The biggest challenge are the findings about the possibilities of the application of the ICT in the educational programs in math from first to fifth grade as well as their dissemination, all aimed to improving of teaching mathematics from the first to the fifth grade. The application of the most ICT in the educational programs of mathematics affects the training of the students for easier adoption of the mathematical concepts and the mathematical procedures and in the easier identification and resolving problem situations.
Investigation into the sequence structure of the genetic code by means of an informatic approach is a real success story. The features of human language are also the object of investigation within the realm of formal language theories. They focus on the common rules of a universal grammar that lies behind all languages and determine generation of syntactic structures. This universal grammar is a depiction of material reality, i.e., the hidden logical order of things and its relations determined by natural laws. Therefore mathematics is viewed not only as an appropriate tool to investigate human language and genetic code structures through computer science-based formal language theory but is itself a depiction of material reality. This confusion between language as a scientific tool to describe observations/experiences within cognitive constructed models and formal language as a direct depiction of material reality occurs not only in current approaches but was the central focus of the philosophy of science debate in the twentieth century, with rather unexpected results. This article recalls these results and their implications for more recent mathematical approaches that also attempt to explain the evolution of human language.
D'Onofrio-Papadaki, Evienia; Matsalia, Joan; Bowie, Paula; Wardle, Francis; Bruno, Holly Elissa
Presents five articles on multi-language programs in early childhood education: "Bilingualism/Multilingualism and Language Acquisition Theories" (Evienia Papadaki-D'Onofrio); "Training and Supporting Caregivers Who Speak a Language Different from Those in Their Community" (Joan Matsalia and Paula Bowie); "Language Immersion Programs for Young…
Guided by symbolic interactionism and cultural historical activity theory this study investigated how four bilingual Latina/o pre-service teachers use language (Spanish and English) and culture, defined as social practices, as instructional resources in mathematics. The setting of the study was an after-school bilingual mathematics program, namely…
Full Text Available In this article, we present a discussion about the type of mathematical discourse that is being produced in classrooms where the language of learning and teaching is local languages. We also further explore the tensions in the mathematical discourse being produced. The study sample was 4 mathematics teachers from a semi-urban primary school in Malawi. The methods of data collection included classroom observations, pre-observation focus group discussions and reflective interviews. The results show that even though both students and teachers were able to communicate freely in local languages in the mathematics classroom, the mathematical discourse that came was distorted. This is mainly caused by lack of a well-developed mathematical discourse in local languages, which in turn takes away the confidence of mathematics teachers in the classroom. As a result, the mathematics classrooms are still being characterized by teachers not being creative, use of word by word from books, focus more on procedural than conceptual and thus teacher centered is still dominant in these classrooms. Furthermore, it is found that there are tensions between the formal and informal mathematical language in local languages. These results in turn have promoted a more in-depth understanding to the teaching and learning of mathematics when local language is the language of learning and teaching. Therefore, this article argues for a well-balanced approach when it comes to teaching and learning of mathematics rather than just focusing on the use of local languages.
Preschool teachers are expected to engage young children in challenging and supportive mathematics learning. Rich and responsive language experiences in mathematics support children's language acquisition and engagement related to mathematics, however, such engaging experiences may be minimally available to many young children. Professional…
The article is devoted to the description and characterizing of language schools and foreign language studying programs in Portugal. The relevance of language learning for professional, mobility, self-developing means is shown. The main courses and programs are observed and the advantages and disadvantages of each of them are given. It is stated that Portuguese courses mostly follow the Common European Framework of Reference for Languages. A small synopsis of the abilities for each level is p...
Byrd, Patricia; Constantinides, Janet C.
Because of national concern about the effect of having basic college mathematics courses taught by so many international teaching assistants whose English skills may be limited, this paper reports on the use of language in teaching by regular college faculty, rather than teaching assistants, at Georgia State University. (eight references)…
Jensen, Kristian; Cardoso, Joao; Sonnenschein, Nikolaus
Optlang is a Python package implementing a modeling language for solving mathematical optimization problems, i.e., maximizing or minimizing an objective function over a set of variables subject to a number of constraints. It provides a common native Python interface to a series of optimization...
mathematics lesson periods in English at the lower primary level. Efforts to ... children to derive the benefits of the language policy, the study recommends taking teachers linguistic competence into consideration during teacher postings and an ... not catered for in the classroom, the learner finds himself at a crossroad not.
Planas, Núria; Civil, Marta
In this article we reflect on the learning of mathematics in bilingual settings from a social and a political perspective. In particular we highlight two concepts that are key to our work: language-as-resource and language-as-political. To do so, we draw on classroom data from students of Mexican origin in Tucson, USA, and students from Latin America in Barcelona, Spain. The language policies in our contexts share a message of privileging the language of instruction (English or Catalan) over other languages. Our analysis of the two sets of data points to differences in the mathematical participation of students on the basis of which language they use. We develop the argument that, even if languages other than Catalan and English are accepted and certain pedagogies may be close to a language-as-resource approach, the use of the students' languages is politically mediated in such a way that its pedagogical value (as a medium of communication and learning) is not always taken into account in the bilingual mathematics classroom.
McMaster, Kirby; Sambasivam, Samuel; Anderson, Nicole
In this paper, we describe a Relational Algebra Query Language (RAQL) and Relational Algebra Query (RAQ) software product we have developed that allows database instructors to teach relational algebra through programming. Instead of defining query operations using mathematical notation (the approach commonly taken in database textbooks), students…
This article presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation ofmulti-agent systems consisting of individual agents thatmay share and access external environments. It realizes
Syropoulos, Apostolos; Stavrianos, Athanasios
Nowadays, scripting programming languages like Python, Perl and Ruby are widely used in system programming, scientific computing, etc. Although solving a particular problem in these languages requires less time, less programming effort, and less concepts to be taught to achieve the desired goal, still they are not used as teaching tools. Therefore, the use of scripting languages as a teaching vehicle for programming course is very promising. On the other hand, GUI programming, when performed ...
O'Connell, Raymond S.
This brochure describing language programs to both parents and prospective high school language students in Endicott, New York focuses on developing student motivation and interest. Topics discussed include: (1) reasons for studying foreign language, (2) stages of foreign language learning, (3) course offerings, (4) homework, and (5) examinations.…
Many fundamental solution notions in mathematical economics relate to mathematical programming. This includes various types of equilibrium points for the noncooperative (strategic) competitions, as well as the core for the cooperative (coalitional) models. This talk concerns alternate cooperative solution concepts such as various nucleoli points and other proposed fairness outcomes. These concepts become of particular interest for those cases when the core is an empty set. Recent results on these alternate solutions for classes of assignment games will be presented.
Sushil Kumar*1 & Richa Aggarwal2
Language is a communication tool through which we can communicate with each other like Hindi, English etc any other language. So if we want to communicate with computer, we need computer programming languages. So in computer we have two types of languages, one is low level language which is easily understood by computer but difficult to learn. Second is high level language which is same like English language, not understood by computer but easy to learn. Python is a high level language. This...
Fourment, Mathieu; Gillings, Michael R
The performance of different programming languages has previously been benchmarked using abstract mathematical algorithms, but not using standard bioinformatics algorithms. We compared the memory usage and speed of execution for three standard bioinformatics methods, implemented in programs using one of six different programming languages. Programs for the Sellers algorithm, the Neighbor-Joining tree construction algorithm and an algorithm for parsing BLAST file outputs were implemented in C, C++, C#, Java, Perl and Python. Implementations in C and C++ were fastest and used the least memory. Programs in these languages generally contained more lines of code. Java and C# appeared to be a compromise between the flexibility of Perl and Python and the fast performance of C and C++. The relative performance of the tested languages did not change from Windows to Linux and no clear evidence of a faster operating system was found. Source code and additional information are available from http://www.bioinformatics.org/benchmark/. This benchmark provides a comparison of six commonly used programming languages under two different operating systems. The overall comparison shows that a developer should choose an appropriate language carefully, taking into account the performance expected and the library availability for each language.
Madsen, Ole Lehrmann; Møller-Pedersen, Birger; Nygaard, Kristen
This is a book on object-oriented programming and the BETA programming language. Object-oriented programming originated with the Simula languages developed at the Norwegian Computing Center, Oslo, in the 1960s. The first Simula language, Simula I, was intended for writing simulation programs....... Simula I was later used as a basis for defining a general purpose programming language, Simula 67. In addition to being a programming language, Simula1 was also designed as a language for describing and communicating about systems in general. Simula has been used by a relatively small community for many...... years, although it has had a major impact on research in computer science. The real breakthrough for object-oriented programming came with the development of Smalltalk. Since then, a large number of programming languages based on Simula concepts have appeared. C++ is the language that has had...
Maurer, W. D.
The paper describes a program written in SNOBOL which verifies the correctness of programs written in assembly language for the IBM 360 and 370 series of computers. The motivation for using assembly language as a source language for a program verifier was the realization that many errors in programs are caused by misunderstanding or ignorance of the characteristics of specific computers. The proof of correctness of a program written in assembly language must take these characteristics into account. The program has been compiled and is currently running at the Center for Academic and Administrative Computing of The George Washington University.
This paper describes the real time programming language PEARL, its history and design principles and the portability techniques involved in the implementation of a subset of the language on four computer systems. (Auth.)
Full Text Available Functional programming has traditionally been considered elegant and powerful, but also somewhat impractical for ordinary computing. Proponents of functional programming claim that the evolution of functional languages makes their use feasible in many domains. In this work, a popular imperative language (C++ and the leading functional language (Haskell are compared in a math-intensive, real-world application using a variety of criteria: ease of implementation, efficiency, and readability. The programming tasks that were used as benchmarks involved mathematical transformations between local and global coordinate systems. Details regarding the application area and how language features of both languages were used to solve critical problems are described. The paper closes with some conclusions regarding applicability of functional programming for mathematical applications.
Johansen, Lene Østergaard
. understanding the meaning of the words "in front of") when they enter first grade in primary school (Nyborg and Nyborg, 1990). Students who lack these abilities either with regard to mathematics or language are from the beginning of schooling limited in their mathematical performance and in a "risk zone......" of developing learning difficulties in mathematics. Teaching the teachers a consciousness for the use of language in mathematics teaching as well as educating them to have a special focus on developing the vocabulary of the students can render the mathematics teaching more inclusive. Furthermore, it may help......Learning mathematics can be seen as learning a foreign language or learning a particular mathematical discourse. Nolte (2004) calls mathematics the students' first second language. The use of language in mathematics teaching, hence the way we talk and the way we write, differ from the way the same...
Full Text Available The article describes requirements to educational programming languages and considers the use of Python as the first programming language. The issues of introduction of this programming language into teaching and replacing Pascal by Python are examined. The advantages of such approach are regarded. The comparison of popular programming languages is represented from the point of view of their convenience of use for teaching algorithmization and programming. Python supports lots of programming paradigms: structural, object-oriented, functional, imperative and aspect-oriented, and learning can be started without any preparation. There is one more advantage of the language: all algorithms are written easily and structurally in Python. Therefore, due to all mentioned above, it is possible to affirm that Python pretends to become a decent replacement for educational programming language PASCAL both at schools and on the first courses of higher education establishments.
CICIARELLI, V; LEONARD, JOSEPH
A SEQUENTIAL MATHEMATICS PROGRAM BEGINNING WITH THE BASIC FUNDAMENTALS ON THE FOURTH GRADE LEVEL IS PRESENTED. INCLUDED ARE AN UNDERSTANDING OF OUR NUMBER SYSTEM, AND THE BASIC OPERATIONS OF WORKING WITH WHOLE NUMBERS--ADDITION, SUBTRACTION, MULTIPLICATION, AND DIVISION. COMMON FRACTIONS ARE TAUGHT IN THE FIFTH, SIXTH, AND SEVENTH GRADES. A…
This workbook for children was prepared especially to accompany the level 1 Micronesian Mathematics Program Teacher's Guide. It is to be used to check whether children have learned concepts taught by activities and activity cards. Work is provided for such concepts as color recognition, categorizing, counting, ordering, numeration, contrasting,…
ZIMIN G.A.; MORDVINOV D.A.
Visual domain-specific languages usually have low entry barrier. Sometimes even children can program on such languages by working with visual representations. This is widely used in educational robotics domain, where most commonly used programming environments are visual. The paper describes a novel dataflow visual programming environment for embedded robotic platforms. Obviously, complex dataflow languages are not simple for understanding. The purpose of our tool is to "bridge" between light...
Although Ada is likely to be chosen as the principal programming language for the Space Station, certain needs, such as expert systems and robotics, may be better developed in special languages. The languages, LISP and Prolog, are studied and some benchmarks derived. The mathematical foundations for these languages are reviewed. Likely areas of the space station are sought out where automation and robotics might be applicable. Benchmarks are designed which are functional, mathematical, relational, and expert in nature. The coding will depend on the particular versions of the languages which become available for testing.
Bernardo, Allan B I
The study was conducted to determine whether the language of math word problems would affect how Filipino-English bilingual problem solvers would model the structure of these word problems. Modeling the problem structure was studied using the problem-completion paradigm, which involves presenting problems without the question. The paradigm assumes that problem solvers can infer the appropriate question of a word problem if they correctly grasp its problem structure. Arithmetic word problems in Filipino and English were given to bilingual students, some of whom had Filipino as a first language and others who had English as a first language. The problem-completion data and solution data showed similar results. The language of the problem had no effect on problem-structure modeling. The results were discussed in relation to a more circumscribed view about the role of language in word problem solving among bilinguals. In particular, the results of the present study showed that linguistic factors do not affect the more mathematically abstract components of word problem solving, although they may affect the other components such as those related to reading comprehension and understanding.
by Reynolds in ``Definitional Interpreters for Higher-Order Programming Languages'' for functional implementations of denotational semantics, natural semantics, and big-step abstract machines using closure conversion, CPS transformation, and defunctionalization. Over the last few years, the author and his......This document illustrates how functional implementations of formal semantics (structural operational semantics, reduction semantics, small-step and big-step abstract machines, natural semantics, and denotational semantics) can be transformed into each other. These transformations were foreshadowed...... students have further observed that functional implementations of small-step and of big-step abstract machines are related using fusion by fixed-point promotion and that functional implementations of reduction semantics and of small-step abstract machines are related using refocusing and transition...
Linear Programming provides an in-depth look at simplex based as well as the more recent interior point techniques for solving linear programming problems. Starting with a review of the mathematical underpinnings of these approaches, the text provides details of the primal and dual simplex methods with the primal-dual, composite, and steepest edge simplex algorithms. This then is followed by a discussion of interior point techniques, including projective and affine potential reduction, primal and dual affine scaling, and path following algorithms. Also covered is the theory and solution of the linear complementarity problem using both the complementary pivot algorithm and interior point routines. A feature of the book is its early and extensive development and use of duality theory. Audience: The book is written for students in the areas of mathematics, economics, engineering and management science, and professionals who need a sound foundation in the important and dynamic discipline of linear programming.
Many mainstream programming languages are dynamically typed. This allows for rapid software development and programming flexibility because it gives programmers the freedom to use powerful programming patterns that are not allowed in statically typed programming languages. Nevertheless......, this freedom does not come without drawbacks: static bugs detection, IDE support, and compiler optimization techniques are harder to implement. In the last decades, the research literature and mainstream programming languages have been aiming to reach a trade-off between statically typed and dynamically typed...... languages. We investigate the trade-off, focusing on the area of optional typing, which allows programmers to choose when to use static type checking in parts of pro- grams. Our primary focus is Dart, an optionally typed programming language with a type system that is unsound by design. What makes Dart...
O'Neill, Joseph T.
This paper advocates the use of standard high level programming languages for medical computing. It recommends that U.S. Government agencies having health care missions implement coordinated policies that encourage the use of existing standard languages and the development of new ones, thereby enabling them and the medical computing community at large to share state-of-the-art application programs. Examples are based on a model that characterizes language and language translator influence upon the specification, development, test, evaluation, and transfer of application programs.
Runciman, Colin; Clare, Amanda; Harkness, Rob
After some years of use in academic and research settings, functional languages are starting to enter the mainstream as an alternative to more conventional programming languages. This article explores one way to use Haskell, a functional programming language, in the development of control programs for laboratory automation systems. We give code for an example system, discuss some programming concepts that we need for this example, and demonstrate how the use of functional programming allows us to express and verify properties of the resulting code. © 2014 Society for Laboratory Automation and Screening.
We describe programming language constructs that facilitate the application of modular design techniques in parallel programming. These constructs allow us to isolate resource management and processor scheduling decisions from the specification of individual modules, which can themselves encapsulate design decisions concerned with concurrence, communication, process mapping, and data distribution. This approach permits development of libraries of reusable parallel program components and the reuse of these components in different contexts. In particular, alternative mapping strategies can be explored without modifying other aspects of program logic. We describe how these constructs are incorporated in two practical parallel programming languages, PCN and Fortran M. Compilers have been developed for both languages, allowing experimentation in substantial applications.
Pace, Walter H., Jr.
Box language used at all stages of program development. Developed to provide improved productivity in designing, coding, and maintaining computer programs. BOX system written in FORTRAN 77 for batch execution.
Ada is a programing language developed for the Department of Defense, with a registered trademark. It was named for Ada Augusta, coworker of Charles Babbage and the world's first programer. The Department of Defense hopes to prevent variations and to establish Ada as a consistent, standardized language. (MNS)
Schnorr, Janice M.
The presentation describes PILOT (Programmed Inquiry, Learning or Teaching), a special programing language easy for beginners to learn and available for several brands of microcomputers. PILOT is explained to contain substantially fewer commands than most other languages and to be written in an easy to understand manner. Edit commands and their…
Clark, Kenneth; Hosticka, Alice; Kent, Judi; Browne, Ron
Addresses issues of access to World Wide Web sites, mathematics and science content-resources available on the Web, and methods for integrating mathematics, science, and language arts instruction. (Author/ASK)
Introduction Computers Computer Programming Languages Role of Computer Programming Language Software Systems Taxonomies of Computer Programming LanguagesComputing Architecture in the Internet Environment Key Characteristics Shared by All Procedural Programming Languages Syntax, Sentence, and Word Variable Arithmetic Operation Execution Sequence If-Then-Else Logic Loop Module C++ Introduction to Function-Oriented and Object-Oriented Programming A Tour of C Language C and C++ Keyword and User-Defined Word Comment Statements Preprocessor
Pardalos, Panos; Rapcsák, Tamás
This volume contains refereed papers based on the lectures presented at the XIV International Conference on Mathematical Programming held at Matrahaza, Hungary, between 27-31 March 1999. This conference was organized by the Laboratory of Operations Research and Deci sion Systems at the Computer and Automation Institute, Hungarian Academy of Sciences. The editors hope this volume will contribute to the theory and applications of mathematical programming. As a tradition of these events, the main purpose of the confer ence was to review and discuss recent advances and promising research trends concerning theory, algorithms and applications in different fields of Optimization Theory and related areas such as Convex Analysis, Complementarity Systems and Variational Inequalities. The conference is traditionally held in the Matra Mountains, and housed by the resort house of the Hungarian Academy of Sciences. This was the 14th event of the long lasting series of conferences started in 1973. The organizers wish to...
Struck, James T
Mathematics, according to Lancelot Hogben, is the language of size, shape, and order. This note adds two words to the language of mathematics. First, a verb, develop or develops, is introduced to describe a development pattern or development string. These are patterns of development with examples from fibrillation, spread of electric changes in muscles and nerves, and matter changing into energy. The relevance of this idea to the idea in physics called String Theory is discussed. A critical comment on the use of the String, rather than other objects like circles, boxes, or spheres is made. Second, an adjective or adverb called conditions language is introduced. Equations like E=mc2, Coulomb's law, Newton's law of Gravitation, the equation for the definition of pie and the path to peace and war are discussed with relevance to the idea of conditions language. Conditions language is nothing more than including the relevant conditions where the equation works or when it applies in parentheses with the equation. V...
Full Text Available n this study, the departments of philology and teaching, which take place in higher education programs in Turkey and give education in foreign language, have been examined. 23 different languages are offered to philology students who wants to attend to faculty of literature. Students can prefer classical languages besides modern languages. However, English, German, French, Arabic and Japanese are offered to the students of teaching department. To teach another foreign language, pedagogical formation is also required.This study focuses on the departments of German Language Teaching and German Language and Literature. From this point, the place and the importance of other philology and foreign language teaching departments in Turkish higher education have been examined.
MUHAMMAD SHUMAIL NAVEED
Full Text Available Programming is the core of computer science and due to this momentousness a special care is taken in designing the curriculum of programming courses. A substantial work has been conducted on the definition of programming courses, yet the introductory programming courses are still facing high attrition, low retention and lack of motivation. This paper introduced a tiny pre-programming language called LPL (Learners Programming Language as a ZPL (Zeroth Programming Language to illuminate novice students about elementary concepts of introductory programming before introducing the first imperative programming course. The overall objective and design philosophy of LPL is based on a hypothesis that the soft introduction of a simple and paradigm specific textual programming can increase the motivation level of novice students and reduce the congenital complexities and hardness of the first programming course and eventually improve the retention rate and may be fruitful in reducing the dropout/failure level. LPL also generates the equivalent high level programs from user source program and eventually very fruitful in understanding the syntax of introductory programming languages. To overcome the inherent complexities of unusual and rigid syntax of introductory programming languages, the LPL provide elementary programming concepts in the form of algorithmic and plain natural language based computational statements. The initial results obtained after the introduction of LPL are very encouraging in motivating novice students and improving the retention rate.
Beckman, Brian C.
New approach reduces repetitive development of features common to different applications. High-level programming language and interactive environment with access to graphical hardware and software created by adding graphical commands and other constructs to standardized, general-purpose programming language, "Scheme". Designed for use in developing other software incorporating interactive computer-graphics capabilities into application programs. Provides alternative to programming entire applications in C or FORTRAN, specifically ameliorating design and implementation of complex control and data structures typifying applications with interactive graphics. Enables experimental programming and rapid development of prototype software, and yields high-level programs serving as executable versions of software-design documentation.
Yokoyama, Tetsuo; Axelsen, Holger Bock; Glück, Robert
The principles of reversible programming languages are explicated and illustrated with reference to the design of a high-level imperative language, Janus. The fundamental properties for such languages include backward as well as forward determinism and reversible updates of data. The unique design...... languages, and demonstrate this for Janus. We show the practicality of the language by implementation of a reversible fast Fourier transform. Our results indicate that the reversible programming paradigm has fundamental properties that are relevant to many different areas of computer science....... features of the language include explicit post-condition assertions, direct access to an inverse semantics and the possibility of clean (i.e., garbage-free) computation of injective functions. We suggest the clean simulation of reversible Turing machines as a criterion for computing strength of reversible...
The paper gives a description of mathematical models and computer programs for analysing possible strategies for spent fuel management, with emphasis on economic analysis. The computer programs developed, describe the material flows, facility construction schedules, capital investment schedules and operating costs for the facilities used in managing the spent fuel. The computer programs use a combination of simulation and optimization procedures for the economic analyses. Many of the fuel cycle steps (such as spent fuel discharges, storage at the reactor, and transport to the RFCC) are described in physical and economic terms through simulation modeling, while others (such as reprocessing plant size and commissioning schedules, interim storage facility commissioning schedules etc.) are subjected to economic optimization procedures to determine the approximate lowest-cost plans from among the available feasible alternatives
Early years and primary teachers have a unique opportunity to apply their strong teaching practices, classroom management and understanding of childhood literacy development to teaching a language. This paper reports on a project from Independent Schools Queensland to increase language programs in schools by retraining classroom teachers.…
This phenomenological study (Creswell, 2003, 2007; van Manen, 1997) explores student and teacher perceptions of first language use in French immersion mathematics classrooms at a large, urban high school in Canada. During individual interviews, participants discussed their perceptions and experiences of French immersion mathematics, language use,…
Kristensen, Bent Bruun; Madsen, Ole Lehrmann; Møller-Pedersen, Birger
. It is then necessary that the abstraction mechanisms are powerful in order to define more specialized constructs. BETA is an object oriented language like SIMULA 67 ([SIMULA]) and SMALLTALK ([SMALLTALK]). By this is meant that a construct like the SIMULA class/subclass mechanism is fundamental in BETA. In contrast......]) --- covering both data, procedural and control abstractions, substituting constructs like class, procedure, function and type. Correspondingly objects, procedure activation records and variables are all regarded as special cases of the basic building block of program executions: the entity. A pattern thus......The BETA programming language is developed as part of the BETA project. The purpose of this project is to develop concepts, constructs and tools in the field of programming and programming languages. BETA has been developed from 1975 on and the various stages of the language are documented in [BETA...
Rebwar Mala Nabi; Sardasht M-Raouf Mahmood; Mohammed Qadir Kheder; Shadman Mahmood
Nowadays, Kurdish programmers usually suffer when they need to write Kurdish letter while they program in java. More to say, all the versions of Java Development Kits have not supported Kurdish letters. Therefore, the aim of this study is to develop Java Kurdish Language Package (JKLP) for solving writing Kurdish alphabetic in Java programming language. So that Kurdish programmer and/or students they can converts the English-alphabetic to Kurdish-alphabetic. Furthermore, adding Kurdish langua...
Gonauser, M.; Schinner, P.; Weiss, J.
Graphic data processing with a computer makes exacting demands on the interactive capability of the program language and the management of the graphic data. A description of the structure of a graphics program language which has been shown by initial practical experiments to possess a particularly favorable interactive capability is followed by the evaluation of various data structures (list, tree, ring) with respect to their interactive capability in processing graphics. A practical structure is proposed. (orig.) [de
Have you ever wondered why the language of modern physics centres on geometry? Or how quantum operators and Dirac brackets work? What a convolution really is? What tensors are all about? Or what field theory and lagrangians are, and why gravity is described as curvature? This book takes you on a tour of the main ideas forming the language of modern mathematical physics. Here you will meet novel approaches to concepts such as determinants and geometry, wave function evolution, statistics, signal processing, and three-dimensional rotations. You'll see how the accelerated frames of special relativity tell us about gravity. On the journey, you'll discover how tensor notation relates to vector calculus, how differential geometry is built on intuitive concepts, and how variational calculus leads to field theory. You will meet quantum measurement theory, along with Green functions and the art of complex integration, and finally general relativity and cosmology. The book takes a fresh approach to tensor analysis buil...
Gann, Linda; Bonner, Emily P.; Moseley, Christine
Given the increasing number of English Language Learners (ELLs) in secondary mathematics classrooms, it is imperative that mathematics teacher educators develop measures for determining how and why secondary mathematics teachers (SMTs) understand and respond instructionally to these students. This paper reports on the initial development and…
Whitney, Todd; Hirn, Regina G.; Lingo, Amy S.
In the present study, we examined the effects of a fluency-building mathematics program called Great Leaps Math on fluency of basic addition mathematics facts zero to nine and word problem solving using a multiple probe design across participants. Three elementary students with challenging behaviors and mathematics difficulty participated in the…
Moussa-Inaty, Jase; Causapin, Mark; Groombridge, Timothy
Language may ordinarily account for difficulties in solving word problems and this is particularly true if mathematical word problems are taught in a language other than one's native language. Research into cognitive load may offer a clear theoretical framework when investigating word problems because memory, specifically working memory, plays a…
Kaplan, Rochelle G.; Patino, Rodrigo A.
Although it takes only 2 years to attain conversational competence in a second language, it takes up to 7 years to realize sufficient language competence to achieve academically at the level of native speakers. Specific adaptations in instructional methods in mathematics for language minority students should include techniques from English as a…
Mehrotra, Piyush; Van Rosendale, John
A Pascal-like scientific programming language, BLAZE, is described. BLAZE contains array arithmetic, forall loops, and APL-style accumulation operators, which allow natural expression of fine grained parallelism. It also employs an applicative or functional procedure invocation mechanism, which makes it easy for compilers to extract coarse grained parallelism using machine specific program restructuring. Thus BLAZE should allow one to achieve highly parallel execution on multiprocessor architectures, while still providing the user with conceptually sequential control flow. A central goal in the design of BLAZE is portability across a broad range of parallel architectures. The multiple levels of parallelism present in BLAZE code, in principle, allow a compiler to extract the types of parallelism appropriate for the given architecture while neglecting the remainder. The features of BLAZE are described and it is shown how this language would be used in typical scientific programming.
Mehrotra, P.; Vanrosendale, J.
A Pascal-like scientific programming language, Blaze, is described. Blaze contains array arithmetic, forall loops, and APL-style accumulation operators, which allow natural expression of fine grained parallelism. It also employs an applicative or functional procedure invocation mechanism, which makes it easy for compilers to extract coarse grained parallelism using machine specific program restructuring. Thus Blaze should allow one to achieve highly parallel execution on multiprocessor architectures, while still providing the user with onceptually sequential control flow. A central goal in the design of Blaze is portability across a broad range of parallel architectures. The multiple levels of parallelism present in Blaze code, in principle, allow a compiler to extract the types of parallelism appropriate for the given architecture while neglecting the remainder. The features of Blaze are described and shows how this language would be used in typical scientific programming.
Full Text Available The article provides methodical recommendations on studying of the discipline "Informatics" for the specialists preparation of the first (Bachelor level of higher education of the field of knowledge 01 "Education" of the specialty 014.04 "Secondary education (mathematics", 014.08 "Secondary education (physics". This discipline plays a particularly important role in the higher education establishments physical and mathematical field specialists training, since it combines both the fundamental concepts and principles of various mathematical and informatics disciplines, as well as applied models and algorithms for their application. The methodological aspects of the discipline "Informatics" study include the pedagogical feasibility of the forms, methods and means of training for students who are qualified as a teacher of mathematics and a physics teacher respectively. The discipline program includes issues on informatics theoretical foundations, applied software, and the basics of programming. Students are encouraged to consider the basics of programming in the C ++ environment. Basic C ++ language designs have a convenient, professional programming toolkit. Integrated C ++ environment is characterized by speed, convenience in debugging and compiling of the program. Therefore, the article focuses on the practical skills formation in the C ++ environment for the students of the physical and mathematical profile and highlights the methodological aspects of the C ++ programming language use in the course of the discipline "Informatics" teaching. The formation of practical skills takes place during the performance of laboratory works, namely: the original problem setting, the construction of an algorithm for its solution, analysis of the received results.
Clark, Amy K.; Whetstone, Patti
The authors explored the impact of an online tutoring program, Math Whizz (Whizz Education, 2014), on student mathematics achievement at 15 elementary schools. Students participated in the use of the Math Whizz program for the duration of the school year as a supplement to mathematics instruction. The Math Whizz program recorded such information…
Office of Postsecondary Education, US Department of Education, 2012
The Undergraduate International Studies and Foreign Language Program provides funds to institutions of higher education, a consortia of such institutions, or partnerships between nonprofit organizations and institutions of higher education to plan, develop, and implement programs that strengthen and improve undergraduate instruction in…
Brown, James Dean
Discusses the evaluation of second and foreign language programs, focusing on whether such evaluations should be summative or formative; use outside experts or program staff; emphasize qualitative or quantitative data; and concentrate on the process or the product. An annotated bibliography discusses six important works in the field. (78…
The contextual demands of language in content area are difficult for ELLS. Content in the native language furthers students' academic development and native language skills, while they are learning English. Content in English integrates pedagogical strategies for English acquisition with subject area instruction. The following models of curriculum content are provided in most Miami Dade County Public Schools: (a) mathematics instruction in the native language with science instruction in English or (b) science instruction in the native language with mathematics instruction in English. The purpose of this study was to investigate which model of instruction is more contextually supportive for mathematics and science achievement. A pretest and posttest, nonequivalent group design was used with 94 fifth grade ELLs who received instruction in curriculum model (a) or (b). This allowed for statistical analysis that detected a difference in the means of .5 standard deviations with a power of .80 at the .05 level of significance. Pretreatment and post-treatment assessments of mathematics, reading, and science achievement were obtained through the administration of Aprenda-Segunda Edicion and the Florida Comprehensive Achievement Test. The results indicated that students receiving mathematics in English and Science in Spanish scored higher on achievement tests in both Mathematics and Science than the students who received Mathematics in Spanish and Science in English. In addition, the mean score of students on the FCAT mathematics examination was higher than their mean score on the FCAT science examination regardless of the language of instruction.
Kurtev, Svetomir; Christensen, Tommy Aagaard; Thomsen, Bent
This paper presents work in progress on developing a Discount Method for Programming Language Evaluation inspired by the Discount Usability Evaluation method (Benyon 2010) and the Instant Data Analysis method (Kjeldskov et al. 2004). The method is intended to bridge the gap between small scale...... internal language design evaluation methods and large scale surveys and quantitative evaluation methods. The method is designed to be applicable even before a compiler or IDE is developed for a new language. To test the method, a usability evaluation experiment was carried out on the Quorum programming...... language (Stefik et al. 2016) using programmers with experience in C and C#. When comparing our results with previous studies of Quorum, most of the data was comparable though not strictly in agreement. However, the discrepancies were mainly related to the programmers pre-existing expectations...
Gardi, Frédéric; Darlay, Julien; Estellon, Bertrand; Megel, Romain
This book covers local search for combinatorial optimization and its extension to mixed-variable optimization. Although not yet understood from the theoretical point of view, local search is the paradigm of choice for tackling large-scale real-life optimization problems. Today's end-users demand interactivity with decision support systems. For optimization software, this means obtaining good-quality solutions quickly. Fast iterative improvement methods, like local search, are suited to satisfying such needs. Here the authors show local search in a new light, in particular presenting a new kind of mathematical programming solver, namely LocalSolver, based on neighborhood search. First, an iconoclast methodology is presented to design and engineer local search algorithms. The authors' concern about industrializing local search approaches is of particular interest for practitioners. This methodology is applied to solve two industrial problems with high economic stakes. Software based on local search induces ex...
primitives for instance synchronous operations Nondeterminism and Privacy Now suppose we introduce nondeterminism via a simple concurrent language...code setting is that the only observable events are those that can be observed from within a mobile program using language primitives and any host...Possibilistic NI is given in It uses a main thread and two triggered threads each with a busy wait loop implementing a semaphore to copy every bit of
Purpura, David J; Ganley, Colleen M
Children's early mathematics skills develop in a cumulative fashion; foundational skills form a basis for the acquisition of later skills. However, non-mathematical factors such as working memory and language skills have also been linked to mathematical development at a broad level. Unfortunately, little research has been conducted to evaluate the specific relations of these two non-mathematical factors to individual aspects of early mathematics. Thus, the focus of this study was to determine whether working memory and language were related to only individual aspects of early mathematics or related to many components of early mathematics skills. A total of 199 4- to 6-year-old preschool and kindergarten children were assessed on a battery of early mathematics tasks as well as measures of working memory and language. Results indicated that working memory has a specific relation to only a few-but critically important-early mathematics skills and language has a broad relation to nearly all early mathematics skills. Copyright © 2014 Elsevier Inc. All rights reserved.
Mathematics and Computer Science : Proceedings of Annual Workshop on Mathematics and Computer Science, held at Josai University on March 25 in 2014 / edited by Masatoshi IIDA, Manabu INUMA, Kiyoko NISHIZAWA
Dahm, Rebecca; De Angelis, Gessica
The present study examines the multilingual benefit in relation to language learning and mathematical learning. The objective is to assess whether speakers of three or more languages, depending on language profile and personal histories, show significant advantages in language learning and/or mathematical learning, and whether mother tongue…
Joutsenlahti, Jorma; Kulju, Pirjo
The purpose of this study is to present a multimodal languaging model for mathematics education. The model consists of mathematical symbolic language, a pictorial language, and a natural language. By applying this model, the objective was to study how 4th grade pupils (N = 21) understand the concept of division. The data was collected over six…
The programming system for Intercosmos data processing, based on the structural programming theory, which considers a program as an ordered set of standardized elementary parts, from which the user programs are automatically generated, is described. The programs are comprised of several modules, which are briefly summarized. The general structure of the programming system is presented in a block diagram. A programming control language developed to formulate the problem quickly and completely is presented along with basic symbols which are characteristic of the Intercosmos programming system.
Hoheisel, T.; Kanzow, Ch.; Outrata, Jiří
Roč. 72, č. 5 (2010), s. 2514-2526 ISSN 0362-546X R&D Projects: GA AV ČR IAA100750802 Institutional research plan: CEZ:AV0Z10750506 Keywords : Mathematical programs with vanishing constraints * Mathematical programs with equilibrium constraints * Exact penalization * Calmness * Subdifferential calculus * Limiting normal cone Subject RIV: BA - General Mathematics Impact factor: 1.279, year: 2010 http://library.utia.cas.cz/separaty/2010/MTR/outrata-exact penalty results for mathematical programs with vanishing constraints.pdf
Rice, J. R.
ELLPACK is a problem statement language and system for elliptic partial differential equations which is implemented by a FORTRAN preprocessor. ELLPACK's principal purpose is as a tool for the performance evaluation of software. However, it is used here as an example with which to study the programming effort required for problem solving. It is obvious that problem statement languages can reduce programming effort tremendously; the goal is to quantify this somewhat. This is done by analyzing the lengths and effort (as measured by Halstead's software science technique) of various approaches to solving these problems.
Approved for public release; distribution is unlimited This thesis addresses object oriented programming languages; and a restrictive definition of object oriented programming languages is presented and defended. Differences between programming languages are discussed and related to interactive integrated programming environments. Topics related to user friendly interface to the computer system and modem programming practice are discussed. The thesis especially addresses features in ...
BERNADETTE MARY LONG
This study reports on an intervention, Prepare 2 Learn, designed taking into account research literature and components of other successful mathematics programs. The research targeted students approximately 6 months behind the expected mathematics level for their year. The intervention consisted of four key components: building prerequisite knowledge of mathematical language, concepts, and skills to prepare students for their classroom mathematics; increasing fluency with mental computation; ...
Sørensen, John Aasted
The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Spring 2010 Ectent: 5 ects Class size: 18......The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Spring 2010 Ectent: 5 ects Class size: 18...
Sørensen, John Aasted
The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Autumn 2010 Ectent: 5 ects Class size: 15......The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Autumn 2010 Ectent: 5 ects Class size: 15...
On their own part, those whose course of study is mathematics are curious ... of Applied Linguistics propounded by Leonard Bloomfield in 1941 guides the study. ... a mathematics classroom so as to continue learning advanced concepts.
Staples, Megan E.; Truxaw, Mary P.
This article presents an examination of the language demands of cognitively demanding tasks and proposes an initial framework for the language demands of higher-order mathematics thinking practices. We articulate four categories for this framework: language of generalisation, language of comparison, language of proportional reasoning, and language of analysing impact. These categories were developed out of our collaborative work to design and implement higher-order thinking tasks with a group of Grade 9 (14- and 15-year-olds) teachers teaching in a linguistically diverse setting; analyses of student work samples on these tasks; and our knowledge of the literature. We describe each type of language demand and then analyse student work in each category to reveal linguistic challenges facing students as they engage these mathematical tasks. Implications for teaching and professional development are discussed.
Ekkens, Kristin; Winke, Paula
Companies across the United States provide workplace English classes to non-native-English-speaking employees to increase productivity, retention, and on-the-job safety. Institutions that financially support the programs often require evidence of learning through standardized tests as a prerequisite for continued funding. However, the tests…
This note describes and motivates our current plans for an undergraduate course on programming language concepts for software development students. We describe the competences we expect students to acquire as well as the topics covered by the course. We plan to use C# and Scheme as instruction...
Stattel, R. J.; Niswander, J. K.; Kochhar, A. K.
The RSZ BASIC interactive language is described. The RSZ BASIC interpreter is resident in the Telemetry Data Processor, a system dedicated to the processing and displaying of PCM telemetry data. A series of working examples teaches the fundamentals of RSZ BASIC and shows how to construct, edit, and manage storage of programs.
Stefik, Andreas; Siebert, Susanna
Recent studies in the literature have shown that syntax remains a significant barrier to novice computer science students in the field. While this syntax barrier is known to exist, whether and how it varies across programming languages has not been carefully investigated. For this article, we conducted four empirical studies on programming…
Bal, H.E.; Steiner, J.G.; Tanenbaum, A.S.
When distributed systems first appeared, they were programmed in traditional sequential languages, usually with the addition of a few library procedures for sending and receiving messages. As distributed applications became more commonplace and more sophisticated, this ad hoc approach became less
Aybars UĞUR; Mustafa TÜRKSEVER
In this paper realism in computer graphics and components providing realism are discussed at first. It is mentioned about illumination models, surface rendering methods and light sources for this aim. After that, ray tracing which is a technique for creating two dimensional image of a three-dimensional virtual environment is explained briefly. A simple ray tracing algorithm was given. "SahneIzle" which is a ray tracing program implemented in Java programming language which ...
Thomson, Norman D
The idea for this book grew out of proposals at the APL86 con ference in Manchester which led to the initiation of the I-APL (International APL) project, and through it to the availability of an interpreter which would bring the advantages of APL within the means of vast numbers of school children and their teachers. The motivation is that once school teachers have glimpsed the possibilities, there will be a place for an "ideas" book of short programs which will enable useful algorithms to be brought rapidly into classroom use, and perhaps even to be written and developed in front of the class. A scan of the contents will show how the conciseness of APL makes it possible to address a huge range of topics in a small number of pages. There is naturally a degree of idiosyncrasy in the choice of topics - the selection I have made reflects algo rithms which have either proved useful in real work, or which have caught my imagination as candidates for demonstrating the value of APL as a mathematical notation. Wh...
Franklin, Martha A.
There is a disparity of mathematics achievement between native English speakers and English language learners (ELL). This study sought to understand the barriers ELL kindergarten students faced in being successful in mathematics. The purpose of this qualitative, instrumental case study was to explore kindergarten teachers' perceptions…
Reimann, Giselle; Gut, Janine; Frischknecht, Marie-Claire; Grob, Alexander
The present study investigated cognitive abilities in children with difficulties in mathematics only (n = 48, M = 8 years and 5 months), combined mathematical and language difficulty (n = 27, M = 8 years and 1 month) and controls (n = 783, M = 7 years and 11 months). Cognitive abilities were measured with seven subtests, tapping visual perception,…
Farragher, Linda; Dobson, Simon
non-peer-reviewed Most modern programming languages are complex and feature rich. Whilst this is (sometimes) an advantage for industrial-strength applications, it complicates both language teaching and language research. We describe our experiences in the design of a reduced sub-set of the Java language and its implementation using the Vanilla language development framework. We argue that Vanilla???s component-based approach allows the language???s feature set to be varied quickly and simp...
Full Text Available In David Schmidt's PhD work he explored the use of denotational semantics as a programming language. It was part of an effort to not only treat formal semantics as specifications but also as interpreters and input to compiler generators. The semantics itself can be seen as a program and one may examine different programming styles and ways to represent states. Abstract interpretation is primarily a technique for derivation and specification of program analysis. As with denotational semantics we may also view abstract interpretations as programs and examine the implementation. The main focus in this paper is to show that results from higher-order strictness analysis may be used more generally as fixpoint operators for higher-order functions over lattices and thus provide a technique for immediate implementation of a large class of abstract interpretations. Furthermore, it may be seen as a programming paradigm and be used to write programs in a circular style.
Kitson, B.; Ow-Wing, K.
With the emergence of a set of high-level CAD tools for programmable logic devices, designers can translate logic into functional custom devices simply and efficiently. The core of the package is a blockstructured hardware description language called PLPL, for ''programmable-logic programming language.'' The cheif advantage of PLPL lies in its multiple input formats, which permit different design approaches for a variety of design problems. The higher the level of the approach, the closer PLPL will come to directly specifying the desired function. Intermediate steps in the design process can be eliminated, along with the errors that might have been generated during those steps.
Solano-Flores, Guillermo; Barnett-Clarke, Carne; Kachchaf, Rachel R.
We examined the performance of English language learners (ELLs) and non-ELLs on Grade 4 and Grade 5 mathematics content knowledge (CK) and academic language (AL) tests. CK and AL items had different semiotic loads (numbers of different types of semiotic features) and different semiotic structures (relative frequencies of different semiotic…
The evolution of object-oriented programming languages includes update of their own versions, update of development environments, and reform of new languages upon old languages. In this paper, the evolution analysis of object-oriented programming languages is presented in term of the characters and development. The notion of adaptive teaching upon…
Phillips, Andrew; Cardelli, Luca
Recently, a range of information-processing circuits have been implemented in DNA by using strand displacement as their main computational mechanism. Examples include digital logic circuits and catalytic signal amplification circuits that function as efficient molecular detectors. As new paradigms for DNA computation emerge, the development of corresponding languages and tools for these paradigms will help to facilitate the design of DNA circuits and their automatic compilation to nucleotide sequences. We present a programming language for designing and simulating DNA circuits in which strand displacement is the main computational mechanism. The language includes basic elements of sequence domains, toeholds and branch migration, and assumes that strands do not possess any secondary structure. The language is used to model and simulate a variety of circuits, including an entropy-driven catalytic gate, a simple gate motif for synthesizing large-scale circuits and a scheme for implementing an arbitrary system of chemical reactions. The language is a first step towards the design of modelling and simulation tools for DNA strand displacement, which complements the emergence of novel implementation strategies for DNA computing.
Elementary school mathematics has gained increased attention in the last few decades. A growing field of research has studied the programmatic design and development of elementary mathematics teaching in teacher education, however, few studies have examined longitudinally the mathematics teaching of novice elementary teachers. Existing longitudinal studies on elementary mathematics teaching have generally focused on the effects of teacher preparation on their beginning practices and have exam...
Myers, Roy E.; Schneider, David I.
Details the features of BASIC used in mathematics programming and provides the information needed to translate between the Apple II and IBM PC computers. Discusses inputing a user-defined function, setting scroll windows, displaying subscripts and exponents, variable names, mathematical characters and special symbols. (TW)
Kelly, Ronald R; Gaustad, Martha G
This study of deaf college students examined specific relationships between their mathematics performance and their assessed skills in reading, language, and English morphology. Simple regression analyses showed that deaf college students' language proficiency scores, reading grade level, and morphological knowledge regarding word segmentation and meaning were all significantly correlated with both the ACT Mathematics Subtest and National Technical Institute for the Deaf (NTID) Mathematics Placement Test scores. Multiple regression analyses identified the best combination from among these potential independent predictors of students' performance on both the ACT and NTID mathematics tests. Additionally, the participating deaf students' grades in their college mathematics courses were significantly and positively associated with their reading grade level and their knowledge of morphological components of words.
In Nigeria, several programming Languages exist from general purpose to special purpose programming languages that are used in one application domain. People always find difficulties about which programming language should be learnt and adopt to develop particular software. In this paper, three (3) most commonly ...
Aho, Alfred V
Although software is the key enabler of the global information infrastructure, the amount and extent of software in use in the world today are not widely understood, nor are the programming languages and paradigms that have been used to create the software. The vast size of the embedded base of existing software and the increasing costs of software maintenance, poor security, and limited functionality are posing significant challenges for the software R&D community.
Characterizing the quality of teacher education programs and courses Supported by the Ministry of Science and Technology Working for three years Three universities working on secondary mathematics pre- service teacher education Almeria, Cantabria and Granada With a common model
Swetz, Frank J.
The conception, objectives, contents, and limitations of a degree program in the mathematical sciences at Pennsylvania State University, Capitol Campus, are discussed. Career goals that may be pursued include: managerial, science, education, actuarial, and computer. (MP)
Full Text Available In this paper realism in computer graphics and components providing realism are discussed at first. It is mentioned about illumination models, surface rendering methods and light sources for this aim. After that, ray tracing which is a technique for creating two dimensional image of a three-dimensional virtual environment is explained briefly. A simple ray tracing algorithm was given. "SahneIzle" which is a ray tracing program implemented in Java programming language which can be used on the internet is introduced. As a result, importance of network-centric ray tracing software is discussed.
Maaike Hajer; Eva Norén
Explicit language objectives are included in the Swedish national curriculum for mathematics. The curriculum states that students should be given opportunities to develop the ability to formulate problems, use and analyse mathematical concepts and relationships between concepts, show and follow
I draw attention to the distinction between reductionist views of "language" and the rich and complex ways in which we might approach language as social practice and suggest the latter view is evident in the set of papers collected here. Socially oriented linguists, including those in New Literacy Studies (NLS), look beyond reductionism, to…
Ben Arfa Rabai, Latifa; Cohen, Barry; Mili, Ali
In the same way that natural languages influence and shape the way we think, programming languages have a profound impact on the way a programmer analyzes a problem and formulates its solution in the form of a program. To the extent that a first programming course is likely to determine the student's approach to program design, program analysis,…
Brown, Tony, Ph. D
... 79 81 84 86 Vvi CONTENTS PART TWO. THE CLASSROOM ENVIRONMENT 99 CHAPTER 4. SOME LESSONS 103 CHAPTER5. THE PHENOMENOLOGY OF THE MATHEMATICS CLASSROOM 132 Personal Space Appresentational Associati...
Künzi, Hans P; Zehnder, C A; Rheinboldt, Werner
Numerical Methods of Mathematical Optimization: With ALGOL and FORTRAN Programs reviews the theory and the practical application of the numerical methods of mathematical optimization. An ALGOL and a FORTRAN program was developed for each one of the algorithms described in the theoretical section. This should result in easy access to the application of the different optimization methods.Comprised of four chapters, this volume begins with a discussion on the theory of linear and nonlinear optimization, with the main stress on an easily understood, mathematically precise presentation. In addition
Brown, Neil C.C.
This paper details the design of a new concurrent process-oriented programming language, Rain. The language borrows heavily from occam-p and C++ to create a new language based on process-oriented programming, marrying channel-based communication, a clear division between statement and expression, and elements of functional programming. An expressive yet simple type system, coupled with templates, underpins the language. Modern features such as Unicode support and 64-bit integers are included ...
The third workshop on Networking and Programming Lan-guages, NetPL 2017, was held in conjunction with SIG-COMM 2017. The workshop series attracts invited speakers from academia and industry and a selection of contributed abstracts for short presentations. NetPL brings together re-searchers from the networking community and researchers from the programming languages and verification communities. The workshop series is a timely forum for exciting trends, technological and scientific advances in the intersection of these communities. We describe some of the high-lights from the invited talks through the lens of three trends: Advances in network machine architectures, network programming abstractions, and network verification. NetPL included five invited speakers, four from academia, and one from industry. The program contained six contributed talks out of eight submitted for presentation. The workshop organizers reviewed the abstracts for quality and scope. A total of 42 registrations were received and the attendance occupied the lecture room to the brink. Slides and abstracts from all talks are available from the workshop home page.1 Videos of the presentations are available in the NetPL YouTube channel.2.
Bjorner, Nikolaj; Canini, Marco; Sultana, Nik
The third workshop on Networking and Programming Lan-guages, NetPL 2017, was held in conjunction with SIG-COMM 2017. The workshop series attracts invited speakers from academia and industry and a selection of contributed abstracts for short presentations. NetPL brings together re-searchers from the networking community and researchers from the programming languages and verification communities. The workshop series is a timely forum for exciting trends, technological and scientific advances in the intersection of these communities. We describe some of the high-lights from the invited talks through the lens of three trends: Advances in network machine architectures, network programming abstractions, and network verification. NetPL included five invited speakers, four from academia, and one from industry. The program contained six contributed talks out of eight submitted for presentation. The workshop organizers reviewed the abstracts for quality and scope. A total of 42 registrations were received and the attendance occupied the lecture room to the brink. Slides and abstracts from all talks are available from the workshop home page.1 Videos of the presentations are available in the NetPL YouTube channel.2.
HAL accomplishes three significant objectives: (1) increased readability, through the use of a natural two-dimensional mathematical format; (2) increased reliability, by providing for selective recognition of common data and subroutines, and by incorporating specific data-protect features; (3) real-time control facility, by including a comprehensive set of real-time control commands and signal conditions. Although HAL is designed primarily for programming on-board computers, it is general enough to meet nearly all the needs in the production, verification and support of aerospace, and other real-time applications.
Full Text Available Fifty years ago one of the greatest breakthroughs in computer programming and in the history of computers happened -- the appearance of FORTRAN, the first higher-order programming language. From that time until now hundreds of programming languages were invented, different programming paradigms were defined, all with the main goal to make computer programming easier and closer to as many people as possible. Many battles were fought among scientists as well as among developers around concepts of programming, programming languages and paradigms. It can be said that programming paradigms and programming languages were very often a trigger for many changes and improvements in computer science as well as in computer industry. Definitely, computer programming is one of the cornerstones of computer science.Today there are many tools that give a help in the process of programming, but there is still a programming tasks that can be solved only manually. Therefore, programming is still one of the most creative parts of interaction with computers.Programmers should chose programming language in accordance to task they have to solve, but very often, they chose it in accordance to their personal preferences, their beliefs and many other subjective reasons.Nevertheless, the market of programming languages can be merciless to languages as history was merciless to some people, even whole nations. Programming languages and developers get born, live and die leaving more or less tracks and successors, and not always the best survives. The history of programming languages is closely connected to the history of computers and computer science itself. Every single thing from one of them has its reflexions onto the other. This paper gives a short overview of last fifty years of computer programming and computer programming languages, but also gives many ideas that influenced other aspects of computer science. Particularly, programming paradigms are described, their
A three-year experimental program established in 1966 in Spanish language instruction at the secondary level is reported in this study. Students at Commack High School North, New York, participated in a total immersion language program in Spanish, taking two to four classes of instruction in the target language per day. Classes included regular…
Fitzsimmons-Doolan, Shannon; Palmer, Deborah; Henderson, Kathryn
Dual language bilingual education (DLBE) programs are framed to reflect pluralist discourses (de Jong, E. . "Policy Discourses and U.S. Language in Education Policies." "Peabody Journal of Education" 88 (1): 98-111) and affiliated language ideologies. The continued expansion of DLBE programs not surprisingly brings to…
Crawford, J.; Hayward, M.; Harris, F.; Domel, R.
At the Australian Nuclear Science and Technology Organisation (ANSTO) a model is being developed to determine critical parameters affecting radioactive doses to humans following a release of radionuclides into the atmosphere. Java programming language was chosen because of the Graphical User Interface (GUI) capabilities and its portability across computer platforms, which were a requirement for the application, called RadCon. The mathematical models are applied over the 2D region, performing time varying calculations of dose to humans for each grid point, according to user selected options. The information combined includes: two dimensional time varying air and ground concentrations, transfer factors from soil to plant, plant to animal, plant to humans, plant interception factors to determine amount of radionuclide on plant surfaces, dosimetric data, such as dose conversion factors and user defined parameters, e.g. soil types, lifestyle, diet of animals and humans. Details of the software requirements, pathway parameters and implementation of RadCon are given
Full Text Available Information encryption represents the usage of an algorithm to convert an unknown message into an encrypted one. It is used to protect the data against unauthorized access. Protected data can be stored on a media device or can be transmitted through the network. In this paper we describe a concrete implementation of the AES algorithm in the Java programming language (available from Java Development Kit 6 libraries and C (using the OpenSSL library. AES (Advanced Encryption Standard is an asymmetric key encryption algorithm formally adopted by the U.S. government and was elected after a long process of standardization.
Rieger, C.; Samet, H.; Rosenberg, J.
Eight Artificial Intelligence programming languages (SAIL, LISP, MICROPLANNER, CONNIVER, MLISP, POP-2, AL, and QLISP) are presented and surveyed, with examples of their use in an automated shop environment. Control structures are compared, and distinctive features of each language are highlighted. A simple programming task is used to illustrate programs in SAIL, LISP, MICROPLANNER, and CONNIVER. The report assumes reader knowledge of programming concepts, but not necessarily of the languages surveyed.
Exposure to audiovisual programs as sources of authentic language input and second ... Southern African Linguistics and Applied Language Studies ... The findings of the present research contribute more insights on the type and amount of ...
LISP is fundamentally a functional language inspired by the lambda ... of most programming languages in one form or another. ..... Java and C++ in significant ways. ... . Eugene Charniak, Christopher K Riesbeck, Drew V McDermott, and.
Prolog is one of the most successful "very high level languages." Describes this programming language (a product of artificial intelligence research) and attempts to show how it functions by using some short examples to illustrate its essential features. (JN)
Denis N. Butorin
Full Text Available In the article are been describing technology for manage of testing task in computer program. It was found for recognition of algorithm solution of mathematic task. There are been justifi ed the using hierarchical structure for a special set of testing questions. Also, there has been presented the release of the described tasks in the computer program openSEE.
Denis N. Butorin
In the article are been describing technology for manage of testing task in computer program. It was found for recognition of algorithm solution of mathematic task. There are been justifi ed the using hierarchical structure for a special set of testing questions. Also, there has been presented the release of the described tasks in the computer program openSEE.
Whetstone, Patti; Clark, Amy; Flake, Mari Wheeler
This study explores elementary teacher perceptions related to the implementation of an online tutoring program. Teachers were surveyed regarding factors that affected use of the online tutoring program as a supplement to mathematics instruction. Results indicated that teachers overwhelmingly reported positive views of the training and support…
Many situations ranging from industrial to social via economic and environmental problems may be cast into a Semi-infinite mathematical program. In this paper, the cutting-plane approach which lends itself better for standard non-linear programs is exploited with good reasons for grappling with linear, convex and ...
Triantafyllou, Evangelia; Timcenko, Olga; Misfeldt, Morten
This paper emerges from our research focusing on mathematics education in trans-disciplinary engineering programs and presents a case study in such an engineering discipline, namely the Media Technology program at Aalborg University Copenhagen, Denmark. In this case study, we substituted traditio...
Mathematics and the Laws of Nature, Revised Edition describes the evolution of the idea that nature can be described in the language of mathematics. Colorful chapters explore the earliest attempts to apply deductive methods to the study of the natural world. This revised resource goes on to examine the development of classical conservation laws, including the conservation of momentum, the conservation of mass, and the conservation of energy. Chapters have been updated and revised to reflect recent information, including the mathematical pioneers who introduced new ideas about what it meant to
The present framework is developed under contract with the Smarter Balanced Assessment Consortium (SBAC) as a conceptual and methodological tool for guiding the reasonings and actions of contractors in charge of developing and providing test translation accommodations for English language learners. The framework addresses important challenges in…
Abler, William L
In an earlier paper (Abler, 2006), I proposed a theory of language, especially sentences, based on the symmetrical structure of the equation. Here, I use the structure of equations to deduce neural structures (e.g., mirror neurons or intra-cellular macromolecules, or crystals, or resonations) that might generate them. Ultimately, the properties described are a consequence of dimensional properties of matter
Ackley, David H; Ackley, Elena S
Traditional digital computing demands perfectly reliable memory and processing, so programs can build structures once then use them forever-but such deterministic execution is becoming ever more costly in large-scale systems. By contrast, living systems, viewed as computations, naturally tolerate fallible hardware by repairing and rebuilding structures even while in use-and suggest ways to compute using massive amounts of unreliable, merely best-effort hardware. However, we currently know little about programming without deterministic execution, in architectures where traditional models of computation-and deterministic ALife models such as the Game of Life-need not apply. This expanded article presents ulam, a language designed to balance concurrency and programmability upon best-effort hardware, using lifelike strategies to achieve robust and scalable computations. The article reviews challenges for traditional architecture, introduces the active-media computational model for which ulam is designed, and then presents the language itself, touching on its nomenclature and surface appearance as well as some broader aspects of robust software engineering. Several ulam examples are presented; then the article concludes with a brief consideration of the couplings between a computational model and its physical implementation.
Naude, H.; Pretorius, E.; Vandeyar, S.
Details a study of the ways that limited language proficiency affected learners' readiness for mathematics instruction among disadvantaged preschoolers within a Griqua community in South Africa. Notes a link between limited language proficiency and nonreadiness for foundation level mathematics due to limited thinking skills, which constitute…
Haag, Nicole; Heppt, Birgit; Roppelt, Alexander; Stanat, Petra
In large-scale assessment studies, language minority students typically obtain lower test scores in mathematics than native speakers. Although this performance difference was related to the linguistic complexity of test items in some studies, other studies did not find linguistically demanding math items to be disproportionally more difficult for…
Sternberg, Robert J.; Jarvin, Linda; Birney, Damian P.; Naples, Adam; Stemler, Steven E.; Newman, Tina; Otterbach, Renate; Parish, Carolyn; Randi, Judy; Grigorenko, Elena L.
This study addressed whether prior successes with educational interventions grounded in the theory of successful intelligence could be replicated on a larger scale as the primary basis for instruction in language arts, mathematics, and science. A total of 7,702 4th-grade students in the United States, drawn from 223 elementary school classrooms in…
Cristian González García
In this article, we compare the new programming language of Apple, Swift, with the main programming language of Apple before Swift, Objective-C. We are going to show the differences, characteristics and novelties to verify the words of Apple about Swift. With that we want to answer the next question: Is Swift a new programming language easier, more secure and quicker to develop than Objective-C?
Van Kats, J.M.; Rusman, C.J.; Van der Vorst, H.A.
Description of program or function - ACCULIB is a collection of programs and subprograms for: - approximation and interpolation problems; - the evaluation of series of orthogonal polynomials; - evaluation of the complementary error function; - sorting problems and permutations; - differential equation problems; - linear algebra eigenvalue problems; - optimization problems; - fast Fourier transformations and Fourier series; - numerical quadrature of continuous functions; - linear systems and other linear algebra problems; - bit manipulation and character handling/transmission; - systems of nonlinear equations, in particular the determination of zeros of polynomials; - solution of over-complete systems; - plotting routines for contouring and surface representation; - statistical investigation of data. In addition, many utilities such as code conversion, microfiche production, disk file surveys, layout improvements for ALGOL60 and FORTRAN programs, and the conversion of IBM FORTRAN programs to CDC FORTRAN are included in the collection
Dissemination and Assessment Center for Bilingual Education, Austin, TX.
This is one of a series of student booklets designed for use in a bilingual mathematics program in grades 6-8. The general format is to present each page in both Spanish and English. The mathematical topics in this booklet include liquid, dry, linear, weight, and time measures. (MK)
Bapat, R B; Das, A K; Parthasarathy, T
This edited book presents recent developments and state-of-the-art review in various areas of mathematical programming and game theory. It is a peer-reviewed research monograph under the ISI Platinum Jubilee Series on Statistical Science and Interdisciplinary Research. This volume provides a panoramic view of theory and the applications of the methods of mathematical programming to problems in statistics, finance, games and electrical networks. It also provides an important as well as timely overview of research trends and focuses on the exciting areas like support vector machines, bilevel pro
Some apsects of the use of the programming languages and operating systems in the data base systems are presented. There are four chapters in this paper. In the first chapter we present some generalities about the programming languages. In the second one we describe the use of the programming languages in the data base systems. A classification of the programming languages used in data base systems is presented in the third one. An overview of the operating systems is made in the last chapter. (author)
Pupils start with Scratch programming already in the second triennium of primary school. Scratch is a visual programming language where users learn basic programming by stacking blocks of commands. The problems then arise when switching to text-based programming as this represents a great and demanding step for pupils. It is for this very reason very important which programming language and environment we select as we try to make this step as easy as possible for pupils. Pyt...
An annotated bibliography contains about 70 citations of instructional materials and materials concerning curriculum development for elementary school foreign language programs. Citations are included for Arabic, classical languages, French, German, Hebrew, Italian, Japanese, and Spanish. Items on exploratory language courses and general works on…
Torgersen, Mads; Hansen, Christian Plesner; Ernst, Erik
, by using '?' to denote unspecified type arguments. Thus they essentially unify the distinct families of classes often introduced by parametric polymorphism. Wildcards are implemented as part of the upcoming addition of generics to the Java™ programming language, and will thus be deployed world-wide as part...... of the reference implementation of the Java compiler javac available from Sun Microsystems, Inc. By providing a richer type system, wildcards allow for an improved type inference scheme for polymorphic method calls. Moreover, by means of a novel notion of wildcard capture, polymorphic methods can be used to give...... symbolic names to unspecified types, in a manner similar to the "open" construct known from existential types. Wildcards show up in numerous places in the Java Platform APIs of the upcoming release, and some of the examples in this paper are taken from these APIs....
Torgersen, Mads; Hansen, Christian Plesner; Ernst, Erik
, by using â€˜?â€™ to denote unspecified type arguments. Thus they essentially unify the distinct families of classes that parametric polymorphism introduces. Wildcards are implemented as part of the addition of generics to the JavaTM programming language, and is thus deployed world-wide as part...... of the reference implementation of the Java compiler javac available from Sun Microsystems, Inc. By providing a richer type system, wildcards allow for an improved type inference scheme for polymorphic method calls. Moreover, by means of a novel notion of wildcard capture, polymorphic methods can be used to give...... symbolic names to unspecified types, in a manner similar to the â€œopenâ€� construct known from existential types. Wildcards show up in numerous places in the Java Platform APIs of the newest release, and some of the examples in this paper are taken from these APIs....
Akarsu, Esra; Yilmaz, Süha
In this study, it was aimed to study the mathematical language skills that the 7th grade students use in defining the circle and its elements. In the study, the mathematical language skills of students that they use in defining the circle and its elements in a scenario were compared to the mathematical language skills they use in defining them…
Veldkamp, Bernard P.; van der Linden, Willem J.; Ariel, A.
This paper presents an approach to item pool design that has the potential to improve on the quality of current item pools in educational and psychological testing andhence to increase both measurement precision and validity. The approach consists of the application of mathematical programming
Muir, Sharon Pray; Cheek, Helen Neely
Presented and discussed is a model which can be used by educators who want to develop an interdisciplinary map skills program in geography and mathematics. The model assumes that most children in elementary schools perform cognitively at Piaget's concrete operational stage, that readiness for map skills can be assessed with Piagetian or…
Axelsen, Holger Bock
We describe the translation techniques used for the code generation in a compiler from the high-level reversible imperative programming language Janus to the low-level reversible assembly language PISA. Our translation is both semantics preserving (correct), in that target programs compute exactly...... the same functions as their source programs (cleanly, with no extraneous garbage output), and efficient, in that target programs conserve the complexities of source programs. In particular, target programs only require a constant amount of temporary garbage space. The given translation methods are generic......, and should be applicable to any (imperative) reversible source language described with reversible flowcharts and reversible updates. To our knowledge, this is the first compiler between reversible languages where the source and target languages were independently developed; the first exhibiting both...
Mitrović, Dejan; Ivanović, Mirjana; Vidaković, Milan
Agent-oriented programming languages represent a family of programming languages that provide developers with high-level abstractions and constructs necessary for implementing and using agent-related concepts. In this paper a novel agent-oriented programming language for rapid and efficient development of reactive agents, named ALAS, is presented. The simple, but powerful set of language constructs is designed to support the execution of agents in heterogenous environments, and to enable easy employment of advanced agent features, such as mobility and web service integration.
Programming multiprocessor architectures is a critical research issue. An overview is given of the various approaches to programming these architectures that are currently being explored. It is argued that two of these approaches, interactive programming environments and functional parallel languages, are particularly attractive since they remove much of the burden of exploiting parallel architectures from the user. Also described is recent work by the author in the design of parallel languages. Research on languages for both shared and nonshared memory multiprocessors is described, as well as the relations of this work to other current language research projects.
Sørensen, John Aasted
The objectives of Discrete Mathematics (IDISM2) are: The introduction of the mathematics needed for analysis, design and verification of discrete systems, including the application within programming languages for computer systems. Having passed the IDISM2 course, the student will be able...... to accomplish the following: -Understand and apply formal representations in discrete mathematics. -Understand and apply formal representations in problems within discrete mathematics. -Understand methods for solving problems in discrete mathematics. -Apply methods for solving problems in discrete mathematics......; construct a finite state machine for a given application. Apply these concepts to new problems. The teaching in Discrete Mathematics is a combination of sessions with lectures and students solving problems, either manually or by using Matlab. Furthermore a selection of projects must be solved and handed...
Arpasi, D. J.
A real-time multiprocessor programming language (RTMPL) has been developed to provide for high-order programming of real-time simulations on systems of distributed computers. RTMPL is a structured, engineering-oriented language. The RTMPL utility supports a variety of multiprocessor configurations and types by generating assembly language programs according to user-specified targeting information. Many programming functions are assumed by the utility (e.g., data transfer and scaling) to reduce the programming chore. This manual describes RTMPL from a user's viewpoint. Source generation, applications, utility operation, and utility output are detailed. An example simulation is generated to illustrate many RTMPL features.
This paper gives an overview of the various approaches to programming multiprocessor architectures that are currently being explored. It is argued that two of these approaches, interactive programming environments and functional parallel languages, are particularly attractive, since they remove much of the burden of exploiting parallel architectures from the user. This paper also describes recent work in the design of parallel languages. Research on languages for both shared and nonshared memory multiprocessors is described.
Computer studies courses should incorporate as many computer concepts and programming language experiences as possible. A gradual increase in problem difficulty will help the student to understand various computer concepts, and the programming language's syntax and structure. A sidebar provides two examples of how to establish a learning…
The problems of syntax conversion are discussed and the reasons given for the choice of the Interpretive method. A full description is given of the SYNCON language and computer program together with brief details of some programs written in the language. (author)
Stresses the importance of language laboratories and other technical devices used in foreign language teaching, particularly in programed language instruction. Illustrates, by means of taxonomies, the various stages a foreign language learning program should follow. (Text is in Spanish.) (DS)
Outrata, Jiří; Červinka, Michal
Roč. 38, 4B (2009), s. 1557-1574 ISSN 0324-8569 R&D Projects: GA ČR GA201/09/1957 Institutional research plan: CEZ:AV0Z10750506 Keywords : mathematical problem with equilibrium constraint * state constraints * implicit programming * calmness * exact penalization Subject RIV: BA - General Mathematics Impact factor: 0.378, year: 2009 http://library.utia.cas.cz/separaty/2010/MTR/outrata-on the implicit programming approach in a class of mathematical programs with equilibrium constraints.pdf
Glagolev, V.V.; Govorun, N.N.; Dirner, A.; Ivanov, V.G.; Kretov, A.P.; Mirolyubov, V.P.; Pervushov, V.V.; Shelontsev, I.I.
ZEUS system which allows one mathematical processing of bubble chamber pictures for αp-experiment with computer control is descibed. The comparison and basic defect of traditional processing of film information is considered. The structure, operation and further development of this system are described. It consists of the monitoring programs, directory file, input request language, data bank and documentation. ZEUS system is developed for processing αp-experiment from JINR one-meter-hydrogen liquid chamber. It makes possible to eliminate big manual work at organization of mass data processing by a computer. The system is realized on the CDC-6500 computer
and teachers regarding the language learning pedagogy , curriculum, and assessments. The LITE sites need to be evaluated to identify what is working...other participants in their cohort. The lessons include the use of PowerPoint presentations, video clips, audio clips, websites, news articles
A language for cosmic contacts is envisioned that utilizes radio signals of different wavelengths as sounds to form words. These words are in most cases abbreviations of Latin words understood from their English and French cognates. The logistic syntax uses pauses for punctuation in a binary system; pairs of algebraic formulas are transmitted where in a such pair the second element is always derived from the first; between them is transmitted a word that is understood as -follows- by the listener. The concepts of difference in position, of motion, of space, and of mass can be mathematically described by this language.
Ruiz L., Edgar; Hinojosa L., Hilmar
This article presents the implementation of a data abstract type to represent the Set Theory Mathematical Concept, The program has been written in C++ Program Language applying the Object Oriented Programming Paradigm through a Dev C++ v.4.1 Compiler, a GNU compiler with GPL licence. El artículo presenta la implementación de un tipo abstracto de datos para representar el concepto matemático de la teoría de conjuntos. El programa ha sido escrito en lenguaje de programación C++ aplicando el ...
Tokumasu, S.; Hiranuma, H.; Ozawa, M.; Yokomi, M.
A new mathematical programming method has been developed and utilized in OPROD, an existing computer code for automatic generation of control rod programs as an alternative inner-loop routine for the method of approximate programming. The new routine is constructed of a dual feasible direction algorithm, and consists essentially of two stages of iterative optimization procedures Optimization Procedures I and II. Both follow almost the same algorithm; Optimization Procedure I searches for feasible solutions and Optimization Procedure II optimizes the objective function. Optimization theory and computer simulations have demonstrated that the new routine could find optimum solutions, even if deteriorated initial control rod patterns were given
Full Text Available We present findings of a project that investigated the potential of an online tandem program to enhance the foreign language learning of two groups of school-aged beginner learners, one learning English in Colombia and the other learning Spanish in New Zealand. We assessed the impact of the project on students’ learning with a free writing activity done as pretest and posttest and used a semi-structured interview to explore their attitudes towards language learning and their perceived development of their native language. Data analysis indicated statistically significant gains in foreign language writing and positive attitudinal changes toward foreign and native language learning.
Ueno, Yutaka; Arita, Masanori; Kumagai, Toshitaka; Asai, Kiyoshi
The data processing language in a graphical software tool that manages sequence annotation data from genome databases should provide flexible functions for the tasks in molecular biology research. Among currently available languages we adopted the Lua programming language. It fulfills our requirements to perform computational tasks for sequence map layouts, i.e. the handling of data containers, symbolic reference to data, and a simple programming syntax. Upon importing a foreign file, the original data are first decomposed in the Lua language while maintaining the original data schema. The converted data are parsed by the Lua interpreter and the contents are stored in our data warehouse. Then, portions of annotations are selected and arranged into our catalog format to be depicted on the sequence map. Our sequence visualization program was successfully implemented, embedding the Lua language for processing of annotation data and layout script. The program is available at http://staff.aist.go.jp/yutaka.ueno/guppy/.
K.R. Apt (Krzysztof); J. Brunekreef; V. Partinton; A. Schaerf
textabstractWe describe here an implemented small programming language, called Alma, that augments the expressive power of imperative programming by a limited number of features inspired by the logic programming paradigm. These additions encourage declarative programming and make it a more
Hansen, Eric G; Loew, Ruth C; Laitusis, Cara C; Kushalnagar, Poorna; Pagliaro, Claudia M; Kurz, Christopher
There is considerable interest in determining whether high-quality American Sign Language videos can be used as an accommodation in tests of mathematics at both K-12 and postsecondary levels; and in learning more about the usability (e.g., comprehensibility) of ASL videos with two different types of signers - avatar (animated figure) and human. The researchers describe the results of administering each of nine pre-college mathematics items in both avatar and human versions to each of 31 Deaf participants with high school and post-high school backgrounds. This study differed from earlier studies by obliging the participants to rely on the ASL videos to answer the items. While participants preferred the human version over the avatar version (apparently due largely to the better expressiveness and fluency of the human), there was no discernible relationship between mathematics performance and signed version.
Makuuchi, Michiru; Bahlmann, Jörg; Friederici, Angela D
We aimed to dissociate two levels of hierarchical structure building in language and mathematics, namely 'first-level' (the build-up of hierarchical structure with externally given elements) and 'second-level' (the build-up of hierarchical structure with internally represented elements produced by first-level processes). Using functional magnetic resonance imaging, we investigated these processes in three domains: sentence comprehension, arithmetic calculation (using Reverse Polish notation, which gives two operands followed by an operator) and a working memory control task. All tasks required the build-up of hierarchical structures at the first- and second-level, resulting in a similar computational hierarchy across language and mathematics, as well as in a working memory control task. Using a novel method that estimates the difference in the integration cost for conditions of different trial durations, we found an anterior-to-posterior functional organization in the prefrontal cortex, according to the level of hierarchy. Common to all domains, the ventral premotor cortex (PMv) supports first-level hierarchy building, while the dorsal pars opercularis (POd) subserves second-level hierarchy building, with lower activation for language compared with the other two tasks. These results suggest that the POd and the PMv support domain-general mechanisms for hierarchical structure building, with the POd being uniquely efficient for language.
Full Text Available A lot of educational projects get no further development primarily due to the lack of competent academic staff. It is not only the professional knowledge, abilities and skills, but also the ability to perceive educational innovations and ability to implement them. With regard to the mathematics education the most urgent is the problem of humanization, which appears in the ratio of scientific knowledge, national and cultural revival, issues of values and new type of education content. The problem of humanizing of mathematical education isexamined in the article, in particular in the field of training ofpedagogical personnels. As for the serve of mathematicalmaterial the language of formal logic, that is regulated by thesecond alarm system, is used, it results in the deficit ofinformation of the first alarm system, that is responsible forperception, imagination, supervision, experience. Logical isthe use of such methods serves of information, thatmaximally use both сигнальних systems of man. It issuggested one of directions of upgrading of educating tomathematics of future teachers except the traditionallanguage of formal logic to use the alternative languages ofserve of material : language of semantic networks, languageof the system of frames, language of productional.
Wium, Anna-Marie; Louw, Brenda
Learners in South African schools have been found to perform poorly in mathematics because they do not understand the language used in solving mathematical problems. In order to improve academic performance teachers need to be made aware of the importance of language in the development of numeracy. A continued professional development (CPD) programme addressed this need. The purpose of the research was to understand how the participants implemented the strategies developed during the programme and how they perceived the support provided by the programme. The research was conducted over 2 years in semi-rural and urban contexts. As part of a more comprehensive mixed method study, the qualitative data referred to in this article were obtained through open-ended questions in questionnaires, focus groups,I reflections in portfolios, and a research diary. Results showed that numeracy terminology was often used by learners that differed from standard terminology prescribed by the curriculum. The participants themselves did not necessarily understand the numeracy terminology and thus found it a challenge to implement curriculum outcomes. Issues related to language use of the participants in teaching numeracy were associated with the lack of resources available in the language of learning and teaching (LoLT). Some of the participants taught numeracy in English, rather than LoLT. The results indicated low teacher expectations of the learners. The CPD programme was considered valuable and effective. SLPs in schools need to be expand their role to provide CPD opportunities for teachers.
Full Text Available Learners in South African schools have been found to perform poorly in mathematics because they do not understand the language used in solving mathematical problems. In order to improve academic performance teachers need to be made aware of the importance of language in the development of numeracy. A continued professional development (CPD programme addressed this need. The purpose of the research was to understand how the participants implemented the strategies developed during the programme and how they perceived the support provided by the programme. The research was conducted over 2 years in semi-rural and urban contexts. As part of a more comprehensive mixed method study, the qualitative data referred to in this article were obtained through open-ended questions in questionnaires, focus groups, reflections in portfolios, and a research diary. Results showed that numeracy terminology was often used by learners that differed from standard terminology prescribed by the curriculum. The participants themselves did not necessarily understand the numeracy terminology and thus found it a challenge to implement curriculum outcomes. Issues related to language use of the participants in teaching numeracy were associated with the lack of resources available in the language of learning and teaching (LoLT. Some of the participants taught numeracy in English, rather than LoLT. The results indicated low teacher expectations of the learners. The CPD programme was considered valuable and effective. SLPs in schools need to be expand their role to provide CPD opportunities for teachers.
Newkirk-Turner, Brandi L; Johnson, Valerie E
The purpose of this tutorial is to discuss the use of curriculum-based language assessment (CBLA) with students who are English language learners and students who speak nonmainstream varieties of English, such as African American English. The article begins with a discussion of the discourse of mathematics and the role of the speech-language pathologist (SLP), followed by a review of studies that includes those that examined the performance of English language learner and nonmainstream dialect-speaking students on word-based math items. The literature review highlights the linguistic and content biases associated with word-based math problems. Useful strategies that SLPs and educators can incorporate in culturally and linguistically appropriate assessments are discussed. The tutorial ends with a discussion of CBLA as a viable assessment approach to use with culturally and linguistically diverse students. Tests used at national, state, and school levels to assess students' math abilities have associated linguistic bias and content bias often leading to an inaccurate depiction of culturally and linguistically diverse students' math skills. CBLA as an assessment method can be used by school-based SLPs to gather valid and useful information about culturally and linguistically diverse students' language for learning math. By using CBLA, SLPs can help modify curricular tasks in broader contexts in an effort to make math, including high-level math, "accessible and achievable for all" students (American Speech-Language-Hearing Association, 2017).
Cognitive Academic Language Learning Approach (Project CALLA) was a federally funded program serving 960 limited-English-proficient students in 10 Manhattan (New York) elementary schools in 1992-93 its third year of operation. The project provided instruction in English as a Second Language (ESL), mathematics, science, and social studies in…
... 25 Indians 1 2010-04-01 2010-04-01 false Can a school integrate Language Development programs into... Language Development Programs § 39.132 Can a school integrate Language Development programs into its regular instructional program? A school may offer Language Development programs to students as part of its...
Crawford, J.; Hayward, M. [Australian Nuclear Science and Technology Organisation (ANSTO), Lucas Heights, NSW (Australia). Information Management Div; Harris, F.; Domel, R. [Australian Nuclear Science and Technology Organisation (ANSTO), Lucas Heights, NSW (Australia). Safety Div.
At the Australian Nuclear Science and Technology Organisation (ANSTO) a model is being developed to determine critical parameters affecting radioactive doses to humans following a release of radionuclides into the atmosphere. Java programming language was chosen because of the Graphical User Interface (GUI) capabilities and its portability across computer platforms, which were a requirement for the application, called RadCon. The mathematical models are applied over the 2D region, performing time varying calculations of dose to humans for each grid point, according to user selected options. The information combined includes: two dimensional time varying air and ground concentrations, transfer factors from soil to plant, plant to animal, plant to humans, plant interception factors to determine amount of radionuclide on plant surfaces, dosimetric data, such as dose conversion factors and user defined parameters, e.g. soil types, lifestyle, diet of animals and humans. Details of the software requirements, pathway parameters and implementation of RadCon are given 10 refs., 2 tabs., 4 figs.
Henderson, Kathryn I.; Palmer, Deborah K.
This article provides an in-depth exploration of the language ecologies of two classrooms attempting to implement a two-way dual language (TWDL) program and its mediating conditions. Drawing on ethnographic methods and a sociocultural understanding of language, we examined both teachers' and students' language ideologies and language practices,…
Schwartz, J T
A summary of work during the past several years on SETL, a new programming language drawing its dictions and basic concepts from the mathematical theory of sets, is presented. The work was started with the idea that a programming language modeled after an appropriate version of the formal language of mathematics might allow a programming style with some of the succinctness of mathematics, and that this might ultimately enable one to express and experiment with more complex algorithms than are now within reach. Part I discusses the general approach followed in the work. Part II focuses directly on the details of the SETL language as it is now defined. It describes the facilities of SETL, includes short libraries of miscellaneous and of code optimization algorithms illustrating the use of SETL, and gives a detailed description of the manner in which the set-theoretic primitives provided by SETL are currently implemented. (RWR)
Justifying Innovative Language Programs in an Environment of Change: The Case ... Key words: project management, change management, educational management, .... the sustainability of the course considering that there were and continue to be problems .... language teaching in general on a sound scientific base.
The computer program FLOW finds the nonrelativistic self- consistent set of two-dimensional ion trajectories and electric fields (including space charges from ions and electrons) for a given set of initial and boundary conditions for the particles and fields. The combination of FLOW with the optimization code PISA gives the program WOLF, which finds the shape of the emitter which is consistent with the plasma forming it, and in addition varies physical characteristics such as electrode position, shapes, and potentials so that some performance characteristics are optimized. The motivation for developing these programs was the desire to design optimum ion source extractor/accelerator systems in a systematic fashion. The purpose of this report is to explain and derive the mathematical models and algorithms which approximate the real physical processes. It serves primarily to document the computer programs. 10 figures
The research centered on secondary mathematics teachers' beliefs, attitudes, knowledge base, and practices in meeting the academic and language needs of English language learners. Using socio-cultural theory and social practice theory to frame the study, the research design employed a mixed methods approach incorporating self-reported surveys,…
Mohammed et al.
PROGRAMMING LANGUAGES BASED ON MOBILE COMPUTING. FOR NIGERIA ... Finally, Vb.net is suitable for data Transfer using upload scheme. Keywords: ... INTRODUCTION .... java, Julia, python, matlab, mathematica and Ruby by.
Rodgers, Peter; Vidal, Natalia
This paper overviews the graph rewriting programming language, Grrr. The serial graph rewriting strategy is detailed, and key elements of the user interface are described. The system is illustrated by a simple example.
Bird, Katherine; Oppland-Cordell, Sarah; Hibdon, Joseph
This paper describes the development, results, and future directions of the mathematics component of the EMERGE Summer Program at Northeastern Illinois University. Initiated summer 2014, EMERGE offered English and mathematics sessions for incoming freshmen. The mathematics session aimed to strengthen participants' mathematical foundations,…
Vladimir Getov; Paul Gray; Sava Mintchev; Vaidy Sunderam
Recent developments in processor capabilities, software tools, programming languages and programming paradigms have brought about new approaches to high performance computing. A steadfast component of this dynamic evolution has been the scientific community’s reliance on established scientific packages. As a consequence, programmers of high‐performance applications are reluctant to embrace evolving languages such as Java. This paper describes the Java‐to‐C Interface (JCI) tool which provides ...
Grimshaw, Andrew S.; Silberman, Ami; Liu, Jane W. S.
Real-time MENTAT, a programming environment designed to simplify the task of programming real-time applications in distributed and parallel environments, is described. It is based on the same data-driven computation model and object-oriented programming paradigm as MENTAT. It provides an easy-to-use mechanism to exploit parallelism, language constructs for the expression and enforcement of timing constraints, and run-time support for scheduling and exciting real-time programs. The real-time MENTAT programming language is an extended C++. The extensions are added to facilitate automatic detection of data flow and generation of data flow graphs, to express the timing constraints of individual granules of computation, and to provide scheduling directives for the runtime system. A high-level view of the real-time MENTAT system architecture and programming language constructs is provided.
Ali, Azad; Smith, David
This paper presents a debate between two faculty members regarding the teaching of the legacy programming course (COBOL) in a Computer Science (CS) program. Among the two faculty members, one calls for the continuation of teaching this language and the other calls for replacing it with another modern language. Although CS programs are notorious…
... 25 Indians 1 2010-04-01 2010-04-01 false What is the WSU for Language Development programs? 39.136... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.136 What is the WSU for Language Development programs? Language Development programs are funded at 0.13 WSUs per student. ...
... 25 Indians 1 2010-04-01 2010-04-01 false What is a Language Development Program? 39.131 Section 39... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a Language Development Program? A Language Development program is one that serves students who either: (a...
Given a suitably parametrized family of equilibrium models and a higher level criterion by which to measure an equilibrium state, mathematical programs with equilibrium constraints (MPECs) provide a framework for improving or optimizing the equilibrium state. An example is toll design in traffic networks, which attempts to reduce total travel time by choosing which arcs to toll and what toll levels to impose. Here, a Wardrop equilibrium describes the traffic response to each toll design. Communication networks also have a deep literature on equilibrium flows that suggest some MPECs. We focus on mathematical programs with complementarity constraints (MPCCs), a subclass of MPECs for which the lower level equilibrium system can be formulated as a complementarity problem and therefore, importantly, as a nonlinear program (NLP). Although MPECs and MPCCs are typically non-convex, which is a consequence of the upper level objective clashing with the users' objectives in the lower level equilibrium program, the last decade of research has paved the way for finding local solutions of MPCCs via standard NLP techniques.
Wilkinson, R; Hegner, B; Jones, C D
Being a highly dynamic language and allowing reliable programming with quick turnarounds, Python is a widely used programming language in CMS. Most of the tools used in workflow management and the GRID interface tools are written in this language. Also most of the tools used in the context of release management: integration builds, release building and deploying, as well as performance measurements are in Python. With an interface to the CMS data formats, rapid prototyping of analyses and debugging is an additional use case. Finally in 2008 the CMS experiment switched to using Python as its configuration language. This paper will give an overview of the general usage of Python in the CMS experiment and discuss which features of the language make it well-suited for the existing use cases.
Monden, N.; Yoshino, Y.; Hirakawa, M.; Tanaka, M.; Ichikawa, T.
This paper presents a language named HI-VISUAL which supports visual interaction in programming. Following a brief description of the language concept, the icon semantics and language primitives characterizing HI-VISUAL are extensively discussed. HI-VISUAL also shows a system extensively discussed. HI-VISUAL also shows a system extendability providing the possibility of organizing a high level application system as an integration of several existing subsystems, and will serve to developing systems in various fields of applications supporting simple and efficient interactions between programmer and computer. In this paper, the authors have presented a language named HI-VISUAL. Following a brief description of the language concept, the icon semantics and language primitives characterizing HI-VISUAL were extensively discussed
Alex Bellucco do Carmo
Full Text Available We analyzed within the framework of Stephen Toulmin (2006, the process of argument started by a teacher, to build the mathematical language as a way of interpreting data from an inquiry lab about heating water. The activity was part of a inquiry teaching class that was applied in the first year of high school, at a public school in the State of São Paulo. The cooperative use of several languages was important to strengthen the various elements of the argument, while the mathematical languages such as graphical and algebraic had the role of guarantees and refuted the conclusions, giving strength to the latter.
Madsen, Per Printz; Borch, Ole
. This paper describes a new, flexible and simple language for programming distributed control tasks. The compiler for this language generates a target code that is very easy to interpret. A interpreter, that can be easy ported to different hardwares, is described. The new language is simple and easy to learn...... become a reality if each of these controlling computers can be configured to perform a cooperative task. This again requires the necessary communicating facilities. In other words this requires that all these simple and distributed computers can be programmed in a simple and hardware independent way...
Full Text Available The purpose of this study is to present a multimodal languaging model for mathematics education. The model consists of mathematical symbolic language, a pictorial language, and a natural language. By applying this model, the objective was to study how 4th grade pupils (N = 21 understand the concept of division. The data was collected over six hours of teaching sessions, during which the pupils expressed their mathematical thinking mainly by writing and drawing. Their productions, as well as questionnaire after the process, were analyzed qualitatively. The results show that, in expressing the mathematical problem in verbal form, most of the students saw it as a division into parts. It was evident from the pupils’ texts and drawings that the mathematical expression of subtraction could be interpreted in three different ways. It was found that the pupils enjoyed using writing in the solution of word problems, and it is suggested that the use of different modes in expressing mathematical thinking may both strengthen the learning of mathematical concepts and support the evaluation of learning.
Fokkinga, M.M.; Asveld, P.R.J.; Nijholt, Antinus
The Lambda Calculus is a formal system, originally intended as a tool in the foundation of mathematics, but mainly used to study the concepts of algorithm and effective computability. Recently, the Lambda Calculus and related systems acquire attention from Computer Science for another reason too:
Mitrović, Dejan; Ivanović, Mirjana; Budimac, Zoran
Scala and its multi-threaded model based on actors represent an excellent framework for developing purely reactive agents. This paper presents an early research on extending Scala with declarative programming constructs, which would result in a new agent-oriented programming language suitable for developing more advanced, BDI agent architectures. The main advantage the new language over many other existing solutions for programming BDI agents is a natural and straightforward integration of imperative and declarative programming constructs, fitted under a single development framework.
Wichita Unified School District 259, KS.
This book is a guide for the reinforcement of the elementary mathematics laboratory program. It uses a hands-on and activity approach with maximum involvement of the students. Reinforcement strategies for the first three phases (concrete, semiconcrete, and semiabstract) of each mathematics concept are suggested. Also included are specific job…
Conquer the complexities of this open source statistical language R is fast becoming the de facto standard for statistical computing and analysis in science, business, engineering, and related fields. This book examines this complex language using simple statistical examples, showing how R operates in a user-friendly context. Both students and workers in fields that require extensive statistical analysis will find this book helpful as they learn to use R for simple summary statistics, hypothesis testing, creating graphs, regression, and much more. It covers formula notation, complex statistics
Davison, Andrew P; Hines, Michael L; Muller, Eilif
Neuroscience simulators allow scientists to express models in terms of biological concepts, without having to concern themselves with low-level computational details of their implementation. The expressiveness, power and ease-of-use of the simulator interface is critical in efficiently and accurately translating ideas into a working simulation. We review long-term trends in the development of programmable simulator interfaces, and examine the benefits of moving from proprietary, domain-specific languages to modern dynamic general-purpose languages, in particular Python, which provide neuroscientists with an interactive and expressive simulation development environment and easy access to state-of-the-art general-purpose tools for scientific computing.
Pedersen, Michael; Phillips, Andrew
Synthetic biology aims at producing novel biological systems to carry out some desired and well-defined functions. An ultimate dream is to design these systems at a high level of abstraction using engineering-based tools and programming languages, press a button, and have the design translated to DNA sequences that can be synthesized and put to work in living cells. We introduce such a programming language, which allows logical interactions between potentially undetermined proteins and genes to be expressed in a modular manner. Programs can be translated by a compiler into sequences of standard biological parts, a process that relies on logic programming and prototype databases that contain known biological parts and protein interactions. Programs can also be translated to reactions, allowing simulations to be carried out. While current limitations on available data prevent full use of the language in practical applications, the language can be used to develop formal models of synthetic systems, which are otherwise often presented by informal notations. The language can also serve as a concrete proposal on which future language designs can be discussed, and can help to guide the emerging standard of biological parts which so far has focused on biological, rather than logical, properties of parts.
Martin, F. H.
HAL/S is a higher order language and system, now operational, adopted by NASA for programming Space Shuttle on-board software. Program reliability is enhanced through language clarity and readability, modularity through program structure, and protection of code and data. Salient features of HAL/S include output orientation, automatic checking (with strictly enforced compiler rules), the availability of linear algebra, real-time control, a statement-level simulator, and compiler transferability (for applying HAL/S to additional object and host computers). The compiler is described briefly.
Full Text Available Functional programming languages are seen by many as instrumental to effectively utilizing the computational power of multi-core platforms. As a result, there is growing interest to introduce functional programming and functional thinking as early as possible within the computer science curriculum. Bricklayer is an API, written in SML, that provides a set of abstractions for creating LEGO artifacts which can be viewed using LEGO Digital Designer. The goal of Bricklayer is to create a problem space (i.e., a set of LEGO artifacts that is accessible and engaging to programmers (especially novice programmers while providing an authentic introduction to the functional programming language SML.
José Carlos GARCÍA MONSÁLVEZ
Full Text Available With the recent introduction of Programming in the K-12 curricula there is an opportunity to include Computer Science fundamental concepts. This paper presents the origin and evolution of Python as well as their main features that configure it as an ideal programming language. We also review and classify some educational tools in the Python ecosystem. Such tools cover a wide-open spectrum of resources from interactive books to libraries which ease the construction of student elaborated software artefacts. This work presents a multidisciplinary proposal to use the Python programming language in all levels of Secondary Stage.
Linares, H. A.
After the passage of a resolution by the South Dakota Board of Regents to place greater emphasis on the study of foreign language, Northern State College introduced commercial video programs in Spanish for classroom use. After installing a parabolic antenna and the other necessary equipment, the department selected and edited a series of programs,…
Orlova, Irina A.; Kennedy, Jelane A.
This article examines available literature on college English as a Second Language (ESL) programs. The literature available on college ESL programs falls into three categories: (1) research reports and articles, (2) recent theoretical discussions on ESL teaching, and (3) thought pieces discussing college ESL curriculum development and assessment…
Narasimhamurthy, Uma; Al Shawkani, Khuloud
This article describes a model for teaching Java Programming Language through Dynamic Learning Objects. The design of the learning objects was based on effective learning design principles to help students learn the complex topic of Java Programming. Visualization was also used to facilitate the learning of the concepts. (Contains 1 figure and 2…
Bowen, J. Donald
This document discusses in detail the development and operation of a language program implemented in the Philippines, beginning in 1957, with the assistance of the University of California, Los Angeles, through the Rockefeller Foundation. The program faced a number of difficulties including a school system in the process of post-war rebuilding, a…
McMurrer, Eileen; Terrill, Lynda
This digest summarizes the history of public libraries and library literacy programs; describes current delivery models; and discusses initiatives in library literacy, profiling one successful public library program that serves adult English language learners and their families. (Adjunct ERIC Clearinghouse for ESL Literacy Education) (Author/VWL)
Siegfried, Robert M.; Greco, Daniel M.; Miceli, Nicholas G.; Siegfried, Jason P.
Throughout the 1990s, Richard Reid of Michigan State University maintained a list showing the first programming language used in introductory programming courses taken by computer science and information systems majors; it was updated for several years afterwards by Frances Van Scoy of West Virginia University. However, it has been 5 years since…
Hartel, Pieter H.; Bormann, J.
The high-level programming languages Pascal [JEN76] and Modula-2 [WIR82] are evaluatedas tools lor system programming. The construction of operating system utilities in Pascal is the focal point of the first part of the paper. Pascal is shown to be adequate for this limited class of applications, on
Andrew P Davison
Full Text Available Neuroscience simulators allow scientists to express models in terms of biological concepts, without having to concern themselves with low-level computational details of their implementation. The expressiveness, power and ease-of-use of the simulator interface is critical in efficiently and accurately translating ideas into a working simulation. We review long-term trends in the development of programmable simulator interfaces, and examine the benefits of moving from proprietary, domain-specific languages to modern dynamic general-purpose languages, in particular Python, which provide neuroscientists with an interactive and expressive simulation development environment and easy access to state-of-the-art general-purpose tools for scientific computing.
Davison, Andrew P.; Hines, Michael L.; Muller, Eilif
Neuroscience simulators allow scientists to express models in terms of biological concepts, without having to concern themselves with low-level computational details of their implementation. The expressiveness, power and ease-of-use of the simulator interface is critical in efficiently and accurately translating ideas into a working simulation. We review long-term trends in the development of programmable simulator interfaces, and examine the benefits of moving from proprietary, domain-specific languages to modern dynamic general-purpose languages, in particular Python, which provide neuroscientists with an interactive and expressive simulation development environment and easy access to state-of-the-art general-purpose tools for scientific computing. PMID:20198154
Rojas Labanda, Susana
for mechanical problems, but has rapidly extended to many other disciplines, such as fluid dynamics and biomechanical problems. However, the novelty and improvements of optimization methods has been very limited. It is, indeed, necessary to develop of new optimization methods to improve the final designs......, and at the same time, reduce the number of function evaluations. Nonlinear optimization methods, such as sequential quadratic programming and interior point solvers, have almost not been embraced by the topology optimization community. Thus, this work is focused on the introduction of this kind of second...... for the classical minimum compliance problem. Two of the state-of-the-art optimization algorithms are investigated and implemented for this structural topology optimization problem. A Sequential Quadratic Programming (TopSQP) and an interior point method (TopIP) are developed exploiting the specific mathematical...
For some, functional languages hold the promise of allowing ease of programming massively parallel computers that imperative languages such as Fortran and C do not offer. At LLNL, we have initiated a project to write the physics of a major production code in Sisal, a functional language developed at LLNL in collaboration with researchers throughout the world. We are investigating the expressibility of Sisal, as well as its performance on a shared-memory multiprocessor, the Y-MP. An interesting aspect of the project is that Sisal modules can call Fortran modules, and are callable by them. This eliminates the rewriting of 80% of the production code that would not benefit from parallel execution. Preliminary results indicate that the restrictive nature of the language does not cause problems in expressing the algorithms we have chosen. Some interesting aspects of programming in a mixed functional-imperative environment have surfaced, but can be managed. 8 refs.
Gentry, Arvel E.
A number of typical problems faced by the aerodynamicist in using computational fluid dynamics are presented to illustrate the need for a geometry programming language. The overall requirements for such a language are illustrated by examples from the Boeing Aero Grid and Paneling System (AGPS). Some of the problems in building such a system are also reviewed along with suggestions as to what to look for when evaluating new software problems.
This paper describes Grrr, a prototype visual graph drawing tool. Previously there were no visual languages for programming graph drawing algorithms despite the inherently visual nature of the process. The languages which gave a diagrammatic view of graphs were not computationally complete and so could not be used to implement complex graph drawing algorithms. Hence current graph drawing tools are all text based. Recent developments in graph rewriting systems have produced computationally com...
Constraints are an important notion in grammars and language analysis, and constraint programming techniques have been developed concurrently for solving a variety of complex problems. In this chapter we consider the synthesis of these branches into practical and effective methods for language...... methods that combine constraints with logic grammars such as Definite Clause Grammars and CHR Grammars, and show also a direct relationship to abductive reasoning....
Robert M. Bernard
Full Text Available This study examines the achievement outcomes accompanying the implementation of a Grade 3 laptop or so-called ubiquitous computing program in a Quebec school district. CAT-3 reading, language, and mathematics batteries were administered at the end of Grade 2 and again at the end of Grade 3, after the first year of computer implementation. Overall gain was found in all three content areas, but was differential when compared with the norms of the CAT-3. Additionally, some evidence suggested a differential gain for lower and middle-level learners during the school year. Teachers were administered an instrument called the Technology Implementation Questionnaire (TIQ that assessed the purposes and extent of technology integration. Negative correlations were found in reading achievement gain for items associated with the higher use of communicative, evaluative, and creative uses of computers. Open-ended teacher responses indicated the need for more professional support for instructional implementations of computing. Résumé: Cette étude examine les performances accompagnant l’implantation d’un programme d’ordinateurs portables en 3 ième année du primaire, aussi appelé programme d’ubiquité computationnelle, dans une école d’un district scolaire du Québec. Des batteries de tests, CAT-3 en lecture, en langue et en mathématiques ont été administrées à la fin de la deuxième année du primaire et une autre fois à la fin de la troisième année du primaire, après un an d’implantation des ordinateurs. Un gain fut observé dans les trois matières, mais était différencié lorsque comparé aux normes du CAT-3. De plus, un gain différencié fut mis en évidence pour les apprenants de niveau inférieur et moyen durant l’année scolaire. Les enseignants ont rempli le Technology Implementation Questionnaire (TIQ qui mesure le but et l’étendue de l’intégration technologique. Des corrélations négatives ont été trouvées en
Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank D.
The tcc paradigm is a formalism for timed concurrent constraint programming. Several tcc languages differing in their way of expressing infinite behavior have been proposed in the literature. In this paper we study the expressive power of some of these languages. In particular, we show that: (1......) recursive procedures with parameters can be encoded into parameterless recursive procedures with dynamic scoping, and viceversa. (2) replication can be encoded into parameterless recursive procedures with static scoping, and viceversa. (3) the languages from (1) are strictly more expressive than...
Gallagher, John Patrick
The eld of nite tree automata provides fundamental notations and tools for reasoning about set of terms called regular or recognizable tree languages. We consider two kinds of analysis using regular tree languages, applied to logic programs. The rst approach is to try to discover automatically...... a tree automaton from a logic program, approximating its minimal Herbrand model. In this case the input for the analysis is a program, and the output is a tree automaton. The second approach is to expose or check properties of the program that can be expressed by a given tree automaton. The input...... to the analysis is a program and a tree automaton, and the output is an abstract model of the program. These two contrasting abstract interpretations can be used in a wide range of analysis and verication problems....
With this report, the sponsor of the project on automation in manufacture introduces to the public several new programming procedures for industrial robots which are still under construction. In addition to the programming systems SRL - which, as already previously reported, represent an further development of the AL and ROBEX systems - two additional programming procedures are being described. These are adjusted to perform interactive work at the production site. As introduction to this report, a survey is offered on the status and development of robot programming in the Federal Republic of Germany and in other countries. (orig.) [de
Hibbard, William L.; Dyer, Charles R.; Paul, Brian E.
The VIS-AD data model integrates metadata about the precision of values, including missing data indicators and the way that arrays sample continuous functions, with the data objects of a scientific programming language. The data objects of this data model form a lattice, ordered by the precision with which they approximate mathematical objects. We define a similar lattice of displays and study visualization processes as functions from data lattices to display lattices. Such functions can be applied to visualize data objects of all data types and are thus polymorphic.
Shehane, Ronald; Sherman, Steven
This study examines detailed usage of online training videos that were designed to address specific course problems that were encountered in an online computer programming course. The study presents the specifics of a programming course where training videos were used to provide students with a quick start path to learning a new programming…
Maloney, John; Resnick, Mitchel; Rusk, Natalie; Silverman, Brian; Eastmond, Evelyn
Scratch is a visual programming environment that allows users (primarily ages 8 to 16) to learn computer programming while working on personally meaningful projects such as animated stories and games. A key design goal of Scratch is to support self-directed learning through tinkering and collaboration with peers. This article explores how the…
Bocchino, Robert L., Jr.; Gamble, Edward; Gostelow, Kim P.; Some, Raphael R.
The C programming language is widely used for programming space flight software and other safety-critical real time systems. C, however, is far from ideal for this purpose: as is well known, it is both low-level and unsafe. This paper describes Spot, a language derived from C for programming space flight systems. Spot aims to maintain compatibility with existing C code while improving the language and supporting verification with the SPIN model checker. The major features of Spot include actor-based concurrency, distributed state with message passing and transactional updates, and annotations for testing and verification. Spot also supports domain-specific annotations for managing spacecraft state, e.g., communicating telemetry information to the ground. We describe the motivation and design rationale for Spot, give an overview of the design, provide examples of Spot's capabilities, and discuss the current status of the implementation.
Fiero, Diane M.
Purpose: The purpose of this study was to determine which basic skills program factors were exhibited by successful basic skills programs that helped students advance to transfer-level mathematics. This study specifically examined California community college basic skills programs that assist students who place in mathematics courses 2 levels…
Grimshaw, Andrew S.; West, Emily A.
his research investigates the combination of task and data parallel language constructs within a single programming language. There are an number of applications that exhibit properties which would be well served by such an integrated language. Examples include global climate models, aircraft design problems, and multidisciplinary design optimization problems. Our approach incorporates data parallel language constructs into an existing, object oriented, task parallel language. The language will support creation and manipulation of parallel classes and objects of both types (task parallel and data parallel). Ultimately, the language will allow data parallel and task parallel classes to be used either as building blocks or managers of parallel objects of either type, thus allowing the development of single and multi-paradigm parallel applications. 1995 Research Accomplishments In February I presented a paper at Frontiers '95 describing the design of the data parallel language subset. During the spring I wrote and defended my dissertation proposal. Since that time I have developed a runtime model for the language subset. I have begun implementing the model and hand-coding simple examples which demonstrate the language subset. I have identified an astrophysical fluid flow application which will validate the data parallel language subset. 1996 Research Agenda Milestones for the coming year include implementing a significant portion of the data parallel language subset over the Legion system. Using simple hand-coded methods, I plan to demonstrate (1) concurrent task and data parallel objects and (2) task parallel objects managing both task and data parallel objects. My next steps will focus on constructing a compiler and implementing the fluid flow application with the language. Concurrently, I will conduct a search for a real-world application exhibiting both task and data parallelism within the same program m. Additional 1995 Activities During the fall I collaborated
examine different programming styles and ways to represent states. Abstract interpretation is primarily a technique for derivation and specification of program analysis. As with denotational semantics we may also view abstract interpretations as programs and examine the implementation. The main focus...... in this paper is to show that results from higher-order strictness analysis may be used more generally as fixpoint operators for higher-order functions over lattices and thus provide a technique for immediate implementation of a large class of abstract interpretations. Furthermore, it may be seen...
Mosses, Peter David
; and regular expressions are extensively used for searching and transforming text. In contrast, formal semantic descriptions are widely regarded as being of interest only to theoreticians. This paper surveys the main frameworks available for describing the dynamic semantics of programming languages......Formal descriptions of syntax are quite popular: regular and context-free grammars have become accepted as useful for documenting the syntax of programming languages, as well as for generating efficient parsers; attribute grammars allow parsing to be linked with typechecking and code generation...
Madsen, Ole Lehrmann
abstraction mechanisms and lead to a number of new possibilities. Patterns and their instances are intended for modeling concepts and phenomena in the application domain and provide the logical structure of a given system. Modularization is viewed as a means for describing the physical structure of a program....... Modules are units of program text that may be edited, stored in libraries, exist in different variants, be separately compiled, etc. Modularization is provided by a language-independent mechanism based on the context-free grammar of the language. In principle, any correct sequence of terminal...
Foudriat, E. C.
Methods by which real-time executive programs can be implemented in a higher order language are discussed, using HAL/S and Path Pascal languages as program examples. Techniques are presented by which noncyclic tasks can readily be incorporated into the executive system. Situations are shown where the executive system can fail to meet its task scheduling and yet be able to recover either by rephasing the clock or stacking the information for later processing. The concept of deadline processing is shown to enable more effective mixing of time and information synchronized systems.
LópezLeiva, Carlos A.; Khisty, Lena Licón
In this paper, we discuss the characteristics of microaggressions based on minority language(s) as a form of discriminatory practice against non-dominant students in the mathematics context. Microaggressions are subtle, brief, and commonplace verbal, behavioral, or visual negative slights or insults toward people of color. We extend the concept of microaggression to include discrimination based on a minority language. We draw on our work with Latinas/os in the USA to demonstrate the occurrence of microaggressions in the teaching act. Revealing microaggressions based on language has the potential of creating more equitable learning environments for non-dominant students and can point to possible directions for future research and improvements in the preparation of teachers who serve non-dominant students who speak a language other than the school's official language.
Maimunah; Aldila, Dipo
In this article, using a deterministic approach in a seven-dimensional nonlinear ordinary differential equation, we establish a mathematical model for the spread of HIV with an ART treatment intervention. In a simplified model, when no ART treatment is implemented, disease-free and the endemic equilibrium points were established analytically along with the basic reproduction number. The local stability criteria of disease-free equilibrium and the existing criteria of endemic equilibrium were analyzed. We find that endemic equilibrium exists when the basic reproduction number is larger than one. From the sensitivity analysis of the basic reproduction number of the complete model (with ART treatment), we find that the increased number of infected humans who follow the ART treatment program will reduce the basic reproduction number. We simulate this result also in the numerical experiment of the autonomous system to show how treatment intervention impacts the reduction of the infected population during the intervention time period.
Mathematical Programming and Financial Objectives for Scheduling Projects focuses on decision problems where the performance is measured in terms of money. As the title suggests, special attention is paid to financial objectives and the relationship of financial objectives to project schedules and scheduling. In addition, how schedules relate to other decisions is treated in detail. The book demonstrates that scheduling must be combined with project selection and financing, and that scheduling helps to give an answer to the planning issue of the amount of resources required for a project. The author makes clear the relevance of scheduling to cutting budget costs. The book is divided into six parts. The first part gives a brief introduction to project management. Part two examines scheduling projects in order to maximize their net present value. Part three considers capital rationing. Many decisions on selecting or rejecting a project cannot be made in isolation and multiple projects must be taken fully into a...
Most integrations of artificial intelligence (AI) capabilities with non-AI (usually FORTRAN-based) application programs require the latter to execute separately to run as a subprogram or, at best, as a coroutine, of the AI system. In many cases, this organization is unacceptable; instead, the requirement is for an AI facility that runs in embedded mode; i.e., is called as subprogram by the application program. The design and implementation of a Prolog-based AI capability that can be invoked in embedded mode are described. The significance of this system is twofold: Provision of Prolog-based symbol-manipulation and deduction facilities makes a powerful symbolic reasoning mechanism available to applications programs written in non-AI languages. The power of the deductive and non-procedural descriptive capabilities of Prolog, which allow the user to describe the problem to be solved, rather than the solution, is to a large extent vitiated by the absence of the standard control structures provided by other languages. Embedding invocations of Prolog rule bases in programs written in non-AI languages makes it possible to put Prolog calls inside DO loops and similar control constructs. The resulting merger of non-AI and AI languages thus results in a symbiotic system in which the advantages of both programming systems are retained, and their deficiencies largely remedied.
Full Text Available This manuscript describe BeSSY, a function-centric language for formal behavioural specification that requires no more than high-school mathematics on arithmetic, functions, Boolean algebra and sets theory. An object can be modelled as a union of data sets and functions whereas inherited object can be modelled as a union of supersets and a set of object-specific functions. Python list and dictionary operations will be specified in BeSSY for illustration.
Gil Llario, M D; Vicent Catalá, Consuelo
Comparative analysis of the efficacy of a playful-narrative program to teach mathematics at pre-school level. In this paper, the effectiveness of a programme comprising several components that are meant to consolidate mathematical concepts and abilities at the pre-school level is analyzed. The instructional methodology of this programme is compared to other methodologies. One-hundred 5-6 year-old children made up the sample that was distributed in the following conditions: (1) traditional methodology; (2) methodology with perceptual and manipulative components, and (3) methodology with language and playful components. Mathematical competence was assessed with the Mathematical Criterial Pre-school Test and the subtest of quantitative-numeric concepts of BADyG. Participants were evaluated before and after the academic course during which they followed one of these methodologies. The results show that the programme with language and playful components is more effective than the traditional methodology (p<.000) and also more effective than the perceptual and manipulative methodology (p<.000). Implications of the results for instructional practices are analyzed.
Full Text Available We propose a novel, operational framework to formally describe the semantics of concurrent programs running within the context of a relaxed memory model. Our framework features a "temporary store" where the memory operations issued by the threads are recorded, in program order. A memory model then specifies the conditions under which a pending operation from this sequence is allowed to be globally performed, possibly out of order. The memory model also involves a "write grain," accounting for architectures where a thread may read a write that is not yet globally visible. Our formal model is supported by a software simulator, allowing us to run litmus tests in our semantics.
Diehl, Stephan; Hartel, Pieter H.; Sestoft, Peter
We present an extensive, annotated bibliography of the abstract machines designed for each of the main programming paradigms (imperative, object oriented, functional, logic and concurrent). We conclude that whilst a large number of efficient abstract machines have been designed for particular
Object Oriented Programming (OOP) has attained a level of acceptance in the software development community so much so that one is now considered a charlatan to have a degree in computing without the flare for OOP. Computing students must therefore be equipped with this skill. The need to do this using the most ...
Isaacs, Gerald L.
A study was made of several dialects of the Beginner's All-purpose Symbolic Instruction Code (BASIC). The purpose was to determine if it was possible to identify a set of interactive BASIC dialects in which translatability between different members of the set would be high, if reasonable programing restrictions were imposed. It was first…
Le Meur, Anne-Francoise; Lawall, Julia Laetitia; Consel, Charles
Partial evaluation is a program-transformation technique that automatically specializes a program with respect to user-supplied invariants. Despite successful applications in areas such as graphics, operating systems, and software engineering, partial evaluators have yet to achieve widespread use....... One reason is the difficulty of adequately describing specialization opportunities. Indeed, under-specialization or over-specialization often occurs, without any direct feedback to the user as to the source of the problem.We have developed a high-level, module-based language allowing the programmer...... to guide the choice of both the code to specialize and the invariants to exploit during the specialization process. To ease the use of partial evaluation, the syntax of this language is similar to the declaration syntax of the target language of the partial evaluator. To provide feedback to the programmer...
Musa, Alice K. J.; Dauda, Bala; Umar, Mohammad A.
The paper investigated gender difference in achievement goals and performance in English Language and Mathematics of senior secondary schools students in Borno State, Nigeria. The study specifically sought to determine gender differences in students' academic performances in English Language, Mathematics and overall academic performance as well as…
Diaz-Guerra, J.P.; Roca, M.
An assembly of programs written in ''Basic'' language and related with the calculation needs at the X-ray spectrometry laboratory of the Spanish J.E.N. has been developed. The principal problems considered, concerning the X-ray fluorescence technique, are the following: selection of the instrumental parameters; correction of the effects due to the dead time, background and spectral interferences; fitting of polynomial functions, which relate the variables intensity-concentration; application of some empirical-mathematical methods (Lucas-Tooth, Beattie and Brissey and Tertian procedures) to the correction of the inter-element effects; addition method, and statistical treatment of the results (correlation coefficient and ''F'' and ''t'' tests). Likewise, programs for the computation of spacings from powder diffraction patterns (Debye-Scherrer and counter diffractometer procedures) have been written. The proposed programs run following conversational patterns, in which different possibilities and incidences have been foreseen. (author)
and social behavior, and work on verification. Agent-based simulation is an approach for simulation that also uses the notion of agents. Although agent programming languages and logics are much less used in agent-based simulation, there are successful examples with agents designed according to the BDI...
Radanne , Gabriel; Vouillon , Jérôme; Balat , Vincent
International audience; Eliom is a dialect of OCaml for Web programming in which server and client pieces of code can be mixed in the same file using syntactic annotations. This allows to build a whole application as a single distributed program, in which it is possible to define in a composable way reusable widgets with both server and client behaviors. Our language also enables simple and type-safe communication. Eliom matches the specificities of the Web by allowing the programmer to inter...
Jordan, Harry F.; Benten, Muhammad S.; Alaghband, Gita; Jakob, Ruediger
Here, it is explained why the FORCE parallel programming language is easily portable among six different shared-memory microprocessors, and how a two-level macro preprocessor makes it possible to hide low level machine dependencies and to build machine-independent high level constructs on top of them. These FORCE constructs make it possible to write portable parallel programs largely independent of the number of processes and the specific shared memory multiprocessor executing them.
Jordan, Harry F.; Benten, Muhammad S.; Alaghband, Gita; Jakob, Ruediger
This paper explains why the FORCE parallel programming language is easily portable among six different shared-memory multiprocessors, and how a two-level macro preprocessor makes it possible to hide low-level machine dependencies and to build machine-independent high-level constructs on top of them. These FORCE constructs make it possible to write portable parallel programs largely independent of the number of processes and the specific shared-memory multiprocessor executing them.
Tolosa, Constanza; Ordóñez, Claudia Lucía; Guevara, Diana Carolina
We present findings of a project that investigated the potential of an online tandem program to enhance the foreign language learning of two groups of school-aged beginner learners, one learning English in Colombia and the other learning Spanish in New Zealand. We assessed the impact of the project on students' learning with a free writing…
Xinogalos, Stelios; Pitner, Tomáš; Ivanovic, Mirjana; Savic, Miloš
The choice of the first programming language (FPL) has been a controversial issue for several decades. Nearly everyone agrees that the FPL is important and affects students' subsequent education on programming. The study presented in this article investigates the suitability of various C-like and Pascal-like programming languages as a FPL.…
Partha Pratim Ray
Full Text Available Visual programming has transformed the art of programming in recent years. Several organizations are in race to develop novel ideas to run visual programming in multiple domains with Internet of Things. IoT, being the most emerging area of computing, needs substantial contribution from the visual programming paradigm for its technological propagation. This paper surveys visual programming languages being served for application development, especially in Internet of Things field. 13 such languages are visited from several popular research-electronic databases (e.g., IEEE Xplore, Science Direct, Springer Link, Google Scholar, Web of Science, and Postscapes and compared under four key attributes such as programming environment, license, project repository, and platform supports. Grouped into two segments, open source and proprietary platform, these visual languages pertain few crucial challenges that have been elaborated in this literature. The main goal of this paper is to present existing VPLs per their parametric proforma to enable naïve developers and researchers in the field of IoT to choose appropriate variant of VPL for particular type of application. It is also worth validating the usability and adaptability of VPLs that is essential for selection of beneficiary in terms of IoT.
Looking for a reliable way to learn how to program on your own, without being overwhelmed by confusing concepts? Head First Programming introduces the core concepts of writing computer programs -- variables, decisions, loops, functions, and objects -- which apply regardless of the programming language. This book offers concrete examples and exercises in the dynamic and versatile Python language to demonstrate and reinforce these concepts. Learn the basic tools to start writing the programs that interest you, and get a better understanding of what software can (and cannot) do. When you're fi
Silva, Jonathan C.; Bennett, Laura; Papageorgiou, Lazaros G.; Tsoka, Sophia
A common analysis performed on dynamic networks is community structure detection, a challenging problem that aims to track the temporal evolution of network modules. An emerging area in this field is evolutionary clustering, where the community structure of a network snapshot is identified by taking into account both its current state as well as previous time points. Based on this concept, we have developed a mixed integer non-linear programming (MINLP) model, SeqMod, that sequentially clusters each snapshot of a dynamic network. The modularity metric is used to determine the quality of community structure of the current snapshot and the historical cost is accounted for by optimising the number of node pairs co-clustered at the previous time point that remain so in the current snapshot partition. Our method is tested on social networks of interactions among high school students, college students and members of the Brazilian Congress. We show that, for an adequate parameter setting, our algorithm detects the classes that these students belong more accurately than partitioning each time step individually or by partitioning the aggregated snapshots. Our method also detects drastic discontinuities in interaction patterns across network snapshots. Finally, we present comparative results with similar community detection methods for time-dependent networks from the literature. Overall, we illustrate the applicability of mathematical programming as a flexible, adaptable and systematic approach for these community detection problems. Contribution to the Topical Issue "Temporal Network Theory and Applications", edited by Petter Holme.
Welcome, Simone E.
The purpose for this cross-sectional, non-experimental explanatory quantitative research study was to explain the amount of variance in the High School Proficiency Assessment-11 Language Arts and Mathematics scores accounted for by the amount of instructional minutes at high schools in New Jersey. A proportional, stratified random sample which…
Bernardo, Allan B I; Calleja, Marissa O
Researchers have suggested that among bilinguals, solving word problems in mathematics is influenced by linguistic factors (K. Durkin & B. Shire, 1991; L. Verschaffel, B. Greer, & E. De Corte, 2000). Others have suggested that students exhibit a strong tendency to exclude real-world constraints in solving mathematics word problems (L. Verschaffel, E. De Corte, & S. Lasure, 1994). In the present study, the authors explored the effects of stating word problems in either Filipino or English on how Filipino-English bilingual students solved word problems in which the solution required the application of real-world knowledge. The authors asked bilingual students to solve word problems in either their first or second language. For some of the word problems, real-life constraints prevented straightforward application of mathematical procedures. The authors analyzed the students' solutions to determine whether the language of the word problems affected the tendency to apply real-life constraints in the solution. Results showed that the bilingual students (a) rarely considered real-life constraints in their solutions, (b) were more successful in understanding and solving word problems that were stated in their first language, and (c) were more likely to experience failure in finding a solution to problems stated in their second language. The results are discussed in terms of the relationship between linguistic and mathematical problem-solving processes among bilinguals.
Bayuk, Milla; Bayuk, Barry S.
A program currently in use by the military that gives instruction in the so-called "sensitive" languages is based on the "Army Method" which was initiated in military language programs during World War II. Attention to the sensitive language program initiated a review of the programs, especially those conducted by the military intelligence schools…
... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.130 Can ISEF funds be used for Language Development Programs? Yes, schools can use ISEF funds to... 25 Indians 1 2010-04-01 2010-04-01 false Can ISEF funds be used for Language Development Programs...
Stamovlasis, Dimitrios; Gonida, Sofia-Eleftheria N
The present study used achievement goal theory (AGT) as a theoretical framework and examined the role of mastery and performance goals, both performance-approach and performance-avoidance, on school achieve-ment within the nonlinear dynamical systems (NDS) perspective. A series of cusp catastrophe models were applied on students' achievement in a number of school subjects, such as mathematics and language for elementary school and algebra, geometry, ancient and modern Greek language for high school, using achievement goal orientations as control variables. The participants (N=224) were students attending fifth and eighth grade (aged 11 and 14, respectively) in public schools located in northern Greece. Cusp analysis based on the probability density function was carried out by two procedures, the maximum likelihood and the least squares. The results showed that performance-approach goals had no linear effect on achievement, while the cusp models implementing mastery goals as the asymmetry factor and performance-avoidance as the bifurcation, proved superior to their linear alternatives. The results of the study based on NDS support the multiple goal perspective within AGT. Theoretical issues, educational implications and future directions are discussed.
Martinez, Mara V.; Bragelman, John; Stoelinga, Timothy
The primary goal of the Intensified Algebra I (IA) program is to enable mathematically underprepared students to successfully complete Algebra I in 9th grade and stay on track to meet increasingly rigorous high school mathematics graduation requirements. The program was designed to bring a range of both cognitive and non-cognitive supports to bear…
Finau, Teukava; Treagust, David F.; Won, Mihye; Chandrasegaran, A. L.
This paper presents the effects of a cognitive acceleration program in mathematics classes on Tongan students' achievements, motivation and self-regulation. Cognitive Acceleration in Mathematics Education (CAME) is a program developed at King's College and implemented worldwide with the aim of improving students' thinking skills, mathematics…
Allen, Myron B
Continuum mechanics is a standard course in many graduate programs in engineering and applied mathematics as it provides the foundations for the various differential equations and mathematical models that are encountered in fluid mechanics, solid mechanics, and heat transfer. This book successfully makes the topic more accessible to advanced undergraduate mathematics majors by aligning the mathematical notation and language with related courses in multivariable calculus, linear algebra, and differential equations; making connections with other areas of applied mathematics where parial differe
Dissemination and Assessment Center for Bilingual Education, Austin, TX.
This is one of a series of student booklets designed for use in a bilingual mathematics program in grades 6-8. The general format is to present each page in both Spanish and English. The mathematical topics in this booklet include graphing on a number line, place value, using exponents, flow charts, and Roman numerals. (MK)
Dissemination and Assessment Center for Bilingual Education, Austin, TX.
This is one of a series of student booklets designed for use in a bilingual mathematics program in grades 6-8. The general format is to present each page in both Spanish and English. The mathematical topics in this booklet include factors, prime and composite numbers, divisibility, and exponents. (MK)
Kutaka, Traci Shizu; Smith, Wendy M.; Albano, Anthony D.; Edwards, Carolyn Pope; Ren, Lixin; Beattie, Heidi Lynn; Lewis, W. James; Heaton, Ruth M.; Stroup, Walter W.
The present study investigated the effects of "Primarily Math", an inservice elementary mathematics specialist program. "Primarily Math" sought to augment the mathematical knowledge for teaching of kindergarten through third-grade teachers using a longitudinal multiple cohort design. Two sets of analyses were conducted. The…
Schlenker, Richard M.
Designed to be an introduction to the Atari microcomputers for beginners, the interactive computer program listed in this document is written in the Pilot programing language. Instructions are given for entering and storing the program in the computer memory for use by students. (MES)
Córdoba Zúñiga, Eulices
This article reports the findings of a qualitative research study conducted with six first semester students of an English as a foreign language program in a public university in Colombia. The aim of the study was to implement task-based language teaching as a way to integrate language skills and help learners to improve their communicative…
Bozeman, Sylvia T.; Hughes, Rhonda J.
For over a decade, Spelman College and Bryn Mawr College have collaborated on initiatives designed to increase the presence of women, with a special focus on women of color, in the upper ranks of mathematical science. The most recent initiative is the EDGE Program (Enhancing Diversity in Graduate Education), which addresses this challenge by attempting to decrease the loss of talent from U.S. graduate programs. To this end, the program provides structures that help women make successful transitions from undergraduate into graduate mathematics programs, redirect or refocus their ambitions when programs are inappropriate or unsuitable, and, ultimately, enable them to "accumulate advantages" that will empower them and foster success in their careers. A broader goal of this program is to diversify the mathematics community by creating models for mathematics programs that allow people from all backgrounds and cultures to thrive, advance, and contribute to the profession.
APL provides convenient associative data manipulation functions in a high level language. Six statements were added to PL/1 via a preprocessor: CREATE, INSERT, FIND, FOR EACH, REMOVE, and DELETE. They allow complete control of all data base operations. During execution, data base management programs perform the functions required to support the APL language. VAAM is the data base management system designed to support the APL language. APL/VAAM is used by CADANCE, an interactive graphic computer system. VAAM is designed to support heavily referenced files. Virtual memory files, which utilize the paging mechanism of the operating system, are used. VAAM supports a full network data structure. The two basic blocks in a VAAM file are entities and sets. Entities are the basic information element and correspond to PL/1 based structures defined by the user. Sets contain the relationship information and are implemented as arrays.
... DEPARTMENT OF EDUCATION Native American and Alaska Native Children in School Program; Office of English Language Acquisition, Language Enhancement, and Academic Achievement for Limited English Proficient Students; Overview Information; Native American and Alaska Native Children in School Program...
Davis, Ernest Kofi; Bishop, Alan J.; Seah, Wee Tiong
This paper reports on a study which sought to investigate how social and political influences affect students' preference for language of instruction in mathematics in Ghana, where the language of instruction from grade 4 onwards in school is not the students' main language. 4 focus group interviews were carried out with 16 primary school…
Eringen, A Cemal
Continuum Physics: Volume 1 - Mathematics is a collection of papers that discusses certain selected mathematical methods used in the study of continuum physics. Papers in this collection deal with developments in mathematics in continuum physics and its applications such as, group theory functional analysis, theory of invariants, and stochastic processes. Part I explains tensor analysis, including the geometry of subspaces and the geometry of Finsler. Part II discusses group theory, which also covers lattices, morphisms, and crystallographic groups. Part III reviews the theory of invariants th
Khan, Aziz; Mathelier, Anthony
JASPAR is a widely used open-access database of curated, non-redundant transcription factor binding profiles. Currently, data from JASPAR can be retrieved as flat files or by using programming language-specific interfaces. Here, we present a programming language-independent application programming interface (API) to access JASPAR data using the Representational State Transfer (REST) architecture. The REST API enables programmatic access to JASPAR by most programming languages and returns data in eight widely used formats. Several endpoints are available to access the data and an endpoint is available to infer the TF binding profile(s) likely bound by a given DNA binding domain protein sequence. Additionally, it provides an interactive browsable interface for bioinformatics tool developers. This REST API is implemented in Python using the Django REST Framework. It is accessible at http://jaspar.genereg.net/api/ and the source code is freely available at https://bitbucket.org/CBGR/jaspar under GPL v3 license. email@example.com or firstname.lastname@example.org. Supplementary data are available at Bioinformatics online.
A. B. Lisitsyn
Full Text Available Abstract Use of the prediction technologies is one of the directions of the research work carried out both in Russia and abroad. Meat processing is accompanied by the complex physico-chemical, biochemical and mechanical processes. To predict the behavior of meat raw material during the technological processing, a complex of physico-technological and structural-mechanical indicators, which objectively reflects its quality, is used. Among these indicators are pH value, water binding and fat holding capacities, water activity, adhesiveness, viscosity, plasticity and so on. The paper demonstrates the influence of animal proteins (beef and pork on the physico-chemical and functional properties before and after thermal treatment of minced meat made from meat raw material with different content of the connective and fat tissues. On the basis of the experimental data, the model (stochastic dependence parameters linking the quantitative resultant and factor variables were obtained using the regression analysis, and the degree of the correlation with the experimental data was assessed. The maximum allowable levels of meat raw material replacement with animal proteins (beef and pork were established by the methods of mathematical programming. Use of the information technologies will significantly reduce the costs of the experimental search and substantiation of the optimal level of replacement of meat raw material with animal proteins (beef, pork, and will also allow establishing a relationship of product quality indicators with quantity and quality of minced meat ingredients.
Muijs, Daniel; Reynolds, David
Examines effects of teacher behaviors and classroom organization on 2,128 pupils' progress in mathematics in UK primary schools participating in a math intervention program. Using multilevel modeling techniques, finds that teacher behaviors could explain between 60 and 70 percent of pupils' progress on numeracy tests. (Contains 35 references.)…
Computer Mathematics Language-An Overview. Fundamentals of MATLAB Programming. Calculus Problems. MATLAB Computations of Linear Algebra Problems. Integral Transforms and Complex Variable Functions. Solutions to Nonlinear Equations and Optimization Problems. MATLAB Solutions to Differential Equation Problems. Solving Interpolations and Approximations Problems. Solving Probability and Mathematical Statistics Problems. Nontraditional Solution Methods for Mathematical Problems.
Hertlin, J.; Mackert, M.
In the present paper the functions are presented, which should be part of a test system for user programs in a higher treat time programming language, taking into account time sequences and competitive processes. As can be shown by the problem of testing, use of higher level real time programming languages renders the task of program development essentially easier, however performance of test procedures without appropriate test systems is very difficult. After the presentation of notions and methods for the testing of programs, general requirements on testing tools are described and the test system functions for a program test, beeing uncritical with respect to time, are placed together. Thereby, for every individual function, the interface between the test system, the program under test, and the residual program-generation system (compiler, binder, operating system, delay-time system, and loader) is given too. For the time-critical test, a series of desirable functions are described, which can be implemented with acceptable expense. (orig.) [de
Full Text Available The study investigated the effects of two reflection support programs on elementary school mathematics teachers’ pedagogical problem solving view. Sixty-two teachers participated in a professional development program. Thirty teachers were assigned to the self-questioning (S_Q training and thirty two teachers were assigned to the reflection discourse (R_D training. The S_Q program was based on the IMPROVE self-questioning approach which emphasizes systematic discussion along the phases of mathematical or pedagogical problem solving as student and teacher. The R_D program emphasized discussion of standard based teaching and learning principles. Findings indicated that systematic reflection support (S_Q is effective for developing mathematics PCK, and strengthening metacognitive knowledge of mathematics teachers, more than reflection discourse (R_D. No differences were found between the groups in developing beliefs about teaching mathematics in using problem solving view.
Sangwin, Christopher J.; O'Toole, Claire
This paper reports a study which investigated the extent to which undergraduate mathematics students in the United Kingdom are currently taught to programme a computer as a core part of their mathematics degree programme. We undertook an online survey, with significant follow-up correspondence, to gather data on current curricula and received…
Mesa Public Schools, AZ.
Behavioral objectives are listed for the primary, intermediate and junior high mathematics curriculum in the Mesa Public Schools (Arizona). Lists of specific objectives are given by level for sets, symbol recognition, number operations, mathematical structures, measurement and problem solving skills. (JP)
Kennedy, Kristin; Schumacher, Phyllis
Bryant University was originally a school for business majors and offered only a few mathematics courses. After becoming accredited by the New England Association of Colleges and Universities in the 1960s, the college was required to upgrade its offerings in the area of mathematics. In the 1970s, the department offerings were increased to include…
Full Text Available Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence. We present and formally characterize the language CG, which tackles this issue. In CG, users are able to develop time-dependent programs, in a flexible and straightforward manner. Such programs can, in turn, be coupled with evolving environments, thus empowering users to control the environment’s evolution. CG relies on a structure for storing temporal information, together with a dedicated query mechanism. Hence, we explore the computational complexity of our query satisfaction problem. We discuss previous implementation attempts of CG and introduce a novel prototype which relies on logic programming. Finally, we address the issue of consistency and correctness of CG program execution, using the Event-B modeling approach.
Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence. We present and formally characterize the language CG, which tackles this issue. In CG, users are able to develop time-dependent programs, in a flexible and straightforward manner. Such programs can, in turn, be coupled with evolving environments, thus empowering users to control the environment's evolution. CG relies on a structure for storing temporal information, together with a dedicated query mechanism. Hence, we explore the computational complexity of our query satisfaction problem. We discuss previous implementation attempts of CG and introduce a novel prototype which relies on logic programming. Finally, we address the issue of consistency and correctness of CG program execution, using the Event-B modeling approach.
In this thesis we describe the design and implementation of Futhark, a small data-parallel purely functional array language that offers a machine-neutral programming model, and an optimising compiler that generates efficient OpenCL code for GPUs. The overall philosophy is based on seeking a middle...... a lightweight system of size-dependent types that enables the compiler to reason symbolically about the size of arrays in the program, and that reuses general-purpose compiler optimisations to infer relationships between sizes. Third, we furnish Futhark with novel parallel combinators capable of expressing...... reasoning. Fifth, we perform an evaluation on 21 benchmarks that demonstrates the impact of the language and compiler features, and shows application-level performance that is in many cases competitive with hand-written GPU code. Sixth, we make the Futhark compiler freely available with full source code...
Larsen, Kim Guldstrand; Schmid, Stefan; Xue, Bingtian
Programmability and verifiability lie at the heart of the software-defined networking paradigm. While OpenFlow and its match-action concept provide primitive operations to manipulate hardware configurations, over the last years, several more expressive network programming languages have been...... developed. This paper presents WNetKAT, the first network programming language accounting for the fact that networks are inherently weighted, and communications subject to capacity constraints (e.g., in terms of bandwidth) and costs (e.g., latency or monetary costs). WNetKAT is based on a syntactic...... generalize to more complex (and stateful) network functions and service chains. For example, WNetKAT allows to model flows which need to traverse certain waypoint functions, which can change the traffic rate. This paper also shows the relationship between the equivalence problem of WNet...
M. A. Vasechkin
Full Text Available Global computerization determined the dominant position of the analytical methods for the study of mechanisms. As a result, kinetostatics analysis of mechanisms using software packages is an important part of scientific and practical activities of engineers and designers. Therefore, software implementation of mathematical models kinetostatical calculating mechanisms is of practical interest. The mathematical model obtained in . In the language of Turbo Pascal developed a computer procedure that calculates the forces in kinematic pairs in groups Assur (GA and a balancing force at the primary level. Before use appropriate computational procedures it is necessary to know all external forces and moments acting on the GA and to determine the inertial forces and moments of inertia forces. The process of calculations and constructions of the provisions of the mechanism can be summarized as follows. Organized cycle in which to calculate the position of an initial link of the mechanism. Calculate the position of the remaining links of the mechanism by referring to relevant procedures module DIADA in GA [2,3]. Using the graphics mode of the computer displaying on the display the position of the mechanism. The computed inertial forces and moments of inertia forces. Turning to the corresponding procedures of the module, calculated all the forces in kinematic pairs and the balancing force at the primary level. In each kinematic pair build forces and their direction with the help of simple graphical procedures. The magnitude of these forces and their direction are displayed in a special window with text mode. This work contains listings of the test programs MyTеst, is an example of using computing capabilities of the developed module. As a check on the calculation procedures of module in the program is reproduced an example of calculating the balancing forces according to the method of Zhukovsky (Zhukovsky lever.
Spurkeland, Johannes Svante; Jensen, Andreas Schmidt; Villadsen, Jørgen
Agents in a multiagent system may in many cases find themselves in situations where inconsistencies arise. In order to properly deal with these, a good belief revision procedure is required. This paper illustrates the usefulness of such a procedure: a certain belief revision algorithm is consider...... in order to deal with inconsistencies and, particularly, the issue of inconsistencies, and belief revision is examined in relation to the GOAL agent programming language....
Mortensen, Kjeld Høyer; Schougaard, Kari Rye; Schultz, Ulrik Pagh
, even in a worst-case scenario where an unauthorized user gains remote control of the facilities. We address this safety issue at the programming language level by restricting the operations that can be performed on devices according to the physical location of the user initiating the request......-based restrictions on operations. This model has been implemented in a middleware for home AV devices written in Java, using infrared communication and a FireWire network to implement location awareness....
Mortensen, Kjeld Høyer; Schougaard, Kari Sofie Fogh; Schultz, Ulrik Pagh
, even in a worst-case scenario where an unauthorized user gains remote control of the facilities. We address this safety issue at the programming language level by restricting the operations that can be performed on devices according to the physical location of the user initiating the request......-based restrictions on operations. This model has been implemented in a middleware for home AV devices written in Java, using infrared communication and a FireWire network to implement location awareness....
Full Text Available Recent developments in processor capabilities, software tools, programming languages and programming paradigms have brought about new approaches to high performance computing. A steadfast component of this dynamic evolution has been the scientific community’s reliance on established scientific packages. As a consequence, programmers of high‐performance applications are reluctant to embrace evolving languages such as Java. This paper describes the Java‐to‐C Interface (JCI tool which provides application programmers wishing to use Java with immediate accessibility to existing scientific packages. The JCI tool also facilitates rapid development and reuse of existing code. These benefits are provided at minimal cost to the programmer. While beneficial to the programmer, the additional advantages of mixed‐language programming in terms of application performance and portability are addressed in detail within the context of this paper. In addition, we discuss how the JCI tool is complementing other ongoing projects such as IBM’s High‐Performance Compiler for Java (HPCJ and IceT’s metacomputing environment.
This paper presents a state of the art of operations research techniques applied in petroleum allocation, namely mathematical programming methods, with principal attention directed toward linear programming and nonlinear programming (including quadratic programming). Contributions to the economics of petroleum allocation are discussed for international trade, industrial organization, regional/macro economics, public finance and natural resource/environmental economics
Hassidov, Dina; Ilany, Bat-Sheva
This article presents a mixed-method study of the innovative "Senso-Math" preschool program and the reactions of both the facilitators, who underwent a special training program, and the preschool teachers in whose classes the program was implemented. The goal of the program is to enhance mathematical development in preschool children…
Halasz, Boris; Grozdek, Marino; Soldo, Vladimir [Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb, Ivana Lucica 5, 10 000 Zagreb (Croatia)
Since the use of standard engineering methods in the process of an ice bank performance evaluation offers neither adequate flexibility nor accuracy, the aim of this research was to provide a powerful tool for an industrial design of an ice storage system allowing to account for the various design parameters and system arrangements over a wide range of time varying operating conditions. In this paper the development of a computer application for the prediction of an ice bank system operation is presented. Static, indirect, cool thermal storage systems with external ice on coil building/melting were considered. The mathematical model was developed by means of energy and mass balance relations for each component of the system and is basically divided into two parts, the model of an ice storage system and the model of a refrigeration unit. Heat transfer processes in an ice silo were modelled by use of empirical correlations while the performance of refrigeration unit components were based on manufacturers data. Programming and application design were made in Fortran 95 language standard. Input of data is enabled through drop down menus and dialog boxes, while the results are presented via figures, diagrams and data (ASCII) files. In addition, to demonstrate the necessity for development of simulation program a case study was performed. Simulation results clearly indicate that no simple engineering methods or rule of thumb principles could be utilised in order to validate performance of an ice bank system properly. (author)
Kočvara, Michal; Outrata, Jiří
Roč. 10, č. 6 (2017), s. 1329-1350 ISSN 1937-1632 R&D Projects: GA ČR GA15-00735S Institutional support: RVO:67985556 Keywords : conic optimization * truss topology optimization * mathematical programs with equilibrium constraints Subject RIV: BA - General Mathematics OBOR OECD: Applied mathematics Impact factor: 0.781, year: 2016 http://library.utia.cas.cz/separaty/2017/MTR/kocvara-0477818.pdf
Rochmad; Agoestanto, A.; Kharis, M.
Critical and creative thinking give important role in learning matematics for mathematics education students. This research to explored the characteristic of critical and creative thinking of students of mathematics study program in mathematics department. Critical thinking and creative thinking can be illustrated as two sides of a coin, which one is associated to the other. In elementary linear algebra courses, however, critical thinking can be seen as a foundation to build students’ creative thinking.
Knudsen, Jørgen Lindskov; Madsen, Ole Lehrmann
the research area gives additional insight into the research area and its underlying theoretical foundation. In this paper we will report on our approach to teaching programming languages as a whole and especially teaching object-oriented programming. The prime message to be told is that working from...... a theoretical foundation pays off. Without a theoretical foundation, the discussions are often centered around features of different languages. With a foundation, discussions may be conducted on solid pound. Furthermore, the students have significantly fewer difficulties in grasping the concrete programming...
Trancón y Widemann, B.; Bolz, C.F.; Grelck, C.; Loidl, H.-W.; Peña, R.
R is an environment and functional programming language for statistical data analysis and visualization. Largely unknown to the functional programming community, it is popular and influential in many empirical sciences. Due to its integrated combination of dynamic and reflective scripting on one
Lindenskov, Lena; Kirsted, Katrine
. It is not a straightforward endeavour. One reason is that the term theory as well as the term practice may very well be given different meanings by different agents. This variation is in our view to be considered in “implementation research” and Lewin’s statement ought to be qualified by two questions “Who cares for a good...... theory?” and “What makes a good theory good for whom?” This paper explores this variation of how theory is perceived by mathematics teachers and by mathematics researchers involved in a developmental project on early intervention in mathematics education in Denmark. The paper exemplifies how agents...
Klotz, Frederic S.
Functional programming, in which the connection to mathematics is simple and direct, is described. A language such as Logo illustrates the relationship between functional programming and mathematics in more detail. (MNS)
Tanya Marie Evans
Full Text Available Math disability (MD is a neurodevelopmental disorder affecting mathematical abilities. Here we propose a new explanatory account of MD, the Procedural Deficit Hypothesis (PDH, that may further our understanding of the disorder. According to the PDH of MD, abnormalities of brain structures underlying the procedural memory system can lead to difficulties with math skills learned in this system, as well as problems with other functions that depend on these brain structures. This brain-based account is motivated in part by the high comorbidity between MD and language disorders such as dyslexia that may be partly explained by the PDH, as well as by the likelihood that learning automatized math skills should depend on procedural memory. Here we first lay out the PDH of MD, and then present specific predictions, examining the existing literature for each while pointing out weaknesses and gaps to be addressed by future research. Although we do not claim that the PDH is likely to fully explain MD, we do suggest that the hypothesis could have substantial explanatory power, and that it provides a useful theoretical framework that may advance our understanding of the disorder.
Full Text Available Intrinsic Motivation Inventory (IMI is a multidimensional measurement grounded on the Self-Determination Theory (SDT used in assessing the subjective experiences of participants when developing an activity. The aim of this study is to analyze the characteristics of IMI among Portuguese students, testing four organizational models (unidimensional, multidimensional, hierarchical and bi-factor. A total of 3685 students from the 5th to the 12th grades (50.4% boys participated in the study (M = 13.67, SD = 2.26. Two versions of IMI were used (First Language and Mathematics with twenty-one items distributed over five subscales: Enjoyment, Perceived Competence, Pressure/Tension, Perceived Choice and Value/Utility. The confirmatory factor analysis corroborated the multidimensionality of intrinsic motivation, and that the bi-factor model presented the best fit indexes. This model showed the existence of one general factor, resulting from the contribution of all individual dimensions and the particularities of most of them. Furthermore, results also highlighted satisfactory reliability scores both through Cronbach's alpha scores and Composite reliability scores. These results indicate that this scale is appropriate to evaluate the underlying constructs of the theoretical model of SDT and allows for the calculation of a global measure of intrinsic motivation, as well as specific measures for their predictors.
A. E. Pismak
Full Text Available Subject of Research. The paper is focused on Wiktionary articles structural organization in the aspect of its usage as the base for semantic network. Wiktionary community references, article templates and articles markup features are analyzed. The problem of numerical estimation for semantic similarity of structural elements in Wiktionary articles is considered. Analysis of existing software for semantic similarity estimation of such elements is carried out; algorithms of their functioning are studied; their advantages and disadvantages are shown. Methods. Mathematical statistics methods were used to analyze Wiktionary articles markup features. The method of semantic similarity computing based on statistics data for compared structural elements was proposed.Main Results. We have concluded that there is no possibility for direct use of Wiktionary articles as the source for semantic network. We have proposed to find hidden similarity between article elements, and for that purpose we have developed the algorithm for calculation of confidence coefficients proving that each pair of sentences is semantically near. The research of quantitative and qualitative characteristics for the developed algorithm has shown its major performance advantage over the other existing solutions in the presence of insignificantly higher error rate. Practical Relevance. The resulting algorithm may be useful in developing tools for automatic Wiktionary articles parsing. The developed method could be used in computing of semantic similarity for short text fragments in natural language in case of algorithm performance requirements are higher than its accuracy specifications.
Stein, Sherman K
Anyone can appreciate the beauty, depth, and vitality of mathematics with the help of this highly readable text, specially developed from a college course designed to appeal to students in a variety of fields. Readers with little mathematical background are exposed to a broad range of subjects chosen from number theory, topology, set theory, geometry, algebra, and analysis. Starting with a survey of questions on weight, the text discusses the primes, the fundamental theorem of arithmetic, rationals and irrationals, tiling, tiling and electricity, probability, infinite sets, and many other topi
Based on course material used by the author at Yale University, this practical text addresses the widening gap found between the mathematics required for upper-level courses in the physical sciences and the knowledge of incoming students This superb book offers students an excellent opportunity to strengthen their mathematical skills by solving various problems in differential calculus By covering material in its simplest form, students can look forward to a smooth entry into any course in the physical sciences
Huddleston, R.E.; Jefferson, T.H.
The Sandia Mathematical Program Library is a collection of general-purpose mathematical subroutines which are maintained within Sandia on a quick service basis. This document is intended to be a reference guide for using the library at Sandia Laboratories, Livermore. (auth)
Sample McMeeking, Laura B.; Orsi, Rebecca; Cobb, R. Brian
The effect of a 15- to 24-month in-service professional development (PD) program on state accountability mathematics test scores for middle school students was examined using a quasi-experimental design. Middle level mathematics teachers (n = 128) from 7 school districts and 64 middle schools volunteered for a PD sequence of content-oriented…
Jurlewicz, Agnieszka; Nunes, Claudia; Russo, Giovanni
Modeling Clinic for Industrial Mathematics (MODCLIM) is a Strategic Partnership for the Development of Training Workshops and Modeling Clinic for Industrial Mathematics, funded through the European Commission under the Erasmus Plus Program, Key Action 2: Cooperation for innovation and the exchang...
... Acquisition, Language Enhancement, and Academic Achievement for Limited English Proficient Students; Overview... to provide instruction that accelerates ELs' acquisition of language, literacy, and content knowledge.... Rosalinda Barrera, Assistant Deputy Secretary and Director for English Language Acquisition, Language...
Soltanlou, Mojtaba; Sitnikova, Maria A; Nuerk, Hans-Christoph; Dresler, Thomas
In this review, we aim to highlight the application of functional near-infrared spectroscopy (fNIRS) as a useful neuroimaging technique for the investigation of cognitive development. We focus on brain activation changes during the development of mathematics and language skills in schoolchildren. We discuss how technical limitations of common neuroimaging techniques such as functional magnetic resonance imaging (fMRI) have resulted in our limited understanding of neural changes during development, while fNIRS would be a suitable and child-friendly method to examine cognitive development. Moreover, this technique enables us to go to schools to collect large samples of data from children in ecologically valid settings. Furthermore, we report findings of fNIRS studies in the fields of mathematics and language, followed by a discussion of the outlook of fNIRS in these fields. We suggest fNIRS as an additional technique to track brain activation changes in the field of educational neuroscience.
The 1988 progress report of the Mathematics center (Polytechnic School, France), is presented. The Center is composed of different research teams: analysis, Riemann geometry, group theory, formal calculus and algorithm geometry, dynamical systems, topology and singularity. For each team, the members, the research topics, the national and international cooperations, are given. The papers concerning the investigations carried out in 1988, are listed [fr
Hart, Ulrike; Wildner, Manfred; Krämer, Daniela; Crispin, Alexander
To evaluate the benefits of implementing measures to promote skills in the areas of language, mathematics and singing in kindergardeners by statistical analysis of data collected during the school entrance examination (ESU) of 4-5-year-old children from the county of Biberach. Study 1 employs multivariate regression analysis to analyse - in chronological order - the ESU data on 4 cohorts (2011-2014; n=7 148) of children of the Biberach county. Study 2 qualitatively compares identical data representative of the entire state of Baden-Württemberg (N=3×80 000) with the Biberach results. Study 3 focuses on the cohort 2014 in Biberach county (n=1 783) and employs logistical regression techniques to correlate curriculum content and child development. There are significant performance improvements in the Biberach population (2011-2014) in the development of language and early mathematics, as well as in visual comprehension and visuomotor skills, but not in the area of gross motor skills. Similar improvements are much more difficult to demonstrate for the entire state of Baden-Württemberg. The detailed analysis of the 2014 Biberach County data reveal that kindergardeners with increased exposure to mathematics will have a decreased risk of failure in early mathematics (OR 0.72) and grammar skills (OR 0.53-0.75). Children with speech impairment or children not fluent in German that had extra language tutorials, typically in small groups and 4 times a week for 30 min, still have a higher risk of failure in all developmental aspects, save gross motor skills (e. g. OR 3.32 in grammar skills, OR 3.08 for hyperactivity). Programs with emphasis on singing have little effect on the above data. The risk of failure in German language is high (OR 2.78) for those of non-German backgrounds, but less in visuomotor skills (OR 0.52) and hyperactivity (OR 0.51). Statistical analyses show positive correlation of curriculum content and early child development for the kindergardens
... improving the nation's capacity for teaching and learning foreign languages effectively. (Authority: 20 U.S... 34 Education 3 2010-07-01 2010-07-01 false What is the Language Resource Centers Program? 669.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION LANGUAGE RESOURCE CENTERS PROGRAM General § 669.1 What is the...
Adaptivelearning programs are frequently used in the K-8 mathematics classroom. Theseprograms provide instruction to students at the appropriate level of difficultyby presenting content, providing feedback, and allowing students to masterskills before progressing. The purpose of the study was to seek to interprethow preservice teachers’ experiences influence their perceptions and plans tointegrate adaptive learning programs in their future K-8 mathematics classroom.This was a qualitative stud...
Gençtürk, Abdullah Tarik; Korucu, Agah Tugrul
It is observed that teacher candidates receiving education in the department of Computer and Instructional Technologies Education are not able to gain enough experience and knowledge in "Programming Languages" lesson. The goal of this study is to analyse the effects of web 2.0 technologies usage in programming languages lesson on the…
Chen, Chiu-Jung; Liu, Pei-Lin
This study evaluated the effects of a personalized computer-assisted mathematics problem-solving program on the performance and attitude of Taiwanese fourth grade students. The purpose of this study was to determine whether the personalized computer-assisted program improved student performance and attitude over the nonpersonalized program.…
Bowens, Bryan D.; Warren, Susan R.
This two-part investigation (a) assessed the impact of the Jaime Escalante Math Program (JEMP), a structured summer mathematics intervention program, on the math achievement of urban middle school students, (b) identified the characteristics of the program that the administrators and teachers perceived to contribute to student achievement, and (c)…
Bragg, Leicha A.; Herbert, Sandra; Loong, Esther Yoon-Kin; Vale, Colleen; Widjaja, Wanty
Mathematical reasoning is now featured in the mathematics curriculum documents of many nations, but this necessitates changes to teaching practice and hence a need for professional learning. The development of children's mathematical reasoning requires appropriate encouragement and feedback from their teacher who can only do this if they recognise…
Keren, Baruch; Pliskin, Joseph S
The optimal timing for performing radical medical procedures as joint (e.g., hip) replacement must be seriously considered. In this paper we show that under deterministic assumptions the optimal timing for joint replacement is a solution of a mathematical programming problem, and under stochastic assumptions the optimal timing can be formulated as a stochastic programming problem. We formulate deterministic and stochastic models that can serve as decision support tools. The results show that the benefit from joint replacement surgery is heavily dependent on timing. Moreover, for a special case where the patient's remaining life is normally distributed along with a normally distributed survival of the new joint, the expected benefit function from surgery is completely solved. This enables practitioners to draw the expected benefit graph, to find the optimal timing, to evaluate the benefit for each patient, to set priorities among patients and to decide if joint replacement should be performed and when.
Nielsen, Janus Dam; Schwartzbach, Michael Ignatieff
We present a domain-specific programming language for Secure Multiparty Computation (SMC). Information is a resource of vital importance and considerable economic value to individuals, public administration, and private companies. This means that the confidentiality of information is crucial...... on secret values and results are only revealed according to specific protocols. We identify the key linguistic concepts of SMC and bridge the gap between high-level security requirements and low-level cryptographic operations constituting an SMC platform, thus improving the efficiency and security of SMC...
Akmese, Pelin Pistav
Being hearing impaired limits one's ability to communicate in that it affects all areas of development, particularly speech. One of the methods the hearing impaired use to communicate is sign language. This study, a descriptive study, intends to examine the opinions of individuals who had enrolled in a sign language certification program by using…
Kuper, Jan; Wester, Rinse
This paper presents a design methodology for deriving an FPGA implementation directly from a mathematical specification, thus avoiding the switch in semantic perspective as is present in widely applied methods which include an imperative implementation as an intermediate step. The first step in the
... 25 Indians 1 2010-04-01 2010-04-01 false May schools operate a language development program... Formula Language Development Programs § 39.137 May schools operate a language development program without a specific appropriation from Congress? Yes, a school may operate a language development program...
Gertz, Matthew; Stewart, David B.; Khosla, Pradeep K.
In this paper we describe an iconic programming language called Onika for sensor-based robotic systems. Onika is both modular and reconfigurable and can be used with any system architecture and real-time operating system. Onika is also a multi-level programming environment wherein tasks are built by connecting a series of icons which, in turn, can be defined in terms of other icons at the lower levels. Expert users are also allowed to use control block form to define servo tasks. The icons in Onika are both shape and color coded, like the pieces of a jigsaw puzzle, thus providing a form of error control in the development of high level applications.
Goto, Naohisa; Prins, Pjotr; Nakao, Mitsuteru; Bonnal, Raoul; Aerts, Jan; Katayama, Toshiaki
The BioRuby software toolkit contains a comprehensive set of free development tools and libraries for bioinformatics and molecular biology, written in the Ruby programming language. BioRuby has components for sequence analysis, pathway analysis, protein modelling and phylogenetic analysis; it supports many widely used data formats and provides easy access to databases, external programs and public web services, including BLAST, KEGG, GenBank, MEDLINE and GO. BioRuby comes with a tutorial, documentation and an interactive environment, which can be used in the shell, and in the web browser. BioRuby is free and open source software, made available under the Ruby license. BioRuby runs on all platforms that support Ruby, including Linux, Mac OS X and Windows. And, with JRuby, BioRuby runs on the Java Virtual Machine. The source code is available from http://www.bioruby.org/. email@example.com
Patitz, Matthew John
Self-assembly is the process whereby relatively simple components autonomously combine to form more complex objects. Nature exhibits self-assembly to form everything from microscopic crystals to living cells to galaxies. With a desire to both form increasingly sophisticated products and to understand the basic components of living systems, scientists have developed and studied artificial self-assembling systems. One such framework is the Tile Assembly Model introduced by Erik Winfree in 1998. In this model, simple two-dimensional square 'tiles' are designed so that they self-assemble into desired shapes. The work in this thesis consists of a series of results which build toward the future goal of designing an abstracted, high-level programming language for designing the molecular components of self-assembling systems which can perform powerful computations and form into intricate structures. The first two sets of results demonstrate self-assembling systems which perform infinite series of computations that characterize computably enumerable and decidable languages, and exhibit tools for algorithmically generating the necessary sets of tiles. In the next chapter, methods for generating tile sets which self-assemble into complicated shapes, namely a class of discrete self-similar fractal structures, are presented. Next, a software package for graphically designing tile sets, simulating their self-assembly, and debugging designed systems is discussed. Finally, a high-level programming language which abstracts much of the complexity and tedium of designing such systems, while preventing many of the common errors, is presented. The summation of this body of work presents a broad coverage of the spectrum of desired outputs from artificial self-assembling systems and a progression in the sophistication of tools used to design them. By creating a broader and deeper set of modular tools for designing self-assembling systems, we hope to increase the complexity which is
Full Text Available There are two basic approaches in learning new programming language: a bottom-up approach and a top-down approach. It has been said that if a learner has already acquired one language, the top-down approach is more efficient to learn another while, for a person who has absolutely no knowledge of any programming languages; the bottom-up approach is preferable. The major problem of the bottom-up approach is that it requires longer period to acquire the language. For quicker learning, this paper applies a top-down approach for a beginners who has not yet acquired any programming languages.
McClellan, Sean R.
Objectives. We investigated the extent to which implementing language assistance programming through contracting with community-based organizations improved the accessibility of mental health care under Medi-Cal (California’s Medicaid program) for Spanish-speaking persons with limited English proficiency, and whether it reduced language-based treatment access disparities. Methods. Using a time series nonequivalent control group design, we studied county-level penetration of language assistance programming over 10 years (1997–2006) for Spanish-speaking persons with limited English proficiency covered under Medi-Cal. We used linear regression with county fixed effects to control for ongoing trends and other influences. Results. When county mental health plans contracted with community-based organizations, those implementing language assistance programming increased penetration rates of Spanish-language mental health services under Medi-Cal more than other plans (0.28 percentage points, a 25% increase on average; P language-related disparities. Conclusions. Mental health treatment programs operated by community-based organizations may have moderately improved access after implementing required language assistance programming, but the programming did not reduce entrenched disparities in the accessibility of mental health services. PMID:23865663
Snowden, Lonnie R; McClellan, Sean R
We investigated the extent to which implementing language assistance programming through contracting with community-based organizations improved the accessibility of mental health care under Medi-Cal (California's Medicaid program) for Spanish-speaking persons with limited English proficiency, and whether it reduced language-based treatment access disparities. Using a time series nonequivalent control group design, we studied county-level penetration of language assistance programming over 10 years (1997-2006) for Spanish-speaking persons with limited English proficiency covered under Medi-Cal. We used linear regression with county fixed effects to control for ongoing trends and other influences. When county mental health plans contracted with community-based organizations, those implementing language assistance programming increased penetration rates of Spanish-language mental health services under Medi-Cal more than other plans (0.28 percentage points, a 25% increase on average; P language-related disparities. Mental health treatment programs operated by community-based organizations may have moderately improved access after implementing required language assistance programming, but the programming did not reduce entrenched disparities in the accessibility of mental health services.
Haxhi, Jessica; Yamashita-Iverson, Kazumi
Maloney Interdistrict Magnet School (MIMS) is the only elementary school in Waterbury that has a world language program and is one of only two elementary Japanese programs in Connecticut. In the past 15 years, more than 1500 students have participated in its Japanese Language and Culture (JLC) Program in grades Prekindergarten through 5th. The JLC…
Geuns, S.J.; Hausmans, J.P.H.M.; Bekooij, Marco Jan Gerrit
Modal multi-rate stream processing applications with real-time constraints which are executed on multi-core embedded systems often cannot be conveniently specified using current programming languages. An important issue is that sequential programming languages do not allow for convenient programming
Full Text Available A concept of software support of learning programming language and technologies is regarded in the article. Present systems of independent study of subjects, related to programming, are examined. Necessary components of a system of support learning programming languages and technologies, which is oriented on independent study, are considered.
Zhang, Lei; Cignitti, Stefano; Gani, Rafiqul
This short communication presents a generic mathematical programming formulation for Computer-Aided Molecular Design (CAMD). A given CAMD problem, based on target properties, is formulated as a Mixed Integer Linear/Non-Linear Program (MILP/MINLP). The mathematical programming model presented here......, which is formulated as an MILP/MINLP problem, considers first-order and second-order molecular groups for molecular structure representation and property estimation. It is shown that various CAMD problems can be formulated and solved through this model....
Rich, Peter J.; Bly, Neil; Leatham, Keith R.
This study aimed to provide first-hand accounts of the perceived long-term effects of learning computer programming on a learner's approach to mathematics. These phenomenological accounts, garnered from individual interviews of seven different programmers, illustrate four specific areas of interest: (1) programming provides context for many…
Park, Hyoung Seo
The purpose of the study was to develop an MST Integrated Program for making a Maglev hands-on activity for higher elementary school students in Korea. In this MST Integrated Program, students will apply Mathematics, Science, and Technology principles and concepts to the design, construction, and evaluation of a magnetically levitated vehicle. The…
Perry, Bob; Gervasoni, Ann; Dockett, Sue
The "Let's Count" pilot early mathematics program was implemented in five early childhood educational contexts across Australia during 2011. The program used specifically formulated materials and workshops to enlist the assistance of early childhood educators to work with parents and other family members of children in their settings to…
Howie, Sarah J.; Plomp, T.
South Africa participated in the Third International Mathematics and Science Study (TIMSS)in 1995 and its repeat in 1999. In 1995, none of the data on school or teacher level could be analyzed to provide the context for the students' poor achievements in mathematics and science. With the 1999 data
Roč. 65, č. 5 (2016), s. 1049-1060 ISSN 0233-1934 R&D Projects: GA ČR GAP402/12/1309 Institutional support: RVO:67985556 Keywords : parameter-dependent mathematical programs with generalized equilibrium constraints * M-stationarity * C-stationarity * isolated calmness * Aubin property Subject RIV: BA - General Mathematics Impact factor: 0.943, year: 2016 http://library.utia.cas.cz/separaty/2016/MTR/cervinka-0461163.pdf
Nasrullah Nasrullah; Zulkardi Zulkardi
In line with design research, the use of Bermain Satu Rumah (BSR) as traditional game to support children’s counting classroom wherein students are encouraged to construct mathematical understanding. Number in traditional games is an interesting aspect that is helpful for children to encounter numerous situations that bring them into contact with sounds, symbols and meanings that relate to numbers. Bermain satu rumah as starting activity would be media to enhance student’s sense of number as...
Full Text Available Many of the studies on the subject of literature as an essential part of the English education programs in Arab universities has concentrated on only professors’ views and attitudes to these courses. By contrast, the following article describes a qualitative investigation on how former students and presently in-service English teachers felt about studying English literature during their university years. Data were collected through semi-structured interviews with six English-major graduates who teach EFL at high and secondary schools in Misurata. Libya. The study has revealed that participants were not positive about literature courses as they maintain that these courses have contributed little to their language development and teaching careers. They have narrated several factors which limited benefiting from these courses. Some of these factors are the teaching and learning practices in the language classroom, the difficulty and oddness of vocabulary and structures of literature texts and the lack of skills in English. Based on the interviews, reflections and implications of these barriers are made.
Brown, James Dean
A systematic approach to second language curriculum development is outlined, enumerating the phases and activities involved in developing and implementing a sound and effective language program. The first chapter describes a system whereby all language teaching activities can be classified into approaches, syllabuses, techniques, exercises, or…
Anderson, Neil J.
This manual provides instructors in Peace Corps language training programs with information about two kinds of classroom testing: formative, ongoing testing and summative testing that occurs at the end of an instructional period. The first of the manual's four chapters on the purposes of language testing, discusses language testing within a…
Snyder, Delys Waite; Nielson, Rex P.; Kurzer, Kendon
Within the growing field of scholarly literature on foreign language (FL) writing pedagogy, few studies have addressed pedagogical questions regarding the teaching of writing to advanced language learners. Writing fellows peer tutoring programs, although typically associated with first language writing instruction, likely can benefit and support…
Lin, Janet Mei-Chuen; Yang, Mei-Ching
In this study half of 52 sixth graders learned to program in MSWLogo and the other half in Drape. An analysis of students' test scores revealed that Drape (an iconic language) seemed to have a steeper learning curve than MSWLogo (a textual language). However, as students gradually became more familiar with either language, the difference in…
For many years, foreign language teachers have used the computer to provide supplemental exercises in the instruction of foreign languages. In recent years, advances in computer technology have motivated teachers to reassess the computer and consider it a valuable part of daily foreign language learning. Innovative software programs, authoring…
Doornik, Jurgen A; Hendry, David F; Shephard, Neil
This paper reviews the need for powerful computing facilities in econometrics, focusing on concrete problems which arise in financial economics and in macroeconomics. We argue that the profession is being held back by the lack of easy-to-use generic software which is able to exploit the availability of cheap clusters of distributed computers. Our response is to extend, in a number of directions, the well-known matrix-programming interpreted language Ox developed by the first author. We note three possible levels of extensions: (i) Ox with parallelization explicit in the Ox code; (ii) Ox with a parallelized run-time library; and (iii) Ox with a parallelized interpreter. This paper studies and implements the first case, emphasizing the need for deterministic computing in science. We give examples in the context of financial economics and time-series modelling.
An IRAF package to assist in SPP code development and debugging is described. SPP is the machine-independent programming language used by virtually all IRAF tasks. Tools have been written to aide both novice and advanced SPP programmers with development and debugging by providing tasks to check the code for the number and type of arguments in all calls to IRAF VOS library procedures, list the calling sequences of IRAF tasks, create a database of identifiers for quick access, check for memory which is not freed, and a source code formatter. Debugging is simplified since the programmer is able to get a better understanding of the structure of his/her code, and IRAF library procedure calls (probably the most common source of errors) are automatically checked for correctness.
Vassilev, Boris; Louhimo, Riku; Ikonen, Elina; Hautaniemi, Sampsa
A modern biomedical research project can easily contain hundreds of analysis steps and lack of reproducibility of the analyses has been recognized as a severe issue. While thorough documentation enables reproducibility, the number of analysis programs used can be so large that in reality reproducibility cannot be easily achieved. Literate programming is an approach to present computer programs to human readers. The code is rearranged to follow the logic of the program, and to explain that logic in a natural language. The code executed by the computer is extracted from the literate source code. As such, literate programming is an ideal formalism for systematizing analysis steps in biomedical research. We have developed the reproducible computing tool Lir (literate, reproducible computing) that allows a tool-agnostic approach to biomedical data analysis. We demonstrate the utility of Lir by applying it to a case study. Our aim was to investigate the role of endosomal trafficking regulators to the progression of breast cancer. In this analysis, a variety of tools were combined to interpret the available data: a relational database, standard command-line tools, and a statistical computing environment. The analysis revealed that the lipid transport related genes LAPTM4B and NDRG1 are coamplified in breast cancer patients, and identified genes potentially cooperating with LAPTM4B in breast cancer progression. Our case study demonstrates that with Lir, an array of tools can be combined in the same data analysis to improve efficiency, reproducibility, and ease of understanding. Lir is an open-source software available at github.com/borisvassilev/lir.
Pruekpramool, Chaninan; Kanyaprasith, Kamonwan; Phonphok, Nason; Diem, Huynh Thi Thuy
An internship program between Vietnamese student teachers from Cantho University and Thai graduate students from Srinakharinwirot University has occurred in June 2016. There were six Vietnamese student teachers and four Thai graduate students participated in this program with the help of science teachers from two schools in Sa Kaeo and Chachoengsao Provinces of Thailand. To explore Vietnamese and Thai students' life experiences and their perceptions in science and Mathematics teaching, reflective journals were used to record their progress as team teaching in primary and lower secondary classrooms in the form of the online format via social media in English language. The data were collected from 54 reflective journals from their eight days experiences at the schools. The data were analyzed qualitatively using Van Manen's level of reflectivity which composed of three levels; 1) Technical Rationality (TR), 2) Practical Action (PA) and 3) Critical Reflection (CR). The results explicitly revealed that the three levels of reflectivity have appeared in the reflective journals. Besides, Vietnamese and Thai students have learned more from each other and can exchange their educational experiences and culture. Certainly, this was the first time for them to teach science and mathematics in English to Thai students. Moreover, they have shared their impressions toward schools, teachers and also students in the schools in their reflective journal as well.
Ananthanarayanan, Vaishnavi; Thies, William
Published descriptions of biology protocols are often ambiguous and incomplete, making them difficult to replicate in other laboratories. However, there is increasing benefit to formalizing the descriptions of protocols, as laboratory automation systems (such as microfluidic chips) are becoming increasingly capable of executing them. Our goal in this paper is to improve both the reproducibility and automation of biology experiments by using a programming language to express the precise series of steps taken. We have developed BioCoder, a C++ library that enables biologists to express the exact steps needed to execute a protocol. In addition to being suitable for automation, BioCoder converts the code into a readable, English-language description for use by biologists. We have implemented over 65 protocols in BioCoder; the most complex of these was successfully executed by a biologist in the laboratory using BioCoder as the only reference. We argue that BioCoder exposes and resolves ambiguities in existing protocols, and could provide the software foundations for future automation platforms. BioCoder is freely available for download at http://research.microsoft.com/en-us/um/india/projects/biocoder/. BioCoder represents the first practical programming system for standardizing and automating biology protocols. Our vision is to change the way that experimental methods are communicated: rather than publishing a written account of the protocols used, researchers will simply publish the code. Our experience suggests that this practice is tractable and offers many benefits. We invite other researchers to leverage BioCoder to improve the precision and completeness of their protocols, and also to adapt and extend BioCoder to new domains.
Михаил Юрьевич Чернышов
Full Text Available A software complex (SC elaborated by the authors on the basis of the language LMPL and representing a software tool intended for synthesis of applied software models and meta-models constructed on the basis of mathematical programming (MP principles is described. LMPL provides for an explicit form of declarative representation of MP-models, presumes automatic constructing and transformation of models and the capability of adding external software packages. The following software versions of the SC have been implemented: 1 a SC intended for representing the process of choosing an optimal hydroelectric power plant model (on the principles of meta-modeling and 2 a SC intended for representing the logic-sense relations between the models of a set of discourse formations in the discourse meta-model.
It has been observed that data-based translation programs are often used both in and outside the class unconsciously and thus there occurs many problems in foreign language learning and teaching. To draw attention to this problem, with this study, whether the program has satisfactory results or not has been revealed by making translations from…
This article is an early step in the development of a methodological approach to the study of language deriving from an enactivist theoretical stance. Language is seen as a co-ordination of co-ordinations of action. Meaning and intention cannot easily be interpreted from the actions and words of others; instead, careful attention can be placed in…
Metallidou, Panagiota; Vlachou, Anastasia
The contextual differences in the patterns of relations among various motivational, cognitive, and metacognitive components of self-regulated learning and performance in two key curriculum subject areas, language and mathematics, were examined in a sample of 263 Greek primary school children of fifth- and sixth-grade classrooms. Age and gender differences were also investigated. Students were asked to complete the Motivated Strategies for Learning Questionnaire (Pintrich & De Groot, 1990 ), which comprised five factors: (a) Self-efficacy, (b) Intrinsic Value, (c) Test Anxiety, (d) Cognitive Strategy Use, and (e) Self-regulation Strategies. They responded to the statements of the questionnaire on a 7-point Likert scale in terms of their behaviour in mathematics and language classes, respectively. Moreover, their teachers were asked to evaluate each of their students' academic achievement in Greek language and mathematics on a 1- to 20-point comparative scale in relation to the rest of the class. The results of the study indicated very few differences in the pattern of relations among self-regulated components within and across the two subject areas and at the same time revealed a context-specific character of self-regulated components at a mean level differences. Further, the current study (a) confirmed the mediatory role of strategies in the motivation-performance relation, (b) stressed the differential role of cognitive and regulatory strategies in predicting performance in subject areas that differ in their structural characteristics of the content, and (c) pointed out the key motivational role of self-efficacy. In fact, self-efficacy proved the most significant predictor not only of performance but of cognitive and regulatory strategy use as well. Gender differences in motivation and strategy use were not reported, while motivation was found to vary mainly with age. The usefulness of these findings for promoting greater clarity among motivational and
Eichhorn, Helge; Cano, Juan Luis; McLean, Frazer; Anderl, Reiner
Due to the computationally intensive nature of astrodynamics tasks, astrodynamicists have relied on compiled programming languages such as Fortran for the development of astrodynamics software. Interpreted languages such as Python, on the other hand, offer higher flexibility and development speed thereby increasing the productivity of the programmer. While interpreted languages are generally slower than compiled languages, recent developments such as just-in-time (JIT) compilers or transpilers have been able to close this speed gap significantly. Another important factor for the usefulness of a programming language is its wider ecosystem which consists of the available open-source packages and development tools such as integrated development environments or debuggers. This study compares three compiled languages and three interpreted languages, which were selected based on their popularity within the scientific programming community and technical merit. The three compiled candidate languages are Fortran, C++, and Java. Python, Matlab, and Julia were selected as the interpreted candidate languages. All six languages are assessed and compared to each other based on their features, performance, and ease-of-use through the implementation of idiomatic solutions to classical astrodynamics problems. We show that compiled languages still provide the best performance for astrodynamics applications, but JIT-compiled dynamic languages have reached a competitive level of speed and offer an attractive compromise between numerical performance and programmer productivity.
In his State of the Union address on January 31, 1990, President Bush set a goal for US students to be number one in the world in mathematics and science achievement by the year 2000. The Teachers Academy for Mathematics and Science in Chicago is an experiment of unprecedented boldness and scale that can provide a means to the President`s goal, both for the Chicago area and as a national model. This document covers organization and governance, program activities, future training goals, and evaluation programs.
Ortiz, Octavio Ortiz; Pastor Franco, Juan Ángel; Alcover Garau, Pedro María; Herrero Martín, Ruth
This paper describes a study of teaching a programming language in a C programming course by having students assemble and program a low-cost mobile robot. Writing their own programs to define the robot's behavior raised students' motivation. Working in small groups, students programmed the robots by using the control structures of structured…
Robot Arms Simulation Software development using Structured Programming Languages, Third Party Language, and Artificial Intelligence Programming Language are the common techniques in simulating robot arms movement. Those three techniques are having its strengths and weaknesses depend on several constraints such as robot type, degree of operation complexity to be simulated, operator skills, and also computer capability. This paper will discuss on Robot Arms Simulation Software (RSS) developmen...
Jaine Z. Tarun
This study was focused on the language planning and the programs in Filipino of Higher Education Institutions (HEIs) in Region 02, Philippines. It aimed to evaluate the extent of contributions in the implementation of national and institutional academic language policies and programs on Filipino in the General Education Curriculum (GEC), Bilingual / Multilingual Education, translation of books and articles, instructional materials development using Filipino and other languages in ...
Teng, Chin-Hung; Chen, Jr-Yi; Chen, Zhi-Hong
Although the learning of programming language is critical in science and technology education, it might be difficult for some students, especially novices. One possible reason might be the fact that programming language, especially for three-dimensional (3D) applications, is too complex and abstract for these students to understand. Programming…
Reboucas, M.; Pinto, G.; Ebert, F.; Torres, W.; Serebrenik, A.; Castor, F.
Recently, Apple released Swift, a modern programming language built to be the successor of Objective-C. In less than a year and a half after its first release, Swift became one of the most popular programming languages in the world, considering different popularity measures. A significant part of
Series of international studies have shown that subtitled television programs provide a rich context for foreign language acquisition. This study investigated whether incidental language acquisition occurs from watching a television program with/without subtitles. Children in the experimental conditions watch: (a) a 15 minute snapshot of a well…
Vervloed, M.P.J.; Hartog, E. de; Jespers, C.; Wals, T. de
The Radboud Sensis program is intended to promote language, speech, and communication in children with visual impairments and their caregivers. Starting-point has been that such an intervention program can be a useful tool, not only for language and communication itself, but also for attachment,
Fernandez, Patricia Espinoza
This is a mixed methods study of K-12 school administrators with dual language immersion school leadership expertise. The paramount research focus was to identify equity and access issues in dual language immersion programs serving grades K-12, as identified by school administrators who have led such programs. A total pool of 498 were invited to…
This study examined the relationships among group size, participation, and learning performance factors when learning a programming language in a computer-supported collaborative learning (CSCL) context. An online forum was used as the CSCL environment for learning the Microsoft ASP.NET programming language. The collaborative-learning experiment…
Soderman, Anne K.
A dual immersion program in Chinese and English at the 3e International School in Beijing is helping children become fluent in both languages, even though many students spoke neither language when they entered the school. Children enter the program as young as two years old. Studies indicate that bilingual children have higher levels of cognitive…
Abdulkadir Baba HASSAN
Full Text Available This paper examines the application of Visual Basic Computer Programming Language to Simulate Numerical Iterations, the merit of Visual Basic as a Programming Language and the difficulties faced when solving numerical iterations analytically, this research paper encourage the uses of Computer Programming methods for the execution of numerical iterations and finally fashion out and develop a reliable solution using Visual Basic package to write a program for some selected iteration problems.
Saxon's primary mathematics series is a "hands-on," success-oriented program which emphasizes manipulatives and mental math. The series addresses the multisensory approach to teaching. Its use enables all children to develop a solid foundation in the language and basic concepts of mathematics. Concepts are presented in carefully…
Nofre, David; Priestley, Mark; Alberts, Gerard
Language is one of the central metaphors around which the discipline of computer science has been built. The language metaphor entered modern computing as part of a cybernetic discourse, but during the second half of the 1950s acquired a more abstract meaning, closely related to the formal languages of logic and linguistics. The article argues that this transformation was related to the appearance of the commercial computer in the mid-1950s. Managers of computing installations and specialists on computer programming in academic computer centers, confronted with an increasing variety of machines, called for the creation of "common" or "universal languages" to enable the migration of computer code from machine to machine. Finally, the article shows how the idea of a universal language was a decisive step in the emergence of programming languages, in the recognition of computer programming as a proper field of knowledge, and eventually in the way we think of the computer.
Muhammad Shoaib Farooq
Full Text Available Computer programming is the core of computer science curriculum. Several programming languages have been used to teach the first course in computer programming, and such languages are referred to as first programming language (FPL. The pool of programming languages has been evolving with the development of new languages, and from this pool different languages have been used as FPL at different times. Though the selection of an appropriate FPL is very important, yet it has been a controversial issue in the presence of many choices. Many efforts have been made for designing a good FPL, however, there is no ample way to evaluate and compare the existing languages so as to find the most suitable FPL. In this article, we have proposed a framework to evaluate the existing imperative, and object oriented languages for their suitability as an appropriate FPL. Furthermore, based on the proposed framework we have devised a customizable scoring function to compute a quantitative suitability score for a language, which reflects its conformance to the proposed framework. Lastly, we have also evaluated the conformance of the widely used FPLs to the proposed framework, and have also computed their suitability scores.
Farooq, Muhammad Shoaib; Khan, Sher Afzal; Ahmad, Farooq; Islam, Saeed; Abid, Adnan
Computer programming is the core of computer science curriculum. Several programming languages have been used to teach the first course in computer programming, and such languages are referred to as first programming language (FPL). The pool of programming languages has been evolving with the development of new languages, and from this pool different languages have been used as FPL at different times. Though the selection of an appropriate FPL is very important, yet it has been a controversial issue in the presence of many choices. Many efforts have been made for designing a good FPL, however, there is no ample way to evaluate and compare the existing languages so as to find the most suitable FPL. In this article, we have proposed a framework to evaluate the existing imperative, and object oriented languages for their suitability as an appropriate FPL. Furthermore, based on the proposed framework we have devised a customizable scoring function to compute a quantitative suitability score for a language, which reflects its conformance to the proposed framework. Lastly, we have also evaluated the conformance of the widely used FPLs to the proposed framework, and have also computed their suitability scores.
Masal, Ercan; Koc, Mustafa; Colak, Tugba Seda; Takunyaci, Mithat
The main purpose of this research is to analyse whether there is a difference or not in levels of having psychological symptoms of the students of undergraduate program in elementary mathematics teaching. Another aim of the research is to determine whether the levels of having psychological symptoms of the students differ or not regarding various…
Lennington, R. K.; Rassbach, M. E.
Discussed in this report is the clustering algorithm CLASSY, including detailed descriptions of its general structure and mathematical background and of the various major subroutines. The report provides a development of the logic and equations used with specific reference to program variables. Some comments on timing and proposed optimization techniques are included.
Mathematical programming applications in the Forest Service, U.S. Department of Agriculture, are growing. They are being used for widely varying problems: budgeting, lane use planning, timber transport, road maintenance and timber harvest planning. Large-scale applications are being mace in budgeting. The model that is described can be used by developing economies....
Basic Mathematics Review (BMR) is a remedial non-credit course at Essex Community College (Maryland) being taught on an individualized basis. Following diagnostic testing and placement, instruction utilizes programmed materials, tutors, and self-tests. Evaluation of the new individualized BMR and comparison with the traditional remedial course…
Wingard, Crystal Burroughs
The present action research study describes an Interactive Mathematics Review Program (IMRP) developed by the participant-researcher to enable remedial algebra students to learn in a cooperative classroom with pedagogy that promoted collaboration and hands-on, active learning. Data are comprised of surveys, field notes, semi-structured interviews,…
Gerber, Lindsey N.
Teacher quality is instrumental in improving student performance. Unfortunately, discrepancies between teacher preparation programs and national and state K-12 student standards have contributed to the difficult task of producing quality teachers. The contemporary mathematics education paradigm used at most colleges and universities relies on…
Evans, Brian R.
Providing students in urban settings with quality teachers is important for student achievement. This study examined the differences in content knowledge, attitudes toward mathematics, and teacher efficacy among several different types of alternatively certified teachers in a sample from the New York City Teaching Fellows program in order to…
Bouza Allende, G.; Guddat, J.; Still, Georg J.
One-parametric mathematical programs with complementarity constraints are considered. The structure of the set of generalized critical points is analysed for the generic case. It is shown how this analysis can locally be reduced to the study of appropriate standard one-parametric finite problems. By
Ocak, Mehmet A.
This correlation study examined the relationship between gender and the students' attitude and prior knowledge of using one of the mathematical software programs (MATLAB). Participants were selected from one community college, one state university and one private college. Students were volunteers from three Calculus I classrooms (one class from…
Ruiz, Rosario Vera
From the point of view of functional programming, a computational process to solve a problem is described as a mathematical function taking some arguments (corresponding to the data of the problem) and returning as a result its solution. Turtle Graphics can be used to describe the movements of a virtual turtle, which leaves a trail along his path…
Desai, Karna Mahadev; Yang, Jing; Hemann, Jason
The Foundations in Science and Mathematics (FSM) is a graduate student led summer program designed to help middle school and high school students strengthen their knowledge and skills in mathematics and science. FSM provides two-week-long courses over a broad spectrum of disciplines including astronomy, biology, chemistry, computer programming, geology, mathematics, and physics. Students can chose two types of courses: (1) courses that help students learn the fundamental concepts in basic sciences and mathematics (e.g., "Precalculus"); and (2) knowledge courses that might be excluded from formal schooling (e.g., "Introduction to Universe"). FSM has served over 500 students in the Bloomington, IN, community over six years by acquiring funding from Indiana University and the Indiana Space Grant Consortium. FSM offers graduate students the opportunity to obtain first hand experience through independent teaching and curriculum design as well as leadership experience.We present the design of the program, review the achievements, and explore the challenges we face. We are open to collaboration with similar educational outreach programs. For more information, please visit http://www.indiana.edu/~fsm/ .
Weinberg, Andrea E.; Basile, Carole G.; Albright, Leonard
A mixed methods design was used to evaluate the effects of four experiential learning programs on the interest and motivation of middle school students toward mathematics and science. The Expectancy-Value model provided a theoretical framework for the exploration of 336 middle school student participants. Initially, participants were generally…
Davis, Martin D; Rheinboldt, Werner
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science provides an introduction to the various aspects of theoretical computer science. Theoretical computer science is the mathematical study of models of computation. This text is composed of five parts encompassing 17 chapters, and begins with an introduction to the use of proofs in mathematics and the development of computability theory in the context of an extremely simple abstract programming language. The succeeding parts demonstrate the performance of abstract programming language using a macro expa
Zuber, Edward Nordin; Anderson, Judy
Studies of one-to-one programs consistently report lower use of laptops in mathematics classrooms compared to other subjects but do not elaborate reasons for these observations. This mixed-method study investigated the experiences and beliefs of 28 mathematics teachers at five secondary schools during the second year of the New South Wales Digital Education Revolution laptop program. While some mathematics teachers planned for students to use their laptops up to once a week, most reported less frequent use in the classroom. Teachers were grouped into categories "Non Adopters," "Cautious Adopters," and "Early Adopters" according to reported classroom use of laptops, then analysed for differences in confidence, knowledge, and beliefs relating to technology for teaching and learning mathematics. A prevalent belief limiting laptop use is that students authentically learn mathematics only using pen and paper. Cautious Adopters and Non Adopters expressed beliefs that laptops exacerbate classroom management problems, especially for lower-achieving students. In the context of ability-streamed classes these beliefs effectively ruled out use of laptops for entire classrooms.
The Division of Natural Sciences and Mathematics at Claflin College consists of the Departments of Biology, Chemistry, Computer Science, Physics, Engineering and Mathematics. It offers a variety of major and minor academic programs designed to meet the mission and objectives of the college. The division`s pursuit to achieve excellence in science education is adversely impacted by the poor academic preparation of entering students and the lack of equipment, facilities and research participation, required to impart adequate academic training and laboratory skills to the students. Funds were received from the US Department of Energy to improve the divisional facilities and laboratory equipment and establish mechanism at pre-college and college levels to increase (1) the pool of high school students who will enroll in Science and Mathematics courses (2) the pool of well qualified college freshmen who will seek careers in Science, Engineering and Mathematics (3) the graduation rate in Science,engineering and Mathematics at the undergraduate level and (4) the pool of well-qualified students who can successfully compete to enter the graduate schools of their choice in the fields of science, engineering, and mathematics. The strategies that were used to achieve the mentioned objectives include: (1) Improved Mentoring and Advisement, (2) Summer Science Camp for 7th and 8th graders, (3) Summer Research Internships for Claflin SEM Seniors, (4) Summer Internships for Rising High School Seniors, (5) Development of Mathematical Skills at Pre-college/Post-secondary Levels, (6) Expansion of Undergraduate Seminars, (7) Exposure of Undergraduates to Guest Speakers/Roll Models, (8) Visitations by Undergraduate Students to Graduate Schools, and (9) Expanded Academic Program in Environmental Chemistry.
This study examined the question, "What is the impact of a digital math intervention on secondary ELL students' mathematical capabilities and perceptions of their future possibilities?" The hypothesis was that through its direct effect on increasing students' math ability and its indirect effect on increasing students' perceived math…
Symons, Duncan; Pierce, Robyn
In this study we examine the use of cumulative and exploratory talk types in a year 5 computer supported collaborative learning environment. The focus for students in this environment was to participate in mathematical problem solving, with the intention of developing the proficiencies of problem solving and reasoning. Findings suggest that…
Adamo-Villani, Nicoletta; Doublestein, John; Martin, Zachary
We present a new highly interactive computer animation tool to increase the mathematical skills of deaf children. We aim at increasing the effectiveness of (hearing) parents in teaching arithmetic to their deaf children, and the opportunity of deaf children to learn arithmetic via interactive media. Using state-of-the-art computer animation…
Fleming, Mike; Merrell, Christine; Tymms, Peter
This article reports on research which examined the impact of The National Theatre's Transformation drama project on young pupils' reading, mathematics, attitude, self-concept and creative writing in primary schools. Two of the schools taking part in Transformation were matched to two Control schools in the first two years of the project.…
Berlin, Donna F.; White, Arthur L.
Describes the purpose of the Master of Education (M. Ed.) Program in Integrated Mathematics, Science, and Technology Education (MSAT Program) at The Ohio State University and discusses preservice teachers' attitudes and perceptions toward integrated curriculum. (Contains 35 references.) (YDS)
Dubetz, Terry A.; Wilson, Jo Ann
Girls in Engineering, Mathematics and Science (GEMS) is a science and math outreach program for middle-school female students. The program was developed to encourage interest in math and science in female students at an early age. Increased scientific familiarity may encourage girls to consider careers in science and mathematics and will also help…
National Academies Press, 2009
In 1998, the National Science Foundation (NSF) launched a program of Grants for Vertical Integration of Research and Education in the Mathematical Sciences (VIGRE). These grants were designed for institutions with PhD-granting departments in the mathematical sciences, for the purpose of developing high-quality education programs, at all levels,…
Young, W. D.; Tripathi, A. R.; Good, D. I.; Browne, J. C.
The ability of HAL/S to write verifiable programs, a characteristic which is highly desirable in aerospace applications, is lacking since many of the features of HAL/S do not lend themselves to existing verification techniques. The methods of language evaluation are described along with the means in which language features are evaluated for verifiability. These methods are applied in this study to various features of HAL/S to identify specific areas in which the language fails with respect to verifiability. Some conclusions are drawn for the design of programming languages for aerospace applications and ongoing work to identify a verifiable subset of HAL/S is described.
Angelov, A.Kh.; Dubovik, L.V.
The possibility of using FOCAL programming language to control CAMAC modules by minicomputer is considered. This language allows to make effective changes in the program and reduce the time necessary for writing and running programmes. To address CAMAC modules a packet of CAMAC subroutines from the CAMAC-tr A/i software is included into FOCAL language, its operational possibilities and linguistic peculiarities being completely preserved. A big fast memory enables one to add three additional functions to the function list of FOCAL language. An example is given illustrating the use of these functions
White, B.; Stanford Linear Accelerator Center, CA
In this paper a comparison is presented of programming languages in the context of high energy physics software applications. The evaluation method uses was specifically devised to address the issues of particular importance to HEP applications, not just the technical features of the languages considered. The candidate languages evaluated were Ada, C, FORTRAN 77, FORTRAN 8x, Pascal and PL/I. Some conclusions are drawn and recommendations made regarding the role of FORTRAN and other programming languages in the current and future development of HEP software. (orig.)
Coyle, Scott M
The Ras superfamily GTPases represent one of the most prolific signaling currencies used in Eukaryotes. With these remarkable molecules, evolution has built GTPase networks that control diverse cellular processes such as growth, morphology, motility and trafficking. (1-4) Our knowledge of the individual players that underlie the function of these networks is deep; decades of biochemical and structural data has provided a mechanistic understanding of the molecules that turn GTPases ON and OFF, as well as how those GTPase states signal by controlling the assembly of downstream effectors. However, we know less about how these different activities work together as a system to specify complex dynamic signaling outcomes. Decoding this molecular "programming language" would help us understand how different species and cell types have used the same GTPase machinery in different ways to accomplish different tasks, and would also provide new insights as to how mutations to these networks can cause disease. We recently developed a bead-based microscopy assay to watch reconstituted H-Ras signaling systems at work under arbitrary configurations of regulators and effectors. (5) Here we highlight key observations and insights from this study and propose extensions to our method to further study this and other GTPase signaling systems.
Julia is an innovative new open-source programming language for high-level, high-performance numerical computing. Julia combines the general-purpose breadth and extensibility of Python, the ease-of-use and numeric focus of Matlab, the speed of C and Fortran, and the metaprogramming power of Lisp. Julia uses type inference and just-in-time compilation to compile high-level user code to machine code on the fly. A rich set of numeric types and extensive numerical libraries are built-in. As a result, Julia is competitive with Matlab for interactive graphical exploration and with C and Fortran for high-performance computing. This talk interactively demonstrates Julia's numerical features and benchmarks Julia against C, C++, Fortran, Matlab, and Python on a spectral time-stepping algorithm for a 1d nonlinear partial differential equation. The Julia code is nearly as compact as Matlab and nearly as fast as Fortran. This material is based upon work supported by the National Science Foundation under Grant No. 1554149.
Sanden, Guro Refsum
Purpose: – The purpose of this paper is to analyse the consequences of globalisation in the area of corporate communication, and investigate how language may be managed as a strategic resource. Design/methodology/approach: – A review of previous studies on the effects of globalisation on corporate...... communication and the implications of language management initiatives in international business. Findings: – Efficient language management can turn language into a strategic resource. Language needs analyses, i.e. linguistic auditing/language check-ups, can be used to determine the language situation...... of a company. Language policies and/or strategies can be used to regulate a company’s internal modes of communication. Language management tools can be deployed to address existing and expected language needs. Continuous feedback from the front line ensures strategic learning and reduces the risk of suboptimal...
Religions and languages are social variables, like age, sex, wealth or political opinions, to be studied like any other organizational parameter. In fact, religiosity is one of the most important sociological aspects of populations. Languages are also obvious characteristics of the human species. Religions, languages appear though also disappear. All religions and languages evolve and survive when they adapt to the society developments. On the other hand, the number of adherents of a given religion, or the number of persons speaking a language is not fixed in time, - nor space. Several questions can be raised. E.g. from a oscopic point of view : How many religions/languages exist at a given time? What is their distribution? What is their life time? How do they evolve? From a "microscopic" view point: can one invent agent based models to describe oscopic aspects? Do simple evolution equations exist? How complicated must be a model? These aspects are considered in the present note. Basic evolution equations are outlined and critically, though briefly, discussed. Similarities and differences between religions and languages are summarized. Cases can be illustrated with historical facts and data. It is stressed that characteristic time scales are different. It is emphasized that "external fields" are historically very relevant in the case of religions, rending the study more " interesting" within a mechanistic approach based on parity and symmetry of clusters concepts. Yet the modern description of human societies through networks in reported simulations is still lacking some mandatory ingredients, i.e. the non scalar nature of the nodes, and the non binary aspects of nodes and links, though for the latter this is already often taken into account, including directions. From an analytical point of view one can consider a population independently of the others. It is intuitively accepted, but also found from the statistical analysis of the frequency distribution that an
Anna Newley; Hasan Deniz; Erdogan Kaya; Ezgi Yesilyurt
The purpose of this paper is to describe how Hummingbird robotics kit with Snap! programing language was used to introduce basics of robotics to elementary and middle school students. Each student in the robotics program built a robot. The robot building process was open ended. Any specific robotics challenge was not provided to the students. Students’ knowledge about robots and programming language were measured through pre, post, and delayed posttests. Results indicated that students improv...
Ohtake, Nobuyuki; Kanahori, Toshihiro
This article discusses the conversion of mathematical equations into Extensible Markup Language (XML) on the World Wide Web for individuals with visual impairments. A program is described that converts the presentation markup style to the content markup style in MathML to allow browsers to render mathematical expressions without other programs.…
Vetterlein, Thomas; Mandl, Harald; Adlassnig, Klaus-Peter
The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Syntax, whose original version was introduced in S. Tiffe's dissertation on "Fuzzy Arden Syntax: Representation and Interpretation of Vague Medical Knowledge by Fuzzified Arden Syntax" (Vienna University of Technology, 2003). The primary aim is to provide an easy means of processing vague or uncertain data, which frequently appears in medicine. For both propositional and number data types, fuzzy equivalents have been added to Arden Syntax. The Boolean data type was generalised to represent any truth degree between the two extremes 0 (falsity) and 1 (truth); fuzzy data types were introduced to represent fuzzy sets. The operations on truth values and real numbers were generalised accordingly. As the conditions to decide whether a certain programme unit is executed or not may be indeterminate, a Fuzzy Arden Syntax programme may split. The data in the different branches may be optionally aggregated subsequently. Fuzzy Arden Syntax offers the possibility to formulate conveniently Medical Logic Modules (MLMs) based on the principle of a continuously graded applicability of statements. Furthermore, ad hoc decisions about sharp value boundaries can be avoided. As an illustrative example shows, an MLM making use of the features of Fuzzy Arden Syntax is not significantly more complex than its Arden Syntax equivalent; in the ideal case, a programme handling crisp data remains practically unchanged when compared to its fuzzified version. In the latter case, the output data, which can be a set of weighted alternatives, typically depends continuously from the input data. In typical applications an Arden Syntax MLM can produce a different output after only slight changes of the input; discontinuities are in fact unavoidable when the input varies continuously but the output is taken from a discrete set of possibilities
Scotti, Stephen J.; Lucas, Stephen H.
SOL is computer language geared to solution of design problems. Includes mathematical modeling and logical capabilities of computer language like FORTRAN; also includes additional power of nonlinear mathematical programming methods at language level. SOL compiler takes SOL-language statements and generates equivalent FORTRAN code and system calls. Provides syntactic and semantic checking for recovery from errors and provides detailed reports containing cross-references to show where each variable used. Implemented on VAX/VMS computer systems. Requires VAX FORTRAN compiler to produce executable program.
Simms, Julia A.
Research indicates that most standards documents articulate far more content than can be taught in the time available to K-12 teachers. In response, analysts at Marzano Research sought to identify, as objectively as possible, a focused set of critical concepts for each K-12 grade level in the content areas of English language arts (ELA),…
Dokter, Nanke; Aarts, Rian; Kurvers, J.J.H.; Ros, Anje; Kroon, Sjaak
Mastering academic language (AL) by elementary school students is important for achieving school success. The extent to which teachers play a role in stimulating students’ AL development may differ. Two types of AL stimulating behavior are distinguished: aimed at students’ understanding and at
Rian Aarts; Jeanne Kurvers; Sjaak Kroon; Anje Ros; Nanke Dokter
Mastering academic language (AL) by elementary school students is important for achieving school success. The extent to which teachers play a role in stimulating students’ AL development may differ. Two types of AL stimulating behavior are distinguished: aimed at students’ understanding and at
Hernandez, Sera J.
This manuscript draws from a 2-year multiple-case ethnography on the educational experiences of Mexican immigrant families with California middle schools. The article explores the influence of the political landscape and raciolinguistic ideologies surrounding the nature and implementation of a middle school dual language bilingual program, and it…
Kaplan, Jonathan D.; Sabol, Mark A.; Wisher, Robert A.; Seidel, Robert J.
Discusses the Military Language Tutor (MILT), a language-tutor authoring system, examining the development of a proof of principal version of MILT's two-dimensional Arabic microworld, which uses speech input to control an animated agent in solving an authored problem and describing an evaluation of the speech-driven microworld at Fort Campbell,…
Considerable reason exists to view the mind, and language within it, as modular, and this view has an important place in research and theory in second language acquisition (SLA) and beyond. But it has had very little impact on the study of working memory and its role in SLA. This article considers the need for modular study of working memory,…
Volodymyr M. Mykhalevych
Full Text Available From a perspective of the theory of educational problems a problem of substitution in the conditions of ICT use of one discipline by an educational problem of another discipline is represented. Through the example of mathematical problems of linear programming it is showed that a student’s method of operation in the course of an educational problem solving is determinant in the identification of an educational problem in relation to a specific discipline: linear programming, informatics, mathematical modeling, methods of optimization, automatic control theory, calculus etc. It is substantiated the necessity of linear programming educational problems renovation with the purpose of making students free of bulky similar arithmetic calculations and notes which often becomes a barrier to a deeper understanding of key ideas taken as a basis of algorithms used by them.
Benko, Matúš; Gfrerer, Helmut
In this paper, we consider a sufficiently broad class of non-linear mathematical programs with disjunctive constraints, which, e.g. include mathematical programs with complemetarity/vanishing constraints. We present an extension of the concept of [Formula: see text]-stationarity which can be easily combined with the well-known notion of M-stationarity to obtain the stronger property of so-called [Formula: see text]-stationarity. We show how the property of [Formula: see text]-stationarity (and thus also of M-stationarity) can be efficiently verified for the considered problem class by computing [Formula: see text]-stationary solutions of a certain quadratic program. We consider further the situation that the point which is to be tested for [Formula: see text]-stationarity, is not known exactly, but is approximated by some convergent sequence, as it is usually the case when applying some numerical method.
McClellan, Sean R; Snowden, Lonnie
This study examined the association between language access programming and quality of psychiatric care received by persons with limited English proficiency (LEP). In 1999, the California Department of Mental Health required county Medicaid agencies to implement a "threshold language access policy" to meet the state's Title VI obligations. This policy required Medi-Cal agencies to provide language access programming, including access to interpreters and translated written material, to speakers of languages other than English if the language was spoken by at least 3,000, or 5%, of the county's Medicaid population. Using a longitudinal study design with a nonequivalent control group, this study examined the quality of care provided to Spanish speakers with LEP and a severe mental illness before and after implementation of mandatory language access programming. Quality was measured by receipt of at least two follow-up medication visits within 90 days or three visits within 180 days of an initial medication visit over a period of 38 quarter-years. On average, only 40% of Spanish-speaking clients received at least three medication follow-up visits within 180 days. In multivariate analyses, language access programming was not associated with receipt of at least two medication follow-up visits within 90 days or at least three visits within 180 days. This study found no evidence that language access programming led to increased rates of follow-up medication visits for clients with LEP.
Phelps, Geoffrey; Kelcey, Benjamin; Jones, Nathan; Liu, Shuangshuang
Mathematics professional development is widely offered, typically with the goal of improving teachers' content knowledge, the quality of teaching, and ultimately students' achievement. Recently, new assessments focused on mathematical knowledge for teaching (MKT) have been developed to assist in the evaluation and improvement of mathematics professional development. This study presents empirical estimates of average program change in MKT and its variation with the goal of supporting the design of experimental trials that are adequately powered to detect a specified program effect. The study drew on a large database representing five different assessments of MKT and collectively 326 professional development programs and 9,365 teachers. Results from cross-classified hierarchical growth models found that standardized average change estimates across the five assessments ranged from a low of 0.16 standard deviations (SDs) to a high of 0.26 SDs. Power analyses using the estimated pre- and posttest change estimates indicated that hundreds of teachers are needed to detect changes in knowledge at the lower end of the distribution. Even studies powered to detect effects at the higher end of the distribution will require substantial resources to conduct rigorous experimental trials. Empirical benchmarks that describe average program change and its variation provide a useful preliminary resource for interpreting the relative magnitude of effect sizes associated with professional development programs and for designing adequately powered trials. © The Author(s) 2016.
Holguín Mendoza, Claudia
Experts in the field have advocated for critical approaches to Spanish heritage language (HL) curricula in which learners' proficiency in the language varieties that they bring from their homes and communities is considered an asset and culturally valuable knowledge. The proposal described here focuses on the adoption of a programmatic…
... International Studies and Foreign Language Program? 658.4 Section 658.4 Education Regulations of the Offices of... UNDERGRADUATE INTERNATIONAL STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.4 What definitions apply to the Undergraduate International Studies and Foreign Language Program? The definitions in 34 CFR 655.4 apply to this...
Full Text Available Many educational systems consider using one-to-one access to the laptop as a way to improve teaching and learning. A two-year action research project on the use of laptop computers by New Brunswick (Canada grade 7 and 8 Francophone students aimed to better understand the impact of laptops on learning. Two problem-based learning (PBL interdisciplinary scenarios (math, science, language arts were implemented in eight experimental classes to measure and document students’ actual learning process, particularly in terms of their ability to scientifically investigate authentic problems, to reason mathematically, and to communicate. On-site observations, video-recording, journals, samples of students’ work, and interviews were used to collect qualitative data. Based on our findings, we argue that laptops in and of themselves may not automatically lead to better results on standardized tests, but rather create opportunities to enrich learning with more open-ended, constructive, collaborative, reflective, and cognitively complex learning tasks.
The goal of this project is to create a source-to-source compiler which will translate NestStep code to C code. The compiler's job is to replace NestStep constructs with a series of function calls to the NestStep runtime system. NestStep is a parallel programming language extension based on the BSP model. It adds constructs for parallel programming on top of an imperative programming language. For this project, only constructs extending the C language are relevant. The output code will compil...
Bruhn, Peter; Geyer-Schulz, Andreas
In this paper, we introduce genetic programming over context-free languages with linear constraints for combinatorial optimization, apply this method to several variants of the multidimensional knapsack problem, and discuss its performance relative to Michalewicz's genetic algorithm with penalty functions. With respect to Michalewicz's approach, we demonstrate that genetic programming over context-free languages with linear constraints improves convergence. A final result is that genetic programming over context-free languages with linear constraints is ideally suited to modeling complementarities between items in a knapsack problem: The more complementarities in the problem, the stronger the performance in comparison to its competitors.
Modern X86 Assembly Language Programming shows the fundamentals of x86 assembly language programming. It focuses on the aspects of the x86 instruction set that are most relevant to application software development. The book's structure and sample code are designed to help the reader quickly understand x86 assembly language programming and the computational capabilities of the x86 platform. Major topics of the book include the following: 32-bit core architecture, data types, internal registers, memory addressing modes, and the basic instruction setX87 core architecture, register stack, special
Abdelhalim, Safaa M.
This study examines the effectiveness of a proposed English language program based on integrating two forms of children literature, mainly short stories and songs, in developing the needed life skills and language learning strategies of primary school students. Besides, it emphasized the importance of providing EFL fifth year primary students with…
Borman, Geoffrey D.; Benson, James G.; Overman, Laura
This article describes an independent assessment of the Fast ForWord Language computer-based training program developed by Scientific Learning Corporation. Previous laboratory research involving children with language-based learning impairments showed strong effects on their abilities to recognize brief and fast sequences of nonspeech and speech…
Alberta Education, 2008
This document is designed to provide assessment materials for specific Grade 4 outcomes in the German Language and Culture Nine-year Program, Grades 4-5-6. The assessment materials are designed for the beginner level in the context of teaching for communicative competence. Grade 4 learning outcomes from the German Language and Culture Nine-year…
De Costa, Peter I.; Bernales, Carolina; Merrill, Margaret
Faculty and graduate students in the Doctoral Program in Second Language Acquisition (SLA) at the University of Wisconsin-Madison engage in a broad spectrum of research. From Professor Sally Magnan's research on study abroad and Professor Monika Chavez's work in foreign language policy through Professor Richard Young's examination of…
Alberta Education, 2008
This document is designed to provide assessment materials for specific Grade 4 outcomes in the Japanese Language and Culture Nine-year Program, Grades 4-5-6. The assessment materials are designed for the beginner level in the context of teaching for communicative competence. Grade 4 learning outcomes from the Japanese Language and Culture…
Postsecondary English language education is a growing field in the United States. While there has been considerable research on international student mobility in higher education, there is limited research on the population's participation in U.S. English language programs (ELPs). This study examined literature in related fields to create a…