WorldWideScience

Sample records for mathematical programming language

  1. Programming-Languages as a Conceptual Framework for Teaching Mathematics

    Science.gov (United States)

    Feurzeig, Wallace; Papert, Seymour A.

    2011-01-01

    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…

  2. THE MATHEMATICS-LANGUAGE SYMBIOSIS: THE LEARNERS ...

    African Journals Online (AJOL)

    JONATHAN

    2016-07-01

    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 ...

  3. The language of mathematics: investigating the ways language counts for children's mathematical development.

    Science.gov (United States)

    Vukovic, Rose K; Lesaux, Nonie K

    2013-06-01

    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.

  4. Programming Language Pragmatics

    CERN Document Server

    Scott, Michael L

    2005-01-01

    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

  5. Language, Mathematics and English Language Learners

    Science.gov (United States)

    Adoniou, Misty; Qing, Yi

    2014-01-01

    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…

  6. HAL/SM language specification. [programming languages and computer programming for space shuttles

    Science.gov (United States)

    Williams, G. P. W., Jr.; Ross, C.

    1975-01-01

    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.

  7. The language of mathematics telling mathematical tales

    CERN Document Server

    Barton, Bill

    2008-01-01

    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.

  8. MATHEMATICS LANGUAGE IN-CLASS INSTRUCTION

    Directory of Open Access Journals (Sweden)

    Jasmina KARIKJ

    2010-11-01

    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.

  9. A strategy for automatically generating programs in the lucid programming language

    Science.gov (United States)

    Johnson, Sally C.

    1987-01-01

    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.

  10. Acquisition of Mathematical Language: Suggestions and Activities for English Language Learners

    Science.gov (United States)

    Cirillo, Michelle; Bruna, Katherine Richardson; Herbel-Eisenmann, Beth

    2010-01-01

    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.)

  11. The Language of Mathematics Utilizing Math in Practice

    CERN Document Server

    Baber, Robert L

    2011-01-01

    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

  12. A survey of functional programming language principles

    Science.gov (United States)

    Holloway, C. M.

    1986-01-01

    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.

  13. A Comparison of Functional and Imperative Programming Techniques for Mathematical Software Development

    Directory of Open Access Journals (Sweden)

    Scott Frame

    2014-04-01

    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.

  14. The Language of Mathematics in Science

    Science.gov (United States)

    Boohan, Richard

    2016-01-01

    "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…

  15. Collaboration for Authentic Preservice Teacher Experiences: Mathematics and English as a Second Language

    Science.gov (United States)

    Tilley-Lubbs, Gresilda A.; Kreye, Betibel C.

    2013-01-01

    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…

  16. Primary teachers notice the impact of language on children's mathematical reasoning

    Science.gov (United States)

    Bragg, Leicha A.; Herbert, Sandra; Loong, Esther Yoon-Kin; Vale, Colleen; Widjaja, Wanty

    2016-12-01

    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.

  17. Why do early mathematics skills predict later reading? The role of mathematical language.

    Science.gov (United States)

    Purpura, David J; Logan, Jessica A R; Hassinger-Das, Brenna; Napoli, Amy R

    2017-09-01

    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).

  18. Using Two Languages when Learning Mathematics

    Science.gov (United States)

    Moschkovich, Judit

    2007-01-01

    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…

  19. Computer programming in the UK undergraduate mathematics curriculum

    Science.gov (United States)

    Sangwin, Christopher J.; O'Toole, Claire

    2017-11-01

    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).

  20. The relationship between mathematics and language: academic implications for children with specific language impairment and English language learners.

    Science.gov (United States)

    Alt, Mary; Arizmendi, Genesis D; Beal, Carole R

    2014-07-01

    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.

  1. Research in Mathematics Education and Language

    Science.gov (United States)

    Planas, Núria

    2016-01-01

    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…

  2. Mathematics Education and Language Diversity

    DEFF Research Database (Denmark)

    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...

  3. Using Student Contributions and Multiple Representations To Develop Mathematical Language.

    Science.gov (United States)

    Herbel-Eisenmann, Beth A.

    2002-01-01

    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)

  4. Benchmarks of programming languages for special purposes in the space station

    Science.gov (United States)

    Knoebel, Arthur

    1986-01-01

    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.

  5. Several types of types in programming languages

    OpenAIRE

    Martini, Simone

    2015-01-01

    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...

  6. Language-as-resource and language-as-political: tensions in the bilingual mathematics classroom

    Science.gov (United States)

    Planas, Núria; Civil, Marta

    2013-09-01

    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.

  7. PROGRAMMING FUNDAMENTALS TEACHING TO THE STUDENTS OF PHYSICO-MATHEMATICAL PROFILE

    Directory of Open Access Journals (Sweden)

    Vdovychyn Tatiana

    2017-05-01

    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.

  8. Focus on the use of language in the multicultural mathematics classroom

    DEFF Research Database (Denmark)

    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...

  9. The Native Language in Teaching Kindergarten Mathematics

    Science.gov (United States)

    Espada, Janet P.

    2012-01-01

    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…

  10. There is More to the Teaching and Learning of Mathematics Than the Use of Local Languages: Mathematics Teacher Practices

    Directory of Open Access Journals (Sweden)

    Nancy Chitera

    2016-11-01

    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.

  11. The Impact of a Cooperative Learning Program on the Academic Achievement in Mathematics and Language in Fourth Grade Students and its Relation to Cognitive Style

    Directory of Open Access Journals (Sweden)

    Mery Luz Vega-Vaca

    2015-07-01

    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.

  12. Neurally and mathematically motivated architecture for language and thought.

    Science.gov (United States)

    Perlovsky, L I; Ilin, R

    2010-01-01

    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.

  13. Latina/o Pre-Service Teachers' Use of Language and Culture while Assisting Children in Mathematics

    Science.gov (United States)

    Vomvoridi-Ivanovic, Eugenia

    2009-01-01

    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…

  14. The Language of Mathematics: The Importance of Teaching and Learning Mathematical Vocabulary

    Science.gov (United States)

    Riccomini, Paul J.; Smith, Gregory W.; Hughes, Elizabeth M.; Fries, Karen M.

    2015-01-01

    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…

  15. A comparison of common programming languages used in bioinformatics.

    Science.gov (United States)

    Fourment, Mathieu; Gillings, Michael R

    2008-02-05

    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.

  16. How we understand mathematics conceptual integration in the language of mathematical description

    CERN Document Server

    Woźny, Jacek

    2018-01-01

    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...

  17. Pre-Service Teachers' Mathematics Language and Reflection in the Context of an Early Childhood Mathematics Methods Course

    Science.gov (United States)

    Boyd, Soleil

    2016-01-01

    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…

  18. The language policy practice in mathematics education in the upper ...

    African Journals Online (AJOL)

    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.

  19. More than Numbers: Teaching ELLs Mathematical Language in Primary Grades

    Science.gov (United States)

    Sistla, Michelle; Feng, Jay

    2014-01-01

    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…

  20. Developing a Maori Language Mathematics Lexicon: Challenges for Corpus Planning in Indigenous Language Contexts

    Science.gov (United States)

    Trinick, Tony; May, Stephen

    2013-01-01

    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…

  1. Working memory and language: skill-specific or domain-general relations to mathematics?

    Science.gov (United States)

    Purpura, David J; Ganley, Colleen M

    2014-06-01

    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.

  2. The influence of second language teaching on undergraduate mathematics performance

    Science.gov (United States)

    Gerber, Ans; Engelbrecht, Johann; Harding, Ansie; Rogan, John

    2005-10-01

    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.

  3. Discrete Mathematics

    DEFF Research Database (Denmark)

    Sørensen, John Aasted

    2010-01-01

    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...

  4. Discrete Mathematics

    DEFF Research Database (Denmark)

    Sørensen, John Aasted

    2010-01-01

    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...

  5. Can mathematics explain the evolution of human language?

    Science.gov (United States)

    Witzany, Guenther

    2011-09-01

    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.

  6. The Impact of a Cooperative Learning Program on the Academic Achievement in Mathematics and Language in Fourth Grade Students and Its Relation to Cognitive Style

    Science.gov (United States)

    Vega, Mery Luz; Hederich M., Christian

    2015-01-01

    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…

  7. Notes on Mathematical Language: Development Strings, Development Patterns, String Theory and Conditions Language

    CERN Document Server

    Struck, James T

    2003-01-01

    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...

  8. A Relational Algebra Query Language for Programming Relational Databases

    Science.gov (United States)

    McMaster, Kirby; Sambasivam, Samuel; Anderson, Nicole

    2011-01-01

    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…

  9. System programming languages

    OpenAIRE

    Šmit, Matej

    2016-01-01

    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...

  10. Scientific Computing in the CH Programming Language

    Directory of Open Access Journals (Sweden)

    Harry H. Cheng

    1993-01-01

    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.

  11. Language and terms to communicate mathematics

    Directory of Open Access Journals (Sweden)

    Gouthier Daniele

    2002-06-01

    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.

  12. The Language Policy Practice in Mathematics Education in the ...

    African Journals Online (AJOL)

    kofimereku

    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.

  13. Scaffolding language in multilingual mathematics classrooms

    NARCIS (Netherlands)

    Smit, J.

    2013-01-01

    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

  14. Mixed language programming

    International Nuclear Information System (INIS)

    Burow, Burkhard D.

    1996-01-01

    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)

  15. Programming Language Pragmatics

    CERN Document Server

    Scott, Michael L

    2009-01-01

    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

  16. Programming language structures

    CERN Document Server

    Organick, Elliott Irving; Plummer, Robert P

    1978-01-01

    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

  17. C++ Programming Language

    Science.gov (United States)

    Shaykhian, Gholam Ali

    2007-01-01

    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.

  18. Modern programming language

    Science.gov (United States)

    Feldman, G. H.; Johnson, J. A.

    1980-01-01

    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.

  19. Assembly processor program converts symbolic programming language to machine language

    Science.gov (United States)

    Pelto, E. V.

    1967-01-01

    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.

  20. Programming an interim report on the SETL project. Part I: generalities. Part II: the SETL language and examples of its use

    Energy Technology Data Exchange (ETDEWEB)

    Schwartz, J T

    1975-06-01

    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)

  1. Learning Mathematics through Programming

    DEFF Research Database (Denmark)

    Misfeldt, Morten; Ejsing-Duun, Stine

    2015-01-01

    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....

  2. Language and mathematical problem solving among bilinguals.

    Science.gov (United States)

    Bernardo, Allan B I

    2002-05-01

    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.

  3. Language diversity in the mathematics classroom: does a learner ...

    African Journals Online (AJOL)

    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 ...

  4. Prepare 2 Learn: A mathematics intervention program for students at risk in Years 3 to 6 designed to help them reach expected level and become confident, responsible, independent mathematics learners

    OpenAIRE

    BERNADETTE MARY LONG

    2017-01-01

    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; ...

  5. An initial framework for the language of higher-order thinking mathematics practices

    Science.gov (United States)

    Staples, Megan E.; Truxaw, Mary P.

    2012-09-01

    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.

  6. Between Language and Mathematics : In the Case of Inclusive OR

    OpenAIRE

    Kanno, Kenji

    1982-01-01

    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. ...

  7. Object-Oriented Programming in the Beta Programming Language

    DEFF Research Database (Denmark)

    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...

  8. An investigation of mathematics and science instruction in English and Spanish for English language learners

    Science.gov (United States)

    Rodriguez-Esquivel, Marina

    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.

  9. Introducing Laptops to Children: An Examination of Ubiquitous Computing in Grade 3 Reading, Language, and Mathematics

    Science.gov (United States)

    Bernard, Robert M.; Bethel, Edward Clement; Abrami, Philip C.; Wade, C. Anne

    2007-01-01

    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…

  10. Computer Language For Optimization Of Design

    Science.gov (United States)

    Scotti, Stephen J.; Lucas, Stephen H.

    1991-01-01

    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.

  11. Ezhil: A Tamil Programming Language

    OpenAIRE

    Annamalai, Muthiah

    2009-01-01

    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...

  12. Integrating Mathematics, Science, and Language Arts Instruction Using the World Wide Web.

    Science.gov (United States)

    Clark, Kenneth; Hosticka, Alice; Kent, Judi; Browne, Ron

    1998-01-01

    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)

  13. Student and Teacher Perceptions of First Language Use in Secondary French Immersion Mathematics Classrooms

    Science.gov (United States)

    Culligan, Karla

    2015-01-01

    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,…

  14. Programming Languages RESONAN

    Indian Academy of Sciences (India)

    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.

  15. Optlang: An algebraic modeling language for mathematical optimization

    DEFF Research Database (Denmark)

    Jensen, Kristian; Cardoso, Joao; Sonnenschein, Nikolaus

    2016-01-01

    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...

  16. Towards a Unified Programming Language

    DEFF Research Database (Denmark)

    Madsen, Ole Lehrmann

    2000-01-01

    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...

  17. Multimodal Languaging as a Pedagogical Model--A Case Study of the Concept of Division in School Mathematics

    Science.gov (United States)

    Joutsenlahti, Jorma; Kulju, Pirjo

    2017-01-01

    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…

  18. Multi-Language Programs. Beginnings Workshop.

    Science.gov (United States)

    D'Onofrio-Papadaki, Evienia; Matsalia, Joan; Bowie, Paula; Wardle, Francis; Bruno, Holly Elissa

    2003-01-01

    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…

  19. Mathematical Formula Search using Natural Language Queries

    Directory of Open Access Journals (Sweden)

    YANG, S.

    2014-11-01

    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.

  20. Towards a Unified Programming Language

    DEFF Research Database (Denmark)

    Madsen, Ole Lehrmann

    2000-01-01

    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....

  1. Multimodal Languaging as a Pedagogical Model—A Case Study of the Concept of Division in School Mathematics

    Directory of Open Access Journals (Sweden)

    Jorma Joutsenlahti

    2017-01-01

    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.

  2. Deaf college students' mathematical skills relative to morphological knowledge, reading level, and language proficiency.

    Science.gov (United States)

    Kelly, Ronald R; Gaustad, Martha G

    2007-01-01

    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.

  3. Acknowledging Spanish and English resources during mathematical reasoning

    Science.gov (United States)

    LópezLeiva, Carlos A.; Torres, Zayoni; Khisty, Lena L.

    2013-12-01

    As English-only efforts continue in the US schooling system, dual-language programs have served as attempts to preserve students' home language. An after-school, dual-language, Spanish-English, mathematics program, Los Rayos was developed in a predominantly Mexican/Mexican-American neighborhood in Chicago. As participant observers with a sociocultural perspective, we explored the linguistic and personal resources used by participating 4th grade bilingual Latina/o students. We found that students used imaginative, playful, and hybrid linguistic resources to make sense of and solve probability tasks when engaged within a zone of mathematical practice. Results challenge narrow perspectives on bilingual students' linguistic resources. Language implications are discussed.

  4. Memory Abilities in Children with Mathematical Difficulties: Comorbid Language Difficulties Matter

    Science.gov (United States)

    Reimann, Giselle; Gut, Janine; Frischknecht, Marie-Claire; Grob, Alexander

    2013-01-01

    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,…

  5. COMPARISON OF PYTHON (AN OPEN SOURCE PROGRAMMING LANGUAGE) WITH OTHER PROGRAMMING LANGUAGES

    OpenAIRE

    Sushil Kumar*1 & Richa Aggarwal2

    2018-01-01

    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...

  6. Kindergarten Teachers' Perceptions of Barriers English Language Learners Face in Mathematics

    Science.gov (United States)

    Franklin, Martha A.

    2013-01-01

    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…

  7. Programming languages for synthetic biology.

    Science.gov (United States)

    Umesh, P; Naveen, F; Rao, Chanchala Uma Maheswara; Nair, Achuthsankar S

    2010-12-01

    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.

  8. Teacher Professionalism--An Innovative Programme for Teaching Mathematics to Foundation Level Learners with Limited Language Proficiency.

    Science.gov (United States)

    Naude, H.; Pretorius, E.; Vandeyar, S.

    2003-01-01

    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…

  9. The Role of Mother Tongue Literacy in Language Learning and Mathematical Learning: Is There a Multilingual Benefit for Both?

    Science.gov (United States)

    Dahm, Rebecca; De Angelis, Gessica

    2018-01-01

    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…

  10. Algorithmic Principles of Mathematical Programming

    NARCIS (Netherlands)

    Faigle, Ulrich; Kern, Walter; Still, Georg

    2002-01-01

    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

  11. Discrete Mathematics

    DEFF Research Database (Denmark)

    Sørensen, John Aasted

    2011-01-01

    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...

  12. Development and Validation of the Mathematics Teachers' Beliefs about English Language Learners Survey (MTBELL)

    Science.gov (United States)

    Gann, Linda; Bonner, Emily P.; Moseley, Christine

    2016-01-01

    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…

  13. ABSTRACT IMPLEMENTATION OF A KIND TO MANAGE DATA SETS USING PROGRAMMING LANGUAGE C + +

    OpenAIRE

    Ruiz L., Edgar; Hinojosa L., Hilmar

    2014-01-01

    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 ...

  14. Solving applied mathematical problems with Matlab

    CERN Document Server

    Xue, Dingyu

    2008-01-01

    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.

  15. LANGUAGE SCHOOLS AND FOREIGN LANGUAGE STUDYING PROGRAMS IN PORTUGAL

    OpenAIRE

    Hritchenko, Iryna

    2017-01-01

    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...

  16. The Language Policy Practice in Mathematics Education in the ...

    African Journals Online (AJOL)

    kofimereku

    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.

  17. Exploring Kuwaiti mathematics: student-teachers' beliefs toward using Logo and mathematics education

    OpenAIRE

    Sulaiman, NAJ

    2011-01-01

    The main objective of this study is to explore the effect of one taught course, a Logo module, on Kuwaiti elementary mathematics student-teachers’ beliefs about Information and Communication Technology (ICT) and Logo. The Logo module incorporated ICT, in particular the Logo programming language, as a cognitive tool, that supports the constructivist perspective for mathematics instruction. The Logo module comprised of 24-sessions (deducted from the hours of the Methods of Teaching Mathematics ...

  18. [Comparative analysis of the efficacy of a playful-narrative program to teach mathematics at pre-school level].

    Science.gov (United States)

    Gil Llario, M D; Vicent Catalá, Consuelo

    2009-02-01

    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.

  19. Analysis of computer programming languages

    International Nuclear Information System (INIS)

    Risset, Claude Alain

    1967-01-01

    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

  20. The Language of Teaching Mathematics: Implications for Training ITAs.

    Science.gov (United States)

    Byrd, Patricia; Constantinides, Janet C.

    1992-01-01

    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)…

  1. Learners Programming Language a Helping System for Introductory Programming Courses

    Directory of Open Access Journals (Sweden)

    MUHAMMAD SHUMAIL NAVEED

    2016-07-01

    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.

  2. Educator Language Ideologies and a Top-Down Dual Language Program

    Science.gov (United States)

    Fitzsimmons-Doolan, Shannon; Palmer, Deborah; Henderson, Kathryn

    2017-01-01

    Dual language bilingual education (DLBE) programs are framed to reflect pluralist discourses (de Jong, E. [2013]. "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…

  3. Computability, complexity, and languages fundamentals of theoretical computer science

    CERN Document Server

    Davis, Martin D; Rheinboldt, Werner

    1983-01-01

    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

  4. Using Scripting Languages to Teach Programming

    OpenAIRE

    Syropoulos, Apostolos; Stavrianos, Athanasios

    2014-01-01

    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 ...

  5. ICT- The Educational Programs in Teaching Mathematics

    Directory of Open Access Journals (Sweden)

    Dance Sivakova

    2017-08-01

    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.

  6. Programming languages for circuit design.

    Science.gov (United States)

    Pedersen, Michael; Yordanov, Boyan

    2015-01-01

    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.

  7. Language and modeling word problems in mathematics among bilinguals.

    Science.gov (United States)

    Bernardo, Allan B I

    2005-09-01

    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.

  8. Software reliability and programming language

    International Nuclear Information System (INIS)

    Ehrenberger, W.

    1983-01-01

    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

  9. TEACHING ALGORITHMIZATION AND PROGRAMMING USING PYTHON LANGUAGE

    Directory of Open Access Journals (Sweden)

    M. Lvov

    2014-07-01

    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.

  10. Computer Programming Languages for Health Care

    Science.gov (United States)

    O'Neill, Joseph T.

    1979-01-01

    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.

  11. Studying the Ability of 7th Grade Students to Define the Circle and Its Elements in the Context of Mathematical Language

    Science.gov (United States)

    Akarsu, Esra; Yilmaz, Süha

    2015-01-01

    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…

  12. Programming Language Paradigms

    OpenAIRE

    Felician ALECU

    2013-01-01

    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

  13. Cognitive Academic Language Learning Approach (Project CALLA), Community School District 2 Special Alternative Instruction Program. Final Evaluation Report, 1992-93. OREA Report.

    Science.gov (United States)

    Lynch, Joanne

    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…

  14. 2APL: a practical agent programming language

    NARCIS (Netherlands)

    Dastani, M.M.

    2008-01-01

    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

  15. Programming Language Paradigms

    Directory of Open Access Journals (Sweden)

    Bartoníček Jan

    2014-01-01

    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

  16. An IBM 370 assembly language program verifier

    Science.gov (United States)

    Maurer, W. D.

    1977-01-01

    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.

  17. Exact penalty results for mathematical programs with vanishing constraints

    Czech Academy of Sciences Publication Activity Database

    Hoheisel, T.; Kanzow, Ch.; Outrata, Jiří

    2010-01-01

    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

  18. Program controlled system for mathematical processing the αp-experiment data

    International Nuclear Information System (INIS)

    Glagolev, V.V.; Govorun, N.N.; Dirner, A.; Ivanov, V.G.; Kretov, A.P.; Mirolyubov, V.P.; Pervushov, V.V.; Shelontsev, I.I.

    1982-01-01

    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

  19. How Can One Learn Mathematical Word Problems in a Second Language? A Cognitive Load Perspective

    Science.gov (United States)

    Moussa-Inaty, Jase; Causapin, Mark; Groombridge, Timothy

    2015-01-01

    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…

  20. Type Soundness in the Dart Programming Language

    DEFF Research Database (Denmark)

    Strocco, Fabio

    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...

  1. Programming languages for MIS concepts and practice

    CERN Document Server

    Wang, Hai

    2014-01-01

    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

  2. Primary Mathematics. A Saxon Teacher's Resource Booklet.

    Science.gov (United States)

    1997

    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…

  3. Language constructs for modular parallel programs

    Energy Technology Data Exchange (ETDEWEB)

    Foster, I.

    1996-03-01

    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.

  4. Continuum mechanics the birthplace of mathematical models

    CERN Document Server

    Allen, Myron B

    2015-01-01

    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

  5. Semiotic Structure and Meaning Making: The Performance of English Language Learners on Mathematics Tests

    Science.gov (United States)

    Solano-Flores, Guillermo; Barnett-Clarke, Carne; Kachchaf, Rachel R.

    2013-01-01

    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…

  6. A Conversion Tool for Mathematical Expressions in Web XML Files.

    Science.gov (United States)

    Ohtake, Nobuyuki; Kanahori, Toshihiro

    2003-01-01

    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.…

  7. Mathematics and the Laws of Nature Developing the Language of Science (Revised Edition)

    CERN Document Server

    Tabak, John

    2011-01-01

    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

  8. Applications of the Basic programming language in X-ray spectrometry

    International Nuclear Information System (INIS)

    Diaz-Guerra, J.P.; Roca, M.

    1981-01-01

    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)

  9. Laboratory automation in a functional programming language.

    Science.gov (United States)

    Runciman, Colin; Clare, Amanda; Harkness, Rob

    2014-12-01

    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.

  10. The Effects of a Communicative Approach on the Mathematical Problem Solving Proficiency of Language Minority Students.

    Science.gov (United States)

    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…

  11. The Ruby programming language

    CERN Document Server

    Flanagan, David

    2008-01-01

    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.

  12. 1957-2007: 50 Years of Higher Order Programming Languages

    Directory of Open Access Journals (Sweden)

    Alen Lovrenčić

    2009-06-01

    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

  13. Visual dataflow language for educational robots programming

    OpenAIRE

    ZIMIN G.A.; MORDVINOV D.A.

    2016-01-01

    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...

  14. Clean translation of an imperative reversible programming language

    DEFF Research Database (Denmark)

    Axelsen, Holger Bock

    2011-01-01

    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...

  15. A performance analysis for evaluation of programming languages ...

    African Journals Online (AJOL)

    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 ...

  16. Principles of a reversible programming language

    DEFF Research Database (Denmark)

    Yokoyama, Tetsuo; Axelsen, Holger Bock; Glück, Robert

    2008-01-01

    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...

  17. [Union-Endicott Schools: Foreign Language Program.

    Science.gov (United States)

    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.…

  18. LogiQL a query language for smart databases

    CERN Document Server

    Halpin, Terry

    2014-01-01

    LogiQL is a new state-of-the-art programming language based on Datalog. It can be used to build applications that combine transactional, analytical, graph, probabilistic, and mathematical programming. LogiQL makes it possible to build hybrid applications that previously required multiple programming languages and databases. In this first book to cover LogiQL, the authors explain how to design, implement, and query deductive databases using this new programming language. LogiQL's declarative approach enables complex data structures and business rules to be simply specified and then automaticall

  19. On the implicit programming approach in a class of mathematical programs with equilibrium constraints

    Czech Academy of Sciences Publication Activity Database

    Outrata, Jiří; Červinka, Michal

    2009-01-01

    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

  20. Ada--Programming Language of the Future.

    Science.gov (United States)

    Rudd, David

    1983-01-01

    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)

  1. Particle Physics and Programming Languages

    OpenAIRE

    Watts, Gordon

    2017-01-01

    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.

  2. Rain: A New Concurrent Process-Oriented Programming Language

    OpenAIRE

    Brown, Neil C.C.

    2006-01-01

    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 ...

  3. Spanish-Language Community-Based Mental Health Treatment Programs, Policy-Required Language-Assistance Programming, and Mental Health Treatment Access Among Spanish-Speaking Clients

    Science.gov (United States)

    McClellan, Sean R.

    2013-01-01

    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

  4. Spanish-language community-based mental health treatment programs, policy-required language-assistance programming, and mental health treatment access among Spanish-speaking clients.

    Science.gov (United States)

    Snowden, Lonnie R; McClellan, Sean R

    2013-09-01

    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.

  5. Programming Language Software For Graphics Applications

    Science.gov (United States)

    Beckman, Brian C.

    1993-01-01

    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.

  6. PILOT: A Programming Language for Beginners.

    Science.gov (United States)

    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…

  7. USE DIFFERENT LANGUAGES OF KNOWLEDGE REPRESENTATION AS A FACTOR OF MATHEMATICS EDUCATION HUMANIZATION

    Directory of Open Access Journals (Sweden)

    E. Sagan

    2014-04-01

    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.

  8. Teaching Adaptability of Object-Oriented Programming Language Curriculum

    Science.gov (United States)

    Zhu, Xiao-dong

    2012-01-01

    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…

  9. The effects of stating problems in bilingual students' first and second languages on solving mathematical word problems.

    Science.gov (United States)

    Bernardo, Allan B I; Calleja, Marissa O

    2005-03-01

    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.

  10. Machine Learning via Mathematical Programming

    National Research Council Canada - National Science Library

    Mamgasarian, Olivi

    1999-01-01

    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...

  11. Effects of a Mathematics Fluency Program on Mathematics Performance of Students with Challenging Behaviors

    Science.gov (United States)

    Whitney, Todd; Hirn, Regina G.; Lingo, Amy S.

    2016-01-01

    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…

  12. Artificial intelligence programming languages for computer aided manufacturing

    Science.gov (United States)

    Rieger, C.; Samet, H.; Rosenberg, J.

    1979-01-01

    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.

  13. When Is a Program Like a Function?

    Science.gov (United States)

    Klotz, Frederic S.

    1986-01-01

    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)

  14. 25 CFR 39.131 - What is a Language Development Program?

    Science.gov (United States)

    2010-04-01

    ... 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...

  15. Usability of American Sign Language Videos for Presenting Mathematics Assessment Content.

    Science.gov (United States)

    Hansen, Eric G; Loew, Ruth C; Laitusis, Cara C; Kushalnagar, Poorna; Pagliaro, Claudia M; Kurz, Christopher

    2018-04-12

    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.

  16. Gender Differences in Achievement Goals and Performances in English Language and Mathematics of Senior Secondary Schools Students in Borno State, Nigeria

    Science.gov (United States)

    Musa, Alice K. J.; Dauda, Bala; Umar, Mohammad A.

    2016-01-01

    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…

  17. Introducing ALAS: A Novel Agent-Oriented Programming Language

    Science.gov (United States)

    Mitrović, Dejan; Ivanović, Mirjana; Vidaković, Milan

    2011-09-01

    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.

  18. Total Immersion Language Program: A New Approach to Foreign Language Instruction. Technical Report.

    Science.gov (United States)

    Morel, Stefano

    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…

  19. Linguistic Simplification of Mathematics Items: Effects for Language Minority Students in Germany

    Science.gov (United States)

    Haag, Nicole; Heppt, Birgit; Roppelt, Alexander; Stanat, Petra

    2015-01-01

    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…

  20. Abstraction Mechanisms in the BETA Programming Language

    DEFF Research Database (Denmark)

    Kristensen, Bent Bruun; Madsen, Ole Lehrmann; Møller-Pedersen, Birger

    1983-01-01

    . 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...

  1. A survey of object oriented languages in programming environments

    OpenAIRE

    Haakonsen, Harald

    1987-01-01

    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 ...

  2. Real-Time MENTAT programming language and architecture

    Science.gov (United States)

    Grimshaw, Andrew S.; Silberman, Ami; Liu, Jane W. S.

    1989-01-01

    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.

  3. Swift vs. Objective-C: A New Programming Language

    Directory of Open Access Journals (Sweden)

    Cristian González García

    2015-06-01

    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?

  4. 25 CFR 39.132 - Can a school integrate Language Development programs into its regular instructional program?

    Science.gov (United States)

    2010-04-01

    ... 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...

  5. The C++ programming language

    CERN Document Server

    Stroustrup, Bjarne

    2013-01-01

    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.

  6. Programming Language Use in US Academia and Industry

    Science.gov (United States)

    Ben Arfa Rabai, Latifa; Cohen, Barry; Mili, Ali

    2015-01-01

    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,…

  7. Real-Time Multiprocessor Programming Language (RTMPL) user's manual

    Science.gov (United States)

    Arpasi, D. J.

    1985-01-01

    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.

  8. An approach to separating the levels of hierarchical structure building in language and mathematics.

    Science.gov (United States)

    Makuuchi, Michiru; Bahlmann, Jörg; Friederici, Angela D

    2012-07-19

    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.

  9. Programming parallel architectures: The BLAZE family of languages

    Science.gov (United States)

    Mehrotra, Piyush

    1988-01-01

    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.

  10. The Impact of an Online Tutoring Program on Mathematics Achievement

    Science.gov (United States)

    Clark, Amy K.; Whetstone, Patti

    2014-01-01

    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…

  11. Database Programming Languages

    DEFF Research Database (Denmark)

    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...

  12. Teachers' knowledge about language in mathematics professional development courses : From an intended curriculum to a curriculum in action

    NARCIS (Netherlands)

    Maaike Hajer; Eva Norén

    2017-01-01

    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

  13. An Attempt of Making Program-Generated Animation in a Beginners’ Programming Class

    Science.gov (United States)

    Matsuyama, Chieko; Nakashima, Toyoshiro; Ishii, Naohiro

    In general, mathematical subjects are used for programming education in universities. In this case, many students lose the interest in the programming because the students have the preconception that is difficult to program by using the mathematical expressions. Especially beginners of the programming are a tendency to lose the interest. Therefore it is pointed out to use the subjects which do not need mathematical knowledge as much as possible. In this paper the authors have tried to make animation that are generated by programs instead of the mathematical subjects in a beginners’ programming class using C language used in a wide-ranging field. The authors discuss about improvements of the interest of students for programming by the try that is to make animation by programs in a programming class and refer to its effects.

  14. Programming language for computations in the Interkosmos program

    Science.gov (United States)

    Schmidt, K.

    1975-01-01

    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.

  15. Continued professional development of teachers to facilitate language used in numeracy and mathematics.

    Science.gov (United States)

    Wium, Anna-Marie; Louw, Brenda

    2012-12-01

    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.

  16. Continued professional development of teachers to facilitate language used in numeracy and mathematics

    Directory of Open Access Journals (Sweden)

    Anna-Maria Wium

    2012-12-01

    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.

  17. Linear programming mathematics, theory and algorithms

    CERN Document Server

    1996-01-01

    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.

  18. Discount method for programming language evaluation

    DEFF Research Database (Denmark)

    Kurtev, Svetomir; Christensen, Tommy Aagaard; Thomsen, Bent

    2016-01-01

    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...

  19. Secondary Mathematics Teachers' Beliefs, Attitudes, Knowledge Base, and Practices in Meeting the Needs of English Language Learners

    Science.gov (United States)

    Gann, Linda

    2013-01-01

    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,…

  20. Diderot: a Domain-Specific Language for Portable Parallel Scientific Visualization and Image Analysis.

    Science.gov (United States)

    Kindlmann, Gordon; Chiw, Charisee; Seltzer, Nicholas; Samuels, Lamont; Reppy, John

    2016-01-01

    Many algorithms for scientific visualization and image analysis are rooted in the world of continuous scalar, vector, and tensor fields, but are programmed in low-level languages and libraries that obscure their mathematical foundations. Diderot is a parallel domain-specific language that is designed to bridge this semantic gap by providing the programmer with a high-level, mathematical programming notation that allows direct expression of mathematical concepts in code. Furthermore, Diderot provides parallel performance that takes advantage of modern multicore processors and GPUs. The high-level notation allows a concise and natural expression of the algorithms and the parallelism allows efficient execution on real-world datasets.

  1. Mathematical programming in multiperson cooperative games

    Energy Technology Data Exchange (ETDEWEB)

    Lucas, W.

    1994-12-31

    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.

  2. Teaching Mathematical Modeling in Mathematics Education

    Science.gov (United States)

    Saxena, Ritu; Shrivastava, Keerty; Bhardwaj, Ramakant

    2016-01-01

    Mathematics is not only a subject but it is also a language consisting of many different symbols and relations. Taught as a compulsory subject up the 10th class, students are then able to choose whether or not to study mathematics as a main subject. The present paper discusses mathematical modeling in mathematics education. The article provides…

  3. Mathematical marriages: intercourse between mathematics and Semiotic choice.

    Science.gov (United States)

    Wagner, Roy

    2009-04-01

    This paper examines the interaction between Semiotic choices and the presentation and solution of a family of contemporary mathematical problems centred around the so-called 'stable marriage problem'. I investigate how a socially restrictive choice of signs impacts mathematical production both in terms of problem formation and of solutions. I further note how the choice of gendered language ends up constructing a reality, which duplicates the very structural framework that it imported into mathematical analysis in the first place. I go on to point out some semiotic lines of flight from this interlocking grip of mathematics and gendered language.

  4. Students' Perspective on the First Programming Language: C-Like or Pascal-Like Languages?

    Science.gov (United States)

    Xinogalos, Stelios; Pitner, Tomáš; Ivanovic, Mirjana; Savic, Miloš

    2018-01-01

    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.…

  5. The BLAZE language - A parallel language for scientific programming

    Science.gov (United States)

    Mehrotra, Piyush; Van Rosendale, John

    1987-01-01

    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.

  6. The BLAZE language: A parallel language for scientific programming

    Science.gov (United States)

    Mehrotra, P.; Vanrosendale, J.

    1985-01-01

    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.

  7. Which programming language should follow Scratch? JavaScript?

    OpenAIRE

    Bevčič, Mateja

    2017-01-01

    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...

  8. Structured Design Language for Computer Programs

    Science.gov (United States)

    Pace, Walter H., Jr.

    1986-01-01

    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.

  9. Language and thought: the signals language in the problem solving / Pensamento e linguagem: a língua de sinais na resolução de problemas

    OpenAIRE

    Maria Helena Fávero; Meireluce Leite Pimenta

    2006-01-01

    The relationship between thought/language and sign language is discussed in a study about the resolution of mathematical problems, involving deaf subjects aged between 18 and 30, public school students from the initial grades of the Educational Program for Young Adults and Adults in the Distrito Federal (federal capital of Brazil). The study was developed in three phases: evaluation of the subjects' mathematical competencies, regarding the logic of the numerical system and its notation; resea...

  10. Programming languages and operating systems used in data base systems

    International Nuclear Information System (INIS)

    Radulescu, T.G.

    1977-06-01

    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)

  11. Estimating radiological consequences using the Java programming language

    International Nuclear Information System (INIS)

    Crawford, J.; Hayward, M.; Harris, F.; Domel, R.

    1998-01-01

    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

  12. Estimating radiological consequences using the Java programming language

    Energy Technology Data Exchange (ETDEWEB)

    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.

    1998-12-31

    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.

  13. Multiple languages and mathematics in the process of argumentation in a physics class: Analysis of data from an Inquiry Laboratory

    Directory of Open Access Journals (Sweden)

    Alex Bellucco do Carmo

    2012-05-01

    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.

  14. Mathematical programming and game theory for decision making

    CERN Document Server

    Bapat, R B; Das, A K; Parthasarathy, T

    2008-01-01

    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

  15. Improving the Graduate School Experience for Women in Mathematics: the Edge Program

    Science.gov (United States)

    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.

  16. Head First Programming A learner's guide to programming using the Python language

    CERN Document Server

    Griffiths, David

    2009-01-01

    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

  17. Lincos: An interplanetary language. [mathematical method for cosmic radio contact with extraterrestrial life

    Science.gov (United States)

    Freudenthal, H.

    1974-01-01

    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.

  18. Programming parallel architectures - The BLAZE family of languages

    Science.gov (United States)

    Mehrotra, Piyush

    1989-01-01

    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.

  19. 25 CFR 39.136 - What is the WSU for Language Development programs?

    Science.gov (United States)

    2010-04-01

    ... 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. ...

  20. Starting a New Language Education Program

    Science.gov (United States)

    Harris, Kathy

    2015-01-01

    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.…

  1. HAL/S - The programming language for Shuttle

    Science.gov (United States)

    Martin, F. H.

    1974-01-01

    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.

  2. Matematicas: Nivel E (Mathematics: Level E).

    Science.gov (United States)

    Duron, Dolores, Ed.; And Others

    A teacher's manual was developed for an elementary level mathematics course in Spanish as part of an immersion program for English speaking children. The Level E manual is designed for grade 4 pupils. Teaching procedures, conceptual and language objectives, vocabulary, structures, and learning activities are included. Activities are designed to…

  3. Matematicas: Nivel F (Mathematics: Level F).

    Science.gov (United States)

    Duron, Dolores, Ed.; And Others

    A teacher's manual was developed for an elementary level mathematics course in Spanish as part of an immersion program for English speaking children. The Level F manual is designed for grade 5 pupils. Teaching procedures, conceptual and language objectives, vocabulary, structures, and learning activities are included. Activities are designed to…

  4. The VIS-AD data model: Integrating metadata and polymorphic display with a scientific programming language

    Science.gov (United States)

    Hibbard, William L.; Dyer, Charles R.; Paul, Brian E.

    1994-01-01

    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.

  5. The programming language 'PEARL' and its implementation

    International Nuclear Information System (INIS)

    Pelz, K.

    1978-01-01

    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.)

  6. Programming languages for business problem solving

    CERN Document Server

    Wang, Shouhong

    2007-01-01

    It has become crucial for managers to be computer literate in today's business environment. It is also important that those entering the field acquire the fundamental theories of information systems, the essential practical skills in computer applications, and the desire for life-long learning in information technology. Programming Languages for Business Problem Solving presents a working knowledge of the major programming languages, including COBOL, C++, Java, HTML, JavaScript, VB.NET, VBA, ASP.NET, Perl, PHP, XML, and SQL, used in the current business computing environment. The book examin

  7. "Juntos pero no revueltos": microaggressions and language in the mathematics education of non-dominant Latinas/os

    Science.gov (United States)

    LópezLeiva, Carlos A.; Khisty, Lena Licón

    2014-06-01

    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.

  8. Using Problem Solving to Teach a Programming Language.

    Science.gov (United States)

    Milbrandt, George

    1995-01-01

    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…

  9. Numerical methods of mathematical optimization with Algol and Fortran programs

    CERN Document Server

    Künzi, Hans P; Zehnder, C A; Rheinboldt, Werner

    1971-01-01

    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

  10. Java Programming Language

    Science.gov (United States)

    Shaykhian, Gholam Ali

    2007-01-01

    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.

  11. FOREIGN LANGUAGE PROGRAMS OFFERED IN TURKISH UNIVERSITIES

    Directory of Open Access Journals (Sweden)

    Bengül CETINTAS

    2016-10-01

    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.

  12. A layered semantics for a parallel object-oriented language

    NARCIS (Netherlands)

    P.H.M. America (Pierre); J.J.M.M. Rutten (Jan)

    1990-01-01

    textabstractWe develop a denotational semantics for POOL, a parallel object-oriented programming language. The main contribution of this semantics is an accurate mathematical model of the most important concept in object-oriented programming: the object. This is achieved by structuring the semantics

  13. Processing sequence annotation data using the Lua programming language.

    Science.gov (United States)

    Ueno, Yutaka; Arita, Masanori; Kumagai, Toshitaka; Asai, Kiyoshi

    2003-01-01

    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/.

  14. Towards programming languages for genetic engineering of living cells.

    Science.gov (United States)

    Pedersen, Michael; Phillips, Andrew

    2009-08-06

    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.

  15. Test of user- and system programs coded in real time languages - requirements on program language and testing tool

    International Nuclear Information System (INIS)

    Hertlin, J.; Mackert, M.

    1979-01-01

    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

  16. Programming Language: Concepts and Paradigms

    OpenAIRE

    Ruiz Lizama, Edgar

    2014-01-01

    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.

  17. Writing Kurdish Alphabetics in Java Programming Language

    OpenAIRE

    Rebwar Mala Nabi; Sardasht M-Raouf Mahmood; Mohammed Qadir Kheder; Shadman Mahmood

    2016-01-01

    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...

  18. Mathematics Programming on the Apple II and IBM PC.

    Science.gov (United States)

    Myers, Roy E.; Schneider, David I.

    1987-01-01

    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)

  19. Explorations in Mathematical Physics The Concepts Behind an Elegant Language

    CERN Document Server

    Koks, Don

    2006-01-01

    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...

  20. Mathematics Learning by Programming in a Game Engine

    DEFF Research Database (Denmark)

    Triantafyllou, Evangelia; Timcenko, Olga; Misfeldt, Morten

    2017-01-01

    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...

  1. XIV International Conference on Mathematical Programming

    CERN Document Server

    Pardalos, Panos; Rapcsák, Tamás

    2001-01-01

    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...

  2. First aid in mathematics

    CERN Document Server

    Sulley, Robert

    2014-01-01

    Achieve the best possible standard with this bestselling book of traditional practice and guidance - now in colour!. First Aid in Mathematics provides all the help and support needed for learning and practising Mathematics. It offers comprehensive coverage of core mathematical topics in clear and accessible language. It is suitable for both native English speakers and students of English as a second language and can be used in class, or as a reference and revision book. - Develops a strong basis of understanding with core topics covered in clear and accessible language. - Improves student's ab

  3. Hierarchical data structures for graphics program languages

    International Nuclear Information System (INIS)

    Gonauser, M.; Schinner, P.; Weiss, J.

    1978-01-01

    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

  4. The programming language EFL

    Science.gov (United States)

    Feldman, S. I.

    1978-01-01

    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.

  5. Defunctionalized Interpreters for Programming Languages

    DEFF Research Database (Denmark)

    Danvy, Olivier

    2008-01-01

    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...

  6. SYNCOM: A general syntax conversion language and computer program

    International Nuclear Information System (INIS)

    Bindon, D.C.

    1972-09-01

    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)

  7. Developing a pedagogical problem solving view for mathematics teachers with two reflection programs

    Directory of Open Access Journals (Sweden)

    Bracha KRAMARSKI

    2009-10-01

    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.

  8. C programming language essentials

    CERN Document Server

    Ackermann, Ernest C

    2012-01-01

    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

  9. S.M.P. SEQUENTIAL MATHEMATICS PROGRAM.

    Science.gov (United States)

    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…

  10. Teaching Object-Oriented Programming is more than teaching Object-Oriented Programming Languages

    DEFF Research Database (Denmark)

    Knudsen, Jørgen Lindskov; Madsen, Ole Lehrmann

    1988-01-01

    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...

  11. Java Decaffeinated: experiences building a programming language from components

    OpenAIRE

    Farragher, Linda; Dobson, Simon

    2000-01-01

    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...

  12. Dedicated Programming Language for Small Distributed Control Divices

    DEFF Research Database (Denmark)

    Madsen, Per Printz; Borch, Ole

    2007-01-01

    . 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...

  13. Generic Mathematical Programming Formulation and Solution for Computer-Aided Molecular Design

    DEFF Research Database (Denmark)

    Zhang, Lei; Cignitti, Stefano; Gani, Rafiqul

    2015-01-01

    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....

  14. Effectiveness of a Language Based Program in School Mathematics on Students' Understanding of Statistics

    Science.gov (United States)

    Wekesa, Duncan Wasike

    2006-01-01

    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…

  15. A mathematical medley fifty easy pieces on mathematics

    CERN Document Server

    Szpiro, George G

    2010-01-01

    Szpiro's book provides a delightful, well-written, eclectic selection of mathematical tidbits that makes excellent airplane reading for anyone with an interest in mathematics, regardless of their mathematical background. Excellent gift material. -Keith Devlin, Stanford University, author of The Unfinished Game and The Language of Mathematics It is great to have collected in one volume the many varied, insightful and often surprising mathematical stories that George Szpiro has written in his mathematical columns for the newspapers through the years. -Marcus du Sautoy, Oxford University, author

  16. Towards an agent-oriented programming language based on Scala

    Science.gov (United States)

    Mitrović, Dejan; Ivanović, Mirjana; Budimac, Zoran

    2012-09-01

    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.

  17. Programming effort analysis of the ELLPACK language

    Science.gov (United States)

    Rice, J. R.

    1978-01-01

    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.

  18. Effects of a Mathematics Cognitive Acceleration Program on Student Achievement and Motivation

    Science.gov (United States)

    Finau, Teukava; Treagust, David F.; Won, Mihye; Chandrasegaran, A. L.

    2018-01-01

    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…

  19. Language Issues in Mobile Program Security

    Science.gov (United States)

    1998-01-01

    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

  20. This article discusses the programming language LISP. The ...

    Indian Academy of Sciences (India)

    IAS Admin

    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. ... [8]. Eugene Charniak, Christopher K Riesbeck, Drew V McDermott, and.

  1. Spot: A Programming Language for Verified Flight Software

    Science.gov (United States)

    Bocchino, Robert L., Jr.; Gamble, Edward; Gostelow, Kim P.; Some, Raphael R.

    2014-01-01

    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.

  2. "We Don't Understand English That Is Why We Prefer English": Primary School Students' Preference for the Language of Instruction in Mathematics

    Science.gov (United States)

    Davis, Ernest Kofi; Bishop, Alan J.; Seah, Wee Tiong

    2015-01-01

    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…

  3. The Kama Sutra, Romeo and Juliet, and Mathematics: Studying Mathematics for Pleasure

    Science.gov (United States)

    Padula, Janice

    2005-01-01

    The motivation of students is of great import to mathematics teachers. Such an abstract powerful language needs to be valued or students will not wish to study it. This article argues that mathematics may be better appreciated through the beauty of the language in which problems are written, respect for the cultures of others and through relevance…

  4. Annotated Bibliography of Materials for Elementary Foreign Language Programs.

    Science.gov (United States)

    Dobb, Fred

    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…

  5. Teacher and Student Language Practices and Ideologies in a Third-Grade Two-Way Dual Language Program Implementation

    Science.gov (United States)

    Henderson, Kathryn I.; Palmer, Deborah K.

    2015-01-01

    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,…

  6. Designing Surveys for Language Programs.

    Science.gov (United States)

    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…

  7. Testing the Theory of Successful Intelligence in Teaching Grade 4 Language Arts, Mathematics, and Science

    Science.gov (United States)

    Sternberg, Robert J.; Jarvin, Linda; Birney, Damian P.; Naples, Adam; Stemler, Steven E.; Newman, Tina; Otterbach, Renate; Parish, Carolyn; Randi, Judy; Grigorenko, Elena L.

    2014-01-01

    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…

  8. 34 CFR 669.1 - What is the Language Resource Centers Program?

    Science.gov (United States)

    2010-07-01

    ... 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...

  9. Speaking Up and Speaking Out about Gender in Mathematics

    Science.gov (United States)

    Rubel, Laurie H.

    2016-01-01

    Diversity and equity are stated priority areas across the field of mathematics education, from the ivory towers of the academy, across teacher education programs, to school districts, schools, and individual classrooms. The talk surrounding diversity and equity is usually framed around categories of race, cultural background, language, disability…

  10. 25 CFR 39.130 - Can ISEF funds be used for Language Development Programs?

    Science.gov (United States)

    2010-04-01

    ... 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...

  11. Analysis of Logic Programs Using Regular Tree Languages

    DEFF Research Database (Denmark)

    Gallagher, John Patrick

    2012-01-01

    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....

  12. Justifying Innovative Language Programs in an Environment of ...

    African Journals Online (AJOL)

    pkurgat

    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.

  13. Undergraduate International Studies and Foreign Language Program

    Science.gov (United States)

    Office of Postsecondary Education, US Department of Education, 2012

    2012-01-01

    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…

  14. Inverse truss design as a conic mathematical program with equilibrium constraints

    Czech Academy of Sciences Publication Activity Database

    Kočvara, Michal; Outrata, Jiří

    2017-01-01

    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

  15. An Ada-based preprocessor language for concurrent object oriented programming

    International Nuclear Information System (INIS)

    Almulla, M.; Al-Haddad, M.; Loeper, H.

    2001-01-01

    In this paper, implementation issues of concurrent-objected programming using Ada 95 are addressed. Ada is not a pure object-oriented language; in order to make it so, a uniform template for structuring object classes is proposed. The template constitutes a basis for an Ada-based preprocessor language that handles concurrent object-oriented programming. The preprocessor accepts Ada-like object-oriented programs (object classes, subclasses and main program) as input and produces Ada 95 concurrent object-oriented program units as output. The preprocessor language has the advantage of adding a new component to the class specification called the protocol, which specifies the order for requesting methods f an object. The preprocessor also touches on the extensibility of object classes issue. It supports defining class hierarchies by inheritance and aggregation. In addition, the preprocessor language supports the re-use of Ada packages, which are not necessarily written according to the object-oriented approach. The paper also investigates the definition of circular dependent object classes and proposes a solution for introducing a collection of classes. (author)

  16. Multilingualism in indigenous mathematics education: an epistemic matter

    Science.gov (United States)

    Parra, Aldo; Trinick, Tony

    2017-12-01

    An investigation into an aspect of indigenous education provides the opportunity to forefront an epistemological discussion about mathematical knowledge. This paper analyses indigenous peoples' educational experiences in Colombia and Aotearoa/New Zealand of mathematics education, focusing on, among other things, sociolinguistic issues such as language planning. In these experiences, researchers, teachers and local communities, working together, elaborated their respective languages to create a corpus of lexicon that has enabled the teaching of Western mathematics. An analysis using decolonial theory is made, showing how this corpus development works to enable the teaching of [Western] mathematics resulted in investigations into culture, language and mathematics that revealed an interplay among knowledge and power. Such analysis raises issues about the epistemology of mathematics and the politics of knowledge, analogous with current discussions on multilingualism in mathematics education and in ethnomathematics. The paper concludes that mathematics educators can explore and take advantage of the sociolinguistic and epistemological issues that arise when an indigenous language is elaborated in a short period of time in comparison to other languages which have been developed incrementally over hundreds of years and thus much more difficult to critique.

  17. A comparative study of programming languages for next-generation astrodynamics systems

    Science.gov (United States)

    Eichhorn, Helge; Cano, Juan Luis; McLean, Frazer; Anderl, Reiner

    2018-03-01

    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.

  18. Do School-Based Tutoring Programs Significantly Improve Student Performance on Standardized Tests?

    Science.gov (United States)

    Rothman, Terri; Henderson, Mary

    2011-01-01

    This study used a pre-post, nonequivalent control group design to examine the impact of an in-district, after-school tutoring program on eighth grade students' standardized test scores in language arts and mathematics. Students who had scored in the near-passing range on either the language arts or mathematics aspect of a standardized test at the…

  19. [Benefits of Measures to Promote Development in Language, Mathematics and Singing in Kindergardeners: Analysis of Data Collected at School Entrance Examination in the County of Biberach].

    Science.gov (United States)

    Hart, Ulrike; Wildner, Manfred; Krämer, Daniela; Crispin, Alexander

    2018-02-01

    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

  20. A Debate over the Teaching of a Legacy Programming Language in an Information Technology (IT) Program

    Science.gov (United States)

    Ali, Azad; Smith, David

    2014-01-01

    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…

  1. A cutting- plane approach for semi- infinite mathematical programming

    African Journals Online (AJOL)

    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 ...

  2. Modeling Clinic for Industrial Mathematics: A Collaborative Project Under Erasmus+ Program

    DEFF Research Database (Denmark)

    Jurlewicz, Agnieszka; Nunes, Claudia; Russo, Giovanni

    2018-01-01

    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...

  3. Incidental Foreign-Language Acquisition by Children Watching Subtitled Television Programs

    Science.gov (United States)

    Ina, Lekkai

    2014-01-01

    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…

  4. Micronesian Mathematics Program, Level 1, Children's Workbook.

    Science.gov (United States)

    Gring, Carolyn

    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,…

  5. A CONCEPT OF SOFTWARE SUPPORT OF LEARNING PROGRAMMING LANGUAGE AND TECHNOLOGIES

    Directory of Open Access Journals (Sweden)

    V. Kruglyk

    2013-03-01

    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.

  6. An evaluation framework and comparative analysis of the widely used first programming languages.

    Directory of Open Access Journals (Sweden)

    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.

  7. An evaluation framework and comparative analysis of the widely used first programming languages.

    Science.gov (United States)

    Farooq, Muhammad Shoaib; Khan, Sher Afzal; Ahmad, Farooq; Islam, Saeed; Abid, Adnan

    2014-01-01

    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.

  8. Compiling the parallel programming language NestStep to the CELL processor

    OpenAIRE

    Holm, Magnus

    2010-01-01

    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...

  9. Implementing embedded artificial intelligence rules within algorithmic programming languages

    Science.gov (United States)

    Feyock, Stefan

    1988-01-01

    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.

  10. A primer on scientific programming with Python

    CERN Document Server

    Langtangen, Hans Petter

    2014-01-01

    The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications are taken from mathematics, numerical calculus, statistics, physics, biology and finance. The book teaches "Matlab-style" and procedural programming as well as object-oriented programming. High school mathematics is a required background and it is advantageous to study classical and numerical one-variable calculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in various branches of science and engineering, with the aid of numerical methods and programming. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science. From the reviews: Langtangen … does an excellent job of introducing programming as a set of skills in problem solving. ...

  11. A primer on scientific programming with Python

    CERN Document Server

    Langtangen, Hans Petter

    2016-01-01

    The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications are taken from mathematics, numerical calculus, statistics, physics, biology and finance. The book teaches "Matlab-style" and procedural programming as well as object-oriented programming. High school mathematics is a required background and it is advantageous to study classical and numerical one-variable calculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in various branches of science and engineering, with the aid of numerical methods and programming. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science. From the reviews: Langtangen … does an excellent job of introducing programming as a set of skills in problem solving. ...

  12. Quality of secondary preservice mathematics teacher education programs

    OpenAIRE

    Gómez, Pedro

    2005-01-01

    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

  13. Multi-Language Programming Environments for High Performance Java Computing

    OpenAIRE

    Vladimir Getov; Paul Gray; Sava Mintchev; Vaidy Sunderam

    1999-01-01

    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 ...

  14. Exposure to audiovisual programs as sources of authentic language ...

    African Journals Online (AJOL)

    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 ...

  15. Abstraction and Modularization in the BETA Programming Language

    DEFF Research Database (Denmark)

    Madsen, Ole Lehrmann

    2000-01-01

    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...

  16. Programming real-time executives in higher order language

    Science.gov (United States)

    Foudriat, E. C.

    1982-01-01

    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.

  17. Language Planning and the Programs in Filipino of Higher Education Institutions

    OpenAIRE

    Jaine Z. Tarun

    2016-01-01

    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 ...

  18. Alma-0: an imperative language that supports declarative programming

    NARCIS (Netherlands)

    K.R. Apt (Krzysztof); J. Brunekreef; V. Partinton; A. Schaerf

    1997-01-01

    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

  19. Language Program Evaluation: Decisions, Problems, and Solutions.

    Science.gov (United States)

    Brown, James Dean

    1995-01-01

    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…

  20. Hierarchical programming language for modal multi-rate real-time stream processing applications

    NARCIS (Netherlands)

    Geuns, S.J.; Hausmans, J.P.H.M.; Bekooij, Marco Jan Gerrit

    2014-01-01

    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

  1. Usage of the Python programming language in the CMS experiment

    International Nuclear Information System (INIS)

    Wilkinson, R; Hegner, B; Jones, C D

    2010-01-01

    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.

  2. The pragmatics of mathematics education vagueness and mathematical discourse

    CERN Document Server

    Rowland, Tim

    2003-01-01

    Drawing on philosophy of language and recent linguistic theory, Rowland surveys several approaches to classroom communication in mathematics. Are students intimidated by the nature of mathematics teaching? Many students appear fearful of voicing their understanding - is fear of error part of the linguistics of mathematics? The approaches explored here provide a rationale and a method for exploring and understanding speakers'' motives in classroom mathematics talk. Teacher-student interactions in mathematics are analysed, and this provides a toolkit that teachers can use to respond to the intellectual vulnerability of their students.

  3. Standing Strong: Maloney Interdistrict Magnet School Japanese Language and Culture Program

    Science.gov (United States)

    Haxhi, Jessica; Yamashita-Iverson, Kazumi

    2009-01-01

    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…

  4. Programming Languages for Distributed Computing Systems

    NARCIS (Netherlands)

    Bal, H.E.; Steiner, J.G.; Tanenbaum, A.S.

    1989-01-01

    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

  5. Comparison of L-system applications towards plant modelling, music rendering and score generation using visual language programming

    Science.gov (United States)

    Lim, Chen Kim; Tan, Kian Lam; Yusran, Hazwanni; Suppramaniam, Vicknesh

    2017-10-01

    Visual language or visual representation has been used in the past few years in order to express the knowledge in graphic. One of the important graphical elements is fractal and L-Systems is a mathematic-based grammatical model for modelling cell development and plant topology. From the plant model, L-Systems can be interpreted as music sound and score. In this paper, LSound which is a Visual Language Programming (VLP) framework has been developed to model plant to music sound and generate music score and vice versa. The objectives of this research has three folds: (i) To expand the grammar dictionary of L-Systems music based on visual programming, (ii) To design and produce a user-friendly and icon based visual language framework typically for L-Systems musical score generation which helps the basic learners in musical field and (iii) To generate music score from plant models and vice versa using L-Systems method. This research undergoes a four phases methodology where the plant is first modelled, then the music is interpreted, followed by the output of music sound through MIDI and finally score is generated. LSound is technically compared to other existing applications in the aspects of the capability of modelling the plant, rendering the music and generating the sound. It has been found that LSound is a flexible framework in which the plant can be easily altered through arrow-based programming and the music score can be altered through the music symbols and notes. This work encourages non-experts to understand L-Systems and music hand-in-hand.

  6. The EMERGE Summer Program: Supporting Incoming Freshmen's Success in Mathematics Developmental Coursework

    Science.gov (United States)

    Bird, Katherine; Oppland-Cordell, Sarah; Hibdon, Joseph

    2016-01-01

    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,…

  7. The UCLA-Philippine Language Program, 1957-1966.

    Science.gov (United States)

    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…

  8. Underprepared Students' Performance on Algebra in a Double-Period High School Mathematics Program

    Science.gov (United States)

    Martinez, Mara V.; Bragelman, John; Stoelinga, Timothy

    2016-01-01

    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…

  9. The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming

    NARCIS (Netherlands)

    Trancón y Widemann, B.; Bolz, C.F.; Grelck, C.; Loidl, H.-W.; Peña, R.

    2013-01-01

    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

  10. A Different Kind of Language: Prolog, Programming in Logic.

    Science.gov (United States)

    Cabrol, D.

    1986-01-01

    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)

  11. Introduction to the Atari Computer. A Program Written in the Pilot Programming Language.

    Science.gov (United States)

    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)

  12. Foundations in Science and Mathematics Program for Middle School and High School Students

    Science.gov (United States)

    Desai, Karna Mahadev; Yang, Jing; Hemann, Jason

    2016-01-01

    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/ .

  13. Python as First Textual Programming Language in Secondary Education

    Directory of Open Access Journals (Sweden)

    José Carlos GARCÍA MONSÁLVEZ

    2017-07-01

    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.

  14. Theoretical Basics of Teaching Discrete Mathematics

    Directory of Open Access Journals (Sweden)

    Y. A. Perminov

    2012-01-01

    Full Text Available  The paper deals with the research findings concerning the process of mastering the theoretical basics of discrete mathematics by the students of vocational pedagogic profile. The methodological analysis is based on the subject and functions of the modern discrete mathematics and its role in mathematical modeling and computing. The modern discrete mathematics (i.e. mathematics of the finite type structures plays the important role in modernization of vocational training. It is especially rele- vant to training students for vocational pedagogic qualifications, as in the future they will be responsible for training the middle and the senior level specialists in engineer- ing and technical spheres. Nowadays in different industries, there arise the problems which require for their solving both continual – based on the classical mathematical methods – and discrete modeling. The teaching course of discrete mathematics for the future vocational teachers should be relevant to the target qualification and aimed at mastering the mathematical modeling, systems of computer mathematics and computer technologies. The author emphasizes the fundamental role of mastering the language of algebraic and serial structures, as well as the logical, algorithmic, combinatory schemes dominating in dis- crete mathematics. The guidelines for selecting the content of the course in discrete mathematics are specified. The theoretical findings of the research can be put into practice whilst developing curricula and working programs for bachelors and masters’ training. 

  15. Language and thought: the signals language in the problem solving / Pensamento e linguagem: a língua de sinais na resolução de problemas

    Directory of Open Access Journals (Sweden)

    Maria Helena Fávero

    2006-01-01

    Full Text Available The relationship between thought/language and sign language is discussed in a study about the resolution of mathematical problems, involving deaf subjects aged between 18 and 30, public school students from the initial grades of the Educational Program for Young Adults and Adults in the Distrito Federal (federal capital of Brazil. The study was developed in three phases: evaluation of the subjects' mathematical competencies, regarding the logic of the numerical system and its notation; research about the expressions that best translated "greater than n" and "fewer than n" in LIBRAS (Brazilian Sign Language in situations where sets were compared; investigation of mathematical problem solving in two different situations: the subject's resolution of the problems with and without intervention. The results suggest that deaf people's difficulties in relation to mathematical problems are connected to the process of schooling due to its emphasis on the acquisition of solving procedures to the detriment of conceptual acquisition. Yet, the misusage of LIBRAS as a tool that favors the organization of semiotic meanings and knowledge acquisition jeopardizing the construction of deaf people's knowledge in this area.

  16. Algorithm Building and Learning Programming Languages Using a New Educational Paradigm

    Science.gov (United States)

    Jain, Anshul K.; Singhal, Manik; Gupta, Manu Sheel

    2011-08-01

    This research paper presents a new concept of using a single tool to associate syntax of various programming languages, algorithms and basic coding techniques. A simple framework has been programmed in Python that helps students learn skills to develop algorithms, and implement them in various programming languages. The tool provides an innovative and a unified graphical user interface for development of multimedia objects, educational games and applications. It also aids collaborative learning amongst students and teachers through an integrated mechanism based on Remote Procedure Calls. The paper also elucidates an innovative method for code generation to enable students to learn the basics of programming languages using drag-n-drop methods for image objects.

  17. A New Approach to Programming Language Education for Beginners with Top-Down Learning

    Directory of Open Access Journals (Sweden)

    Daisuke Saito

    2013-12-01

    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.

  18. Development of Mathematics Competences in Higher Education Institutions

    Directory of Open Access Journals (Sweden)

    Anda Zeidmane

    2013-03-01

    Full Text Available The changes in society require revision of the content of higher education. Mathematics as a classical subject has played an important part in higher education until now, especially in engineering education. The introduction of mathematics IT programmes  (MathCad, MathLab, Matematica, Maple… in labour market caused the reduction of the practical application of the classical mathematics, therefore it is important to draw attention to the development of mathematical competences. The theoretical part of the paper deals with the notion of competence, its aspects and types, considers the question of the essence of  mathematics, examines language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;">general competences driven teaching of mathematics, describes language: EN-GB; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;" lang="EN-GB">organisational model underlying the curriculum in mathematics that is based on the division of the content of mathematics into levels. The paper describes the main issues of the development of teaching of mathematics discussed by European mathematicians (SEFI Math Working Group.  language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;">The paper presents the results of the ERDF project “Cross-border network for adapting mathematical competences in the socio-economic development (MatNet”, which

  19. The Influence of Instructional Minutes on Grade 11 Language Arts and Mathematics High School Proficiency Assessment Performance

    Science.gov (United States)

    Welcome, Simone E.

    2017-01-01

    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…

  20. Mathematical-programming approaches to test item pool design

    NARCIS (Netherlands)

    Veldkamp, Bernard P.; van der Linden, Willem J.; Ariel, A.

    2002-01-01

    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

  1. Integrated Task And Data Parallel Programming: Language Design

    Science.gov (United States)

    Grimshaw, Andrew S.; West, Emily A.

    1998-01-01

    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

  2. Program realization of mathematical model of kinetostatical calculation of flat lever mechanisms

    Directory of Open Access Journals (Sweden)

    M. A. Vasechkin

    2016-01-01

    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 [1]. 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.

  3. Computer-Assisted Language Learning: Current Programs and Projects. ERIC Digest.

    Science.gov (United States)

    Higgins, Chris

    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…

  4. Mathematical Methods and Algorithms of Mobile Parallel Computing on the Base of Multi-core Processors

    Directory of Open Access Journals (Sweden)

    Alexander B. Bakulev

    2012-11-01

    Full Text Available This article deals with mathematical models and algorithms, providing mobility of sequential programs parallel representation on the high-level language, presents formal model of operation environment processes management, based on the proposed model of programs parallel representation, presenting computation process on the base of multi-core processors.

  5. C language program analysis system (CLAS) part 1: graphical user interface (GUI)

    International Nuclear Information System (INIS)

    Bhattacharjee, A.K.; Seby, A.; Sen, Gopa; Dhodapkar, S.D.

    1994-01-01

    CLAS (C Language Program Analysis System) is a reverse engineering tool intended for use in the verification and validation (V and V) phase of software programs developed in the ANSI C language. From the source code, CLAS generates data pertaining to two conceptual models of software programs viz., Entity-Relationship (E-R) model and Control Flow Graphs (CFG) model. Browsing tools within CLAS, make use of this data, to provide different graphical views of the project. Static analysis tools have been developed earlier for analysing assembly language programs. CLAS is a continuation of this work to provide automated support in analysis of ANSI C language programs. CLAS provides an integrated Graphical User Interface (GUI) based environment under which programs can be analysed into the above mentioned models and the analysed data can be viewed using the browsing tools. The GUI of CLAS is implemented using an OPEN LOOK compliant tool kit XVIEW on Sun SPARC IPC workstation running Sun OS 4.1.1 rev. B. This report describes the GUI of CLAS. CLAS is also expected to be useful in other contexts which may involve understanding architecture/structure of already developed C language programs. Such requirements can arise while carrying out activities like code modification, parallelising etc. (author). 5 refs., 13 figs., 1 appendix

  6. Las Matematicas: Lenguaje Universal. Nivel 3: La Medida (Mathematics: A Universal Language. Level 3: Measurement).

    Science.gov (United States)

    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)

  7. MIPS to the "4", Mathematics Improves Promotes Students. A Program of Mathematics for the Elementary Math Laboratory. Limited Edition.

    Science.gov (United States)

    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…

  8. Attitudinal Perspectives: A Factor to Implementation of a Dual Language Program

    Directory of Open Access Journals (Sweden)

    Michael Whitacre

    2015-01-01

    Full Text Available The central focus of this study was to determine the overall perceptions of school administrators, and the district bilingual coordinator on transferring theory to classroom practice, implementation, as viewed by those involved in the implementation process of the Gómez and Gómez Model of Dual Language Education. Responses were solicited from administrative personnel involved in the implementation of the Gómez and Gómez Model of Dual Language. Results revealed overall administrative attitudes were positive to the theoretical ideology and mixed as related to the actual implementation of the dual language program. The greatest areas of concern were; what to do when students enter the program who are either not Spanish dominant or who have not been in a dual language program. The second area of concern was with how to effectively evaluate teachers as they are observed for implementation of the dual langue program. Lastly, most administrators felt there was a lack of faculty proficient in Spanish.

  9. Teacher Perceptions of an Online Tutoring Program for Elementary Mathematics

    Science.gov (United States)

    Whetstone, Patti; Clark, Amy; Flake, Mari Wheeler

    2014-01-01

    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…

  10. The Effects of Web 2.0 Technologies Usage in Programming Languages Lesson on the Academic Success, Interrogative Learning Skills and Attitudes of Students towards Programming Languages

    Science.gov (United States)

    Gençtürk, Abdullah Tarik; Korucu, Agah Tugrul

    2017-01-01

    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…

  11. HI-VISUAL: A language supporting visual interaction in programming

    International Nuclear Information System (INIS)

    Monden, N.; Yoshino, Y.; Hirakawa, M.; Tanaka, M.; Ichikawa, T.

    1984-01-01

    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

  12. User's guide to the Sandia Mathematical Program Library at Livermore

    Energy Technology Data Exchange (ETDEWEB)

    Huddleston, R.E.; Jefferson, T.H.

    1976-03-01

    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)

  13. Curriculum-Based Language Assessment With Culturally and Linguistically Diverse Students in the Context of Mathematics.

    Science.gov (United States)

    Newkirk-Turner, Brandi L; Johnson, Valerie E

    2018-04-05

    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).

  14. An empirical study on the usage of the swift programming language

    NARCIS (Netherlands)

    Reboucas, M.; Pinto, G.; Ebert, F.; Torres, W.; Serebrenik, A.; Castor, F.

    2016-01-01

    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

  15. Programming language concepts for software developers

    DEFF Research Database (Denmark)

    Sestoft, Peter

    2008-01-01

    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...

  16. Multi-Language Programming Environments for High Performance Java Computing

    Directory of Open Access Journals (Sweden)

    Vladimir Getov

    1999-01-01

    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.

  17. The efficacy of a vocabulary intervention for dual-language learners with language impairment.

    Science.gov (United States)

    Restrepo, Maria Adelaida; Morgan, Gareth P; Thompson, Marilyn S

    2013-04-01

    In this study, the authors evaluated the efficacy of a Spanish-English versus English-only vocabulary intervention for dual-language learners (DLLs) with language impairment compared to mathematics intervention groups and typically developing controls with no intervention. Further, in this study the authors also examined whether the language of instruction affected English, Spanish, and conceptual vocabulary differentially. The authors randomly assigned 202 preschool DLLs with language impairment to 1 of 4 conditions: bilingual vocabulary, English-only vocabulary, bilingual mathematics, or English-only mathematics. Fifty-four DLLs with typical development received no intervention. The vocabulary intervention consisted of a 12-week small-group dialogic reading and hands-on vocabulary instruction of 45 words. Postintervention group differences and linear growth rates were examined in conceptual, English, and Spanish receptive and expressive vocabulary for the 45 treatment words. Results indicate that the bilingual vocabulary intervention facilitated receptive and expressive Spanish and conceptual vocabulary gains in DLLs with language impairment compared with the English vocabulary intervention, mathematics intervention, and no-intervention groups. The English-only vocabulary intervention differed significantly from the mathematics condition and no-intervention groups on all measures but did not differ from the bilingual vocabulary intervention. Vocabulary growth rates postintervention slowed considerably. Results support the idea that bilingual interventions support native- and second-language vocabulary development. English-only intervention supports only English. Use of repeated dialogic reading and hands-on activities facilitates vocabulary acquisition.

  18. Applications of Functional Near-Infrared Spectroscopy (fNIRS) in Studying Cognitive Development: The Case of Mathematics and Language.

    Science.gov (United States)

    Soltanlou, Mojtaba; Sitnikova, Maria A; Nuerk, Hans-Christoph; Dresler, Thomas

    2018-01-01

    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.

  19. Frontiers in economic research on petroleum allocation using mathematical programming methods

    International Nuclear Information System (INIS)

    Rowse, J.

    1991-01-01

    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

  20. A Mathematical Sciences Program at an Upper-Division Campus.

    Science.gov (United States)

    Swetz, Frank J.

    1978-01-01

    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)

  1. Impact of Augmented Reality on Programming Language Learning: Efficiency and Perception

    Science.gov (United States)

    Teng, Chin-Hung; Chen, Jr-Yi; Chen, Zhi-Hong

    2018-01-01

    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…

  2. Cognitive correlates of performance in advanced mathematics.

    Science.gov (United States)

    Wei, Wei; Yuan, Hongbo; Chen, Chuansheng; Zhou, Xinlin

    2012-03-01

    Much research has been devoted to understanding cognitive correlates of elementary mathematics performance, but little such research has been done for advanced mathematics (e.g., modern algebra, statistics, and mathematical logic). To promote mathematical knowledge among college students, it is necessary to understand what factors (including cognitive factors) are important for acquiring advanced mathematics. We recruited 80 undergraduates from four universities in Beijing. The current study investigated the associations between students' performance on a test of advanced mathematics and a battery of 17 cognitive tasks on basic numerical processing, complex numerical processing, spatial abilities, language abilities, and general cognitive processing. The results showed that spatial abilities were significantly correlated with performance in advanced mathematics after controlling for other factors. In addition, certain language abilities (i.e., comprehension of words and sentences) also made unique contributions. In contrast, basic numerical processing and computation were generally not correlated with performance in advanced mathematics. Results suggest that spatial abilities and language comprehension, but not basic numerical processing, may play an important role in advanced mathematics. These results are discussed in terms of their theoretical significance and practical implications. ©2011 The British Psychological Society.

  3. The Varieties of Programming Language Semantics (and Their Uses)

    DEFF Research Database (Denmark)

    Mosses, Peter David

    2001-01-01

    ; 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...

  4. Evaluation of verifiability in HAL/S. [programming language for aerospace computers

    Science.gov (United States)

    Young, W. D.; Tripathi, A. R.; Good, D. I.; Browne, J. C.

    1979-01-01

    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.

  5. Perceptions of Preservice Teachers about Adaptive Learning Programs in K-8 Mathematics Education

    OpenAIRE

    Smith, Kevin

    2018-01-01

    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...

  6. The comparison and selection of programming languages for high energy physics applications

    International Nuclear Information System (INIS)

    White, B.; Stanford Linear Accelerator Center, CA

    1989-01-01

    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.)

  7. Implementing Task-Based Language Teaching to Integrate Language Skills in an EFL Program at a Colombian University

    Science.gov (United States)

    Córdoba Zúñiga, Eulices

    2016-01-01

    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…

  8. SIGMA, a new language for interactive array-oriented computing

    International Nuclear Information System (INIS)

    Hagedorn, R.; Reinfelds, J.; Vandoni, C.; Hove, L. van.

    1978-01-01

    A description is given of the principles and the main facilities of SIGMA (System for Interactive Graphical Mathematical Applications), a programming language for scientific computing whose major characteristics are: automatic handling of multi-dimensional rectangular arrays as basic data units, interactive operation of the system, and graphical display facilities. After introducing the basic concepts and features of the language, it describes in some detail the methods and operators for the automatic handling of arrays and for their graphical display, the procedures for construction of programs by users, and other facilities of the system. The report is a new version of CERN 73-5. (Auth.)

  9. Report on Networking and Programming Languages 2017

    KAUST Repository

    Bjorner, Nikolaj

    2017-10-26

    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.

  10. Report on Networking and Programming Languages 2017

    KAUST Repository

    Bjorner, Nikolaj; Canini, Marco; Sultana, Nik

    2017-01-01

    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.

  11. Categorical model of structural operational semantics for imperative language

    Directory of Open Access Journals (Sweden)

    William Steingartner

    2016-12-01

    Full Text Available Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics. It describes program behavior in the form of state changes after execution of elementary steps of program. This feature makes structural operational semantics useful for implementation of programming languages and also for verification purposes. In our paper we present a new approach to structural operational semantics. We model behavior of programs in category of states, where objects are states, an abstraction of computer memory and morphisms model state changes, execution of a program in elementary steps. The advantage of using categorical model is its exact mathematical structure with many useful proved properties and its graphical illustration of program behavior as a path, i.e. a composition of morphisms. Our approach is able to accentuate dynamics of structural operational semantics. For simplicity, we assume that data are intuitively typed. Visualization and facility of our model is  not only  a  new model of structural operational semantics of imperative programming languages but it can also serve for education purposes.

  12. English learners in the mathematics classroom

    CERN Document Server

    Coggins, Debra S (Susan)

    2014-01-01

    Research-based strategies to reach English learners - now aligned with the Common Core!Enable your English learners to build higher-level math skills and gain greater fluency in their new language-all while achieving the goals of the Common Core. Now in its second edition, this trusted resource includes:  Mathematics lesson scenarios in every chapter, directly connected to Common Core Standards and the Standards for Mathematical Practice Instructional approaches that promote participation, hands-on learning, and true comprehension of mathematics concepts that benefit ALL students Sample lessons, visuals, and essential vocabulary that connect mathematical concepts with language development.

  13. A programming language for composable DNA circuits.

    Science.gov (United States)

    Phillips, Andrew; Cardelli, Luca

    2009-08-06

    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.

  14. Logic-programming language enriches design processes

    Energy Technology Data Exchange (ETDEWEB)

    Kitson, B.; Ow-Wing, K.

    1984-03-22

    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.

  15. Introduction to formal languages

    CERN Document Server

    Révész, György E

    1991-01-01

    Covers all areas, including operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages, and more. Numerous worked examples, problem exercises, and elegant mathematical proofs. 1983 edition.

  16. Mathematical logic in the human brain: syntax.

    Directory of Open Access Journals (Sweden)

    Roland Friedrich

    Full Text Available Theory predicts a close structural relation of formal languages with natural languages. Both share the aspect of an underlying grammar which either generates (hierarchically structured expressions or allows us to decide whether a sentence is syntactically correct or not. The advantage of rule-based communication is commonly believed to be its efficiency and effectiveness. A particularly important class of formal languages are those underlying the mathematical syntax. Here we provide brain-imaging evidence that the syntactic processing of abstract mathematical formulae, written in a first order language, is, indeed efficient and effective as a rule-based generation and decision process. However, it is remarkable, that the neural network involved, consisting of intraparietal and prefrontal regions, only involves Broca's area in a surprisingly selective way. This seems to imply that despite structural analogies of common and current formal languages, at the neural level, mathematics and natural language are processed differently, in principal.

  17. Towards Bridging the Gap Programming Language and Partial Evaluation

    DEFF Research Database (Denmark)

    Le Meur, Anne-Francoise; Lawall, Julia Laetitia; Consel, Charles

    2002-01-01

    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...

  18. The Sizing and Optimization Language, (SOL): Computer language for design problems

    Science.gov (United States)

    Lucas, Stephen H.; Scotti, Stephen J.

    1988-01-01

    The Sizing and Optimization Language, (SOL), a new high level, special purpose computer language was developed to expedite application of numerical optimization to design problems and to make the process less error prone. SOL utilizes the ADS optimization software and provides a clear, concise syntax for describing an optimization problem, the OPTIMIZE description, which closely parallels the mathematical description of the problem. SOL offers language statements which can be used to model a design mathematically, with subroutines or code logic, and with existing FORTRAN routines. In addition, SOL provides error checking and clear output of the optimization results. Because of these language features, SOL is best suited to model and optimize a design concept when the model consits of mathematical expressions written in SOL. For such cases, SOL's unique syntax and error checking can be fully utilized. SOL is presently available for DEC VAX/VMS systems. A SOL package is available which includes the SOL compiler, runtime library routines, and a SOL reference manual.

  19. A Developmental Mapping Program Integrating Geography and Mathematics.

    Science.gov (United States)

    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…

  20. Language Learning Shifts and Attitudes Towards Language Learning in an Online Tandem Program for Beginner Writers

    Directory of Open Access Journals (Sweden)

    Constanza Tolosa

    2017-01-01

    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.

  1. The Army Method Revisited: The Historical and Theoretical Backgrounds of the Military Intensive Language Programs.

    Science.gov (United States)

    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…

  2. Nociones de la programacion de lenguas extranjeras (Ensayo metodologico) (Programming Foreign Languages [A Methodological Study])

    Science.gov (United States)

    Feldman, David

    1975-01-01

    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)

  3. Language Immersion Programs for Young Children? Yes . . . but Proceed with Caution

    Science.gov (United States)

    Soderman, Anne K.

    2010-01-01

    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…

  4. What's Working: Program Factors Influencing California Community College Basic Skills Mathematics Students' Advancement to Transfer Level

    Science.gov (United States)

    Fiero, Diane M.

    2013-01-01

    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…

  5. Mathematical programs with complementarity constraints in traffic and telecommunications networks.

    Science.gov (United States)

    Ralph, Daniel

    2008-06-13

    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.

  6. The RSZ BASIC programming language manual

    Science.gov (United States)

    Stattel, R. J.; Niswander, J. K.; Kochhar, A. K.

    1980-01-01

    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.

  7. Strengthening programs in science, engineering and mathematics. Third annual progress report

    Energy Technology Data Exchange (ETDEWEB)

    Sandhu, S.S.

    1997-09-30

    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.

  8. The Elements of Language Curriculum: A Systematic Approach to Program Development.

    Science.gov (United States)

    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…

  9. Marine Language Exchange Program: A 21st Century International and Interdisciplinary Partnership

    Science.gov (United States)

    Robigou, V.; Nichols-Pecceu, M.

    2001-12-01

    The ability of scientists to communicate across cultural and linguistic barriers is crucial for the global economic sustainability and protection of the world\\'{}s oceans. Yet students with majors in the sciences and engineering constitute less than 2% of those who study abroad each year. And even rarer are students who study in countries where English is not the first language. The Marine Language Exchange program is a case study of an international and interdisciplinary collaboration between faculties in the languages and the sciences who address this gap. A consortium of U.S. and European institutions including Eckerd College (Florida), University of Washington (Washington), University of Hilo (Hawaii), Université de la Rochelle (France), Université de Liège (Belgium), and Universidad de Las Palmas (Spain) is developing a multilingual, marine sciences exchange program in an effort to internationalize their Marine Sciences departments. The program includes a three-week, intensive "bridge" course designed to reinforce second language skills in the context of marine sciences, and prepare undergraduate students for the cultural and educational differences of their host country. Following this immersion experience students from each institution enroll in courses abroad including marine sciences specialization for full academic credit. This session will review the Marine Language Exchange program activities since 2000 and will discuss the ideological and practical aspects of the program. The program successes, difficulties and future directions will also be presented. Different disciplinary approaches -Second Language Acquisition, English as a Second Language and Marine Science- prepare science students to contribute to the study and the management of the world\\'{}s oceans with an awareness of the cultural issues reflected by national marine policies. Based on this case study, other universities could initiate their own international and interdisciplinary

  10. The Application of Visual Basic Computer Programming Language to Simulate Numerical Iterations

    Directory of Open Access Journals (Sweden)

    Abdulkadir Baba HASSAN

    2006-06-01

    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.

  11. Physics, Computer Science and Mathematics Division annual report, 1 January--31 December 1975

    International Nuclear Information System (INIS)

    Lepore, J.L.

    1975-01-01

    This annual report describes the scientific research and other work carried out during the calendar year 1975. The report is nontechnical in nature, with almost no data. A 17-page bibliography lists the technical papers which detail the work. The contents of the report include the following: experimental physics (high-energy physics--SPEAR, PEP, SLAC, FNAL, BNL, Bevatron; particle data group; medium-energy physics; astrophysics, astronomy, and cosmic rays; instrumentation development), theoretical physics (particle theory and accelerator theory and design), computer science and applied mathematics (data management systems, socio-economic environment demographic information system, computer graphics, computer networks, management information systems, computational physics and data analysis, mathematical modeling, programing languages, applied mathematics research), real-time systems (ModComp and PDP networks), and computer center activities (systems programing, user services, hardware development, computer operations). A glossary of computer science and mathematics terms is also included. 32 figures

  12. Description of mathematical models and computer programs

    International Nuclear Information System (INIS)

    1977-01-01

    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

  13. 25 CFR 39.137 - May schools operate a language development program without a specific appropriation from Congress?

    Science.gov (United States)

    2010-04-01

    ... 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...

  14. Mathematics a minimal introduction

    CERN Document Server

    Buium, Alexandru

    2013-01-01

    Pre-Mathematical Logic Languages Metalanguage Syntax Semantics Tautologies Witnesses Theories Proofs Argot Strategies Examples Mathematics ZFC Sets Maps Relations Operations Integers Induction Rationals Combinatorics Sequences Reals Topology Imaginaries Residues p-adics Groups Orders Vectors Matrices Determinants Polynomials Congruences Lines Conics Cubics Limits Series Trigonometry Integrality Reciprocity Calculus Metamodels Categories Functors Objectives Mathematical Logic Models Incompleteness Bibliography Index

  15. A Survey on Visual Programming Languages in Internet of Things

    Directory of Open Access Journals (Sweden)

    Partha Pratim Ray

    2017-01-01

    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.

  16. Abstract Interpretation as a Programming Language

    Directory of Open Access Journals (Sweden)

    Mads Rosendahl

    2013-09-01

    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.

  17. Adapting high-level language programs for parallel processing using data flow

    Science.gov (United States)

    Standley, Hilda M.

    1988-01-01

    EASY-FLOW, a very high-level data flow language, is introduced for the purpose of adapting programs written in a conventional high-level language to a parallel environment. The level of parallelism provided is of the large-grained variety in which parallel activities take place between subprograms or processes. A program written in EASY-FLOW is a set of subprogram calls as units, structured by iteration, branching, and distribution constructs. A data flow graph may be deduced from an EASY-FLOW program.

  18. JASPAR RESTful API: accessing JASPAR data from any programming language.

    Science.gov (United States)

    Khan, Aziz; Mathelier, Anthony

    2018-05-01

    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. aziz.khan@ncmm.uio.no or anthony.mathelier@ncmm.uio.no. Supplementary data are available at Bioinformatics online.

  19. Dynamic Learning Objects to Teach Java Programming Language

    Science.gov (United States)

    Narasimhamurthy, Uma; Al Shawkani, Khuloud

    2010-01-01

    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…

  20. A graph rewriting programming language for graph drawing

    OpenAIRE

    Rodgers, Peter

    1998-01-01

    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...

  1. a performance analysis for evaluation of programming languages ...

    African Journals Online (AJOL)

    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.

  2. Working memory resources in young children with mathematical difficulties.

    Science.gov (United States)

    Kyttälä, Minna; Aunio, Pirjo; Hautamäki, Jarkko

    2010-02-01

    Working memory (WM) (Baddeley, 1986, 1997) is argued to be one of the most important cognitive resources underlying mathematical competence (Geary, 2004). Research has established close links between WM deficits and mathematical difficulties. This study investigated the possible deficits in WM, language and fluid intelligence that seem to characterize 4- to 6-year-old children with poor early mathematical skills before formal mathematics education. Children with early mathematical difficulties showed poor performance in both verbal and visuospatial WM tasks as well as on language tests and a fluid intelligence test indicating a thoroughly lower cognitive base. Poor WM performance was not moderated by fluid intelligence, but the extent of WM deficits was related to language skills. The educational implications are discussed.

  3. Transmission portal in vivo dosimetry by means of the Monte Carlo method and the mathematical programming language MATLAB

    International Nuclear Information System (INIS)

    BadraouiCuprova, K.

    2014-01-01

    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

  4. MATHEMATICS EDUCATION FOR LOGISTICS ENGINEERING

    OpenAIRE

    BÉLA ILLÉS; GABRIELLA BOGNÁR

    2012-01-01

    Mathematics is a crucial language in all engineering courses and researches where mathematical modeling, simulation and manipulation are commonly used. Engineering Mathematics courses are considered difficult courses in engineering curricula. This is reflected in engineering students’ performance at the end of each semester for these courses. Our goal is to overview a few questions on mathematics as a core subject of engineering.

  5. RAY TRACING IMPLEMENTATION IN JAVA PROGRAMMING LANGUAGE

    OpenAIRE

    Aybars UĞUR; Mustafa TÜRKSEVER

    2002-01-01

    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 ...

  6. AUTOMATION PROGRAM FOR RECOGNITION OF ALGORITHM SOLUTION OF MATHEMATIC TASK

    Directory of Open Access Journals (Sweden)

    Denis N. Butorin

    2014-01-01

    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. 

  7. AUTOMATION PROGRAM FOR RECOGNITION OF ALGORITHM SOLUTION OF MATHEMATIC TASK

    OpenAIRE

    Denis N. Butorin

    2014-01-01

    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. 

  8. Bricklayer: An Authentic Introduction to the Functional Programming Language SML

    Directory of Open Access Journals (Sweden)

    Victor Winter

    2014-12-01

    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.

  9. An Implementation of the Object-Oriented Concurrent Programming Language SINA

    NARCIS (Netherlands)

    Triphathi, Anand; Berge, Eric; Aksit, Mehmet

    SINA is an object-oriented language for distributed and concurrent programming. The primary focus of this paper is on the object-oriented concurrent programming mechanisms of SINA and their implementation. This paper presents the SINA constructs for concurrent programming and inter-object

  10. Mathematics in civilization

    CERN Document Server

    Resnikoff, Howard L

    2015-01-01

    Space flight, computers, lasers, and information technology ― these are but a few examples of the spectacular growth, development, and far-reaching applications of mathematics. But what of the field's past? Upon which intellectual milestones were the foundations of modern mathematics constructed? How has our comprehension of the physical universe, language, and the nature of thought itself been influenced and informed by the developments of mathematics through the ages?This lucid presentation examines how mathematics shaped and was shaped by the course of human events. In a format suited to co

  11. The Mathematics-language symbiosis: The learners' benefits ...

    African Journals Online (AJOL)

    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.

  12. Modern X86 assembly language programming 32-bit, 64-bit, SSE, and AVX

    CERN Document Server

    Kusswurm, Daniel

    2014-01-01

    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

  13. Physics, Computer Science and Mathematics Division annual report, 1 January--31 December 1975. [LBL

    Energy Technology Data Exchange (ETDEWEB)

    Lepore, J.L. (ed.)

    1975-01-01

    This annual report describes the scientific research and other work carried out during the calendar year 1975. The report is nontechnical in nature, with almost no data. A 17-page bibliography lists the technical papers which detail the work. The contents of the report include the following: experimental physics (high-energy physics--SPEAR, PEP, SLAC, FNAL, BNL, Bevatron; particle data group; medium-energy physics; astrophysics, astronomy, and cosmic rays; instrumentation development), theoretical physics (particle theory and accelerator theory and design), computer science and applied mathematics (data management systems, socio-economic environment demographic information system, computer graphics, computer networks, management information systems, computational physics and data analysis, mathematical modeling, programing languages, applied mathematics research), real-time systems (ModComp and PDP networks), and computer center activities (systems programing, user services, hardware development, computer operations). A glossary of computer science and mathematics terms is also included. 32 figures. (RWR)

  14. Programming a real code in a functional language (part 1)

    Energy Technology Data Exchange (ETDEWEB)

    Hendrickson, C.P.

    1991-09-10

    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.

  15. USING DISTANCE LEARNING TECHNOLOGIES IN THE LEARNING PROCESS OF MODERN PROGRAMMING LANGUAGES

    Directory of Open Access Journals (Sweden)

    Mariia A. Umryk

    2014-06-01

    Full Text Available In the research it was reviewed the use of distance learning technologies in the organization of research tasks while studying modern programming languages. The article contains an example of a training project on the subject "Modern programming languages". The authors argue the necessity of the use of modern information and communication technologies, in particular in modern programming languages distance learning, for the formation of students' 21st century skills that are essential in the process of programming (it is skills such as self-organization and self-discipline, communication skills, teamwork skills etc.. It is pointed out the structural units of the training project in accordance with the use of distance learning technologies. It is described the general characteristics and the use of appropriate methods of modern information and communication technologies.

  16. Modelling language

    CERN Document Server

    Cardey, Sylviane

    2013-01-01

    In response to the need for reliable results from natural language processing, this book presents an original way of decomposing a language(s) in a microscopic manner by means of intra/inter‑language norms and divergences, going progressively from languages as systems to the linguistic, mathematical and computational models, which being based on a constructive approach are inherently traceable. Languages are described with their elements aggregating or repelling each other to form viable interrelated micro‑systems. The abstract model, which contrary to the current state of the art works in int

  17. Analyzing Student Performance and Attitudes toward Textual versus Iconic Programming Languages

    Science.gov (United States)

    Lin, Janet Mei-Chuen; Yang, Mei-Ching

    2009-01-01

    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…

  18. Library Literacy Programs for English Language Learners. ERIC Digest.

    Science.gov (United States)

    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)

  19. Characteristic of critical and creative thinking of students of mathematics education study program

    Science.gov (United States)

    Rochmad; Agoestanto, A.; Kharis, M.

    2018-03-01

    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.

  20. An Interpreted Language and System for the Visualization of Unstructured Meshes

    Science.gov (United States)

    Moran, Patrick J.; Gerald-Yamasaki, Michael (Technical Monitor)

    1998-01-01

    We present an interpreted language and system supporting the visualization of unstructured meshes and the manipulation of shapes defined in terms of mesh subsets. The language features primitives inspired by geometric modeling, mathematical morphology and algebraic topology. The adaptation of the topology ideas to an interpreted environment, along with support for programming constructs such, as user function definition, provide a flexible system for analyzing a mesh and for calculating with shapes defined in terms of the mesh. We present results demonstrating some of the capabilities of the language, based on an implementation called the Shape Calculator, for tetrahedral meshes in R^3.

  1. Constraints and Logic Programming in Grammars and Language Analysis

    DEFF Research Database (Denmark)

    Christiansen, Henning

    2014-01-01

    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....

  2. The Teachers Academy for Mathematics and Science. Executive summary and program activities update

    Energy Technology Data Exchange (ETDEWEB)

    1992-09-01

    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.

  3. Mathematical modeling of the heat frozen earth in OpenFOAM

    International Nuclear Information System (INIS)

    Kudryashov, N.A.; Chmykhov, M.A.; Kartashev, A.P.

    2015-01-01

    A mathematical model of heating permafrost has been presented with allowance for the Stefan condition at the boundary melting. A numerical algorithm has been proposed for analyzing this process. A computation module has been developed on an open architecture with the use of object-oriented programming language OpenFOAM. The computation module has been verified on the known exact solutions of simplified problems [ru

  4. Radboud Sensis program for language, speech, and communication in children with visual impairment

    NARCIS (Netherlands)

    Vervloed, M.P.J.; Hartog, E. de; Jespers, C.; Wals, T. de

    2005-01-01

    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,

  5. Developing College English as a Second Language (ESL) Programs

    Science.gov (United States)

    Orlova, Irina A.; Kennedy, Jelane A.

    2009-01-01

    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…

  6. Foreign Language Writing Fellows Programs: A Model for Improving Advanced Writing Skills

    Science.gov (United States)

    Snyder, Delys Waite; Nielson, Rex P.; Kurzer, Kendon

    2016-01-01

    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…

  7. Optimization Research of Generation Investment Based on Linear Programming Model

    Science.gov (United States)

    Wu, Juan; Ge, Xueqian

    Linear programming is an important branch of operational research and it is a mathematical method to assist the people to carry out scientific management. GAMS is an advanced simulation and optimization modeling language and it will combine a large number of complex mathematical programming, such as linear programming LP, nonlinear programming NLP, MIP and other mixed-integer programming with the system simulation. In this paper, based on the linear programming model, the optimized investment decision-making of generation is simulated and analyzed. At last, the optimal installed capacity of power plants and the final total cost are got, which provides the rational decision-making basis for optimized investments.

  8. 34 CFR 658.4 - What definitions apply to the Undergraduate International Studies and Foreign Language Program?

    Science.gov (United States)

    2010-07-01

    ... 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...

  9. DESIGN OF EDUCATIONAL PROBLEMS ON LINEAR PROGRAMMING USING SYSTEMS OF COMPUTER MATHEMATICS

    Directory of Open Access Journals (Sweden)

    Volodymyr M. Mykhalevych

    2013-11-01

    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.

  10. Specifying the Behaviour of Python Programs: Language and Basic Examples

    Directory of Open Access Journals (Sweden)

    2010-04-01

    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.

  11. Comparing Pascal and Modula-2 as systems programming languages

    NARCIS (Netherlands)

    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

  12. Development of language, Mathematics and self-independence abilities of a five-year-old with speech delay using educational toys

    Directory of Open Access Journals (Sweden)

    Geertruida Maya

    2017-12-01

    Full Text Available The objective of this research was to identify the development of language and Mathematics abilities as well as self-independence of a five years old child with speech disorder. The study was conducted in eight weeks period in which playing with educational toys had been the main activity. This is a descriptive qualitative research in which the data were collected using direct interviews, checklist instruments and observations. Based on intensive observations using the four point Likert scale, there were medium increases in the observed variables. For the language ability the average score increased from 1.5 to 2.9 with the N-gain of 0,56, for the Mathematics ability the average score increased from 1.7 to 3.0 with the N-gain of 0,57 and for the self-independence the average score increased from 2.1 to 3.0 with N-gain of 0,47. A longitudinal study on the child for one or two years is needed to arrive at more meaningful and conclusive findings.

  13. Turning Origami into the Language of Mathematics

    Science.gov (United States)

    Cipoletti, Beth; Wilson, Nancy

    2004-01-01

    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…

  14. Requirements for a geometry programming language for CFD applications

    Science.gov (United States)

    Gentry, Arvel E.

    1992-01-01

    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.

  15. Handbook for Classroom Testing in Peace Corps Language Programs. Manual T0068.

    Science.gov (United States)

    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…

  16. A software complex intended for constructing applied models and meta-models on the basis of mathematical programming principles

    Directory of Open Access Journals (Sweden)

    Михаил Юрьевич Чернышов

    2013-12-01

    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.

  17. Design and Implementation of the Futhark Programming Language

    DEFF Research Database (Denmark)

    Henriksen, Troels

    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...

  18. The initial response of secondary mathematics teachers to a one-to-one laptop program

    Science.gov (United States)

    Zuber, Edward Nordin; Anderson, Judy

    2013-06-01

    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.

  19. An Empirical Investigation into Programming Language Syntax

    Science.gov (United States)

    Stefik, Andreas; Siebert, Susanna

    2013-01-01

    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…

  20. Developing Standards for Language Teacher Education Programs in Indonesia: Professionalizing or Losing in Complexity?

    Directory of Open Access Journals (Sweden)

    Luciana Luciana

    2004-01-01

    Full Text Available Setting standards for language teacher education programs, materials, and evaluation sparks some hope in attempts to improve the quality of the programs. Yet, this very fact augmented by my examination of ten language teacher education programs in Java, Bali, and Lampung (FKIP and PGRI triggers a critical look at the idea of standard development. In particular, I would like to explore whether it can lead to a better professionalism or we are just lost in the complexity of the standardization itself. This paper consists of four sections. Departing from an overview of language teacher education programs in Indonesia and the theoretical foundations, some major problems in this area are identified. Following this, the discussion is focused on the idea of standard development for language teacher education programs in Indonesia. Eventually, some suggestions are put forth to highlight the need for establishing coherent curriculum framework bridging the two realms of language teacher education and school milieu as well as providing learners with knowledge base that enables them to cope with complex demands of school settings and more essentially, to act as an agent in the social change process.

  1. User-Defined Data Distributions in High-Level Programming Languages

    Science.gov (United States)

    Diaconescu, Roxana E.; Zima, Hans P.

    2006-01-01

    One of the characteristic features of today s high performance computing systems is a physically distributed memory. Efficient management of locality is essential for meeting key performance requirements for these architectures. The standard technique for dealing with this issue has involved the extension of traditional sequential programming languages with explicit message passing, in the context of a processor-centric view of parallel computation. This has resulted in complex and error-prone assembly-style codes in which algorithms and communication are inextricably interwoven. This paper presents a high-level approach to the design and implementation of data distributions. Our work is motivated by the need to improve the current parallel programming methodology by introducing a paradigm supporting the development of efficient and reusable parallel code. This approach is currently being implemented in the context of a new programming language called Chapel, which is designed in the HPCS project Cascade.

  2. Testing Math or Testing Language? The Construct Validity of the KeyMath-Revised for Children With Intellectual Disability and Language Difficulties.

    Science.gov (United States)

    Rhodes, Katherine T; Branum-Martin, Lee; Morris, Robin D; Romski, MaryAnn; Sevcik, Rose A

    2015-11-01

    Although it is often assumed that mathematics ability alone predicts mathematics test performance, linguistic demands may also predict achievement. This study examined the role of language in mathematics assessment performance for children with intellectual disability (ID) at less severe levels, on the KeyMath-Revised Inventory (KM-R) with a sample of 264 children, in grades 2-5. Using confirmatory factor analysis, the hypothesis that the KM-R would demonstrate discriminant validity with measures of language abilities in a two-factor model was compared to two plausible alternative models. Results indicated that KM-R did not have discriminant validity with measures of children's language abilities and was a multidimensional test of both mathematics and language abilities for this population of test users. Implications are considered for test development, interpretation, and intervention.

  3. Personalized Computer-Assisted Mathematics Problem-Solving Program and Its Impact on Taiwanese Students

    Science.gov (United States)

    Chen, Chiu-Jung; Liu, Pei-Lin

    2007-01-01

    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.…

  4. Python programming language and the effectiveness of its inclusion in the teaching

    OpenAIRE

    Vitásek, Tomáš

    2009-01-01

    The goal of the first part of this work is to summarize the basics of the Python programming language. Show how to create programs in Python, what are the modules, the basic data types, syntax and the possibility of approach to language. The second part will address the description of the initial programming courses, their objectives and what benefits it brings to teaching Python. Finally, then look at the (in)dependence on the Python platform for running and how to get from Python to another...

  5. Mathematics Connection - Vol 10 (2011)

    African Journals Online (AJOL)

    The language barrier education in Africa: The challenge of learning and teaching mathematics in a second language · EMAIL FULL TEXT EMAIL FULL TEXT DOWNLOAD FULL TEXT DOWNLOAD FULL TEXT. J Ibe, K Ekpo, O Akpan, UE Uyoata ...

  6. Connecting Teacher Professional Development and Student Mathematics Achievement: Mediating Belonging With Multimodal Explorations in Language, Identity, and Culture

    Science.gov (United States)

    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.

    2017-01-01

    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…

  7. High profile students’ growth of mathematical understanding in solving linier programing problems

    Science.gov (United States)

    Utomo; Kusmayadi, TA; Pramudya, I.

    2018-04-01

    Linear program has an important role in human’s life. This linear program is learned in senior high school and college levels. This material is applied in economy, transportation, military and others. Therefore, mastering linear program is useful for provision of life. This research describes a growth of mathematical understanding in solving linear programming problems based on the growth of understanding by the Piere-Kieren model. Thus, this research used qualitative approach. The subjects were students of grade XI in Salatiga city. The subjects of this study were two students who had high profiles. The researcher generally chose the subjects based on the growth of understanding from a test result in the classroom; the mark from the prerequisite material was ≥ 75. Both of the subjects were interviewed by the researcher to know the students’ growth of mathematical understanding in solving linear programming problems. The finding of this research showed that the subjects often folding back to the primitive knowing level to go forward to the next level. It happened because the subjects’ primitive understanding was not comprehensive.

  8. Girls in Engineering, Mathematics and Science, GEMS: A Science Outreach Program for Middle-School Female Students

    Science.gov (United States)

    Dubetz, Terry A.; Wilson, Jo Ann

    2013-01-01

    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…

  9. On the Expressive Power of Temporal Concurrent Constraint Programming Languages

    DEFF Research Database (Denmark)

    Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank D.

    2002-01-01

    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...

  10. Critical sets in one-parametric mathematical programs with complementarity constraints

    NARCIS (Netherlands)

    Bouza Allende, G.; Guddat, J.; Still, Georg J.

    2008-01-01

    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

  11. Students' Perceptions of Bilingualism in Spanish and Mandarin Dual Language Programs

    Science.gov (United States)

    Lindholm-Leary, Kathryn

    2016-01-01

    Considerable research documents students' outcomes in dual language (DL) programs, but there is little examination of students' perceptions of bilingualism and its impact on students' cognitive functioning and social relationships, especially with comparative studies across different target languages and student backgrounds. This study, which…

  12. Commercial Video Programs: A Component to Enhance Language Skills.

    Science.gov (United States)

    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,…

  13. Association of mandated language access programming and quality of care provided by mental health agencies.

    Science.gov (United States)

    McClellan, Sean R; Snowden, Lonnie

    2015-01-01

    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.

  14. Cognitive Style and Achievement in Imperative and Functional Programming Language Courses.

    Science.gov (United States)

    Myers, J. Paul, Jr.; Munsinger, Brita

    This paper investigates the relationship between learning style and programming achievement in two paradigms: imperative and functional. An imperative language achieves its effect by changing the value of variables by means of assignment statements while functional languages rely on evaluation of expressions rather than side-effects. Learning…

  15. The Haskell Road to Logic, Maths and Programming, Second Edition

    NARCIS (Netherlands)

    H.C. Doets; D.J.N. van Eijck (Jan)

    2012-01-01

    textabstractThe purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language that will be our tool for this is Haskell, a member of the Lisp family. Haskell emerged in the last decade as a

  16. A Capstone Mathematics Course for Prospective Secondary Mathematics Teachers

    Science.gov (United States)

    Artzt, Alice F.; Sultan, Alan; Curcio, Frances R.; Gurl, Theresa

    2012-01-01

    This article describes an innovative capstone mathematics course that links college mathematics with school mathematics and pedagogy. It describes how college juniors in a secondary mathematics teacher preparation program engage in leadership experiences that enable them to learn mathematics for teaching while developing student-centered…

  17. Exploring science and mathematics teaching experiences in Thailand using reflective journals of an internship program between Vietnamese and Thai students

    Science.gov (United States)

    Pruekpramool, Chaninan; Kanyaprasith, Kamonwan; Phonphok, Nason; Diem, Huynh Thi Thuy

    2018-01-01

    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.

  18. The FORCE: A highly portable parallel programming language

    Science.gov (United States)

    Jordan, Harry F.; Benten, Muhammad S.; Alaghband, Gita; Jakob, Ruediger

    1989-01-01

    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.

  19. The FORCE - A highly portable parallel programming language

    Science.gov (United States)

    Jordan, Harry F.; Benten, Muhammad S.; Alaghband, Gita; Jakob, Ruediger

    1989-01-01

    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.

  20. Constructing mathematical knowledge

    CERN Document Server

    Ernest, Paul

    2012-01-01

    This book provides a panorama of complimentary and forward looking perspectives on the learning of mathematics and epistemology from some of the leading contributors to the field. It explores constructivist and social theories of learning, and discusses the role of the computer in the light of these theories. It brings analyses from psychoanalysis, Hermeneutics and other perspectives to bear on the issues of mathematics and learning. It enquires into the nature of enquiry itself, and an important emergent theme is the role of language. Finally it relates the history of mathematics to its te

  1. The language barrier education in Africa: The challenge of learning ...

    African Journals Online (AJOL)

    The issues relating to language of instruction, mathematical language and interaction with mathematics education have remained unresolved. The interaction between these variables have attracted research understandings in recent years. This paper reports a study of the level of understanding of mathematical terms and ...

  2. Dual Language Immersion Program Equity and Access: Is There Equity for All Students?

    Science.gov (United States)

    Fernandez, Patricia Espinoza

    2016-01-01

    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…

  3. High school mathematics teachers' perspectives on the purposes of mathematical proof in school mathematics

    Science.gov (United States)

    Dickerson, David S.; Doerr, Helen M.

    2014-12-01

    Proof serves many purposes in mathematics. In this qualitative study of 17 high school mathematics teachers, we found that these teachers perceived that two of the most important purposes for proof in school mathematics were (a) to enhance students' mathematical understanding and (b) to develop generalized thinking skills that were transferable to other fields of endeavor. We found teachers were divided on the characteristics (or features) of proofs that would serve these purposes. Teachers with less experience tended to believe that proofs in the high school should adhere to strict standards of language and reasoning while teachers with more experience tended to believe that proofs based on concrete or visual features were well suited for high school mathematics. This study has implications for teacher preparation because it appears that there is a wide variation in how teachers think about proof. It seems likely that students would experience proof very differently merely because they were seated in different classrooms.

  4. A mathematics vocabulary questionnaire for use in the intermediate phase

    Directory of Open Access Journals (Sweden)

    Marthie van der Walt

    2008-11-01

    Full Text Available Teachers and psychologists need an instrument to assess learners' language proficiency in mathematics to enable them to plan and evaluate interventions and to facilitate best practice in mathematics classrooms. We describe the development of a mathematics vocabulary questionnaire to measure learners' language proficiency in mathematics in the intermediate phase. It covers all the steps from designing the preliminary questionnaire to standardising the final instrument. A sample of 1 103 Grades 4 to 7 Afrikaans-, English- and Tswana-speaking learners in North West Province completed the Mathematics Vocabulary questionnaire (Primary (MV(P, consisting of 12 items. We analysed the data by calculating discrimination values, performing a factor analysis, determining reliability coefficients, and investigating item bias by language, gender, and grade. We concluded that there was strong evidence of validity and reliability for the MV(P.

  5. Interactive data manipulation program. FAWTEK user guide

    International Nuclear Information System (INIS)

    Boyer, W.B.; Sauer, S.

    1980-02-01

    This report describes the interactive data acquisition and manipulation program FAWTEK.'The program allows users of the electron beam data acquisition facility to control the R7912 digitizers and to perform a variety of mathematical operations on data arrays. Commands are entered in a high level language via a Tektronix 4010 terminal console. Each command directive and associated parameters is described in detail

  6. The mathematical foundations of gauge theories

    International Nuclear Information System (INIS)

    Marathe, K.B.; Martucci, G.

    1992-01-01

    Theoretical physicists tend to discuss their theories in the language of mathematics. However, the adequate mathematical formulation may not yet be available when the physical law is first discovered. Mathematical physicists trying to develop the relevant mathematics for these theories, may obtain new insights into old mathematical structures. Gauge Theory is such a gift from physics to mathematics. This book presents a self-contained development of a differential geometric formulation of gauge theories, in particular, the theory of Yang-Mills fields. (author). refs.; figs.; tabs

  7. A Comparison of Inter-Professional Education Programs in Preparing Prospective Teachers and Speech and Language Pathologists for Collaborative Language-Literacy Instruction

    Science.gov (United States)

    Wilson, Leanne; McNeill, Brigid; Gillon, Gail T.

    2016-01-01

    Ensuring teacher and speech and language pathology graduates are prepared to work collaboratively together to meet the diverse language literacy learning needs of children is an important goal. This study investigated the efficacy of a 3-h inter-professional education program focused on explicit instruction in the language skills that underpin…

  8. Collaboration between Mathematics Facilitators and Preschool Teachers Using the Innovative "Senso-Math" Preschool Program

    Science.gov (United States)

    Hassidov, Dina; Ilany, Bat-Sheva

    2018-01-01

    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…

  9. Mathematics, Language, and Learning: A Longitudinal Study of Elementary Teachers and Their Mathematics Teaching Practices

    OpenAIRE

    Yeh, Cathery

    2016-01-01

    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...

  10. ABOUT THE RELEVANCE AND METHODOLOGY ASPECTS OF TEACHING THE MATHEMATICAL MODELING TO PEDAGOGICAL STUDENTS

    Directory of Open Access Journals (Sweden)

    Y. A. Perminov

    2014-01-01

    Full Text Available The paper substantiates the need for profile training in mathematical modeling for pedagogical students, caused by the total penetration of mathematics into different sciences, including the humanities; fast development of the information communications technologies; and growing importance of mathematical modeling, combining the informal scientific and formal mathematical languages with the unique opportunities of computer programming. The author singles out the reasons for mastering and using the mathematical apparatus by teaches in every discipline. Indeed, among all the modern mathematical methods and ideas, mathematical modeling retains its priority in all professional spheres. Therefore, the discipline of “Mathematical Modeling” can play an important role in integrating different components of specialists training in various profiles. By mastering the basics of mathematical modeling, students acquire skills of methodological thinking; learn the principles of analysis, synthesis, generalization of ideas and methods in different disciplines and scientific spheres; and achieve general culture competences. In conclusion, the author recommends incorporating the “Methods of Profile Training in Mathematical Modeling” into the pedagogical magistracy curricula. 

  11. The Effects of Modern Mathematics Computer Games on Mathematics Achievement and Class Motivation

    Science.gov (United States)

    Kebritchi, Mansureh; Hirumi, Atsusi; Bai, Haiyan

    2010-01-01

    This study examined the effects of a computer game on students' mathematics achievement and motivation, and the role of prior mathematics knowledge, computer skill, and English language skill on their achievement and motivation as they played the game. A total of 193 students and 10 teachers participated in this study. The teachers were randomly…

  12. A Demonstration of the Grrr Graph Rewriting Programming Language

    OpenAIRE

    Rodgers, Peter; Vidal, Natalia

    2000-01-01

    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.

  13. Tensor Arithmetic, Geometric and Mathematic Principles of Fluid Mechanics in Implementation of Direct Computational Experiments

    Directory of Open Access Journals (Sweden)

    Bogdanov Alexander

    2016-01-01

    Full Text Available The architecture of a digital computing system determines the technical foundation of a unified mathematical language for exact arithmetic-logical description of phenomena and laws of continuum mechanics for applications in fluid mechanics and theoretical physics. The deep parallelization of the computing processes results in functional programming at a new technological level, providing traceability of the computing processes with automatic application of multiscale hybrid circuits and adaptive mathematical models for the true reproduction of the fundamental laws of physics and continuum mechanics.

  14. Examination of Sign Language Education According to the Opinions of Members from a Basic Sign Language Certification Program

    Science.gov (United States)

    Akmese, Pelin Pistav

    2016-01-01

    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…

  15. The Impacts of Theme-Based Language Instruction: A Case Study of an Advanced Chinese Intensive Program

    Directory of Open Access Journals (Sweden)

    Song Jiang

    2017-06-01

    Full Text Available Theme-based language teaching under Content-Based Instruction (CBI is a pedagogical approach that emphasizes learning professional content along with language skills. This paper reports a case study on the impacts of a theme-based advanced Chinese intensive program in a university setting. It begins with a review of CBI and its theme-based approach and then discusses the program design, curriculum development, and instructional practice of the program. The impacts of the theme-based approach are examined based on the pre- and post-proficiency test results, learners’ self-reported surveys on the themes and topics, and the reading strategies covered in the program. Qualitative analysis of learners’ self-reflections and program evaluations is also presented. Based on the evidence collected, this paper argues that the theme-based model has positive impacts on improving language proficiency, preparing for academic and professional language use, cultivating strategic language learners, and revitalizing Chinese teaching at the superior level.

  16. The programming language HAL: A specification

    Science.gov (United States)

    1971-01-01

    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.

  17. WNetKAT: A Weighted SDN Programming and Verification Language

    DEFF Research Database (Denmark)

    Larsen, Kim Guldstrand; Schmid, Stefan; Xue, Bingtian

    2017-01-01

    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...

  18. When technology became language: the origins of the linguistic conception of computer programming, 1950-1960.

    Science.gov (United States)

    Nofre, David; Priestley, Mark; Alberts, Gerard

    2014-01-01

    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.

  19. Pre-Service Teachers' Uses of and Barriers from Adopting Computer-Assisted Language Learning (CALL) Programs

    Science.gov (United States)

    Samani, Ebrahim; Baki, Roselan; Razali, Abu Bakar

    2014-01-01

    Success in implementation of computer-assisted language learning (CALL) programs depends on the teachers' understanding of the roles of CALL programs in education. Consequently, it is also important to understand the barriers teachers face in the use of computer-assisted language learning (CALL) programs. The current study was conducted on 14…

  20. RAY TRACING IMPLEMENTATION IN JAVA PROGRAMMING LANGUAGE

    Directory of Open Access Journals (Sweden)

    Aybars UĞUR

    2002-01-01

    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.

  1. Mathematical models and algorithms for the computer program 'WOLF'

    International Nuclear Information System (INIS)

    Halbach, K.

    1975-12-01

    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

  2. INDUSTRIAL ROBOT ARM SIMULATION SOFTWARE DEVELOPMENT USING JAVA-3D AND MATLAB SIMULINK PROGRAMMING LANGUAGE

    OpenAIRE

    Wirabhuana, Arya

    2011-01-01

    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...

  3. Reconstruction of tomographic images from projections of a small number of views by means of mathematical programming

    International Nuclear Information System (INIS)

    Kobayashi, Fujio; Yamaguchi, Shoichiro

    1985-01-01

    Fundamental studies have been made on the application of mathematical programming to the reconstruction of tomographic images from projections of a small number of views without requiring any circular symmetry nor periodicity. Linear programming and quadratic programming were applied to minimize the quadratic sum of the residue and to finally obtain optimized reconstruction images. The mathematical algorithms were verified by the method of computer simulation, and the relationship between the number of picture elements and the number of iterations necessary for convergence was also investigated. The methods of linear programming and quadratic programming require fairly simple mathematical procedures, and strict solutions can be obtained within a finite number of iterations. Their only draw back is the requirement of a large quantity of computer memory. But this problem will be desolved by the advent of large fast memory devices in the near future. (Aoki, K.)

  4. Teaching Mathematical Problem Solving to Students with Limited English Proficiency.

    Science.gov (United States)

    Kaplan, Rochelle G.; Patino, Rodrigo A.

    Many mainstreamed students with limited English proficiency continue to face the difficulty of learning English as a second language (ESL) while studying mathematics and other content areas framed in the language of native speakers. The difficulty these students often encounter in mathematics classes and their poor performance on subsequent…

  5. Program Verification with Monadic Second-Order Logic & Languages for Web Service Development

    DEFF Research Database (Denmark)

    Møller, Anders

    applications, this implementation forms the basis of a verification technique for imperative programs that perform data-type operations using pointers. To achieve this, the basic logic is extended with layers of language abstractions. Also, a language for expressing data structures and operations along...

  6. Towards provably correct code generation for a hard real-time programming language

    DEFF Research Database (Denmark)

    Fränzle, Martin; Müller-Olm, Markus

    1994-01-01

    This paper sketches a hard real-time programming language featuring operators for expressing timeliness requirements in an abstract, implementation-independent way and presents parts of the design and verification of a provably correct code generator for that language. The notion of implementation...

  7. Solving a bi-objective mathematical programming model for bloodmobiles location routing problem

    Directory of Open Access Journals (Sweden)

    Masoud Rabbani

    2017-01-01

    Full Text Available Perishability of platelets, uncertainty of donors’ arrival and conflicting views in platelet supply chain have made platelet supply chain planning a problematic issue. In this paper, mobile blood collection system for platelet production is investigated. Two mathematical models are presented to cover the bloodmobile collection planning problem. The first model is a multi-objective fuzzy mathematical programming in which the bloodmobiles locations are considered with the aim of maximizing potential amount of blood collection and minimizing the operational cost. The second model is a vehicle routing problem with time windows which studies the shuttles routing problem. To tackle the first model, it is reformulated as a crisp multi objective linear programming model and then solved through a fuzzy multi objective programming approach. Several sensitivity analysis are conducted on important parameters to demonstrate the applicability of the proposed model. The proposed model is then solved by using a tailored Simulated Annealing (SA algorithm. The numerical results demonstrate promising efficiency of the proposed solution method.

  8. The ulam Programming Language for Artificial Life.

    Science.gov (United States)

    Ackley, David H; Ackley, Elena S

    2016-01-01

    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.

  9. The comparison and selection of programming languages for high energy physics applications

    International Nuclear Information System (INIS)

    White, B.

    1991-06-01

    This paper discusses the issues surrounding the comparison and selection of a programming language to be used in high energy physics software applications. The evaluation method used was specifically devised to address the issues of particular importance to high energy physics (HEP) applications, not just the technical features of the languages considered. The method assumes a knowledge of the requirements of current HEP applications, the data-processing environments expected to support these applications and relevant non-technical issues. The languages evaluated were Ada, C, FORTRAN 77, FORTRAN 99 (formerly 8X), Pascal and PL/1. Particular emphasis is placed upon the past, present and anticipated future role of FORTRAN in HEP software applications. Upon examination of the technical and practical issues, conclusions are reached and some recommendations are made regarding the role of FORTRAN and other programming languages in the current and future development of HEP software. 54 refs

  10. Mathematical fallacies and paradoxes

    CERN Document Server

    Bunch, Bryan

    1982-01-01

    Stimulating, thought-provoking analysis of the most interesting intellectual inconsistencies in mathematics, physics, and language, including being led astray by algebra (De Morgan's paradox). 1982 edition.

  11. Interactive data manipulation program FAWTEK user guide

    International Nuclear Information System (INIS)

    Boyer, W.B.

    1977-02-01

    The interactive data acquisitio and manipulation program FAWTEK is described. The program allows users of the electron beam data acquisition facility to control the R7912 digitizers and to perform a variety of mathematical operations on data arrays. Commands are entered in a high-level language via a Tektronix 4010 terminal console. Each command directive, aling with its associated parameters, is described in detail

  12. Constructing the ScratchJr Programming Language in the Early Childhood Classroom

    Science.gov (United States)

    Portelance, Dylan J.; Strawhacker, Amanda L.; Bers, Marina Umaschi

    2016-01-01

    This paper seeks to contribute to the growing literature on children and computer programming by focusing on a programming language for children in Kindergarten through second grade. Sixty-two students were exposed to a 6-week curriculum using ScartchJr. They learned foundational programming concepts and applied those concepts to create personally…

  13. A mathematical method for boiling water reactor control rod programming

    International Nuclear Information System (INIS)

    Tokumasu, S.; Hiranuma, H.; Ozawa, M.; Yokomi, M.

    1985-01-01

    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

  14. Associative programming language and virtual associative access manager

    Science.gov (United States)

    Price, C.

    1978-01-01

    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.

  15. A Mathematical Program to Develop the Skills of Thinking of Children

    Directory of Open Access Journals (Sweden)

    Magda M. Saleh

    2009-10-01

    Full Text Available The importance of this study emerges from the importance of the points it discusses as it attempts to study the effectiveness of the suggested program of mathematics that develop the thinking skill of the children in preschool age. Accordingly, it comes from the attempt to teach the children the skill of thinking as one of the important and required skills for the children to accommodate with the surrounded environment and to help them develop and grow completely and to accommodate with themselves and their society. The purpose of this study is, thus, summarized in the answering of the following questions: 1- How can we create a program that uses mathematical activities and that contribute in the development of thinking skill of the preschool child? 2- To what extent is that program effective to develop the skills of thinking of the preschool child? The research sample is composed of 35 children for the experimental group and the same number for the controller group from the KJ2 children. The results of the research showed the effectiveness of the suggested program and its obvious contribution in the development of the thinking skills for the preschool children in a more effective way than the traditional methods used.

  16. CAMAC module control from the TPA-1001/i by means of the FOCAL programming language

    International Nuclear Information System (INIS)

    Angelov, A.Kh.; Dubovik, L.V.

    1977-01-01

    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

  17. Prolog as description and implementation language in computer science teaching

    DEFF Research Database (Denmark)

    Christiansen, Henning

    population with uneven mathematical backgrounds. % Definitional interpreters, compilers, and other models of computation are defined in a systematic way as Prolog programs, and as a result, formal descriptions become running prototypes that can be tested and modified by the students. These programs can......Prolog is a powerful pedagogical instrument for theoretical elements of computer science when used as combined description language and experimentation tool. A teaching methodology based on this principle has been developed and successfully applied in a context with a heterogeneous student...

  18. BAIK– PROGRAMMING LANGUAGE BASED ON INDONESIAN LEXICAL PARSING FOR MULTITIER WEB DEVELOPMENT

    Directory of Open Access Journals (Sweden)

    Haris Hasanudin

    2012-05-01

    Full Text Available Business software development with global team is increasing rapidly and the programming language as development tool takes the important role in the global web development. The real user friendly programming language should be written in local language for programmer who has native language is not in English. This paper presents our design of BAIK (Bahasa Anak Indonesia untuk Komputerscripting language which syntax is modeled with Bahasa Indonesian for multitier web development. Researcher propose the implementation of Indonesian Parsing Engine and Binary Search Tree structure for memory allocation of variable and compose the language features that support basic Object Oriented Programming, Common Gateway Interface, HTML style manipulation and database connection. Our goal is to build real programming language from simple structure design for web development using Indonesian lexical words. Pengembangan bisnis perangkat lunak dalam tim berskala global meningkat dengan cepat dan bahasa pemrograman berperan penting dalam pengembangan web secara global. Bahasa pemrograman yang benar-benar ramah terhadap pengguna harus ditulis dalam bahasa lokal programmer yang bahasa ibunya bukan Bahasa Inggris. Paper ini menyajikan desain dari bahasa penulisan BAIK (Bahasa Anak Indonesia untuk Komputer, yang sintaksisnya dimodelkan dengan Bahasa Indonesia untuk pengembangan web multitier. Peneliti mengusulkan implementasi dari parsing engine Bahasa Indonesia dan struktur binary search tree untuk alokasi memori terhadap variabel, serta membuat fitur bahasa yang mendukung dasar pemrograman berbasis objek, common gateway interface, manipulasi gaya HTML, dan koneksi basis data. Tujuan penelitian ini adalah untuk menciptakan bahasa pemrograman yang sesungguhnya dan menggunakan desain struktur sederhana untuk pengembangan web dengan menggunakan kata-kata dari Bahasa Indonesia.

  19. Whatever Happened to Richard Reid's List of First Programming Languages?

    Science.gov (United States)

    Siegfried, Robert M.; Greco, Daniel M.; Miceli, Nicholas G.; Siegfried, Jason P.

    2012-01-01

    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…

  20. Las Matematicas: Lenguaje Universal. Nivel 1: Numeros y Numeracion (Mathematics: A Universal Language. Level 1: Numbers and Numeration).

    Science.gov (United States)

    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)

  1. Influences on Mathematical Preparation of Secondary School Teachers of Mathematics.

    Science.gov (United States)

    Johnson, Carl S.; Byars, Jackson A.

    The results of a survey related to the impact of various recommendations on preservice content programs for teachers of mathematics are reported. The content of current programs is compared to the recommendations of the Committee on Undergraduate Programs in Mathematics (CUPM). The acceptance of CUPM and the Cambridge Conference on School…

  2. Mathematics as an Im/Pure Knowledge System: Symbiosis, (W)Holism and Synergy in Mathematics Education

    Science.gov (United States)

    Luitel, Bal Chandra

    2013-01-01

    The problem of culturally decontextualised mathematics education faced by Nepali students, teachers and teacher educators has often been oriented by the view of the nature of "mathematics as a body of pure knowledge," which gives rise to an exclusive emphasis on an ideology of singularity, epistemology of objectivism, language of…

  3. New verifiable stationarity concepts for a class of mathematical programs with disjunctive constraints.

    Science.gov (United States)

    Benko, Matúš; Gfrerer, Helmut

    2018-01-01

    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.

  4. On Verification of PLC-Programs Written in the LD-Language

    Directory of Open Access Journals (Sweden)

    E. V. Kuzmin

    2012-01-01

    Full Text Available We discuss some questions connected with the construction of a technology of analysing correctness of Programmable Logic Controller programs. We consider an example of modeling and automated verification of PLC-programs written in the Ladder Diagram language (including timed function blocks of the IEC 61131-3 standard. We use the Cadence SMV for symbolic model checking. Program properties are written in the linear-time temporal logic LTL.

  5. Mathematical Modeling and Computational Thinking

    Science.gov (United States)

    Sanford, John F.; Naidu, Jaideep T.

    2017-01-01

    The paper argues that mathematical modeling is the essence of computational thinking. Learning a computer language is a valuable assistance in learning logical thinking but of less assistance when learning problem-solving skills. The paper is third in a series and presents some examples of mathematical modeling using spreadsheets at an advanced…

  6. Genetic programming over context-free languages with linear constraints for the knapsack problem: first results.

    Science.gov (United States)

    Bruhn, Peter; Geyer-Schulz, Andreas

    2002-01-01

    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.

  7. Technology-enhanced instruction in learning world languages: The Middlebury interactive learning program

    Directory of Open Access Journals (Sweden)

    Cynthia Lake

    2015-03-01

    Full Text Available Middlebury Interactive Language (MIL programs are designed to teach world language courses using blended and online learning for students in kindergarten through grade 12. Middlebury Interactive courses start with fundamental building blocks in four key areas of world-language study: listening comprehension, speaking, reading, and writing. As students progress through the course levels, they deepen their understanding of the target language, continuing to focus on the three modes of communication: interpretive, interpersonal, and presentational. The extensive use of authentic materials (video, audio, images, or texts is intended to provide a contextualized and interactive presentation of the vocabulary and the linguistic structures. In the present paper, we describe the MIL program and the results of a mixed-methods survey and case-study evaluation of its implementation in a broad sample of schools. Technology application is examined with regard to MIL instructional strategies and the present evaluation approach relative to those employed in the literature.

  8. Dynamic Effects of Performance-Avoidance Goal Orientation on Student Achievement in Language and Mathematics.

    Science.gov (United States)

    Stamovlasis, Dimitrios; Gonida, Sofia-Eleftheria N

    2018-07-01

    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.

  9. Evaluation of NSF's Program of Grants and Vertical Integration of Research and Education in the Mathematical Sciences (VIGRE)

    Science.gov (United States)

    National Academies Press, 2009

    2009-01-01

    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,…

  10. Understanding mathematical proof

    CERN Document Server

    Taylor, John

    2014-01-01

    Introduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and ReasoningIntroduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and quantification Logical reasoning Sets and Functions Introduction Sets and membership Operations on setsThe Cartesian product Functions and composite functions Properties of functions The Structure of Mathematical ProofsIntroduction Some proofs dissected An informal framework for proofs Direct proof A more formal framework Finding Proofs Direct proo

  11. Development of a Mathematics, Science, and Technology Education Integrated Program for a Maglev

    Science.gov (United States)

    Park, Hyoung Seo

    2006-01-01

    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…

  12. Prevention of language problems in children: the effectiveness of an intervention program

    Directory of Open Access Journals (Sweden)

    José Luis GALLEGO ORTEGA

    2011-09-01

    Full Text Available Language is an essential tool for personal and social development of children and it is perceived as the most important learning that children undertake in the early years of their lives. It is generally accepted that from birth to the age of three-four years old, children achieve a basic repertory of skills in different linguistic dimensions which allow them to communicate effectively with their environment. However, research has shown that phonemic disorders, morphosyntactic dysfunctions and semantic poverty figure prominently in the overall oral language disorders in infancy. In this respect, the review of literature informs us of the abundance of work aimed at rehabiliting the conditions already set in childlike expression, but there are significant gaps in regard to systematic prevention programs to prevent such evolutionary disorders which can become operational because of an early intervention in the field of communication. According to the above, it was developed a research project designed to establish the differential impact of a program to develop language skills in preschoolers. We worked with a sample of 32 children (5 years old in a pretest-posttest design. The data analysis shows that the magnitude of change is significant when comparing the results obtained by the experimental and the control group before and after program implementation. The overall effect of the program allowed to determine its effectiveness to increase language skills in the morph syntactic level.

  13. Effects of a language program in the social functioning of children at elementary school.

    Science.gov (United States)

    Stivanin, Luciene; Carnio, Maria Silvia

    2017-10-23

    the purpose of this study was to describe a language stimulation program, including teacher training and practical activities in the classroom, and investigate the effectiveness of this action on the social functioning and behavioral problems of elementary school children. 136 children from six classrooms of a public school and their teachers participated in this research. Of these, half were given the language stimulation program: 16 hours of training for teachers and 9 meetings in the classroom with activities for students. The activities involved instruction for the use of language reflection and practice with the narrative structure. Teachers filled out questionnaires about the social skills and behavior problems of their students before and after the program. there was no statistically significant difference between the research groups pre- and post- program in terms of assertiveness/ social resourcefulness (1st and 5th grades) and cooperation/affection (1st and 3rd grades). In the research groups, children of the 3rd grade, different from the 1st and the 5th grade, showed more evolution in their self-control abilities, which may be related to the lower frequency of externalizing problems in this group. the language program had positive effects on social assertiveness/resourcefulness skills and social cooperation/affection.

  14. The Sizing and Optimization Language (SOL): A computer language to improve the user/optimizer interface

    Science.gov (United States)

    Lucas, S. H.; Scotti, S. J.

    1989-01-01

    The nonlinear mathematical programming method (formal optimization) has had many applications in engineering design. A figure illustrates the use of optimization techniques in the design process. The design process begins with the design problem, such as the classic example of the two-bar truss designed for minimum weight as seen in the leftmost part of the figure. If formal optimization is to be applied, the design problem must be recast in the form of an optimization problem consisting of an objective function, design variables, and constraint function relations. The middle part of the figure shows the two-bar truss design posed as an optimization problem. The total truss weight is the objective function, the tube diameter and truss height are design variables, with stress and Euler buckling considered as constraint function relations. Lastly, the designer develops or obtains analysis software containing a mathematical model of the object being optimized, and then interfaces the analysis routine with existing optimization software such as CONMIN, ADS, or NPSOL. This final state of software development can be both tedious and error-prone. The Sizing and Optimization Language (SOL), a special-purpose computer language whose goal is to make the software implementation phase of optimum design easier and less error-prone, is presented.

  15. 76 FR 3120 - Native American and Alaska Native Children in School Program; Office of English Language...

    Science.gov (United States)

    2011-01-19

    ... 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...

  16. Use of the PASKAL' language for programming in experiment automation systems

    International Nuclear Information System (INIS)

    Ostrovnoj, A.I.

    1985-01-01

    A complex of standard solutions intended for realization of the main functions is suggested; execution of these solutions is provided by any system for experiment automation. They include: recording and accumulation of experimental data; visualization and preliminary processing of incoming data, interaction with the operator and system control; data filing. It is advisable to use standard software, to represent data processing algorithms as parallel processes, to apply the PASCAL' language for programming. Programming using CAMAC equipment is provided by complex of procedures similar to the set of subprograms in the FORTRAN language. Utilization of a simple data file in accumulation and processing programs ensures unified representation of experimental data and uniform access to them on behalf of a large number of programs operating both on-line and off-line regimes. The suggested approach is realized when developing systems on the base of the SM-3, SM-4 and MERA-60 computers with RAFOS operating system

  17. The concept of training in community network for teaching algebraic structures that are aimed to create a methodical competence of a mathematics teacher

    Directory of Open Access Journals (Sweden)

    Ирина Викторовна Кузнецова

    2012-12-01

    Full Text Available The paper proposes the concept of learning activities in online communities for teaching algebraic structures of the future teachers of mathematics, including a set of theoretical and methodological positions, laws, principles, factors, and pedagogical conditions of its implementation. Work is executed with support of the Russian fund of basic researches under the initiative project № 11-07-00733 «The Hypertext information retrieval thesaurus» a science Meta language» (structure; mathematical, linguistic and program maintenance; sections linguistics, mathematics, economy».

  18. Effects of a Teacher Professional Development Program on the Mathematics Achievement of Middle School Students

    Science.gov (United States)

    Sample McMeeking, Laura B.; Orsi, Rebecca; Cobb, R. Brian

    2012-01-01

    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…

  19. Participatory arts programs in residential dementia care: Playing with language differences.

    Science.gov (United States)

    Swinnen, Aagje; de Medeiros, Kate

    2017-01-01

    This article examines connections between language, identity, and cultural difference in the context of participatory arts in residential dementia care. Specifically, it looks at how language differences become instruments for the language play that characterizes the participatory arts programs, TimeSlips and the Alzheimer's Poetry Project. These are two approaches that are predominantly spoken-word driven. Although people living with dementia experience cognitive decline that affects language, they are linguistic agents capable of participating in ongoing negotiation processes of connection, belonging, and in- and exclusion through language use. The analysis of two ethnographic vignettes, based on extensive fieldwork in the closed wards of two Dutch nursing homes, illustrates how TimeSlips and the Alzheimer's Poetry Project support them in this agency. The theoretical framework of the analysis consists of literature on the linguistic agency of people living with dementia, the notions of the homo ludens (or man the player) and ludic language, as well as linguistic strategies of belonging in relation to place.

  20. A brief description and comparison of programming languages FORTRAN, ALGOL, COBOL, PL/1, and LISP 1.5 from a critical standpoint

    Science.gov (United States)

    Mathur, F. P.

    1972-01-01

    Several common higher level program languages are described. FORTRAN, ALGOL, COBOL, PL/1, and LISP 1.5 are summarized and compared. FORTRAN is the most widely used scientific programming language. ALGOL is a more powerful language for scientific programming. COBOL is used for most commercial programming applications. LISP 1.5 is primarily a list-processing language. PL/1 attempts to combine the desirable features of FORTRAN, ALGOL, and COBOL into a single language.

  1. Japanese Language and Culture: 9-Year Program Classroom Assessment Materials, Grade 4

    Science.gov (United States)

    Alberta Education, 2008

    2008-01-01

    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…

  2. A note on stability of stationary points in mathematical programs with generalized complementarity constraints

    Czech Academy of Sciences Publication Activity Database

    Červinka, Michal

    2016-01-01

    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

  3. Software and the future of programming languages.

    Science.gov (United States)

    Aho, Alfred V

    2004-02-27

    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.

  4. Comprehensive basic mathematics

    CERN Document Server

    Veena, GR

    2005-01-01

    Salient Features As per II PUC Basic Mathematics syllabus of Karnataka. Provides an introduction to various basic mathematical techniques and the situations where these could be usefully employed. The language is simple and the material is self-explanatory with a large number of illustrations. Assists the reader in gaining proficiency to solve diverse variety of problems. A special capsule containing a gist and list of formulae titled ''REMEMBER! Additional chapterwise arranged question bank and 3 model papers in a separate section---''EXAMINATION CORNER''.

  5. Defunctionalized Interpreters for Programming Languages

    DEFF Research Database (Denmark)

    Danvy, Olivier

    2008-01-01

    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...

  6. Testing Automation of Context-Oriented Programs Using Separation Logic

    Directory of Open Access Journals (Sweden)

    Mohamed A. El-Zawawy

    2014-01-01

    Full Text Available A new approach for programming that enables switching among contexts of commands during program execution is context-oriented programming (COP. This technique is more structured and modular than object-oriented and aspect-oriented programming and hence more flexible. For context-oriented programming, as implemented in COP languages such as ContextJ* and ContextL, this paper introduces accurate operational semantics. The language model of this paper uses Java concepts and is equipped with layer techniques for activation/deactivation of layer contexts. This paper also presents a logical system for COP programs. This logic is necessary for the automation of testing, developing, and validating of partial correctness specifications for COP programs and is an extension of separation logic. A mathematical soundness proof for the logical system against the proposed operational semantics is presented in the paper.

  7. Innovative Mobile Robot Method: Improving the Learning of Programming Languages in Engineering Degrees

    Science.gov (United States)

    Ortiz, Octavio Ortiz; Pastor Franco, Juan Ángel; Alcover Garau, Pedro María; Herrero Martín, Ruth

    2017-01-01

    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…

  8. Agent Programming Languages and Logics in Agent-Based Simulation

    DEFF Research Database (Denmark)

    Larsen, John

    2018-01-01

    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...

  9. German Language and Culture: 9-Year Program Classroom Assessment Materials, Grade 4

    Science.gov (United States)

    Alberta Education, 2008

    2008-01-01

    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…

  10. Punjabi Language and Culture: 9-Year Program Classroom Assessment Materials, Grade 4

    Science.gov (United States)

    Alberta Education, 2008

    2008-01-01

    This document is designed to provide assessment materials for specific Grade 4 outcomes in the Punjabi 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 Punjabi Language and Culture Nine-year…

  11. School Effectiveness and Teacher Effectiveness in Mathematics: Some Preliminary Findings from the Evaluation of the Mathematics Enhancement Program (Primary).

    Science.gov (United States)

    Muijs, Daniel; Reynolds, David

    2000-01-01

    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.)…

  12. Mathematics and culture in Micronesia

    Directory of Open Access Journals (Sweden)

    A. J. (Sandy Dawson

    2015-07-01

    Full Text Available Wheatley and Frieze‟s book, Walk Out Walk On, provides the conceptual framework for an examination of Project MACIMISE, a National Science Foundation funded project that focused on the languages and cultural practices of nine Pacific islands and the state of Hawai„i. MACIMISE, pronounced as if spelled „maximize‟, is a 5-year Project. The Project‟s task is the development of elementary school mathematics curriculum units sensitive to local mathematical thought and experience. There were twenty-one participants (who call themselves the Macimisers in the Project. The participants were educated in ethnographic and anthropological research strategies to enable them to retrieve/uncover cultural practices extant in the communities where they lived. This academics work was accomplished partially via distance learning when the participants were registered in advanced degree programs at the University of Hawai„i—Mānoa. In this paper, the Project is analyzed in terms of the concepts (scaling across, start anywhere—follow it everywhere, intervention to friendship, the art of hosting and the use of circle advanced by Wheatley and Frieze.

  13. Sequence and batch language programs and alarm-related ``C`` programs for the 242-A MCS. Revision 2

    Energy Technology Data Exchange (ETDEWEB)

    Berger, J.F.

    1995-03-01

    A Distributive Process Control system was purchased by Project B-534, ``242-A Evaporator/Crystallizer Upgrades``. This control system, called the Monitor and Control System (MCS), was installed in the 242-A Evaporator located in the 200 East Area. The purpose of the MCS is to monitor and control the Evaporator and monitor a number of alarms and other signals from various Tank Farm facilities. Applications software for the MCS was developed by the Waste Treatment Systems Engineering (WTSE) group of Westinghouse. The standard displays and alarm scheme provide for control and monitoring, but do not directly indicate the signal location or depict the overall process. To do this, WTSE developed a second alarm scheme which uses special programs, annunciator keys, and process graphics. The special programs are written in two languages; Sequence and Batch Language (SABL), and ``C`` language. The WTSE-developed alarm scheme works as described below: SABL relates signals and alarms to the annunciator keys, called SKID keys. When an alarm occurs, a SABL program causes a SKID key to flash, and if the alarm is of yellow or white priority then a ``C`` program turns on an audible horn (the D/3 system uses a different audible horn for the red priority alarms). The horn and flashing key draws the attention of the operator.

  14. The Effect of Data-Based Translation Program Used in Foreign Language Education on the Correct Use of Language

    Science.gov (United States)

    Darancik, Yasemin

    2016-01-01

    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…

  15. Enhancing students’ mathematical representation and selfefficacy through situation-based learning assisted by geometer’s sketchpad program

    Science.gov (United States)

    Sowanto; Kusumah, Y. S.

    2018-05-01

    This research was conducted based on the problem of a lack of students’ mathematical representation ability as well as self-efficacy in accomplishing mathematical tasks. To overcome this problem, this research used situation-based learning (SBL) assisted by geometer’s sketchpad program (GSP). This research investigated students’ improvement of mathematical representation ability who were taught under situation-based learning (SBL) assisted by geometer’s sketchpad program (GSP) and regular method that viewed from the whole students’ prior knowledge (high, average, and low level). In addition, this research investigated the difference of students’ self-efficacy after learning was given. This research belongs to quasi experiment research using non-equivalent control group design with purposive sampling. The result of this research showed that students’ enhancement in their mathematical representation ability taught under SBL assisted by GSP was better than the regular method. Also, there was no interaction between learning methods and students prior knowledge in student’ enhancement of mathematical representation ability. There was significant difference of students’ enhancement of mathematical representation ability taught under SBL assisted by GSP viewed from students’ prior knowledge. Furthermore, there was no significant difference in terms of self-efficacy between those who were taught by SBL assisted by GSP with the regular method.

  16. Large-scale budget applications of mathematical programming in the Forest Service

    Science.gov (United States)

    Malcolm Kirby

    1978-01-01

    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....

  17. Josai Mathematical Monographs Vol.7 Program

    OpenAIRE

    城西大学大学院理学研究科

    2014-01-01

    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

  18. Qualitative assessment of the kodu visual programming language in primary school children

    Directory of Open Access Journals (Sweden)

    Sir Alexci Suarez Castillón

    2015-11-01

    Full Text Available This article is aimed to developing scientific thinking in children from the perspective of Systems Engineering program through KODU Visual programming language. This is based on the ability children have to resolving problems, critical thinking, and their natural inborn talent. In order to accomplish this task, the process is part of a science club named University of the Children. This is a project with six different phases and four roles to be played as a designer, a programmer, a testing person, and a client. The results show that children have knowledge on the properties of objects, and about their real and virtual world, which allows them to develop a language program focused on objects without having a prior knowledge on this paradigm. It has been demonstrated by proof that children can make decisions by doing research and working with peers. They can also develop scientific knowledge and correct mistakes, and that leads them to dare to be innovative at all times. The results show that more than 90% of children have responded with satisfaction to the challenges proposed by programming language which gives them a better idea of the role, functions and responsibilities of a systems engineer.

  19. Las Matematicas: Lenguaje Universal. Nivel 2c: Factores y Multiplos (Mathematics: A Universql Language. Level 2c: Factors and Multiples).

    Science.gov (United States)

    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)

  20. Using language as a transparent resource in the teaching and learning of mathematics in a Grade 11 multilingual classroom

    Directory of Open Access Journals (Sweden)

    Mamokgethi Setati

    2008-10-01

    Full Text Available In this paper, we draw on a study conducted in Grade 11 classrooms to explore how the learners’ home languages can be used for teaching and learning mathematics in multilingual classrooms in South Africa. This report is part of a wider study that is still in progress. Based on an analysis of data collected through lesson observations in a Grade 11 class and learner interviews we argue for the deliberate, proactive and strategic use of the learners’ home languages as a transparent resource in the teaching and learning of mathematics in multilingual classrooms. Such use of the languages will ensure that learners gain access to mathematical knowledge without losing access to English, which many parents, teachers and learners presently see as a necessary condition for gaining access to social goods such as higher education and employment.