Design and analysis of forward and reverse models for predicting defect accumulation, defect energetics, and irradiation conditions

DOE Office of Scientific and Technical Information (OSTI.GOV)

Stewart, James A.; Kohnert, Aaron A.; Capolungo, Laurent

The complexity of radiation effects in a material’s microstructure makes developing predictive models a difficult task. In principle, a complete list of all possible reactions between defect species being considered can be used to elucidate damage evolution mechanisms and its associated impact on microstructure evolution. However, a central limitation is that many models use a limited and incomplete catalog of defect energetics and associated reactions. Even for a given model, estimating its input parameters remains a challenge, especially for complex material systems. Here, we present a computational analysis to identify the extent to which defect accumulation, energetics, and irradiation conditionsmore » can be determined via forward and reverse regression models constructed and trained from large data sets produced by cluster dynamics simulations. A global sensitivity analysis, via Sobol’ indices, concisely characterizes parameter sensitivity and demonstrates how this can be connected to variability in defect evolution. Based on this analysis and depending on the definition of what constitutes the input and output spaces, forward and reverse regression models are constructed and allow for the direct calculation of defect accumulation, defect energetics, and irradiation conditions. Here, this computational analysis, exercised on a simplified cluster dynamics model, demonstrates the ability to design predictive surrogate and reduced-order models, and provides guidelines for improving model predictions within the context of forward and reverse engineering of mathematical models for radiation effects in a materials’ microstructure.« less

Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions.

PubMed

Nehaniv, Chrystopher L; Rhodes, John; Egri-Nagy, Attila; Dini, Paolo; Morris, Eric Rothstein; Horváth, Gábor; Karimi, Fariba; Schreckling, Daniel; Schilstra, Maria J

2015-07-28

Interaction computing is inspired by the observation that cell metabolic/regulatory systems construct order dynamically, through constrained interactions between their components and based on a wide range of possible inputs and environmental conditions. The goals of this work are to (i) identify and understand mathematically the natural subsystems and hierarchical relations in natural systems enabling this and (ii) use the resulting insights to define a new model of computation based on interactions that is useful for both biology and computation. The dynamical characteristics of the cellular pathways studied in systems biology relate, mathematically, to the computational characteristics of automata derived from them, and their internal symmetry structures to computational power. Finite discrete automata models of biological systems such as the lac operon, the Krebs cycle and p53-mdm2 genetic regulation constructed from systems biology models have canonically associated algebraic structures (their transformation semigroups). These contain permutation groups (local substructures exhibiting symmetry) that correspond to 'pools of reversibility'. These natural subsystems are related to one another in a hierarchical manner by the notion of 'weak control'. We present natural subsystems arising from several biological examples and their weak control hierarchies in detail. Finite simple non-Abelian groups are found in biological examples and can be harnessed to realize finitary universal computation. This allows ensembles of cells to achieve any desired finitary computational transformation, depending on external inputs, via suitably constrained interactions. Based on this, interaction machines that grow and change their structure recursively are introduced and applied, providing a natural model of computation driven by interactions.

Asymmetry in Student Achievement on Multiple-Choice and Constructed-Response Items in Reversible Mathematics Processes

ERIC Educational Resources Information Center

Sangwin, Christopher J.; Jones, Ian

2017-01-01

In this paper we report the results of an experiment designed to test the hypothesis that when faced with a question involving the inverse direction of a reversible mathematical process, students solve a multiple-choice version by verifying the answers presented to them by the direct method, not by undertaking the actual inverse calculation.…

The Use of Computers in Mathematics Education: A Paradigm Shift from "Computer Assisted Instruction" towards "Student Programming"

ERIC Educational Resources Information Center

Aydin, Emin

2005-01-01

The purpose of this study is to review the changes that computers have on mathematics itself and on mathematics curriculum. The study aims at investigating different applications of computers in education in general, and mathematics education in particular and their applications on mathematics curriculum and on teaching and learning of…

Changing Pre-Service Mathematics Teachers' Beliefs about Using Computers for Teaching and Learning Mathematics: The Effect of Three Different Models

ERIC Educational Resources Information Center

Karatas, Ilhan

2014-01-01

This study examines the effect of three different computer integration models on pre-service mathematics teachers' beliefs about using computers in mathematics education. Participants included 104 pre-service mathematics teachers (36 second-year students in the Computer Oriented Model group, 35 fourth-year students in the Integrated Model (IM)…

Transformations of Mathematical and Stimulus Functions

PubMed Central

Ninness, Chris; Barnes-Holmes, Dermot; Rumph, Robin; McCuller, Glen; Ford, Angela M; Payne, Robert; Ninness, Sharon K; Smith, Ronald J; Ward, Todd A; Elliott, Marc P

2006-01-01

Following a pretest, 8 participants who were unfamiliar with algebraic and trigonometric functions received a brief presentation on the rectangular coordinate system. Next, they participated in a computer-interactive matching-to-sample procedure that trained formula-to-formula and formula-to-graph relations. Then, they were exposed to 40 novel formula-to-graph tests and 10 novel graph-to-formula tests. Seven of the 8 participants showed substantial improvement in identifying formula-to-graph relations; however, in the test of novel graph-to-formula relations, participants tended to select equations in their factored form. Next, we manipulated contextual cues in the form of rules regarding mathematical preferences. First, we informed participants that standard forms of equations were preferred over factored forms. In a subsequent test of 10 additional novel graph-to-formula relations, participants shifted their selections to favor equations in their standard form. This preference reversed during 10 more tests when financial reward was made contingent on correct identification of formulas in factored form. Formula preferences and transformation of novel mathematical and stimulus functions are discussed. PMID:17020211

Prospective Turkish Primary Teachers' Views about the Use of Computers in Mathematics Education

ERIC Educational Resources Information Center

Dogan, Mustafa

2012-01-01

The use of computers and technology in mathematics education affects students' learning, achievements, and affective dimensions. This study explores prospective Turkish primary mathematics teachers' views about the use of computers in mathematics education. The sample comprised of 129 fourth-year prospective primary mathematics teachers from two…

Defining Computational Thinking for Mathematics and Science Classrooms

NASA Astrophysics Data System (ADS)

Weintrop, David; Beheshti, Elham; Horn, Michael; Orton, Kai; Jona, Kemi; Trouille, Laura; Wilensky, Uri

2016-02-01

Science and mathematics are becoming computational endeavors. This fact is reflected in the recently released Next Generation Science Standards and the decision to include "computational thinking" as a core scientific practice. With this addition, and the increased presence of computation in mathematics and scientific contexts, a new urgency has come to the challenge of defining computational thinking and providing a theoretical grounding for what form it should take in school science and mathematics classrooms. This paper presents a response to this challenge by proposing a definition of computational thinking for mathematics and science in the form of a taxonomy consisting of four main categories: data practices, modeling and simulation practices, computational problem solving practices, and systems thinking practices. In formulating this taxonomy, we draw on the existing computational thinking literature, interviews with mathematicians and scientists, and exemplary computational thinking instructional materials. This work was undertaken as part of a larger effort to infuse computational thinking into high school science and mathematics curricular materials. In this paper, we argue for the approach of embedding computational thinking in mathematics and science contexts, present the taxonomy, and discuss how we envision the taxonomy being used to bring current educational efforts in line with the increasingly computational nature of modern science and mathematics.

A real time spectrum to dose conversion system

NASA Technical Reports Server (NTRS)

Farmer, B. J.; Johnson, J. H.; Bagwell, R. G.

1972-01-01

A system has been developed which permits the determination of dose in real time or near real time directly from the pulse-height output of a radiation spectrometer. The technique involves the use of the resolution matrix of a spectrometer, the radiation energy-to-dose conversion function, and the geometrical factors, although the order of matrix operations is reversed. The new technique yields a result which is mathematically identical to the standard method while requiring no matrix manipulations or resolution matrix storage in the remote computer. It utilizes only a single function for each type dose required and each geometric factor involved.

Continuation of periodic orbits in symmetric Hamiltonian and conservative systems

NASA Astrophysics Data System (ADS)

Galan-Vioque, J.; Almaraz, F. J. M.; Macías, E. F.

2014-12-01

We present and review results on the continuation and bifurcation of periodic solutions in conservative, reversible and Hamiltonian systems in the presence of symmetries. In particular we show how two-point boundary value problem continuation software can be used to compute families of periodic solutions of symmetric Hamiltonian systems. The technique is introduced with a very simple model example (the mathematical pendulum), justified with a theoretical continuation result and then applied to two non trivial examples: the non integrable spring pendulum and the continuation of the figure eight solution of the three body problem.

The presence of mathematics and computer anxiety in nursing students and their effects on medication dosage calculations.

PubMed

Glaister, Karen

2007-05-01

To determine if the presence of mathematical and computer anxiety in nursing students affects learning of dosage calculations. The quasi-experimental study compared learning outcomes at differing levels of mathematical and computer anxiety when integrative and computer based learning approaches were used. Participants involved a cohort of second year nursing students (n=97). Mathematical anxiety exists in 20% (n=19) of the student nurse population, and 14% (n=13) experienced mathematical testing anxiety. Those students more anxious about mathematics and the testing of mathematics benefited from integrative learning to develop conditional knowledge (F(4,66)=2.52 at p<.05). Computer anxiety was present in 12% (n=11) of participants, with those reporting medium and high levels of computer anxiety performing less well than those with low levels (F(1,81)=3.98 at p<.05). Instructional strategies need to account for the presence of mathematical and computer anxiety when planning an educational program to develop competency in dosage calculations.

Unraveling the Mystery of the Origin of Mathematical Problems: Using a Problem-Posing Framework with Prospective Mathematics Teachers

ERIC Educational Resources Information Center

Contreras, Jose

2007-01-01

In this article, I model how a problem-posing framework can be used to enhance our abilities to systematically generate mathematical problems by modifying the attributes of a given problem. The problem-posing model calls for the application of the following fundamental mathematical processes: proving, reversing, specializing, generalizing, and…

An algebra of reversible computation.

PubMed

Wang, Yong

2016-01-01

We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules: basic reversible processes algebra, algebra of reversible communicating processes, recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated as an axiomatization foundation for reversible computation.

Model of the synthesis of trisporic acid in Mucorales showing bistability.

PubMed

Werner, S; Schroeter, A; Schimek, C; Vlaic, S; Wöstemeyer, J; Schuster, S

2012-12-01

An important substance in the signalling between individuals of Mucor-like fungi is trisporic acid (TA). This compound, together with some of its precursors, serves as a pheromone in mating between (+)- and (-)-mating types. Moreover, intermediates of the TA pathway are exchanged between the two mating partners. Based on differential equations, mathematical models of the synthesis pathways of TA in the two mating types of an idealised Mucor-fungus are here presented. These models include the positive feedback of TA on its own synthesis. The authors compare three sub-models in view of bistability, robustness and the reversibility of transitions. The proposed modelling study showed that, in a system where intermediates are exchanged, a reversible transition between the two stable steady states occurs, whereas an exchange of the end product leads to an irreversible transition. The reversible transition is physiologically favoured, because the high-production state of TA must come to an end eventually. Moreover, the exchange of intermediates and TA is compared with the 3-way handshake widely used by computers linked in a network.

The challenge of computer mathematics.

PubMed

Barendregt, Henk; Wiedijk, Freek

2005-10-15

Progress in the foundations of mathematics has made it possible to formulate all thinkable mathematical concepts, algorithms and proofs in one language and in an impeccable way. This is not in spite of, but partially based on the famous results of Gödel and Turing. In this way statements are about mathematical objects and algorithms, proofs show the correctness of statements and computations, and computations are dealing with objects and proofs. Interactive computer systems for a full integration of defining, computing and proving are based on this. The human defines concepts, constructs algorithms and provides proofs, while the machine checks that the definitions are well formed and the proofs and computations are correct. Results formalized so far demonstrate the feasibility of this 'computer mathematics'. Also there are very good applications. The challenge is to make the systems more mathematician-friendly, by building libraries and tools. The eventual goal is to help humans to learn, develop, communicate, referee and apply mathematics.

Using Information Technology in Mathematics Education.

ERIC Educational Resources Information Center

Tooke, D. James, Ed.; Henderson, Norma, Ed.

This collection of essays examines the history and impact of computers in mathematics and mathematics education from the early, computer-assisted instruction efforts through LOGO, the constructivist educational software for K-9 schools developed in the 1980s, to MAPLE, the computer algebra system for mathematical problem solving developed in the…

A New Start for Mathematics Curriculum.

ERIC Educational Resources Information Center

Tucker, Alan

Arguing that a major re-thinking of the mathematics curriculum is needed, this paper urges two-year colleges to take the lead in curriculum revision. Section I suggests that the pre-calculus orientation of high school mathematics may be inappropriate, viewing mathematics related to computers and dependent on computers for computation as more…

A computational chemistry perspective on the current status and future direction of hepatitis B antiviral drug discovery.

PubMed

Morgnanesi, Dante; Heinrichs, Eric J; Mele, Anthony R; Wilkinson, Sean; Zhou, Suzanne; Kulp, John L

2015-11-01

Computational chemical biology, applied to research on hepatitis B virus (HBV), has two major branches: bioinformatics (statistical models) and first-principle methods (molecular physics). While bioinformatics focuses on statistical tools and biological databases, molecular physics uses mathematics and chemical theory to study the interactions of biomolecules. Three computational techniques most commonly used in HBV research are homology modeling, molecular docking, and molecular dynamics. Homology modeling is a computational simulation to predict protein structure and has been used to construct conformers of the viral polymerase (reverse transcriptase domain and RNase H domain) and the HBV X protein. Molecular docking is used to predict the most likely orientation of a ligand when it is bound to a protein, as well as determining an energy score of the docked conformation. Molecular dynamics is a simulation that analyzes biomolecule motions and determines conformation and stability patterns. All of these modeling techniques have aided in the understanding of resistance mutations on HBV non-nucleos(t)ide reverse-transcriptase inhibitor binding. Finally, bioinformatics can be used to study the DNA and RNA protein sequences of viruses to both analyze drug resistance and to genotype the viral genomes. Overall, with these techniques, and others, computational chemical biology is becoming more and more necessary in hepatitis B research. This article forms part of a symposium in Antiviral Research on "An unfinished story: from the discovery of the Australia antigen to the development of new curative therapies for hepatitis B." Copyright © 2015 Elsevier B.V. All rights reserved.

Research on Computers in Mathematics Education, IV. The Use of Computers in Mathematics Education Resource Series.

ERIC Educational Resources Information Center

Kieren, Thomas E.

This last paper in a set of four reviews research on a wide variety of computer applications in the mathematics classroom. It covers computer-based instruction, especially drill-and-practice and tutorial modes; computer-managed instruction; and computer-augmented problem-solving. Analytical comments on the findings and status of the research are…

A Case against Computer Symbolic Manipulation in School Mathematics Today.

ERIC Educational Resources Information Center

Waits, Bert K.; Demana, Franklin

1992-01-01

Presented are two reasons discouraging computer symbol manipulation systems use in school mathematics at present: cost for computer laboratories or expensive pocket computers; and impracticality of exact solution representations. Although development with this technology in mathematics education advances, graphing calculators are recommended to…

Design and construction of miniature artificial ecosystem based on dynamic response optimization

NASA Astrophysics Data System (ADS)

Hu, Dawei; Liu, Hong; Tong, Ling; Li, Ming; Hu, Enzhu

The miniature artificial ecosystem (MAES) is a combination of man, silkworm, salad and mi-croalgae to partially regenerate O2 , sanitary water and food, simultaneously dispose CO2 and wastes, therefore it have a fundamental life support function. In order to enhance the safety and reliability of MAES and eliminate the influences of internal variations and external dis-turbances, it was necessary to configure MAES as a closed-loop control system, and it could be considered as a prototype for future bioregenerative life support system. However, MAES is a complex system possessing large numbers of parameters, intricate nonlinearities, time-varying factors as well as uncertainties, hence it is difficult to perfectly design and construct a prototype through merely conducting experiments by trial and error method. Our research presented an effective way to resolve preceding problem by use of dynamic response optimiza-tion. Firstly the mathematical model of MAES with first-order nonlinear ordinary differential equations including parameters was developed based on relevant mechanisms and experimental data, secondly simulation model of MAES was derived on the platform of MatLab/Simulink to perform model validation and further digital simulations, thirdly reference trajectories of de-sired dynamic response of system outputs were specified according to prescribed requirements, and finally optimization for initial values, tuned parameter and independent parameters was carried out using the genetic algorithm, the advanced direct search method along with parallel computing methods through computer simulations. The result showed that all parameters and configurations of MAES were determined after a series of computer experiments, and its tran-sient response performances and steady characteristics closely matched the reference curves. Since the prototype is a physical system that represents the mathematical model with reason-able accuracy, so the process of designing and constructing a prototype of MAES is the reverse of mathematical modeling, and must have prerequisite assists from these results of computer simulation.

The Relationship between Computational Fluency and Student Success in General Studies Mathematics

ERIC Educational Resources Information Center

Hegeman, Jennifer; Waters, Gavin

2012-01-01

Many developmental mathematics programs emphasize computational fluency with the assumption that this is a necessary contributor to student success in general studies mathematics. In an effort to determine which skills are most essential, scores on a computational fluency test were correlated with student success in general studies mathematics at…

Mathematics Teachers' Attitudes toward the Computers

ERIC Educational Resources Information Center

Ocak, Mehmet A.

2005-01-01

This study reports an investigation of the effects of gender, age, and racial and ethnicity on the attitudes of mathematics teachers towards computer use. The participants of the study were mathematics teachers working in a wide range of New York public schools (n = 50). A Confidence with Computers in Mathematics Teachers (CCMT) rating scale was…

Montessori and Steiner: A Pattern of Reverse Symmetries.

ERIC Educational Resources Information Center

Coulter, Dee Joy

2003-01-01

Explains the educational movements precipitated by Maria Montessori and Rudolf Steiner as comprising a pattern of reverse symmetries. Notes the influence of war on their philosophies. Discusses reverse symmetries in curriculum related to mathematics, geography, and history. Maintains that each of these two movements holds the other at its core,…

Defining Computational Thinking for Mathematics and Science Classrooms

ERIC Educational Resources Information Center

Weintrop, David; Beheshti, Elham; Horn, Michael; Orton, Kai; Jona, Kemi; Trouille, Laura; Wilensky, Uri

2016-01-01

Science and mathematics are becoming computational endeavors. This fact is reflected in the recently released Next Generation Science Standards and the decision to include "computational thinking" as a core scientific practice. With this addition, and the increased presence of computation in mathematics and scientific contexts, a new…

Teacher's Guide to Secondary Mathematics.

ERIC Educational Resources Information Center

Duval County Schools, Jacksonville, FL.

This is a teacher's guide to secondary school mathematics. Developed for use in the Duval County Public Schools, Jacksonville, Florida. Areas of mathematics covered are algebra, analysis, calculus, computer literacy, computer science, geometry, analytic geometry, general mathematics, consumer mathematics, pre-algebra, probability and statistics,…

Equity and Computers for Mathematics Learning: Access and Attitudes

ERIC Educational Resources Information Center

Forgasz, Helen J.

2004-01-01

Equity and computer use for secondary mathematics learning was the focus of a three year study. In 2003, a survey was administered to a large sample of grade 7-10 students. Some of the survey items were aimed at determining home access to and ownership of computers, and students' attitudes to mathematics, computers, and computer use for…

The Effects of Computer Games on the Achievement of Basic Mathematical Skills

ERIC Educational Resources Information Center

Sayan, Hamiyet

2015-01-01

This study aims to analyze the relationship between playing computer games and learning basic mathematics skills. It shows the role computer games play in the learning and achievement of basic mathematical skills by students. Nowadays it is clear that individuals, especially young persons are very fond of computer and computer games. Since…

The semantic system is involved in mathematical problem solving.

PubMed

Zhou, Xinlin; Li, Mengyi; Li, Leinian; Zhang, Yiyun; Cui, Jiaxin; Liu, Jie; Chen, Chuansheng

2018-02-01

Numerous studies have shown that the brain regions around bilateral intraparietal cortex are critical for number processing and arithmetical computation. However, the neural circuits for more advanced mathematics such as mathematical problem solving (with little routine arithmetical computation) remain unclear. Using functional magnetic resonance imaging (fMRI), this study (N = 24 undergraduate students) compared neural bases of mathematical problem solving (i.e., number series completion, mathematical word problem solving, and geometric problem solving) and arithmetical computation. Direct subject- and item-wise comparisons revealed that mathematical problem solving typically had greater activation than arithmetical computation in all 7 regions of the semantic system (which was based on a meta-analysis of 120 functional neuroimaging studies on semantic processing). Arithmetical computation typically had greater activation in the supplementary motor area and left precentral gyrus. The results suggest that the semantic system in the brain supports mathematical problem solving. Copyright © 2017 Elsevier Inc. All rights reserved.

Structural Equation Model to Validate: Mathematics-Computer Interaction, Computer Confidence, Mathematics Commitment, Mathematics Motivation and Mathematics Confidence

ERIC Educational Resources Information Center

Garcia-Santillán, Arturo; Moreno-Garcia, Elena; Escalera-Chávez, Milka E.; Rojas-Kramer, Carlos A.; Pozos-Texon, Felipe

2016-01-01

Most mathematics students show a definite tendency toward an attitudinal deficiency, which can be primarily understood as intolerance to the matter, affecting their scholar performance adversely. In addition, information and communication technologies have been gradually included within the process of teaching mathematics. Such adoption of…

Secondary School Mathematics Teachers' and Students' Views on Computer Assisted Mathematics Instruction in Turkey: Mathematica Example

ERIC Educational Resources Information Center

Ardiç, Mehmet Alper; Isleyen, Tevfik

2017-01-01

This study aimed at determining the secondary school mathematics teachers' and students' views on computer-assisted mathematics instruction (CAMI) conducted via Mathematica. Accordingly, three mathematics teachers in Adiyaman and nine 10th-grade students participated in the research. Firstly, the researchers trained the mathematics teachers in the…

Differences in the Mathematics-Vocabulary Knowledge of Fifth-Grade Students with and without Learning Difficulties

ERIC Educational Resources Information Center

Forsyth, Suzanne R.; Powell, Sarah R.

2017-01-01

The purpose of this pilot study was to explore the impact of mathematics and reading learning difficulties on the mathematics-vocabulary understanding of fifth-grade students. Students (n = 114) completed three measures: mathematics computation, general vocabulary, and mathematics vocabulary. Based on performance on the mathematics computation and…

Computer programming in the UK undergraduate mathematics curriculum

NASA Astrophysics Data System (ADS)

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

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

ERIC Educational Resources Information Center

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…

CDM: Teaching Discrete Mathematics to Computer Science Majors

ERIC Educational Resources Information Center

Sutner, Klaus

2005-01-01

CDM, for computational discrete mathematics, is a course that attempts to teach a number of topics in discrete mathematics to computer science majors. The course abandons the classical definition-theorem-proof model, and instead relies heavily on computation as a source of motivation and also for experimentation and illustration. The emphasis on…

Recommendations for an Undergraduate Program in Computational Mathematics.

ERIC Educational Resources Information Center

Committee on the Undergraduate Program in Mathematics, Berkeley, CA.

This report describes an undergraduate program designed to produce mathematicians who will know how to use and to apply computers. There is a core of 12 one-semester courses: five in mathematics, four in computational mathematics and three in computer science, leaving the senior year for electives. The content and spirit of these courses are…

Computation Error Analysis: Students with Mathematics Difficulty Compared to Typically Achieving Students

ERIC Educational Resources Information Center

Nelson, Gena; Powell, Sarah R.

2018-01-01

Though proficiency with computation is highly emphasized in national mathematics standards, students with mathematics difficulty (MD) continue to struggle with computation. To learn more about the differences in computation error patterns between typically achieving students and students with MD, we assessed 478 third-grade students on a measure…

Introducing Seismic Tomography with Computational Modeling

NASA Astrophysics Data System (ADS)

Neves, R.; Neves, M. L.; Teodoro, V.

2011-12-01

Learning seismic tomography principles and techniques involves advanced physical and computational knowledge. In depth learning of such computational skills is a difficult cognitive process that requires a strong background in physics, mathematics and computer programming. The corresponding learning environments and pedagogic methodologies should then involve sets of computational modelling activities with computer software systems which allow students the possibility to improve their mathematical or programming knowledge and simultaneously focus on the learning of seismic wave propagation and inverse theory. To reduce the level of cognitive opacity associated with mathematical or programming knowledge, several computer modelling systems have already been developed (Neves & Teodoro, 2010). Among such systems, Modellus is particularly well suited to achieve this goal because it is a domain general environment for explorative and expressive modelling with the following main advantages: 1) an easy and intuitive creation of mathematical models using just standard mathematical notation; 2) the simultaneous exploration of images, tables, graphs and object animations; 3) the attribution of mathematical properties expressed in the models to animated objects; and finally 4) the computation and display of mathematical quantities obtained from the analysis of images and graphs. Here we describe virtual simulations and educational exercises which enable students an easy grasp of the fundamental of seismic tomography. The simulations make the lecture more interactive and allow students the possibility to overcome their lack of advanced mathematical or programming knowledge and focus on the learning of seismological concepts and processes taking advantage of basic scientific computation methods and tools.

Reversibility of Thought: An Instance in Multiplicative Tasks

ERIC Educational Resources Information Center

Ramful, Ajay; Olive, John

2008-01-01

In line with current efforts to understand the piece-by-piece structure and articulation of children's mathematical concepts, this case study compares the reversibility schemes of two eighth-grade students. The aim of the study was to identify the mechanism through which students reverse their thought processes in a multiplicative situation. Data…

Science and Mathematics in the Schools: Report of a Convocation.

ERIC Educational Resources Information Center

National Academy of Sciences - National Research Council, Washington, DC. Assembly of Engineering.

In May 1982 the National Academies of Sciences and Engineering held a national convocation to consider the state of precollege education in mathematics and science in the United States. More than 40 speakers presented their views on how to reverse the current decline in science and mathematics education. The President, members of Congress, and…

Analysis of oil-pipeline distribution of multiple products subject to delivery time-windows

NASA Astrophysics Data System (ADS)

Jittamai, Phongchai

This dissertation defines the operational problems of, and develops solution methodologies for, a distribution of multiple products into oil pipeline subject to delivery time-windows constraints. A multiple-product oil pipeline is a pipeline system composing of pipes, pumps, valves and storage facilities used to transport different types of liquids. Typically, products delivered by pipelines are petroleum of different grades moving either from production facilities to refineries or from refineries to distributors. Time-windows, which are generally used in logistics and scheduling areas, are incorporated in this study. The distribution of multiple products into oil pipeline subject to delivery time-windows is modeled as multicommodity network flow structure and mathematically formulated. The main focus of this dissertation is the investigation of operating issues and problem complexity of single-source pipeline problems and also providing solution methodology to compute input schedule that yields minimum total time violation from due delivery time-windows. The problem is proved to be NP-complete. The heuristic approach, a reversed-flow algorithm, is developed based on pipeline flow reversibility to compute input schedule for the pipeline problem. This algorithm is implemented in no longer than O(T·E) time. This dissertation also extends the study to examine some operating attributes and problem complexity of multiple-source pipelines. The multiple-source pipeline problem is also NP-complete. A heuristic algorithm modified from the one used in single-source pipeline problems is introduced. This algorithm can also be implemented in no longer than O(T·E) time. Computational results are presented for both methodologies on randomly generated problem sets. The computational experience indicates that reversed-flow algorithms provide good solutions in comparison with the optimal solutions. Only 25% of the problems tested were more than 30% greater than optimal values and approximately 40% of the tested problems were solved optimally by the algorithms.

Computer-Based Mathematics Instructions for Engineering Students

NASA Technical Reports Server (NTRS)

Khan, Mustaq A.; Wall, Curtiss E.

1996-01-01

Almost every engineering course involves mathematics in one form or another. The analytical process of developing mathematical models is very important for engineering students. However, the computational process involved in the solution of some mathematical problems may be very tedious and time consuming. There is a significant amount of mathematical software such as Mathematica, Mathcad, and Maple designed to aid in the solution of these instructional problems. The use of these packages in classroom teaching can greatly enhance understanding, and save time. Integration of computer technology in mathematics classes, without de-emphasizing the traditional analytical aspects of teaching, has proven very successful and is becoming almost essential. Sample computer laboratory modules are developed for presentation in the classroom setting. This is accomplished through the use of overhead projectors linked to graphing calculators and computers. Model problems are carefully selected from different areas.

DOE Office of Scientific and Technical Information (OSTI.GOV)

Perumalla, Kalyan S.; Yoginath, Srikanth B.

Problems such as fault tolerance and scalable synchronization can be efficiently solved using reversibility of applications. Making applications reversible by relying on computation rather than on memory is ideal for large scale parallel computing, especially for the next generation of supercomputers in which memory is expensive in terms of latency, energy, and price. In this direction, a case study is presented here in reversing a computational core, namely, Basic Linear Algebra Subprograms, which is widely used in scientific applications. A new Reversible BLAS (RBLAS) library interface has been designed, and a prototype has been implemented with two modes: (1) amore » memory-mode in which reversibility is obtained by checkpointing to memory in forward and restoring from memory in reverse, and (2) a computational-mode in which nothing is saved in the forward, but restoration is done entirely via inverse computation in reverse. The article is focused on detailed performance benchmarking to evaluate the runtime dynamics and performance effects, comparing reversible computation with checkpointing on both traditional CPU platforms and recent GPU accelerator platforms. For BLAS Level-1 subprograms, data indicates over an order of magnitude better speed of reversible computation compared to checkpointing. For BLAS Level-2 and Level-3, a more complex tradeoff is observed between reversible computation and checkpointing, depending on computational and memory complexities of the subprograms.« less

Towards reversible basic linear algebra subprograms: A performance study

DOE PAGES

Perumalla, Kalyan S.; Yoginath, Srikanth B.

2014-12-06

Problems such as fault tolerance and scalable synchronization can be efficiently solved using reversibility of applications. Making applications reversible by relying on computation rather than on memory is ideal for large scale parallel computing, especially for the next generation of supercomputers in which memory is expensive in terms of latency, energy, and price. In this direction, a case study is presented here in reversing a computational core, namely, Basic Linear Algebra Subprograms, which is widely used in scientific applications. A new Reversible BLAS (RBLAS) library interface has been designed, and a prototype has been implemented with two modes: (1) amore » memory-mode in which reversibility is obtained by checkpointing to memory in forward and restoring from memory in reverse, and (2) a computational-mode in which nothing is saved in the forward, but restoration is done entirely via inverse computation in reverse. The article is focused on detailed performance benchmarking to evaluate the runtime dynamics and performance effects, comparing reversible computation with checkpointing on both traditional CPU platforms and recent GPU accelerator platforms. For BLAS Level-1 subprograms, data indicates over an order of magnitude better speed of reversible computation compared to checkpointing. For BLAS Level-2 and Level-3, a more complex tradeoff is observed between reversible computation and checkpointing, depending on computational and memory complexities of the subprograms.« less

Will the digital computer transform classical mathematics?

PubMed

Rotman, Brian

2003-08-15

Mathematics and machines have influenced each other for millennia. The advent of the digital computer introduced a powerfully new element that promises to transform the relation between them. This paper outlines the thesis that the effect of the digital computer on mathematics, already widespread, is likely to be radical and far-reaching. To articulate this claim, an abstract model of doing mathematics is introduced based on a triad of actors of which one, the 'agent', corresponds to the function performed by the computer. The model is used to frame two sorts of transformation. The first is pragmatic and involves the alterations and progressive colonization of the content and methods of enquiry of various mathematical fields brought about by digital methods. The second is conceptual and concerns a fundamental antagonism between the infinity enshrined in classical mathematics and physics (continuity, real numbers, asymptotic definitions) and the inherently real and material limit of processes associated with digital computation. An example which lies in the intersection of classical mathematics and computer science, the P=NP problem, is analysed in the light of this latter issue.

Computer Mathematical Tools: Practical Experience of Learning to Use Them

ERIC Educational Resources Information Center

Semenikhina, Elena; Drushlyak, Marina

2014-01-01

The article contains general information about the use of specialized mathematics software in the preparation of math teachers. The authors indicate the reasons to study the mathematics software. In particular, they analyze the possibility of presenting basic mathematical courses using mathematical computer tools from both a teacher and a student,…

Computer Mathematics: An Introduction. Part II.

ERIC Educational Resources Information Center

New York City Board of Education, Brooklyn, NY. Div. of Curriculum and Instruction.

This document describes a mathematics course that uses the computer to solve mathematics problems. It was developed to be used with students who have completed at least one year of general mathematics or are not achieving success in the traditional mathematics program. The course is intended to review, reinforce, and extend concepts included in…

Taking the Guesswork out of Computational Estimation

ERIC Educational Resources Information Center

Cochran, Jill; Dugger, Megan Hartmann

2013-01-01

Computational estimation is an important skill necessary for students' mathematical development. Students who can estimate well for computations rely on an understanding of many mathematical topics, including a strong number sense, which facilitates understanding the mathematical operations and contextual evidence within a problem. In turn, good…

New computer system simplifies programming of mathematical equations

NASA Technical Reports Server (NTRS)

Reinfelds, J.; Seitz, R. N.; Wood, L. H.

1966-01-01

Automatic Mathematical Translator /AMSTRAN/ permits scientists or engineers to enter mathematical equations in their natural mathematical format and to obtain an immediate graphical display of the solution. This automatic-programming, on-line, multiterminal computer system allows experienced programmers to solve nonroutine problems.

Reverse Engineering Cellular Networks with Information Theoretic Methods

PubMed Central

Villaverde, Alejandro F.; Ross, John; Banga, Julio R.

2013-01-01

Building mathematical models of cellular networks lies at the core of systems biology. It involves, among other tasks, the reconstruction of the structure of interactions between molecular components, which is known as network inference or reverse engineering. Information theory can help in the goal of extracting as much information as possible from the available data. A large number of methods founded on these concepts have been proposed in the literature, not only in biology journals, but in a wide range of areas. Their critical comparison is difficult due to the different focuses and the adoption of different terminologies. Here we attempt to review some of the existing information theoretic methodologies for network inference, and clarify their differences. While some of these methods have achieved notable success, many challenges remain, among which we can mention dealing with incomplete measurements, noisy data, counterintuitive behaviour emerging from nonlinear relations or feedback loops, and computational burden of dealing with large data sets. PMID:24709703

Mathematical Modeling and Computational Thinking

ERIC Educational Resources Information Center

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…

Students' Activity in Computer-Supported Collaborative Problem Solving in Mathematics

ERIC Educational Resources Information Center

Hurme, Tarja-riitta; Jarvela, Sanna

2005-01-01

The purpose of this study was to analyse secondary school students' (N = 16) computer-supported collaborative mathematical problem solving. The problem addressed in the study was: What kinds of metacognitive processes appear during computer-supported collaborative learning in mathematics? Another aim of the study was to consider the applicability…

General Multimechanism Reversible-Irreversible Time-Dependent Constitutive Deformation Model Being Developed

NASA Technical Reports Server (NTRS)

Saleeb, A. F.; Arnold, Steven M.

2001-01-01

Since most advanced material systems (for example metallic-, polymer-, and ceramic-based systems) being currently researched and evaluated are for high-temperature airframe and propulsion system applications, the required constitutive models must account for both reversible and irreversible time-dependent deformations. Furthermore, since an integral part of continuum-based computational methodologies (be they microscale- or macroscale-based) is an accurate and computationally efficient constitutive model to describe the deformation behavior of the materials of interest, extensive research efforts have been made over the years on the phenomenological representations of constitutive material behavior in the inelastic analysis of structures. From a more recent and comprehensive perspective, the NASA Glenn Research Center in conjunction with the University of Akron has emphasized concurrently addressing three important and related areas: that is, 1) Mathematical formulation; 2) Algorithmic developments for updating (integrating) the external (e.g., stress) and internal state variables; 3) Parameter estimation for characterizing the model. This concurrent perspective to constitutive modeling has enabled the overcoming of the two major obstacles to fully utilizing these sophisticated time-dependent (hereditary) constitutive models in practical engineering analysis. These obstacles are: 1) Lack of efficient and robust integration algorithms; 2) Difficulties associated with characterizing the large number of required material parameters, particularly when many of these parameters lack obvious or direct physical interpretations.

Experiences of Student Mathematics-Teachers in Computer-Based Mathematics Learning Environment

ERIC Educational Resources Information Center

Karatas, Ilhan

2011-01-01

Computer technology in mathematics education enabled the students find many opportunities for investigating mathematical relationships, hypothesizing, and making generalizations. These opportunities were provided to pre-service teachers through a faculty course. At the end of the course, the teachers were assigned project tasks involving…

Stability Analysis of Finite Difference Schemes for Hyperbolic Systems, and Problems in Applied and Computational Linear Algebra.

DTIC Science & Technology

FINITE DIFFERENCE THEORY, * LINEAR ALGEBRA , APPLIED MATHEMATICS, APPROXIMATION(MATHEMATICS), BOUNDARY VALUE PROBLEMS, COMPUTATIONS, HYPERBOLAS, MATHEMATICAL MODELS, NUMERICAL ANALYSIS, PARTIAL DIFFERENTIAL EQUATIONS, STABILITY.

Reversible simulation of irreversible computation

NASA Astrophysics Data System (ADS)

Li, Ming; Tromp, John; Vitányi, Paul

1998-09-01

Computer computations are generally irreversible while the laws of physics are reversible. This mismatch is penalized by among other things generating excess thermic entropy in the computation. Computing performance has improved to the extent that efficiency degrades unless all algorithms are executed reversibly, for example by a universal reversible simulation of irreversible computations. All known reversible simulations are either space hungry or time hungry. The leanest method was proposed by Bennett and can be analyzed using a simple ‘reversible’ pebble game. The reachable reversible simulation instantaneous descriptions (pebble configurations) of such pebble games are characterized completely. As a corollary we obtain the reversible simulation by Bennett and, moreover, show that it is a space-optimal pebble game. We also introduce irreversible steps and give a theorem on the tradeoff between the number of allowed irreversible steps and the memory gain in the pebble game. In this resource-bounded setting the limited erasing needs to be performed at precise instants during the simulation. The reversible simulation can be modified so that it is applicable also when the simulated computation time is unknown.

Experimental Mathematics and Computational Statistics

DOE Office of Scientific and Technical Information (OSTI.GOV)

Bailey, David H.; Borwein, Jonathan M.

2009-04-30

The field of statistics has long been noted for techniques to detect patterns and regularities in numerical data. In this article we explore connections between statistics and the emerging field of 'experimental mathematics'. These includes both applications of experimental mathematics in statistics, as well as statistical methods applied to computational mathematics.

Does Computer Use Matter? The Influence of Computer Usage on Eighth-Grade Students' Mathematics Reasoning

ERIC Educational Resources Information Center

Ayieko, Rachel A.; Gokbel, Elif N.; Nelson, Bryan

2017-01-01

This study uses the 2011 Trends in International Mathematics and Science Study to investigate the relationships among students' and teachers' computer use, and eighth-grade students' mathematical reasoning in three high-achieving nations: Finland, Chinese Taipei, and Singapore. The study found a significant negative relationship in all three…

Creating Printed Materials for Mathematics with a Macintosh Computer.

ERIC Educational Resources Information Center

Mahler, Philip

This document gives instructions on how to use a Macintosh computer to create printed materials for mathematics. A Macintosh computer, Microsoft Word, and objected-oriented (Draw-type) art program, and a function-graphing program are capable of producing high quality printed instructional materials for mathematics. Word 5.1 has an equation editor…

Inversion in Mathematical Thinking and Learning

ERIC Educational Resources Information Center

Greer, Brian

2012-01-01

Inversion is a fundamental relational building block both within mathematics as the study of structures and within people's physical and social experience, linked to many other key elements such as equilibrium, invariance, reversal, compensation, symmetry, and balance. Within purely formal arithmetic, the inverse relationships between addition and…

Engineering physics and mathematics division

NASA Astrophysics Data System (ADS)

Sincovec, R. F.

1995-07-01

This report provides a record of the research activities of the Engineering Physics and Mathematics Division for the period 1 Jan. 1993 - 31 Dec. 1994. This report is the final archival record of the EPM Division. On 1 Oct. 1994, ORELA was transferred to Physics Division and on 1 Jan. 1995, the Engineering Physics and Mathematics Division and the Computer Applications Division reorganized to form the Computer Science and Mathematics Division and the Computational Physics and Engineering Division. Earlier reports in this series are identified on the previous pages, along with the progress reports describing ORNL's research in the mathematical sciences prior to 1984 when those activities moved into the Engineering Physics and Mathematics Division.

Explicating mathematical thinking in differential equations using a computer algebra system

NASA Astrophysics Data System (ADS)

Zeynivandnezhad, Fereshteh; Bates, Rachel

2018-07-01

The importance of developing students' mathematical thinking is frequently highlighted in literature regarding the teaching and learning of mathematics. Despite this importance, most curricula and instructional activities for undergraduate mathematics fail to bring the learner beyond the mathematics. The purpose of this study was to enhance students' mathematical thinking by implementing a computer algebra system and active learning pedagogical approaches. students' mathematical thinking processes were analyzed while completing specific differential equations tasks based on posed prompts and questions and Instrumental Genesis. Data were collected from 37 engineering students in a public Malaysian university. This study used the descriptive and interpretive qualitative research design to investigate the students' perspectives of emerging mathematical understanding and approaches to learning mathematics in an undergraduate differential equations course. Results of this study concluded that students used a variety of mathematical thinking processes in a non-sequential manner. Additionally, the outcomes provide justification for continued use of technologies such as computer algebra systems in undergraduate mathematics courses and the need for further studies to uncover the various processes students utilize to complete specific mathematical tasks.

Particle-in-cell simulations of Earth-like magnetosphere during a magnetic field reversal

NASA Astrophysics Data System (ADS)

Barbosa, M. V. G.; Alves, M. V.; Vieira, L. E. A.; Schmitz, R. G.

2017-12-01

The geologic record shows that hundreds of pole reversals have occurred throughout Earth's history. The mean interval between the poles reversals is roughly 200 to 300 thousand years and the last reversal occurred around 780 thousand years ago. Pole reversal is a slow process, during which the strength of the magnetic field decreases, become more complex, with the appearance of more than two poles for some time and then the field strength increases, changing polarity. Along the process, the magnetic field configuration changes, leaving the Earth-like planet vulnerable to the harmful effects of the Sun. Understanding what happens with the magnetosphere during these pole reversals is an open topic of investigation. Only recently PIC codes are used to modeling magnetospheres. Here we use the particle code iPIC3D [Markidis et al, Mathematics and Computers in Simulation, 2010] to simulate an Earth-like magnetosphere at three different times along the pole reversal process. The code was modified, so the Earth-like magnetic field is generated using an expansion in spherical harmonics with the Gauss coefficients given by a MHD simulation of the Earth's core [Glatzmaier et al, Nature, 1995; 1999; private communication to L.E.A.V.]. Simulations show the qualitative behavior of the magnetosphere, such as the current structures. Only the planet magnetic field was changed in the runs. The solar wind is the same for all runs. Preliminary results show the formation of the Chapman-Ferraro current in the front of the magnetosphere in all the cases. Run for the middle of the reversal process, the low intensity magnetic field and its asymmetrical configuration the current structure changes and the presence of multiple poles can be observed. In all simulations, a structure similar to the radiation belts was found. Simulations of more severe solar wind conditions are necessary to determine the real impact of the reversal in the magnetosphere.

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

PubMed

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.

Mathematical String Sculptures: A Case Study in Computationally-Enhanced Mathematical Crafts

ERIC Educational Resources Information Center

Eisenberg, Michael

2007-01-01

Mathematical string sculptures constitute an extremely beautiful realm of mathematical crafts. This snapshot begins with a description of a marvelous (and no longer manufactured) toy called Space Spider, which provided a framework with which children could experiment with string sculptures. Using a computer-controlled laser cutter to create frames…

The Impact of Specialist School Status: A Case Study of Two Contrasting Mathematics and Computing Colleges

ERIC Educational Resources Information Center

Sinkinson, Anne J.

2006-01-01

The research examines the range of effects of obtaining Specialist School status in two contrasting mathematics and computing colleges, concentrating on the mathematics department. The positive impact of a wider range of technology was evident in both schools although the inherent pedagogical perspectives within each mathematics department…

Computer Aided Learning of Mathematics: Software Evaluation

ERIC Educational Resources Information Center

Yushau, B.; Bokhari, M. A.; Wessels, D. C. J.

2004-01-01

Computer Aided Learning of Mathematics (CALM) has been in use for some time in the Prep-Year Mathematics Program at King Fahd University of Petroleum & Minerals. Different kinds of software (both locally designed and imported) have been used in the quest of optimizing the recitation/problem session hour of the mathematics classes. This paper…

Variables that Affect Math Teacher Candidates' Intentions to Integrate Computer-Assisted Mathematics Education (CAME)

ERIC Educational Resources Information Center

Erdogan, Ahmet

2010-01-01

Based on Social Cognitive Carier Theory (SCCT) (Lent, Brown, & Hackett, 1994, 2002), this study tested the effects of mathematics teacher candidates' self-efficacy in, outcome expectations from, and interest in CAME on their intentions to integrate Computer-Assisted Mathematics Education (CAME). While mathematics teacher candidates' outcome…

Cellular Automata

NASA Astrophysics Data System (ADS)

Gutowitz, Howard

1991-08-01

Cellular automata, dynamic systems in which space and time are discrete, are yielding interesting applications in both the physical and natural sciences. The thirty four contributions in this book cover many aspects of contemporary studies on cellular automata and include reviews, research reports, and guides to recent literature and available software. Chapters cover mathematical analysis, the structure of the space of cellular automata, learning rules with specified properties: cellular automata in biology, physics, chemistry, and computation theory; and generalizations of cellular automata in neural nets, Boolean nets, and coupled map lattices. Current work on cellular automata may be viewed as revolving around two central and closely related problems: the forward problem and the inverse problem. The forward problem concerns the description of properties of given cellular automata. Properties considered include reversibility, invariants, criticality, fractal dimension, and computational power. The role of cellular automata in computation theory is seen as a particularly exciting venue for exploring parallel computers as theoretical and practical tools in mathematical physics. The inverse problem, an area of study gaining prominence particularly in the natural sciences, involves designing rules that possess specified properties or perform specified task. A long-term goal is to develop a set of techniques that can find a rule or set of rules that can reproduce quantitative observations of a physical system. Studies of the inverse problem take up the organization and structure of the set of automata, in particular the parameterization of the space of cellular automata. Optimization and learning techniques, like the genetic algorithm and adaptive stochastic cellular automata are applied to find cellular automaton rules that model such physical phenomena as crystal growth or perform such adaptive-learning tasks as balancing an inverted pole. Howard Gutowitz is Collaborateur in the Service de Physique du Solide et Résonance Magnetique, Commissariat a I'Energie Atomique, Saclay, France.

Effects of Attitudes and Behaviours on Learning Mathematics with Computer Tools

ERIC Educational Resources Information Center

Reed, Helen C.; Drijvers, Paul; Kirschner, Paul A.

2010-01-01

This mixed-methods study investigates the effects of student attitudes and behaviours on the outcomes of learning mathematics with computer tools. A computer tool was used to help students develop the mathematical concept of function. In the whole sample (N = 521), student attitudes could account for a 3.4 point difference in test scores between…

Correlation Educational Model in Primary Education Curriculum of Mathematics and Computer Science

ERIC Educational Resources Information Center

Macinko Kovac, Maja; Eret, Lidija

2012-01-01

This article gives insight into methodical correlation model of teaching mathematics and computer science. The model shows the way in which the related areas of computer science and mathematics can be supplemented, if it transforms the way of teaching and creates a "joint" lessons. Various didactic materials are designed, in which all…

Computer-Assisted Mathematics Instruction for Students with Specific Learning Disability: A Review of the Literature

ERIC Educational Resources Information Center

Stultz, Sherry L.

2017-01-01

This review was conducted to evaluate the current body of scholarly research regarding the use of computer-assisted instruction (CAI) to teach mathematics to students with specific learning disability (SLD). For many years, computers are utilized for educational purposes. However, the effectiveness of CAI for teaching mathematics to this specific…

Using the Tower of Hanoi Puzzle to Infuse Your Mathematics Classroom with Computer Science Concepts

ERIC Educational Resources Information Center

Marzocchi, Alison S.

2016-01-01

This article suggests that logic puzzles, such as the well-known Tower of Hanoi puzzle, can be used to introduce computer science concepts to mathematics students of all ages. Mathematics teachers introduce their students to computer science concepts that are enacted spontaneously and subconsciously throughout the solution to the Tower of Hanoi…

Effectiveness of Computer-Assisted Mathematics Education (CAME) over Academic Achievement: A Meta-Analysis Study

ERIC Educational Resources Information Center

Demir, Seda; Basol, Gülsah

2014-01-01

The aim of the current study is to determine the overall effects of Computer-Assisted Mathematics Education (CAME) on academic achievement. After an extensive review of the literature, studies using Turkish samples and observing the effects of Computer-Assisted Education (CAE) on mathematics achievement were examined. As a result of this…

Examining Student Opinions on Computer Use Based on the Learning Styles in Mathematics Education

ERIC Educational Resources Information Center

Ozgen, Kemal; Bindak, Recep

2012-01-01

The purpose of this study is to identify the opinions of high school students, who have different learning styles, related to computer use in mathematics education. High school students' opinions on computer use in mathematics education were collected with both qualitative and quantitative approaches in the study conducted with a survey model. For…

The Mathematics of Computer Error.

ERIC Educational Resources Information Center

Wood, Eric

1988-01-01

Why a computer error occurred is considered by analyzing the binary system and decimal fractions. How the computer stores numbers is then described. Knowledge of the mathematics behind computer operation is important if one wishes to understand and have confidence in the results of computer calculations. (MNS)

Defence Mechanisms against Mathematics.

ERIC Educational Resources Information Center

Nimier, Jaques

1993-01-01

Students (n=1420) from Belgium and Quebec and students (n=614) of the Marne department were questioned to study the different defense mechanisms they employed against mathematics. Six main ways of grouping the responses were identified: (1) phobic avoidance; (2) repression; (3) projection; (4) reparation; (5) introjection; and (6) reversal into…

Reversibility and stability of information processing systems

NASA Technical Reports Server (NTRS)

Zurek, W. H.

1984-01-01

Classical and quantum models of dynamically reversible computers are considered. Instabilities in the evolution of the classical 'billiard ball computer' are analyzed and shown to result in a one-bit increase of entropy per step of computation. 'Quantum spin computers', on the other hand, are not only microscopically, but also operationally reversible. Readoff of the output of quantum computation is shown not to interfere with this reversibility. Dissipation, while avoidable in principle, can be used in practice along with redundancy to prevent errors.

Critical perspectives of pedagogical approaches to reversing the order of integration in double integrals

NASA Astrophysics Data System (ADS)

Tisdell, Christopher C.

2017-11-01

This paper presents some critical perspectives regarding pedagogical approaches to the method of reversing the order of integration in double integrals from prevailing educational literature on multivariable calculus. First, we question the message found in popular textbooks that the traditional process of reversing the order of integration is necessary when solving well-known problems. Second, we illustrate that the method of integration by parts can be directly applied to many of the classic pedagogical problems in the literature concerning double integrals, without taking the well-worn steps associated with reversing the order of integration. Third, we examine the benefits and limitations of such a method. In our conclusion, we advocate for integration by parts to be a part of the pedagogical conversation in the learning and teaching of double integral methods; and call for more debate around its use in the learning and teaching of other areas of mathematics. Finally, we emphasize the need for critical approaches in the pedagogy of mathematics more broadly.

Phase conjugation and time reversal in acoustics

NASA Astrophysics Data System (ADS)

Fink, Mathias

2000-07-01

This paper compares the different approaches used in acoustics to time reverse or to phase conjugate a wavefield. The basic principle of a time reversal mirror is an extension for broadband pulsed waves to the optical phase conjugated mirror designed for monochromatic waves. However, this equivalence is only valid mathematically and there are some fundamental differences between these two techniques that will be described in this paper.

Mathematics for the Technical Student: The Use of the Computer in the Systems Approach to Instruction.

ERIC Educational Resources Information Center

Capps, Joan P.

An instructional method using flow-chart symbols to make mathematical abstractions more concrete was implemented for a year in a technical mathematics course. Students received instruction in computer applications and programming in the BASIC language in order to increase motivation and firm the mathematical skills and problem-solving approaches…

The effects of computer-assisted instruction on the mathematics performance and classroom behavior of children with ADHD.

PubMed

Mautone, Jennifer A; DuPaul, George J; Jitendra, Asha K

2005-08-01

The present study examines the effects of computer-assisted instruction (CAI) on the mathematics performance and classroom behavior of three second-through fourth-grade students with ADHD. A controlled case study is used to evaluate the effects of the computer software on participants' mathematics performance and on-task behavior. Participants' mathematics achievement improve and their on-task behavior increase during the CAI sessions relative to independent seatwork conditions. In addition, students and teachers consider CAI to be an acceptable intervention for some students with ADHD who are having difficulty with mathematics. Implications of these results for practice and research are discussed.

The Effects of a Computer-Assisted Teaching Material, Designed According to the ASSURE Instructional Design and the ARCS Model of Motivation, on Students' Achievement Levels in a Mathematics Lesson and Their Resulting Attitudes

ERIC Educational Resources Information Center

Karakis, Hilal; Karamete, Aysen; Okçu, Aydin

2016-01-01

This study examined the effects that computer-assisted instruction had on students' attitudes toward a mathematics lesson and toward learning mathematics with computer-assisted instruction. The computer software we used was based on the ASSURE Instructional Systems Design and the ARCS Model of Motivation, and the software was designed to teach…

Examining the Relationship between Math Scores and English Language Proficiency

ERIC Educational Resources Information Center

Henry, Denfield L.

2013-01-01

English language learners (ELLs) at a south Florida elementary school have consistently struggled with the mathematics segment of the Florida Comprehensive Assessment Test. Examining the relationship between ELLs' mathematics scores and English proficiency might provide local educators with ideas for reversing a downward trend in ELLs' mathematics…

Reversible Reasoning and the Working Backwards Problem Solving Strategy

ERIC Educational Resources Information Center

Ramful, Ajay

2015-01-01

Making sense of mathematical concepts and solving mathematical problems may demand different forms of reasoning. These could be either domain-based, such as algebraic, geometric or statistical reasoning, while others are more general such as inductive/deductive reasoning. This article aims at giving visibility to a particular form of reasoning…

A Low Mach Number Model for Moist Atmospheric Flows

DOE PAGES

Duarte, Max; Almgren, Ann S.; Bell, John B.

2015-04-01

A low Mach number model for moist atmospheric flows is introduced that accurately incorporates reversible moist processes in flows whose features of interest occur on advective rather than acoustic time scales. Total water is used as a prognostic variable, so that water vapor and liquid water are diagnostically recovered as needed from an exact Clausius–Clapeyron formula for moist thermodynamics. Low Mach number models can be computationally more efficient than a fully compressible model, but the low Mach number formulation introduces additional mathematical and computational complexity because of the divergence constraint imposed on the velocity field. Here in this paper, latentmore » heat release is accounted for in the source term of the constraint by estimating the rate of phase change based on the time variation of saturated water vapor subject to the thermodynamic equilibrium constraint. Finally, the authors numerically assess the validity of the low Mach number approximation for moist atmospheric flows by contrasting the low Mach number solution to reference solutions computed with a fully compressible formulation for a variety of test problems.« less

A Low Mach Number Model for Moist Atmospheric Flows

DOE Office of Scientific and Technical Information (OSTI.GOV)

Duarte, Max; Almgren, Ann S.; Bell, John B.

A low Mach number model for moist atmospheric flows is introduced that accurately incorporates reversible moist processes in flows whose features of interest occur on advective rather than acoustic time scales. Total water is used as a prognostic variable, so that water vapor and liquid water are diagnostically recovered as needed from an exact Clausius–Clapeyron formula for moist thermodynamics. Low Mach number models can be computationally more efficient than a fully compressible model, but the low Mach number formulation introduces additional mathematical and computational complexity because of the divergence constraint imposed on the velocity field. Here in this paper, latentmore » heat release is accounted for in the source term of the constraint by estimating the rate of phase change based on the time variation of saturated water vapor subject to the thermodynamic equilibrium constraint. Finally, the authors numerically assess the validity of the low Mach number approximation for moist atmospheric flows by contrasting the low Mach number solution to reference solutions computed with a fully compressible formulation for a variety of test problems.« less

From Greeks to Today: Cipher Trees and Computer Cryptography.

ERIC Educational Resources Information Center

Grady, M. Tim; Brumbaugh, Doug

1988-01-01

Explores the use of computers for teaching mathematical models of transposition ciphers. Illustrates the ideas, includes activities and extensions, provides a mathematical model and includes computer programs to implement these topics. (MVL)

Research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, numerical analysis and computer science

NASA Technical Reports Server (NTRS)

1987-01-01

Research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, numerical analysis, and computer science during the period April, 1986 through September 30, 1986 is summarized.

Attitudes towards Computer and Computer Self-Efficacy as Predictors of Preservice Mathematics Teachers' Computer Anxiety

ERIC Educational Resources Information Center

Awofala, Adeneye O. A.; Akinoso, Sabainah O.; Fatade, Alfred O.

2017-01-01

The study investigated attitudes towards computer and computer self-efficacy as predictors of computer anxiety among 310 preservice mathematics teachers from five higher institutions of learning in Lagos and Ogun States of Nigeria using the quantitative research method within the blueprint of the descriptive survey design. Data collected were…

Mathematics Word Problem Solving: An Investigation into Schema-Based Instruction in a Computer-Mediated Setting and a Teacher-Mediated Setting with Mathematically Low-Performing Students

ERIC Educational Resources Information Center

Leh, Jayne

2011-01-01

Substantial evidence indicates that teacher-delivered schema-based instruction (SBI) facilitates significant increases in mathematics word problem solving (WPS) skills for diverse students; however research is unclear whether technology affordances facilitate superior gains in computer-mediated (CM) instruction in mathematics WPS when compared to…

The Effects of Computer-Assisted Instruction on the Achievement, Attitudes and Retention of Fourth Grade Mathematics Students in North Cyprus

ERIC Educational Resources Information Center

Pilli, Olga; Aksu, Meral

2013-01-01

The purpose of this study was to examine the effects of the educational software "Frizbi Mathematics 4" on 4th grade student's mathematics achievement, retention, attitudes toward mathematics and attitude toward computer assisted learning. Two groups (experimental and control) of students from the state primary school in Gazimagusa,…

Computer Tutorial "Higher Mathematics" for Engineering Specialties.

ERIC Educational Resources Information Center

Slivina, Natalia A.; Krivosheev, Anatoly O.; Fomin, Sergey S.

This paper presents a CD-ROM computer tutorial titled "Higher Mathematics," that contains 17 educational mathematical programs and is intended for use in Russian university engineering education. The first section introduces the courseware climate in Russia and outlines problems with commercially available universal mathematical…

The Talent Development Middle School. An Elective Replacement Approach to Providing Extra Help in Math--The CATAMA Program (Computer- and Team-Assisted Mathematics Acceleration). Report No. 21.

ERIC Educational Resources Information Center

Mac Iver, Douglas J.; Balfanz, Robert; Plank, Stephen B.

In Talent Development Middle Schools, students needing extra help in mathematics participate in the Computer- and Team-Assisted Mathematics Acceleration (CATAMA) course. CATAMA is an innovative combination of computer-assisted instruction and structured cooperative learning that students receive in addition to their regular math course for about…

Research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, numerical analysis and computer science

NASA Technical Reports Server (NTRS)

1988-01-01

This report summarizes research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, numerical analysis, and computer science during the period April l, 1988 through September 30, 1988.

Summary of research in applied mathematics, numerical analysis and computer science at the Institute for Computer Applications in Science and Engineering

NASA Technical Reports Server (NTRS)

1984-01-01

Research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, numerical analysis and computer science during the period October 1, 1983 through March 31, 1984 is summarized.

Research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, numerical analysis and computer science

NASA Technical Reports Server (NTRS)

1987-01-01

Research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, numerical analysis, and computer science during the period October 1, 1986 through March 31, 1987 is summarized.

Research in Applied Mathematics, Fluid Mechanics and Computer Science

NASA Technical Reports Server (NTRS)

1999-01-01

This report summarizes research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, fluid mechanics, and computer science during the period October 1, 1998 through March 31, 1999.

[Research activities in applied mathematics, fluid mechanics, and computer science

NASA Technical Reports Server (NTRS)

1995-01-01

This report summarizes research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, fluid mechanics, and computer science during the period April 1, 1995 through September 30, 1995.

The 6th International Conference on Computer Science and Computational Mathematics (ICCSCM 2017)

NASA Astrophysics Data System (ADS)

2017-09-01

The ICCSCM 2017 (The 6th International Conference on Computer Science and Computational Mathematics) has aimed to provide a platform to discuss computer science and mathematics related issues including Algebraic Geometry, Algebraic Topology, Approximation Theory, Calculus of Variations, Category Theory; Homological Algebra, Coding Theory, Combinatorics, Control Theory, Cryptology, Geometry, Difference and Functional Equations, Discrete Mathematics, Dynamical Systems and Ergodic Theory, Field Theory and Polynomials, Fluid Mechanics and Solid Mechanics, Fourier Analysis, Functional Analysis, Functions of a Complex Variable, Fuzzy Mathematics, Game Theory, General Algebraic Systems, Graph Theory, Group Theory and Generalizations, Image Processing, Signal Processing and Tomography, Information Fusion, Integral Equations, Lattices, Algebraic Structures, Linear and Multilinear Algebra; Matrix Theory, Mathematical Biology and Other Natural Sciences, Mathematical Economics and Financial Mathematics, Mathematical Physics, Measure Theory and Integration, Neutrosophic Mathematics, Number Theory, Numerical Analysis, Operations Research, Optimization, Operator Theory, Ordinary and Partial Differential Equations, Potential Theory, Real Functions, Rings and Algebras, Statistical Mechanics, Structure Of Matter, Topological Groups, Wavelets and Wavelet Transforms, 3G/4G Network Evolutions, Ad-Hoc, Mobile, Wireless Networks and Mobile Computing, Agent Computing & Multi-Agents Systems, All topics related Image/Signal Processing, Any topics related Computer Networks, Any topics related ISO SC-27 and SC- 17 standards, Any topics related PKI(Public Key Intrastructures), Artifial Intelligences(A.I.) & Pattern/Image Recognitions, Authentication/Authorization Issues, Biometric authentication and algorithms, CDMA/GSM Communication Protocols, Combinatorics, Graph Theory, and Analysis of Algorithms, Cryptography and Foundation of Computer Security, Data Base(D.B.) Management & Information Retrievals, Data Mining, Web Image Mining, & Applications, Defining Spectrum Rights and Open Spectrum Solutions, E-Comerce, Ubiquitous, RFID, Applications, Fingerprint/Hand/Biometrics Recognitions and Technologies, Foundations of High-performance Computing, IC-card Security, OTP, and Key Management Issues, IDS/Firewall, Anti-Spam mail, Anti-virus issues, Mobile Computing for E-Commerce, Network Security Applications, Neural Networks and Biomedical Simulations, Quality of Services and Communication Protocols, Quantum Computing, Coding, and Error Controls, Satellite and Optical Communication Systems, Theory of Parallel Processing and Distributed Computing, Virtual Visions, 3-D Object Retrievals, & Virtual Simulations, Wireless Access Security, etc. The success of ICCSCM 2017 is reflected in the received papers from authors around the world from several countries which allows a highly multinational and multicultural idea and experience exchange. The accepted papers of ICCSCM 2017 are published in this Book. Please check http://www.iccscm.com for further news. A conference such as ICCSCM 2017 can only become successful using a team effort, so herewith we want to thank the International Technical Committee and the Reviewers for their efforts in the review process as well as their valuable advices. We are thankful to all those who contributed to the success of ICCSCM 2017. The Secretary

Can Computers Be Used Successfully for Teaching College Mathematics?

ERIC Educational Resources Information Center

Hatfield, Steven H.

1976-01-01

Author states that the use of computers in mathematics courses tends to generate interest in course subject matter and make learning a less passive experience. Computers also introduce students to computer science as a field of study, and provide basic knowledge of computers as an important aspect of today's technology. (Author/RW)

Computational and mathematical methods in brain atlasing.

PubMed

Nowinski, Wieslaw L

2017-12-01

Brain atlases have a wide range of use from education to research to clinical applications. Mathematical methods as well as computational methods and tools play a major role in the process of brain atlas building and developing atlas-based applications. Computational methods and tools cover three areas: dedicated editors for brain model creation, brain navigators supporting multiple platforms, and atlas-assisted specific applications. Mathematical methods in atlas building and developing atlas-aided applications deal with problems in image segmentation, geometric body modelling, physical modelling, atlas-to-scan registration, visualisation, interaction and virtual reality. Here I overview computational and mathematical methods in atlas building and developing atlas-assisted applications, and share my contribution to and experience in this field.

Summary of research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, numerical analysis and computer science

NASA Technical Reports Server (NTRS)

1989-01-01

Research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, numerical analysis, and computer science during the period October 1, 1988 through March 31, 1989 is summarized.

Computers and Hot Potatoes: Starch for Teacher Preparation Diets.

ERIC Educational Resources Information Center

Johnson, Jerry

1984-01-01

Computers present a problem for mathematics teachers that may be solved through teacher education programs. Classroom teachers should be competent in programing languages, exploring software, and understanding the emphasis of computers in the mathematics curriculum. (DF)

Research in progress in applied mathematics, numerical analysis, fluid mechanics, and computer science

NASA Technical Reports Server (NTRS)

1994-01-01

This report summarizes research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, fluid mechanics, and computer science during the period October 1, 1993 through March 31, 1994. The major categories of the current ICASE research program are: (1) applied and numerical mathematics, including numerical analysis and algorithm development; (2) theoretical and computational research in fluid mechanics in selected areas of interest to LaRC, including acoustics and combustion; (3) experimental research in transition and turbulence and aerodynamics involving LaRC facilities and scientists; and (4) computer science.

The Influence of Computers and Informatics on Mathematics and Its Teaching. Science and Technology Education Series, 44.

ERIC Educational Resources Information Center

Cornu, Bernard, Ed.; Ralston, Anthony, Ed.

In 1985 the International Commission on Mathematical Instruction (ICMI) published the first edition of a book of studies on the topic of the influence of computers on mathematics and the teaching of mathematics. This document is an updated version of that book and includes five articles from the 1985 ICMI conference at Strasbourg, France; reports…

Learner Perceptions of the Introduction of Computer-Assisted Learning in Mathematics at a Peri-Urban School in South Africa

ERIC Educational Resources Information Center

Hartley, M. Shaheed; Treagust, David F.

2014-01-01

This study responded to a national call to improve the outcomes in mathematics in the Grade 12 matriculation examination in South Africa by reporting learners' perceptions of the introduction of computer-assisted learning in their mathematics classrooms. Three Grade 12 mathematics classes in a peri-urban school in South Africa were visited over a…

Rotenone and paraquat perturb dopamine metabolism: a computational analysis of pesticide toxicity

PubMed Central

Qi, Zhen; Miller, Gary W.; Voit, Eberhard O.

2014-01-01

Pesticides, such as rotenone and paraquat, are suspected in the pathogenesis of Parkinson’s disease (PD), whose hallmark is the progressive loss of dopaminergic neurons in the substantia nigra pars compacta. Thus, compounds expected to play a role in the pathogenesis of PD will likely impact the function of dopaminergic neurons. To explore the relationship between pesticide exposure and dopaminergic toxicity, we developed a custom-tailored mathematical model of dopamine metabolism and utilized it to infer potential mechanisms underlying the toxicity of rotenone and paraquat, asking how these pesticides perturb specific processes. We performed two types of analyses, which are conceptually different and complement each other. The first analysis, a purely algebraic reverse engineering approach, analytically and deterministically computes the altered profile of enzyme activities that characterize the effects of a pesticide. The second method consists of large-scale Monte Carlo simulations that statistically reveal possible mechanisms of pesticides. The results from the reverse engineering approach show that rotenone and paraquat exposures lead to distinctly different flux perturbations. Rotenone seems to affect all fluxes associated with dopamine compartmentalization, whereas paraquat exposure perturbs fluxes associated with dopamine and its breakdown metabolites. The statistical results of the Monte-Carlo analysis suggest several specific mechanisms. The findings are interesting, because no a priori assumptions are made regarding specific pesticide actions, and all parameters characterizing the processes in the dopamine model are treated in an unbiased manner. Our results show how approaches from computational systems biology can help identify mechanisms underlying the toxicity of pesticide exposure. PMID:24269752

Mathematics and Computer Science: Exploring a Symbiotic Relationship

ERIC Educational Resources Information Center

Bravaco, Ralph; Simonson, Shai

2004-01-01

This paper describes a "learning community" designed for sophomore computer science majors who are simultaneously studying discrete mathematics. The learning community consists of three courses: Discrete Mathematics, Data Structures and an Integrative Seminar/Lab. The seminar functions as a link that integrates the two disciplines. Participation…

Pulse cleaning flow models and numerical computation of candle ceramic filters.

PubMed

Tian, Gui-shan; Ma, Zhen-ji; Zhang, Xin-yi; Xu, Ting-xiang

2002-04-01

Analytical and numerical computed models are developed for reverse pulse cleaning system of candle ceramic filters. A standard turbulent model is demonstrated suitably to the designing computation of reverse pulse cleaning system from the experimental and one-dimensional computational result. The computed results can be used to guide the designing of reverse pulse cleaning system, which is optimum Venturi geometry. From the computed results, the general conclusions and the designing methods are obtained.

Reverse time migration by Krylov subspace reduced order modeling

NASA Astrophysics Data System (ADS)

Basir, Hadi Mahdavi; Javaherian, Abdolrahim; Shomali, Zaher Hossein; Firouz-Abadi, Roohollah Dehghani; Gholamy, Shaban Ali

2018-04-01

Imaging is a key step in seismic data processing. To date, a myriad of advanced pre-stack depth migration approaches have been developed; however, reverse time migration (RTM) is still considered as the high-end imaging algorithm. The main limitations associated with the performance cost of reverse time migration are the intensive computation of the forward and backward simulations, time consumption, and memory allocation related to imaging condition. Based on the reduced order modeling, we proposed an algorithm, which can be adapted to all the aforementioned factors. Our proposed method benefit from Krylov subspaces method to compute certain mode shapes of the velocity model computed by as an orthogonal base of reduced order modeling. Reverse time migration by reduced order modeling is helpful concerning the highly parallel computation and strongly reduces the memory requirement of reverse time migration. The synthetic model results showed that suggested method can decrease the computational costs of reverse time migration by several orders of magnitudes, compared with reverse time migration by finite element method.

Using the Tower of Hanoi puzzle to infuse your mathematics classroom with computer science concepts

NASA Astrophysics Data System (ADS)

Marzocchi, Alison S.

2016-07-01

This article suggests that logic puzzles, such as the well-known Tower of Hanoi puzzle, can be used to introduce computer science concepts to mathematics students of all ages. Mathematics teachers introduce their students to computer science concepts that are enacted spontaneously and subconsciously throughout the solution to the Tower of Hanoi puzzle. These concepts include, but are not limited to, conditionals, iteration, and recursion. Lessons, such as the one proposed in this article, are easily implementable in mathematics classrooms and extracurricular programmes as they are good candidates for 'drop in' lessons that do not need to fit into any particular place in the typical curriculum sequence. As an example for readers, the author describes how she used the puzzle in her own Number Sense and Logic course during the federally funded Upward Bound Math/Science summer programme for college-intending low-income high school students. The article explains each computer science term with real-life and mathematical examples, applies each term to the Tower of Hanoi puzzle solution, and describes how students connected the terms to their own solutions of the puzzle. It is timely and important to expose mathematics students to computer science concepts. Given the rate at which technology is currently advancing, and our increased dependence on technology in our daily lives, it has become more important than ever for children to be exposed to computer science. Yet, despite the importance of exposing today's children to computer science, many children are not given adequate opportunity to learn computer science in schools. In the United States, for example, most students finish high school without ever taking a computing course. Mathematics lessons, such as the one described in this article, can help to make computer science more accessible to students who may have otherwise had little opportunity to be introduced to these increasingly important concepts.

Assessing Mathematics Automatically Using Computer Algebra and the Internet

ERIC Educational Resources Information Center

Sangwin, Chris

2004-01-01

This paper reports some recent developments in mathematical computer-aided assessment which employs computer algebra to evaluate students' work using the Internet. Technical and educational issues raised by this use of computer algebra are addressed. Working examples from core calculus and algebra which have been used with first year university…

The Computer as a Teaching Aid for Eleventh Grade Mathematics: A Comparison Study.

ERIC Educational Resources Information Center

Kieren, Thomas Ervin

To determine the effect of learning computer programming and the use of a computer on mathematical achievement of eleventh grade students, for each of two years, average and above average students were randomly assigned to an experimental and control group. The experimental group wrote computer programs and used the output from the computer in…

Reverse-engineering of gene networks for regulating early blood development from single-cell measurements.

PubMed

Wei, Jiangyong; Hu, Xiaohua; Zou, Xiufen; Tian, Tianhai

2017-12-28

Recent advances in omics technologies have raised great opportunities to study large-scale regulatory networks inside the cell. In addition, single-cell experiments have measured the gene and protein activities in a large number of cells under the same experimental conditions. However, a significant challenge in computational biology and bioinformatics is how to derive quantitative information from the single-cell observations and how to develop sophisticated mathematical models to describe the dynamic properties of regulatory networks using the derived quantitative information. This work designs an integrated approach to reverse-engineer gene networks for regulating early blood development based on singel-cell experimental observations. The wanderlust algorithm is initially used to develop the pseudo-trajectory for the activities of a number of genes. Since the gene expression data in the developed pseudo-trajectory show large fluctuations, we then use Gaussian process regression methods to smooth the gene express data in order to obtain pseudo-trajectories with much less fluctuations. The proposed integrated framework consists of both bioinformatics algorithms to reconstruct the regulatory network and mathematical models using differential equations to describe the dynamics of gene expression. The developed approach is applied to study the network regulating early blood cell development. A graphic model is constructed for a regulatory network with forty genes and a dynamic model using differential equations is developed for a network of nine genes. Numerical results suggests that the proposed model is able to match experimental data very well. We also examine the networks with more regulatory relations and numerical results show that more regulations may exist. We test the possibility of auto-regulation but numerical simulations do not support the positive auto-regulation. In addition, robustness is used as an importantly additional criterion to select candidate networks. The research results in this work shows that the developed approach is an efficient and effective method to reverse-engineer gene networks using single-cell experimental observations.

Agent-based re-engineering of ErbB signaling: a modeling pipeline for integrative systems biology.

PubMed

Das, Arya A; Ajayakumar Darsana, T; Jacob, Elizabeth

2017-03-01

Experiments in systems biology are generally supported by a computational model which quantitatively estimates the parameters of the system by finding the best fit to the experiment. Mathematical models have proved to be successful in reverse engineering the system. The data generated is interpreted to understand the dynamics of the underlying phenomena. The question we have sought to answer is that - is it possible to use an agent-based approach to re-engineer a biological process, making use of the available knowledge from experimental and modelling efforts? Can the bottom-up approach benefit from the top-down exercise so as to create an integrated modelling formalism for systems biology? We propose a modelling pipeline that learns from the data given by reverse engineering, and uses it for re-engineering the system, to carry out in-silico experiments. A mathematical model that quantitatively predicts co-expression of EGFR-HER2 receptors in activation and trafficking has been taken for this study. The pipeline architecture takes cues from the population model that gives the rates of biochemical reactions, to formulate knowledge-based rules for the particle model. Agent-based simulations using these rules, support the existing facts on EGFR-HER2 dynamics. We conclude that, re-engineering models, built using the results of reverse engineering, opens up the possibility of harnessing the power pack of data which now lies scattered in literature. Virtual experiments could then become more realistic when empowered with the findings of empirical cell biology and modelling studies. Implemented on the Agent Modelling Framework developed in-house. C ++ code templates available in Supplementary material . liz.csir@gmail.com. Supplementary data are available at Bioinformatics online. © The Author 2016. Published by Oxford University Press. All rights reserved. For Permissions, please e-mail: journals.permissions@oup.com

Topics in Computer Literacy as Elements of Two Introductory College Mathematics Courses.

ERIC Educational Resources Information Center

Spresser, Diane M.

1986-01-01

Explains the integrated approach implemented by James Madison University, Virginia, in enhancing computer literacy. Reviews the changes in the mathematics courses and provides topical listings and outlines of the courses that emphasize computer applications. (ML)

a Discrete Mathematical Model to Simulate Malware Spreading

NASA Astrophysics Data System (ADS)

Del Rey, A. Martin; Sánchez, G. Rodriguez

2012-10-01

With the advent and worldwide development of Internet, the study and control of malware spreading has become very important. In this sense, some mathematical models to simulate malware propagation have been proposed in the scientific literature, and usually they are based on differential equations exploiting the similarities with mathematical epidemiology. The great majority of these models study the behavior of a particular type of malware called computer worms; indeed, to the best of our knowledge, no model has been proposed to simulate the spreading of a computer virus (the traditional type of malware which differs from computer worms in several aspects). In this sense, the purpose of this work is to introduce a new mathematical model not based on continuous mathematics tools but on discrete ones, to analyze and study the epidemic behavior of computer virus. Specifically, cellular automata are used in order to design such model.

Integration of CAI into a Freshmen Liberal Arts Math Course in the Community College.

ERIC Educational Resources Information Center

McCall, Michael B.; Holton, Jean L.

1982-01-01

Discusses four computer-assisted-instruction programs used in a college-level mathematics course to introduce computer literacy and improve mathematical skills. The BASIC programs include polynomial functions, trigonometric functions, matrix algebra, and differential calculus. Each program discusses mathematics theory and introduces programming…

Research in progress in applied mathematics, numerical analysis, and computer science

NASA Technical Reports Server (NTRS)

1990-01-01

Research conducted at the Institute in Science and Engineering in applied mathematics, numerical analysis, and computer science is summarized. The Institute conducts unclassified basic research in applied mathematics in order to extend and improve problem solving capabilities in science and engineering, particularly in aeronautics and space.

Understanding Teachers' Attitudes to Change in a LogoMathematics Environment.

ERIC Educational Resources Information Center

Moreira, Candida; Noss, Richard

1995-01-01

Describes and analyzes attitudes of two Portuguese elementary teachers toward mathematics, mathematics teaching, and use of computers in instruction. Semistructured interviews and questionnaires, before and after an inservice LOGO computer course, showed that both teachers changed their attitude, but only one implemented her ideas in teaching. (20…

Discrete Mathematics Course Supported by CAS MATHEMATICA

ERIC Educational Resources Information Center

Ivanov, O. A.; Ivanova, V. V.; Saltan, A. A.

2017-01-01

In this paper, we discuss examples of assignments for a course in discrete mathematics for undergraduate students majoring in business informatics. We consider several problems with computer-based solutions and discuss general strategies for using computers in teaching mathematics and its applications. In order to evaluate the effectiveness of our…

It's Going to Happen Anyway....

ERIC Educational Resources Information Center

Fusaro, B. A.

Within the context of the developments in mathematics and computer science, this paper argues that the emergence of the microcomputer gives mathematics the opportunity to survive as a viable and healthy discipline. Section I traces the development of the computer and the position of established mathematics on the sidelines of this development.…

Computer-Game-Based Tutoring of Mathematics

ERIC Educational Resources Information Center

Ke, Fengfeng

2013-01-01

This in-situ, descriptive case study examined the potential of implementing computer mathematics games as an anchor for tutoring of mathematics. Data were collected from middle school students at a rural pueblo school and an urban Hispanic-serving school, through in-field observation, content analysis of game-based tutoring-learning interactions,…

Improving Mathematics Learning of Kindergarten Students through Computer-Assisted Instruction

ERIC Educational Resources Information Center

Foster, Matthew E.; Anthony, Jason L.; Clements, Doug H.; Sarama, Julie; Williams, Jeffrey M.

2016-01-01

This study evaluated the effects of a mathematics software program, the Building Blocks software suite, on young children's mathematics performance. Participants included 247 Kindergartners from 37 classrooms in 9 schools located in low-income communities. Children within classrooms were randomly assigned to receive 21 weeks of computer-assisted…

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

NASA Astrophysics Data System (ADS)

Bogdanov, Alexander; Khramushin, Vasily

2016-02-01

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.

Collective Properties of Neural Systems and Their Relation to Other Physical Models

DTIC Science & Technology

1988-08-05

been computed explicitly. This has been achieved algorithmically by utilizing methods introduced earlier. It should be emphasized that in addition to...Research Institute for Mathematical Sciences. K’oto Universin. K roto 606. .apan and E. BAROUCH Department of Mathematics and Computer Sciene. Clarkon...Mathematics and Computer Science, Clarkson University, where this work was collaborated. References I. IBabu, S. V. and Barouch E., An exact soIlution for the

Facilitating mathematics learning for students with upper extremity disabilities using touch-input system.

PubMed

Choi, Kup-Sze; Chan, Tak-Yin

2015-03-01

To investigate the feasibility of using tablet device as user interface for students with upper extremity disabilities to input mathematics efficiently into computer. A touch-input system using tablet device as user interface was proposed to assist these students to write mathematics. User-switchable and context-specific keyboard layouts were designed to streamline the input process. The system could be integrated with conventional computer systems only with minor software setup. A two-week pre-post test study involving five participants was conducted to evaluate the performance of the system and collect user feedback. The mathematics input efficiency of the participants was found to improve during the experiment sessions. In particular, their performance in entering trigonometric expressions by using the touch-input system was significantly better than that by using conventional mathematics editing software with keyboard and mouse. The participants rated the touch-input system positively and were confident that they could operate at ease with more practice. The proposed touch-input system provides a convenient way for the students with hand impairment to write mathematics and has the potential to facilitate their mathematics learning. Implications for Rehabilitation Students with upper extremity disabilities often face barriers to learning mathematics which is largely based on handwriting. Conventional computer user interfaces are inefficient for them to input mathematics into computer. A touch-input system with context-specific and user-switchable keyboard layouts was designed to improve the efficiency of mathematics input. Experimental results and user feedback suggested that the system has the potential to facilitate mathematics learning for the students.

Computational Literacy and "The Big Picture" Concerning Computers in Mathematics Education

ERIC Educational Resources Information Center

diSessa, Andrea A.

2018-01-01

This article develops some ideas concerning the "big picture" of how using computers might fundamentally change learning, with an emphasis on mathematics (and, more generally, STEM education). I develop the big-picture model of "computation as a new literacy" in some detail and with concrete examples of sixth grade students…

Factors That Encourage or Inhibit Computer Use for Secondary Mathematics Teaching

ERIC Educational Resources Information Center

Forgasz, Helen

2006-01-01

Included in contemporary mathematics curricula is the expectation that mathematics teachers will use technology--computers and calculators--in their classrooms. It is widely believed in Australian educational circles and in society at large that students' learning will be enhanced by engaging with these technologies. For children to use computers…

Learning Mathematics by Designing, Programming, and Investigating with Interactive, Dynamic Computer-Based Objects

ERIC Educational Resources Information Center

Marshall, Neil; Buteau, Chantal

2014-01-01

As part of their undergraduate mathematics curriculum, students at Brock University learn to create and use computer-based tools with dynamic, visual interfaces, called Exploratory Objects, developed for the purpose of conducting pure or applied mathematical investigations. A student's Development Process Model of creating and using an Exploratory…

Computer Assisted Vocational Math. Written for TRS-80, Model I, Level II, 16K.

ERIC Educational Resources Information Center

Daly, Judith; And Others

This computer-assisted curriculum is intended to be used to enhance a vocational mathematics/applied mathematics course. A total of 32 packets were produced to increase the basic mathematics skills of students in the following vocational programs: automotive trades, beauty culture, building trades, climate control, electrical trades,…

Mathematics Objectives and Measurement Specifications 1986-1990. Exit Level. Texas Educational Assessment of Minimum Skills (TEAMS).

ERIC Educational Resources Information Center

Texas Education Agency, Austin. Div. of Educational Assessment.

This document lists the objectives for the Texas educational assessment program in mathematics. Eighteen objectives for exit level mathematics are listed, by category: number concepts (4); computation (3); applied computation (5); statistical concepts (3); geometric concepts (2); and algebraic concepts (1). Then general specifications are listed…

Increasing Mathematical Computation Skills for Students with Physical and Health Disabilities

ERIC Educational Resources Information Center

Webb, Paula

2017-01-01

Students with physical and health disabilities struggle with basic mathematical concepts. The purpose of this research study was to increase the students' mathematical computation skills through implementing new strategies and/or methods. The strategies implemented with the students was utilizing the ten-frame tiles and technology with the purpose…

Characteristics of the Navy Laboratory Warfare Center Technical Workforce

DTIC Science & Technology

2013-09-29

Mathematics and Information Science (M&IS) Actuarial Science 1510 Computer Science 1550 Gen. Math & Statistics 1501 Mathematics 1520 Operations...Admin. Network Systems & Data Communication Analysts Actuaries Mathematicians Operations Research Analyst Statisticians Social Science (SS...workforce was sub-divided into six broad occupational groups: Life Science , Physical Science , Engineering, Mathematics, Computer Science and Information

The Mathematics and Computer Science Learning Center (MLC).

ERIC Educational Resources Information Center

Abraham, Solomon T.

The Mathematics and Computer Science Learning Center (MLC) was established in the Department of Mathematics at North Carolina Central University during the fall semester of the 1982-83 academic year. The initial operations of the MLC were supported by grants to the University from the Burroughs-Wellcome Company and the Kenan Charitable Trust Fund.…

A Study of the Use of a Handheld Computer Algebra System in Discrete Mathematics

ERIC Educational Resources Information Center

Powers, Robert A.; Allison, Dean E.; Grassl, Richard M.

2005-01-01

This study investigated the impact of the TI-92 handheld Computer Algebra System (CAS) on student achievement in a discrete mathematics course. Specifically, the researchers examined the differences between a CAS section and a control section of discrete mathematics on students' in-class examinations. Additionally, they analysed student approaches…

Using Construct Validity Techniques To Evaluate an Automated Cognitive Model of Geometric Proof Writing.

ERIC Educational Resources Information Center

Shotsberger, Paul G.

The National Council of Teachers of Mathematics (1991) has identified the use of computers as a necessary teaching tool for enhancing mathematical discourse in schools. One possible vehicle of technological change in mathematics classrooms is the Intelligent Tutoring System (ITS), an artificially intelligent computer-based tutor. This paper…

Teachers, Equity, and Computers for Secondary Mathematics Learning

ERIC Educational Resources Information Center

Forgasz, Helen

2006-01-01

The findings presented in this article were derived from a 3-year study aimed at examining issues associated with the use of computers for secondary mathematics learning in Victorian (Australia) schools. Gender and other equity factors were of particular interest. In this article, the focus is on the participating mathematics teachers. Data on…

Computer Programming in the UK Undergraduate Mathematics Curriculum

ERIC Educational Resources Information Center

Sangwin, Christopher J.; O'Toole, Claire

2017-01-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…

Methodological Potential of Computer Experiment in Teaching Mathematics at University

ERIC Educational Resources Information Center

Lin, Kequan; Sokolova, Anna Nikolaevna; Vlasova, Vera K.

2017-01-01

The study is relevant due to the opportunity of increasing efficiency of teaching mathematics at university through integration of students of computer experiment conducted with the use of IT in this process. The problem of there search is defined by a contradiction between great potential opportunities of mathematics experiment for motivating and…

Computer-Assisted Problem Solving in School Mathematics

ERIC Educational Resources Information Center

Hatfield, Larry L.; Kieren, Thomas E.

1972-01-01

A test of the hypothesis that writing and using computer programs related to selected mathematical content positively affects performance on those topics. Results particularly support the hypothesis. (MM)

Problem Solving and Computational Skill: Are They Shared or Distinct Aspects of Mathematical Cognition?

PubMed Central

Fuchs, Lynn S.; Fuchs, Douglas; Hamlett, Carol L.; Lambert, Warren; Stuebing, Karla; Fletcher, Jack M.

2009-01-01

The purpose of this study was to explore patterns of difficulty in 2 domains of mathematical cognition: computation and problem solving. Third graders (n = 924; 47.3% male) were representatively sampled from 89 classrooms; assessed on computation and problem solving; classified as having difficulty with computation, problem solving, both domains, or neither domain; and measured on 9 cognitive dimensions. Difficulty occurred across domains with the same prevalence as difficulty with a single domain; specific difficulty was distributed similarly across domains. Multivariate profile analysis on cognitive dimensions and chi-square tests on demographics showed that specific computational difficulty was associated with strength in language and weaknesses in attentive behavior and processing speed; problem-solving difficulty was associated with deficient language as well as race and poverty. Implications for understanding mathematics competence and for the identification and treatment of mathematics difficulties are discussed. PMID:20057912

Visual Form Perception Can Be a Cognitive Correlate of Lower Level Math Categories for Teenagers.

PubMed

Cui, Jiaxin; Zhang, Yiyun; Cheng, Dazhi; Li, Dawei; Zhou, Xinlin

2017-01-01

Numerous studies have assessed the cognitive correlates of performance in mathematics, but little research has been conducted to systematically examine the relations between visual perception as the starting point of visuospatial processing and typical mathematical performance. In the current study, we recruited 223 seventh graders to perform a visual form perception task (figure matching), numerosity comparison, digit comparison, exact computation, approximate computation, and curriculum-based mathematical achievement tests. Results showed that, after controlling for gender, age, and five general cognitive processes (choice reaction time, visual tracing, mental rotation, spatial working memory, and non-verbal matrices reasoning), visual form perception had unique contributions to numerosity comparison, digit comparison, and exact computation, but had no significant relation with approximate computation or curriculum-based mathematical achievement. These results suggest that visual form perception is an important independent cognitive correlate of lower level math categories, including the approximate number system, digit comparison, and exact computation.

Using Computation Curriculum-Based Measurement Probes for Error Pattern Analysis

ERIC Educational Resources Information Center

Dennis, Minyi Shih; Calhoon, Mary Beth; Olson, Christopher L.; Williams, Cara

2014-01-01

This article describes how "curriculum-based measurement--computation" (CBM-C) mathematics probes can be used in combination with "error pattern analysis" (EPA) to pinpoint difficulties in basic computation skills for students who struggle with learning mathematics. Both assessment procedures provide ongoing assessment data…

Output Devices, Computation, and the Future of Mathematical Crafts.

ERIC Educational Resources Information Center

Eisenberg, Michael

2002-01-01

The advent of powerful, affordable output devices offers the potential for a vastly expanded landscape of computationally-enriched mathematical craft activities in education. Craft activities have both intellectual and emotional affordances that are relatively lacking in "traditional" computer-based education. Describes three software applications…

Design and Development Computer-Based E-Learning Teaching Material for Improving Mathematical Understanding Ability and Spatial Sense of Junior High School Students

NASA Astrophysics Data System (ADS)

Nurjanah; Dahlan, J. A.; Wibisono, Y.

2017-02-01

This paper aims to make a design and development computer-based e-learning teaching material for improving mathematical understanding ability and spatial sense of junior high school students. Furthermore, the particular aims are (1) getting teaching material design, evaluation model, and intrument to measure mathematical understanding ability and spatial sense of junior high school students; (2) conducting trials computer-based e-learning teaching material model, asessment, and instrument to develop mathematical understanding ability and spatial sense of junior high school students; (3) completing teaching material models of computer-based e-learning, assessment, and develop mathematical understanding ability and spatial sense of junior high school students; (4) resulting research product is teaching materials of computer-based e-learning. Furthermore, the product is an interactive learning disc. The research method is used of this study is developmental research which is conducted by thought experiment and instruction experiment. The result showed that teaching materials could be used very well. This is based on the validation of computer-based e-learning teaching materials, which is validated by 5 multimedia experts. The judgement result of face and content validity of 5 validator shows that the same judgement result to the face and content validity of each item test of mathematical understanding ability and spatial sense. The reliability test of mathematical understanding ability and spatial sense are 0,929 and 0,939. This reliability test is very high. While the validity of both tests have a high and very high criteria.

Status Report: Mathematics Curriculum-Development Projects Today

ERIC Educational Resources Information Center

Arithmetic Teacher, 1972

1972-01-01

Brief reports on the Cambridge Conference on School Mathematics, Comprehensive School Mathematics Program, Computer-Assisted Instruction Projects at Stanford, Individually Prescribed Instruction Project, The Madison Project, Mathematics/Science Learning System, MINNEMAST, and School Mathematics Study Group. (MM)

Equity and Beliefs about the Efficacy of Computers for Mathematics Learning

ERIC Educational Resources Information Center

Forgasz, Helen J.

2003-01-01

Members of society appear to have great faith in the educational value of computers. It is widely believed that computer use will promote learning. Unsupported by research evidence, many contemporary mathematics curriculum documents include statements advocating computer use and the benefits to be derived. As part of a larger study in which equity…

Implementing Computer Algebra Enabled Questions for the Assessment and Learning of Mathematics

ERIC Educational Resources Information Center

Sangwin, Christopher J.; Naismith, Laura

2008-01-01

We present principles for the design of an online system to support computer algebra enabled questions for use within the teaching and learning of mathematics in higher education. The introduction of a computer algebra system (CAS) into a computer aided assessment (CAA) system affords sophisticated response processing of student provided answers.…

Comparison of the Effects of Computer-Based Practice and Conceptual Understanding Interventions on Mathematics Fact Retention and Generalization

ERIC Educational Resources Information Center

Kanive, Rebecca; Nelson, Peter M.; Burns, Matthew K.; Ysseldyke, James

2014-01-01

The authors' purpose was to determine the effects of computer-based practice and conceptual interventions on computational fluency and word-problem solving of fourth- and fifth-grade students with mathematics difficulties. A randomized pretest-posttest control group design found that students assigned to the computer-based practice intervention…

The Effectiveness of Computer-Assisted Instruction for Teaching Mathematics to Students with Specific Learning Disability

ERIC Educational Resources Information Center

Stultz, Sherry L.

2013-01-01

Using computers to teach students is not a new idea. Computers have been utilized for educational purposes for over 80 years. However, the effectiveness of these programs for teaching mathematics to students with specific learning disability is unclear. This study was undertaken to determine if computer-assisted instruction was as effective as…

Students' Mathematics Word Problem-Solving Achievement in a Computer-Based Story

ERIC Educational Resources Information Center

Gunbas, N.

2015-01-01

The purpose of this study was to investigate the effect of a computer-based story, which was designed in anchored instruction framework, on sixth-grade students' mathematics word problem-solving achievement. Problems were embedded in a story presented on a computer as computer story, and then compared with the paper-based version of the same story…

A pedagogical example of second-order arithmetic sequences applied to the construction of computer passwords by upper elementary grade students

NASA Astrophysics Data System (ADS)

Coggins, Porter E.

2015-04-01

The purpose of this paper is (1) to present how general education elementary school age students constructed computer passwords using digital root sums and second-order arithmetic sequences, (2) argue that computer password construction can be used as an engaging introduction to generate interest in elementary school students to study mathematics related to computer science, and (3) share additional mathematical ideas accessible to elementary school students that can be used to create computer passwords. This paper serves to fill a current gap in the literature regarding the integration of mathematical content accessible to upper elementary school students and aspects of computer science in general, and computer password construction in particular. In addition, the protocols presented here can serve as a hook to generate further interest in mathematics and computer science. Students learned to create a random-looking computer password by using biometric measurements of their shoe size, height, and age in months and to create a second-order arithmetic sequence, then converted the resulting numbers into characters that become their computer passwords. This password protocol can be used to introduce students to good computer password habits that can serve a foundation for a life-long awareness of data security. A refinement of the password protocol is also presented.

Learning to Calculate and Learning Mathematics.

ERIC Educational Resources Information Center

Fearnley-Sander, Desmond

1980-01-01

A calculator solution of a simple computational problem is discussed with emphasis on its ramifications for the understanding of some fundamental theorems of pure mathematics and techniques of computing. (Author/MK)

Reverse logistics network for municipal solid waste management: The inclusion of waste pickers as a Brazilian legal requirement

DOE Office of Scientific and Technical Information (OSTI.GOV)

Ferri, Giovane Lopes, E-mail: giovane.ferri@aluno.ufes.br; Diniz Chaves, Gisele de Lorena, E-mail: gisele.chaves@ufes.br; Ribeiro, Glaydston Mattos, E-mail: glaydston@pet.coppe.ufrj.br

Highlights: • We propose a reverse logistics network for MSW involving waste pickers. • A generic facility location mathematical model was validated in a Brazilian city. • The results enable to predict the capacity for screening and storage centres (SSC). • We minimise the costs for transporting MSW with screening and storage centres. • The use of SSC can be a potential source of revenue and a better use of MSW. - Abstract: This study proposes a reverse logistics network involved in the management of municipal solid waste (MSW) to solve the challenge of economically managing these wastes considering themore » recent legal requirements of the Brazilian Waste Management Policy. The feasibility of the allocation of MSW material recovery facilities (MRF) as intermediate points between the generators of these wastes and the options for reuse and disposal was evaluated, as well as the participation of associations and cooperatives of waste pickers. This network was mathematically modelled and validated through a scenario analysis of the municipality of São Mateus, which makes the location model more complete and applicable in practice. The mathematical model allows the determination of the number of facilities required for the reverse logistics network, their location, capacities, and product flows between these facilities. The fixed costs of installation and operation of the proposed MRF were balanced with the reduction of transport costs, allowing the inclusion of waste pickers to the reverse logistics network. The main contribution of this study lies in the proposition of a reverse logistics network for MSW simultaneously involving legal, environmental, economic and social criteria, which is a very complex goal. This study can guide practices in other countries that have realities similar to those in Brazil of accelerated urbanisation without adequate planning for solid waste management, added to the strong presence of waste pickers that, through the characteristic of social vulnerability, must be included in the system. In addition to the theoretical contribution to the reverse logistics network problem, this study aids in decision-making for public managers who have limited technical and administrative capacities for the management of solid wastes.« less

Toward integration of in vivo molecular computing devices: successes and challenges

PubMed Central

Hayat, Sikander; Hinze, Thomas

2008-01-01

The computing power unleashed by biomolecule based massively parallel computational units has been the focus of many interdisciplinary studies that couple state of the art ideas from mathematical logic, theoretical computer science, bioengineering, and nanotechnology to fulfill some computational task. The output can influence, for instance, release of a drug at a specific target, gene expression, cell population, or be a purely mathematical entity. Analysis of the results of several studies has led to the emergence of a general set of rules concerning the implementation and optimization of in vivo computational units. Taking two recent studies on in vivo computing as examples, we discuss the impact of mathematical modeling and simulation in the field of synthetic biology and on in vivo computing. The impact of the emergence of gene regulatory networks and the potential of proteins acting as “circuit wires” on the problem of interconnecting molecular computing device subunits is also highlighted. PMID:19404433

An Application of Reverse Engineering to Automatic Item Generation: A Proof of Concept Using Automatically Generated Figures

ERIC Educational Resources Information Center

Lorié, William A.

2013-01-01

A reverse engineering approach to automatic item generation (AIG) was applied to a figure-based publicly released test item from the Organisation for Economic Cooperation and Development (OECD) Programme for International Student Assessment (PISA) mathematical literacy cognitive instrument as part of a proof of concept. The author created an item…

Development process of in-service training intended for teachers to perform teaching of mathematics with computer algebra systems

NASA Astrophysics Data System (ADS)

Ardıç, Mehmet Alper; Işleyen, Tevfik

2018-01-01

In this study, we deal with the development process of in-service training activities designed in order for mathematics teachers of secondary education to realize teaching of mathematics, utilizing computer algebra systems. In addition, the results obtained from the researches carried out during and after the in-service training were summarized. Last section focuses on suggestions any teacher can use to carry out activities aimed at using computer algebra systems in teaching environments.

Logic via Computer Programming.

ERIC Educational Resources Information Center

Wieschenberg, Agnes A.

This paper proposed the question "How do we teach logical thinking and sophisticated mathematics to unsophisticated college students?" One answer among many is through the writing of computer programs. The writing of computer algorithms is mathematical problem solving and logic in disguise and it may attract students who would otherwise stop…

Technology and Mathematics Education: A Survey of Recent Developments and Important Problems.

ERIC Educational Resources Information Center

Fey, James T.

1989-01-01

Provided is an overview and analysis of recent progress in applying electronic information technology to creation of new environments for intellectual work in mathematics. Describes the impact of numerical computation, graphic computation, symbolic computation, multiple representation of information, programing and information, and artificial…

An Amazing Algorithm

ERIC Educational Resources Information Center

Snapp, Robert R.; Neumann, Maureen D.

2015-01-01

The rapid growth of digital technology, including the worldwide adoption of mobile and embedded computers, places new demands on K-grade 12 educators and their students. Young people should have an opportunity to learn the technical knowledge of computer science (e.g., computer programming, mathematical logic, and discrete mathematics) in order to…

Cultivating Computational Thinking Practices and Mathematical Habits of Mind in Lattice Land

ERIC Educational Resources Information Center

Pei, Christina; Weintrop, David; Wilensky, Uri

2018-01-01

There is a great deal of overlap between the set of practices collected under the term "computational thinking" and the mathematical habits of mind that are the focus of much mathematics instruction. Despite this overlap, the links between these two desirable educational outcomes are rarely made explicit, either in classrooms or in the…

Evaluation of Mathematical Self-Explanations with LSA in a Counterintuitive Problem of Probabilities

ERIC Educational Resources Information Center

Guiu, Jordi Maja

2012-01-01

In this paper different type of mathematical explanations are presented in relation to the mathematical problem of probabilities Monty Hall (card version) and the computational tool Latent Semantic Analyses (LSA) is used. At the moment the results in the literature about this computational tool to study texts show that this technique is…

Models of Individual Trajectories in Computer-Assisted Instruction for Deaf Students. Technical Report No. 214.

ERIC Educational Resources Information Center

Suppes, P.; And Others

From some simple and schematic assumptions about information processing, a stochastic differential equation is derived for the motion of a student through a computer-assisted elementary mathematics curriculum. The mathematics strands curriculum of the Institute for Mathematical Studies in the Social Sciences is used to test: (1) the theory and (2)…

Getting from x to y without Crashing: Computer Syntax in Mathematics Education

ERIC Educational Resources Information Center

Jeffrey, David J.

2010-01-01

When we use technology to teach mathematics, we hope to focus on the mathematics, restricting the computer software systems to providing support for our pedagogy. It is a matter of common experience, however, that students can become distracted or frustrated by the quirks of the particular software system being used. Here, experience using the…

What Is the Predict Level of Which Computer Using Skills Measured in PISA for Achievement in Mathematics

ERIC Educational Resources Information Center

Ziya, Engin; Dogan, Nuri; Kelecioglu, Hulya

2010-01-01

This study aims at determining the extent to which computer using skills specified in Project for International Students Evaluation (PISA) 2006 predict Turkish students' achievement in mathematics. Apart from questions on mathematics, science and reading competencies, a student questionnaire, a school questionnaire and a parent questionnaire were…

A Model for Minimizing Numeric Function Generator Complexity and Delay

DTIC Science & Technology

2007-12-01

allow computation of difficult mathematical functions in less time and with less hardware than commonly employed methods. They compute piecewise...Programmable Gate Arrays (FPGAs). The algorithms and estimation techniques apply to various NFG architectures and mathematical functions. This...thesis compares hardware utilization and propagation delay for various NFG architectures, mathematical functions, word widths, and segmentation methods

Information Communication Technology Pedagogical Integration in Mathematics Instruction among Teachers in Secondary Schools in Kenya

ERIC Educational Resources Information Center

Wanjala, Martin

2016-01-01

This paper reports finding of the study that sought to ascertain the extent of ICT-pedagogical integration in mathematics instruction among secondary school teachers in Kenya. Information was sought on professional development experiences and needs in computer technology use in mathematics instruction, the type of computer software used in…

Examining the Use of Computer Algebra Systems in University-Level Mathematics Teaching

ERIC Educational Resources Information Center

Lavicza, Zsolt

2009-01-01

The use of Computer Algebra Systems (CAS) is becoming increasingly important and widespread in mathematics research and teaching. In this paper, I will report on a questionnaire study enquiring about mathematicians' use of CAS in mathematics teaching in three countries; the United States, the United Kingdom, and Hungary. Based on the responses…

Instrumentation for Scientific Computing in Neural Networks, Information Science, Artificial Intelligence, and Applied Mathematics.

DTIC Science & Technology

1987-10-01

include Security Classification) Instrumentation for scientific computing in neural networks, information science, artificial intelligence, and...instrumentation grant to purchase equipment for support of research in neural networks, information science, artificail intellignece , and applied mathematics...in Neural Networks, Information Science, Artificial Intelligence, and Applied Mathematics Contract AFOSR 86-0282 Principal Investigator: Stephen

Evaluation of the Effectiveness of a Tablet Computer Application (App) in Helping Students with Visual Impairments Solve Mathematics Problems

ERIC Educational Resources Information Center

Beal, Carole R.; Rosenblum, L. Penny

2018-01-01

Introduction: The authors examined a tablet computer application (iPad app) for its effectiveness in helping students studying prealgebra to solve mathematical word problems. Methods: Forty-three visually impaired students (that is, those who are blind or have low vision) completed eight alternating mathematics units presented using their…

The Gap between Expectations and Reality: Integrating Computers into Mathematics Classrooms

ERIC Educational Resources Information Center

Guven, Bulent; Cakiroglu, Unal; Akkan, Yasar

2009-01-01

As a result of dramatic changes in mathematics education around the world, in Turkey both elementary and secondary school mathematics curriculums have changed in the light of new demands since 2005. In order to perform the expected change in newly developed curriculum, computer should be integrated into learning and teaching process. Teachers'…

An Interdisciplinary Collaboration between Computer Engineering and Mathematics/Bilingual Education to Develop a Curriculum for Underrepresented Middle School Students

ERIC Educational Resources Information Center

Celedón-Pattichis, Sylvia; LópezLeiva, Carlos Alfonso; Pattichis, Marios S.; Llamocca, Daniel

2013-01-01

There is a strong need in the United States to increase the number of students from underrepresented groups who pursue careers in Science, Technology, Engineering, and Mathematics. Drawing from sociocultural theory, we present approaches to establishing collaborations between computer engineering and mathematics/bilingual education faculty to…

Secondary School Students' Attitudes towards Mathematics Computer--Assisted Instruction Environment in Kenya

ERIC Educational Resources Information Center

Mwei, Philip K.; Wando, Dave; Too, Jackson K.

2012-01-01

This paper reports the results of research conducted in six classes (Form IV) with 205 students with a sample of 94 respondents. Data represent students' statements that describe (a) the role of Mathematics teachers in a computer-assisted instruction (CAI) environment and (b) effectiveness of CAI in Mathematics instruction. The results indicated…

Inelastic behavior of structural components

NASA Technical Reports Server (NTRS)

Hussain, N.; Khozeimeh, K.; Toridis, T. G.

1980-01-01

A more accurate procedure was developed for the determination of the inelastic behavior of structural components. The actual stress-strain curve for the mathematical of the structure was utilized to generate the force-deformation relationships for the structural elements, rather than using simplified models such as elastic-plastic, bilinear and trilinear approximations. relationships were generated for beam elements with various types of cross sections. In the generational of these curves, stress or load reversals, kinematic hardening and hysteretic behavior were taken into account. Intersections between loading and unloading branches were determined through an iterative process. Using the inelastic properties obtained, the plastic static response of some simple structural systems composed of beam elements was computed. Results were compared with known solutions, indicating a considerable improvement over response predictions obtained by means of simplified approximations used in previous investigations.

Seven R's for the Student Teacher.

ERIC Educational Resources Information Center

Newson, Graham

1983-01-01

Briefly discussed are seven qualities which provide a significant basic platform for teaching mathematics effectively: reinforcement, responsiveness, reliability, realism, reversibility, range, and radicalism. (MNS)

The impact of computer-based versus "traditional" textbook science instruction on selected student learning outcomes

NASA Astrophysics Data System (ADS)

Rothman, Alan H.

This study reports the results of research designed to examine the impact of computer-based science instruction on elementary school level students' science content achievement, their attitude about science learning, their level of critical thinking-inquiry skills, and their level of cognitive and English language development. The study compared these learning outcomes resulting from a computer-based approach compared to the learning outcomes from a traditional, textbook-based approach to science instruction. The computer-based approach was inherent in a curriculum titled The Voyage of the Mimi , published by The Bank Street College Project in Science and Mathematics (1984). The study sample included 209 fifth-grade students enrolled in three schools in a suburban school district. This sample was divided into three groups, each receiving one of the following instructional treatments: (a) Mixed-instruction primarily based on the use of a hardcopy textbook in conjunction with computer-based instructional materials as one component of the science course; (b) Non-Traditional, Technology-Based -instruction fully utilizing computer-based material; and (c) Traditional, Textbook-Based-instruction utilizing only the textbook as the basis for instruction. Pre-test, or pre-treatment, data related to each of the student learning outcomes was collected at the beginning of the school year and post-test data was collected at the end of the school year. Statistical analyses of pre-test data were used as a covariate to account for possible pre-existing differences with regard to the variables examined among the three student groups. This study concluded that non-traditional, computer-based instruction in science significantly improved students' attitudes toward science learning and their level of English language development. Non-significant, positive trends were found for the following student learning outcomes: overall science achievement and development of critical thinking-inquiry skills. These conclusions support the value of a non-traditional, computer-based approach to instruction, such as exemplified by The Voyage of the Mimi curriculum, and a recommendation for reform in science teaching that has recommended the use of computer technology to enhance learning outcomes from science instruction to assist in reversing the trend toward what has been perceived to be relatively poor science performance by American students, as documented by the 1996 Third International Mathematics and Science Study (TIMSS).

Performance characteristics of plane-wall venturi-like reverse flow diverters

DOE Office of Scientific and Technical Information (OSTI.GOV)

Smith, G.V.; Counce, R.M.

1984-02-01

The results of an analytical and experimental study of plane-wall venturi-like reverse flow diverters (RFD) are presented. In general, the flow characteristics of the RFD are reasonably well predicted by the mathematical model of the RFD, although a divergence between theory and data is observed for the output characteristics in the reverse flow mode as the output impedance is reduced. Overall, the performance of these devices indicates their usefulness in fluid control and fluid power systems, such as displacement pumping systems.

Performance characteristics of plane-wall venturi-like reverse flow diverters

DOE Office of Scientific and Technical Information (OSTI.GOV)

Smith, G.V.; Counce, R.M.

1982-01-01

The results of an analytical and experimental study of plane-wall venturi-like reverse flow diverters (RFD) are presented. In general, the flow characteristics of the RFD are reasonably well predicted by the mathematical model of the RFD, although a divergence between theory and data is observed for the output characteristics in the reverse flow mode as the output impedance is reduced. Overall, the performance of these devices indicates their usefulness in fluid control and fluid power systems, such as displacement pumping systems.

Posing Complex Problems Requiring Multiplicative Thinking Prompts Students to Use Sophisticated Strategies and Build Mathematical Connections

ERIC Educational Resources Information Center

Downton, Ann; Sullivan, Peter

2017-01-01

While the general planning advice offered to mathematics teachers seems to be to start with simple examples and build complexity progressively, the research reported in this article is a contribution to the body of literature that argues the reverse. That is, posing of appropriately complex tasks may actually prompt the use of more sophisticated…

Math for the 1980's: A Response to the PRIME-80. A Conference/Workshop at Augusta College.

ERIC Educational Resources Information Center

Chang, Ping-Tung; Bompart, Bill

A conference/workshop held in late 1979 which was aimed at improving the teaching of mathematics is reviewed. The conference was a response to the PRIME-80 conference of the Mathematical Association of America (MAA), which had produced recommendations that something should be done to reverse the decline of educational skills among entering college…

Mathematical Model Of Variable-Polarity Plasma Arc Welding

NASA Technical Reports Server (NTRS)

Hung, R. J.

1996-01-01

Mathematical model of variable-polarity plasma arc (VPPA) welding process developed for use in predicting characteristics of welds and thus serves as guide for selection of process parameters. Parameters include welding electric currents in, and durations of, straight and reverse polarities; rates of flow of plasma and shielding gases; and sizes and relative positions of welding electrode, welding orifice, and workpiece.

FAST TRACK COMMUNICATION: Reversible arithmetic logic unit for quantum arithmetic

NASA Astrophysics Data System (ADS)

Kirkedal Thomsen, Michael; Glück, Robert; Axelsen, Holger Bock

2010-09-01

This communication presents the complete design of a reversible arithmetic logic unit (ALU) that can be part of a programmable reversible computing device such as a quantum computer. The presented ALU is garbage free and uses reversible updates to combine the standard reversible arithmetic and logical operations in one unit. Combined with a suitable control unit, the ALU permits the construction of an r-Turing complete computing device. The garbage-free ALU developed in this communication requires only 6n elementary reversible gates for five basic arithmetic-logical operations on two n-bit operands and does not use ancillae. This remarkable low resource consumption was achieved by generalizing the V-shape design first introduced for quantum ripple-carry adders and nesting multiple V-shapes in a novel integrated design. This communication shows that the realization of an efficient reversible ALU for a programmable computing device is possible and that the V-shape design is a very versatile approach to the design of quantum networks.

Computational Fluency Performance Profile of High School Students with Mathematics Disabilities

ERIC Educational Resources Information Center

Calhoon, Mary Beth; Emerson, Robert Wall; Flores, Margaret; Houchins, David E.

2007-01-01

The purpose of this descriptive study was to develop a computational fluency performance profile of 224 high school (Grades 9-12) students with mathematics disabilities (MD). Computational fluency performance was examined by grade-level expectancy (Grades 2-6) and skill area (whole numbers: addition, subtraction, multiplication, division;…

The Computational Estimation and Instructional Perspectives of Elementary School Teachers

ERIC Educational Resources Information Center

Tsao, Yea-Ling; Pan, Ting-Rung

2013-01-01

The purpose of this study is to investigate teachers' understanding and knowledge of computational estimation, and teaching practice toward to computational estimation. There are six fifth-grade elementary teachers who participated in this study; three teachers with mathematics/ science major and three teachers with non-mathematics/science major.…

Current research activities: Applied and numerical mathematics, fluid mechanics, experiments in transition and turbulence and aerodynamics, and computer science

NASA Technical Reports Server (NTRS)

1992-01-01

Research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, numerical analysis, fluid mechanics including fluid dynamics, acoustics, and combustion, aerodynamics, and computer science during the period 1 Apr. 1992 - 30 Sep. 1992 is summarized.

Traditional vs. Innovative Uses of Computers among Mathematics Pre-Service Teachers in Serbia

ERIC Educational Resources Information Center

Teo, Timothy; Milutinovic, Verica; Zhou, Mingming; Bankovic, Dragic

2017-01-01

This study examined pre-service teachers' intentions to use computers in traditional and innovative teaching practices in primary mathematics classrooms. It extended the technology acceptance model (TAM) by adding as external variables pre-service teachers' experience with computers and their technological pedagogical content knowledge (TPCK).…

DOE Office of Scientific and Technical Information (OSTI.GOV)

Oler, Kiri J.; Miller, Carl H.

In this paper, we present a methodology for reverse engineering integrated circuits, including a mathematical verification of a scalable algorithm used to generate minimal finite state machine representations of integrated circuits.

Computational modeling of the cell-autonomous mammalian circadian oscillator.

PubMed

Podkolodnaya, Olga A; Tverdokhleb, Natalya N; Podkolodnyy, Nikolay L

2017-02-24

This review summarizes various mathematical models of cell-autonomous mammalian circadian clock. We present the basics necessary for understanding of the cell-autonomous mammalian circadian oscillator, modern experimental data essential for its reconstruction and some special problems related to the validation of mathematical circadian oscillator models. This work compares existing mathematical models of circadian oscillator and the results of the computational studies of the oscillating systems. Finally, we discuss applications of the mathematical models of mammalian circadian oscillator for solving specific problems in circadian rhythm biology.

Current problems in applied mathematics and mathematical physics

NASA Astrophysics Data System (ADS)

Samarskii, A. A.

Papers are presented on such topics as mathematical models in immunology, mathematical problems of medical computer tomography, classical orthogonal polynomials depending on a discrete variable, and boundary layer methods for singular perturbation problems in partial derivatives. Consideration is also given to the computer simulation of supernova explosion, nonstationary internal waves in a stratified fluid, the description of turbulent flows by unsteady solutions of the Navier-Stokes equations, and the reduced Galerkin method for external diffraction problems using the spline approximation of fields.

Partnership in Being a Specialist Mathematics and Computing College--Who Gains What, How and Why?

ERIC Educational Resources Information Center

Sinkinson, Anne J.

2007-01-01

The research took place in a mathematics and computing specialist school. The article reports on part of a case study of the mathematics department's experience of being a major contributor to the requirements of being a specialist school. This article aims to explore and describe one model of partnership within the "community" remit of…

Computer Conferencing in Mathematics Classrooms: Distance Education--The Long and the Short of It.

ERIC Educational Resources Information Center

Lamb, Charles E.; Klemm, William R.

One of the major goals of mathematics education reform efforts is for students to become more confident in their abilities. This paper suggests that computer conferencing provides a way to change classroom practice so that students can work together in a self-paced manner that builds self-esteem and confidence in mathematics. A pedagogical…

Using Mental Imagery Processes for Teaching and Research in Mathematics and Computer Science

ERIC Educational Resources Information Center

Arnoux, Pierre; Finkel, Alain

2010-01-01

The role of mental representations in mathematics and computer science (for teaching or research) is often downplayed or even completely ignored. Using an ongoing work on the subject, we argue for a more systematic study and use of mental representations, to get an intuition of mathematical concepts, and also to understand and build proofs. We…

12 CFR Appendix K to Part 226 - Total Annual Loan Cost Rate Computations for Reverse Mortgage Transactions

Code of Federal Regulations, 2014 CFR

2014-01-01

... 12 Banks and Banking 3 2014-01-01 2014-01-01 false Total Annual Loan Cost Rate Computations for Reverse Mortgage Transactions K Appendix K to Part 226 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED..., App. K Appendix K to Part 226—Total Annual Loan Cost Rate Computations for Reverse Mortgage...

12 CFR Appendix K to Part 226 - Total Annual Loan Cost Rate Computations for Reverse Mortgage Transactions

Code of Federal Regulations, 2013 CFR

2013-01-01

... 12 Banks and Banking 3 2013-01-01 2013-01-01 false Total Annual Loan Cost Rate Computations for Reverse Mortgage Transactions K Appendix K to Part 226 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED..., App. K Appendix K to Part 226—Total Annual Loan Cost Rate Computations for Reverse Mortgage...

Computation by symmetry operations in a structured model of the brain: Recognition of rotational invariance and time reversal

NASA Astrophysics Data System (ADS)

McGrann, John V.; Shaw, Gordon L.; Shenoy, Krishna V.; Leng, Xiaodan; Mathews, Robert B.

1994-06-01

Symmetries have long been recognized as a vital component of physical and biological systems. What we propose here is that symmetry operations are an important feature of higher brain function and result from the spatial and temporal modularity of the cortex. These symmetry operations arise naturally in the trion model of the cortex. The trion model is a highly structured mathematical realization of the Mountcastle organizational principle [Mountcastle, in The Mindful Brain (MIT, Cambridge, 1978)] in which the cortical column is the basic neural network of the cortex and is comprised of subunit minicolumns, which are idealized as trions with three levels of firing. A columnar network of a small number of trions has a large repertoire of quasistable, periodic spatial-temporal firing magic patterns (MP's), which can be excited. The MP's are related by specific symmetries: Spatial rotation, parity, ``spin'' reversal, and time reversal as well as other ``global'' symmetry operations in this abstract internal language of the brain. These MP's can be readily enhanced (as well as inherent categories of MP's) by only a small change in connection strengths via a Hebb learning rule. Learning introduces small breaking of the symmetries in the connectivities which enables a symmetry in the patterns to be recognized in the Monte Carlo evolution of the MP's. Examples of the recognition of rotational invariance and of a time-reversed pattern are presented. We propose the possibility of building a logic device from the hardware implementation of a higher level architecture of trion cortical columns.

Computer Synthesis Approaches of Hyperboloid Gear Drives with Linear Contact

NASA Astrophysics Data System (ADS)

Abadjiev, Valentin; Kawasaki, Haruhisa

2014-09-01

The computer design has improved forming different type software for scientific researches in the field of gearing theory as well as performing an adequate scientific support of the gear drives manufacture. Here are attached computer programs that are based on mathematical models as a result of scientific researches. The modern gear transmissions require the construction of new mathematical approaches to their geometric, technological and strength analysis. The process of optimization, synthesis and design is based on adequate iteration procedures to find out an optimal solution by varying definite parameters. The study is dedicated to accepted methodology in the creation of soft- ware for the synthesis of a class high reduction hyperboloid gears - Spiroid and Helicon ones (Spiroid and Helicon are trademarks registered by the Illinois Tool Works, Chicago, Ill). The developed basic computer products belong to software, based on original mathematical models. They are based on the two mathematical models for the synthesis: "upon a pitch contact point" and "upon a mesh region". Computer programs are worked out on the basis of the described mathematical models, and the relations between them are shown. The application of the shown approaches to the synthesis of commented gear drives is illustrated.

High-Productivity Computing in Computational Physics Education

NASA Astrophysics Data System (ADS)

Tel-Zur, Guy

2011-03-01

We describe the development of a new course in Computational Physics at the Ben-Gurion University. This elective course for 3rd year undergraduates and MSc. students is being taught during one semester. Computational Physics is by now well accepted as the Third Pillar of Science. This paper's claim is that modern Computational Physics education should deal also with High-Productivity Computing. The traditional approach of teaching Computational Physics emphasizes ``Correctness'' and then ``Accuracy'' and we add also ``Performance.'' Along with topics in Mathematical Methods and case studies in Physics the course deals a significant amount of time with ``Mini-Courses'' in topics such as: High-Throughput Computing - Condor, Parallel Programming - MPI and OpenMP, How to build a Beowulf, Visualization and Grid and Cloud Computing. The course does not intend to teach neither new physics nor new mathematics but it is focused on an integrated approach for solving problems starting from the physics problem, the corresponding mathematical solution, the numerical scheme, writing an efficient computer code and finally analysis and visualization.

Imagination, Intuition, and Computing in School Algebra.

ERIC Educational Resources Information Center

Kieren, Thomas E.; Olson, Alton T.

1989-01-01

Two incidents involving novice teachers with classes in grades 7 and 10 are presented. Then considered are the nature of intuitive mathematics and contributions computers can make to such intuitive mathematics, particularly in Algebra. (MNS)

Designing a multistage supply chain in cross-stage reverse logistics environments: application of particle swarm optimization algorithms.

PubMed

Chiang, Tzu-An; Che, Z H; Cui, Zhihua

2014-01-01

This study designed a cross-stage reverse logistics course for defective products so that damaged products generated in downstream partners can be directly returned to upstream partners throughout the stages of a supply chain for rework and maintenance. To solve this reverse supply chain design problem, an optimal cross-stage reverse logistics mathematical model was developed. In addition, we developed a genetic algorithm (GA) and three particle swarm optimization (PSO) algorithms: the inertia weight method (PSOA_IWM), V(Max) method (PSOA_VMM), and constriction factor method (PSOA_CFM), which we employed to find solutions to support this mathematical model. Finally, a real case and five simulative cases with different scopes were used to compare the execution times, convergence times, and objective function values of the four algorithms used to validate the model proposed in this study. Regarding system execution time, the GA consumed more time than the other three PSOs did. Regarding objective function value, the GA, PSOA_IWM, and PSOA_CFM could obtain a lower convergence value than PSOA_VMM could. Finally, PSOA_IWM demonstrated a faster convergence speed than PSOA_VMM, PSOA_CFM, and the GA did.

Designing a Multistage Supply Chain in Cross-Stage Reverse Logistics Environments: Application of Particle Swarm Optimization Algorithms

PubMed Central

Chiang, Tzu-An; Che, Z. H.

2014-01-01

This study designed a cross-stage reverse logistics course for defective products so that damaged products generated in downstream partners can be directly returned to upstream partners throughout the stages of a supply chain for rework and maintenance. To solve this reverse supply chain design problem, an optimal cross-stage reverse logistics mathematical model was developed. In addition, we developed a genetic algorithm (GA) and three particle swarm optimization (PSO) algorithms: the inertia weight method (PSOA_IWM), V Max method (PSOA_VMM), and constriction factor method (PSOA_CFM), which we employed to find solutions to support this mathematical model. Finally, a real case and five simulative cases with different scopes were used to compare the execution times, convergence times, and objective function values of the four algorithms used to validate the model proposed in this study. Regarding system execution time, the GA consumed more time than the other three PSOs did. Regarding objective function value, the GA, PSOA_IWM, and PSOA_CFM could obtain a lower convergence value than PSOA_VMM could. Finally, PSOA_IWM demonstrated a faster convergence speed than PSOA_VMM, PSOA_CFM, and the GA did. PMID:24772026

Planning the location of facilities to implement a reverse logistic system of post-consumer packaging using a location mathematical model.

PubMed

Couto, Maria Claudia Lima; Lange, Liséte Celina; Rosa, Rodrigo de Alvarenga; Couto, Paula Rogeria Lima

2017-12-01

The implementation of reverse logistics systems (RLS) for post-consumer products provides environmental and economic benefits, since it increases recycling potential. However, RLS implantation and consolidation still face problems. The main shortcomings are the high costs and the low expectation of broad implementation worldwide. This paper presents two mathematical models to decide the number and the location of screening centers (SCs) and valorization centers (VCs) to implement reverse logistics of post-consumer packages, defining the optimum territorial arrangements (OTAs), allowing the inclusion of small and medium size municipalities. The paper aims to fill a gap in the literature on RLS location facilities that not only aim at revenue optimization, but also the participation of the population, the involvement of pickers and the service universalization. The results showed that implementation of VCs can lead to revenue/cost ratio higher than 100%. The results of this study can supply companies and government agencies with a global view on the parameters that influence RLS sustainability and help them make decisions about the location of these facilities and the best reverse flows with the social inclusion of pickers and serving the population of small and medium-sized municipalities.

Visual Form Perception Can Be a Cognitive Correlate of Lower Level Math Categories for Teenagers

PubMed Central

Cui, Jiaxin; Zhang, Yiyun; Cheng, Dazhi; Li, Dawei; Zhou, Xinlin

2017-01-01

Numerous studies have assessed the cognitive correlates of performance in mathematics, but little research has been conducted to systematically examine the relations between visual perception as the starting point of visuospatial processing and typical mathematical performance. In the current study, we recruited 223 seventh graders to perform a visual form perception task (figure matching), numerosity comparison, digit comparison, exact computation, approximate computation, and curriculum-based mathematical achievement tests. Results showed that, after controlling for gender, age, and five general cognitive processes (choice reaction time, visual tracing, mental rotation, spatial working memory, and non-verbal matrices reasoning), visual form perception had unique contributions to numerosity comparison, digit comparison, and exact computation, but had no significant relation with approximate computation or curriculum-based mathematical achievement. These results suggest that visual form perception is an important independent cognitive correlate of lower level math categories, including the approximate number system, digit comparison, and exact computation. PMID:28824513

Research in applied mathematics, numerical analysis, and computer science

NASA Technical Reports Server (NTRS)

1984-01-01

Research conducted at the Institute for Computer Applications in Science and Engineering (ICASE) in applied mathematics, numerical analysis, and computer science is summarized and abstracts of published reports are presented. The major categories of the ICASE research program are: (1) numerical methods, with particular emphasis on the development and analysis of basic numerical algorithms; (2) control and parameter identification; (3) computational problems in engineering and the physical sciences, particularly fluid dynamics, acoustics, and structural analysis; and (4) computer systems and software, especially vector and parallel computers.

Preservice Teachers' Perceptions about Computer Use for Tutoring.

ERIC Educational Resources Information Center

Willner, Elizabeth; Willner, Jonathan

Preservice teachers had the opportunity to make use of computers while tutoring elementary and middle school children in reading, mathematics, and integrated reading and mathematics. These tutors (n=128) responded to a survey that was designed to elicit responses about the value of computer use for tutoring and the motivational and learning…

Computer Courseware Evaluations. A Series of Reports Compiled by the Clearinghouse Computer Technology Project.

ERIC Educational Resources Information Center

Alberta Dept. of Education, Edmonton.

This report reviews Apple computer courseware in business education, library skills, mathematics, science, special education, and word processing based on the curricular requirements of Alberta, Canada. It provides detailed evaluations of 23 authorized titles in business education (2), mathematics (20), and science (1); 3 of the math titles are…

Using e-Learning Platforms for Mastery Learning in Developmental Mathematics Courses

ERIC Educational Resources Information Center

Boggs, Stacey; Shore, Mark; Shore, JoAnna

2004-01-01

Many colleges and universities have adopted e-learning platforms to utilize computers as an instructional tool in developmental (i.e., beginning and intermediate algebra) mathematics courses. An e-learning platform is a computer program used to enhance course instruction via computers and the Internet. Allegany College of Maryland is currently…

Projects Using a Computer Algebra System in First-Year Undergraduate Mathematics

ERIC Educational Resources Information Center

Rosenzweig, Martin

2007-01-01

This paper illustrates the use of computer-based projects in two one-semester first-year undergraduate mathematics classes. Developed over a period of years, the approach is one in which the classes are organised into work-groups, with computer-based projects being undertaken periodically to illustrate the class material. These projects are…

Enhancing Student Writing and Computer Programming with LATEX and MATLAB in Multivariable Calculus

ERIC Educational Resources Information Center

Sullivan, Eric; Melvin, Timothy

2016-01-01

Written communication and computer programming are foundational components of an undergraduate degree in the mathematical sciences. All lower-division mathematics courses at our institution are paired with computer-based writing, coding, and problem-solving activities. In multivariable calculus we utilize MATLAB and LATEX to have students explore…

Adding It Up: Is Computer Use Associated with Higher Achievement in Public Elementary Mathematics Classrooms?

ERIC Educational Resources Information Center

Kao, Linda Lee

2009-01-01

Despite support for technology in schools, there is little evidence indicating whether using computers in public elementary mathematics classrooms is associated with improved outcomes for students. This exploratory study examined data from the Early Childhood Longitudinal Study, investigating whether students' frequency of computer use was related…

75 FR 7272 - Agency Information Collection Activities; Submission for Office of Management and Budget Review...

Federal Register 2010, 2011, 2012, 2013, 2014

2010-02-18

...,880). This is a one-time cost for a computer or mathematic employees to design and prepare a report... Occupational Classification 15-0000, computer and mathematics occupations, all industries; we add 40 percent to... believes that manufacturers of animal drugs already possess the computers, software, and additional...

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

ERIC Educational Resources Information Center

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

Proceedings of the 2013 International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering - M and C 2013

DOE Office of Scientific and Technical Information (OSTI.GOV)

NONE

2013-07-01

The Mathematics and Computation Division of the American Nuclear (ANS) and the Idaho Section of the ANS hosted the 2013 International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering (M and C 2013). This proceedings contains over 250 full papers with topics ranging from reactor physics; radiation transport; materials science; nuclear fuels; core performance and optimization; reactor systems and safety; fluid dynamics; medical applications; analytical and numerical methods; algorithms for advanced architectures; and validation verification, and uncertainty quantification.

Internationalizing the Mathematical Finance Course

ERIC Educational Resources Information Center

Okonkwo, Zephyrinus C.

2017-01-01

About the year 2000, the Department of Mathematics and Computer Science, Albany State University (ASU), Albany, Georgia, USA envisioned the need to have a comprehensive curriculum revision based on recommendations of the Conference Boards of The Mathematical Sciences, the American Mathematical Society, the Mathematical Association of American, and…

Detecting Strengths and Weaknesses in Learning Mathematics through a Model Classifying Mathematical Skills

ERIC Educational Resources Information Center

Karagiannakis, Giannis N.; Baccaglini-Frank, Anna E.; Roussos, Petros

2016-01-01

Through a review of the literature on mathematical learning disabilities (MLD) and low achievement in mathematics (LA) we have proposed a model classifying mathematical skills involved in learning mathematics into four domains (Core number, Memory, Reasoning, and Visual-spatial). In this paper we present a new experimental computer-based battery…

A Policy Analysis of the Delivery of Primary and Secondary School Mathematics and Science in English

ERIC Educational Resources Information Center

Mohandhas, Pratheepa

2015-01-01

This paper offers an analysis of the development and implementation of the policy to teach Science and Mathematics in English (PPSMI) in Malaysian primary schools, commencing in 2003, in the context of the 2009 reversal of the policy. The original study focused particularly on the impact of the policy on the children of the Federal Land…

The Effect of Advisement and Competition on Transfer, Advisor Use, and Attitude toward Mathematics Using a Computer-Based Simulation Game.

ERIC Educational Resources Information Center

Van Eck, Richard

This study looks at the roles that competition and context of advisement play in transfer, advisor use, attitude toward mathematics, and attitude toward instruction in a computer-based simulation game that required the use of mathematics skills. It is concluded that for transfer training, non-competitive simulation games might be the best choice,…

Does the Computer-Assisted Remedial Mathematics Program at Kearny High School Lead to Improved Scores on the N.J. Early Warning Test?

ERIC Educational Resources Information Center

Schalago-Schirm, Cynthia

Eighth-grade students in New Jersey take the Early Warning Test (EWT), which involves reading, writing, and mathematics. Students with EWT scores below the state level of competency take a remedial mathematics course that provides students with computer-assisted instruction (2 days per week) as well as regular classroom instruction (3 days per…

An interdisciplinary collaboration between computer engineering and mathematics/bilingual education to develop a curriculum for underrepresented middle school students

NASA Astrophysics Data System (ADS)

Celedón-Pattichis, Sylvia; LópezLeiva, Carlos Alfonso; Pattichis, Marios S.; Llamocca, Daniel

2013-12-01

There is a strong need in the United States to increase the number of students from underrepresented groups who pursue careers in Science, Technology, Engineering, and Mathematics. Drawing from sociocultural theory, we present approaches to establishing collaborations between computer engineering and mathematics/bilingual education faculty to address this need. We describe our work through the Advancing Out-of-School Learning in Mathematics and Engineering project by illustrating how an integrated curriculum that is based on mathematics with applications in image and video processing can be designed and how it can be implemented with middle school students from underrepresented groups.

Modeling hazardous mass flows Geoflows09: Mathematical and computational aspects of modeling hazardous geophysical mass flows; Seattle, Washington, 9–11 March 2009

USGS Publications Warehouse

Iverson, Richard M.; LeVeque, Randall J.

2009-01-01

A recent workshop at the University of Washington focused on mathematical and computational aspects of modeling the dynamics of dense, gravity-driven mass movements such as rock avalanches and debris flows. About 30 participants came from seven countries and brought diverse backgrounds in geophysics; geology; physics; applied and computational mathematics; and civil, mechanical, and geotechnical engineering. The workshop was cosponsored by the U.S. Geological Survey Volcano Hazards Program, by the U.S. National Science Foundation through a Vertical Integration of Research and Education (VIGRE) in the Mathematical Sciences grant to the University of Washington, and by the Pacific Institute for the Mathematical Sciences. It began with a day of lectures open to the academic community at large and concluded with 2 days of focused discussions and collaborative work among the participants.

The Emergence of Temporal Structures in Dynamical Systems

NASA Astrophysics Data System (ADS)

Mainzer, Klaus

2010-10-01

Dynamical systems in classical, relativistic and quantum physics are ruled by laws with time reversibility. Complex dynamical systems with time-irreversibility are known from thermodynamics, biological evolution, growth of organisms, brain research, aging of people, and historical processes in social sciences. Complex systems are systems that compromise many interacting parts with the ability to generate a new quality of macroscopic collective behavior the manifestations of which are the spontaneous emergence of distinctive temporal, spatial or functional structures. But, emergence is no mystery. In a general meaning, the emergence of macroscopic features results from the nonlinear interactions of the elements in a complex system. Mathematically, the emergence of irreversible structures is modelled by phase transitions in non-equilibrium dynamics of complex systems. These methods have been modified even for chemical, biological, economic and societal applications (e.g., econophysics). Emergence of irreversible structures can also be simulated by computational systems. The question arises how the emergence of irreversible structures is compatible with the reversibility of fundamental physical laws. It is argued that, according to quantum cosmology, cosmic evolution leads from symmetry to complexity of irreversible structures by symmetry breaking and phase transitions. Thus, arrows of time and aging processes are not only subjective experiences or even contradictions to natural laws, but they can be explained by quantum cosmology and the nonlinear dynamics of complex systems. Human experiences and religious concepts of arrows of time are considered in a modern scientific framework. Platonic ideas of eternity are at least understandable with respect to mathematical invariance and symmetry of physical laws. Heraclit’s world of change and dynamics can be mapped onto our daily real-life experiences of arrows of time.

Educating in Place: Mathematics and Technology

ERIC Educational Resources Information Center

Klein, Robert

2007-01-01

Mathematics education discourse routinely promotes the idea that mathematics is everywhere. That mathematics is everywhere seems a reasonable implication of "We all use math everyday." Modern technology, mostly in the form of computational devices and control systems, is often cited as evidence of the omnipresence of mathematics.…

Stable same-sex friendships with higher achieving partners promote mathematical reasoning in lower achieving primary school children.

PubMed

DeLay, Dawn; Laursen, Brett; Kiuru, Noona; Poikkeus, Anna-Maija; Aunola, Kaisa; Nurmi, Jari-Erik

2015-11-01

This study was designed to investigate friend influence over mathematical reasoning in a sample of 374 children in 187 same-sex friend dyads (184 girls in 92 friendships; 190 boys in 95 friendships). Participants completed surveys that measured mathematical reasoning in the 3rd grade (approximately 9 years old) and 1 year later in the 4th grade (approximately 10 years old). Analyses designed for dyadic data (i.e., longitudinal actor-partner interdependence model) indicated that higher achieving friends influenced the mathematical reasoning of lower achieving friends, but not the reverse. Specifically, greater initial levels of mathematical reasoning among higher achieving partners in the 3rd grade predicted greater increases in mathematical reasoning from 3rd grade to 4th grade among lower achieving partners. These effects held after controlling for peer acceptance and rejection, task avoidance, interest in mathematics, maternal support for homework, parental education, length of the friendship, and friendship group norms on mathematical reasoning. © 2015 The British Psychological Society.

Stable Same-Sex Friendships with Higher Achieving Partners Promote Mathematical Reasoning in Lower Achieving Primary School Children

PubMed Central

DeLay, Dawn; Laursen, Brett; Kiuru, Noona; Poikkeus, Anna-Maija; Aunola, Kaisa; Nurmi, Jari-Erik

2015-01-01

This study is designed to investigate friend influence over mathematical reasoning in a sample of 374 children in 187 same-sex friend dyads (184 girls in 92 friendships; 190 boys in 95 friendships). Participants completed surveys that measured mathematical reasoning in the 3rd grade (approximately 9 years old) and one year later in the 4th grade (approximately 10 years old). Analyses designed for dyadic data (i.e., longitudinal Actor-Partner Interdependence Models) indicated that higher achieving friends influenced the mathematical reasoning of lower achieving friends, but not the reverse. Specifically, greater initial levels of mathematical reasoning among higher achieving partners in the 3rd grade predicted greater increases in mathematical reasoning from 3rd grade to 4th grade among lower achieving partners. These effects held after controlling for peer acceptance and rejection, task avoidance, interest in mathematics, maternal support for homework, parental education, length of the friendship, and friendship group norms on mathematical reasoning. PMID:26402901

The Identification, Implementation, and Evaluation of Critical User Interface Design Features of Computer-Assisted Instruction Programs in Mathematics for Students with Learning Disabilities

ERIC Educational Resources Information Center

Seo, You-Jin; Woo, Honguk

2010-01-01

Critical user interface design features of computer-assisted instruction programs in mathematics for students with learning disabilities and corresponding implementation guidelines were identified in this study. Based on the identified features and guidelines, a multimedia computer-assisted instruction program, "Math Explorer", which delivers…

A Computer Based Program to Improve Reading and Mathematics Scores for High School Students.

ERIC Educational Resources Information Center

Bond, Carole L.; And Others

A study examined the effect on reading achievement, mathematics achievement, and ACT scores when computer based instruction (CBI) was compressed into a 6-week period of time. In addition, the effects of learning style and receptive language deficits on these scores were studied. Computer based instruction is a primary source of instruction that…

Encouraging More Women into Computer Science: Initiating a Single-Sex Intervention Program in Sweden.

ERIC Educational Resources Information Center

Brandell, Gerd; Carlsson, Svante; Eklbom, Hakan; Nord, Ann-Charlotte

1997-01-01

Describes the process of starting a new program in computer science and engineering that is heavily based on applied mathematics and only open to women. Emphasizes that success requires considerable interest in mathematics and curiosity about computer science among female students at the secondary level and the acceptance of the single-sex program…

A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (II)

ERIC Educational Resources Information Center

Bradford, Russell; Davenport, James H.; Sangwin, Chris

2010-01-01

A perennial problem in computer-aided assessment is that "a right answer", pedagogically speaking, is not the same thing as "a mathematically correct expression", as verified by a computer algebra system, or indeed other techniques such as random evaluation. Paper I in this series considered the difference in cases where there was "the right…

Turkish Mathematics and Science Teachers' Technology Use in Their Classroom Instruction: Findings from TIMSS 2011

ERIC Educational Resources Information Center

Tas, Yasemin; Balgalmis, Esra

2016-01-01

The goal of this study was to describe Turkish mathematics and science teachers' use of computer in their classroom instruction by utilizing TIMSS 2011 data. Analyses results revealed that teachers most frequently used computers for preparation purpose and least frequently used computers for administration. There was no difference in teachers'…

Investigating the Effects of Computer-Assisted Instruction on Achievement and Attitudes towards Mathematics among Seventh-Grade Students in Kuwait

ERIC Educational Resources Information Center

Soliman, Mamdouh M.; Hilal, Ahmed J.

2016-01-01

This study evaluates the effectiveness of Computer-Assisted Instruction (CAI) compared with traditional classroom instruction of mathematics of seventh graders in Kuwait's public schools. We aimed to compare students learning outcomes between two groups: the control group, taught traditionally without the use of computers, and the experimental…

Investigation of the computer experiences and attitudes of pre-service mathematics teachers: new evidence from Turkey.

PubMed

Birgin, Osman; Catlioğlu, Hakan; Gürbüz, Ramazan; Aydin, Serhat

2010-10-01

This study aimed to investigate the experiences of pre-service mathematics (PSM) teachers with computers and their attitudes toward them. The Computer Attitude Scale, Computer Competency Survey, and Computer Use Information Form were administered to 180 Turkish PSM teachers. Results revealed that most PSM teachers used computers at home and at Internet cafes, and that their competency was generally intermediate and upper level. The study concludes that PSM teachers' attitudes about computers differ according to their years of study, computer ownership, level of computer competency, frequency of computer use, computer experience, and whether they had attended a computer-aided instruction course. However, computer attitudes were not affected by gender.

What Is Measured in Mathematics Tests? Construct Validity of Curriculum-Based Mathematics Measures.

ERIC Educational Resources Information Center

Thurber, Robin Schul; Shinn, Mark R.; Smolkowski, Keith

2002-01-01

Mathematics curriculum-based measurement (M-CBM) is one tool that has been developed for formative evaluation in mathematics. This study examines what constructs M-CBM actually measures in the context of a range of other mathematics measures. Results indicated that a two-factor model of mathematics where Computation and Applications were distinct…

What is the Role of Mathematics Education in the Computer Age?

ERIC Educational Resources Information Center

Popp, Jerome A.

1986-01-01

Proposes that the role of mathematics education be re-examined in terms of an increased emphasis on mathematical knowledge rather than attainment of calculational speed. Offers perspectives on the reform movement in mathematics education and advocates the teaching of the history, logic, and method of mathematical thinking. (ML)

Teaching Mathematics to Non-Mathematics Majors through Applications

ERIC Educational Resources Information Center

Abramovich, Sergei; Grinshpan, Arcadii Z.

2008-01-01

This article focuses on the important role of applications in teaching mathematics to students with career paths other than mathematics. These include the fields as diverse as education, engineering, business, and life sciences. Particular attention is given to instructional computing as a means for concept development in mathematics education…

Secondary Schools Curriculum Guide, Mathematics, Grades 10-12. Revised.

ERIC Educational Resources Information Center

Cranston School Dept., RI.

Behavioral objectives for grades 10 through 12 are specified for plane geometry, algebra, general mathematics, computer mathematics, slide rule mathematics, basic college mathematics, trigonometry, analytic geometry, calculus and probability. Most sections present material in terms of portions of a school year. At least one major objective is…

Explicating Mathematical Thinking in Differential Equations Using a Computer Algebra System

ERIC Educational Resources Information Center

Zeynivandnezhad, Fereshteh; Bates, Rachel

2018-01-01

The importance of developing students' mathematical thinking is frequently highlighted in literature regarding the teaching and learning of mathematics. Despite this importance, most curricula and instructional activities for undergraduate mathematics fail to bring the learner beyond the mathematics. The purpose of this study was to enhance…

Influence of Writing Ability and Computation Skill on Mathematics Writing

ERIC Educational Resources Information Center

Powell, Sarah R.; Hebert, Michael A.

2016-01-01

Mathematics standards expect students to communicate about mathematics using oral and written methods, and some high-stakes assessments ask students to answer mathematics questions by writing. Assumptions about mathematics communication via writing include (a) students possess writing skill, (b) students can transfer this writing skill to…

Optical reversible programmable Boolean logic unit.

PubMed

Chattopadhyay, Tanay

2012-07-20

Computing with reversibility is the only way to avoid dissipation of energy associated with bit erase. So, a reversible microprocessor is required for future computing. In this paper, a design of a simple all-optical reversible programmable processor is proposed using a polarizing beam splitter, liquid crystal-phase spatial light modulators, a half-wave plate, and plane mirrors. This circuit can perform 16 logical operations according to three programming inputs. Also, inputs can be easily recovered from the outputs. It is named the "reversible programmable Boolean logic unit (RPBLU)." The logic unit is the basic building block of many complex computational operations. Hence the design is important in sense. Two orthogonally polarized lights are defined here as two logical states, respectively.

The Concentration Dependence of the (Delta)s Term in the Gibbs Free Energy Function: Application to Reversible Reactions in Biochemistry

ERIC Educational Resources Information Center

Gary, Ronald K.

2004-01-01

The concentration dependence of (delta)S term in the Gibbs free energy function is described in relation to its application to reversible reactions in biochemistry. An intuitive and non-mathematical argument for the concentration dependence of the (delta)S term in the Gibbs free energy equation is derived and the applicability of the equation to…

Performance on Monitoring Basic Skills Progress--Computation Probes in First, Second, and Third Grade: Is It a Predictor of Pennsylvania System of School Assessment Mathematics Achievement in Third Grade?

ERIC Educational Resources Information Center

Campbell, Adelle C.

2017-01-01

This study examined the predictive relationship of a brief computation measure administered in the fall, winter, and spring of first, second, and third grade with the mathematic portion of a state-mandated academic achievement test administered in the spring of third grade. The relationship between mathematical achievement and resource…

Mathematical Modeling of Diverse Phenomena

NASA Technical Reports Server (NTRS)

Howard, J. C.

1979-01-01

Tensor calculus is applied to the formulation of mathematical models of diverse phenomena. Aeronautics, fluid dynamics, and cosmology are among the areas of application. The feasibility of combining tensor methods and computer capability to formulate problems is demonstrated. The techniques described are an attempt to simplify the formulation of mathematical models by reducing the modeling process to a series of routine operations, which can be performed either manually or by computer.

Computer programs: Operational and mathematical, a compilation

NASA Technical Reports Server (NTRS)

1973-01-01

Several computer programs which are available through the NASA Technology Utilization Program are outlined. Presented are: (1) Computer operational programs which can be applied to resolve procedural problems swiftly and accurately. (2) Mathematical applications for the resolution of problems encountered in numerous industries. Although the functions which these programs perform are not new and similar programs are available in many large computer center libraries, this collection may be of use to centers with limited systems libraries and for instructional purposes for new computer operators.

34 CFR 280.40 - What costs are allowable?

Code of Federal Regulations, 2012 CFR

2012-07-01

... equipment (including computers) and the maintenance and operation of materials, equipment and computers. Any... related to improving student reading skills or knowledge of mathematics, science, history, geography... improving student reading skills or knowledge of mathematics, science, history, geography, English, foreign...

34 CFR 280.40 - What costs are allowable?

Code of Federal Regulations, 2014 CFR

2014-07-01

... equipment (including computers) and the maintenance and operation of materials, equipment and computers. Any... related to improving student reading skills or knowledge of mathematics, science, history, geography... improving student reading skills or knowledge of mathematics, science, history, geography, English, foreign...

34 CFR 280.40 - What costs are allowable?

Code of Federal Regulations, 2013 CFR

2013-07-01

... equipment (including computers) and the maintenance and operation of materials, equipment and computers. Any... related to improving student reading skills or knowledge of mathematics, science, history, geography... improving student reading skills or knowledge of mathematics, science, history, geography, English, foreign...

Teaching Mathematics: Computers in the Classroom.

ERIC Educational Resources Information Center

Borba, Marcelo C.

1995-01-01

Discusses some major changes that computers, calculators, and graphing calculators have brought to the mathematics classroom, including quasi-empirical studies in the classroom, use of multiple representations, emphasis on visualization, emphasis on tables, an altered classroom "ecology," and increasing complexity for students. (SR)

Automation of reliability evaluation procedures through CARE - The computer-aided reliability estimation program.

NASA Technical Reports Server (NTRS)

Mathur, F. P.

1972-01-01

Description of an on-line interactive computer program called CARE (Computer-Aided Reliability Estimation) which can model self-repair and fault-tolerant organizations and perform certain other functions. Essentially CARE consists of a repository of mathematical equations defining the various basic redundancy schemes. These equations, under program control, are then interrelated to generate the desired mathematical model to fit the architecture of the system under evaluation. The mathematical model is then supplied with ground instances of its variables and is then evaluated to generate values for the reliability-theoretic functions applied to the model.

Intra-mathematical connections made by high school students in performing Calculus tasks

NASA Astrophysics Data System (ADS)

García-García, Javier; Dolores-Flores, Crisólogo

2018-02-01

In this article, we report the results of research that explores the intra-mathematical connections that high school students make when they solve Calculus tasks, in particular those involving the derivative and the integral. We consider mathematical connections as a cognitive process through which a person relates or associates two or more ideas, concepts, definitions, theorems, procedures, representations and meanings among themselves, with other disciplines or with real life. Task-based interviews were used to collect data and thematic analysis was used to analyze them. Through the analysis of the productions of the 25 participants, we identified 223 intra-mathematical connections. The data allowed us to establish a mathematical connections system which contributes to the understanding of higher concepts, in our case, the Fundamental Theorem of Calculus. We found mathematical connections of the types: different representations, procedural, features, reversibility and meaning as a connection.

GVIPS Models and Software

NASA Technical Reports Server (NTRS)

Arnold, Steven M.; Gendy, Atef; Saleeb, Atef F.; Mark, John; Wilt, Thomas E.

2007-01-01

Two reports discuss, respectively, (1) the generalized viscoplasticity with potential structure (GVIPS) class of mathematical models and (2) the Constitutive Material Parameter Estimator (COMPARE) computer program. GVIPS models are constructed within a thermodynamics- and potential-based theoretical framework, wherein one uses internal state variables and derives constitutive equations for both the reversible (elastic) and the irreversible (viscoplastic) behaviors of materials. Because of the underlying potential structure, GVIPS models not only capture a variety of material behaviors but also are very computationally efficient. COMPARE comprises (1) an analysis core and (2) a C++-language subprogram that implements a Windows-based graphical user interface (GUI) for controlling the core. The GUI relieves the user of the sometimes tedious task of preparing data for the analysis core, freeing the user to concentrate on the task of fitting experimental data and ultimately obtaining a set of material parameters. The analysis core consists of three modules: one for GVIPS material models, an analysis module containing a specialized finite-element solution algorithm, and an optimization module. COMPARE solves the problem of finding GVIPS material parameters in the manner of a design-optimization problem in which the parameters are the design variables.

Cheaper Adjoints by Reversing Address Computations

DOE PAGES

Hascoët, L.; Utke, J.; Naumann, U.

2008-01-01

The reverse mode of automatic differentiation is widely used in science and engineering. A severe bottleneck for the performance of the reverse mode, however, is the necessity to recover certain intermediate values of the program in reverse order. Among these values are computed addresses, which traditionally are recovered through forward recomputation and storage in memory. We propose an alternative approach for recovery that uses inverse computation based on dependency information. Address storage constitutes a significant portion of the overall storage requirements. An example illustrates substantial gains that the proposed approach yields, and we show use cases in practical applications.

Using the TouchMath Program to Teach Mathematical Computation to At-Risk Students and Students with Disabilities

ERIC Educational Resources Information Center

Ellingsen, Ryleigh; Clinton, Elias

2017-01-01

This manuscript reviews the empirical literature of the TouchMath© instructional program. The TouchMath© program is a commercial mathematics series that uses a dot notation system to provide multisensory instruction of computation skills. Using the program, students are taught to solve computational tasks in a multisensory manner that does not…

The Use of Computers in High Schools. Technical Report Number Eight.

ERIC Educational Resources Information Center

Crick, Joe E.; Stolurow, Lawrence M.

This paper reports on one high school's experience with a project to teach students how to program and solve problems in mathematics using a computer. Part I is intended as a general guide for any high school administrator or mathematics instructor who is interested in exploring the installation of a computer terminal in his high school and wants…

Terrestrial implications of mathematical modeling developed for space biomedical research

NASA Technical Reports Server (NTRS)

Lujan, Barbara F.; White, Ronald J.; Leonard, Joel I.; Srinivasan, R. Srini

1988-01-01

This paper summarizes several related research projects supported by NASA which seek to apply computer models to space medicine and physiology. These efforts span a wide range of activities, including mathematical models used for computer simulations of physiological control systems; power spectral analysis of physiological signals; pattern recognition models for detection of disease processes; and computer-aided diagnosis programs.

Higher Mathematics Education at a Distance: The Use of Computers at the Open University of the Netherlands.

ERIC Educational Resources Information Center

Hummel, Hans G. K.; Smit, Herjan

1996-01-01

Describes mathematics courses developed for guided self-study at a distance. The courses incorporate new educational media and special didactic techniques. Provides details about how a computer can be used in such a setting, and focuses on a computer practical examination used for an advanced course in Fourier transforms. (27 references) (DDR)

The Effects of Pedagogical Agents on Mathematics Anxiety and Mathematics Learning

ERIC Educational Resources Information Center

Wei, Quan

2010-01-01

The purpose of this study was to investigate the impact of the mathematics anxiety treatment messages in a computer-based environment on ninth-grade students' mathematics anxiety and mathematics learning. The study also examined whether the impact of the treatment messages would be differentiated by learner's gender and by learner's prior…

Pre Service Teachers' Usage of Dynamic Mathematics Software

ERIC Educational Resources Information Center

Bulut, Mehmet; Bulut, Neslihan

2011-01-01

Aim of this study is about mathematics education and dynamic mathematics software. Dynamic mathematics software provides new opportunities for using both computer algebra system and dynamic geometry software. GeoGebra selected as dynamic mathematics software in this research. In this study, it is investigated that what is the usage of pre service…

College Preparatory Mathematics: Change from Within.

ERIC Educational Resources Information Center

Kysh, Judith M.

1995-01-01

The College Preparatory Mathematics: Change from Within Project (CPM) was created to develop a rich, integrated mathematics curriculum, based on the best current wisdom of how people learn and the mathematics needed in an era of computers, and involving teachers in materials development. (MKR)

Implementing an Effective Mathematics Fact Fluency Practice Activity

ERIC Educational Resources Information Center

Riccomini, Paul J.; Stocker, James D., Jr.; Morano, Stephanie

2017-01-01

Proficiency in mathematics involves the seamless synchronization of conceptual understanding, procedural knowledge, computational fluency, and problem solving (NMAP, 2008). Clearly, fluency with mathematics facts is one element embedded within mathematical proficiency and important for students with disabilities to develop. As more and more…

Robust Constrained Blackbox Optimization with Surrogates

DTIC Science & Technology

2015-05-21

algorithms with OPAL . Mathematical Programming Computation, 6(3):233–254, 2014. 6. M.S. Ouali, H. Aoudjit, and C. Audet. Replacement scheduling of a fleet of...Orban. Optimization of Algorithms with OPAL . Mathematical Programming Computation, 6(3), 233-254, September 2014. DISTRIBUTION A: Distribution

75 FR 15675 - Professional Research Experience Program in Chemical Science and Technology Laboratory...

Federal Register 2010, 2011, 2012, 2013, 2014

2010-03-30

... in physics, chemistry, mathematics, computer science, or engineering. Institutions should have a 4..., mathematics, computer science, or engineering with work experiences in laboratories or other settings...-0141-01] Professional Research Experience Program in Chemical Science and Technology Laboratory...

Mathemagical Computing: Order of Operations and New Software.

ERIC Educational Resources Information Center

Ecker, Michael W.

1989-01-01

Describes mathematical problems which occur when using the computer as a calculator. Considers errors in BASIC calculation and the order of mathematical operations. Identifies errors in spreadsheet and calculator programs. Comments on sorting programs and provides a source for Mathemagical Black Holes. (MVL)

Undergraduate Training for Industrial Careers.

ERIC Educational Resources Information Center

Stehney, Ann K.

1983-01-01

Forty-eight mathematicians in industry, business, and government replied to a questionnaire on the relative merits of the traditional undergraduate curriculum, advanced topics in pure mathematics, computer programing, additional computer science, and specialized or applied topics. They favored programing and applied mathematics, along with a…

Crossing over...Markov meets Mendel.

PubMed

Mneimneh, Saad

2012-01-01

Chromosomal crossover is a biological mechanism to combine parental traits. It is perhaps the first mechanism ever taught in any introductory biology class. The formulation of crossover, and resulting recombination, came about 100 years after Mendel's famous experiments. To a great extent, this formulation is consistent with the basic genetic findings of Mendel. More importantly, it provides a mathematical insight for his two laws (and corrects them). From a mathematical perspective, and while it retains similarities, genetic recombination guarantees diversity so that we do not rapidly converge to the same being. It is this diversity that made the study of biology possible. In particular, the problem of genetic mapping and linkage-one of the first efforts towards a computational approach to biology-relies heavily on the mathematical foundation of crossover and recombination. Nevertheless, as students we often overlook the mathematics of these phenomena. Emphasizing the mathematical aspect of Mendel's laws through crossover and recombination will prepare the students to make an early realization that biology, in addition to being experimental, IS a computational science. This can serve as a first step towards a broader curricular transformation in teaching biological sciences. I will show that a simple and modern treatment of Mendel's laws using a Markov chain will make this step possible, and it will only require basic college-level probability and calculus. My personal teaching experience confirms that students WANT to know Markov chains because they hear about them from bioinformaticists all the time. This entire exposition is based on three homework problems that I designed for a course in computational biology. A typical reader is, therefore, an instructional staff member or a student in a computational field (e.g., computer science, mathematics, statistics, computational biology, bioinformatics). However, other students may easily follow by omitting the mathematically more elaborate parts. I kept those as separate sections in the exposition.

Crossing Over…Markov Meets Mendel

PubMed Central

Mneimneh, Saad

2012-01-01

Chromosomal crossover is a biological mechanism to combine parental traits. It is perhaps the first mechanism ever taught in any introductory biology class. The formulation of crossover, and resulting recombination, came about 100 years after Mendel's famous experiments. To a great extent, this formulation is consistent with the basic genetic findings of Mendel. More importantly, it provides a mathematical insight for his two laws (and corrects them). From a mathematical perspective, and while it retains similarities, genetic recombination guarantees diversity so that we do not rapidly converge to the same being. It is this diversity that made the study of biology possible. In particular, the problem of genetic mapping and linkage—one of the first efforts towards a computational approach to biology—relies heavily on the mathematical foundation of crossover and recombination. Nevertheless, as students we often overlook the mathematics of these phenomena. Emphasizing the mathematical aspect of Mendel's laws through crossover and recombination will prepare the students to make an early realization that biology, in addition to being experimental, IS a computational science. This can serve as a first step towards a broader curricular transformation in teaching biological sciences. I will show that a simple and modern treatment of Mendel's laws using a Markov chain will make this step possible, and it will only require basic college-level probability and calculus. My personal teaching experience confirms that students WANT to know Markov chains because they hear about them from bioinformaticists all the time. This entire exposition is based on three homework problems that I designed for a course in computational biology. A typical reader is, therefore, an instructional staff member or a student in a computational field (e.g., computer science, mathematics, statistics, computational biology, bioinformatics). However, other students may easily follow by omitting the mathematically more elaborate parts. I kept those as separate sections in the exposition. PMID:22629235

Girls back off mathematics again: the views and experiences of girls in computer-based mathematics

NASA Astrophysics Data System (ADS)

Vale, Colleen

2002-12-01

The views and experiences of girls in two co-educational mathematics classrooms in which computers were regularly used were researched. Data were collected by observation and videotaping of lessons, questionnaire, and interviews of students and the teachers. In this paper case studies of six girls are presented. Their `stories' reveal a diversity of experiences and views and multiple gender identities. High achieving girls persisted as "outsiders within," other girls "backed off", and exceptional girls challenged gender stereotypes. Implications for social justice in mathematics in the age of the super highway are discussed.

Capability of GPGPU for Faster Thermal Analysis Used in Data Assimilation

NASA Astrophysics Data System (ADS)

Takaki, Ryoji; Akita, Takeshi; Shima, Eiji

A thermal mathematical model plays an important role in operations on orbit as well as spacecraft thermal designs. The thermal mathematical model has some uncertain thermal characteristic parameters, such as thermal contact resistances between components, effective emittances of multilayer insulation (MLI) blankets, discouraging make up efficiency and accuracy of the model. A particle filter which is one of successive data assimilation methods has been applied to construct spacecraft thermal mathematical models. This method conducts a lot of ensemble computations, which require large computational power. Recently, General Purpose computing in Graphics Processing Unit (GPGPU) has been attracted attention in high performance computing. Therefore GPGPU is applied to increase the computational speed of thermal analysis used in the particle filter. This paper shows the speed-up results by using GPGPU as well as the application method of GPGPU.

Engineering bacteria to solve the Burnt Pancake Problem

PubMed Central

Haynes, Karmella A; Broderick, Marian L; Brown, Adam D; Butner, Trevor L; Dickson, James O; Harden, W Lance; Heard, Lane H; Jessen, Eric L; Malloy, Kelly J; Ogden, Brad J; Rosemond, Sabriya; Simpson, Samantha; Zwack, Erin; Campbell, A Malcolm; Eckdahl, Todd T; Heyer, Laurie J; Poet, Jeffrey L

2008-01-01

Background We investigated the possibility of executing DNA-based computation in living cells by engineering Escherichia coli to address a classic mathematical puzzle called the Burnt Pancake Problem (BPP). The BPP is solved by sorting a stack of distinct objects (pancakes) into proper order and orientation using the minimum number of manipulations. Each manipulation reverses the order and orientation of one or more adjacent objects in the stack. We have designed a system that uses site-specific DNA recombination to mediate inversions of genetic elements that represent pancakes within plasmid DNA. Results Inversions (or "flips") of the DNA fragment pancakes are driven by the Salmonella typhimurium Hin/hix DNA recombinase system that we reconstituted as a collection of modular genetic elements for use in E. coli. Our system sorts DNA segments by inversions to produce different permutations of a promoter and a tetracycline resistance coding region; E. coli cells become antibiotic resistant when the segments are properly sorted. Hin recombinase can mediate all possible inversion operations on adjacent flippable DNA fragments. Mathematical modeling predicts that the system reaches equilibrium after very few flips, where equal numbers of permutations are randomly sorted and unsorted. Semiquantitative PCR analysis of in vivo flipping suggests that inversion products accumulate on a time scale of hours or days rather than minutes. Conclusion The Hin/hix system is a proof-of-concept demonstration of in vivo computation with the potential to be scaled up to accommodate larger and more challenging problems. Hin/hix may provide a flexible new tool for manipulating transgenic DNA in vivo. PMID:18492232

Competence with Fractions Predicts Gains in Mathematics Achievement

PubMed Central

Bailey, Drew H.; Hoard, Mary K.; Nugent, Lara; Geary, David C.

2012-01-01

Competence with fractions predicts later mathematics achievement, but the co-developmental pattern between fractions knowledge and mathematics achievement is not well understood. We assessed this co-development through examination of the cross-lagged relation between a measure of conceptual knowledge of fractions and mathematics achievement in sixth and seventh grade (n = 212). The cross-lagged effects indicated that performance on the sixth grade fractions concepts measure predicted one year gains in mathematics achievement (β = .14, p<.01), controlling for the central executive component of working memory and intelligence, but sixth grade mathematics achievement did not predict gains on the fractions concepts measure (β = .03, p>.50). In a follow-up assessment, we demonstrated that measures of fluency with computational fractions significantly predicted seventh grade mathematics achievement above and beyond the influence of fluency in computational whole number arithmetic, performance on number fluency and number line tasks, and central executive span and intelligence. Results provide empirical support for the hypothesis that competence with fractions underlies, in part, subsequent gains in mathematics achievement. PMID:22832199

46 CFR 162.060-26 - Land-based testing requirements.

Code of Federal Regulations, 2012 CFR

2012-10-01

.... (iv) The manufacturer of the BWMS must demonstrate by using mathematical modeling, computational fluid dynamics modeling, and/or by calculations, that any downscaling will not affect the ultimate functioning... mathematical and computational fluid dynamics modeling) must be clearly identified in the Experimental Design...

46 CFR 162.060-26 - Land-based testing requirements.

Code of Federal Regulations, 2014 CFR

2014-10-01

.... (iv) The manufacturer of the BWMS must demonstrate by using mathematical modeling, computational fluid dynamics modeling, and/or by calculations, that any downscaling will not affect the ultimate functioning... mathematical and computational fluid dynamics modeling) must be clearly identified in the Experimental Design...

46 CFR 162.060-26 - Land-based testing requirements.

Code of Federal Regulations, 2013 CFR

2013-10-01

.... (iv) The manufacturer of the BWMS must demonstrate by using mathematical modeling, computational fluid dynamics modeling, and/or by calculations, that any downscaling will not affect the ultimate functioning... mathematical and computational fluid dynamics modeling) must be clearly identified in the Experimental Design...

Multiplayer Activities That Develop Mathematical Coordination.

ERIC Educational Resources Information Center

Bricker, Lauren J.; Tanimoto, Steven L.; Rothenberg, Alex I.; Hutama, Danny C.; Wong, Tina H.

Four computer applications are presented that encourage students to develop "mathematical coordination"--the ability to manipulate numerical variables in cooperation with other students so as to achieve a definite goal. The programs enable a form of computer-supported cooperative learning (CSCL). This paper describes the rationale and…

Improving science and mathematics education with computational modelling in interactive engagement environments

NASA Astrophysics Data System (ADS)

Neves, Rui Gomes; Teodoro, Vítor Duarte

2012-09-01

A teaching approach aiming at an epistemologically balanced integration of computational modelling in science and mathematics education is presented. The approach is based on interactive engagement learning activities built around computational modelling experiments that span the range of different kinds of modelling from explorative to expressive modelling. The activities are designed to make a progressive introduction to scientific computation without requiring prior development of a working knowledge of programming, generate and foster the resolution of cognitive conflicts in the understanding of scientific and mathematical concepts and promote performative competency in the manipulation of different and complementary representations of mathematical models. The activities are supported by interactive PDF documents which explain the fundamental concepts, methods and reasoning processes using text, images and embedded movies, and include free space for multimedia enriched student modelling reports and teacher feedback. To illustrate, an example from physics implemented in the Modellus environment and tested in undergraduate university general physics and biophysics courses is discussed.

An Investigation of Teachers' Noticing, Cognitive Demand, and Mathematical Knowledge for Teaching: Video Reflections in an Elementary Mathematics Context

ERIC Educational Resources Information Center

Coddington, Lorelei R.

2014-01-01

In the past decade, mathematics performance by all students, especially minority students in low socioeconomic schools, has shown limited improvement nationwide (NCES, 2011). Traditionally in the United States, mathematics has consisted of arithmetic and computational fluency; however, mathematics researchers widely believe that this method of…

An Analysis of Mathematics Interventions: Increased Time-on-Task Compared with Computer-Assisted Mathematics Instruction

ERIC Educational Resources Information Center

Calhoun, James M., Jr.

2011-01-01

Student achievement is not progressing on mathematics as measured by state, national, and international assessments. Much of the research points to mathematics curriculum and instruction as the root cause of student failure to achieve at levels comparable to other nations. Since mathematics is regarded as a gate keeper to many educational…

An Exploratory Case Study of Computer Use in a Primary School Mathematics Classroom: New Technology, New Pedagogy? Research: Information and Communication Technologies

ERIC Educational Resources Information Center

Hardman, Joanne

2005-01-01

Because computers potentially transform pedagogy, much has been made of their ability to impact positively on student performance, particularly in subjects such as mathematics and science. However, there is currently a dearth of research regarding exactly how the computer acts as a transformative tool in disadvantaged schools. Drawing on a…

DURIP: High Performance Computing in Biomathematics Applications

DTIC Science & Technology

2017-05-10

Mathematics and Statistics (AMS) at the University of California, Santa Cruz (UCSC) to conduct research and research-related education in areas of...Computing in Biomathematics Applications Report Title The goal of this award was to enhance the capabilities of the Department of Applied Mathematics and...DURIP: High Performance Computing in Biomathematics Applications The goal of this award was to enhance the capabilities of the Department of Applied

Transactions of the Army Conference on Applied Mathematics and Computing (6th) Held in Boulder, Colorado on 31 May - 3 June 1988

DTIC Science & Technology

1989-02-01

North American algebraists, in academic mathematics departments, appear to have computer anxiety or computation anxiety . Conferences and...the Heaviside function of S[4,51. H(S)[(p+ Vov] =0 (1) D H(S)[ HRv + Vp = 0 (2) Dt where D 8 a -- = +3- (3) We nondimensionalize the equations by using

A Computer Based Education (CBE) Program for Middle School Mathematics Intervention

ERIC Educational Resources Information Center

Gulley, Bill

2009-01-01

A Computer Based Education (CBE) program for intervention mathematics was developed, used, and modified over a period of three years in a computer lab at an Arizona Title I middle school. The program is described along with a rationale for the need, design, and use of such a program. Data was collected in the third year and results of the program…

Mathematical models used in segmentation and fractal methods of 2-D ultrasound images

NASA Astrophysics Data System (ADS)

Moldovanu, Simona; Moraru, Luminita; Bibicu, Dorin

2012-11-01

Mathematical models are widely used in biomedical computing. The extracted data from images using the mathematical techniques are the "pillar" achieving scientific progress in experimental, clinical, biomedical, and behavioural researches. This article deals with the representation of 2-D images and highlights the mathematical support for the segmentation operation and fractal analysis in ultrasound images. A large number of mathematical techniques are suitable to be applied during the image processing stage. The addressed topics cover the edge-based segmentation, more precisely the gradient-based edge detection and active contour model, and the region-based segmentation namely Otsu method. Another interesting mathematical approach consists of analyzing the images using the Box Counting Method (BCM) to compute the fractal dimension. The results of the paper provide explicit samples performed by various combination of methods.

4th Annual Conference for African-American Researchers in the Mathematical Sciences (CAARMS4). Preliminary Program

DOE Office of Scientific and Technical Information (OSTI.GOV)

Tapia, Richard

1998-06-01

In June, The Center for Research on Parallel Computation (CRPC), an NSF-funded Science and Technology Center, hosted the 4th Annual Conference for African-American Reserachers in the Mathematical Sciences (CAARMS4) at Rice University. The main goal of this conference was to highlight current work by African-American researchers and graduate students in mathematics. This conference strengthened the mathematical sciences by encouraging the increased participation of African-American and underrepresented groups into the field, facilitating working relationships between them and helping to cultivate their careers. In addition to the talks there was a graduate student poster session and tutorials on topics in mathematics andmore » computer science. These talks, presentations, and discussions brought a broader perspective to the critical issues involving minority participation in mathematics.« less

The principle of acoustic time reversal and holography

NASA Astrophysics Data System (ADS)

Zverev, V. A.

2004-11-01

On the basis of earlier results (V. A. Zverev, Radiooptics (1975)), the principle of the time reversal of waves (TRW) with the use of a time-reversed signal is considered (M. Fink et al., Time-Reversed Acoustics, Rep. Prog. Phys. 63 (2000)). Both the common mathematical basis and the difference between the TRW and holography are revealed. The following conclusions are drawn: (i) to implement the TRW, it is necessary that the spatial and time coordinates be separated in the initial signal; (ii) two methods of implementing the TRW are possible, namely, the time reversal and the use of an inverse filter; (iii) certain differences exist in the spatial focusing by the TRW and holography; and (iv) on the basis of the theory developed, a numerical modeling of the TRW becomes possible.

Integrating First-Year Technology and Finite Mathematics Courses

ERIC Educational Resources Information Center

Shafii-Mousavi, Morteza; Kochanowski, Paul

2006-01-01

This paper describes an interdisciplinary project-based mathematics course linked to a computer technology course. The linkage encourages an appreciation of mathematics and technology as students see an immediate use for these skills in completing actual real-world projects. Linking mathematics and technology integrates subjects taught in…

Student Teachers' Mathematics Attitudes, Authentic Investigations and Use of Metacognitive Tools

ERIC Educational Resources Information Center

Afamasaga-Fuata'i, Karoline; Sooaemalelagi, Lumaava

2014-01-01

Based on findings from a semester-long study, this article examines the development of Samoan prospective teachers' mathematical understandings and mathematics attitudes when investigating authentic contexts and applying working mathematically processes, mental computations and problem-solving strategies to find solutions of problems. The…

Equity and Access: All Students Are Mathematical Problem Solvers

ERIC Educational Resources Information Center

Franz, Dana Pompkyl; Ivy, Jessica; McKissick, Bethany R.

2016-01-01

Often mathematical instruction for students with disabilities, especially those with learning disabilities, includes an overabundance of instruction on mathematical computation and does not include high-quality instruction on mathematical reasoning and problem solving. In fact, it is a common misconception that students with learning disabilities…

Impact of Interdisciplinary Undergraduate Research in Mathematics and Biology on the Development of a New Course Integrating Five STEM Disciplines

PubMed Central

Caudill, Lester; Hill, April; Lipan, Ovidiu

2010-01-01

Funded by innovative programs at the National Science Foundation and the Howard Hughes Medical Institute, University of Richmond faculty in biology, chemistry, mathematics, physics, and computer science teamed up to offer first- and second-year students the opportunity to contribute to vibrant, interdisciplinary research projects. The result was not only good science but also good science that motivated and informed course development. Here, we describe four recent undergraduate research projects involving students and faculty in biology, physics, mathematics, and computer science and how each contributed in significant ways to the conception and implementation of our new Integrated Quantitative Science course, a course for first-year students that integrates the material in the first course of the major in each of biology, chemistry, mathematics, computer science, and physics. PMID:20810953

Impact of Interdisciplinary Undergraduate Research in mathematics and biology on the development of a new course integrating five STEM disciplines.

PubMed

Caudill, Lester; Hill, April; Hoke, Kathy; Lipan, Ovidiu

2010-01-01

Funded by innovative programs at the National Science Foundation and the Howard Hughes Medical Institute, University of Richmond faculty in biology, chemistry, mathematics, physics, and computer science teamed up to offer first- and second-year students the opportunity to contribute to vibrant, interdisciplinary research projects. The result was not only good science but also good science that motivated and informed course development. Here, we describe four recent undergraduate research projects involving students and faculty in biology, physics, mathematics, and computer science and how each contributed in significant ways to the conception and implementation of our new Integrated Quantitative Science course, a course for first-year students that integrates the material in the first course of the major in each of biology, chemistry, mathematics, computer science, and physics.

A Comparative Analysis of a Generalized Lanchester Equation Model and a Stochastic Computer Simulation Model.

DTIC Science & Technology

1987-03-01

model is one in which words or numerical descriptions are used to represent an entity or process. An example of a symbolic model is a mathematical ...are the third type of model used in modeling combat attrition. Analytical models are symbolic models which use mathematical symbols and equations to...simplicity and the ease of tracing through the mathematical computations. In this section I will discuss some of the shortcoming which have been

Discrete mathematics course supported by CAS MATHEMATICA

NASA Astrophysics Data System (ADS)

Ivanov, O. A.; Ivanova, V. V.; Saltan, A. A.

2017-08-01

In this paper, we discuss examples of assignments for a course in discrete mathematics for undergraduate students majoring in business informatics. We consider several problems with computer-based solutions and discuss general strategies for using computers in teaching mathematics and its applications. In order to evaluate the effectiveness of our approach, we conducted an anonymous survey. The results of the survey provide evidence that our approach contributes to high outcomes and aligns with the course aims and objectives.

Mathematical challenges from theoretical/computational chemistry

DOE Office of Scientific and Technical Information (OSTI.GOV)

NONE

1995-12-31

The committee believes that this report has relevance and potentially valuable suggestions for a wide range of readers. Target audiences include: graduate departments in the mathematical and chemical sciences; federal and private agencies that fund research in the mathematical and chemical sciences; selected industrial and government research and development laboratories; developers of software and hardware for computational chemistry; and selected individual researchers. Chapter 2 of this report covers some history of computational chemistry for the nonspecialist, while Chapter 3 illustrates the fruits of some past successful cross-fertilization between mathematical scientists and computational/theoretical chemists. In Chapter 4 the committee has assembledmore » a representative, but not exhaustive, survey of research opportunities. Most of these are descriptions of important open problems in computational/theoretical chemistry that could gain much from the efforts of innovative mathematical scientists, written so as to be accessible introductions to the nonspecialist. Chapter 5 is an assessment, necessarily subjective, of cultural differences that must be overcome if collaborative work is to be encouraged between the mathematical and the chemical communities. Finally, the report ends with a brief list of conclusions and recommendations that, if followed, could promote accelerated progress at this interface. Recognizing that bothersome language issues can inhibit prospects for collaborative research at the interface between distinctive disciplines, the committee has attempted throughout to maintain an accessible style, in part by using illustrative boxes, and has included at the end of the report a glossary of technical terms that may be familiar to only a subset of the target audiences listed above.« less

Satellite orbit computation methods

NASA Technical Reports Server (NTRS)

1977-01-01

Mathematical and algorithmical techniques for solution of problems in satellite dynamics were developed, along with solutions to satellite orbit motion. Dynamical analysis of shuttle on-orbit operations were conducted. Computer software routines for use in shuttle mission planning were developed and analyzed, while mathematical models of atmospheric density were formulated.

Volunteered Cloud Computing for Disaster Management

NASA Astrophysics Data System (ADS)

Evans, J. D.; Hao, W.; Chettri, S. R.

2014-12-01

Disaster management relies increasingly on interpreting earth observations and running numerical models; which require significant computing capacity - usually on short notice and at irregular intervals. Peak computing demand during event detection, hazard assessment, or incident response may exceed agency budgets; however some of it can be met through volunteered computing, which distributes subtasks to participating computers via the Internet. This approach has enabled large projects in mathematics, basic science, and climate research to harness the slack computing capacity of thousands of desktop computers. This capacity is likely to diminish as desktops give way to battery-powered mobile devices (laptops, smartphones, tablets) in the consumer market; but as cloud computing becomes commonplace, it may offer significant slack capacity -- if its users are given an easy, trustworthy mechanism for participating. Such a "volunteered cloud computing" mechanism would also offer several advantages over traditional volunteered computing: tasks distributed within a cloud have fewer bandwidth limitations; granular billing mechanisms allow small slices of "interstitial" computing at no marginal cost; and virtual storage volumes allow in-depth, reversible machine reconfiguration. Volunteered cloud computing is especially suitable for "embarrassingly parallel" tasks, including ones requiring large data volumes: examples in disaster management include near-real-time image interpretation, pattern / trend detection, or large model ensembles. In the context of a major disaster, we estimate that cloud users (if suitably informed) might volunteer hundreds to thousands of CPU cores across a large provider such as Amazon Web Services. To explore this potential, we are building a volunteered cloud computing platform and targeting it to a disaster management context. Using a lightweight, fault-tolerant network protocol, this platform helps cloud users join parallel computing projects; automates reconfiguration of their virtual machines; ensures accountability for donated computing; and optimizes the use of "interstitial" computing. Initial applications include fire detection from multispectral satellite imagery and flood risk mapping through hydrological simulations.

Computer Language For Optimization Of Design

NASA Technical Reports Server (NTRS)

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.

Symbolic-Graphical Calculators: Teaching Tools for Mathematics.

ERIC Educational Resources Information Center

Dick, Thomas P.

1992-01-01

Explores the role that symbolic-graphical calculators can play in the current calls for reform in the mathematics curriculum. Discusses symbolic calculators and graphing calculators in relation to problem solving, computational skills, and mathematics instruction. (MDH)

A MATLAB-Aided Method for Teaching Calculus-Based Business Mathematics

ERIC Educational Resources Information Center

Liang, Jiajuan; Pan, William S. Y.

2009-01-01

MATLAB is a powerful package for numerical computation. MATLAB contains a rich pool of mathematical functions and provides flexible plotting functions for illustrating mathematical solutions. The course of calculus-based business mathematics consists of two major topics: 1) derivative and its applications in business; and 2) integration and its…

Computer Activities for College Algebra and Precalculus.

ERIC Educational Resources Information Center

White, Jacci Wozniak; Norwich, Vicki Howard

Mathematics software can be a great aid in understanding difficult mathematics concepts at all levels. This paper presents nine exercises on calculus concepts by using different software used in mathematics education. Each exercise includes instruction on how to use software in order to highlight a specific concept in mathematics. This paper also…

Enhancing Students' Understanding of Algebra Concepts through Cooperative Computer Instruction

ERIC Educational Resources Information Center

Gambari, Amos Isiaka; Shittu, Ahmed Tajudeen; Taiwo, Oladipupo Abimbola

2016-01-01

Values are the personal convictions which one finds important. Three different aspects which are associated with mathematics education differently are identified, namely, values through mathematics education, values of mathematics education, and values for mathematics. These are paired with Bishop's (1996) conceptions of general educational,…

Interactivity of Visual Mathematical Representations: Factors Affecting Learning and Cognitive Processes

ERIC Educational Resources Information Center

Sedig, Kamran; Liang, Hai-Ning

2006-01-01

Computer-based mathematical cognitive tools (MCTs) are a category of external aids intended to support and enhance learning and cognitive processes of learners. MCTs often contain interactive visual mathematical representations (VMRs), where VMRs are graphical representations that encode properties and relationships of mathematical concepts. In…

On the Shoulders of Giants: New Approaches to Numeracy.

ERIC Educational Resources Information Center

Steen, Lynn Arthur, Ed.

Forces created by the proliferation of computer hardware and software, by innovative methods of mathematical modelling and applications, by broader demographic considerations, and by schools themselves are profoundly changing the way mathematics is practiced, the way mathematics is taught, and the way mathematics is learned. In this volume, a…

An Innovative Learning Model for Computation in First Year Mathematics

ERIC Educational Resources Information Center

Tonkes, E. J.; Loch, B. I.; Stace, A. W.

2005-01-01

MATLAB is a sophisticated software tool for numerical analysis and visualization. The University of Queensland has adopted Matlab as its official teaching package across large first year mathematics courses. In the past, the package has met severe resistance from students who have not appreciated their computational experience. Several main…

Advanced Algebra and Calculus. High School Mathematics Curricula. Instructor's Guide.

ERIC Educational Resources Information Center

Natour, Denise M.

This manual is an instructor's guide for the utilization of the "CCA High School Mathematics Curricula: Advanced Algebra and Calculus" courseware developed by the Computer-based Education Research Laboratory (CERL). The curriculum comprises 34 algebra lessons within 12 units and 15 calculus lessons that are computer-based and require…

Research Area 3: Mathematical Sciences: 3.4, Discrete Mathematics and Computer Science

DTIC Science & Technology

2015-06-10

013-0043-1 Charles Chui, Hrushikesh Mhaskar. MRA contextual-recovery extension of smooth functions on manifolds, Applied and Computational Harmonic...753507. International Society for Optics and Photonics, 2010. [5] C. K. Chui and H. N. Mhaskar. MRA contextual-recovery extension of smooth functions on

Students' Use of Electronic Support Tools in Mathematics

ERIC Educational Resources Information Center

Crawford, Lindy; Higgins, Kristina N.; Huscroft-D'Angelo, Jacqueline N.; Hall, Lindsay

2016-01-01

This study investigated students' use of electronic support tools within a computer-based mathematics program. Electronic support tools are tools, such as hyperlinks or calculators, available within many computer-based instructional programs. A convenience sample of 73 students in grades 4-6 was selected to participate in the study. Students…

Graphing and Percentage Applications Using the Personal Computer.

ERIC Educational Resources Information Center

Innes, Jay

1985-01-01

The paper describes how "IBM Graphing Assistant" and "Apple Softgraph" can foster a multifaceted approach to application of mathematical concepts and how a survey can be undertaken using the computer as word processor, data bank, and source of visual displays. Mathematical skills reinforced include estimating, rounding, graphing, and solving…

A Relational Frame and Artificial Neural Network Approach to Computer-Interactive Mathematics

ERIC Educational Resources Information Center

Ninness, Chris; Rumph, Robin; McCuller, Glen; Vasquez III, Eleazar; Harrison, Carol; Ford, Angela M.; Capt, Ashley; Ninness, Sharon K.; Bradfield, Anna

2005-01-01

Fifteen participants unfamiliar with mathematical operations relative to reflections and vertical and horizontal shifts were exposed to an introductory lecture regarding the fundamentals of the rectangular coordinate system and the relationship between formulas and their graphed analogues. The lecture was followed immediately by computer-assisted…

Matter Gravitates, but Does Gravity Matter?

ERIC Educational Resources Information Center

Groetsch, C. W.

2011-01-01

The interplay of physical intuition, computational evidence, and mathematical rigor in a simple trajectory model is explored. A thought experiment based on the model is used to elicit student conjectures on the influence of a physical parameter; a mathematical model suggests a computational investigation of the conjectures, and rigorous analysis…

Proceedings, Conference on the Computing Environment for Mathematical Software

NASA Technical Reports Server (NTRS)

1981-01-01

Recent advances in software and hardware technology which make it economical to create computing environments appropriate for specialized applications are addressed. Topics included software tools, FORTRAN standards activity, and features of languages, operating systems, and hardware that are important for the development, testing, and maintenance of mathematical software.

Initiating a Programmatic Assessment Report

ERIC Educational Resources Information Center

Berkaliev, Zaur; Devi, Shavila; Fasshauer, Gregory E.; Hickernell, Fred J.; Kartal, Ozgul; Li, Xiaofan; McCray, Patrick; Whitney, Stephanie; Zawojewski, Judith S.

2014-01-01

In the context of a department of applied mathematics, a program assessment was conducted to assess the departmental goal of enabling undergraduate students to recognize, appreciate, and apply the power of computational tools in solving mathematical problems that cannot be solved by hand, or would require extensive and tedious hand computation. A…

Effects of Computer Algebra System (CAS) with Metacognitive Training on Mathematical Reasoning.

ERIC Educational Resources Information Center

Kramarski, Bracha; Hirsch, Chaya

2003-01-01

Describes a study that investigated the differential effects of Computer Algebra Systems (CAS) and metacognitive training (META) on mathematical reasoning. Participants were 83 Israeli eighth-grade students. Results showed that CAS embedded within META significantly outperformed the META and CAS alone conditions, which in turn significantly…

Development of an Intelligent Instruction System for Mathematical Computation

ERIC Educational Resources Information Center

Kim, Du Gyu; Lee, Jaemu

2013-01-01

In this paper, we propose the development of a web-based, intelligent instruction system to help elementary school students for mathematical computation. We concentrate on the intelligence facilities which support diagnosis and advice. The existing web-based instruction systems merely give information on whether the learners' replies are…

Teaching Mathematics Using a Computer Algebra.

ERIC Educational Resources Information Center

Westermann, Thomas

2001-01-01

Demonstrates the principal concept and the application of MAPLE in mathematical education in various examples. Discusses lengthy and abstract topics like the convergence of Fourier series to a given function, performs the visualization of the wave equation in the case of a vibrating string, and computes the oscillations of an idealized skyscraper…

A Flexible, Extensible Online Testing System for Mathematics

ERIC Educational Resources Information Center

Passmore, Tim; Brookshaw, Leigh; Butler, Harry

2011-01-01

An online testing system developed for entry-skills testing of first-year university students in algebra and calculus is described. The system combines the open-source computer algebra system "Maxima" with computer scripts to parse student answers, which are entered using standard mathematical notation and conventions. The answers can…

Teaching Mental Computation Strategies in Early Mathematics

ERIC Educational Resources Information Center

Heirdsfield, Ann Margaret

2011-01-01

Mental computation--that is, calculating in the head--is a relatively new topic in mathematics curricula for primary-age children. It is an important skill because it enables children to learn more deeply how numbers work, make decisions about procedures, and create strategies for calculating, thus promoting number sense--a well-developed…

Changes in Pre-Service Teachers' Algebraic Misconceptions by Using Computer-Assisted Instruction

ERIC Educational Resources Information Center

Lin, ByCheng-Yao; Ko, Yi-Yin; Kuo, Yu-Chun

2014-01-01

In order to carry out current reforms regarding algebra and technology in elementary school mathematics successfully, pre-service elementary mathematics teachers must be equipped with adequate understandings of algebraic concepts and self-confidence in using computers for their future teaching. This paper examines the differences in preservice…

Connecting Expectations and Values: Students' Perceptions of Developmental Mathematics in a Computer-Based Learning Environment

ERIC Educational Resources Information Center

Jackson, Karen Latrice Terrell

2014-01-01

Students' perceptions influence their expectations and values. According to Expectations and Values Theory of Achievement Motivation (EVT-AM), students' expectations and values impact their behaviors (Eccles & Wigfield, 2002). This study seeks to find students' perceptions of developmental mathematics in a mastery learning computer-based…

The Effect of Contextual Pedagogical Advisement and Competition on Middle-School Students' Attitude toward Mathematics and Mathematics Instruction Using a Computer-Based Simulation Game

ERIC Educational Resources Information Center

Van Eck, Richard

2006-01-01

Many students enter mathematics courses with a poor attitude toward mathematics (Gal & Ginsburg, 1994), making attitude as important a consideration as achievement in mathematics (Cognition and Technology Group at Vanderbilt (CTGV), 1992; Marsh, Cairns, Relich, Barnes, & Debus, 1984; Sedighian & Sedighian, 1996). Pedagogical agents are often…

12 CFR Appendix K to Part 226 - Total Annual Loan Cost Rate Computations for Reverse Mortgage Transactions

Code of Federal Regulations, 2011 CFR

2011-01-01

... Reverse Mortgage Transactions K Appendix K to Part 226 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM TRUTH IN LENDING (REGULATION Z) Pt. 226, App. K Appendix K to Part 226—Total Annual Loan Cost Rate Computations for Reverse Mortgage Transactions (a...

12 CFR Appendix K to Part 226 - Total Annual Loan Cost Rate Computations for Reverse Mortgage Transactions

Code of Federal Regulations, 2012 CFR

2012-01-01

... Reverse Mortgage Transactions K Appendix K to Part 226 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM TRUTH IN LENDING (REGULATION Z) Pt. 226, App. K Appendix K to Part 226—Total Annual Loan Cost Rate Computations for Reverse Mortgage Transactions (a...

12 CFR Appendix K to Part 226 - Total Annual Loan Cost Rate Computations for Reverse Mortgage Transactions

Code of Federal Regulations, 2010 CFR

2010-01-01

... Reverse Mortgage Transactions K Appendix K to Part 226 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM TRUTH IN LENDING (REGULATION Z) Pt. 226, App. K Appendix K to Part 226—Total Annual Loan Cost Rate Computations for Reverse Mortgage Transactions (a...

Measuring Technological and Content Knowledge of Undergraduate Primary Teachers in Mathematics

NASA Astrophysics Data System (ADS)

Doukakis, Spyros; Chionidou-Moskofoglou, Maria; Mangina-Phelan, Eleni; Roussos, Petros

Twenty-five final-year undergraduate students of primary education who were attending a course on mathematics education participated in a research project during the 2009 spring semester. A repeated measures experimental design was used. Quantitative data on students' computer attitudes, self-efficacy in ICT, attitudes toward educational software, and self-efficacy in maths were collected. Data analysis showed a statistically non-significant improvement on participants' computer attitudes and self-efficacy in ICT and ES, but a significant improvement of self-efficacy in mathematics.

Quantum vertex model for reversible classical computing.

PubMed

Chamon, C; Mucciolo, E R; Ruckenstein, A E; Yang, Z-C

2017-05-12

Mappings of classical computation onto statistical mechanics models have led to remarkable successes in addressing some complex computational problems. However, such mappings display thermodynamic phase transitions that may prevent reaching solution even for easy problems known to be solvable in polynomial time. Here we map universal reversible classical computations onto a planar vertex model that exhibits no bulk classical thermodynamic phase transition, independent of the computational circuit. Within our approach the solution of the computation is encoded in the ground state of the vertex model and its complexity is reflected in the dynamics of the relaxation of the system to its ground state. We use thermal annealing with and without 'learning' to explore typical computational problems. We also construct a mapping of the vertex model into the Chimera architecture of the D-Wave machine, initiating an approach to reversible classical computation based on state-of-the-art implementations of quantum annealing.

Quantum vertex model for reversible classical computing

NASA Astrophysics Data System (ADS)

Chamon, C.; Mucciolo, E. R.; Ruckenstein, A. E.; Yang, Z.-C.

2017-05-01

Mappings of classical computation onto statistical mechanics models have led to remarkable successes in addressing some complex computational problems. However, such mappings display thermodynamic phase transitions that may prevent reaching solution even for easy problems known to be solvable in polynomial time. Here we map universal reversible classical computations onto a planar vertex model that exhibits no bulk classical thermodynamic phase transition, independent of the computational circuit. Within our approach the solution of the computation is encoded in the ground state of the vertex model and its complexity is reflected in the dynamics of the relaxation of the system to its ground state. We use thermal annealing with and without `learning' to explore typical computational problems. We also construct a mapping of the vertex model into the Chimera architecture of the D-Wave machine, initiating an approach to reversible classical computation based on state-of-the-art implementations of quantum annealing.

Mathematical techniques: A compilation

NASA Technical Reports Server (NTRS)

1975-01-01

Articles on theoretical and applied mathematics are introduced. The articles cover information that might be of interest to workers in statistics and information theory, computational aids that could be used by scientists and engineers, and mathematical techniques for design and control.

Design and evaluation of the computer-based training program Calcularis for enhancing numerical cognition

PubMed Central

Käser, Tanja; Baschera, Gian-Marco; Kohn, Juliane; Kucian, Karin; Richtmann, Verena; Grond, Ursina; Gross, Markus; von Aster, Michael

2013-01-01

This article presents the design and a first pilot evaluation of the computer-based training program Calcularis for children with developmental dyscalculia (DD) or difficulties in learning mathematics. The program has been designed according to insights on the typical and atypical development of mathematical abilities. The learning process is supported through multimodal cues, which encode different properties of numbers. To offer optimal learning conditions, a user model completes the program and allows flexible adaptation to a child's individual learning and knowledge profile. Thirty-two children with difficulties in learning mathematics completed the 6–12-weeks computer training. The children played the game for 20 min per day for 5 days a week. The training effects were evaluated using neuropsychological tests. Generally, children benefited significantly from the training regarding number representation and arithmetic operations. Furthermore, children liked to play with the program and reported that the training improved their mathematical abilities. PMID:23935586

Rational Design of an Ultrasensitive Quorum-Sensing Switch.

PubMed

Zeng, Weiqian; Du, Pei; Lou, Qiuli; Wu, Lili; Zhang, Haoqian M; Lou, Chunbo; Wang, Hongli; Ouyang, Qi

2017-08-18

One of the purposes of synthetic biology is to develop rational methods that accelerate the design of genetic circuits, saving time and effort spent on experiments and providing reliably predictable circuit performance. We applied a reverse engineering approach to design an ultrasensitive transcriptional quorum-sensing switch. We want to explore how systems biology can guide synthetic biology in the choice of specific DNA sequences and their regulatory relations to achieve a targeted function. The workflow comprises network enumeration that achieves the target function robustly, experimental restriction of the obtained candidate networks, global parameter optimization via mathematical analysis, selection and engineering of parts based on these calculations, and finally, circuit construction based on the principles of standardization and modularization. The performance of realized quorum-sensing switches was in good qualitative agreement with the computational predictions. This study provides practical principles for the rational design of genetic circuits with targeted functions.

Reverse engineering of the homogeneous-entity product profiles based on CCD

NASA Astrophysics Data System (ADS)

Gan, Yong; Zhong, Jingru; Sun, Ning; Sun, Aoran

2011-08-01

This measurement system uses delaminated measurement principle, measures the three perpendicular direction values of the entities. When the measured entity is immerged in the liquid layer by layer, every layer's image are collected by CCD and digitally processed. It introduces the basic measuring principle and the working process of the measure method. According to Archimedes law, the related buoyancy and volume that soaked in different layer's depth are measured by electron balance and the mathematics models are established. Through calculating every layer's weight and centre of gravity by computer based on the method of Artificial Intelligence, we can reckon 3D coordinate values of every minute entity cell in different layers and its 3D contour picture is constructed. The experimental results show that for all the homogeneous entity insoluble in water, it can measure them. The measurement velocity is fast and non-destructive test, it can measure the entity with internal hole.

How to turn a genetic circuit into a synthetic tunable oscillator, or a bistable switch.

PubMed

Marucci, Lucia; Barton, David A W; Cantone, Irene; Ricci, Maria Aurelia; Cosma, Maria Pia; Santini, Stefania; di Bernardo, Diego; di Bernardo, Mario

2009-12-07

Systems and Synthetic Biology use computational models of biological pathways in order to study in silico the behaviour of biological pathways. Mathematical models allow to verify biological hypotheses and to predict new possible dynamical behaviours. Here we use the tools of non-linear analysis to understand how to change the dynamics of the genes composing a novel synthetic network recently constructed in the yeast Saccharomyces cerevisiae for In-vivo Reverse-engineering and Modelling Assessment (IRMA). Guided by previous theoretical results that make the dynamics of a biological network depend on its topological properties, through the use of simulation and continuation techniques, we found that the network can be easily turned into a robust and tunable synthetic oscillator or a bistable switch. Our results provide guidelines to properly re-engineering in vivo the network in order to tune its dynamics.

Reversible Data Hiding Based on DNA Computing

PubMed Central

Xie, Yingjie

2017-01-01

Biocomputing, especially DNA, computing has got great development. It is widely used in information security. In this paper, a novel algorithm of reversible data hiding based on DNA computing is proposed. Inspired by the algorithm of histogram modification, which is a classical algorithm for reversible data hiding, we combine it with DNA computing to realize this algorithm based on biological technology. Compared with previous results, our experimental results have significantly improved the ER (Embedding Rate). Furthermore, some PSNR (peak signal-to-noise ratios) of test images are also improved. Experimental results show that it is suitable for protecting the copyright of cover image in DNA-based information security. PMID:28280504

Research in progress and other activities of the Institute for Computer Applications in Science and Engineering

NASA Technical Reports Server (NTRS)

1993-01-01

This report summarizes research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics and computer science during the period April 1, 1993 through September 30, 1993. The major categories of the current ICASE research program are: (1) applied and numerical mathematics, including numerical analysis and algorithm development; (2) theoretical and computational research in fluid mechanics in selected areas of interest to LaRC, including acoustic and combustion; (3) experimental research in transition and turbulence and aerodynamics involving LaRC facilities and scientists; and (4) computer science.

A Stone or a Sculpture? It Is All in Your Perception

ERIC Educational Resources Information Center

Naresh, Nirmala

2015-01-01

Workplace mathematics, a subgroup of research on everyday mathematics and ethnomathematics documents the mathematical activities of both adults and children outside school settings. In this paper, I document the mental mathematical activities of a group of bus conductors in Chennai, India. I draw into the research areas of mental computation and…

Could Elementary Mathematics Textbooks Help Give Attention to Reasons in the Classroom?

ERIC Educational Resources Information Center

Newton, Douglas P.; Newton, Lynn D.

2007-01-01

Trainee teachers, new and non-specialist teachers of elementary mathematics have a tendency to avoid thought about reasons in mathematics. Instead, they tend to favour the development of computational skill through the rote application of procedures, routines and algorithms. Could elementary mathematics textbooks serve as models of practice and…

An Investigation into Pre-Service Special Education Teachers' Mathematical Skills, Self-Efficacy, and Teaching Methodology

ERIC Educational Resources Information Center

Hinton, Vanessa; Flores, Margaret; Burton, Megan; Curtis, Rebecca

2015-01-01

The purpose of this mixed method study was to investigate future special education teachers' preparation for effectively teaching mathematics. During the last semester of their program, pre-service special education teachers completed elementary level mathematics computation and problem solving assessments, a mathematics efficacy beliefs survey,…

An Examination of the Relationship between Computation, Problem Solving, and Reading

ERIC Educational Resources Information Center

Cormier, Damien C.; Yeo, Seungsoo; Christ, Theodore J.; Offrey, Laura D.; Pratt, Katherine

2016-01-01

The purpose of this study is to evaluate the relationship of mathematics calculation rate (curriculum-based measurement of mathematics; CBM-M), reading rate (curriculum-based measurement of reading; CBM-R), and mathematics application and problem solving skills (mathematics screener) among students at four levels of proficiency on a statewide…

Orthogonal Reflections on Computer Microworlds, Constructivism, Play and Mathematical Understanding.

ERIC Educational Resources Information Center

Kieren, Thomas E.

1994-01-01

Comments on the Fractions Project presented in this same issue. Discusses two major ideas: the construction of mathematics of children and its basis and playful actions as a basis for mathematical actions. Highlights the understanding of children's mathematical concepts and schemes as they grow and are organized in the context of computer…

Competence with fractions predicts gains in mathematics achievement.

PubMed

Bailey, Drew H; Hoard, Mary K; Nugent, Lara; Geary, David C

2012-11-01

Competence with fractions predicts later mathematics achievement, but the codevelopmental pattern between fractions knowledge and mathematics achievement is not well understood. We assessed this codevelopment through examination of the cross-lagged relation between a measure of conceptual knowledge of fractions and mathematics achievement in sixth and seventh grades (N=212). The cross-lagged effects indicated that performance on the sixth grade fractions concepts measure predicted 1-year gains in mathematics achievement (ß=.14, p<.01), controlling for the central executive component of working memory and intelligence, but sixth grade mathematics achievement did not predict gains on the fractions concepts measure (ß=.03, p>.50). In a follow-up assessment, we demonstrated that measures of fluency with computational fractions significantly predicted seventh grade mathematics achievement above and beyond the influence of fluency in computational whole number arithmetic, performance on number fluency and number line tasks, central executive span, and intelligence. Results provide empirical support for the hypothesis that competence with fractions underlies, in part, subsequent gains in mathematics achievement. Copyright © 2012 Elsevier Inc. All rights reserved.

Reverse logistics network for municipal solid waste management: The inclusion of waste pickers as a Brazilian legal requirement.

PubMed

Ferri, Giovane Lopes; Chaves, Gisele de Lorena Diniz; Ribeiro, Glaydston Mattos

2015-06-01

This study proposes a reverse logistics network involved in the management of municipal solid waste (MSW) to solve the challenge of economically managing these wastes considering the recent legal requirements of the Brazilian Waste Management Policy. The feasibility of the allocation of MSW material recovery facilities (MRF) as intermediate points between the generators of these wastes and the options for reuse and disposal was evaluated, as well as the participation of associations and cooperatives of waste pickers. This network was mathematically modelled and validated through a scenario analysis of the municipality of São Mateus, which makes the location model more complete and applicable in practice. The mathematical model allows the determination of the number of facilities required for the reverse logistics network, their location, capacities, and product flows between these facilities. The fixed costs of installation and operation of the proposed MRF were balanced with the reduction of transport costs, allowing the inclusion of waste pickers to the reverse logistics network. The main contribution of this study lies in the proposition of a reverse logistics network for MSW simultaneously involving legal, environmental, economic and social criteria, which is a very complex goal. This study can guide practices in other countries that have realities similar to those in Brazil of accelerated urbanisation without adequate planning for solid waste management, added to the strong presence of waste pickers that, through the characteristic of social vulnerability, must be included in the system. In addition to the theoretical contribution to the reverse logistics network problem, this study aids in decision-making for public managers who have limited technical and administrative capacities for the management of solid wastes. Copyright © 2015 Elsevier Ltd. All rights reserved.

The Effect of a Math Emporium Course Redesign in Developmental and Introductory Mathematics Courses on Student Achievement and Students' Attitudes toward Mathematics at a Two-Year College

ERIC Educational Resources Information Center

Bishop, Amy Renee

2010-01-01

The purpose of this research was to determine the effect of computer-based instruction on student mathematics achievement and students' attitudes toward mathematics in developmental and introductory mathematics courses, namely Elementary Algebra, Intermediate Algebra, and College Algebra, at a community college. The researcher also examined the…

Science modelling in pre-calculus: how to make mathematics problems contextually meaningful

NASA Astrophysics Data System (ADS)

Sokolowski, Andrzej; Yalvac, Bugrahan; Loving, Cathleen

2011-04-01

'Use of mathematical representations to model and interpret physical phenomena and solve problems is one of the major teaching objectives in high school math curriculum' (National Council of Teachers of Mathematics (NCTM), Principles and Standards for School Mathematics, NCTM, Reston, VA, 2000). Commonly used pre-calculus textbooks provide a wide range of application problems. However, these problems focus students' attention on evaluating or solving pre-arranged formulas for given values. The role of scientific content is reduced to provide a background for these problems instead of being sources of data gathering for inducing mathematical tools. Students are neither required to construct mathematical models based on the contexts nor are they asked to validate or discuss the limitations of applied formulas. Using these contexts, the instructor may think that he/she is teaching problem solving, where in reality he/she is teaching algorithms of the mathematical operations (G. Kulm (ed.), New directions for mathematics assessment, in Assessing Higher Order Thinking in Mathematics, Erlbaum, Hillsdale, NJ, 1994, pp. 221-240). Without a thorough representation of the physical phenomena and the mathematical modelling processes undertaken, problem solving unintentionally appears as simple algorithmic operations. In this article, we deconstruct the representations of mathematics problems from selected pre-calculus textbooks and explicate their limitations. We argue that the structure and content of those problems limits students' coherent understanding of mathematical modelling, and this could result in weak student problem-solving skills. Simultaneously, we explore the ways to enhance representations of those mathematical problems, which we have characterized as lacking a meaningful physical context and limiting coherent student understanding. In light of our discussion, we recommend an alternative to strengthen the process of teaching mathematical modelling - utilization of computer-based science simulations. Although there are several exceptional computer-based science simulations designed for mathematics classes (see, e.g. Kinetic Book (http://www.kineticbooks.com/) or Gizmos (http://www.explorelearning.com/)), we concentrate mainly on the PhET Interactive Simulations developed at the University of Colorado at Boulder (http://phet.colorado.edu/) in generating our argument that computer simulations more accurately represent the contextual characteristics of scientific phenomena than their textual descriptions.

Extending compile-time reverse mode and exploiting partial separability in ADIFOR

DOE Office of Scientific and Technical Information (OSTI.GOV)

Bischof, C.H.; El-Khadiri, M.

1992-10-01

The numerical methods employed in the solution of many scientific computing problems require the computation of the gradient of a function f: R[sup n] [yields] R. ADIFOR is a source translator that, given a collection of subroutines to compute f, generates Fortran 77 code for computing the derivative of this function. Using the so-called torsion problem from the MINPACK-2 test collection as an example, this paper explores two issues in automatic differentiation: the efficient computation of derivatives for partial separable functions and the use of the compile-time reverse mode for the generation of derivatives. We show that orders of magnitudesmore » of improvement are possible when exploiting partial separability and maximizing use of the reverse mode.« less

Constructing Contracts: Making Discrete Mathematics Relevant to Beginning Programmers

ERIC Educational Resources Information Center

Gegg-Harrison, Timothy S.

2005-01-01

Although computer scientists understand the importance of discrete mathematics to the foundations of their field, computer science (CS) students do not always see the relevance. Thus, it is important to find a way to show students its relevance. The concept of program correctness is generally taught as an activity independent of the programming…

Implementing a Game for Supporting Learning in Mathematics

ERIC Educational Resources Information Center

Katmada, Aikaterini; Mavridis, Apostolos; Tsiatsos, Thrasyvoulos

2014-01-01

This paper focuses on the design, implementation and evaluation of an online game for elementary and middle school mathematics. Its aim is twofold: (a) the development of the prototype of a flexible and adaptable computer game, and (b) the evaluation of this prototype, as to its usability and technical aspects. The particular computer game was…

Modeling Students' Problem Solving Performance in the Computer-Based Mathematics Learning Environment

ERIC Educational Resources Information Center

Lee, Young-Jin

2017-01-01

Purpose: The purpose of this paper is to develop a quantitative model of problem solving performance of students in the computer-based mathematics learning environment. Design/methodology/approach: Regularized logistic regression was used to create a quantitative model of problem solving performance of students that predicts whether students can…

Teachers' Use of Computational Tools to Construct and Explore Dynamic Mathematical Models

ERIC Educational Resources Information Center

Santos-Trigo, Manuel; Reyes-Rodriguez, Aaron

2011-01-01

To what extent does the use of computational tools offer teachers the possibility of constructing dynamic models to identify and explore diverse mathematical relations? What ways of reasoning or thinking about the problems emerge during the model construction process that involves the use of the tools? These research questions guided the…

High Level Technology in a Low Level Mathematics Course.

ERIC Educational Resources Information Center

Schultz, James E.; Noguera, Norma

2000-01-01

Describes a teaching experiment in which spreadsheets and computer algebra systems were used to teach a low-level college consumer mathematics course. Students were successful in using different types of functions to solve a variety of problems drawn from real-world situations. Provides an existence proof that computer algebra systems can assist…

The Influence of Test Mode and Visuospatial Ability on Mathematics Assessment Performance

ERIC Educational Resources Information Center

Logan, Tracy

2015-01-01

Mathematics assessment and testing are increasingly situated within digital environments with international tests moving to computer-based testing in the near future. This paper reports on a secondary data analysis which explored the influence the mode of assessment--computer-based (CBT) and pencil-and-paper based (PPT)--and visuospatial ability…

Algebraic Functions, Computer Programming, and the Challenge of Transfer

ERIC Educational Resources Information Center

Schanzer, Emmanuel Tanenbaum

2015-01-01

Students' struggles with algebra are well documented. Prior to the introduction of functions, mathematics is typically focused on applying a set of arithmetic operations to compute an answer. The introduction of functions, however, marks the point at which mathematics begins to focus on building up abstractions as a way to solve complex problems.…

Artificial Intelligence, Computational Thinking, and Mathematics Education

ERIC Educational Resources Information Center

Gadanidis, George

2017-01-01

Purpose: The purpose of this paper is to examine the intersection of artificial intelligence (AI), computational thinking (CT), and mathematics education (ME) for young students (K-8). Specifically, it focuses on three key elements that are common to AI, CT and ME: agency, modeling of phenomena and abstracting concepts beyond specific instances.…

Application of Computer Aided Mathematics Teaching in a Secondary School

ERIC Educational Resources Information Center

Yenitepe, Mehmet Emin; Karadag, Zekeriya

2003-01-01

This is a case study that examines the effect of using presentations developed by teacher in addition to using commercially produced educational software CD-ROM in Audio-Visual Room/Computer Laboratory after classroom teaching, on students' academic achievement, as a method of Teaching Mathematics compared with only classroom teaching or after…

Improving the Fraction Word Problem Solving of Students with Mathematics Learning Disabilities: Interactive Computer Application

ERIC Educational Resources Information Center

Shin, Mikyung; Bryant, Diane P.

2017-01-01

Students with mathematics learning disabilities (MLD) have a weak understanding of fraction concepts and skills, which are foundations of algebra. Such students might benefit from computer-assisted instruction that utilizes evidence-based instructional components (cognitive strategies, feedback, virtual manipulatives). As a pilot study using a…

Effective Computer-Aided Assessment of Mathematics; Principles, Practice and Results

ERIC Educational Resources Information Center

Greenhow, Martin

2015-01-01

This article outlines some key issues for writing effective computer-aided assessment (CAA) questions in subjects with substantial mathematical or statistical content, especially the importance of control of random parameters and the encoding of wrong methods of solution (mal-rules) commonly used by students. The pros and cons of using CAA and…

Computational Modeling and Mathematics Applied to the Physical Sciences.

ERIC Educational Resources Information Center

National Academy of Sciences - National Research Council, Washington, DC.

One aim of this report is to show and emphasize that in the computational approaches to most of today's pressing and challenging scientific and technological problems, the mathematical aspects cannot and should not be considered in isolation. Following an introductory chapter, chapter 2 discusses a number of typical problems leading to…

Sign Language for K-8 Mathematics by 3D Interactive Animation

ERIC Educational Resources Information Center

Adamo-Villani, Nicoletta; Doublestein, John; Martin, Zachary

2005-01-01

We present a new highly interactive computer animation tool to increase the mathematical skills of deaf children. We aim at increasing the effectiveness of (hearing) parents in teaching arithmetic to their deaf children, and the opportunity of deaf children to learn arithmetic via interactive media. Using state-of-the-art computer animation…

Does Computer Use Promote the Mathematical Proficiency of ELL Students?

ERIC Educational Resources Information Center

Kim, Sunha; Chang, Mido

2010-01-01

The study explored the effects of computer use on the mathematical performance of students with special attention to ELL students. To achieve a high generalizability of findings, the study used a U.S. nationally representative database, the Early Childhood Longitudinal Survey Kindergarten Cohort (ECLS-K), and adopted proper weights. The study…

Mathematical Language Development and Talk Types in Computer Supported Collaborative Learning Environments

ERIC Educational Resources Information Center

Symons, Duncan; Pierce, Robyn

2015-01-01

In this study we examine the use of cumulative and exploratory talk types in a year 5 computer supported collaborative learning environment. The focus for students in this environment was to participate in mathematical problem solving, with the intention of developing the proficiencies of problem solving and reasoning. Findings suggest that…

Effective Teacher Qualities from International Mathematics, Science, and Computer Teachers' Perspectives

ERIC Educational Resources Information Center

Sahin, Alpaslan; Adiguzel, Tufan

2014-01-01

The purpose of this study is to investigate how international teachers, who were from overseas but taught in the United States, rate effective teacher qualities in three domains; personal, professional, and classroom management skills. The study includes 130 international mathematics, science, and computer teachers who taught in a multi-school…

Science-Technology Coupling: The Case of Mathematical Logic and Computer Science.

ERIC Educational Resources Information Center

Wagner-Dobler, Roland

1997-01-01

In the history of science, there have often been periods of sudden rapprochements between pure science and technology-oriented branches of science. Mathematical logic as pure science and computer science as technology-oriented science have experienced such a rapprochement, which is studied in this article in a bibliometric manner. (Author)

Maple (Computer Algebra System) in Teaching Pre-Calculus: Example of Absolute Value Function

ERIC Educational Resources Information Center

Tuluk, Güler

2014-01-01

Modules in Computer Algebra Systems (CAS) make Mathematics interesting and easy to understand. The present study focused on the implementation of the algebraic, tabular (numerical), and graphical approaches used for the construction of the concept of absolute value function in teaching mathematical content knowledge along with Maple 9. The study…

Gender Differences in Preschool Children's Recall of Competitive and Noncompetitive Computer Mathematics Games

ERIC Educational Resources Information Center

Wei, Fang-Yi Flora; Hendrix, Katherine Grace

2009-01-01

This study investigated whether competitive and noncompetitive educational mathematics computer games influence four- to seven-year-old boys' and girls' recall of game-playing experience. A qualitative analysis was performed to investigate what preschool children may have learned through their selective recall of game-playing experience. A…

Computer Mathematics Games and Conditions for Enhancing Young Children's Learning of Number Sense

ERIC Educational Resources Information Center

Kermani, Hengameh

2017-01-01

Purpose: The present study was designed to examine whether mathematics computer games improved young children's learning of number sense under three different conditions: when used individually, with a peer, and with teacher facilitation. Methodology: This study utilized a mixed methodology, collecting both quantitative and qualitative data. A…

Developing a TI-92 Manual Generator Based on Computer Algebra Systems

ERIC Educational Resources Information Center

Jun, Youngcook

2004-01-01

The electronic medium suitable for mathematics learning and teaching is often designed with a notebook interface provided in a computer algebra system. Such a notebook interface facilitates a workspace for mathematical activities along with an online help system. In this paper, the proposed feature is implemented in the Mathematica's notebook…

Inquiry Based-Computational Experiment, Acquisition of Threshold Concepts and Argumentation in Science and Mathematics Education

ERIC Educational Resources Information Center

Psycharis, Sarantos

2016-01-01

Computational experiment approach considers models as the fundamental instructional units of Inquiry Based Science and Mathematics Education (IBSE) and STEM Education, where the model take the place of the "classical" experimental set-up and simulation replaces the experiment. Argumentation in IBSE and STEM education is related to the…

A one-model approach based on relaxed combinations of inputs for evaluating input congestion in DEA

NASA Astrophysics Data System (ADS)

Khodabakhshi, Mohammad

2009-08-01

This paper provides a one-model approach of input congestion based on input relaxation model developed in data envelopment analysis (e.g. [G.R. Jahanshahloo, M. Khodabakhshi, Suitable combination of inputs for improving outputs in DEA with determining input congestion -- Considering textile industry of China, Applied Mathematics and Computation (1) (2004) 263-273; G.R. Jahanshahloo, M. Khodabakhshi, Determining assurance interval for non-Archimedean ele improving outputs model in DEA, Applied Mathematics and Computation 151 (2) (2004) 501-506; M. Khodabakhshi, A super-efficiency model based on improved outputs in data envelopment analysis, Applied Mathematics and Computation 184 (2) (2007) 695-703; M. Khodabakhshi, M. Asgharian, An input relaxation measure of efficiency in stochastic data analysis, Applied Mathematical Modelling 33 (2009) 2010-2023]. This approach reduces solving three problems with the two-model approach introduced in the first of the above-mentioned reference to two problems which is certainly important from computational point of view. The model is applied to a set of data extracted from ISI database to estimate input congestion of 12 Canadian business schools.

THRESHOLD LOGIC IN ARTIFICIAL INTELLIGENCE

DTIC Science & Technology

COMPUTER LOGIC, ARTIFICIAL INTELLIGENCE , BIONICS, GEOMETRY, INPUT OUTPUT DEVICES, LINEAR PROGRAMMING, MATHEMATICAL LOGIC, MATHEMATICAL PREDICTION, NETWORKS, PATTERN RECOGNITION, PROBABILITY, SWITCHING CIRCUITS, SYNTHESIS

Reversibility and energy dissipation in adiabatic superconductor logic.

PubMed

Takeuchi, Naoki; Yamanashi, Yuki; Yoshikawa, Nobuyuki

2017-03-06

Reversible computing is considered to be a key technology to achieve an extremely high energy efficiency in future computers. In this study, we investigated the relationship between reversibility and energy dissipation in adiabatic superconductor logic. We analyzed the evolution of phase differences of Josephson junctions in the reversible quantum-flux-parametron (RQFP) gate and confirmed that the phase differences can change time reversibly, which indicates that the RQFP gate is physically, as well as logically, reversible. We calculated energy dissipation required for the RQFP gate to perform a logic operation and numerically demonstrated that the energy dissipation can fall below the thermal limit, or the Landauer bound, by lowering operation frequencies. We also investigated the 1-bit-erasure gate as a logically irreversible gate and the quasi-RQFP gate as a physically irreversible gate. We calculated the energy dissipation of these irreversible gates and showed that the energy dissipation of these gate is dominated by non-adiabatic state changes, which are induced by unwanted interactions between gates due to logical or physical irreversibility. Our results show that, in reversible computing using adiabatic superconductor logic, logical and physical reversibility are required to achieve energy dissipation smaller than the Landauer bound without non-adiabatic processes caused by gate interactions.

Evolutionary optimization with data collocation for reverse engineering of biological networks.

PubMed

Tsai, Kuan-Yao; Wang, Feng-Sheng

2005-04-01

Modern experimental biology is moving away from analyses of single elements to whole-organism measurements. Such measured time-course data contain a wealth of information about the structure and dynamic of the pathway or network. The dynamic modeling of the whole systems is formulated as a reverse problem that requires a well-suited mathematical model and a very efficient computational method to identify the model structure and parameters. Numerical integration for differential equations and finding global parameter values are still two major challenges in this field of the parameter estimation of nonlinear dynamic biological systems. We compare three techniques of parameter estimation for nonlinear dynamic biological systems. In the proposed scheme, the modified collocation method is applied to convert the differential equations to the system of algebraic equations. The observed time-course data are then substituted into the algebraic system equations to decouple system interactions in order to obtain the approximate model profiles. Hybrid differential evolution (HDE) with population size of five is able to find a global solution. The method is not only suited for parameter estimation but also can be applied for structure identification. The solution obtained by HDE is then used as the starting point for a local search method to yield the refined estimates.

Unified path integral approach to theories of diffusion-influenced reactions

NASA Astrophysics Data System (ADS)

Prüstel, Thorsten; Meier-Schellersheim, Martin

2017-08-01

Building on mathematical similarities between quantum mechanics and theories of diffusion-influenced reactions, we develop a general approach for computational modeling of diffusion-influenced reactions that is capable of capturing not only the classical Smoluchowski picture but also alternative theories, as is here exemplified by a volume reactivity model. In particular, we prove the path decomposition expansion of various Green's functions describing the irreversible and reversible reaction of an isolated pair of molecules. To this end, we exploit a connection between boundary value and interaction potential problems with δ - and δ'-function perturbation. We employ a known path-integral-based summation of a perturbation series to derive a number of exact identities relating propagators and survival probabilities satisfying different boundary conditions in a unified and systematic manner. Furthermore, we show how the path decomposition expansion represents the propagator as a product of three factors in the Laplace domain that correspond to quantities figuring prominently in stochastic spatially resolved simulation algorithms. This analysis will thus be useful for the interpretation of current and the design of future algorithms. Finally, we discuss the relation between the general approach and the theory of Brownian functionals and calculate the mean residence time for the case of irreversible and reversible reactions.

Inverse scattering theory: Inverse scattering series method for one dimensional non-compact support potential

DOE Office of Scientific and Technical Information (OSTI.GOV)

Yao, Jie, E-mail: yjie2@uh.edu; Lesage, Anne-Cécile; Hussain, Fazle

2014-12-15

The reversion of the Born-Neumann series of the Lippmann-Schwinger equation is one of the standard ways to solve the inverse acoustic scattering problem. One limitation of the current inversion methods based on the reversion of the Born-Neumann series is that the velocity potential should have compact support. However, this assumption cannot be satisfied in certain cases, especially in seismic inversion. Based on the idea of distorted wave scattering, we explore an inverse scattering method for velocity potentials without compact support. The strategy is to decompose the actual medium as a known single interface reference medium, which has the same asymptoticmore » form as the actual medium and a perturbative scattering potential with compact support. After introducing the method to calculate the Green’s function for the known reference potential, the inverse scattering series and Volterra inverse scattering series are derived for the perturbative potential. Analytical and numerical examples demonstrate the feasibility and effectiveness of this method. Besides, to ensure stability of the numerical computation, the Lanczos averaging method is employed as a filter to reduce the Gibbs oscillations for the truncated discrete inverse Fourier transform of each order. Our method provides a rigorous mathematical framework for inverse acoustic scattering with a non-compact support velocity potential.« less

REVIEWS OF TOPICAL PROBLEMS: Analytic calculations on digital computers for applications in physics and mathematics

NASA Astrophysics Data System (ADS)

Gerdt, V. P.; Tarasov, O. V.; Shirkov, Dmitrii V.

1980-01-01

The present state of analytic calculations on computers is reviewed. Several programming systems which are used for analytic calculations are discussed: SCHOONSCHIP, CLAM, REDUCE-2, SYMBAL, CAMAL, AVTO-ANALITIK, MACSYMA, etc. It is shown that these systems can be used to solve a wide range of problems in physics and mathematics. Some physical applications are discussed in celestial mechanics, the general theory of relativity, quantum field theory, plasma physics, hydrodynamics, atomic and molecular physics, and quantum chemistry. Some mathematical applications which are discussed are evaluating indefinite integrals, solving differential equations, and analyzing mathematical expressions. This review is addressed to physicists and mathematicians working in a wide range of fields.

Design of a reversible single precision floating point subtractor.

PubMed

Anantha Lakshmi, Av; Sudha, Gf

2014-01-04

In recent years, Reversible logic has emerged as a major area of research due to its ability to reduce the power dissipation which is the main requirement in the low power digital circuit design. It has wide applications like low power CMOS design, Nano-technology, Digital signal processing, Communication, DNA computing and Optical computing. Floating-point operations are needed very frequently in nearly all computing disciplines, and studies have shown floating-point addition/subtraction to be the most used floating-point operation. However, few designs exist on efficient reversible BCD subtractors but no work on reversible floating point subtractor. In this paper, it is proposed to present an efficient reversible single precision floating-point subtractor. The proposed design requires reversible designs of an 8-bit and a 24-bit comparator unit, an 8-bit and a 24-bit subtractor, and a normalization unit. For normalization, a 24-bit Reversible Leading Zero Detector and a 24-bit reversible shift register is implemented to shift the mantissas. To realize a reversible 1-bit comparator, in this paper, two new 3x3 reversible gates are proposed The proposed reversible 1-bit comparator is better and optimized in terms of the number of reversible gates used, the number of transistor count and the number of garbage outputs. The proposed work is analysed in terms of number of reversible gates, garbage outputs, constant inputs and quantum costs. Using these modules, an efficient design of a reversible single precision floating point subtractor is proposed. Proposed circuits have been simulated using Modelsim and synthesized using Xilinx Virtex5vlx30tff665-3. The total on-chip power consumed by the proposed 32-bit reversible floating point subtractor is 0.410 W.

Experimental Mathematics and Mathematical Physics

DOE Office of Scientific and Technical Information (OSTI.GOV)

Bailey, David H.; Borwein, Jonathan M.; Broadhurst, David

2009-06-26

One of the most effective techniques of experimental mathematics is to compute mathematical entities such as integrals, series or limits to high precision, then attempt to recognize the resulting numerical values. Recently these techniques have been applied with great success to problems in mathematical physics. Notable among these applications are the identification of some key multi-dimensional integrals that arise in Ising theory, quantum field theory and in magnetic spin theory.

Longitudinal associations between reading and mathematics achievement.

PubMed

Grimm, Kevin J

2008-01-01

The association between early reading skills and changes in mathematics was examined in a large, low-income sample to determine whether students who have a greater level of reading skills in early elementary school exhibit more rapid gains in tests of mathematics. The longitudinal associations between third grade reading comprehension and changes in three components of mathematics achievement (Problem Solving and Data Interpretation, Mathematical Concepts and Estimation, Mathematical Computation) from third through eighth grade were examined. Latent growth models were fit to the repeated assessments of each mathematics component and the students' third grade reading and global mathematics scores were included as predictors of the intercept and slope. Gender, poverty status, and ethnicity were included in the models as control variables. The results showed males and African-American students tended to have shallower rates of change than females and non-African-American/non-Hispanic students. In terms of the effect of reading on changes in mathematics, third grade reading comprehension was found to be a positive significant predictor of change for each component of mathematics, suggesting students with a greater level of reading achievement in early elementary school change more rapidly in mathematics skills controlling for prior mathematics skills and student characteristics. The largest effects were shown for the Problem Solving and Data Interpretation test, a test focused on the applications of mathematics knowledge, and the Mathematical Concepts and Estimation test. Negligible effects were found for changes in Mathematical Computation. Thus, early reading comprehension was shown to be related to a conceptual understanding of mathematics and the application of mathematics knowledge. These findings lend support for the notion that early reading skills are important for success in mathematics.

Using CAS to Solve a Mathematics Task: A Deconstruction

ERIC Educational Resources Information Center

Berger, Margot

2010-01-01

I investigate how and whether a heterogeneous group of first-year university mathematics students in South Africa harness the potential power of a computer algebra system (CAS) when doing a specific mathematics task. In order to do this, I develop a framework for deconstructing a mathematics task requiring the use of CAS, into its primary…

Using Dynamic Software in Mathematics: The Case of Reflection Symmetry

ERIC Educational Resources Information Center

Tatar, Enver; Akkaya, Adnan; Kagizmanli, Türkan Berrin

2014-01-01

This study was carried out to examine the effects of computer-assisted instruction (CAI) using dynamic software on the achievement of students in mathematics in the topic of reflection symmetry. The study also aimed to ascertain the pre-service mathematics teachers' opinions on the use of CAI in mathematics lessons. In the study, a mixed research…

Using the Computer Algebra System "Maple" to Generate Research Questions for Pre-Service Teachers in a Capstone Course

ERIC Educational Resources Information Center

Farley, Rosemary Carroll

2013-01-01

At Manhattan College, secondary mathematics education students take a capstone course designed specifically for them. In this course, students revisit important topics in the high school curriculum from a mathematically advanced perspective; incorporating the mathematical knowledge they have attained in their college mathematics classes to an…

Mathematics and My Career. A Collection of Essays.

ERIC Educational Resources Information Center

Turner, Nura Dorothea Rains, Ed.

The essays in this booklet have been written by persons who had ranked in the top one percent of the 1958-60 Upstate New York Mathematical Association of America Contests. Personal accounts are given of the role of mathematics in the authors' education and career. The careers described include applied mathematics, computer research and programing,…

Promoting Access to Common Core Mathematics for Students with Severe Disabilities through Mathematical Problem Solving

ERIC Educational Resources Information Center

Spooner, Fred; Saunders, Alicia; Root, Jenny; Brosh, Chelsi

2017-01-01

There is a need to teach the pivotal skill of mathematical problem solving to students with severe disabilities, moving beyond basic skills like computation to higher level thinking skills. Problem solving is emphasized as a Standard for Mathematical Practice in the Common Core State Standards across grade levels. This article describes a…

The mathematical theory of signal processing and compression-designs

NASA Astrophysics Data System (ADS)

Feria, Erlan H.

2006-05-01

The mathematical theory of signal processing, named processor coding, will be shown to inherently arise as the computational time dual of Shannon's mathematical theory of communication which is also known as source coding. Source coding is concerned with signal source memory space compression while processor coding deals with signal processor computational time compression. Their combination is named compression-designs and referred as Conde in short. A compelling and pedagogically appealing diagram will be discussed highlighting Conde's remarkable successful application to real-world knowledge-aided (KA) airborne moving target indicator (AMTI) radar.

High-precision arithmetic in mathematical physics

DOE PAGES

Bailey, David H.; Borwein, Jonathan M.

2015-05-12

For many scientific calculations, particularly those involving empirical data, IEEE 32-bit floating-point arithmetic produces results of sufficient accuracy, while for other applications IEEE 64-bit floating-point is more appropriate. But for some very demanding applications, even higher levels of precision are often required. Furthermore, this article discusses the challenge of high-precision computation, in the context of mathematical physics, and highlights what facilities are required to support future computation, in light of emerging developments in computer architecture.

Comparing computer adaptive and curriculum-based measures of math in progress monitoring.

PubMed

Shapiro, Edward S; Dennis, Minyi Shih; Fu, Qiong

2015-12-01

The purpose of the study was to compare the use of a Computer Adaptive Test and Curriculum-Based Measurement in the assessment of mathematics. This study also investigated the degree to which slope or rate of change predicted student outcomes on the annual state assessment of mathematics above and beyond scores of single point screening assessments (i.e., the computer adaptive test or the CBM assessment just before the administration of the state assessment). Repeated measurement of mathematics once per month across a 7-month period using a Computer Adaptive Test (STAR-Math) and Curriculum-Based Measurement (CBM, AIMSweb Math Computation, AIMSweb Math Concepts/Applications) was collected for a maximum total of 250 third, fourth, and fifth grade students. Results showed STAR-Math in all 3 grades and AIMSweb Math Concepts/Applications in the third and fifth grades had primarily linear growth patterns in mathematics. AIMSweb Math Computation in all grades and AIMSweb Math Concepts/Applications in Grade 4 had decelerating positive trends. Predictive validity evidence showed the strongest relationships were between STAR-Math and outcomes for third and fourth grade students. The blockwise multiple regression by grade revealed that slopes accounted for only a very small proportion of additional variance above and beyond what was explained by the scores obtained on a single point of assessment just prior to the administration of the state assessment. (c) 2015 APA, all rights reserved).

Using Computational and Mechanical Models to Study Animal Locomotion

PubMed Central

Miller, Laura A.; Goldman, Daniel I.; Hedrick, Tyson L.; Tytell, Eric D.; Wang, Z. Jane; Yen, Jeannette; Alben, Silas

2012-01-01

Recent advances in computational methods have made realistic large-scale simulations of animal locomotion possible. This has resulted in numerous mathematical and computational studies of animal movement through fluids and over substrates with the purpose of better understanding organisms’ performance and improving the design of vehicles moving through air and water and on land. This work has also motivated the development of improved numerical methods and modeling techniques for animal locomotion that is characterized by the interactions of fluids, substrates, and structures. Despite the large body of recent work in this area, the application of mathematical and numerical methods to improve our understanding of organisms in the context of their environment and physiology has remained relatively unexplored. Nature has evolved a wide variety of fascinating mechanisms of locomotion that exploit the properties of complex materials and fluids, but only recently are the mathematical, computational, and robotic tools available to rigorously compare the relative advantages and disadvantages of different methods of locomotion in variable environments. Similarly, advances in computational physiology have only recently allowed investigators to explore how changes at the molecular, cellular, and tissue levels might lead to changes in performance at the organismal level. In this article, we highlight recent examples of how computational, mathematical, and experimental tools can be combined to ultimately answer the questions posed in one of the grand challenges in organismal biology: “Integrating living and physical systems.” PMID:22988026

The mathematical and computer modeling of the worm tool shaping

NASA Astrophysics Data System (ADS)

Panchuk, K. L.; Lyashkov, A. A.; Ayusheev, T. V.

2017-06-01

Traditionally mathematical profiling of the worm tool is carried out on the first T. Olivier method, known in the theory of gear gearings, with receiving an intermediate surface of the making lath. It complicates process of profiling and its realization by means of computer 3D-modeling. The purpose of the work is the improvement of mathematical model of profiling and its realization based on the methods of 3D-modeling. Research problems are: receiving of the mathematical model of profiling which excludes the presence of the making lath in it; realization of the received model by means of frame and superficial modeling; development and approbation of technology of solid-state modeling for the solution of the problem of profiling. As the basic, the kinematic method of research of the mutually envelope surfaces is accepted. Computer research is executed by means of CAD based on the methods of 3D-modeling. We have developed mathematical model of profiling of the worm tool; frame, superficial and solid-state models of shaping of the mutually enveloping surfaces of the detail and the tool are received. The offered mathematical models and the technologies of 3D-modeling of shaping represent tools for theoretical and experimental profiling of the worm tool. The results of researches can be used at design of metal-cutting tools.

Invasion emerges from cancer cell adaptation to competitive microenvironments: Quantitative predictions from multiscale mathematical models

PubMed Central

Rejniak, Katarzyna A.; Gerlee, Philip

2013-01-01

Summary In this review we summarize our recent efforts using mathematical modeling and computation to simulate cancer invasion, with a special emphasis on the tumor microenvironment. We consider cancer progression as a complex multiscale process and approach it with three single-cell based mathematical models that examine the interactions between tumor microenvironment and cancer cells at several scales. The models exploit distinct mathematical and computational techniques, yet they share core elements and can be compared and/or related to each other. The overall aim of using mathematical models is to uncover the fundamental mechanisms that lend cancer progression its direction towards invasion and metastasis. The models effectively simulate various modes of cancer cell adaptation to the microenvironment in a growing tumor. All three point to a general mechanism underlying cancer invasion: competition for adaptation between distinct cancer cell phenotypes, driven by a tumor microenvironment with scarce resources. These theoretical predictions pose an intriguing experimental challenge: test the hypothesis that invasion is an emergent property of cancer cell populations adapting to selective microenvironment pressure, rather than culmination of cancer progression producing cells with the “invasive phenotype”. In broader terms, we propose that fundamental insights into cancer can be achieved by experimentation interacting with theoretical frameworks provided by computational and mathematical modeling. PMID:18524624

From boring to scoring - a collaborative serious game for learning and practicing mathematical logic for computer science education

NASA Astrophysics Data System (ADS)

Schäfer, Andreas; Holz, Jan; Leonhardt, Thiemo; Schroeder, Ulrik; Brauner, Philipp; Ziefle, Martina

2013-06-01

In this study, we address the problem of low retention and high dropout rates of computer science university students in early semesters of the studies. Complex and high abstract mathematical learning materials have been identified as one reason for the dropout rate. In order to support the understanding and practicing of core mathematical concepts, we developed a game-based multitouch learning environment in which the need for a suitable learning environment for mathematical logic was combined with the ability to train cooperation and collaboration in a learning scenario. As application domain, the field of mathematical logic had been chosen. The development process was accomplished along three steps: First, ethnographic interviews were run with 12 students of computer science revealing typical problems with mathematical logic. Second, a multitouch learning environment was developed. The game consists of multiple learning and playing modes in which teams of students can collaborate or compete against each other. Finally, a twofold evaluation of the environment was carried out (user study and cognitive walk-through). Overall, the evaluation showed that the game environment was easy to use and rated as helpful: The chosen approach of a multiplayer game supporting competition, collaboration, and cooperation is perceived as motivating and "fun."

Math is Functional! A Math Fair for Kids.

ERIC Educational Resources Information Center

Reys, Barbara J.; Wasman, Deanna G.

1998-01-01

Describes a mathematics fair prepared by the University of Missouri Mathematics Teachers Organization (UM2TO) which includes games involving numbers and computation, logic puzzles, geometry and spatial-visualization exploration, and probability and statistics activities. Presents tips for developing a mathematics fair. (ASK)

34 CFR 691.17 - Determination of eligible majors.

Code of Federal Regulations, 2010 CFR

2010-07-01

... majors in the physical, life, or computer sciences, mathematics, technology, engineering, critical... EDUCATION, DEPARTMENT OF EDUCATION ACADEMIC COMPETITIVENESS GRANT (ACG) AND NATIONAL SCIENCE AND MATHEMATICS... years of study in mathematics and three years of study in the sciences, with a laboratory component in...

Characterizing Interaction with Visual Mathematical Representations

ERIC Educational Resources Information Center

Sedig, Kamran; Sumner, Mark

2006-01-01

This paper presents a characterization of computer-based interactions by which learners can explore and investigate visual mathematical representations (VMRs). VMRs (e.g., geometric structures, graphs, and diagrams) refer to graphical representations that visually encode properties and relationships of mathematical structures and concepts.…

De novo reconstruction of gene regulatory networks from time series data, an approach based on formal methods.

PubMed

Ceccarelli, Michele; Cerulo, Luigi; Santone, Antonella

2014-10-01

Reverse engineering of gene regulatory relationships from genomics data is a crucial task to dissect the complex underlying regulatory mechanism occurring in a cell. From a computational point of view the reconstruction of gene regulatory networks is an undetermined problem as the large number of possible solutions is typically high in contrast to the number of available independent data points. Many possible solutions can fit the available data, explaining the data equally well, but only one of them can be the biologically true solution. Several strategies have been proposed in literature to reduce the search space and/or extend the amount of independent information. In this paper we propose a novel algorithm based on formal methods, mathematically rigorous techniques widely adopted in engineering to specify and verify complex software and hardware systems. Starting with a formal specification of gene regulatory hypotheses we are able to mathematically prove whether a time course experiment belongs or not to the formal specification, determining in fact whether a gene regulation exists or not. The method is able to detect both direction and sign (inhibition/activation) of regulations whereas most of literature methods are limited to undirected and/or unsigned relationships. We empirically evaluated the approach on experimental and synthetic datasets in terms of precision and recall. In most cases we observed high levels of accuracy outperforming the current state of art, despite the computational cost increases exponentially with the size of the network. We made available the tool implementing the algorithm at the following url: http://www.bioinformatics.unisannio.it. Copyright © 2014 Elsevier Inc. All rights reserved.

Extending compile-time reverse mode and exploiting partial separability in ADIFOR. ADIFOR Working Note No. 7

DOE Office of Scientific and Technical Information (OSTI.GOV)

Bischof, C.H.; El-Khadiri, M.

1992-10-01

The numerical methods employed in the solution of many scientific computing problems require the computation of the gradient of a function f: R{sup n} {yields} R. ADIFOR is a source translator that, given a collection of subroutines to compute f, generates Fortran 77 code for computing the derivative of this function. Using the so-called torsion problem from the MINPACK-2 test collection as an example, this paper explores two issues in automatic differentiation: the efficient computation of derivatives for partial separable functions and the use of the compile-time reverse mode for the generation of derivatives. We show that orders of magnitudesmore » of improvement are possible when exploiting partial separability and maximizing use of the reverse mode.« less

Understanding Mathematics and Logic Using BASIC Computer Games.

ERIC Educational Resources Information Center

Ahl, David H.

This combination teacher's guide and student workbook serves as a companion volume to 101 BASIC Computer Games (EM 011 681). It presents ideas, exercises and supplemental projects which will aid the teaching and learning of a wide variety of academic subjects in grades 7 through 12, although the emphasis is upon mathematics and logic. In addition,…

Effectiveness of Computer Animation and Geometrical Instructional Model on Mathematics Achievement and Retention among Junior Secondary School Students

ERIC Educational Resources Information Center

Gambari, A. I.; Falode, C. O.; Adegbenro, D. A.

2014-01-01

This study investigated the effectiveness of computer animation and geometry instructional model on mathematics achievement and retention on Junior Secondary School Students in Minna, Nigeria. It also examined the influence of gender on students' achievement and retention. The research was a pre-test post-test experimental and control group…

How Archimedes Helped Students to Unravel the Mystery of the Magical Number Pi

ERIC Educational Resources Information Center

Papadopoulos, Ioannis

2014-01-01

This paper describes a classroom experiment where students use techniques found in the history of mathematics to learn about an important mathematical idea. More precisely, sixth graders in a primary school follow Archimedes's method of exhaustion in order to compute the number p. Working in a computer environment, students inscribe and…

The Impact of Computer-Assisted Instruction on Mathematics Achievement of Underachieving Fifth-Grade Students

ERIC Educational Resources Information Center

Bruce-Simmons, Christine

2013-01-01

This study examined the impact of computer-assisted instruction on the mathematics performance of underachieving fifth-grade students in a rural school district in South Carolina. The instructional technology program ([IF) is South Carolina's response to addressing the needs of its young, struggling math students. The 449 fifth-grade students in…

A Computer-Based Game That Promotes Mathematics Learning More than a Conventional Approach

ERIC Educational Resources Information Center

McLaren, Bruce M.; Adams, Deanne M.; Mayer, Richard E.; Forlizzi, Jodi

2017-01-01

Excitement about learning from computer-based games has been papable in recent years and has led to the development of many educational games. However, there are relatively few sound empirical studies in the scientific literature that have shown the benefits of learning mathematics from games as opposed to more traditional approaches. The…

Comparing Computer Adaptive and Curriculum-Based Measures of Math in Progress Monitoring

ERIC Educational Resources Information Center

Shapiro, Edward S.; Dennis, Minyi Shih; Fu, Qiong

2015-01-01

The purpose of the study was to compare the use of a Computer Adaptive Test and Curriculum-Based Measurement in the assessment of mathematics. This study also investigated the degree to which slope or rate of change predicted student outcomes on the annual state assessment of mathematics above and beyond scores of single point screening…

Five Affordances of Computational Thinking to Support Elementary Mathematics Education

ERIC Educational Resources Information Center

Gadanidis, George

2017-01-01

With the increased focus on computational thinking (CT) in education, it is important to investigate the affordances that CT may offer to support teaching and learning. This paper outlines five affordances of CT that may support elementary mathematics education, whose conceptualization was refined in a year-long study involving eight Grades 3-4…

Multiple-Choice versus Constructed-Response Tests in the Assessment of Mathematics Computation Skills.

ERIC Educational Resources Information Center

Gadalla, Tahany M.

The equivalence of multiple-choice (MC) and constructed response (discrete) (CR-D) response formats as applied to mathematics computation at grade levels two to six was tested. The difference between total scores from the two response formats was tested for statistical significance, and the factor structure of items in both response formats was…

Integrating Mathematical Modeling for Undergraduate Pre-Service Science Education Learning and Instruction in Middle School Classrooms

ERIC Educational Resources Information Center

Carrejo, David; Robertson, William H.

2011-01-01

Computer-based mathematical modeling in physics is a process of constructing models of concepts and the relationships between them in the scientific characteristics of work. In this manner, computer-based modeling integrates the interactions of natural phenomenon through the use of models, which provide structure for theories and a base for…

Sets, Probability and Statistics: The Mathematics of Life Insurance. [Computer Program.] Second Edition.

ERIC Educational Resources Information Center

King, James M.; And Others

The materials described here represent the conversion of a highly popular student workbook "Sets, Probability and Statistics: The Mathematics of Life Insurance" into a computer program. The program is designed to familiarize students with the concepts of sets, probability, and statistics, and to provide practice using real life examples. It also…

A Meta-Analysis of the Effects of Computer Technology on School Students' Mathematics Learning

ERIC Educational Resources Information Center

Li, Qing; Ma, Xin

2010-01-01

This study examines the impact of computer technology (CT) on mathematics education in K-12 classrooms through a systematic review of existing literature. A meta-analysis of 85 independent effect sizes extracted from 46 primary studies involving a total of 36,793 learners indicated statistically significant positive effects of CT on mathematics…

Computer Algebra Systems: Permitted but Are They Used?

ERIC Educational Resources Information Center

Pierce, Robyn; Bardini, Caroline

2015-01-01

Since the 1990s, computer algebra systems (CAS) have been available in Australia as hand-held devices designed for students with the expectation that they will be used in the mathematics classroom. The data discussed in this paper was collected as part of a pilot study that investigated first year university mathematics and statistics students'…

The Development of an Individualized Instructional Program in Beginning College Mathematics Utilizing Computer Based Resource Units. Final Report.

ERIC Educational Resources Information Center

Rockhill, Theron D.

Reported is an attempt to develop and evaluate an individualized instructional program in pre-calculus college mathematics. Four computer based resource units were developed in the areas of set theory, relations and function, algebra, trigonometry, and analytic geometry. Objectives were determined by experienced calculus teachers, and…

Incorporating Partial Credit in Computer-Aided Assessment of Mathematics in Secondary Education

ERIC Educational Resources Information Center

Ashton, Helen S.; Beevers, Cliff E.; Korabinski, Athol A.; Youngson, Martin A.

2006-01-01

In a mathematical examination on paper, partial credit is normally awarded for an answer that is not correct, but, nevertheless, contains some of the correct working. Assessment on computer normally marks an incorrect answer wrong and awards no marks. This can lead to discrepancies between marks awarded for the same examination given in the two…

Creating a Supportive Environment to Enhance Computer Based Learning for Underrepresented Minorities in College Algebra Classrooms

ERIC Educational Resources Information Center

Kendricks, Kimberly D.

2011-01-01

Significant research in K-12 education has shown that computer based learning in mathematics positively impacts students' attitudes toward mathematics and greatly increases academic performance. Little research has shown, however, how this success can be replicated in a postsecondary classroom for minority students. This paper is a case study that…

Beyond Cognitive Increase: Investigating the Influence of Computer Programming on Perception and Application of Mathematical Skills

ERIC Educational Resources Information Center

Rich, Peter J.; Bly, Neil; Leatham, Keith R.

2014-01-01

This study aimed to provide first-hand accounts of the perceived long-term effects of learning computer programming on a learner's approach to mathematics. These phenomenological accounts, garnered from individual interviews of seven different programmers, illustrate four specific areas of interest: (1) programming provides context for many…

Introducing Computational Thinking to Young Learners: Practicing Computational Perspectives through Embodiment in Mathematics Education

ERIC Educational Resources Information Center

Sung, Woonhee; Ahn, Junghyun; Black, John B.

2017-01-01

A science, technology, engineering, and mathematics-influenced classroom requires learning activities that provide hands-on experiences with technological tools to encourage problem-solving skills (Brophy et al. in "J Eng Educ" 97(3):369-387, 2008; Mataric et al. in "AAAI spring symposium on robots and robot venues: resources for AI…

DOE Office of Scientific and Technical Information (OSTI.GOV)

Bastian, Mark; Trigueros, Jose V.

Phoenix is a Java Virtual Machine (JVM) based library for performing mathematical and astrodynamics calculations. It consists of two primary sub-modules, phoenix-math and phoenix-astrodynamics. The mathematics package has a variety of mathematical classes for performing 3D transformations, geometric reasoning, and numerical analysis. The astrodynamics package has various classes and methods for computing locations, attitudes, accesses, and other values useful for general satellite modeling and simulation. Methods for computing celestial locations, such as the location of the Sun and Moon, are also included. Phoenix is meant to be used as a library within the context of a larger application. For example,more » it could be used for a web service, desktop client, or to compute simple values in a scripting environment.« less

Concentrator optical characterization using computer mathematical modelling and point source testing

NASA Technical Reports Server (NTRS)

Dennison, E. W.; John, S. L.; Trentelman, G. F.

1984-01-01

The optical characteristics of a paraboloidal solar concentrator are analyzed using the intercept factor curve (a format for image data) to describe the results of a mathematical model and to represent reduced data from experimental testing. This procedure makes it possible not only to test an assembled concentrator, but also to evaluate single optical panels or to conduct non-solar tests of an assembled concentrator. The use of three-dimensional ray tracing computer programs to calculate the mathematical model is described. These ray tracing programs can include any type of optical configuration from simple paraboloids to array of spherical facets and can be adapted to microcomputers or larger computers, which can graphically display real-time comparison of calculated and measured data.

War of Ontology Worlds: Mathematics, Computer Code, or Esperanto?

PubMed Central

Rzhetsky, Andrey; Evans, James A.

2011-01-01

The use of structured knowledge representations—ontologies and terminologies—has become standard in biomedicine. Definitions of ontologies vary widely, as do the values and philosophies that underlie them. In seeking to make these views explicit, we conducted and summarized interviews with a dozen leading ontologists. Their views clustered into three broad perspectives that we summarize as mathematics, computer code, and Esperanto. Ontology as mathematics puts the ultimate premium on rigor and logic, symmetry and consistency of representation across scientific subfields, and the inclusion of only established, non-contradictory knowledge. Ontology as computer code focuses on utility and cultivates diversity, fitting ontologies to their purpose. Like computer languages C++, Prolog, and HTML, the code perspective holds that diverse applications warrant custom designed ontologies. Ontology as Esperanto focuses on facilitating cross-disciplinary communication, knowledge cross-referencing, and computation across datasets from diverse communities. We show how these views align with classical divides in science and suggest how a synthesis of their concerns could strengthen the next generation of biomedical ontologies. PMID:21980276

War of ontology worlds: mathematics, computer code, or Esperanto?

PubMed

Rzhetsky, Andrey; Evans, James A

2011-09-01

The use of structured knowledge representations-ontologies and terminologies-has become standard in biomedicine. Definitions of ontologies vary widely, as do the values and philosophies that underlie them. In seeking to make these views explicit, we conducted and summarized interviews with a dozen leading ontologists. Their views clustered into three broad perspectives that we summarize as mathematics, computer code, and Esperanto. Ontology as mathematics puts the ultimate premium on rigor and logic, symmetry and consistency of representation across scientific subfields, and the inclusion of only established, non-contradictory knowledge. Ontology as computer code focuses on utility and cultivates diversity, fitting ontologies to their purpose. Like computer languages C++, Prolog, and HTML, the code perspective holds that diverse applications warrant custom designed ontologies. Ontology as Esperanto focuses on facilitating cross-disciplinary communication, knowledge cross-referencing, and computation across datasets from diverse communities. We show how these views align with classical divides in science and suggest how a synthesis of their concerns could strengthen the next generation of biomedical ontologies.

A mathematical model of an active control landing gear for load control during impact and roll-out

NASA Technical Reports Server (NTRS)

Mcgehee, J. R.; Carden, H. D.

1976-01-01

A mathematical model of an active control landing gear (ACOLAG) was developed and programmed for operation on a digital computer. The mathematical model includes theoretical subsonic aerodynamics; first-mode wing bending and torsional characteristics; oleo-pneumatic shock strut with fit and binding friction; closed-loop, series-hydraulic control; empirical tire force-deflection characteristics; antiskid braking; and sinusoidal or random runway roughness. The mathematical model was used to compute the loads and motions for a simulated vertical drop test and a simulated landing impact of a conventional (passive) main landing gear designed for a 2268-kg (5000-lbm) class airplane. Computations were also made for a simply modified version of the passive gear including a series-hydraulic active control system. Comparison of computed results for the passive gear with experimental data shows that the active control landing gear analysis is valid for predicting the loads and motions of an airplane during a symmetrical landing. Computed results for the series-hydraulic active control in conjunction with the simply modified passive gear show that 20- to 30-percent reductions in wing force, relative to those occurring with the modified passive gear, can be obtained during the impact phase of the landing. These reductions in wing force could result in substantial increases in fatigue life of the structure.

Comparison of Co-Temporal Modeling Algorithms on Sparse Experimental Time Series Data Sets.

PubMed

Allen, Edward E; Norris, James L; John, David J; Thomas, Stan J; Turkett, William H; Fetrow, Jacquelyn S

2010-01-01

Multiple approaches for reverse-engineering biological networks from time-series data have been proposed in the computational biology literature. These approaches can be classified by their underlying mathematical algorithms, such as Bayesian or algebraic techniques, as well as by their time paradigm, which includes next-state and co-temporal modeling. The types of biological relationships, such as parent-child or siblings, discovered by these algorithms are quite varied. It is important to understand the strengths and weaknesses of the various algorithms and time paradigms on actual experimental data. We assess how well the co-temporal implementations of three algorithms, continuous Bayesian, discrete Bayesian, and computational algebraic, can 1) identify two types of entity relationships, parent and sibling, between biological entities, 2) deal with experimental sparse time course data, and 3) handle experimental noise seen in replicate data sets. These algorithms are evaluated, using the shuffle index metric, for how well the resulting models match literature models in terms of siblings and parent relationships. Results indicate that all three co-temporal algorithms perform well, at a statistically significant level, at finding sibling relationships, but perform relatively poorly in finding parent relationships.

Inverse design of an isotropic suspended Kirchhoff rod: theoretical and numerical results on the uniqueness of the natural shape.

PubMed

Bertails-Descoubes, Florence; Derouet-Jourdan, Alexandre; Romero, Victor; Lazarus, Arnaud

2018-04-01

Solving the equations for Kirchhoff elastic rods has been widely explored for decades in mathematics, physics and computer science, with significant applications in the modelling of thin flexible structures such as DNA, hair or climbing plants. As demonstrated in previous experimental and theoretical studies, the natural curvature plays an important role in the equilibrium shape of a Kirchhoff rod, even in the simple case where the rod is isotropic and suspended under gravity. In this paper, we investigate the reverse problem: can we characterize the natural curvature of a suspended isotropic rod, given an equilibrium curve? We prove that although there exists an infinite number of natural curvatures that are compatible with the prescribed equilibrium, they are all equivalent in the sense that they correspond to a unique natural shape for the rod. This natural shape can be computed efficiently by solving in sequence three linear initial value problems, starting from any framing of the input curve. We provide several numerical experiments to illustrate this uniqueness result, and finally discuss its potential impact on non-invasive parameter estimation and inverse design of thin elastic rods.

Inverse design of an isotropic suspended Kirchhoff rod: theoretical and numerical results on the uniqueness of the natural shape

NASA Astrophysics Data System (ADS)

Bertails-Descoubes, Florence; Derouet-Jourdan, Alexandre; Romero, Victor; Lazarus, Arnaud

2018-04-01

Solving the equations for Kirchhoff elastic rods has been widely explored for decades in mathematics, physics and computer science, with significant applications in the modelling of thin flexible structures such as DNA, hair or climbing plants. As demonstrated in previous experimental and theoretical studies, the natural curvature plays an important role in the equilibrium shape of a Kirchhoff rod, even in the simple case where the rod is isotropic and suspended under gravity. In this paper, we investigate the reverse problem: can we characterize the natural curvature of a suspended isotropic rod, given an equilibrium curve? We prove that although there exists an infinite number of natural curvatures that are compatible with the prescribed equilibrium, they are all equivalent in the sense that they correspond to a unique natural shape for the rod. This natural shape can be computed efficiently by solving in sequence three linear initial value problems, starting from any framing of the input curve. We provide several numerical experiments to illustrate this uniqueness result, and finally discuss its potential impact on non-invasive parameter estimation and inverse design of thin elastic rods.

Nonlinear 3D MHD verification study: SpeCyl and PIXIE3D codes for RFP and Tokamak plasmas

NASA Astrophysics Data System (ADS)

Bonfiglio, D.; Cappello, S.; Chacon, L.

2010-11-01

A strong emphasis is presently placed in the fusion community on reaching predictive capability of computational models. An essential requirement of such endeavor is the process of assessing the mathematical correctness of computational tools, termed verification [1]. We present here a successful nonlinear cross-benchmark verification study between the 3D nonlinear MHD codes SpeCyl [2] and PIXIE3D [3]. Excellent quantitative agreement is obtained in both 2D and 3D nonlinear visco-resistive dynamics for reversed-field pinch (RFP) and tokamak configurations [4]. RFP dynamics, in particular, lends itself as an ideal non trivial test-bed for 3D nonlinear verification. Perspectives for future application of the fully-implicit parallel code PIXIE3D to RFP physics, in particular to address open issues on RFP helical self-organization, will be provided. [4pt] [1] M. Greenwald, Phys. Plasmas 17, 058101 (2010) [0pt] [2] S. Cappello and D. Biskamp, Nucl. Fusion 36, 571 (1996) [0pt] [3] L. Chac'on, Phys. Plasmas 15, 056103 (2008) [0pt] [4] D. Bonfiglio, L. Chac'on and S. Cappello, Phys. Plasmas 17 (2010)

34 CFR 691.2 - Definitions.

Code of Federal Regulations, 2011 CFR

2011-07-01

... physical, life, or computer sciences, mathematics, technology, engineering, or a critical foreign language..., DEPARTMENT OF EDUCATION (CONTINUED) ACADEMIC COMPETITIVENESS GRANT (ACG) AND NATIONAL SCIENCE AND MATHEMATICS...

34 CFR 691.2 - Definitions.

Code of Federal Regulations, 2013 CFR

2013-07-01

... physical, life, or computer sciences, mathematics, technology, engineering, or a critical foreign language..., DEPARTMENT OF EDUCATION (CONTINUED) ACADEMIC COMPETITIVENESS GRANT (ACG) AND NATIONAL SCIENCE AND MATHEMATICS...

34 CFR 691.2 - Definitions.

Code of Federal Regulations, 2012 CFR

2012-07-01

... physical, life, or computer sciences, mathematics, technology, engineering, or a critical foreign language..., DEPARTMENT OF EDUCATION (CONTINUED) ACADEMIC COMPETITIVENESS GRANT (ACG) AND NATIONAL SCIENCE AND MATHEMATICS...

34 CFR 691.2 - Definitions.

Code of Federal Regulations, 2014 CFR

2014-07-01

... physical, life, or computer sciences, mathematics, technology, engineering, or a critical foreign language..., DEPARTMENT OF EDUCATION (CONTINUED) ACADEMIC COMPETITIVENESS GRANT (ACG) AND NATIONAL SCIENCE AND MATHEMATICS...

Hierarchy of stability factors in reverse shoulder arthroplasty.

PubMed

Gutiérrez, Sergio; Keller, Tony S; Levy, Jonathan C; Lee, William E; Luo, Zong-Ping

2008-03-01

Reverse shoulder arthroplasty is being used more frequently to treat irreparable rotator cuff tears in the presence of glenohumeral arthritis and instability. To date, however, design features and functions of reverse shoulder arthroplasty, which may be associated with subluxation and dislocation of these implants, have been poorly understood. We asked: (1) what is the hierarchy of importance of joint compressive force, prosthetic socket depth, and glenosphere size in relation to stability, and (2) is this hierarchy defined by underlying and theoretically predictable joint contact characteristics? We examined the intrinsic stability in terms of the force required to dislocate the humerosocket from the glenosphere of eight commercially available reverse shoulder arthroplasty devices. The hierarchy of factors was led by compressive force followed by socket depth; glenosphere size played a much lesser role in stability of the reverse shoulder arthroplasty device. Similar results were predicted by a mathematical model, suggesting the stability was determined primarily by compressive forces generated by muscles.

Revisiting Mathematics Manipulative Materials

ERIC Educational Resources Information Center

Swan, Paul; Marshall, Linda

2010-01-01

It is over 12 years since "APMC" published Bob Perry and Peter Howard's research on the use of mathematics manipulative materials in primary mathematics classrooms. Since then the availability of virtual manipulatives and associated access to computers and interactive whiteboards have caused educators to rethink the use of mathematics…

Integrating Mathematics into the Introductory Biology Laboratory Course

ERIC Educational Resources Information Center

White, James D.; Carpenter, Jenna P.

2008-01-01

Louisiana Tech University has an integrated science curriculum for its mathematics, chemistry, physics, computer science, biology-research track and secondary mathematics and science education majors. The curriculum focuses on the calculus sequence and introductory labs in biology, physics, and chemistry. In the introductory biology laboratory…

Determining Learning Disabilities in Mathematics.

ERIC Educational Resources Information Center

Dunlap, William P.; And Others

1979-01-01

To determine the generalizability of reading expectancy formulas in ascertaining mathematics expectancy levels, correlation coefficients were computed between the scores of 150 Ss (7 to 12 years old) with learning problems on standardized mathematics and reading tests and expectancy scores. Formulas correlated higher with Ss' actual mathematics…

A Cryptological Way of Teaching Mathematics

ERIC Educational Resources Information Center

Caballero-Gil, Pino; Bruno-Castaneda, Carlos

2007-01-01

This work addresses the subject of mathematics education at secondary schools from a current and stimulating point of view intimately related to computational science. Cryptology is a captivating way of introducing into the classroom different mathematical subjects such as functions, matrices, modular arithmetic, combinatorics, equations,…

Cognitive Play and Mathematical Learning in Computer Microworlds.

ERIC Educational Resources Information Center

Steffe, Leslie P.; Wiegel, Heide G.

1994-01-01

Uses the constructivist principle of active learning to explore the possibly essential elements in transforming a cognitive play activity into mathematical activity. Suggests that for such transformation to occur, cognitive play activity must involve operations of intelligence that, yield situations of mathematical schemes. Illustrates the…

ADD/ADHD: Effects on Mathematics and Mathematical Computations

ERIC Educational Resources Information Center

Brooks, Michael D.

2007-01-01

This study evaluates research that provides an understanding about mathematical results which can be determined independently from contributing factors. The relevance of the findings is important because there are many different reasons hypothesized by researchers as to why Attention Deficit Disorder/Attentions Deficit Hyperactive Disorder…

Numerical Modeling in Geodynamics: Success, Failure and Perspective

NASA Astrophysics Data System (ADS)

Ismail-Zadeh, A.

2005-12-01

A real success in numerical modeling of dynamics of the Earth can be achieved only by multidisciplinary research teams of experts in geodynamics, applied and pure mathematics, and computer science. The success in numerical modeling is based on the following basic, but simple, rules. (i) People need simplicity most, but they understand intricacies best (B. Pasternak, writer). Start from a simple numerical model, which describes basic physical laws by a set of mathematical equations, and move then to a complex model. Never start from a complex model, because you cannot understand the contribution of each term of the equations to the modeled geophysical phenomenon. (ii) Study the numerical methods behind your computer code. Otherwise it becomes difficult to distinguish true and erroneous solutions to the geodynamic problem, especially when your problem is complex enough. (iii) Test your model versus analytical and asymptotic solutions, simple 2D and 3D model examples. Develop benchmark analysis of different numerical codes and compare numerical results with laboratory experiments. Remember that the numerical tool you employ is not perfect, and there are small bugs in every computer code. Therefore the testing is the most important part of your numerical modeling. (iv) Prove (if possible) or learn relevant statements concerning the existence, uniqueness and stability of the solution to the mathematical and discrete problems. Otherwise you can solve an improperly-posed problem, and the results of the modeling will be far from the true solution of your model problem. (v) Try to analyze numerical models of a geological phenomenon using as less as possible tuning model variables. Already two tuning variables give enough possibilities to constrain your model well enough with respect to observations. The data fitting sometimes is quite attractive and can take you far from a principal aim of your numerical modeling: to understand geophysical phenomena. (vi) If the number of tuning model variables are greater than two, test carefully the effect of each of the variables on the modeled phenomenon. Remember: With four exponents I can fit an elephant (E. Fermi, physicist). (vii) Make your numerical model as accurate as possible, but never put the aim to reach a great accuracy: Undue precision of computations is the first symptom of mathematical illiteracy (N. Krylov, mathematician). How complex should be a numerical model? A model which images any detail of the reality is as useful as a map of scale 1:1 (J. Robinson, economist). This message is quite important for geoscientists, who study numerical models of complex geodynamical processes. I believe that geoscientists will never create a model of the real Earth dynamics, but we should try to model the dynamics such a way to simulate basic geophysical processes and phenomena. Does a particular model have a predictive power? Each numerical model has a predictive power, otherwise the model is useless. The predictability of the model varies with its complexity. Remember that a solution to the numerical model is an approximate solution to the equations, which have been chosen in believe that they describe dynamic processes of the Earth. Hence a numerical model predicts dynamics of the Earth as well as the mathematical equations describe this dynamics. What methodological advances are still needed for testable geodynamic modeling? Inverse (time-reverse) numerical modeling and data assimilation are new methodologies in geodynamics. The inverse modeling can allow to test geodynamic models forward in time using restored (from present-day observations) initial conditions instead of unknown conditions.

Early identification and interventions for students with mathematics difficulties.

PubMed

Gersten, Russell; Jordan, Nancy C; Flojo, Jonathan R

2005-01-01

This article highlights key findings from the small body of research on mathematics difficulties (MD) relevant to early identification and early intervention. The research demonstrates that (a) for many children, mathematics difficulties are not stable over time; (b) the presence of reading difficulties seems related to slower progress in many aspects of mathematics; (c) almost all students with MD demonstrate problems with accurate and automatic retrieval of basic arithmetic combinations, such as 6 + 3. The following measures appear to be valid and reliable indicators of potential MD in kindergartners: (a) magnitude comparison (i.e., knowing which digit in a pair is larger), (b) sophistication of counting strategies, (c) fluent identification of numbers, and (d) working memory (as evidenced by reverse digit span). These are discussed in terms of the components of number sense. Implications for early intervention strategies are explored.

The Computer Student Worksheet Based Mathematical Literacy for Statistics

NASA Astrophysics Data System (ADS)

Manoy, J. T.; Indarasati, N. A.

2018-01-01

The student worksheet is one of media teaching which is able to improve teaching an activity in the classroom. Indicators in mathematical literacy were included in a student worksheet is able to help the students for applying the concept in daily life. Then, the use of computers in learning can create learning with environment-friendly. This research used developmental research which was Thiagarajan (Four-D) development design. There are 4 stages in the Four-D, define, design, develop, and disseminate. However, this research was finish until the third stage, develop stage. The computer student worksheet based mathematical literacy for statistics executed good quality. This student worksheet is achieving the criteria if able to achieve three aspects, validity, practicality, and effectiveness. The subject in this research was the students at The 1st State Senior High School of Driyorejo, Gresik, grade eleven of The 5th Mathematics and Natural Sciences. The computer student worksheet products based mathematical literacy for statistics executed good quality, while it achieved the aspects for validity, practical, and effectiveness. This student worksheet achieved the validity aspects with an average of 3.79 (94.72%), and practical aspects with an average of 2.85 (71.43%). Besides, it achieved the effectiveness aspects with a percentage of the classical complete students of 94.74% and a percentage of the student positive response of 75%.

Reverse logistics system planning for recycling computers hardware: A case study

NASA Astrophysics Data System (ADS)

Januri, Siti Sarah; Zulkipli, Faridah; Zahari, Siti Meriam; Shamsuri, Siti Hajar

2014-09-01

This paper describes modeling and simulation of reverse logistics networks for collection of used computers in one of the company in Selangor. The study focuses on design of reverse logistics network for used computers recycling operation. Simulation modeling, presented in this work allows the user to analyze the future performance of the network and to understand the complex relationship between the parties involved. The findings from the simulation suggest that the model calculates processing time and resource utilization in a predictable manner. In this study, the simulation model was developed by using Arena simulation package.

Discrete Mathematics in the Schools. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 36.

ERIC Educational Resources Information Center

Rosenstein, Joseph G., Ed.; Franzblau, Deborah S., Ed.; Roberts, Fred S., Ed.

This book is a collection of articles by experienced educators and explains why and how discrete mathematics should be taught in K-12 classrooms. It includes evidence for "why" and practical guidance for "how" and also discusses how discrete mathematics can be used as a vehicle for achieving the broader goals of the major…

CFD Analysis of the SBXC Glider Airframe

DTIC Science & Technology

2016-06-01

mathematically on finite element methods. To validate and verify the methodology developed, a mathematical comparison was made with the previous research data...greater than 15 m/s. 14. SUBJECT TERMS finite element method, computational fluid dynamics, Y Plus, mesh element quality, aerodynamic data, fluid...based mathematically on finite element methods. To validate and verify the methodology developed, a mathematical comparison was made with the

An Investigation into the Perceptions of Mathematics and Information Literacy Self-Efficacy Levels of Pre-Service Primary Mathematics Teachers

ERIC Educational Resources Information Center

Dinçer, Bahar; Yilmaz, Süha

2016-01-01

The purpose of this study is to examine the relationship between perceptions of the self-efficacy levels for both mathematics literacy and information literacy in pre-service primary mathematics teachers and the factors on which the relationship depends (variables include gender, class level, hours spent reading books and computer-access…

High School Mathematics Teachers' Levels of Achieving Technology Integration and In-Class Reflections: The Case of Mathematica

ERIC Educational Resources Information Center

Ardiç, Mehmet Alper; Isleyen, Tevfik

2017-01-01

The purpose of this study is to determine the levels of high school mathematics teachers in achieving mathematics instruction via computer algebra systems and the reflections of these practices in the classroom. Three high school mathematics teachers employed at different types of school participated in the study. In the beginning of this…

Reverse engineering and identification in systems biology: strategies, perspectives and challenges.

PubMed

Villaverde, Alejandro F; Banga, Julio R

2014-02-06

The interplay of mathematical modelling with experiments is one of the central elements in systems biology. The aim of reverse engineering is to infer, analyse and understand, through this interplay, the functional and regulatory mechanisms of biological systems. Reverse engineering is not exclusive of systems biology and has been studied in different areas, such as inverse problem theory, machine learning, nonlinear physics, (bio)chemical kinetics, control theory and optimization, among others. However, it seems that many of these areas have been relatively closed to outsiders. In this contribution, we aim to compare and highlight the different perspectives and contributions from these fields, with emphasis on two key questions: (i) why are reverse engineering problems so hard to solve, and (ii) what methods are available for the particular problems arising from systems biology?

Optimal design of reverse osmosis module networks

DOE Office of Scientific and Technical Information (OSTI.GOV)

Maskan, F.; Wiley, D.E.; Johnston, L.P.M.

2000-05-01

The structure of individual reverse osmosis modules, the configuration of the module network, and the operating conditions were optimized for seawater and brackish water desalination. The system model included simple mathematical equations to predict the performance of the reverse osmosis modules. The optimization problem was formulated as a constrained multivariable nonlinear optimization. The objective function was the annual profit for the system, consisting of the profit obtained from the permeate, capital cost for the process units, and operating costs associated with energy consumption and maintenance. Optimization of several dual-stage reverse osmosis systems were investigated and compared. It was found thatmore » optimal network designs are the ones that produce the most permeate. It may be possible to achieve economic improvements by refining current membrane module designs and their operating pressures.« less

Digital computer simulation of inductor-energy-storage dc-to-dc converters with closed-loop regulators

NASA Technical Reports Server (NTRS)

Ohri, A. K.; Owen, H. A.; Wilson, T. G.; Rodriguez, G. E.

1974-01-01

The simulation of converter-controller combinations by means of a flexible digital computer program which produces output to a graphic display is discussed. The procedure is an alternative to mathematical analysis of converter systems. The types of computer programming involved in the simulation are described. Schematic diagrams, state equations, and output equations are displayed for four basic forms of inductor-energy-storage dc to dc converters. Mathematical models are developed to show the relationship of the parameters.

Clinical and mathematical introduction to computer processing of scintigraphic images

DOE Office of Scientific and Technical Information (OSTI.GOV)

Goris, M.L.; Briandet, P.A.

The authors state in their preface:''...we believe that there is no book yet available in which computing in nuclear medicine has been approached in a reasonable manner. This book is our attempt to correct the situation.'' The book is divided into four sections: (1) Clinical Applications of Quantitative Scintigraphic Analysis; (2) Mathematical Derivations; (3) Processing Methods of Scintigraphic Images; and (4) The (Computer) System. Section 1 has chapters on quantitative approaches to congenital and acquired heart diseases, nephrology and urology, and pulmonary medicine.

Eddy Viscosity for Variable Density Coflowing Streams,

DTIC Science & Technology

EDDY CURRENTS, *JET MIXING FLOW, *VISCOSITY, *AIR FLOW, MATHEMATICAL MODELS, INCOMPRESSIBLE FLOW, AXISYMMETRIC FLOW, MATHEMATICAL PREDICTION, THRUST AUGMENTATION , EJECTORS , COMPUTER PROGRAMMING, SECONDARY FLOW, DENSITY, MODIFICATION.

Generalized zeta function representation of groups and 2-dimensional topological Yang-Mills theory: The example of GL(2, #Mathematical Double-Struck Capital F#{sub q}) and PGL(2, #Mathematical Double-Struck Capital F#{sub q})

DOE Office of Scientific and Technical Information (OSTI.GOV)

Roche, Ph., E-mail: philippe.roche@univ-montp2.fr

We recall the relation between zeta function representation of groups and two-dimensional topological Yang-Mills theory through Mednikh formula. We prove various generalisations of Mednikh formulas and define generalization of zeta function representations of groups. We compute some of these functions in the case of the finite group GL(2, #Mathematical Double-Struck Capital F#{sub q}) and PGL(2, #Mathematical Double-Struck Capital F#{sub q}). We recall the table characters of these groups for any q, compute the Frobenius-Schur indicator of their irreducible representations, and give the explicit structure of their fusion rings.

Prospects of a mathematical theory of human behavior in complex man-machine systems tasks. [time sharing computer analogy of automobile driving

NASA Technical Reports Server (NTRS)

Johannsen, G.; Rouse, W. B.

1978-01-01

A hierarchy of human activities is derived by analyzing automobile driving in general terms. A structural description leads to a block diagram and a time-sharing computer analogy. The range of applicability of existing mathematical models is considered with respect to the hierarchy of human activities in actual complex tasks. Other mathematical tools so far not often applied to man machine systems are also discussed. The mathematical descriptions at least briefly considered here include utility, estimation, control, queueing, and fuzzy set theory as well as artificial intelligence techniques. Some thoughts are given as to how these methods might be integrated and how further work might be pursued.

Applying Mathematical Optimization Methods to an ACT-R Instance-Based Learning Model.

PubMed

Said, Nadia; Engelhart, Michael; Kirches, Christian; Körkel, Stefan; Holt, Daniel V

2016-01-01

Computational models of cognition provide an interface to connect advanced mathematical tools and methods to empirically supported theories of behavior in psychology, cognitive science, and neuroscience. In this article, we consider a computational model of instance-based learning, implemented in the ACT-R cognitive architecture. We propose an approach for obtaining mathematical reformulations of such cognitive models that improve their computational tractability. For the well-established Sugar Factory dynamic decision making task, we conduct a simulation study to analyze central model parameters. We show how mathematical optimization techniques can be applied to efficiently identify optimal parameter values with respect to different optimization goals. Beyond these methodological contributions, our analysis reveals the sensitivity of this particular task with respect to initial settings and yields new insights into how average human performance deviates from potential optimal performance. We conclude by discussing possible extensions of our approach as well as future steps towards applying more powerful derivative-based optimization methods.

Software For Computing Reliability Of Other Software

NASA Technical Reports Server (NTRS)

Nikora, Allen; Antczak, Thomas M.; Lyu, Michael

1995-01-01

Computer Aided Software Reliability Estimation (CASRE) computer program developed for use in measuring reliability of other software. Easier for non-specialists in reliability to use than many other currently available programs developed for same purpose. CASRE incorporates mathematical modeling capabilities of public-domain Statistical Modeling and Estimation of Reliability Functions for Software (SMERFS) computer program and runs in Windows software environment. Provides menu-driven command interface; enabling and disabling of menu options guides user through (1) selection of set of failure data, (2) execution of mathematical model, and (3) analysis of results from model. Written in C language.

Derivation and computation of discrete-delay and continuous-delay SDEs in mathematical biology.

PubMed

Allen, Edward J

2014-06-01

Stochastic versions of several discrete-delay and continuous-delay differential equations, useful in mathematical biology, are derived from basic principles carefully taking into account the demographic, environmental, or physiological randomness in the dynamic processes. In particular, stochastic delay differential equation (SDDE) models are derived and studied for Nicholson's blowflies equation, Hutchinson's equation, an SIS epidemic model with delay, bacteria/phage dynamics, and glucose/insulin levels. Computational methods for approximating the SDDE models are described. Comparisons between computational solutions of the SDDEs and independently formulated Monte Carlo calculations support the accuracy of the derivations and of the computational methods.

Mathematical embryology: the fluid mechanics of nodal cilia

NASA Astrophysics Data System (ADS)

Smith, D. J.; Smith, A. A.; Blake, J. R.

2011-07-01

Left-right symmetry breaking is critical to vertebrate embryonic development; in many species this process begins with cilia-driven flow in a structure termed the `node'. Primary `whirling' cilia, tilted towards the posterior, transport morphogen-containing vesicles towards the left, initiating left-right asymmetric development. We review recent theoretical models based on the point-force stokeslet and point-torque rotlet singularities, explaining how rotation and surface-tilt produce directional flow. Analysis of image singularity systems enforcing the no-slip condition shows how tilted rotation produces a far-field `stresslet' directional flow, and how time-dependent point-force and time-independent point-torque models are in this respect equivalent. Associated slender body theory analysis is reviewed; this approach enables efficient and accurate simulation of three-dimensional time-dependent flow, time-dependence being essential in predicting features of the flow such as chaotic advection, which have subsequently been determined experimentally. A new model for the nodal flow utilising the regularized stokeslet method is developed, to model the effect of the overlying Reichert's membrane. Velocity fields and particle paths within the enclosed domain are computed and compared with the flow profiles predicted by previous `membrane-less' models. Computations confirm that the presence of the membrane produces flow-reversal in the upper region, but no continuous region of reverse flow close to the epithelium. The stresslet far-field is no longer evident in the membrane model, due to the depth of the cavity being of similar magnitude to the cilium length. Simulations predict that vesicles released within one cilium length of the epithelium are generally transported to the left via a `loopy drift' motion, sometimes involving highly unpredictable detours around leftward cilia [truncated

Formative questioning in computer learning environments: a course for pre-service mathematics teachers

NASA Astrophysics Data System (ADS)

Akkoç, Hatice

2015-11-01

This paper focuses on a specific aspect of formative assessment, namely questioning. Given that computers have gained widespread use in learning and teaching, specific attention should be made when organizing formative assessment in computer learning environments (CLEs). A course including various workshops was designed to develop knowledge and skills of questioning in CLEs. This study investigates how pre-service mathematics teachers used formative questioning with technological tools such as Geogebra and Graphic Calculus software. Participants are 35 pre-service mathematics teachers. To analyse formative questioning, two types of questions are investigated: mathematical questions and technical questions. Data were collected through lesson plans, teaching notes, interviews and observations. Descriptive statistics of the number of questions in the lesson plans before and after the workshops are presented. Examples of two types of questions are discussed using the theoretical framework. One pre-service teacher was selected and a deeper analysis of the way he used questioning during his three lessons was also investigated. The findings indicated an improvement in using technical questions for formative purposes and that the course provided a guideline in planning and using mathematical and technical questions in CLEs.

Differences between Expected Answers and the Answers Given by Computer Algebra Systems to School Equations

ERIC Educational Resources Information Center

Tonisson, Eno

2015-01-01

Sometimes Computer Algebra Systems (CAS) offer an answer that is somewhat different from the answer that is probably expected by the student or teacher. These (somewhat unexpected) answers could serve as a catalyst for rich mathematical discussion. In this study, over 120 equations from school mathematics were solved using 8 different CAS. Many…

Teaching Guide and Problem Supplement. A Publication of the Exemplary Project Problem Solving Computer Style 1969-1970.

ERIC Educational Resources Information Center

New Orleans Public Schools, LA.

Secondary school teachers incorporating the use of a computer in algebra, trigonometry, advanced mathematics, chemistry, or physics classes are the individuals for whom this book is intended. The content included in it is designed to aid the learning of programing techniques and basic scientific or mathematical principles, and to offer some…

Type Specialization in Aldor

NASA Astrophysics Data System (ADS)

Dragan, Laurentiu; Watt, Stephen M.

Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametric polymorphism provide a natural and expressive language for mathematical abstractions, they can come at a considerable cost. We investigate how deeply nested type constructions may be optimized to achieve performance similar to that of hand-tuned code written in lower-level languages.

Identifying Students' Mathematical Skills from a Multiple-Choice Diagnostic Test Using an Iterative Technique to Minimise False Positives

ERIC Educational Resources Information Center

Manning, S.; Dix, A.

2008-01-01

There is anecdotal evidence that a significant number of students studying computing related courses at degree level have difficulty with sub-GCE mathematics. Testing of students' skills is often performed using diagnostic tests and a number of computer-based diagnostic tests exist, which work, essentially, by testing one specific diagnostic skill…

Promoting Transfer of Mathematics Skills through the Use of a Computer-Based Instructional Simulation Game and Advisement.

ERIC Educational Resources Information Center

Van Eck, Richard

This study looked at the effect of contextual advisement and competition on transfer of mathematics skills in a computer-based instructional simulation game and simulation in which game participants helped their "aunt and uncle" fix up a house. Competition referred to whether or not the participant was playing against a computer…

Influence of Computer-Aided Assessment on Ways of Working with Mathematics

ERIC Educational Resources Information Center

Rønning, Frode

2017-01-01

This paper is based on an on-going project for modernizing the basic education in mathematics for engineers at the Norwegian University of Science and Technology. One of the components in the project is using a computer-aided assessment system (Maple T.A.) for handling students' weekly hand-ins. Successful completion of a certain number of problem…

The Effects of Computer Programming on High School Students' Reasoning Skills and Mathematical Self-Efficacy and Problem Solving

ERIC Educational Resources Information Center

Psycharis, Sarantos; Kallia, Maria

2017-01-01

In this paper we investigate whether computer programming has an impact on high school student's reasoning skills, problem solving and self-efficacy in Mathematics. The quasi-experimental design was adopted to implement the study. The sample of the research comprised 66 high school students separated into two groups, the experimental and the…

The Effect of Emphasizing Mathematical Structure in the Acquisition of Whole Number Computation Skills (Addition and Subtraction) By Seven- and Eight-Year Olds: A Clinical Investigation.

ERIC Educational Resources Information Center

Uprichard, A. Edward; Collura, Carolyn

This investigation sought to determine the effect of emphasizing mathematical structure in the acquisition of computational skills by seven- and eight-year-olds. The meaningful development-of-structure approach emphasized closure, commutativity, associativity, and the identity element of addition; the inverse relationship between addition and…

Design and Use Online Platforms to Learn Mathematics and the Use of Them in Simulations of Problems in Applied Sciences

ERIC Educational Resources Information Center

Méndez-Fragoso, Ricardo; Villavicencio-Torres, Mirna; Martínez-Moreno, Josué

2017-01-01

In this contribution, we show the practical use of the computer to visualise simple computational simulations to show phenomena that occur in everyday life, or require an abstract understanding for being unintuitive phenomena. The relationship of the mathematics to different scientific disciplines motivates us to devise different treatments to…

Applicability of mathematical modeling to problems of environmental physiology

NASA Technical Reports Server (NTRS)

White, Ronald J.; Lujan, Barbara F.; Leonard, Joel I.; Srinivasan, R. Srini

1988-01-01

The paper traces the evolution of mathematical modeling and systems analysis from terrestrial research to research related to space biomedicine and back again to terrestrial research. Topics covered include: power spectral analysis of physiological signals; pattern recognition models for detection of disease processes; and, computer-aided diagnosis programs used in conjunction with a special on-line biomedical computer library.

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

ERIC Educational Resources Information Center

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…

Math Fundamentals: Selected Results from the First National Assessment of Mathematics.

ERIC Educational Resources Information Center

Education Commission of the States, Denver, CO. National Assessment of Educational Progress.

This report, the first of several to be published on the results of the 1972-73 assessment of mathematics, begins with a brief general discussion of the project. The findings with respect to pure computation and computation with translation are then presented in some detail. Data collected from subjects at four age levels (9, 13, 17, and adult)…

Pedagogical Factors Affecting Integration of Computers in Mathematics Instruction in Secondary Schools in Kenya

ERIC Educational Resources Information Center

Wanjala, Martin M. S.; Aurah, Catherine M.; Symon, Koros C.

2015-01-01

The paper reports findings of a study which sought to examine the pedagogical factors that affect the integration of computers in mathematics instruction as perceived by teachers in secondary schools in Kenya. This study was based on the Technology Acceptance Model (TAM). A descriptive survey design was used for this study. Stratified and simple…

Using Tablet Computers in Preschool: How Does the Design of Applications Influence Participation, Interaction and Dialogues?

ERIC Educational Resources Information Center

Palmér, Hanna

2015-01-01

The results in this article explore whether and how the design of applications used on tablet computers influences the interaction and dialogues that occur between children and pedagogues, the participation of children in the activities and the mathematics that can be learned. While mathematics offered a lens to explore the use of tablet devices,…

Primary Trainee Teachers' Attitudes to and Use of Computer and Technology in Mathematics: The Case of Turkey

ERIC Educational Resources Information Center

Dogan, Mustafa

2010-01-01

This study explores Turkish primary mathematics trainee teachers' attitudes to computer and technology. A survey was conducted with a self constructed questionnaire. Piloting, factor and reliability ([alpha] = 0.94) analyses were performed. The final version of the questionnaire has three parts with a total of 48 questions including a Likert type…

Transitioning the GED[R] Mathematics Test to Computer with and without Accommodations: A Pilot Project

ERIC Educational Resources Information Center

Patterson, Margaret Becker; Higgins, Jennifer; Bozman, Martha; Katz, Michael

2011-01-01

We conducted a pilot study to see how the GED Mathematics Test could be administered on computer with embedded accessibility tools. We examined test scores and test-taker experience. Nineteen GED test centers across five states and 216 randomly assigned GED Tests candidates participated in the project. GED candidates completed two GED mathematics…

Winning the Popularity Contest: Researcher Preference When Selecting Resources for Civil Engineering, Computer Science, Mathematics and Physics Dissertations

ERIC Educational Resources Information Center

Dotson, Daniel S.; Franks, Tina P.

2015-01-01

More than 53,000 citations from 609 dissertations published at The Ohio State University between 1998-2012 representing four science disciplines--civil engineering, computer science, mathematics and physics--were examined to determine what, if any, preferences or trends exist. This case study seeks to identify whether or not researcher preferences…

Technology Prompts New Understandings: The Case of Equality

ERIC Educational Resources Information Center

Bardini, Caroline; Oldenburg, Reinhard; Stacey, Kaye; Pierce, Robyn

2013-01-01

Changes to students' understanding of mathematical notation may be brought about by using technology within mathematics. Taking equality as a case study, the paper provides brief epistemological, historical, didactical, and computational reviews of its symbolic representation in pen-and-paper and technology-assisted mathematics, most especially in…

Mathematics Programming on the Apple II and IBM PC.

ERIC Educational Resources Information Center

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)

Improving Pupils' Mathematical Communication Abilities through Computer-Supported Reciprocal Peer Tutoring

ERIC Educational Resources Information Center

Yang, Euphony F. Y.; Chang, Ben; Cheng, Hercy N. H.; Chan, Tak-Wai

2016-01-01

This study examined how to foster pupils' mathematical communication abilities by using tablet PCs. Students were encouraged to generate math creations (including mathematical representation, solution, and solution explanation of word problems) as their teaching materials and reciprocally tutor classmates to increase opportunities for mathematical…

Modelling and Optimizing Mathematics Learning in Children

ERIC Educational Resources Information Center

Käser, Tanja; Busetto, Alberto Giovanni; Solenthaler, Barbara; Baschera, Gian-Marco; Kohn, Juliane; Kucian, Karin; von Aster, Michael; Gross, Markus

2013-01-01

This study introduces a student model and control algorithm, optimizing mathematics learning in children. The adaptive system is integrated into a computer-based training system for enhancing numerical cognition aimed at children with developmental dyscalculia or difficulties in learning mathematics. The student model consists of a dynamic…

Teaching Mathematics Using Steplets

ERIC Educational Resources Information Center

Bringslid, Odd; Norstein, Anne

2008-01-01

This article evaluates online mathematical content used for teaching mathematics in engineering classes and in distance education for teacher training students. In the EU projects Xmath and dMath online computer algebra modules (Steplets) for undergraduate students assembled in the Xmath eBook have been designed. Two questionnaires, a compulsory…

Using Google Apps to Develop the Mathematical Practices

ERIC Educational Resources Information Center

Layton, Rebecca D.; Cady, Jo Ann; Layton, Christopher A.

2017-01-01

Recent recommendations for the teaching of mathematics place an emphasis on the Common Core's Standards for Mathematical Practice (SMP) (CCSSI 2010). The SMPs emphasize constructing viable arguments, critiquing the ideas of others, reasoning abstractly and quantitatively, and using computational procedures. These skills, including the use of…

Using Two Languages when Learning Mathematics

ERIC Educational Resources Information Center

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…

Business Mathematics Curriculum Guide.

ERIC Educational Resources Information Center

Ebersole, Benjamin P., Comp.; And Others

This revised course in business mathematics emphasizes computations needed for problem solving, but greater attention is focused on mathematical principles that were developed in previous grades. In addition, the course aims to develop further an understanding of business principles and practices which can be used in gainful employment and in the…

Bridging CAGD knowledge into CAD/CG applications: Mathematical theories as stepping stones of innovations

NASA Astrophysics Data System (ADS)

Gobithaasan, R. U.; Miura, Kenjiro T.; Hassan, Mohamad Nor

2014-07-01

Computer Aided Geometric Design (CAGD) which surpasses the underlying theories of Computer Aided Design (CAD) and Computer Graphics (CG) has been taught in a number of Malaysian universities under the umbrella of Mathematical Sciences' faculty/department. On the other hand, CAD/CG is taught either under the Engineering or Computer Science Faculty. Even though CAGD researchers/educators/students (denoted as contributors) have been enriching this field of study by means of article/journal publication, many fail to convert the idea into constructive innovation due to the gap that occurs between CAGD contributors and practitioners (engineers/product/designers/architects/artists). This paper addresses this issue by advocating a number of technologies that can be used to transform CAGD contributors into innovators where immediate impact in terms of practical application can be experienced by the CAD/CG practitioners. The underlying principle of solving this issue is twofold. First would be to expose the CAGD contributors on ways to turn mathematical ideas into plug-ins and second is to impart relevant CAGD theories to CAD/CG to practitioners. Both cases are discussed in detail and the final section shows examples to illustrate the importance of turning mathematical knowledge into innovations.

Overview of the SAMSI year-long program on Statistical, Mathematical and Computational Methods for Astronomy

NASA Astrophysics Data System (ADS)

Jogesh Babu, G.

2017-01-01

A year-long research (Aug 2016- May 2017) program on `Statistical, Mathematical and Computational Methods for Astronomy (ASTRO)’ is well under way at Statistical and Applied Mathematical Sciences Institute (SAMSI), a National Science Foundation research institute in Research Triangle Park, NC. This program has brought together astronomers, computer scientists, applied mathematicians and statisticians. The main aims of this program are: to foster cross-disciplinary activities; to accelerate the adoption of modern statistical and mathematical tools into modern astronomy; and to develop new tools needed for important astronomical research problems. The program provides multiple avenues for cross-disciplinary interactions, including several workshops, long-term visitors, and regular teleconferences, so participants can continue collaborations, even if they can only spend limited time in residence at SAMSI. The main program is organized around five working groups:i) Uncertainty Quantification and Astrophysical Emulationii) Synoptic Time Domain Surveysiii) Multivariate and Irregularly Sampled Time Seriesiv) Astrophysical Populationsv) Statistics, computation, and modeling in cosmology.A brief description of each of the work under way by these groups will be given. Overlaps among various working groups will also be highlighted. How the wider astronomy community can both participate and benefit from the activities, will be briefly mentioned.

Modelling the impact of correlations between condom use and sexual contact pattern on the dynamics of sexually transmitted infections.

PubMed

Yamamoto, Nao; Ejima, Keisuke; Nishiura, Hiroshi

2018-05-31

It is believed that sexually active people, i.e. people having multiple or concurrent sexual partners, are at a high risk of sexually transmitted infections (STI), but they are likely to be more aware of the risk and may exhibit greater fraction of the use of condom. The purpose of the present study is to examine the correlation between condom use and sexual contact pattern and clarify its impact on the transmission dynamics of STIs using a mathematical model. The definition of sexual contact pattern can be broad, but we focus on two specific aspects: (i) type of partnership (i.e. steady or casual partnership) and (ii) existence of concurrency (i.e. with single or multiple partners). Systematic review and meta-analysis of published studies are performed, analysing literature that epidemiologically examined the relationship between condom use and sexual contact pattern. Subsequently, we employ an epidemiological model and compute the reproduction number that accounts for with and without concurrency so that the corresponding coverage of condom use and its correlation with existence of concurrency can be explicitly investigated using the mathematical model. Combining the model with parameters estimated from the meta-analysis along with other assumed parameters, the impact of varying the proportion of population with multiple partners on the reproduction number is examined. Based on systematic review, we show that a greater number of people used condoms during sexual contact with casual partners than with steady partners. Furthermore, people with multiple partners use condoms more frequently than people with a single partner alone. Our mathematical model revealed a positive relationship between the effective reproduction number and the proportion of people with multiple partners. Nevertheless, the association was reversed to be negative by employing a slightly greater value of the relative risk of condom use for people with multiple partners than that empirically estimated. Depending on the correlation between condom use and the existence of concurrency, association between the proportion of people with multiple partners and the reproduction number can be reversed, suggesting the sexually active population is not necessary a primary target population to encourage condom use (i.e., sexually less active individuals could equivalently be a target in some cases).

Study of Reversible Logic Synthesis with Application in SOC: A Review

NASA Astrophysics Data System (ADS)

Sharma, Chinmay; Pahuja, Hitesh; Dadhwal, Mandeep; Singh, Balwinder

2017-08-01

The prime concern in today’s SOC designs is the power dissipation which increases with technology scaling. The reversible logic possesses very high potential in reducing power dissipation in these designs. It finds its application in latest research fields such as DNA computing, quantum computing, ultra-low power CMOS design and nanotechnology. The reversible circuits can be easily designed using the conventional CMOS technology at a cost of a garbage output which maintains the reversibility. The purpose of this paper is to provide an overview of the developments that have occurred till date in this concept and how the new reversible logic gates are used to design the logic functions.

Quantum Vertex Model for Reversible Classical Computing

NASA Astrophysics Data System (ADS)

Chamon, Claudio; Mucciolo, Eduardo; Ruckenstein, Andrei; Yang, Zhicheng

We present a planar vertex model that encodes the result of a universal reversible classical computation in its ground state. The approach involves Boolean variables (spins) placed on links of a two-dimensional lattice, with vertices representing logic gates. Large short-ranged interactions between at most two spins implement the operation of each gate. The lattice is anisotropic with one direction corresponding to computational time, and with transverse boundaries storing the computation's input and output. The model displays no finite temperature phase transitions, including no glass transitions, independent of circuit. The computational complexity is encoded in the scaling of the relaxation rate into the ground state with the system size. We use thermal annealing and a novel and more efficient heuristic \\x9Dannealing with learning to study various computational problems. To explore faster relaxation routes, we construct an explicit mapping of the vertex model into the Chimera architecture of the D-Wave machine, initiating a novel approach to reversible classical computation based on quantum annealing.

Pre-service Mathematics Teachers' Knowledge of History of Mathematics and Their Attitudes and Beliefs Towards Using History of Mathematics in Mathematics Education

NASA Astrophysics Data System (ADS)

Alpaslan, Mustafa; Işıksal, Mine; Haser, Çiğdem

2014-01-01

This study examined pre-service mathematics teachers' knowledge of history of mathematics and their attitudes and beliefs towards using history of mathematics in mathematics education based on year level in teacher education program and gender. The sample included 1,593 freshman, sophomore, junior, and senior pre-service middle school (grades 4-8) mathematics teachers from nine universities in Turkey. Data were collected through Knowledge of History of Mathematics Test and Attitudes and Beliefs towards the Use of History of Mathematics in Mathematics Education Questionnaire. Results indicate that pre-service teachers have moderate knowledge of history of mathematics and positive attitudes and beliefs towards using history of mathematics. Their knowledge scores increase as the year level in teacher education program advanced. Males' knowledge scores are significantly higher than females' scores in the first 2 years. This situation reverses in the last 2 years, but it is not statistically significant. Pre-service teachers have more positive attitudes and availing beliefs towards using history of mathematics as they progress in their teacher education program. Females have greater attitudes and beliefs mean scores than males in each of the years. The results indicate that the teacher education program may have enhanced the pre-service teachers' knowledge of history of mathematics by related courses. However, the moderate knowledge scores indicate that there is a need for revision of these courses. The pre-service teachers' positive attitudes and beliefs towards using history of mathematics stress the importance of teacher education program in order to prepare them for implementing this alternative strategy in the future.

Aircraft geometry verification with enhanced computer generated displays

NASA Technical Reports Server (NTRS)

Cozzolongo, J. V.

1982-01-01

A method for visual verification of aerodynamic geometries using computer generated, color shaded images is described. The mathematical models representing aircraft geometries are created for use in theoretical aerodynamic analyses and in computer aided manufacturing. The aerodynamic shapes are defined using parametric bi-cubic splined patches. This mathematical representation is then used as input to an algorithm that generates a color shaded image of the geometry. A discussion of the techniques used in the mathematical representation of the geometry and in the rendering of the color shaded display is presented. The results include examples of color shaded displays, which are contrasted with wire frame type displays. The examples also show the use of mapped surface pressures in terms of color shaded images of V/STOL fighter/attack aircraft and advanced turboprop aircraft.

School Mathematics Study Group, Unit Number Two. Chapter 3 - Informal Algorithms and Flow Charts. Chapter 4 - Applications and Mathematics Models.

ERIC Educational Resources Information Center

Stanford Univ., CA. School Mathematics Study Group.

This is the second unit of a 15-unit School Mathematics Study Group (SMSG) mathematics text for high school students. Topics presented in the first chapter (Informal Algorithms and Flow Charts) include: changing a flat tire; algorithms, flow charts, and computers; assignment and variables; input and output; using a variable as a counter; decisions…

Computer Attitude, Use, Experience, Software Familiarity and Perceived Pedagogical Usefulness: The Case of Mathematics Professors

ERIC Educational Resources Information Center

Yushau, Balarabe

2006-01-01

As the pedagogical-effectiveness of information technology (IT) in mathematics education is carefully established the topic of discourse among mathematicians and mathematics educators is no longer a dispute about whether or not to use IT in the teaching and learning of mathematics but a shift to some debate about the when and how of its usage.…