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.

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…

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…

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

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.

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.

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…

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.

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…

Joint the Center for Applied Scientific Computing

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

Gamblin, Todd; Bremer, Timo; Van Essen, Brian

The Center for Applied Scientific Computing serves as Livermore Lab’s window to the broader computer science, computational physics, applied mathematics, and data science research communities. In collaboration with academic, industrial, and other government laboratory partners, we conduct world-class scientific research and development on problems critical to national security. CASC applies the power of high-performance computing and the efficiency of modern computational methods to the realms of stockpile stewardship, cyber and energy security, and knowledge discovery for intelligence applications.

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.

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.

A Multifaceted Mathematical Approach for Complex Systems

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

Alexander, F.; Anitescu, M.; Bell, J.

2012-03-07

Applied mathematics has an important role to play in developing the tools needed for the analysis, simulation, and optimization of complex problems. These efforts require the development of the mathematical foundations for scientific discovery, engineering design, and risk analysis based on a sound integrated approach for the understanding of complex systems. However, maximizing the impact of applied mathematics on these challenges requires a novel perspective on approaching the mathematical enterprise. Previous reports that have surveyed the DOE's research needs in applied mathematics have played a key role in defining research directions with the community. Although these reports have had significantmore » impact, accurately assessing current research needs requires an evaluation of today's challenges against the backdrop of recent advances in applied mathematics and computing. To address these needs, the DOE Applied Mathematics Program sponsored a Workshop for Mathematics for the Analysis, Simulation and Optimization of Complex Systems on September 13-14, 2011. The workshop had approximately 50 participants from both the national labs and academia. The goal of the workshop was to identify new research areas in applied mathematics that will complement and enhance the existing DOE ASCR Applied Mathematics Program efforts that are needed to address problems associated with complex systems. This report describes recommendations from the workshop and subsequent analysis of the workshop findings by the organizing committee.« less

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

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.

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

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.

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

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…

Theory, Modeling, Software and Hardware Development for Analytical and Computational Materials Science

NASA Technical Reports Server (NTRS)

Young, Gerald W.; Clemons, Curtis B.

2004-01-01

The focus of this Cooperative Agreement between the Computational Materials Laboratory (CML) of the Processing Science and Technology Branch of the NASA Glenn Research Center (GRC) and the Department of Theoretical and Applied Mathematics at The University of Akron was in the areas of system development of the CML workstation environment, modeling of microgravity and earth-based material processing systems, and joint activities in laboratory projects. These efforts complement each other as the majority of the modeling work involves numerical computations to support laboratory investigations. Coordination and interaction between the modelers, system analysts, and laboratory personnel are essential toward providing the most effective simulations and communication of the simulation results. Toward these means, The University of Akron personnel involved in the agreement worked at the Applied Mathematics Research Laboratory (AMRL) in the Department of Theoretical and Applied Mathematics while maintaining a close relationship with the personnel of the Computational Materials Laboratory at GRC. Network communication between both sites has been established. A summary of the projects we undertook during the time period 9/1/03 - 6/30/04 is included.

Applied Mathematics, Tenth Grade. A Resource Manual.

ERIC Educational Resources Information Center

Baltimore County Public Schools, Towson, MD.

This resource manual is designed for use with tenth grade boys whose main interest lies in the shop and industrial arts areas. The course emphasizes mathematical problems inherent in various trades and industries. The primary objective is to motivate the student to apply, improve, and increase his computational skills. The manual is divided into…

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

Computational Toxicology (S)

EPA Science Inventory

The emerging field of computational toxicology applies mathematical and computer models and molecular biological and chemical approaches to explore both qualitative and quantitative relationships between sources of environmental pollutant exposure and adverse health outcomes. Th...

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…

Electrical Circuits in the Mathematics/Computer Science Classroom.

ERIC Educational Resources Information Center

McMillan, Robert D.

1988-01-01

Shows how, with little or no electrical background, students can apply Boolean algebra concepts to design and build integrated electrical circuits in the classroom that will reinforce important ideas in mathematics. (PK)

Robert Leland - Associate Lab Director, Scientific Computing and Energy

Science.gov Websites

, applied mathematics, visualization, data, and analysis of energy systems, technologies, policies and Energy Analysis directorate. Leland earned his Ph.D. in mathematics from Oxford University in 1989

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.

Institute for Computer Applications in Science and Engineering (ICASE)

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 April 1, 1983 through September 30, 1983 is summarized.

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.

The Psychology of Mathematics Learning: Past and Present.

ERIC Educational Resources Information Center

Education and Urban Society, 1985

1985-01-01

Reviews trends in applying psychology to mathematics learning. Discusses the influence of behaviorism and other functionalist theories, Gestalt theory, Piagetian theory, and the "new functionalism" evident in computer-oriented theories of information processing. (GC)

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…

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.

Activities of the Institute for Computer Applications in Science and Engineering

NASA Technical Reports Server (NTRS)

1985-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 1, 1985 through October 2, 1985 is summarized.

Semiannual report

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 1 Oct. 1994 - 31 Mar. 1995.

Current problems in applied mathematics and mathematical modeling

NASA Astrophysics Data System (ADS)

Alekseev, A. S.

Papers are presented on mathematical modeling noting applications to such fields as geophysics, chemistry, atmospheric optics, and immunology. Attention is also given to models of ocean current fluxes, atmospheric and marine interactions, and atmospheric pollution. The articles include studies of catalytic reactors, models of global climate phenomena, and computer-assisted atmospheric models.

Educational NASA Computational and Scientific Studies (enCOMPASS)

NASA Technical Reports Server (NTRS)

Memarsadeghi, Nargess

2013-01-01

Educational NASA Computational and Scientific Studies (enCOMPASS) is an educational project of NASA Goddard Space Flight Center aimed at bridging the gap between computational objectives and needs of NASA's scientific research, missions, and projects, and academia's latest advances in applied mathematics and computer science. enCOMPASS achieves this goal via bidirectional collaboration and communication between NASA and academia. Using developed NASA Computational Case Studies in university computer science/engineering and applied mathematics classes is a way of addressing NASA's goals of contributing to the Science, Technology, Education, and Math (STEM) National Objective. The enCOMPASS Web site at http://encompass.gsfc.nasa.gov provides additional information. There are currently nine enCOMPASS case studies developed in areas of earth sciences, planetary sciences, and astrophysics. Some of these case studies have been published in AIP and IEEE's Computing in Science and Engineering magazines. A few university professors have used enCOMPASS case studies in their computational classes and contributed their findings to NASA scientists. In these case studies, after introducing the science area, the specific problem, and related NASA missions, students are first asked to solve a known problem using NASA data and past approaches used and often published in a scientific/research paper. Then, after learning about the NASA application and related computational tools and approaches for solving the proposed problem, students are given a harder problem as a challenge for them to research and develop solutions for. This project provides a model for NASA scientists and engineers on one side, and university students, faculty, and researchers in computer science and applied mathematics on the other side, to learn from each other's areas of work, computational needs and solutions, and the latest advances in research and development. This innovation takes NASA science and engineering applications to computer science and applied mathematics university classes, and makes NASA objectives part of the university curricula. There is great potential for growth and return on investment of this program to the point where every major university in the U.S. would use at least one of these case studies in one of their computational courses, and where every NASA scientist and engineer facing a computational challenge (without having resources or expertise to solve it) would use enCOMPASS to formulate the problem as a case study, provide it to a university, and get back their solutions and ideas.

Activities of the Institute for Computer Applications in Science and Engineering (ICASE)

NASA Technical Reports Server (NTRS)

1985-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, 1984 through March 31, 1985 is summarized.

[Research Conducted at the Institute for Computer Applications in Science and Engineering

NASA Technical Reports Server (NTRS)

1997-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 1 Oct. 1996 - 31 Mar. 1997.

Activities of the Institute for Computer Applications in Science and Engineering (ICASE)

NASA Technical Reports Server (NTRS)

1988-01-01

This report summarizes research conducted at the Institute for Computer Applications Science and Engineering in applied mathematics, numerical analysis, and computer science during the period October 2, 1987 through March 31, 1988.

[Activities of Institute for Computer Applications in Science and Engineering (ICASE)

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 April 1, 1999 through September 30. 1999.

Augmented Computer Mouse Would Measure Applied Force

NASA Technical Reports Server (NTRS)

Li, Larry C. H.

1993-01-01

Proposed computer mouse measures force of contact applied by user. Adds another dimension to two-dimensional-position-measuring capability of conventional computer mouse; force measurement designated to represent any desired continuously variable function of time and position, such as control force, acceleration, velocity, or position along axis perpendicular to computer video display. Proposed mouse enhances sense of realism and intuition in interaction between operator and computer. Useful in such applications as three-dimensional computer graphics, computer games, and mathematical modeling of dynamics.

Cryptanalysis in World War II--and Mathematics Education.

ERIC Educational Resources Information Center

Hilton, Peter

1984-01-01

Hilton describes the team of cryptanalysts who tried to decipher German and Japanese codes during the Second World War. The work of Turing, essentially developing the computer, is reported, as well as inferences about pure and applied mathematics. (MNS)

An Evaluation into the Views of Candidate Mathematics Teachers over "Tablet Computers" to be Applied in Secondary Schools

ERIC Educational Resources Information Center

Aksu, Hasan Hüseyin

2014-01-01

This study aims to investigate, in terms of different variables, the views of prospective Mathematics teachers on tablet computers to be used in schools as an outcome of the Fatih Project, which was initiated by the Ministry of National Education. In the study, scanning model, one of the quantitative research methods, was used. In the population…

The Language Factor in Elementary Mathematics Assessments: Computational Skills and Applied Problem Solving in a Multidimensional IRT Framework

ERIC Educational Resources Information Center

Hickendorff, Marian

2013-01-01

The results of an exploratory study into measurement of elementary mathematics ability are presented. The focus is on the abilities involved in solving standard computation problems on the one hand and problems presented in a realistic context on the other. The objectives were to assess to what extent these abilities are shared or distinct, and…

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.

Exposure Science and the US EPA National Center for Computational Toxicology

EPA Science Inventory

The emerging field of computational toxicology applies mathematical and computer models and molecular biological and chemical approaches to explore both qualitative and quantitative relationships between sources of environmental pollutant exposure and adverse health outcomes. The...

Research in progress at the Institute for Computer Applications in Science and Engineering

NASA Technical Reports Server (NTRS)

1987-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 1, 1987 through October 1, 1987.

Applied Mathematics at the U.S. Department of Energy: Past, Present and a View to the Future

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

Brown, D L; Bell, J; Estep, D

2008-02-15

Over the past half-century, the Applied Mathematics program in the U.S. Department of Energy's Office of Advanced Scientific Computing Research has made significant, enduring advances in applied mathematics that have been essential enablers of modern computational science. Motivated by the scientific needs of the Department of Energy and its predecessors, advances have been made in mathematical modeling, numerical analysis of differential equations, optimization theory, mesh generation for complex geometries, adaptive algorithms and other important mathematical areas. High-performance mathematical software libraries developed through this program have contributed as much or more to the performance of modern scientific computer codes as themore » high-performance computers on which these codes run. The combination of these mathematical advances and the resulting software has enabled high-performance computers to be used for scientific discovery in ways that could only be imagined at the program's inception. Our nation, and indeed our world, face great challenges that must be addressed in coming years, and many of these will be addressed through the development of scientific understanding and engineering advances yet to be discovered. The U.S. Department of Energy (DOE) will play an essential role in providing science-based solutions to many of these problems, particularly those that involve the energy, environmental and national security needs of the country. As the capability of high-performance computers continues to increase, the types of questions that can be answered by applying this huge computational power become more varied and more complex. It will be essential that we find new ways to develop and apply the mathematics necessary to enable the new scientific and engineering discoveries that are needed. In August 2007, a panel of experts in applied, computational and statistical mathematics met for a day and a half in Berkeley, California to understand the mathematical developments required to meet the future science and engineering needs of the DOE. It is important to emphasize that the panelists were not asked to speculate only on advances that might be made in their own research specialties. Instead, the guidance this panel was given was to consider the broad science and engineering challenges that the DOE faces and identify the corresponding advances that must occur across the field of mathematics for these challenges to be successfully addressed. As preparation for the meeting, each panelist was asked to review strategic planning and other informational documents available for one or more of the DOE Program Offices, including the Offices of Science, Nuclear Energy, Fossil Energy, Environmental Management, Legacy Management, Energy Efficiency & Renewable Energy, Electricity Delivery & Energy Reliability and Civilian Radioactive Waste Management as well as the National Nuclear Security Administration. The panelists reported on science and engineering needs for each of these offices, and then discussed and identified mathematical advances that will be required if these challenges are to be met. A review of DOE challenges in energy, the environment and national security brings to light a broad and varied array of questions that the DOE must answer in the coming years. A representative subset of such questions includes: (1) Can we predict the operating characteristics of a clean coal power plant? (2) How stable is the plasma containment in a tokamak? (3) How quickly is climate change occurring and what are the uncertainties in the predicted time scales? (4) How quickly can an introduced bio-weapon contaminate the agricultural environment in the US? (5) How do we modify models of the atmosphere and clouds to incorporate newly collected data of possibly of new types? (6) How quickly can the United States recover if part of the power grid became inoperable? (7) What are optimal locations and communication protocols for sensing devices in a remote-sensing network? (8) How can new materials be designed with a specified desirable set of properties? In comparing and contrasting these and other questions of importance to DOE, the panel found that while the scientific breadth of the requirements is enormous, a central theme emerges: Scientists are being asked to identify or provide technology, or to give expert analysis to inform policy-makers that requires the scientific understanding of increasingly complex physical and engineered systems. In addition, as the complexity of the systems of interest increases, neither experimental observation nor mathematical and computational modeling alone can access all components of the system over the entire range of scales or conditions needed to provide the required scientific understanding.« less

Strategy Instruction in Mathematics.

ERIC Educational Resources Information Center

Goldman, Susan R.

1989-01-01

Experiments in strategy instruction for mathematics have been conducted using three models (direct instruction, self-instruction, and guided learning) applied to the tasks of computation and word problem solving. Results have implications for effective strategy instruction for learning disabled students. It is recommended that strategy instruction…

Summary of research in progress at ICASE

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, fluid mechanics, and computer science during the period October 1, 1992 through March 31, 1993.

[Activities of Institute for Computer Applications in Science and Engineering (ICASE)

NASA Technical Reports Server (NTRS)

Bushnell, Dennis M. (Technical Monitor)

2001-01-01

This report summarizes research conducted at ICASE in applied mathematics, fluid mechanics, computer science, and structures and material sciences during the period April 1, 2000 through September 30, 2000.

Careers in Applied Mathematics and Computational Sciences.

ERIC Educational Resources Information Center

Society for Industrial and Applied Mathematics, Philadelphia, PA.

This booklet provides some answers to questions on how mathematics is used in the world of work, what kinds of problems it solves, and why it is the key to so many careers, particularly to the jobs of the 21st century. Part of that preparation is mathematical knowledge, tools such as derivatives, probability, and matrices as well as central themes…

Data-Based Detection of Potential Terrorist Attacks: Statistical and Graphical Methods

DTIC Science & Technology

2010-06-01

Naren; Vasquez-Robinet, Cecilia; Watkinson, Jonathan: "A General Probabilistic Model of the PCR Process," Applied Mathematics and Computation 182(1...September 2006. Seminar, Measuring the effect of Length biased sampling, Mathematical Sciences Section, National Security Agency, 19 September 2006...Committee on National Statistics, 9 February 2007. Invited seminar, Statistical Tests for Bullet Lead Comparisons, Department of Mathematics , Butler

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.

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.

A phase space model of Fourier ptychographic microscopy

PubMed Central

Horstmeyer, Roarke; Yang, Changhuei

2014-01-01

A new computational imaging technique, termed Fourier ptychographic microscopy (FPM), uses a sequence of low-resolution images captured under varied illumination to iteratively converge upon a high-resolution complex sample estimate. Here, we propose a mathematical model of FPM that explicitly connects its operation to conventional ptychography, a common procedure applied to electron and X-ray diffractive imaging. Our mathematical framework demonstrates that under ideal illumination conditions, conventional ptychography and FPM both produce datasets that are mathematically linked by a linear transformation. We hope this finding encourages the future cross-pollination of ideas between two otherwise unconnected experimental imaging procedures. In addition, the coherence state of the illumination source used by each imaging platform is critical to successful operation, yet currently not well understood. We apply our mathematical framework to demonstrate that partial coherence uniquely alters both conventional ptychography’s and FPM’s captured data, but up to a certain threshold can still lead to accurate resolution-enhanced imaging through appropriate computational post-processing. We verify this theoretical finding through simulation and experiment. PMID:24514995

Mathematical and computational modeling simulation of solar drying Systems

USDA-ARS?s Scientific Manuscript database

Mathematical modeling of solar drying systems has the primary aim of predicting the required drying time for a given commodity, dryer type, and environment. Both fundamental (Fickian diffusion) and semi-empirical drying models have been applied to the solar drying of a variety of agricultural commo...

Tutoring Mathematical Word Problems Using Solution Trees: Text Comprehension, Situation Comprehension, and Mathematization in Solving Story Problems. Research Report No. 8.

ERIC Educational Resources Information Center

Reusser, Kurt; And Others

The main concern of this paper is on the psychological processes of how students understand and solve mathematical word problems, and on how this knowledge can be applied to computer-based tutoring. It is argued that only a better understanding of the psychological requirements for understanding and solving those problems will lead to…

Gesellschaft fuer angewandte Mathematik und Mechanik, Annual Scientific Meeting, Universitaet Regensburg, Regensburg, West Germany, April 16-19, 1984, Proceedings

NASA Astrophysics Data System (ADS)

Problems in applied mathematics and mechanics are addressed in reviews and reports. Areas covered are vibration and stability, elastic and plastic mechanics, fluid mechanics, the numerical treatment of differential equations (general theory and finite-element methods in particular), optimization, decision theory, stochastics, actuarial mathematics, applied analysis and mathematical physics, and numerical analysis. Included are major lectures on separated flows, the transition regime of rarefied-gas dynamics, recent results in nonlinear elasticity, fluid-elastic vibration, the new computer arithmetic, and unsteady wave propagation in layered elastic bodies.

Semiannual final report, 1 October 1991 - 31 March 1992

NASA Technical Reports Server (NTRS)

1992-01-01

A summary of research conducted at the Institute for Computer Applications in Science and Engineering in applied mathematics, numerical analysis, and computer science during the period 1 Oct. 1991 through 31 Mar. 1992 is presented.

Computer as a Medium for Overcoming Misconceptions in Solving Inequalities

ERIC Educational Resources Information Center

Abramovich, Sergei; Ehrlich, Amos

2007-01-01

Inequalities are considered among the most useful tools of investigation in pure and applied mathematics; yet their didactical aspects have not received much attention in mathematics education research until recently. An important aspect of teaching problem solving at the secondary level deals with the notion of equivalence of algebraic…

Polynomial Approximation of Functions: Historical Perspective and New Tools

ERIC Educational Resources Information Center

Kidron, Ivy

2003-01-01

This paper examines the effect of applying symbolic computation and graphics to enhance students' ability to move from a visual interpretation of mathematical concepts to formal reasoning. The mathematics topics involved, Approximation and Interpolation, were taught according to their historical development, and the students tried to follow the…

Mathematics for the Baker.

ERIC Educational Resources Information Center

Bogdany, Melvin

The curriculum guide offers a course of training in the fundamentals of mathematics as applied to baking. Problems specifically related to the baking trade are included to maintain a practical orientation. The course is designed to help the student develop proficiency in the basic computation of whole numbers, fractions, decimals, percentage,…

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.

Handbook of applied mathematics for engineers and scientists

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

Kurtz, M.

1991-12-31

This book is intended to be reference for applications of mathematics in a wide range of topics of interest to engineers and scientists. An unusual feature of this book is that it covers a large number of topics from elementary algebra, trigonometry, and calculus to computer graphics and cybernetics. The level of mathematics covers high school through about the junior level of an engineering curriculum in a major univeristy. Throughout, the emphasis is on applications of mathematics rather than on rigorous proofs.

Long-term Stable Conservative Multiscale Methods for Vortex Flows

DTIC Science & Technology

2017-10-31

Computational and Applied Mathematics and Engeneering, Eccomas 2016 (Crete, June, 2016) - M. A. Olshanskii, Scientific computing seminar of Math ...UMass Dartmouth (October 2015) - L. Rebholz, Applied Math Seminar Talk, University of Alberta (October 2015) - L. Rebholz, Colloquium Talk, Scientific...Colloquium, (November 2016) - L. Rebholz, Joint Math Meetings 2017, Special session on recent advances in numerical analysis of PDEs, Atlanta GA

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

Arimura, Hidetaka, E-mail: arimurah@med.kyushu-u.ac.jp; Kamezawa, Hidemi; Jin, Ze

Good relationships between computational image analysis and radiological physics have been constructed for increasing the accuracy of medical diagnostic imaging and radiation therapy in radiological physics. Computational image analysis has been established based on applied mathematics, physics, and engineering. This review paper will introduce how computational image analysis is useful in radiation therapy with respect to radiological physics.

Design and Implementation of a Relational Database Management System for the AFIT Thesis Process.

DTIC Science & Technology

1985-09-01

AIRLIFT Gourdin 4. APPLIED MATHEMATICS Daneman Lee Na rga rsen ker 5. ARTIFICIAL INTELLEGENCE Gen et 6. CAPARILITY ASSESSMENT S Budde Talbott 31...05 ARTIFICIAL INTELLIGENCE 06 CAPABILITY ASSESSMENT 07 COMMUNIICATIONS 08 COMPUTER AIDED DESIGN 09 COMPUTER BASED TRAINING 10 COMPUTER SOFTWARE 11

[Research Conducted at the Institute for Computer Applications in Science and Engineering for the Period October 1, 1999 through March 31, 2000

NASA Technical Reports Server (NTRS)

Bushnell, Dennis M. (Technical Monitor)

2000-01-01

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

Videos | Argonne National Laboratory

Science.gov Websites

science --Agent-based modeling --Applied mathematics --Artificial intelligence --Cloud computing management -Intelligence & counterterrorrism -Vulnerability assessment -Sensors & detectors Programs

Molecular modeling: An open invitation for applied mathematics

NASA Astrophysics Data System (ADS)

Mezey, Paul G.

2013-10-01

Molecular modeling methods provide a very wide range of challenges for innovative mathematical and computational techniques, where often high dimensionality, large sets of data, and complicated interrelations imply a multitude of iterative approximations. The physical and chemical basis of these methodologies involves quantum mechanics with several non-intuitive aspects, where classical interpretation and classical analogies are often misleading or outright wrong. Hence, instead of the everyday, common sense approaches which work so well in engineering, in molecular modeling one often needs to rely on rather abstract mathematical constraints and conditions, again emphasizing the high level of reliance on applied mathematics. Yet, the interdisciplinary aspects of the field of molecular modeling also generates some inertia and perhaps too conservative reliance on tried and tested methodologies, that is at least partially caused by the less than up-to-date involvement in the newest developments in applied mathematics. It is expected that as more applied mathematicians take up the challenge of employing the latest advances of their field in molecular modeling, important breakthroughs may follow. In this presentation some of the current challenges of molecular modeling are discussed.

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.

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

Hules, John

This 1998 annual report from the National Scientific Energy Research Computing Center (NERSC) presents the year in review of the following categories: Computational Science; Computer Science and Applied Mathematics; and Systems and Services. Also presented are science highlights in the following categories: Basic Energy Sciences; Biological and Environmental Research; Fusion Energy Sciences; High Energy and Nuclear Physics; and Advanced Scientific Computing Research and Other Projects.

Stabilized FE simulation of prototype thermal-hydraulics problems with integrated adjoint-based capabilities

NASA Astrophysics Data System (ADS)

Shadid, J. N.; Smith, T. M.; Cyr, E. C.; Wildey, T. M.; Pawlowski, R. P.

2016-09-01

A critical aspect of applying modern computational solution methods to complex multiphysics systems of relevance to nuclear reactor modeling, is the assessment of the predictive capability of specific proposed mathematical models. In this respect the understanding of numerical error, the sensitivity of the solution to parameters associated with input data, boundary condition uncertainty, and mathematical models is critical. Additionally, the ability to evaluate and or approximate the model efficiently, to allow development of a reasonable level of statistical diagnostics of the mathematical model and the physical system, is of central importance. In this study we report on initial efforts to apply integrated adjoint-based computational analysis and automatic differentiation tools to begin to address these issues. The study is carried out in the context of a Reynolds averaged Navier-Stokes approximation to turbulent fluid flow and heat transfer using a particular spatial discretization based on implicit fully-coupled stabilized FE methods. Initial results are presented that show the promise of these computational techniques in the context of nuclear reactor relevant prototype thermal-hydraulics problems.

Stabilized FE simulation of prototype thermal-hydraulics problems with integrated adjoint-based capabilities

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

Shadid, J.N., E-mail: jnshadi@sandia.gov; Department of Mathematics and Statistics, University of New Mexico; Smith, T.M.

A critical aspect of applying modern computational solution methods to complex multiphysics systems of relevance to nuclear reactor modeling, is the assessment of the predictive capability of specific proposed mathematical models. In this respect the understanding of numerical error, the sensitivity of the solution to parameters associated with input data, boundary condition uncertainty, and mathematical models is critical. Additionally, the ability to evaluate and or approximate the model efficiently, to allow development of a reasonable level of statistical diagnostics of the mathematical model and the physical system, is of central importance. In this study we report on initial efforts tomore » apply integrated adjoint-based computational analysis and automatic differentiation tools to begin to address these issues. The study is carried out in the context of a Reynolds averaged Navier–Stokes approximation to turbulent fluid flow and heat transfer using a particular spatial discretization based on implicit fully-coupled stabilized FE methods. Initial results are presented that show the promise of these computational techniques in the context of nuclear reactor relevant prototype thermal-hydraulics problems.« less

Stabilized FE simulation of prototype thermal-hydraulics problems with integrated adjoint-based capabilities

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

Shadid, J. N.; Smith, T. M.; Cyr, E. C.

A critical aspect of applying modern computational solution methods to complex multiphysics systems of relevance to nuclear reactor modeling, is the assessment of the predictive capability of specific proposed mathematical models. The understanding of numerical error, the sensitivity of the solution to parameters associated with input data, boundary condition uncertainty, and mathematical models is critical. Additionally, the ability to evaluate and or approximate the model efficiently, to allow development of a reasonable level of statistical diagnostics of the mathematical model and the physical system, is of central importance. In our study we report on initial efforts to apply integrated adjoint-basedmore » computational analysis and automatic differentiation tools to begin to address these issues. The study is carried out in the context of a Reynolds averaged Navier–Stokes approximation to turbulent fluid flow and heat transfer using a particular spatial discretization based on implicit fully-coupled stabilized FE methods. We present the initial results that show the promise of these computational techniques in the context of nuclear reactor relevant prototype thermal-hydraulics problems.« less

Stabilized FE simulation of prototype thermal-hydraulics problems with integrated adjoint-based capabilities

DOE PAGES

Shadid, J. N.; Smith, T. M.; Cyr, E. C.; ...

2016-05-20

A critical aspect of applying modern computational solution methods to complex multiphysics systems of relevance to nuclear reactor modeling, is the assessment of the predictive capability of specific proposed mathematical models. The understanding of numerical error, the sensitivity of the solution to parameters associated with input data, boundary condition uncertainty, and mathematical models is critical. Additionally, the ability to evaluate and or approximate the model efficiently, to allow development of a reasonable level of statistical diagnostics of the mathematical model and the physical system, is of central importance. In our study we report on initial efforts to apply integrated adjoint-basedmore » computational analysis and automatic differentiation tools to begin to address these issues. The study is carried out in the context of a Reynolds averaged Navier–Stokes approximation to turbulent fluid flow and heat transfer using a particular spatial discretization based on implicit fully-coupled stabilized FE methods. We present the initial results that show the promise of these computational techniques in the context of nuclear reactor relevant prototype thermal-hydraulics problems.« less

Modeling compressible multiphase flows with dispersed particles in both dense and dilute regimes

NASA Astrophysics Data System (ADS)

McGrath, T.; St. Clair, J.; Balachandar, S.

2018-05-01

Many important explosives and energetics applications involve multiphase formulations employing dispersed particles. While considerable progress has been made toward developing mathematical models and computational methodologies for these flows, significant challenges remain. In this work, we apply a mathematical model for compressible multiphase flows with dispersed particles to existing shock and explosive dispersal problems from the literature. The model is cast in an Eulerian framework, treats all phases as compressible, is hyperbolic, and satisfies the second law of thermodynamics. It directly applies the continuous-phase pressure gradient as a forcing function for particle acceleration and thereby retains relaxed characteristics for the dispersed particle phase that remove the constituent material sound velocity from the eigenvalues. This is consistent with the expected characteristics of dispersed particle phases and can significantly improve the stable time-step size for explicit methods. The model is applied to test cases involving the shock and explosive dispersal of solid particles and compared to data from the literature. Computed results compare well with experimental measurements, providing confidence in the model and computational methods applied.

Stability Analysis of Finite Difference Approximations to Hyperbolic Systems,and Problems in Applied and Computational Matrix and Operator Theory

DTIC Science & Technology

1990-12-07

Fundaqao Calouste Gulbenkian, Instituto Gulbenkian de Ci~ncia, Centro de C6lculo Cientifico , Coimbra, 1973. 28, Dirac, P. A. M., Spinors in Hilbert Space...Office of Scientific Research grants 1965 Mathematical Association of America Editorial Prize for the article entitled: "Linear Transformations on...matrices" 1966 L.R. Ford Memorial Prize awarded by the Mathematical Association of America for the article , "Permanents" 1989 Outstanding Computer

Imaging and applied optics: introduction to the feature issue.

PubMed

Zalevsky, Zeev; Arnison, Matthew R; Javidi, Bahram; Testorf, Markus

2018-03-01

This special issue of Applied Optics contains selected papers from OSA's Imaging Congress with particular emphasis on work from mathematics in imaging, computational optical sensing and imaging, imaging systems and applications, and 3D image acquisition and display.

Contours identification of elements in a cone beam computed tomography for investigating maxillary cysts

NASA Astrophysics Data System (ADS)

Chioran, Doina; Nicoarǎ, Adrian; Roşu, Şerban; Cǎrligeriu, Virgil; Ianeş, Emilia

2013-10-01

Digital processing of two-dimensional cone beam computer tomography slicesstarts by identification of the contour of elements within. This paper deals with the collective work of specialists in medicine and applied mathematics in computer science on elaborating and implementation of algorithms in dental 2D imagery.

A Method for Identifying Contours in Processing Digital Images from Computer Tomograph

NASA Astrophysics Data System (ADS)

Roşu, Şerban; Pater, Flavius; Costea, Dan; Munteanu, Mihnea; Roşu, Doina; Fratila, Mihaela

2011-09-01

The first step in digital processing of two-dimensional computed tomography images is to identify the contour of component elements. This paper deals with the collective work of specialists in medicine and applied mathematics in computer science on elaborating new algorithms and methods in medical 2D and 3D imagery.

Computational logic: its origins and applications.

PubMed

Paulson, Lawrence C

2018-02-01

Computational logic is the use of computers to establish facts in a logical formalism. Originating in nineteenth century attempts to understand the nature of mathematical reasoning, the subject now comprises a wide variety of formalisms, techniques and technologies. One strand of work follows the 'logic for computable functions (LCF) approach' pioneered by Robin Milner, where proofs can be constructed interactively or with the help of users' code (which does not compromise correctness). A refinement of LCF, called Isabelle, retains these advantages while providing flexibility in the choice of logical formalism and much stronger automation. The main application of these techniques has been to prove the correctness of hardware and software systems, but increasingly researchers have been applying them to mathematics itself.

Summary of research in applied mathematics, numerical analysis, and computer sciences

NASA Technical Reports Server (NTRS)

1986-01-01

The major categories of current ICASE research programs addressed include: numerical methods, with particular emphasis on the development and analysis of basic numerical algorithms; control and parameter identification problems, with emphasis on effective numerical methods; computational problems in engineering and physical sciences, particularly fluid dynamics, acoustics, and structural analysis; and computer systems and software, especially vector and parallel computers.

[ICASE Semiannual Report

NASA Technical Reports Server (NTRS)

Bushnell, Dennis M. (Technical Monitor)

2002-01-01

This report summarizes research conducted at ICASE in applied mathematics, fluid mechanics, computer science, and structures and material sciences during the period October 1, 2001 through March 31, 2002.

[Activities of ICASE}

NASA Technical Reports Server (NTRS)

Bushnell, Dennis M. (Technical Monitor)

2001-01-01

This report summarizes research conducted at ICASE in applied mathematics, computer science, fluid mechanics, and structures and material sciences during the period October 1, 2000 through March 31, 2001.

[Activities of ICASE

NASA Technical Reports Server (NTRS)

Bushnell, Dennis M. (Technical Monitor)

2002-01-01

This report summarizes research conducted at ICASE in applied mathematics, computer science, fluid mechanics, and structures and material sciences during the period April 1, 2001 through September 30, 2001.

A RUTCOR Project on Discrete Applied Mathematics

DTIC Science & Technology

1989-01-30

the more important results of this work is the possibility that Groebner basis methods of computational commutative algebra might lead to effective...Billera, L.J., " Groebner Basis Methods for Multivariate Splines," prepared for the Proceedings of the Oslo Conference on Computer-aided Geometric Design

Examining Gender DIF on a Multiple-Choice Test of Mathematics: A Confirmatory Approach.

ERIC Educational Resources Information Center

Ryan, Katherine E.; Fan, Meichu

1996-01-01

Results for 3,244 female and 3,033 male junior high school students from the Second International Mathematics Study show that applied items in algebra, geometry, and computation were easier for males but arithmetic items were differentially easier for females. Implications of these findings for assessment and instruction are discussed. (SLD)

Modeling and Analysis of Power Processing Systems (MAPPS). Volume 1: Technical report

NASA Technical Reports Server (NTRS)

Lee, F. C.; Rahman, S.; Carter, R. A.; Wu, C. H.; Yu, Y.; Chang, R.

1980-01-01

Computer aided design and analysis techniques were applied to power processing equipment. Topics covered include: (1) discrete time domain analysis of switching regulators for performance analysis; (2) design optimization of power converters using augmented Lagrangian penalty function technique; (3) investigation of current-injected multiloop controlled switching regulators; and (4) application of optimization for Navy VSTOL energy power system. The generation of the mathematical models and the development and application of computer aided design techniques to solve the different mathematical models are discussed. Recommendations are made for future work that would enhance the application of the computer aided design techniques for power processing systems.

Computing the Ediz eccentric connectivity index of discrete dynamic structures

NASA Astrophysics Data System (ADS)

Wu, Hualong; Kamran Siddiqui, Muhammad; Zhao, Bo; Gan, Jianhou; Gao, Wei

2017-06-01

From the earlier studies in physical and chemical sciences, it is found that the physico-chemical characteristics of chemical compounds are internally connected with their molecular structures. As a theoretical basis, it provides a new way of thinking by analyzing the molecular structure of the compounds to understand their physical and chemical properties. In our article, we study the physico-chemical properties of certain molecular structures via computing the Ediz eccentric connectivity index from mathematical standpoint. The results we yielded mainly apply to the techniques of distance and degree computation of mathematical derivation, and the conclusions have guiding significance in physical engineering.

ICASE

NASA Technical Reports Server (NTRS)

1994-01-01

This report summarizes research conducted at the Institute for Computer Applications in Science and Engineering in the areas of (1) applied and numerical mathematics, including numerical analysis and algorithm development; (2) theoretical and computational research in fluid mechanics in selected areas of interest, including acoustics and combustion; (3) experimental research in transition and turbulence and aerodynamics involving Langley facilities and scientists; and (4) computer science.

Computational oncology.

PubMed

Lefor, Alan T

2011-08-01

Oncology research has traditionally been conducted using techniques from the biological sciences. The new field of computational oncology has forged a new relationship between the physical sciences and oncology to further advance research. By applying physics and mathematics to oncologic problems, new insights will emerge into the pathogenesis and treatment of malignancies. One major area of investigation in computational oncology centers around the acquisition and analysis of data, using improved computing hardware and software. Large databases of cellular pathways are being analyzed to understand the interrelationship among complex biological processes. Computer-aided detection is being applied to the analysis of routine imaging data including mammography and chest imaging to improve the accuracy and detection rate for population screening. The second major area of investigation uses computers to construct sophisticated mathematical models of individual cancer cells as well as larger systems using partial differential equations. These models are further refined with clinically available information to more accurately reflect living systems. One of the major obstacles in the partnership between physical scientists and the oncology community is communications. Standard ways to convey information must be developed. Future progress in computational oncology will depend on close collaboration between clinicians and investigators to further the understanding of cancer using these new approaches.

Mathematical modeling of heat transfer problems in the permafrost

NASA Astrophysics Data System (ADS)

Gornov, V. F.; Stepanov, S. P.; Vasilyeva, M. V.; Vasilyev, V. I.

2014-11-01

In this work we present results of numerical simulation of three-dimensional temperature fields in soils for various applied problems: the railway line in the conditions of permafrost for different geometries, the horizontal tunnel underground storage and greenhouses of various designs in the Far North. Mathematical model of the process is described by a nonstationary heat equation with phase transitions of pore water. The numerical realization of the problem is based on the finite element method using a library of scientific computing FEniCS. For numerical calculations we use high-performance computing systems.

Mathematical and Computational Aspects Related to Soil Modeling and Simulation

DTIC Science & Technology

2017-09-26

and simulation challenges at the interface of applied math (homogenization, handling of discontinuous behavior, discrete vs. continuum representations...applied math tools need to be established and used to figure out how to impose compatible boundary conditions, how to better approximate the gradient

Computational logic: its origins and applications

PubMed Central

2018-01-01

Computational logic is the use of computers to establish facts in a logical formalism. Originating in nineteenth century attempts to understand the nature of mathematical reasoning, the subject now comprises a wide variety of formalisms, techniques and technologies. One strand of work follows the ‘logic for computable functions (LCF) approach’ pioneered by Robin Milner, where proofs can be constructed interactively or with the help of users’ code (which does not compromise correctness). A refinement of LCF, called Isabelle, retains these advantages while providing flexibility in the choice of logical formalism and much stronger automation. The main application of these techniques has been to prove the correctness of hardware and software systems, but increasingly researchers have been applying them to mathematics itself. PMID:29507522

Turbulent Flow Simulation at the Exascale: Opportunities and Challenges Workshop: August 4-5, 2015, Washington, D.C.

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

Sprague, Michael A.; Boldyrev, Stanislav; Fischer, Paul

This report details the impact exascale will bring to turbulent-flow simulations in applied science and technology. The need for accurate simulation of turbulent flows is evident across the DOE applied-science and engineering portfolios, including combustion, plasma physics, nuclear-reactor physics, wind energy, and atmospheric science. The workshop brought together experts in turbulent-flow simulation, computational mathematics, and high-performance computing. Building upon previous ASCR workshops on exascale computing, participants defined a research agenda and path forward that will enable scientists and engineers to continually leverage, engage, and direct advances in computational systems on the path to exascale computing.

Mathematical modeling of swirled flows in industrial applications

NASA Astrophysics Data System (ADS)

Dekterev, A. A.; Gavrilov, A. A.; Sentyabov, A. V.

2018-03-01

Swirled flows are widely used in technological devices. Swirling flows are characterized by a wide range of flow regimes. 3D mathematical modeling of flows is widely used in research and design. For correct mathematical modeling of such a flow, it is necessary to use turbulence models, which take into account important features of the flow. Based on the experience of computational modeling of a wide class of problems with swirling flows, recommendations on the use of turbulence models for calculating the applied problems are proposed.

Computer Programs in Marine Science: Key to Oceanographic Records Documentation No. 5.

ERIC Educational Resources Information Center

Firestone, Mary A.

Presented are abstracts of 700 computer programs in marine science. The programs listed are categorized under a wide range of headings which include physical oceanography, chemistry, coastal and estuarine processes, biology, pollution, air-sea interaction and heat budget, navigation and charting, curve fitting, and applied mathematics. The…

Encouraging more women into computer science: Initiating a single-sex intervention program in Sweden

NASA Astrophysics Data System (ADS)

Brandell, Gerd; Carlsson, Svante; Ekblom, Håkan; Nord, Ann-Charlotte

1997-11-01

The process of starting a new program in computer science and engineering, heavily based on applied mathematics and only open to women, is described in this paper. The program was introduced into an educational system without any tradition in single-sex education. Important observations made during the process included the considerable interest in mathematics and curiosity about computer science found among female students at the secondary school level, and the acceptance of the single-sex program by the staff, administration, and management of the university as well as among male and female students. The process described highlights the importance of preparing the environment for a totally new type of educational program.

The mathematics of a quantum Hamiltonian computing half adder Boolean logic gate.

PubMed

Dridi, G; Julien, R; Hliwa, M; Joachim, C

2015-08-28

The mathematics behind the quantum Hamiltonian computing (QHC) approach of designing Boolean logic gates with a quantum system are given. Using the quantum eigenvalue repulsion effect, the QHC AND, NAND, OR, NOR, XOR, and NXOR Hamiltonian Boolean matrices are constructed. This is applied to the construction of a QHC half adder Hamiltonian matrix requiring only six quantum states to fullfil a half Boolean logical truth table. The QHC design rules open a nano-architectronic way of constructing Boolean logic gates inside a single molecule or atom by atom at the surface of a passivated semi-conductor.

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

Applied Mathematics for agronomical engineers in Spain at UPM

NASA Astrophysics Data System (ADS)

Anton, J. M.; Grau, J. B.; Tarquis, A. M.; Fabregat, J.; Sanchez, M. E.

2009-04-01

Mathematics, created or discovered, are a global human conceptual endowment, containing large systems of knowledge, and varied skills to use definite parts of them, in creation or discovery, or for applications, e.g. in Physics, or notably in engineering behaviour. When getting upper intellectual levels in the 19th century, the agronomical science and praxis was noticeably or mainly organised in Spain in agronomical engineering schools and also in institutes, together with technician schools, also with different lower lever centres, and they have evolved with progress and they are much changing at present to a EEES schema (Bolonia process). They work in different lines that need some basis or skills from mathematics. The vocation to start such careers, that have varied curriculums, contains only some mathematics, and the number of credits for mathematics is restrained because time is necessary for other initial sciences such as applied chemistry, biology, ecology and soil sciences, but some basis and skill of maths are needed, also with Physics, at least for electricity, machines, construction, economics at initial ground levels, and also for Statistics that are here considered part of Applied Mathematics. The ways of teaching mathematical basis and skills are especial, and are different from the practical ways needed e. g. for Soil Sciences, and they involve especial efforts from students, and especial controls or exams that guide much learning. The mathematics have a very large accepted content that uses mostly a standard logic, and that is remarkably stable and international, rather similar notation and expressions being used with different main languages. For engineering the logical basis is really often not taught, but the use of it is transferred, especially for calculus that requires both adapted somehow simplified schemas and the learning of a specific skill to use it, and also for linear algebra. The basic forms of differential calculus in several variables are an example, maybe since Leibnitz, of the difficulty of balance rigor and usefulness in limited hours of teaching. In part engineers use of mathematics with manuals and now with computers that use packages, general (MAPLE, MATLAB, may be MATHCAD, et. C. ) or specific, such as for Statistics, Topography, Structural design, Hydraulics, specific Machines,…, and mostly the details of the algorithms are hidden, but the engineer must have in mind the basic mathematical schemas justifying what he is constructing with these tools, the PC being also used for organisation and drawing. The engineers must adapt to the evolution of these packages and computers that get much changed and improved in five or ten years, quicker than the specific engineering environment, and a clear idea of the much more stable mathematical structures behind gives a solid mental ground for that. An initiation to using computers also with a mathematical structure behind is necessary, to be followed in professional life. A specific actualisation of mathematical knowledge is often necessary for some new applications.

Introducing Computer Simulation into the High School: An Applied Mathematics Curriculum.

ERIC Educational Resources Information Center

Roberts, Nancy

1981-01-01

A programing language called DYNAMO, developed especially for writing simulation models, is promoted. Details of six, self-teaching curriculum packages recently developed for simulation-oriented instruction are provided. (MP)

Mathematics, the Computer, and the Impact on Mathematics Education.

ERIC Educational Resources Information Center

Tooke, D. James

2001-01-01

Discusses the connection between mathematics and the computer; mathematics curriculum; mathematics instruction, including teachers learning to use computers; and the impact of the computer on learning mathematics. (LRW)

Equating Two Forms of a Criterion-Referenced Test by Using Norm Referenced Data: An Illustration of Two Methods.

ERIC Educational Resources Information Center

Garcia-Quintana, Roan A.; Johnson, Lynne M.

Three different computational procedures for equating two forms of a test were applied to a pair of mathematics tests to compare the results of the three procedures. The tests that were being equated were two forms of the SRA Mastery Mathematics Tests. The common, linking test used for equating was the Comprehensive Tests of Basic Skills, Form S,…

Understanding immunology via engineering design: the role of mathematical prototyping.

PubMed

Klinke, David J; Wang, Qing

2012-01-01

A major challenge in immunology is how to translate data into knowledge given the inherent complexity and dynamics of human physiology. Both the physiology and engineering communities have rich histories in applying computational approaches to translate data obtained from complex systems into knowledge of system behavior. However, there are some differences in how disciplines approach problems. By referring to mathematical models as mathematical prototypes, we aim to highlight aspects related to the process (i.e., prototyping) rather than the product (i.e., the model). The objective of this paper is to review how two related engineering concepts, specifically prototyping and "fitness for use," can be applied to overcome the pressing challenge in translating data into improved knowledge of basic immunology that can be used to improve therapies for disease. These concepts are illustrated using two immunology-related examples. The prototypes presented focus on the beta cell mass at the onset of type 1 diabetes and the dynamics of dendritic cells in the lung. This paper is intended to illustrate some of the nuances associated with applying mathematical modeling to improve understanding of the dynamics of disease progression in humans.

History and Legacy

ERIC Educational Resources Information Center

Mason, Diana S.

2004-01-01

The history of the computer usage in high school laboratories is discussed. Students learned scientific methods by acknowledging measurement errors, using significant digits, questioning their own results, and without doubts, they benefited from applying skill learned in mathematics classes.

Fusion Energy Sciences Exascale Requirements Review. An Office of Science review sponsored jointly by Advanced Scientific Computing Research and Fusion Energy Sciences, January 27-29, 2016, Gaithersburg, Maryland

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

Chang, Choong-Seock; Greenwald, Martin; Riley, Katherine

The additional computing power offered by the planned exascale facilities could be transformational across the spectrum of plasma and fusion research — provided that the new architectures can be efficiently applied to our problem space. The collaboration that will be required to succeed should be viewed as an opportunity to identify and exploit cross-disciplinary synergies. To assess the opportunities and requirements as part of the development of an overall strategy for computing in the exascale era, the Exascale Requirements Review meeting of the Fusion Energy Sciences (FES) community was convened January 27–29, 2016, with participation from a broad range ofmore » fusion and plasma scientists, specialists in applied mathematics and computer science, and representatives from the U.S. Department of Energy (DOE) and its major computing facilities. This report is a summary of that meeting and the preparatory activities for it and includes a wealth of detail to support the findings. Technical opportunities, requirements, and challenges are detailed in this report (and in the recent report on the Workshop on Integrated Simulation). Science applications are described, along with mathematical and computational enabling technologies. Also see http://exascaleage.org/fes/ for more information.« less

Computational modeling in melanoma for novel drug discovery.

PubMed

Pennisi, Marzio; Russo, Giulia; Di Salvatore, Valentina; Candido, Saverio; Libra, Massimo; Pappalardo, Francesco

2016-06-01

There is a growing body of evidence highlighting the applications of computational modeling in the field of biomedicine. It has recently been applied to the in silico analysis of cancer dynamics. In the era of precision medicine, this analysis may allow the discovery of new molecular targets useful for the design of novel therapies and for overcoming resistance to anticancer drugs. According to its molecular behavior, melanoma represents an interesting tumor model in which computational modeling can be applied. Melanoma is an aggressive tumor of the skin with a poor prognosis for patients with advanced disease as it is resistant to current therapeutic approaches. This review discusses the basics of computational modeling in melanoma drug discovery and development. Discussion includes the in silico discovery of novel molecular drug targets, the optimization of immunotherapies and personalized medicine trials. Mathematical and computational models are gradually being used to help understand biomedical data produced by high-throughput analysis. The use of advanced computer models allowing the simulation of complex biological processes provides hypotheses and supports experimental design. The research in fighting aggressive cancers, such as melanoma, is making great strides. Computational models represent the key component to complement these efforts. Due to the combinatorial complexity of new drug discovery, a systematic approach based only on experimentation is not possible. Computational and mathematical models are necessary for bringing cancer drug discovery into the era of omics, big data and personalized medicine.

CSM research: Methods and application studies

NASA Technical Reports Server (NTRS)

Knight, Norman F., Jr.

1989-01-01

Computational mechanics is that discipline of applied science and engineering devoted to the study of physical phenomena by means of computational methods based on mathematical modeling and simulation, utilizing digital computers. The discipline combines theoretical and applied mechanics, approximation theory, numerical analysis, and computer science. Computational mechanics has had a major impact on engineering analysis and design. When applied to structural mechanics, the discipline is referred to herein as computational structural mechanics. Complex structures being considered by NASA for the 1990's include composite primary aircraft structures and the space station. These structures will be much more difficult to analyze than today's structures and necessitate a major upgrade in computerized structural analysis technology. NASA has initiated a research activity in structural analysis called Computational Structural Mechanics (CSM). The broad objective of the CSM activity is to develop advanced structural analysis technology that will exploit modern and emerging computers, such as those with vector and/or parallel processing capabilities. Here, the current research directions for the Methods and Application Studies Team of the Langley CSM activity are described.

Comparing the cognitive differences resulting from modeling instruction: Using computer microworld and physical object instruction to model real world problems

NASA Astrophysics Data System (ADS)

Oursland, Mark David

This study compared the modeling achievement of students receiving mathematical modeling instruction using the computer microworld, Interactive Physics, and students receiving instruction using physical objects. Modeling instruction included activities where students applied the (a) linear model to a variety of situations, (b) linear model to two-rate situations with a constant rate, (c) quadratic model to familiar geometric figures. Both quantitative and qualitative methods were used to analyze achievement differences between students (a) receiving different methods of modeling instruction, (b) with different levels of beginning modeling ability, or (c) with different levels of computer literacy. Student achievement was analyzed quantitatively through a three-factor analysis of variance where modeling instruction, beginning modeling ability, and computer literacy were used as the three independent factors. The SOLO (Structure of the Observed Learning Outcome) assessment framework was used to design written modeling assessment instruments to measure the students' modeling achievement. The same three independent factors were used to collect and analyze the interviews and observations of student behaviors. Both methods of modeling instruction used the data analysis approach to mathematical modeling. The instructional lessons presented problem situations where students were asked to collect data, analyze the data, write a symbolic mathematical equation, and use equation to solve the problem. The researcher recommends the following practice for modeling instruction based on the conclusions of this study. A variety of activities with a common structure are needed to make explicit the modeling process of applying a standard mathematical model. The modeling process is influenced strongly by prior knowledge of the problem context and previous modeling experiences. The conclusions of this study imply that knowledge of the properties about squares improved the students' ability to model a geometric problem more than instruction in data analysis modeling. The uses of computer microworlds such as Interactive Physics in conjunction with cooperative groups are a viable method of modeling instruction.

Solving Differential Equations in R

EPA Science Inventory

Although R is still predominantly applied for statistical analysis and graphical representation, it is rapidly becoming more suitable for mathematical computing. One of the fields where considerable progress has been made recently is the solution of differential equations. Here w...

A summary of the research program in the broad field of electronics

NASA Technical Reports Server (NTRS)

1972-01-01

Summary reports of research projects covering solid state materials, semiconductors and devices, quantum electronics, plasmas, applied electromagnetics, electrical engineering systems to include control communication, computer and power systems, biomedical engineering and mathematical biosciences.

The Goddard Profiling Algorithm (GPROF): Description and Current Applications

NASA Technical Reports Server (NTRS)

Olson, William S.; Yang, Song; Stout, John E.; Grecu, Mircea

2004-01-01

Atmospheric scientists use different methods for interpreting satellite data. In the early days of satellite meteorology, the analysis of cloud pictures from satellites was primarily subjective. As computer technology improved, satellite pictures could be processed digitally, and mathematical algorithms were developed and applied to the digital images in different wavelength bands to extract information about the atmosphere in an objective way. The kind of mathematical algorithm one applies to satellite data may depend on the complexity of the physical processes that lead to the observed image, and how much information is contained in the satellite images both spatially and at different wavelengths. Imagery from satellite-borne passive microwave radiometers has limited horizontal resolution, and the observed microwave radiances are the result of complex physical processes that are not easily modeled. For this reason, a type of algorithm called a Bayesian estimation method is utilized to interpret passive microwave imagery in an objective, yet computationally efficient manner.

A note on the preconditioner Pm=(I+Sm)

NASA Astrophysics Data System (ADS)

Kohno, Toshiyuki; Niki, Hiroshi

2009-03-01

Kotakemori et al. [H. Kotakemori, K. Harada, M. Morimoto, H. Niki, A comparison theorem for the iterative method with the preconditioner (I+Smax), Journal of Computational and Applied Mathematics 145 (2002) 373-378] have reported that the convergence rate of the iterative method with a preconditioner Pm=(I+Sm) was superior to one of the modified Gauss-Seidel method under the condition. These authors derived a theorem comparing the Gauss-Seidel method with the proposed method. However, through application of a counter example, Wen Li [Wen Li, A note on the preconditioned GaussSeidel (GS) method for linear systems, Journal of Computational and Applied Mathematics 182 (2005) 81-91] pointed out that there exists a special matrix that does not satisfy this comparison theorem. In this note, we analyze the reason why such a to counter example may be produced, and propose a preconditioner to overcome this problem.

Multiple Scales in Fluid Dynamics and Meteorology: The DFG Priority Programme 1276 MetStröm

NASA Astrophysics Data System (ADS)

von Larcher, Th; Klein, R.

2012-04-01

Geophysical fluid motions are characterized by a very wide range of length and time scales, and by a rich collection of varying physical phenomena. The mathematical description of these motions reflects this multitude of scales and mechanisms in that it involves strong non-linearities and various scale-dependent singular limit regimes. Considerable progress has been made in recent years in the mathematical modelling and numerical simulation of such flows in detailed process studies, numerical weather forecasting, and climate research. One task of outstanding importance in this context has been and will remain for the foreseeable future the subgrid scale parameterization of the net effects of non-resolved processes that take place on spacio-temporal scales not resolvable even by the largest most recent supercomputers. Since the advent of numerical weather forecasting some 60 years ago, one simple but efficient means to achieve improved forecasting skills has been increased spacio-temporal resolution. This seems quite consistent with the concept of convergence of numerical methods in Applied Mathematics and Computational Fluid Dynamics (CFD) at a first glance. Yet, the very notion of increased resolution in atmosphere-ocean science is very different from the one used in Applied Mathematics: For the mathematician, increased resolution provides the benefit of getting closer to the ideal of a converged solution of some given partial differential equations. On the other hand, the atmosphere-ocean scientist would naturally refine the computational grid and adjust his mathematical model, such that it better represents the relevant physical processes that occur at smaller scales. This conceptual contradiction remains largely irrelevant as long as geophysical flow models operate with fixed computational grids and time steps and with subgrid scale parameterizations being optimized accordingly. The picture changes fundamentally when modern techniques from CFD involving spacio-temporal grid adaptivity get invoked in order to further improve the net efficiency in exploiting the given computational resources. In the setting of geophysical flow simulation one must then employ subgrid scale parameterizations that dynamically adapt to the changing grid sizes and time steps, implement ways to judiciously control and steer the newly available flexibility of resolution, and invent novel ways of quantifying the remaining errors. The DFG priority program MetStröm covers the expertise of Meteorology, Fluid Dynamics, and Applied Mathematics to develop model- as well as grid-adaptive numerical simulation concepts in multidisciplinary projects. The goal of this priority programme is to provide simulation models which combine scale-dependent (mathematical) descriptions of key physical processes with adaptive flow discretization schemes. Deterministic continuous approaches and discrete and/or stochastic closures and their possible interplay are taken into consideration. Research focuses on the theory and methodology of multiscale meteorological-fluid mechanics modelling. Accompanying reference experiments support model validation.

Students, Computers and Mathematics the Golden Trilogy in the Teaching-Learning Process

ERIC Educational Resources Information Center

García-Santillán, Arturo; Escalera-Chávez, Milka Elena; López-Morales, José Satsumi; Córdova Rangel, Arturo

2014-01-01

In this paper we examine the relationships between students' attitudes towards mathematics and technology, therefore, we take a Galbraith and Hines' scale (1998, 2000) about mathematics confidence, computer confidence, computer and mathematics interaction, mathematics motivation, computer motivation, and mathematics engagement. 164 questionnaires…

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.

Estimating Sobol Sensitivity Indices Using Correlations

EPA Science Inventory

Sensitivity analysis is a crucial tool in the development and evaluation of complex mathematical models. Sobol's method is a variance-based global sensitivity analysis technique that has been applied to computational models to assess the relative importance of input parameters on...

Mathematical neuroscience: from neurons to circuits to systems.

PubMed

Gutkin, Boris; Pinto, David; Ermentrout, Bard

2003-01-01

Applications of mathematics and computational techniques to our understanding of neuronal systems are provided. Reduction of membrane models to simplified canonical models demonstrates how neuronal spike-time statistics follow from simple properties of neurons. Averaging over space allows one to derive a simple model for the whisker barrel circuit and use this to explain and suggest several experiments. Spatio-temporal pattern formation methods are applied to explain the patterns seen in the early stages of drug-induced visual hallucinations.

VISUAL-SEVEIF, a tool for integrating fire behavior simulation and economic evaluation of the impact of Wildfires

Treesearch

Francisco Rodríguez y Silva; Juan Ramón Molina Martínez; Miguel Ángel Herrera Machuca; Jesús Mª Rodríguez Leal

2013-01-01

Progress made in recent years in fire science, particularly as applied to forest fire protection, coupled with the increased power offered by mathematical processors integrated into computers, has led to important developments in the field of dynamic and static simulation of forest fires. Furthermore, and similarly, econometric models applied to economic...

Constructing and predicting solitary pattern solutions for nonlinear time-fractional dispersive partial differential equations

NASA Astrophysics Data System (ADS)

Arqub, Omar Abu; El-Ajou, Ahmad; Momani, Shaher

2015-07-01

Building fractional mathematical models for specific phenomena and developing numerical or analytical solutions for these fractional mathematical models are crucial issues in mathematics, physics, and engineering. In this work, a new analytical technique for constructing and predicting solitary pattern solutions of time-fractional dispersive partial differential equations is proposed based on the generalized Taylor series formula and residual error function. The new approach provides solutions in the form of a rapidly convergent series with easily computable components using symbolic computation software. For method evaluation and validation, the proposed technique was applied to three different models and compared with some of the well-known methods. The resultant simulations clearly demonstrate the superiority and potentiality of the proposed technique in terms of the quality performance and accuracy of substructure preservation in the construct, as well as the prediction of solitary pattern solutions for time-fractional dispersive partial differential equations.

USSR and Eastern Europe Scientific Abstracts, Cybernetics, Computers and Automation Technology, Number 29.

DTIC Science & Technology

1978-01-17

approach to designing computers: Formal mathematical methods were applied and computers themselves began to be widely used in designing other...capital, labor resources and the funds of consumers. Analysis of the model indicates that at the present time the average complexity of production of...ALGORITHMIC COMPLETENESS AND COMPLEXITY OF MICROPROGRAMS Kiev KIBERNETIKA in Russian No 3, May/Jun 77 pp 1-15 manuscript received 22 Dec 76 G0LUNK0V

Case Studies in CAL!

ERIC Educational Resources Information Center

Rogers, David F., Ed.; Smith, P. R., Ed.

1984-01-01

Ten papers focus on applications in specific curriculum areas, modelling and simulation, and computer managed learning. Projects described include voice support for the visually handicapped, distance education, and industrial training, as well as teaching applied mathematics, several facets of engineering, zoology, and, with videodisc, observation…

Non-parametric correlative uncertainty quantification and sensitivity analysis: Application to a Langmuir bimolecular adsorption model

NASA Astrophysics Data System (ADS)

Feng, Jinchao; Lansford, Joshua; Mironenko, Alexander; Pourkargar, Davood Babaei; Vlachos, Dionisios G.; Katsoulakis, Markos A.

2018-03-01

We propose non-parametric methods for both local and global sensitivity analysis of chemical reaction models with correlated parameter dependencies. The developed mathematical and statistical tools are applied to a benchmark Langmuir competitive adsorption model on a close packed platinum surface, whose parameters, estimated from quantum-scale computations, are correlated and are limited in size (small data). The proposed mathematical methodology employs gradient-based methods to compute sensitivity indices. We observe that ranking influential parameters depends critically on whether or not correlations between parameters are taken into account. The impact of uncertainty in the correlation and the necessity of the proposed non-parametric perspective are demonstrated.

Computation of magnetic suspension of maglev systems using dynamic circuit theory

NASA Technical Reports Server (NTRS)

He, J. L.; Rote, D. M.; Coffey, H. T.

1992-01-01

Dynamic circuit theory is applied to several magnetic suspensions associated with maglev systems. These suspension systems are the loop-shaped coil guideway, the figure-eight-shaped null-flux coil guideway, and the continuous sheet guideway. Mathematical models, which can be used for the development of computer codes, are provided for each of these suspension systems. The differences and similarities of the models in using dynamic circuit theory are discussed in the paper. The paper emphasizes the transient and dynamic analysis and computer simulation of maglev systems. In general, the method discussed here can be applied to many electrodynamic suspension system design concepts. It is also suited for the computation of the performance of maglev propulsion systems. Numerical examples are presented in the paper.

Understanding Immunology via Engineering Design: The Role of Mathematical Prototyping

PubMed Central

Klinke, David J.; Wang, Qing

2012-01-01

A major challenge in immunology is how to translate data into knowledge given the inherent complexity and dynamics of human physiology. Both the physiology and engineering communities have rich histories in applying computational approaches to translate data obtained from complex systems into knowledge of system behavior. However, there are some differences in how disciplines approach problems. By referring to mathematical models as mathematical prototypes, we aim to highlight aspects related to the process (i.e., prototyping) rather than the product (i.e., the model). The objective of this paper is to review how two related engineering concepts, specifically prototyping and “fitness for use,” can be applied to overcome the pressing challenge in translating data into improved knowledge of basic immunology that can be used to improve therapies for disease. These concepts are illustrated using two immunology-related examples. The prototypes presented focus on the beta cell mass at the onset of type 1 diabetes and the dynamics of dendritic cells in the lung. This paper is intended to illustrate some of the nuances associated with applying mathematical modeling to improve understanding of the dynamics of disease progression in humans. PMID:22973412

Signal Processing for Radar Target Tracking and Identification

DTIC Science & Technology

1996-12-01

Computes the likelihood for various potential jump moves. 12. matrix_mult.m: Parallel implementation of linear algebra ... Elementary Lineary Algebra with Applications, John Wiley k Sons, Inc., New York, 1987. [9] A. K. Bhattacharyya, and D. L. Sengupta, Radar Cross...Miller, ’Target Tracking and Recognition Using Jump-Diffusion Processes," ARO’s 11th Army Conf. on Applied Mathemat- ics and Computing, June 8-11

Engineering for Liberal Arts and Engineering Students.

ERIC Educational Resources Information Center

The Weaver, 1986

1986-01-01

Describes courses designed to develop approaches for teaching engineering concepts, applied mathematics and computing skills to liberal arts undergraduates, and to teach the history of scientific and technological innovation and application to engineering and science majors. Discusses courses, course materials, enrichment activities, and…

76 FR 64330 - Advanced Scientific Computing Advisory Committee

Federal Register 2010, 2011, 2012, 2013, 2014

2011-10-18

... talks on HPC Reliability, Diffusion on Complex Networks, and Reversible Software Execution Systems Report from Applied Math Workshop on Mathematics for the Analysis, Simulation, and Optimization of Complex Systems Report from ASCR-BES Workshop on Data Challenges from Next Generation Facilities Public...

New extended (G'/G)-expansion method to solve nonlinear evolution equation: the (3 + 1)-dimensional potential-YTSF equation.

PubMed

Roshid, Harun-Or-; Akbar, M Ali; Alam, Md Nur; Hoque, Md Fazlul; Rahman, Nizhum

2014-01-01

In this article, a new extended (G'/G) -expansion method has been proposed for constructing more general exact traveling wave solutions of nonlinear evolution equations with the aid of symbolic computation. In order to illustrate the validity and effectiveness of the method, we pick the (3 + 1)-dimensional potential-YTSF equation. As a result, abundant new and more general exact solutions have been achieved of this equation. It has been shown that the proposed method provides a powerful mathematical tool for solving nonlinear wave equations in applied mathematics, engineering and mathematical physics.

Integrating pedagogical content knowledge and pedagogical/psychological knowledge in mathematics

PubMed Central

Harr, Nora; Eichler, Andreas; Renkl, Alexander

2014-01-01

In teacher education at universities, general pedagogical and psychological principles are often treated separately from subject matter knowledge and therefore run the risk of not being applied in the teaching subject. In an experimental study (N = 60 mathematics student teachers) we investigated the effects of providing aspects of general pedagogical/psychological knowledge (PPK) and pedagogical content knowledge (PCK) in an integrated or separated way. In both conditions (“integrated” vs. “separated”), participants individually worked on computer-based learning environments addressing the same topic: use and handling of multiple external representations, a central issue in mathematics. We experimentally varied whether PPK aspects and PCK aspects were treated integrated or apart from one another. As expected, the integrated condition led to greater application of pedagogical/psychological aspects and an increase in applying both knowledge types simultaneously compared to the separated condition. Overall, our findings indicate beneficial effects of an integrated design in teacher education. PMID:25191300

Integrating pedagogical content knowledge and pedagogical/psychological knowledge in mathematics.

PubMed

Harr, Nora; Eichler, Andreas; Renkl, Alexander

2014-01-01

In teacher education at universities, general pedagogical and psychological principles are often treated separately from subject matter knowledge and therefore run the risk of not being applied in the teaching subject. In an experimental study (N = 60 mathematics student teachers) we investigated the effects of providing aspects of general pedagogical/psychological knowledge (PPK) and pedagogical content knowledge (PCK) in an integrated or separated way. In both conditions ("integrated" vs. "separated"), participants individually worked on computer-based learning environments addressing the same topic: use and handling of multiple external representations, a central issue in mathematics. We experimentally varied whether PPK aspects and PCK aspects were treated integrated or apart from one another. As expected, the integrated condition led to greater application of pedagogical/psychological aspects and an increase in applying both knowledge types simultaneously compared to the separated condition. Overall, our findings indicate beneficial effects of an integrated design in teacher education.

Simulating the evolution of non-point source pollutants in a shallow water environment.

PubMed

Yan, Min; Kahawita, Rene

2007-03-01

Non-point source pollution originating from surface applied chemicals in either liquid or solid form as part of agricultural activities, appears in the surface runoff caused by rainfall. The infiltration and transport of these pollutants has a significant impact on subsurface and riverine water quality. The present paper describes the development of a unified 2-D mathematical model incorporating individual models for infiltration, adsorption, solubility rate, advection and diffusion, which significantly improve the current practice on mathematical modeling of pollutant evolution in shallow water. The governing equations have been solved numerically using cubic spline integration. Experiments were conducted at the Hydrodynamics Laboratory of the Ecole Polytechnique de Montreal to validate the mathematical model. Good correspondence between the computed results and experimental data has been obtained. The model may be used to predict the ultimate fate of surface applied chemicals by evaluating the proportions that are dissolved, infiltrated into the subsurface or are washed off.

Wave refraction diagrams for the Baltimore Canyon region of the mid-Atlantic continental shelf computed by using three bottom topography approximation techniques

NASA Technical Reports Server (NTRS)

Poole, L. R.

1976-01-01

The Langley Research Center and Virginia Institute of Marine Science wave refraction computer model was applied to the Baltimore Canyon region of the mid-Atlantic continental shelf. Wave refraction diagrams for a wide range of normally expected wave periods and directions were computed by using three bottom topography approximation techniques: quadratic least squares, cubic least squares, and constrained bicubic interpolation. Mathematical or physical interpretation of certain features appearing in the computed diagrams is discussed.

AQMAN; linear and quadratic programming matrix generator using two-dimensional ground-water flow simulation for aquifer management modeling

USGS Publications Warehouse

Lefkoff, L.J.; Gorelick, S.M.

1987-01-01

A FORTRAN-77 computer program code that helps solve a variety of aquifer management problems involving the control of groundwater hydraulics. It is intended for use with any standard mathematical programming package that uses Mathematical Programming System input format. The computer program creates the input files to be used by the optimization program. These files contain all the hydrologic information and management objectives needed to solve the management problem. Used in conjunction with a mathematical programming code, the computer program identifies the pumping or recharge strategy that achieves a user 's management objective while maintaining groundwater hydraulic conditions within desired limits. The objective may be linear or quadratic, and may involve the minimization of pumping and recharge rates or of variable pumping costs. The problem may contain constraints on groundwater heads, gradients, and velocities for a complex, transient hydrologic system. Linear superposition of solutions to the transient, two-dimensional groundwater flow equation is used by the computer program in conjunction with the response matrix optimization method. A unit stress is applied at each decision well and transient responses at all control locations are computed using a modified version of the U.S. Geological Survey two dimensional aquifer simulation model. The program also computes discounted cost coefficients for the objective function and accounts for transient aquifer conditions. (Author 's abstract)

Perceptual and academic patterns of learning-disabled/gifted students.

PubMed

Waldron, K A; Saphire, D G

1992-04-01

This research explored ways gifted children with learning disabilities perceive and recall auditory and visual input and apply this information to reading, mathematics, and spelling. 24 learning-disabled/gifted children and a matched control group of normally achieving gifted students were tested for oral reading, word recognition and analysis, listening comprehension, and spelling. In mathematics, they were tested for numeration, mental and written computation, word problems, and numerical reasoning. To explore perception and memory skills, students were administered formal tests of visual and auditory memory as well as auditory discrimination of sounds. Their responses to reading and to mathematical computations were further considered for evidence of problems in visual discrimination, visual sequencing, and visual spatial areas. Analyses indicated that these learning-disabled/gifted students were significantly weaker than controls in their decoding skills, in spelling, and in most areas of mathematics. They were also significantly weaker in auditory discrimination and memory, and in visual discrimination, sequencing, and spatial abilities. Conclusions are that these underlying perceptual and memory deficits may be related to students' academic problems.

24 CFR 570.416 - Hispanic-serving institutions work study program.

Code of Federal Regulations, 2010 CFR

2010-04-01

... to pre-professional careers in these fields. (b) Definitions. The following definitions apply to HSI... such as natural sciences, computer sciences, mathematics, accounting, electronics, engineering, and the... pursuing careers in community building, and make them aware of the availability of assistance opportunities...

Tutorial Computer-Assisted Language Learning

ERIC Educational Resources Information Center

Heift, Trude; Schulze, Mathias

2015-01-01

"Sometimes maligned for its allegedly behaviorist connotations but critical for success in many fields from music to sport to mathematics and language learning, 'practice' is undergoing something of a revival in the applied linguistics literature" (Long & Richards 2007, p. xi). This research timeline provides a systematic overview of…

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…

Parallel and Distributed Computing Combinatorial Algorithms

DTIC Science & Technology

1993-10-01

Discrete Math , 1991. In press. [551 L. Finkelstein, D. Kleitman, and T. Leighton. Applying the classification theorem for finite simple groups to minimize...Mathematics (in press). [741 L. Heath, T. Leighton, and A. Rosenberg. Comparing queue and stack layouts. SIAM J Discrete Math , 5(3):398-412, August 1992...line can meet only a few. DIMA CS Series in Discrete Math and Theoretical Computer Science, 9, 1993. Publications, Presentations and Theses Supported

Computer model of cardiovascular control system responses to exercise

NASA Technical Reports Server (NTRS)

Croston, R. C.; Rummel, J. A.; Kay, F. J.

1973-01-01

Approaches of systems analysis and mathematical modeling together with computer simulation techniques are applied to the cardiovascular system in order to simulate dynamic responses of the system to a range of exercise work loads. A block diagram of the circulatory model is presented, taking into account arterial segments, venous segments, arterio-venous circulation branches, and the heart. A cardiovascular control system model is also discussed together with model test results.

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

Introduction to the focus issue: fifty years of chaos: applied and theoretical.

PubMed

Hikihara, Takashi; Holmes, Philip; Kambe, Tsutomu; Rega, Giuseppe

2012-12-01

The discovery of deterministic chaos in the late nineteenth century, its subsequent study, and the development of mathematical and computational methods for its analysis have substantially influenced the sciences. Chaos is, however, only one phenomenon in the larger area of dynamical systems theory. This Focus Issue collects 13 papers, from authors and research groups representing the mathematical, physical, and biological sciences, that were presented at a symposium held at Kyoto University from November 28 to December 2, 2011. The symposium, sponsored by the International Union of Theoretical and Applied Mechanics, was called 50 Years of Chaos: Applied and Theoretical. Following some historical remarks to provide a background for the last 50 years, and for chaos, this Introduction surveys the papers and identifies some common themes that appear in them and in the theory of dynamical systems.

Quantitative Evaluation of Musical Scale Tunings

ERIC Educational Resources Information Center

Hall, Donald E.

1974-01-01

The acoustical and mathematical basis of the problem of tuning the twelve-tone chromatic scale is reviewed. A quantitative measurement showing how well any tuning succeeds in providing just intonation for any specific piece of music is explained and applied to musical examples using a simple computer program. (DT)

31 CFR 29.103 - Definitions.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 31 Money and Finance: Treasury 1 2010-07-01 2010-07-01 false Definitions. 29.103 Section 29.103 Money and Finance: Treasury Office of the Secretary of the Treasury FEDERAL BENEFIT PAYMENTS UNDER... regulations were properly applied; and/or (2) The mathematical computation of the benefit or liability is...

31 CFR 29.103 - Definitions.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 31 Money and Finance: Treasury 1 2013-07-01 2013-07-01 false Definitions. 29.103 Section 29.103 Money and Finance: Treasury Office of the Secretary of the Treasury FEDERAL BENEFIT PAYMENTS UNDER... regulations were properly applied; and/or (2) The mathematical computation of the benefit or liability is...

31 CFR 29.103 - Definitions.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 31 Money and Finance: Treasury 1 2011-07-01 2011-07-01 false Definitions. 29.103 Section 29.103 Money and Finance: Treasury Office of the Secretary of the Treasury FEDERAL BENEFIT PAYMENTS UNDER... regulations were properly applied; and/or (2) The mathematical computation of the benefit or liability is...

31 CFR 29.103 - Definitions.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 31 Money and Finance: Treasury 1 2014-07-01 2014-07-01 false Definitions. 29.103 Section 29.103 Money and Finance: Treasury Office of the Secretary of the Treasury FEDERAL BENEFIT PAYMENTS UNDER... regulations were properly applied; and/or (2) The mathematical computation of the benefit or liability is...

31 CFR 29.103 - Definitions.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 31 Money and Finance: Treasury 1 2012-07-01 2012-07-01 false Definitions. 29.103 Section 29.103 Money and Finance: Treasury Office of the Secretary of the Treasury FEDERAL BENEFIT PAYMENTS UNDER... regulations were properly applied; and/or (2) The mathematical computation of the benefit or liability is...

Transport theory and fluid dynamics

NASA Astrophysics Data System (ADS)

Greenberg, W.; Zweifel, P. F.

We report progress in various areas of applied mathematics relevant to transport theory under the subjects: abstract transport theory, explicit transport models and computation, and fluid dynamics. We present a brief review of progress during the past year and personnel supported, and we indicate the direction of our future research.

CICART Center For Integrated Computation And Analysis Of Reconnection And Turbulence

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

Bhattacharjee, Amitava

CICART is a partnership between the University of New Hampshire (UNH) and Dartmouth College. CICART addresses two important science needs of the DoE: the basic understanding of magnetic reconnection and turbulence that strongly impacts the performance of fusion plasmas, and the development of new mathematical and computational tools that enable the modeling and control of these phenomena. The principal participants of CICART constitute an interdisciplinary group, drawn from the communities of applied mathematics, astrophysics, computational physics, fluid dynamics, and fusion physics. It is a main premise of CICART that fundamental aspects of magnetic reconnection and turbulence in fusion devices, smaller-scalemore » laboratory experiments, and space and astrophysical plasmas can be viewed from a common perspective, and that progress in understanding in any of these interconnected fields is likely to lead to progress in others. The establishment of CICART has strongly impacted the education and research mission of a new Program in Integrated Applied Mathematics in the College of Engineering and Applied Sciences at UNH by enabling the recruitment of a tenure-track faculty member, supported equally by UNH and CICART, and the establishment of an IBM-UNH Computing Alliance. The proposed areas of research in magnetic reconnection and turbulence in astrophysical, space, and laboratory plasmas include the following topics: (A) Reconnection and secondary instabilities in large high-Lundquist-number plasmas, (B) Particle acceleration in the presence of multiple magnetic islands, (C) Gyrokinetic reconnection: comparison with fluid and particle-in-cell models, (D) Imbalanced turbulence, (E) Ion heating, and (F) Turbulence in laboratory (including fusion-relevant) experiments. These theoretical studies make active use of three high-performance computer simulation codes: (1) The Magnetic Reconnection Code, based on extended two-fluid (or Hall MHD) equations, in an Adaptive Mesh Refinement (AMR) framework, (2) the Particle Simulation Code, a fully electromagnetic 3D Particle-In-Cell (PIC) code that includes a collision operator, and (3) GS2, an Eulerian, electromagnetic, kinetic code that is widely used in the fusion program, and simulates the nonlinear gyrokinetic equations, together with a self-consistent set of Maxwell’s equations.« less

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.

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.

Determining Asset Criticality for Cyber Defense

DTIC Science & Technology

2011-09-23

sciences area that may be applied to our situation. In particular, Analytic Hierarchy Process ( AHP ) [20] and Hierarchical TOPSIS [21] [22] are some examples...34 Mathematical and Computer Modeling, vol. 45, no. 7-8, pp. 801-813, 2007. 33 [22] Jia-Wen Wang, Ching-Hsue Cheng, and Kun-Cheng Huang, " Fuzzy

Three-Dimensional Printing: A Journey in Visualization

ERIC Educational Resources Information Center

Poetzel, Adam; Muskin, Joseph; Munroe, Anne; Russell, Craig

2012-01-01

Imagine high school students glued to computer screens--not playing video games but applying their mathematical knowledge of functions to the design of three-dimensional sculptures. Imagine these students engaging in rich discourse as they transform functions of their choosing to design unique creations. Now, imagine these students using…

On laminar and turbulent friction

NASA Technical Reports Server (NTRS)

Von Karman, TH

1946-01-01

Report deals, first with the theory of the laminar friction flow, where the basic concepts of Prandtl's boundary layer theory are represented from mathematical and physical points of view, and a method is indicated by means of which even more complicated cases can be treated with simple mathematical means, at least approximately. An attempt is also made to secure a basis for the computation of the turbulent friction by means of formulas through which the empirical laws of the turbulent pipe resistance can be applied to other problems on friction drag. (author)

Calculating degree-based topological indices of dominating David derived networks

NASA Astrophysics Data System (ADS)

Ahmad, Muhammad Saeed; Nazeer, Waqas; Kang, Shin Min; Imran, Muhammad; Gao, Wei

2017-12-01

An important area of applied mathematics is the Chemical reaction network theory. The behavior of real world problems can be modeled by using this theory. Due to applications in theoretical chemistry and biochemistry, it has attracted researchers since its foundation. It also attracts pure mathematicians because it involves interesting mathematical structures. In this report, we compute newly defined topological indices, namely, Arithmetic-Geometric index (AG1 index), SK index, SK1 index, and SK2 index of the dominating David derived networks [1, 2, 3, 4, 5].

Methods of mathematical modeling using polynomials of algebra of sets

NASA Astrophysics Data System (ADS)

Kazanskiy, Alexandr; Kochetkov, Ivan

2018-03-01

The article deals with the construction of discrete mathematical models for solving applied problems arising from the operation of building structures. Security issues in modern high-rise buildings are extremely serious and relevant, and there is no doubt that interest in them will only increase. The territory of the building is divided into zones for which it is necessary to observe. Zones can overlap and have different priorities. Such situations can be described using formulas algebra of sets. Formulas can be programmed, which makes it possible to work with them using computer models.

Cumulative reports and publications

NASA Technical Reports Server (NTRS)

1993-01-01

A complete list of Institute for Computer Applications in Science and Engineering (ICASE) reports are listed. Since ICASE reports are intended to be preprints of articles that will appear in journals or conference proceedings, the published reference is included when it is available. The major categories of the current ICASE research program are: applied and numerical mathematics, including numerical analysis and algorithm development; theoretical and computational research in fluid mechanics in selected areas of interest to LaRC, including acoustics and combustion; experimental research in transition and turbulence and aerodynamics involving LaRC facilities and scientists; and computer science.

Finite element analysis and computer graphics visualization of flow around pitching and plunging airfoils

NASA Technical Reports Server (NTRS)

Bratanow, T.; Ecer, A.

1973-01-01

A general computational method for analyzing unsteady flow around pitching and plunging airfoils was developed. The finite element method was applied in developing an efficient numerical procedure for the solution of equations describing the flow around airfoils. The numerical results were employed in conjunction with computer graphics techniques to produce visualization of the flow. The investigation involved mathematical model studies of flow in two phases: (1) analysis of a potential flow formulation and (2) analysis of an incompressible, unsteady, viscous flow from Navier-Stokes equations.

An Overview of High Performance Computing and Challenges for the Future

ScienceCinema

Google Tech Talks

2017-12-09

In this talk we examine how high performance computing has changed over the last 10-year and look toward the future in terms of trends. These changes have had and will continue to have a major impact on our software. A new generation of software libraries and lgorithms are needed for the effective and reliable use of (wide area) dynamic, distributed and parallel environments. Some of the software and algorithm challenges have already been encountered, such as management of communication and memory hierarchies through a combination of compile--time and run--time techniques, but the increased scale of computation, depth of memory hierarchies, range of latencies, and increased run--time environment variability will make these problems much harder. We will focus on the redesign of software to fit multicore architectures. Speaker: Jack Dongarra University of Tennessee Oak Ridge National Laboratory University of Manchester Jack Dongarra received a Bachelor of Science in Mathematics from Chicago State University in 1972 and a Master of Science in Computer Science from the Illinois Institute of Technology in 1973. He received his Ph.D. in Applied Mathematics from the University of New Mexico in 1980. He worked at the Argonne National Laboratory until 1989, becoming a senior scientist. He now holds an appointment as University Distinguished Professor of Computer Science in the Electrical Engineering and Computer Science Department at the University of Tennessee, has the position of a Distinguished Research Staff member in the Computer Science and Mathematics Division at Oak Ridge National Laboratory (ORNL), Turing Fellow in the Computer Science and Mathematics Schools at the University of Manchester, and an Adjunct Professor in the Computer Science Department at Rice University. He specializes in numerical algorithms in linear algebra, parallel computing, the use of advanced-computer architectures, programming methodology, and tools for parallel computers. His research includes the development, testing and documentation of high quality mathematical software. He has contributed to the design and implementation of the following open source software packages and systems: EISPACK, LINPACK, the BLAS, LAPACK, ScaLAPACK, Netlib, PVM, MPI, NetSolve, Top500, ATLAS, and PAPI. He has published approximately 200 articles, papers, reports and technical memoranda and he is coauthor of several books. He was awarded the IEEE Sid Fernbach Award in 2004 for his contributions in the application of high performance computers using innovative approaches. He is a Fellow of the AAAS, ACM, and the IEEE and a member of the National Academy of Engineering.

An Overview of High Performance Computing and Challenges for the Future

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

Google Tech Talks

In this talk we examine how high performance computing has changed over the last 10-year and look toward the future in terms of trends. These changes have had and will continue to have a major impact on our software. A new generation of software libraries and lgorithms are needed for the effective and reliable use of (wide area) dynamic, distributed and parallel environments. Some of the software and algorithm challenges have already been encountered, such as management of communication and memory hierarchies through a combination of compile--time and run--time techniques, but the increased scale of computation, depth of memory hierarchies,more » range of latencies, and increased run--time environment variability will make these problems much harder. We will focus on the redesign of software to fit multicore architectures. Speaker: Jack Dongarra University of Tennessee Oak Ridge National Laboratory University of Manchester Jack Dongarra received a Bachelor of Science in Mathematics from Chicago State University in 1972 and a Master of Science in Computer Science from the Illinois Institute of Technology in 1973. He received his Ph.D. in Applied Mathematics from the University of New Mexico in 1980. He worked at the Argonne National Laboratory until 1989, becoming a senior scientist. He now holds an appointment as University Distinguished Professor of Computer Science in the Electrical Engineering and Computer Science Department at the University of Tennessee, has the position of a Distinguished Research Staff member in the Computer Science and Mathematics Division at Oak Ridge National Laboratory (ORNL), Turing Fellow in the Computer Science and Mathematics Schools at the University of Manchester, and an Adjunct Professor in the Computer Science Department at Rice University. He specializes in numerical algorithms in linear algebra, parallel computing, the use of advanced-computer architectures, programming methodology, and tools for parallel computers. His research includes the development, testing and documentation of high quality mathematical software. He has contributed to the design and implementation of the following open source software packages and systems: EISPACK, LINPACK, the BLAS, LAPACK, ScaLAPACK, Netlib, PVM, MPI, NetSolve, Top500, ATLAS, and PAPI. He has published approximately 200 articles, papers, reports and technical memoranda and he is coauthor of several books. He was awarded the IEEE Sid Fernbach Award in 2004 for his contributions in the application of high performance computers using innovative approaches. He is a Fellow of the AAAS, ACM, and the IEEE and a member of the National Academy of Engineering.« less

An attempt at the computer-aided management of HIV infection

NASA Astrophysics Data System (ADS)

Ida, A.; Oharu, Y.; Sankey, O.

2007-07-01

The immune system is a complex and diverse system in the human body and HIV virus disrupts and destroys it through extremely complicated but surprisingly logical process. The purpose of this paper is to make an attempt to present a method for the computer-aided management of HIV infection process by means of a mathematical model describing the dynamics of the host pathogen interaction with HIV-1. Treatments for the AIDS disease must be changed to more efficient ones in accordance with the disease progression and the status of the immune system. The level of progression and the status are represented by parameters which are governed by our mathematical model. It is then exhibited that our model is numerically stable and uniquely solvable. With this knowledge, our mathematical model for HIV disease progression is formulated and physiological interpretations are provided. The results of our numerical simulations are visualized, and it is seen that our results agree with medical aspects from the point of view of antiretroviral therapy. It is then expected that our approach will take to address practical clinical issues and will be applied to the computer-aided management of antiretroviral therapies.

Outcomes from the DOE Workshop on Turbulent Flow Simulation at the Exascale

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

Sprague, Michael; Boldyrev, Stanislav; Chang, Choong-Seock

This paper summarizes the outcomes from the Turbulent Flow Simulation at the Exascale: Opportunities and Challenges Workshop, which was held 4-5 August 2015, and was sponsored by the U.S. Department of Energy Office of Advanced Scientific Computing Research. The workshop objective was to define and describe the challenges and opportunities that computing at the exascale will bring to turbulent-flow simulations in applied science and technology. The need for accurate simulation of turbulent flows is evident across the U.S. Department of Energy applied-science and engineering portfolios, including combustion, plasma physics, nuclear-reactor physics, wind energy, and atmospheric science. The workshop brought togethermore » experts in turbulent-flow simulation, computational mathematics, and high-performance computing. Building upon previous ASCR workshops on exascale computing, participants defined a research agenda and path forward that will enable scientists and engineers to continually leverage, engage, and direct advances in computational systems on the path to exascale computing.« less

Mathematics and statistics research progress report, period ending June 30, 1983

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

Beauchamp, J. J.; Denson, M. V.; Heath, M. T.

1983-08-01

This report is the twenty-sixth in the series of progress reports of Mathematics and Statistics Research of the Computer Sciences organization, Union Carbide Corporation Nuclear Division. Part A records research progress in analysis of large data sets, applied analysis, biometrics research, computational statistics, materials science applications, numerical linear algebra, and risk analysis. Collaboration and consulting with others throughout the Oak Ridge Department of Energy complex are recorded in Part B. Included are sections on biological sciences, energy, engineering, environmental sciences, health and safety, and safeguards. Part C summarizes the various educational activities in which the staff was engaged. Part Dmore » lists the presentations of research results, and Part E records the staff's other professional activities during the report period.« less

A complementary measure of heterogeneity on mathematical skills

NASA Astrophysics Data System (ADS)

Fedriani, Eugenio M.; Moyano, Rafael

2012-06-01

Finding educational truths is an inherently multivariate problem. There are many factors affecting each student and their performances. Because of this, both measuring of skills and assessing students are always complex processes. This is a well-known problem, and a number of solutions have been proposed by specialists. One of its ramifications is that the variety of progress levels of students in the Mathematics classroom makes teaching more difficult. We think that a measure of the heterogeneity of the different student groups could be interesting in order to prepare some strategies to deal with these kinds of difficulties. The major aim of this study is to develop new tools, complementary to the statistical ones that are commonly used for these purposes, to study situations related to education (mainly to the detection of levels of mathematical education) in which several variables are involved. These tools are thought to simplify these educational analyses and, through a better comprehension of the topic, to improve our teaching. Several authors in our research group have developed some mathematical, theoretical tools, to deal with multidimensional phenomena, and have applied them to measure poverty and also to other business models. These tools are based on multidigraphs. In this article, we implement these tools using symbolic computational software and apply them to study a specific situation related to mathematical education.

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…

Staircase and Fractional Part Functions

ERIC Educational Resources Information Center

Amram, Meirav; Dagan, Miriam; Ioshpe, Michael; Satianov, Pavel

2016-01-01

The staircase and fractional part functions are basic examples of real functions. They can be applied in several parts of mathematics, such as analysis, number theory, formulas for primes, and so on; in computer programming, the floor and ceiling functions are provided by a significant number of programming languages--they have some basic uses in…

Assisting Students' Cognitive Strategies with the Use of CAS

ERIC Educational Resources Information Center

Sarvari, Csaba; Lavicza, Zsolt; Klincsik, Mihaly

2010-01-01

This paper examines various cognitive strategies applied while CAS (Computer Algebra System) are used in undergraduate-level engineering mathematics teaching and learning. We posed some questions in relation to such CAS use: What kind of tools can CAS offer to enhance different cognitive strategies of students? How can the use of CAS widen the…

10 CFR 431.445 - Determination of small electric motor efficiency.

Code of Federal Regulations, 2010 CFR

2010-01-01

... determined either by testing in accordance with § 431.444 of this subpart, or by application of an... method. An AEDM applied to a basic model must be: (i) Derived from a mathematical model that represents... statistical analysis, computer simulation or modeling, or other analytic evaluation of performance data. (3...

Parallel Performance of a Combustion Chemistry Simulation

DOE PAGES

Skinner, Gregg; Eigenmann, Rudolf

1995-01-01

We used a description of a combustion simulation's mathematical and computational methods to develop a version for parallel execution. The result was a reasonable performance improvement on small numbers of processors. We applied several important programming techniques, which we describe, in optimizing the application. This work has implications for programming languages, compiler design, and software engineering.

Stability of Linear Equations--Algebraic Approach

ERIC Educational Resources Information Center

Cherif, Chokri; Goldstein, Avraham; Prado, Lucio M. G.

2012-01-01

This article could be of interest to teachers of applied mathematics as well as to people who are interested in applications of linear algebra. We give a comprehensive study of linear systems from an application point of view. Specifically, we give an overview of linear systems and problems that can occur with the computed solution when the…

Applied mediation analyses: a review and tutorial.

PubMed

Lange, Theis; Hansen, Kim Wadt; Sørensen, Rikke; Galatius, Søren

2017-01-01

In recent years, mediation analysis has emerged as a powerful tool to disentangle causal pathways from an exposure/treatment to clinically relevant outcomes. Mediation analysis has been applied in scientific fields as diverse as labour market relations and randomized clinical trials of heart disease treatments. In parallel to these applications, the underlying mathematical theory and computer tools have been refined. This combined review and tutorial will introduce the reader to modern mediation analysis including: the mathematical framework; required assumptions; and software implementation in the R package medflex. All results are illustrated using a recent study on the causal pathways stemming from the early invasive treatment of acute coronary syndrome, for which the rich Danish population registers allow us to follow patients' medication use and more after being discharged from hospital.

Special Issue: Big data and predictive computational modeling

NASA Astrophysics Data System (ADS)

Koutsourelakis, P. S.; Zabaras, N.; Girolami, M.

2016-09-01

The motivation for this special issue stems from the symposium on "Big Data and Predictive Computational Modeling" that took place at the Institute for Advanced Study, Technical University of Munich, during May 18-21, 2015. With a mindset firmly grounded in computational discovery, but a polychromatic set of viewpoints, several leading scientists, from physics and chemistry, biology, engineering, applied mathematics, scientific computing, neuroscience, statistics and machine learning, engaged in discussions and exchanged ideas for four days. This special issue contains a subset of the presentations. Video and slides of all the presentations are available on the TUM-IAS website http://www.tum-ias.de/bigdata2015/.

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…

Mathematical biology modules based on modern molecular biology and modern discrete mathematics.

PubMed

Robeva, Raina; Davies, Robin; Hodge, Terrell; Enyedi, Alexander

2010-01-01

We describe an ongoing collaborative curriculum materials development project between Sweet Briar College and Western Michigan University, with support from the National Science Foundation. We present a collection of modules under development that can be used in existing mathematics and biology courses, and we address a critical national need to introduce students to mathematical methods beyond the interface of biology with calculus. Based on ongoing research, and designed to use the project-based-learning approach, the modules highlight applications of modern discrete mathematics and algebraic statistics to pressing problems in molecular biology. For the majority of projects, calculus is not a required prerequisite and, due to the modest amount of mathematical background needed for some of the modules, the materials can be used for an early introduction to mathematical modeling. At the same time, most modules are connected with topics in linear and abstract algebra, algebraic geometry, and probability, and they can be used as meaningful applied introductions into the relevant advanced-level mathematics courses. Open-source software is used to facilitate the relevant computations. As a detailed example, we outline a module that focuses on Boolean models of the lac operon network.

Mathematical methods in medicine: neuroscience, cardiology and pathology

PubMed Central

Amigó, José M.

2017-01-01

The application of mathematics, natural sciences and engineering to medicine is gaining momentum as the mutual benefits of this collaboration become increasingly obvious. This theme issue is intended to highlight the trend in the case of mathematics. Specifically, the scope of this theme issue is to give a general view of the current research in the application of mathematical methods to medicine, as well as to show how mathematics can help in such important aspects as understanding, prediction, treatment and data processing. To this end, three representative specialties have been selected: neuroscience, cardiology and pathology. Concerning the topics, the 12 research papers and one review included in this issue cover biofluids, cardiac and virus dynamics, computational neuroscience, functional magnetic resonance imaging data processing, neural networks, optimization of treatment strategies, time-series analysis and tumour growth. In conclusion, this theme issue contains a collection of fine contributions at the intersection of mathematics and medicine, not as an exercise in applied mathematics but as a multidisciplinary research effort that interests both communities and our society in general. This article is part of the themed issue ‘Mathematical methods in medicine: neuroscience, cardiology and pathology’. PMID:28507240

Mathematical methods in medicine: neuroscience, cardiology and pathology.

PubMed

Amigó, José M; Small, Michael

2017-06-28

The application of mathematics, natural sciences and engineering to medicine is gaining momentum as the mutual benefits of this collaboration become increasingly obvious. This theme issue is intended to highlight the trend in the case of mathematics. Specifically, the scope of this theme issue is to give a general view of the current research in the application of mathematical methods to medicine, as well as to show how mathematics can help in such important aspects as understanding, prediction, treatment and data processing. To this end, three representative specialties have been selected: neuroscience, cardiology and pathology. Concerning the topics, the 12 research papers and one review included in this issue cover biofluids, cardiac and virus dynamics, computational neuroscience, functional magnetic resonance imaging data processing, neural networks, optimization of treatment strategies, time-series analysis and tumour growth. In conclusion, this theme issue contains a collection of fine contributions at the intersection of mathematics and medicine, not as an exercise in applied mathematics but as a multidisciplinary research effort that interests both communities and our society in general.This article is part of the themed issue 'Mathematical methods in medicine: neuroscience, cardiology and pathology'. © 2017 The Author(s).

Mathematical Biology Modules Based on Modern Molecular Biology and Modern Discrete Mathematics

PubMed Central

Davies, Robin; Hodge, Terrell; Enyedi, Alexander

2010-01-01

We describe an ongoing collaborative curriculum materials development project between Sweet Briar College and Western Michigan University, with support from the National Science Foundation. We present a collection of modules under development that can be used in existing mathematics and biology courses, and we address a critical national need to introduce students to mathematical methods beyond the interface of biology with calculus. Based on ongoing research, and designed to use the project-based-learning approach, the modules highlight applications of modern discrete mathematics and algebraic statistics to pressing problems in molecular biology. For the majority of projects, calculus is not a required prerequisite and, due to the modest amount of mathematical background needed for some of the modules, the materials can be used for an early introduction to mathematical modeling. At the same time, most modules are connected with topics in linear and abstract algebra, algebraic geometry, and probability, and they can be used as meaningful applied introductions into the relevant advanced-level mathematics courses. Open-source software is used to facilitate the relevant computations. As a detailed example, we outline a module that focuses on Boolean models of the lac operon network. PMID:20810955

Moving-Boundary Problems Associated with Lyopreservation

NASA Astrophysics Data System (ADS)

Gruber, Christopher Andrew

The work presented in this Dissertation is motivated by research into the preservation of biological specimens by way of vitrification, a technique known as lyopreservation. The operative principle behind lyopreservation is that a glassy material forms as a solution of sugar and water is desiccated. The microstructure of this glass impedes transport within the material, thereby slowing metabolism and effectively halting the aging processes in a biospecimen. This Dissertation is divided into two segments. The first concerns the nature of diffusive transport within a glassy state. Experimental studies suggest that diffusion within a glass is anomalously slow. Scaled Brownian motion (SBM) is proposed as a mathematical model which captures the qualitative features of anomalously slow diffusion while minimizing computational expense. This model is applied to several moving-boundary problems and the results are compared to a more well-established model, fractional anomalous diffusion (FAD). The virtues of SBM are based on the model's relative mathematical simplicity: the governing equation under FAD dynamics involves a fractional derivative operator, which precludes the use of analytical methods in almost all circumstances and also entails great computational expense. In some geometries, SBM allows similarity solutions, though computational methods are generally required. The use of SBM as an approximation to FAD when a system is "nearly classical'' is also explored. The second portion of this Dissertation concerns spin-drying, which is an experimental approach to biopreservation in a laboratory setting. A biospecimen is adhered to a glass wafer and this substrate is covered with sugar solution and rapidly spun on a turntable while water is evaporated from the film surface. The mathematical model for the spin-drying process includes diffusion, viscous fluid flow, and evaporation, among other contributions to the dynamics. Lubrication theory is applied to the model and an expansion in orthogonal polynomials is applied. The resulting system of equations is solved computationally. The influence of various experimental parameters upon the system dynamics is investigated, particularly the role of the spin rate. A convergence study of the solution verifies that the polynomial expansion method yields accurate results.

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…

Transactions of the Army Conference on Applied Mathematics and Computing (3rd) Held at Atlanta, Georgia on 13-16 May 1986

DTIC Science & Technology

1986-02-01

jask 1 in (x,y) plane. Porn in Work Socca - Y” S,=2.0m -. I - .em Fig. 4b Task 2 in (x,y) plane. I IE:/lvli-r;: ILIldtili ml=m2= 2.0 kg...represented by a grid of 400x200 points, each point corresponding to a pixel of a computer video terminal. For each point A = (Re(A), ImW), a free critical

ACCESS 1: Approximation Concepts Code for Efficient Structural Synthesis program documentation and user's guide

NASA Technical Reports Server (NTRS)

Miura, H.; Schmit, L. A., Jr.

1976-01-01

The program documentation and user's guide for the ACCESS-1 computer program is presented. ACCESS-1 is a research oriented program which implements a collection of approximation concepts to achieve excellent efficiency in structural synthesis. The finite element method is used for structural analysis and general mathematical programming algorithms are applied in the design optimization procedure. Implementation of the computer program, preparation of input data and basic program structure are described, and three illustrative examples are given.

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…

Mathematical modeling of the aerodynamics of high-angle-of-attack maneuvers

NASA Technical Reports Server (NTRS)

Schiff, L. B.; Tobak, M.; Malcolm, G. N.

1980-01-01

This paper is a review of the current state of aerodynamic mathematical modeling for aircraft motions at high angles of attack. The mathematical model serves to define a set of characteristic motions from whose known aerodynamic responses the aerodynamic response to an arbitrary high angle-of-attack flight maneuver can be predicted. Means are explored of obtaining stability parameter information in terms of the characteristic motions, whether by wind-tunnel experiments, computational methods, or by parameter-identification methods applied to flight-test data. A rationale is presented for selecting and verifying the aerodynamic mathematical model at the lowest necessary level of complexity. Experimental results describing the wing-rock phenomenon are shown to be accommodated within the most recent mathematical model by admitting the existence of aerodynamic hysteresis in the steady-state variation of the rolling moment with roll angle. Interpretation of the experimental results in terms of bifurcation theory reveals the general conditions under which aerodynamic hysteresis must exist.

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

Sines and Cosines. Part 1 of 3

NASA Technical Reports Server (NTRS)

Apostol, Tom M. (Editor)

1992-01-01

Applying the concept of similarities, the mathematical principles of circular motion and sine and cosine waves are presented utilizing both film footage and computer animation in this 'Project Mathematics' series video. Concepts presented include: the symmetry of sine waves; the cosine (complementary sine) and cosine waves; the use of sines and cosines on coordinate systems; the relationship they have to each other; the definitions and uses of periodic waves, square waves, sawtooth waves; the Gibbs phenomena; the use of sines and cosines as ratios; and the terminology related to sines and cosines (frequency, overtone, octave, intensity, and amplitude).

A computerized compensator design algorithm with launch vehicle applications

NASA Technical Reports Server (NTRS)

Mitchell, J. R.; Mcdaniel, W. L., Jr.

1976-01-01

This short paper presents a computerized algorithm for the design of compensators for large launch vehicles. The algorithm is applicable to the design of compensators for linear, time-invariant, control systems with a plant possessing a single control input and multioutputs. The achievement of frequency response specifications is cast into a strict constraint mathematical programming format. An improved solution algorithm for solving this type of problem is given, along with the mathematical necessities for application to systems of the above type. A computer program, compensator improvement program (CIP), has been developed and applied to a pragmatic space-industry-related example.

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…

Editorial

NASA Astrophysics Data System (ADS)

Liu, Shuai

Fractal represents a special feature of nature and functional objects. However, fractal based computing can be applied to many research domains because of its fixed property resisted deformation, variable parameters and many unpredictable changes. Theoretical research and practical application of fractal based computing have been hotspots for 30 years and will be continued. There are many pending issues awaiting solutions in this domain, thus this thematic issue containing 14 papers publishes the state-of-the-art developments in theorem and application of fractal based computing, including mathematical analysis and novel engineering applications. The topics contain fractal and multifractal features in application and solution of nonlinear odes and equation.

Transactions of the Army Conference on Applied Mathematics and Computing (8th) Held in Ithaca, New York on 19-22 June 1990

DTIC Science & Technology

1991-02-01

Shamos, M I , "Computational Geometry", Ph.D Thesis , Department of Computer Science, Yale University, New Haven CT, 1978. [53] Steiglitz, K., An...431) whose real and imaginary parts are given by 222 mj cos OmJ + Az -mL cos 2 ML + MS Cos 2MS (432) mj sinO 0M cose OM = L sin aML cos ML + m S sin 9...Aequationes Math. 14, 1976, 271-291. 5. Greenwell, C.E., Finite element methods for partial integro-differential equations, Ph.D. Thesis , University of

Neural-Network Simulator

NASA Technical Reports Server (NTRS)

Mitchell, Paul H.

1991-01-01

F77NNS (FORTRAN 77 Neural Network Simulator) computer program simulates popular back-error-propagation neural network. Designed to take advantage of vectorization when used on computers having this capability, also used on any computer equipped with ANSI-77 FORTRAN Compiler. Problems involving matching of patterns or mathematical modeling of systems fit class of problems F77NNS designed to solve. Program has restart capability so neural network solved in stages suitable to user's resources and desires. Enables user to customize patterns of connections between layers of network. Size of neural network F77NNS applied to limited only by amount of random-access memory available to user.

[Advancements of computer chemistry in separation of Chinese medicine].

PubMed

Li, Lingjuan; Hong, Hong; Xu, Xuesong; Guo, Liwei

2011-12-01

Separating technique of Chinese medicine is not only a key technique in the field of Chinese medicine' s research and development, but also a significant step in the modernization of Chinese medicinal preparation. Computer chemistry can build model and look for the regulations from Chinese medicine system which is full of complicated data. This paper analyzed the applicability, key technology, basic mode and common algorithm of computer chemistry applied in the separation of Chinese medicine, introduced the mathematic mode and the setting methods of Extraction kinetics, investigated several problems which based on traditional Chinese medicine membrane procession, and forecasted the application prospect.

The role of gender on academic performance in STEM-related disciplines: Data from a tertiary institution.

PubMed

John, Temitope M; Badejo, Joke A; Popoola, Segun I; Omole, David O; Odukoya, Jonathan A; Ajayi, Priscilla O; Aboyade, Mary; Atayero, Aderemi A

2018-06-01

This data article presents data of academic performances of undergraduate students in Science, Technology, Engineering and Mathematics (STEM) disciplines in Covenant University, Nigeria. The data shows academic performances of Male and Female students who graduated from 2010 to 2014. The total population of samples in the observation is 3046 undergraduates mined from Biochemistry (BCH), Building technology (BLD), Computer Engineering (CEN), Chemical Engineering (CHE), Industrial Chemistry (CHM), Computer Science (CIS), Civil Engineering (CVE), Electrical and Electronics Engineering (EEE), Information and Communication Engineering (ICE), Mathematics (MAT), Microbiology (MCB), Mechanical Engineering (MCE), Management and Information System (MIS), Petroleum Engineering (PET), Industrial Physics-Electronics and IT Applications (PHYE), Industrial Physics-Applied Geophysics (PHYG) and Industrial Physics-Renewable Energy (PHYR). The detailed dataset is made available in form of a Microsoft Excel spreadsheet in the supplementary material of this article.

METCAN: The metal matrix composite analyzer

NASA Technical Reports Server (NTRS)

Hopkins, Dale A.; Murthy, Pappu L. N.

1988-01-01

Metal matrix composites (MMC) are the subject of intensive study and are receiving serious consideration for critical structural applications in advanced aerospace systems. MMC structural analysis and design methodologies are studied. Predicting the mechanical and thermal behavior and the structural response of components fabricated from MMC requires the use of a variety of mathematical models. These models relate stresses to applied forces, stress intensities at the tips of cracks to nominal stresses, buckling resistance to applied force, or vibration response to excitation forces. The extensive research in computational mechanics methods for predicting the nonlinear behavior of MMC are described. This research has culminated in the development of the METCAN (METal Matrix Composite ANalyzer) computer code.

Numerical Simulations of Plasma Based Flow Control Applications

NASA Technical Reports Server (NTRS)

Suzen, Y. B.; Huang, P. G.; Jacob, J. D.; Ashpis, D. E.

2005-01-01

A mathematical model was developed to simulate flow control applications using plasma actuators. The effects of the plasma actuators on the external flow are incorporated into Navier Stokes computations as a body force vector. In order to compute this body force vector, the model solves two additional equations: one for the electric field due to the applied AC voltage at the electrodes and the other for the charge density representing the ionized air. The model is calibrated against an experiment having plasma-driven flow in a quiescent environment and is then applied to simulate a low pressure turbine flow with large flow separation. The effects of the plasma actuator on control of flow separation are demonstrated numerically.

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…

JPL basic research review. [research and advanced development

NASA Technical Reports Server (NTRS)

1977-01-01

Current status, projected goals, and results of 49 research and advanced development programs at the Jet Propulsion Laboratory are reported in abstract form. Areas of investigation include: aerodynamics and fluid mechanics, applied mathematics and computer sciences, environment protection, materials science, propulsion, electric and solar power, guidance and navigation, communication and information sciences, general physics, and chemistry.

Promoting Students' Motivation and Use of SRL Strategies in Online Mathematics Learning

ERIC Educational Resources Information Center

Gu, Peidi

2017-01-01

Computer and information technologies have brought revolutions to many aspects of our lives. Online learning is one of the new learning methods that have emerged with the development of new technologies. Even though the advantages of online learning are very attractive to students and educators, when they are applied in real educational settings,…

20 CFR 901.12 - Eligibility for enrollment of individuals applying for enrollment before January 1, 1976.

Code of Federal Regulations, 2010 CFR

2010-04-01

... course of study in which the major area of concentration was actuarial science, or (2) Received a... mathematics, statistics, or computer science, and shall have successfully completed at least 6 semester hours or 9 quarter hours of courses in life contingencies at an accredited college or university. (e...

20 CFR 901.12 - Eligibility for enrollment of individuals applying for enrollment before January 1, 1976.

Code of Federal Regulations, 2011 CFR

2011-04-01

... course of study in which the major area of concentration was actuarial science, or (2) Received a... mathematics, statistics, or computer science, and shall have successfully completed at least 6 semester hours or 9 quarter hours of courses in life contingencies at an accredited college or university. (e...

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…

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…

Interactive visualization of Earth and Space Science computations

NASA Technical Reports Server (NTRS)

Hibbard, William L.; Paul, Brian E.; Santek, David A.; Dyer, Charles R.; Battaiola, Andre L.; Voidrot-Martinez, Marie-Francoise

1994-01-01

Computers have become essential tools for scientists simulating and observing nature. Simulations are formulated as mathematical models but are implemented as computer algorithms to simulate complex events. Observations are also analyzed and understood in terms of mathematical models, but the number of these observations usually dictates that we automate analyses with computer algorithms. In spite of their essential role, computers are also barriers to scientific understanding. Unlike hand calculations, automated computations are invisible and, because of the enormous numbers of individual operations in automated computations, the relation between an algorithm's input and output is often not intuitive. This problem is illustrated by the behavior of meteorologists responsible for forecasting weather. Even in this age of computers, many meteorologists manually plot weather observations on maps, then draw isolines of temperature, pressure, and other fields by hand (special pads of maps are printed for just this purpose). Similarly, radiologists use computers to collect medical data but are notoriously reluctant to apply image-processing algorithms to that data. To these scientists with life-and-death responsibilities, computer algorithms are black boxes that increase rather than reduce risk. The barrier between scientists and their computations can be bridged by techniques that make the internal workings of algorithms visible and that allow scientists to experiment with their computations. Here we describe two interactive systems developed at the University of Wisconsin-Madison Space Science and Engineering Center (SSEC) that provide these capabilities to Earth and space scientists.

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.

Applied Mathematics Should Be Taught Mixed.

ERIC Educational Resources Information Center

Brown, Gary I.

1994-01-01

Discusses the differences between applied and pure mathematics and provides extensive history of mixed mathematics. Argues that applied mathematics should be taught allowing for speculative mathematics, which involves breaking down a given problem into simpler parts until one arrives at first principles. (ASK)

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.

Variational data assimilation system "INM RAS - Black Sea"

NASA Astrophysics Data System (ADS)

Parmuzin, Eugene; Agoshkov, Valery; Assovskiy, Maksim; Giniatulin, Sergey; Zakharova, Natalia; Kuimov, Grigory; Fomin, Vladimir

2013-04-01

Development of Informational-Computational Systems (ICS) for Data Assimilation Procedures is one of multidisciplinary problems. To study and solve these problems one needs to apply modern results from different disciplines and recent developments in: mathematical modeling; theory of adjoint equations and optimal control; inverse problems; numerical methods theory; numerical algebra and scientific computing. The problems discussed above are studied in the Institute of Numerical Mathematics of the Russian Academy of Science (INM RAS) in ICS for Personal Computers (PC). Special problems and questions arise while effective ICS versions for PC are being developed. These problems and questions can be solved with applying modern methods of numerical mathematics and by solving "parallelism problem" using OpenMP technology and special linear algebra packages. In this work the results on the ICS development for PC-ICS "INM RAS - Black Sea" are presented. In the work the following problems and questions are discussed: practical problems that can be studied by ICS; parallelism problems and their solutions with applying of OpenMP technology and the linear algebra packages used in ICS "INM - Black Sea"; Interface of ICS. The results of ICS "INM RAS - Black Sea" testing are presented. Efficiency of technologies and methods applied are discussed. The work was supported by RFBR, grants No. 13-01-00753, 13-05-00715 and by The Ministry of education and science of Russian Federation, project 8291, project 11.519.11.1005 References: [1] V.I. Agoshkov, M.V. Assovskii, S.A. Lebedev, Numerical simulation of Black Sea hydrothermodynamics taking into account tide-forming forces. Russ. J. Numer. Anal. Math. Modelling (2012) 27, No.1, 5-31 [2] E.I. Parmuzin, V.I. Agoshkov, Numerical solution of the variational assimilation problem for sea surface temperature in the model of the Black Sea dynamics. Russ. J. Numer. Anal. Math. Modelling (2012) 27, No.1, 69-94 [3] V.B. Zalesny, N.A. Diansky, V.V. Fomin, S.N. Moshonkin, S.G. Demyshev, Numerical model of the circulation of Black Sea and Sea of Azov. Russ. J. Numer. Anal. Math. Modelling (2012) 27, No.1, 95-111 [4] V.I. Agoshkov, S.V. Giniatulin, G.V. Kuimov. OpenMP technology and linear algebra packages in the variation data assimilation systems. - Abstracts of the 1-st China-Russia Conference on Numerical Algebra with Applications in Radiactive Hydrodynamics, Beijing, China, October 16-18, 2012. [5] Zakharova N.B., Agoshkov V.I., Parmuzin E.I., The new method of ARGO buoys system observation data interpolation. Russian Journal of Numerical Analysis and Mathematical Modelling. Vol. 28, Issue 1, 2013.

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…

Parallel computing works

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

Not Available

An account of the Caltech Concurrent Computation Program (C{sup 3}P), a five year project that focused on answering the question: Can parallel computers be used to do large-scale scientific computations '' As the title indicates, the question is answered in the affirmative, by implementing numerous scientific applications on real parallel computers and doing computations that produced new scientific results. In the process of doing so, C{sup 3}P helped design and build several new computers, designed and implemented basic system software, developed algorithms for frequently used mathematical computations on massively parallel machines, devised performance models and measured the performance of manymore » computers, and created a high performance computing facility based exclusively on parallel computers. While the initial focus of C{sup 3}P was the hypercube architecture developed by C. Seitz, many of the methods developed and lessons learned have been applied successfully on other massively parallel architectures.« less

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.

Mathematics make microbes beautiful, beneficial, and bountiful.

PubMed

Jungck, John R

2012-01-01

Microbiology is a rich area for visualizing the importance of mathematics in terms of designing experiments, data mining, testing hypotheses, and visualizing relationships. Historically, Nobel Prizes have acknowledged the close interplay between mathematics and microbiology in such examples as the fluctuation test and mutation rates using Poisson statistics by Luria and Delbrück and the use of graph theory of polyhedra by Caspar and Klug. More and more contemporary microbiology journals feature mathematical models, computational algorithms and heuristics, and multidimensional visualizations. While revolutions in research have driven these initiatives, a commensurate effort needs to be made to incorporate much more mathematics into the professional preparation of microbiologists. In order not to be daunting to many educators, a Bloom-like "Taxonomy of Quantitative Reasoning" is shared with explicit examples of microbiological activities for engaging students in (a) counting, measuring, calculating using image analysis of bacterial colonies and viral infections on variegated leaves, measurement of fractal dimensions of beautiful colony morphologies, and counting vertices, edges, and faces on viral capsids and using graph theory to understand self assembly; (b) graphing, mapping, ordering by applying linear, exponential, and logistic growth models of public health and sanitation problems, revisiting Snow's epidemiological map of cholera with computational geometry, and using interval graphs to do complementation mapping, deletion mapping, food webs, and microarray heatmaps; (c) problem solving by doing gene mapping and experimental design, and applying Boolean algebra to gene regulation of operons; (d) analysis of the "Bacterial Bonanza" of microbial sequence and genomic data using bioinformatics and phylogenetics; (e) hypothesis testing-again with phylogenetic trees and use of Poisson statistics and the Luria-Delbrück fluctuation test; and (f) modeling of biodiversity by using game theory, of epidemics with algebraic models, bacterial motion by using motion picture analysis and fluid mechanics of motility in multiple dimensions through the physics of "Life at Low Reynolds Numbers," and pattern formation of quorum sensing bacterial populations. Through a developmental model for preprofessional education that emphasizes the beauty, utility, and diversity of microbiological systems, we hope to foster creativity as well as mathematically rigorous reasoning. Copyright © 2012 Elsevier Inc. All rights reserved.

From empirical data to time-inhomogeneous continuous Markov processes.

PubMed

Lencastre, Pedro; Raischel, Frank; Rogers, Tim; Lind, Pedro G

2016-03-01

We present an approach for testing for the existence of continuous generators of discrete stochastic transition matrices. Typically, existing methods to ascertain the existence of continuous Markov processes are based on the assumption that only time-homogeneous generators exist. Here a systematic extension to time inhomogeneity is presented, based on new mathematical propositions incorporating necessary and sufficient conditions, which are then implemented computationally and applied to numerical data. A discussion concerning the bridging between rigorous mathematical results on the existence of generators to its computational implementation is presented. Our detection algorithm shows to be effective in more than 60% of tested matrices, typically 80% to 90%, and for those an estimate of the (nonhomogeneous) generator matrix follows. We also solve the embedding problem analytically for the particular case of three-dimensional circulant matrices. Finally, a discussion of possible applications of our framework to problems in different fields is briefly addressed.

Optimization technique of wavefront coding system based on ZEMAX externally compiled programs

NASA Astrophysics Data System (ADS)

Han, Libo; Dong, Liquan; Liu, Ming; Zhao, Yuejin; Liu, Xiaohua

2016-10-01

Wavefront coding technique as a means of athermalization applied to infrared imaging system, the design of phase plate is the key to system performance. This paper apply the externally compiled programs of ZEMAX to the optimization of phase mask in the normal optical design process, namely defining the evaluation function of wavefront coding system based on the consistency of modulation transfer function (MTF) and improving the speed of optimization by means of the introduction of the mathematical software. User write an external program which computes the evaluation function on account of the powerful computing feature of the mathematical software in order to find the optimal parameters of phase mask, and accelerate convergence through generic algorithm (GA), then use dynamic data exchange (DDE) interface between ZEMAX and mathematical software to realize high-speed data exchanging. The optimization of the rotational symmetric phase mask and the cubic phase mask have been completed by this method, the depth of focus increases nearly 3 times by inserting the rotational symmetric phase mask, while the other system with cubic phase mask can be increased to 10 times, the consistency of MTF decrease obviously, the maximum operating temperature of optimized system range between -40°-60°. Results show that this optimization method can be more convenient to define some unconventional optimization goals and fleetly to optimize optical system with special properties due to its externally compiled function and DDE, there will be greater significance for the optimization of unconventional optical system.

Student Perceptions about Applied Mathematics.

ERIC Educational Resources Information Center

Keif, Malcolm G.; Stewart, Bob R.

Background information on the history and rationale for Tech Prep introduces the description of a study that examines the perceptions of students enrolled in Applied Mathematics 1 and Applied Mathematics 2 courses which are based on the Center for Occupational Research and Development's (CORD) applied mathematics curriculum. The primary goal is to…

Computational model, method, and system for kinetically-tailoring multi-drug chemotherapy for individuals

DOEpatents

Gardner, Shea Nicole

2007-10-23

A method and system for tailoring treatment regimens to individual patients with diseased cells exhibiting evolution of resistance to such treatments. A mathematical model is provided which models rates of population change of proliferating and quiescent diseased cells using cell kinetics and evolution of resistance of the diseased cells, and pharmacokinetic and pharmacodynamic models. Cell kinetic parameters are obtained from an individual patient and applied to the mathematical model to solve for a plurality of treatment regimens, each having a quantitative efficacy value associated therewith. A treatment regimen may then be selected from the plurlaity of treatment options based on the efficacy value.

Review Of Applied Mathematical Models For Describing The Behaviour Of Aqueous Humor In Eye Structures

NASA Astrophysics Data System (ADS)

Dzierka, M.; Jurczak, P.

2015-12-01

In the paper, currently used methods for modeling the flow of the aqueous humor through eye structures are presented. Then a computational model based on rheological models of Newtonian and non-Newtonian fluids is proposed. The proposed model may be used for modeling the flow of the aqueous humor through the trabecular meshwork. The trabecular meshwork is modeled as an array of rectilinear parallel capillary tubes. The flow of Newtonian and non-Newtonian fluids is considered. As a results of discussion mathematical equations of permeability of porous media and velocity of fluid flow through porous media have been received.

One-dimensional nonlinear elastodynamic models and their local conservation laws with applications to biological membranes.

PubMed

Cheviakov, A F; Ganghoffer, J-F

2016-05-01

The framework of incompressible nonlinear hyperelasticity and viscoelasticity is applied to the derivation of one-dimensional models of nonlinear wave propagation in fiber-reinforced elastic solids. Equivalence transformations are used to simplify the resulting wave equations and to reduce the number of parameters. Local conservation laws and global conserved quantities of the models are systematically computed and discussed, along with other related mathematical properties. Sample numerical solutions are presented. The models considered in the paper are appropriate for the mathematical description of certain aspects of the behavior of biological membranes and similar structures. Copyright © 2015 Elsevier Ltd. All rights reserved.

Finite-element approach to Brownian dynamics of polymers.

PubMed

Cyron, Christian J; Wall, Wolfgang A

2009-12-01

In the last decades simulation tools for Brownian dynamics of polymers have attracted more and more interest. Such simulation tools have been applied to a large variety of problems and accelerated the scientific progress significantly. However, the currently most frequently used explicit bead models exhibit severe limitations, especially with respect to time step size, the necessity of artificial constraints and the lack of a sound mathematical foundation. Here we present a framework for simulations of Brownian polymer dynamics based on the finite-element method. This approach allows simulating a wide range of physical phenomena at a highly attractive computational cost on the basis of a far-developed mathematical background.

Aeronautical engineering: A continuing bibliography with indexes (supplement 316)

NASA Technical Reports Server (NTRS)

1995-01-01

This bibliography lists 413 reports, articles, and other documents introduced into the NASA scientific and technical information system in April 1995. Subject coverage includes: aeronautics; mathematical and computer sciences; chemistry and material sciences; geosciences; design, construction and testing of aircraft and aircraft engines; aircraft components, equipment, and systems; ground support systems; and theoretical and applied aspects of aerodynamics and general fluid dynamics.

A Comparison of Methods of Vertical Equating.

ERIC Educational Resources Information Center

Loyd, Brenda H.; Hoover, H. D.

Rasch model vertical equating procedures were applied to three mathematics computation tests for grades six, seven, and eight. Each level of the test was composed of 45 items in three sets of 15 items, arranged in such a way that tests for adjacent grades had two sets (30 items) in common, and the sixth and eighth grades had 15 items in common. In…

Evaluation of the Relationship between Literacy and Mathematics Skills as Assessed by Curriculum-Based Measures

ERIC Educational Resources Information Center

Rutherford-Becker, Kristy J.; Vanderwood, Michael L.

2009-01-01

The purpose of this study was to evaluate the extent that reading performance (as measured by curriculum-based measures [CBM] of oral reading fluency [ORF] and Maze reading comprehension), is related to math performance (as measured by CBM math computation and applied math). Additionally, this study examined which of the two reading measures was a…

Personalizing oncology treatments by predicting drug efficacy, side-effects, and improved therapy: mathematics, statistics, and their integration.

PubMed

Agur, Zvia; Elishmereni, Moran; Kheifetz, Yuri

2014-01-01

Despite its great promise, personalized oncology still faces many hurdles, and it is increasingly clear that targeted drugs and molecular biomarkers alone yield only modest clinical benefit. One reason is the complex relationships between biomarkers and the patient's response to drugs, obscuring the true weight of the biomarkers in the overall patient's response. This complexity can be disentangled by computational models that integrate the effects of personal biomarkers into a simulator of drug-patient dynamic interactions, for predicting the clinical outcomes. Several computational tools have been developed for personalized oncology, notably evidence-based tools for simulating pharmacokinetics, Bayesian-estimated tools for predicting survival, etc. We describe representative statistical and mathematical tools, and discuss their merits, shortcomings and preliminary clinical validation attesting to their potential. Yet, the individualization power of mathematical models alone, or statistical models alone, is limited. More accurate and versatile personalization tools can be constructed by a new application of the statistical/mathematical nonlinear mixed effects modeling (NLMEM) approach, which until recently has been used only in drug development. Using these advanced tools, clinical data from patient populations can be integrated with mechanistic models of disease and physiology, for generating personal mathematical models. Upon a more substantial validation in the clinic, this approach will hopefully be applied in personalized clinical trials, P-trials, hence aiding the establishment of personalized medicine within the main stream of clinical oncology. © 2014 Wiley Periodicals, Inc.

Bioinformatics by Example: From Sequence to Target

NASA Astrophysics Data System (ADS)

Kossida, Sophia; Tahri, Nadia; Daizadeh, Iraj

2002-12-01

With the completion of the human genome, and the imminent completion of other large-scale sequencing and structure-determination projects, computer-assisted bioscience is aimed to become the new paradigm for conducting basic and applied research. The presence of these additional bioinformatics tools stirs great anxiety for experimental researchers (as well as for pedagogues), since they are now faced with a wider and deeper knowledge of differing disciplines (biology, chemistry, physics, mathematics, and computer science). This review targets those individuals who are interested in using computational methods in their teaching or research. By analyzing a real-life, pharmaceutical, multicomponent, target-based example the reader will experience this fascinating new discipline.

An efficient method for the computation of Legendre moments.

PubMed

Yap, Pew-Thian; Paramesran, Raveendran

2005-12-01

Legendre moments are continuous moments, hence, when applied to discrete-space images, numerical approximation is involved and error occurs. This paper proposes a method to compute the exact values of the moments by mathematically integrating the Legendre polynomials over the corresponding intervals of the image pixels. Experimental results show that the values obtained match those calculated theoretically, and the image reconstructed from these moments have lower error than that of the conventional methods for the same order. Although the same set of exact Legendre moments can be obtained indirectly from the set of geometric moments, the computation time taken is much longer than the proposed method.

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…

Group theoretic approach to the perturbative string S-matrix

NASA Astrophysics Data System (ADS)

Neveu, A.; West, P.

1987-07-01

A new approach to the computation of string scattering is given. From duality, unitarity and a generic overlap property, we determine entirely the N-string amplitude, including the integration measure, and its gauge properties. The techniques do not use any oscillator algebra, but the computation is reduced to a straightforward exercise in conformal group theory. This can be applied to fermionic trees and multiloop diagrams, but in this paper it is demonstrated on the open bosonic tree. Permanent address: Mathematics Department, King's College, Strand, London WC2R 2LS, UK.

Books and monographs on finite element technology

NASA Technical Reports Server (NTRS)

Noor, A. K.

1985-01-01

The present paper proviees a listing of all of the English books and some of the foreign books on finite element technology, taking into account also a list of the conference proceedings devoted solely to finite elements. The references are divided into categories. Attention is given to fundamentals, mathematical foundations, structural and solid mechanics applications, fluid mechanics applications, other applied science and engineering applications, computer implementation and software systems, computational and modeling aspects, special topics, boundary element methods, proceedings of symmposia and conferences on finite element technology, bibliographies, handbooks, and historical accounts.

Continuous and Discontinuous Galerkin Methods for a Scalable Three-Dimensional Nonhydrostatic Atmospheric Model: Limited-Area Mode

DTIC Science & Technology

2012-01-01

atmosphere model, Int. J . High Perform. Comput. Appl. 26 (1) (2012) 74–89. [8] J.M. Dennis, M. Levy, R.D. Nair, H.M. Tufo, T . Voran. Towards and efficient...26] A. Klockner, T . Warburton, J . Bridge, J.S, Hesthaven, Nodal discontinuous galerkin methods on graphics processors, J . Comput. Phys. 228 (21) (2009...mode James F. Kelly, Francis X. Giraldo ⇑ Department of Applied Mathematics, Naval Postgraduate School, Monterey, CA, United States a r t i c l e i n

Baseline mathematics and geodetics for tracking operations

NASA Technical Reports Server (NTRS)

James, R.

1981-01-01

Various geodetic and mapping algorithms are analyzed as they apply to radar tracking systems and tested in extended BASIC computer language for real time computer applications. Closed-form approaches to the solution of converting Earth centered coordinates to latitude, longitude, and altitude are compared with classical approximations. A simplified approach to atmospheric refractivity called gradient refraction is compared with conventional ray tracing processes. An extremely detailed set of documentation which provides the theory, derivations, and application of algorithms used in the programs is included. Validation methods are also presented for testing the accuracy of the algorithms.

Two-spectral Yang-Baxter operators in topological quantum computation

NASA Astrophysics Data System (ADS)

Sanchez, William F.

2011-05-01

One of the current trends in quantum computing is the application of algebraic topological methods in the design of new algorithms and quantum computers, giving rise to topological quantum computing. One of the tools used in it is the Yang-Baxter equation whose solutions are interpreted as universal quantum gates. Lately, more general Yang-Baxter equations have been investigated, making progress as two-spectral equations and Yang-Baxter systems. This paper intends to apply these new findings to the field of topological quantum computation, more specifically, the proposition of the two-spectral Yang-Baxter operators as universal quantum gates for 2 qubits and 2 qutrits systems, obtaining 4x4 and 9x9 matrices respectively, and further elaboration of the corresponding Hamiltonian by the use of computer algebra software Mathematica® and its Qucalc package. In addition, possible physical systems to which the Yang-Baxter operators obtained can be applied are considered. In the present work it is demonstrated the utility of the Yang-Baxter equation to generate universal quantum gates and the power of computer algebra to design them; it is expected that these mathematical studies contribute to the further development of quantum computers

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…

Math anxiety: Brain cortical network changes in anticipation of doing mathematics.

PubMed

Klados, Manousos A; Pandria, Niki; Micheloyannis, Sifis; Margulies, Daniel; Bamidis, Panagiotis D

2017-12-01

Following our previous work regarding the involvement of math anxiety (MA) in math-oriented tasks, this study tries to explore the differences in the cerebral networks' topology between self-reported low math-anxious (LMA) and high math-anxious (HMA) individuals, during the anticipation phase prior to a mathematical related experiment. For this reason, multichannel EEG recordings were adopted, while the solution of the inverse problem was applied in a generic head model, in order to obtain the cortical signals. The cortical networks have been computed for each band separately, using the magnitude square coherence metric. The main graph theoretical parameters, showed differences in segregation and integration in almost all EEG bands of the HMAs in comparison to LMAs, indicative of a great influence of the anticipatory anxiety prior to mathematical performance. Copyright © 2017 Elsevier B.V. All rights reserved.

Evolutionary game theory for physical and biological scientists. II. Population dynamics equations can be associated with interpretations

PubMed Central

Liao, David; Tlsty, Thea D.

2014-01-01

The use of mathematical equations to analyse population dynamics measurements is being increasingly applied to elucidate complex dynamic processes in biological systems, including cancer. Purely ‘empirical’ equations may provide sufficient accuracy to support predictions and therapy design. Nevertheless, interpretation of fitting equations in terms of physical and biological propositions can provide additional insights that can be used both to refine models that prove inconsistent with data and to understand the scope of applicability of models that validate. The purpose of this tutorial is to assist readers in mathematically associating interpretations with equations and to provide guidance in choosing interpretations and experimental systems to investigate based on currently available biological knowledge, techniques in mathematical and computational analysis and methods for in vitro and in vivo experiments. PMID:25097752

The promises and pitfalls of applying computational models to neurological and psychiatric disorders.

PubMed

Teufel, Christoph; Fletcher, Paul C

2016-10-01

Computational models have become an integral part of basic neuroscience and have facilitated some of the major advances in the field. More recently, such models have also been applied to the understanding of disruptions in brain function. In this review, using examples and a simple analogy, we discuss the potential for computational models to inform our understanding of brain function and dysfunction. We argue that they may provide, in unprecedented detail, an understanding of the neurobiological and mental basis of brain disorders and that such insights will be key to progress in diagnosis and treatment. However, there are also potential problems attending this approach. We highlight these and identify simple principles that should always govern the use of computational models in clinical neuroscience, noting especially the importance of a clear specification of a model's purpose and of the mapping between mathematical concepts and reality. © The Author (2016). Published by Oxford University Press on behalf of the Guarantors of Brain.

Sparse QSAR modelling methods for therapeutic and regenerative medicine

NASA Astrophysics Data System (ADS)

Winkler, David A.

2018-02-01

The quantitative structure-activity relationships method was popularized by Hansch and Fujita over 50 years ago. The usefulness of the method for drug design and development has been shown in the intervening years. As it was developed initially to elucidate which molecular properties modulated the relative potency of putative agrochemicals, and at a time when computing resources were scarce, there is much scope for applying modern mathematical methods to improve the QSAR method and to extending the general concept to the discovery and optimization of bioactive molecules and materials more broadly. I describe research over the past two decades where we have rebuilt the unit operations of the QSAR method using improved mathematical techniques, and have applied this valuable platform technology to new important areas of research and industry such as nanoscience, omics technologies, advanced materials, and regenerative medicine. This paper was presented as the 2017 ACS Herman Skolnik lecture.

Mathematics Learning Assisted Geogebra using Technologically Aligned Classroom (TAC) to Improve Communication Skills of Vocasional High School Student

NASA Astrophysics Data System (ADS)

Yuliardi, R.; Nurjanah

2017-09-01

The purpose of this study to analyze mathematical communication skill’s student to resolve geometry transformation problems through computer Assisted Geogebra using Technologically Aligned Classroom (TAC). The population in this study were students from one of Vocasional High School Student in West Java. Selection of sample by purposed random sampling, the experimental class is taught Technologically Aligned Classroom (TAC) with GeoGebra, while the control class is taught by conventional learning. This study was quasi-experimental with pretest and posttest control group design. Based on the results; (1) The enhancement of student mathematical communication skills through TAC was higher than the conventional learning; (2) based on gender, there were no differences of mathematical communication skilss student who exposed with TAC and conventional learning; (3) based on KAM test, there was significant enhancement of students’ communication skills among ability of high, middle, and low KAM. The differences occur between high KAM and middle KAM, and also between high KAM and low KAM. Based on this result, mathematics learning Assisted Geogebra using Technologically Aligned Classroom (TAC) can be applied in the process of Mathematics Learning in Vocasional High School.

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…

How much crosstalk can be allowed in a stereoscopic system at various grey levels?

NASA Astrophysics Data System (ADS)

Shestak, Sergey; Kim, Daesik; Kim, Yongie

2012-03-01

We have calculated a perceptual threshold of stereoscopic crosstalk on the basis of mathematical model of human vision sensitivity. Instead of linear model of just noticeable difference (JND) known as Weber's law we applied nonlinear Barten's model. The predicted crosstalk threshold varies with the background luminance. The calculated values of threshold are in a reasonable agreement with known experimental data. We calculated perceptual threshold of crosstalk for various combinations of the applied grey level. This result can be applied for the assessment of grey-to-grey crosstalk compensation. Further computational analysis of the applied model predicts the increase of the displayable image contrast with reduction of the maximum displayable luminance.

Conference Proceedings: Annual Review of Progress in Applied Computational Electromagnetics (ACES󈨢) (10th) Held in Monterey, California on March 21-26, 1994. Volume 1

DTIC Science & Technology

1994-01-01

inborno- geneoui medium, Communications on Pure and Applied Mathematics, XVI, (1963). 363-38]. (8) M. Born and E . Wolf, Principles of Optics...of initiated communications . The final sta• e of the parallalised partitioning technique is the solution of a coupling matrix by the use of a parallel...Frequmeny Asympofic Exposoio for Hypebllcc Equaiomes" by B. Ewupuia. E . PAmni, and S. Odwn 32 ’A New- To’hmapa for Synthesis of OffsK Dud Rtfeca Sysmm

Passivity-Based Control for Two-Wheeled Robot Stabilization

NASA Astrophysics Data System (ADS)

Uddin, Nur; Aryo Nugroho, Teguh; Agung Pramudito, Wahyu

2018-04-01

A passivity-based control system design for two-wheeled robot (TWR) stabilization is presented. A TWR is a statically-unstable non-linear system. A control system is applied to actively stabilize the TWR. Passivity-based control method is applied to design the control system. The design results in a state feedback control law that makes the TWR closed loop system globally asymptotically stable (GAS). The GAS is proven mathematically. The TWR stabilization is demonstrated through computer simulation. The simulation results show that the designed control system is able to stabilize the TWR.

Force-reflective teleoperated system with shared and compliant control capabilities

NASA Technical Reports Server (NTRS)

Szakaly, Z.; Kim, W. S.; Bejczy, A. K.

1989-01-01

The force-reflecting teleoperator breadboard is described. It is the first system among available Research and Development systems with the following combined capabilities: (1) The master input device is not a replica of the slave arm. It is a general purpose device which can be applied to the control of different robot arms through proper mathematical transformations. (2) Force reflection generated in the master hand controller is referenced to forces and moments measured by a six DOF force-moment sensor at the base of the robot hand. (3) The system permits a smooth spectrum of operations between full manual, shared manual and automatic, and full automatic (called traded) control. (4) The system can be operated with variable compliance or stiffness in force-reflecting control. Some of the key points of the system are the data handling and computing architecture, the communication method, and the handling of mathematical transformations. The architecture is a fully synchronized pipeline. The communication method achieves optimal use of a parallel communication channel between the local and remote computing nodes. A time delay box is also implemented in this communication channel permitting experiments with up to 8 sec time delay. The mathematical transformations are computed faster than 1 msec so that control at each node can be operated at 1 kHz servo rate without interpolation. This results in an overall force-reflecting loop rate of 200 Hz.

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.

ICASE semiannual report, April 1 - September 30, 1989

NASA Technical Reports Server (NTRS)

1990-01-01

The Institute conducts unclassified basic research in applied mathematics, numerical analysis, and computer science in order to extend and improve problem-solving capabilities in science and engineering, particularly in aeronautics and space. The major categories of the current Institute for Computer Applications in Science and Engineering (ICASE) research program are: (1) numerical methods, with particular emphasis on the development and analysis of basic numerical algorithms; (2) control and parameter identification problems, with emphasis on effective numerical methods; (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. ICASE reports are considered to be primarily preprints of manuscripts that have been submitted to appropriate research journals or that are to appear in conference proceedings.

IMACS 󈨟: Proceedings of the IMACS World Congress on Computation and Applied Mathematics (13th) Held in Dublin, Ireland on July 22-26, 1991. Volume 2. Computational Fluid Dynamics and Wave Propagation, Parallel Computing, Concurrent and Supercomputing, Computational Physics/Computational Chemistry and Evolutionary Systems

DTIC Science & Technology

1991-01-01

Investigations of uniform convergence Sorption gel5ster Stoffe in porisen Medien (in German). Ver- are-in progress. lag P -Lang, Frankfurt/M., 1991 (in press...ad- sorption terms. Numerical results for solute transport with instantaneous, /it + 01(p): - q(p)#= 0, X > 0, t > 0. (5) nonlinear adsorption-are...13 ] A, S113S = (PfIJl) 8Iax, S1136= m A, y H137=- pf A, v 138 -f A, IIso l r opic-visco° c ousic- Y 139 im A, z-pliole (C’ilz) y 1141 = [ PfA 𔃻 + P

ASCR Workshop on Quantum Computing for Science

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

Aspuru-Guzik, Alan; Van Dam, Wim; Farhi, Edward

This report details the findings of the DOE ASCR Workshop on Quantum Computing for Science that was organized to assess the viability of quantum computing technologies to meet the computational requirements of the DOE’s science and energy mission, and to identify the potential impact of quantum technologies. The workshop was held on February 17-18, 2015, in Bethesda, MD, to solicit input from members of the quantum computing community. The workshop considered models of quantum computation and programming environments, physical science applications relevant to DOE's science mission as well as quantum simulation, and applied mathematics topics including potential quantum algorithms formore » linear algebra, graph theory, and machine learning. This report summarizes these perspectives into an outlook on the opportunities for quantum computing to impact problems relevant to the DOE’s mission as well as the additional research required to bring quantum computing to the point where it can have such impact.« less

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.

DOE Advanced Scientific Advisory Committee (ASCAC): Workforce Subcommittee Letter

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

Chapman, Barbara; Calandra, Henri; Crivelli, Silvia

2014-07-23

Simulation and computing are essential to much of the research conducted at the DOE national laboratories. Experts in the ASCR ¬relevant Computing Sciences, which encompass a range of disciplines including Computer Science, Applied Mathematics, Statistics and domain Computational Sciences, are an essential element of the workforce in nearly all of the DOE national laboratories. This report seeks to identify the gaps and challenges facing DOE with respect to this workforce. This letter is ASCAC’s response to the charge of February 19, 2014 to identify disciplines in which significantly greater emphasis in workforce training at the graduate or postdoctoral levels ismore » necessary to address workforce gaps in current and future Office of Science mission needs.« less

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…

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…

Quantitative Analysis of the Interdisciplinarity of Applied Mathematics.

PubMed

Xie, Zheng; Duan, Xiaojun; Ouyang, Zhenzheng; Zhang, Pengyuan

2015-01-01

The increasing use of mathematical techniques in scientific research leads to the interdisciplinarity of applied mathematics. This viewpoint is validated quantitatively here by statistical and network analysis on the corpus PNAS 1999-2013. A network describing the interdisciplinary relationships between disciplines in a panoramic view is built based on the corpus. Specific network indicators show the hub role of applied mathematics in interdisciplinary research. The statistical analysis on the corpus content finds that algorithms, a primary topic of applied mathematics, positively correlates, increasingly co-occurs, and has an equilibrium relationship in the long-run with certain typical research paradigms and methodologies. The finding can be understood as an intrinsic cause of the interdisciplinarity of applied mathematics.

An Integrated Optimization Design Method Based on Surrogate Modeling Applied to Diverging Duct Design

NASA Astrophysics Data System (ADS)

Hanan, Lu; Qiushi, Li; Shaobin, Li

2016-12-01

This paper presents an integrated optimization design method in which uniform design, response surface methodology and genetic algorithm are used in combination. In detail, uniform design is used to select the experimental sampling points in the experimental domain and the system performance is evaluated by means of computational fluid dynamics to construct a database. After that, response surface methodology is employed to generate a surrogate mathematical model relating the optimization objective and the design variables. Subsequently, genetic algorithm is adopted and applied to the surrogate model to acquire the optimal solution in the case of satisfying some constraints. The method has been applied to the optimization design of an axisymmetric diverging duct, dealing with three design variables including one qualitative variable and two quantitative variables. The method of modeling and optimization design performs well in improving the duct aerodynamic performance and can be also applied to wider fields of mechanical design and seen as a useful tool for engineering designers, by reducing the design time and computation consumption.

Questioning Mechanisms During Tutoring, Conversation, and Human-Computer Interaction

DTIC Science & Technology

1993-06-01

of Psychology Los Angesles, CA 90024 Pittsburgh, PA 15213 Dr. Eduardo Cascallar Dr. Ruth Chabay Dr. Paul G. Chapin Educational Testing Service CDEC...Sharon Deny Educational Testing Service Applied Science Associates Florida State University Mail Stop 22-T P.O. Box 1072 Dept. of Psychology ...Department of Psychology , Department of Mathematical Sciences, and the Institute for Intelligent Systems Mailing address: Arthur C. Graesser Department.of

Cyber Test Form Development and Follow-On Cyber Applications

DTIC Science & Technology

2014-10-01

construct of mathematical reasoning, they also measure a second construct irrelevant dimension of baseball knowledge (Camilli & Shepard , 1994). We... Shepard , L. A. (1994). Methods for identifying biased test items. Newbury Park, CA: Sage. Campbell & D.J. Knapp (Eds.) (2001), Exploring the limits in...Applied Psychological Measurement, 7, 201-210. 26 Thissen, D. (2003). MULTILOG user’s guide, version 7.03 [computer program]. Chicago

Sensing and Efficient Inference for Identity Management

DTIC Science & Technology

2015-12-20

further studies in science, mathematics, engineering or technology fields: Student Metrics This section only applies to graduating undergraduates...of identification errors. Because of this, we believe that further study is warranted to make the Lagrangian formulation computationally more...conducted on the ISSIA data set [40], which is a 3 minutes soccer scene comprising 25 targets (11 from each team and 3 referees), recorded by 6 cameras

Breast tumor malignancy modelling using evolutionary neural logic networks.

PubMed

Tsakonas, Athanasios; Dounias, Georgios; Panagi, Georgia; Panourgias, Evangelia

2006-01-01

The present work proposes a computer assisted methodology for the effective modelling of the diagnostic decision for breast tumor malignancy. The suggested approach is based on innovative hybrid computational intelligence algorithms properly applied in related cytological data contained in past medical records. The experimental data used in this study were gathered in the early 1990s in the University of Wisconsin, based in post diagnostic cytological observations performed by expert medical staff. Data were properly encoded in a computer database and accordingly, various alternative modelling techniques were applied on them, in an attempt to form diagnostic models. Previous methods included standard optimisation techniques, as well as artificial intelligence approaches, in a way that a variety of related publications exists in modern literature on the subject. In this report, a hybrid computational intelligence approach is suggested, which effectively combines modern mathematical logic principles, neural computation and genetic programming in an effective manner. The approach proves promising either in terms of diagnostic accuracy and generalization capabilities, or in terms of comprehensibility and practical importance for the related medical staff.

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)

Obituary: Eugene Richard Tomer, 1932-2007

NASA Astrophysics Data System (ADS)

Dunkl, Charles F.

2009-01-01

Dr. Eugene R. Tomer passed away on 2 July 2007 at his home in San Francisco, California. The cause of death was cancer. Tomer was a consulting applied mathematician with a wide range of interests in dynamical astronomy, electromagnetic theory for use in communications, and computational methods of applied mathematics. He was a member of AAS, and the Society for Applied and Industrial Mathematics [SIAM]. With K. H. Prendergast, he co-wrote the influential paper "Self-consistent Models of Elliptical Galaxies," published in the Astronomical Journal 75 (1970), 674-679. This paper has been cited over eighty times. Tomer was born on 13 June 1932. He earned the Ph.D. in Mathematics at the University of California-Berkeley in 1978 (title of dissertation: On the C*-algebra of the Hermite Operator). In 1996 he and A. F. Peterson wrote "Meeting the Challenges Presented by Computational Electromagnetics," a publication of the Naval Postgraduate School at Monterey, California. This writer met Eugene at the 1992 Annual SIAM meeting in Los Angeles in connection with the Activity Group on Orthogonal Polynomials and Special Functions, which the writer chaired at the time. Eugene volunteered to edit the Newsletter of the group, which he did from July 1992 to July 1995. Thanks to his skills and efforts, the Newsletter became a carefully edited, professional publication. Eugene not only organized a Problems Column, attracting questions in pure and applied mathematics, but he also designed the logo for the group. He gave much time and effort to this service, in an era when copy had to be physically assembled and mailed to SIAM Headquarters. Eventually he felt he had done what he could for the Activity Group. He told me that he hoped the Group would get seriously involved with applications such as in astronomy, physics, and sciences that use special function solutions of differential equations. During Tomer's editorship, we communicated mostly by e-mail, our homes being far apart. He was a good friend to the Group and to me, as much as one can be over a separation of thousands of miles. As well, Eugene was an active amateur radio operator, much appreciated by his local amateur radio community, with call sign WI6X. He left behind family, friends, and one son.

Maximizing the nurses' preferences in nurse scheduling problem: mathematical modeling and a meta-heuristic algorithm

NASA Astrophysics Data System (ADS)

Jafari, Hamed; Salmasi, Nasser

2015-09-01

The nurse scheduling problem (NSP) has received a great amount of attention in recent years. In the NSP, the goal is to assign shifts to the nurses in order to satisfy the hospital's demand during the planning horizon by considering different objective functions. In this research, we focus on maximizing the nurses' preferences for working shifts and weekends off by considering several important factors such as hospital's policies, labor laws, governmental regulations, and the status of nurses at the end of the previous planning horizon in one of the largest hospitals in Iran i.e., Milad Hospital. Due to the shortage of available nurses, at first, the minimum total number of required nurses is determined. Then, a mathematical programming model is proposed to solve the problem optimally. Since the proposed research problem is NP-hard, a meta-heuristic algorithm based on simulated annealing (SA) is applied to heuristically solve the problem in a reasonable time. An initial feasible solution generator and several novel neighborhood structures are applied to enhance performance of the SA algorithm. Inspired from our observations in Milad hospital, random test problems are generated to evaluate the performance of the SA algorithm. The results of computational experiments indicate that the applied SA algorithm provides solutions with average percentage gap of 5.49 % compared to the upper bounds obtained from the mathematical model. Moreover, the applied SA algorithm provides significantly better solutions in a reasonable time than the schedules provided by the head nurses.

Task force on applied mathematics

NASA Technical Reports Server (NTRS)

Prieto, A.

1979-01-01

Tomas Garza relates how the Research Center for Applied Mathematics Systems and Services in Mexico became the Research Institute for Applied Mathematics and Systems and what the type of work performed is.

Think Pair Share Using Realistic Mathematics Education Approach in Geometry Learning

NASA Astrophysics Data System (ADS)

Afthina, H.; Mardiyana; Pramudya, I.

2017-09-01

This research aims to determine the impact of mathematics learning applying Think Pair Share (TPS) using Realistic Mathematics Education (RME) viewed from mathematical-logical intelligence in geometry learning. Method that used in this research is quasi experimental research The result of this research shows that (1) mathematics achievement applying TPS using RME approach gives a better result than those applying direct learning model; (2) students with high mathematical-logical intelligence can reach a better mathematics achievement than those with average and low one, whereas students with average mathematical-logical intelligence can reach a better achievement than those with low one; (3) there is no interaction between learning model and the level of students’ mathematical-logical intelligence in giving a mathematics achievement. The impact of this research is that TPS model using RME approach can be applied in mathematics learning so that students can learn more actively and understand the material more, and mathematics learning become more meaningful. On the other hand, internal factors of students must become a consideration toward the success of students’ mathematical achievement particularly in geometry material.

A consistent modelling methodology for secondary settling tanks in wastewater treatment.

PubMed

Bürger, Raimund; Diehl, Stefan; Nopens, Ingmar

2011-03-01

The aim of this contribution is partly to build consensus on a consistent modelling methodology (CMM) of complex real processes in wastewater treatment by combining classical concepts with results from applied mathematics, and partly to apply it to the clarification-thickening process in the secondary settling tank. In the CMM, the real process should be approximated by a mathematical model (process model; ordinary or partial differential equation (ODE or PDE)), which in turn is approximated by a simulation model (numerical method) implemented on a computer. These steps have often not been carried out in a correct way. The secondary settling tank was chosen as a case since this is one of the most complex processes in a wastewater treatment plant and simulation models developed decades ago have no guarantee of satisfying fundamental mathematical and physical properties. Nevertheless, such methods are still used in commercial tools to date. This particularly becomes of interest as the state-of-the-art practice is moving towards plant-wide modelling. Then all submodels interact and errors propagate through the model and severely hamper any calibration effort and, hence, the predictive purpose of the model. The CMM is described by applying it first to a simple conversion process in the biological reactor yielding an ODE solver, and then to the solid-liquid separation in the secondary settling tank, yielding a PDE solver. Time has come to incorporate established mathematical techniques into environmental engineering, and wastewater treatment modelling in particular, and to use proven reliable and consistent simulation models. Copyright © 2011 Elsevier Ltd. All rights reserved.

Predicting the Coupling Properties of Axially-Textured Materials.

PubMed

Fuentes-Cobas, Luis E; Muñoz-Romero, Alejandro; Montero-Cabrera, María E; Fuentes-Montero, Luis; Fuentes-Montero, María E

2013-10-30

A description of methods and computer programs for the prediction of "coupling properties" in axially-textured polycrystals is presented. Starting data are the single-crystal properties, texture and stereography. The validity and proper protocols for applying the Voigt, Reuss and Hill approximations to estimate coupling properties effective values is analyzed. Working algorithms for predicting mentioned averages are given. Bunge's symmetrized spherical harmonics expansion of orientation distribution functions, inverse pole figures and (single and polycrystals) physical properties is applied in all stages of the proposed methodology. The established mathematical route has been systematized in a working computer program. The discussion of piezoelectricity in a representative textured ferro-piezoelectric ceramic illustrates the application of the proposed methodology. Polycrystal coupling properties, predicted by the suggested route, are fairly close to experimentally measured ones.

All two-loop maximally helicity-violating amplitudes in multi-Regge kinematics from applied symbology

NASA Astrophysics Data System (ADS)

Prygarin, Alexander; Spradlin, Marcus; Vergu, Cristian; Volovich, Anastasia

2012-04-01

Recent progress on scattering amplitudes has benefited from the mathematical technology of symbols for efficiently handling the types of polylogarithm functions which frequently appear in multiloop computations. The symbol for all two-loop maximally helicity violating amplitudes in planar supersymmetric Yang-Mills theory is known, but explicit analytic formulas for the amplitudes are hard to come by except in special limits where things simplify, such as multi-Regge kinematics. By applying symbology we obtain a formula for the leading behavior of the imaginary part (the Mandelstam cut contribution) of this amplitude in multi-Regge kinematics for any number of gluons. Our result predicts a simple recursive structure which agrees with a direct Balitsky-Fadin-Kuraev-Lipatov computation carried out in a parallel publication.

Predicting the Coupling Properties of Axially-Textured Materials

PubMed Central

Fuentes-Cobas, Luis E.; Muñoz-Romero, Alejandro; Montero-Cabrera, María E.; Fuentes-Montero, Luis; Fuentes-Montero, María E.

2013-01-01

A description of methods and computer programs for the prediction of “coupling properties” in axially-textured polycrystals is presented. Starting data are the single-crystal properties, texture and stereography. The validity and proper protocols for applying the Voigt, Reuss and Hill approximations to estimate coupling properties effective values is analyzed. Working algorithms for predicting mentioned averages are given. Bunge’s symmetrized spherical harmonics expansion of orientation distribution functions, inverse pole figures and (single and polycrystals) physical properties is applied in all stages of the proposed methodology. The established mathematical route has been systematized in a working computer program. The discussion of piezoelectricity in a representative textured ferro-piezoelectric ceramic illustrates the application of the proposed methodology. Polycrystal coupling properties, predicted by the suggested route, are fairly close to experimentally measured ones. PMID:28788370

Superposition Quantification

NASA Astrophysics Data System (ADS)

Chang, Li-Na; Luo, Shun-Long; Sun, Yuan

2017-11-01

The principle of superposition is universal and lies at the heart of quantum theory. Although ever since the inception of quantum mechanics a century ago, superposition has occupied a central and pivotal place, rigorous and systematic studies of the quantification issue have attracted significant interests only in recent years, and many related problems remain to be investigated. In this work we introduce a figure of merit which quantifies superposition from an intuitive and direct perspective, investigate its fundamental properties, connect it to some coherence measures, illustrate it through several examples, and apply it to analyze wave-particle duality. Supported by Science Challenge Project under Grant No. TZ2016002, Laboratory of Computational Physics, Institute of Applied Physics and Computational Mathematics, Beijing, Key Laboratory of Random Complex Structures and Data Science, Chinese Academy of Sciences, Grant under No. 2008DP173182

Studies in Mathematics, Volume XVI. Some Uses of Mathematics: A Source Book for Teachers and Students of School Mathematics.

ERIC Educational Resources Information Center

Bell, Max S., Ed.

This is a collection of articles dealing with mathematical applications for use by high school teachers and students. The articles are intended to illustrate several themes: (1) how mathematics is applied via construction of mathematical models; (2) the various types of activities in applied mathematics; (3) the role of pure mathematics in applied…

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…

Infinity Computer and Calculus

NASA Astrophysics Data System (ADS)

Sergeyev, Yaroslav D.

2007-09-01

Traditional computers work with finite numbers. Situations where the usage of infinite or infinitesimal quantities is required are studied mainly theoretically. In this survey talk, a new computational methodology (that is not related to nonstandard analysis) is described. It is based on the principle `The part is less than the whole' applied to all numbers (finite, infinite, and infinitesimal) and to all sets and processes (finite and infinite). It is shown that it becomes possible to write down finite, infinite, and infinitesimal numbers by a finite number of symbols as particular cases of a unique framework. The new methodology allows us to introduce the Infinity Computer working with all these numbers (its simulator is presented during the lecture). The new computational paradigm both gives possibilities to execute computations of a new type and simplifies fields of mathematics where infinity and/or infinitesimals are encountered. Numerous examples of the usage of the introduced computational tools are given during the lecture.

Dynamic deformation of soft soil media: Experimental studies and mathematical modeling

NASA Astrophysics Data System (ADS)

Balandin, V. V.; Bragov, A. M.; Igumnov, L. A.; Konstantinov, A. Yu.; Kotov, V. L.; Lomunov, A. K.

2015-05-01

A complex experimental-theoretical approach to studying the problem of high-rate strain of soft soil media is presented. This approach combines the following contemporary methods of dynamical tests: the modified Hopkinson-Kolsky method applied tomedium specimens contained in holders and the method of plane wave shock experiments. The following dynamic characteristics of sand soils are obtained: shock adiabatic curves, bulk compressibility curves, and shear resistance curves. The obtained experimental data are used to study the high-rate strain process in the system of a split pressure bar, and the constitutive relations of Grigoryan's mathematical model of soft soil medium are verified by comparing the results of computational and natural test experiments of impact and penetration.

Examination of two methods for statistical analysis of data with magnitude and direction emphasizing vestibular research applications

NASA Technical Reports Server (NTRS)

Calkins, D. S.

1998-01-01

When the dependent (or response) variable response variable in an experiment has direction and magnitude, one approach that has been used for statistical analysis involves splitting magnitude and direction and applying univariate statistical techniques to the components. However, such treatment of quantities with direction and magnitude is not justifiable mathematically and can lead to incorrect conclusions about relationships among variables and, as a result, to flawed interpretations. This note discusses a problem with that practice and recommends mathematically correct procedures to be used with dependent variables that have direction and magnitude for 1) computation of mean values, 2) statistical contrasts of and confidence intervals for means, and 3) correlation methods.

The mathematics of virus shell assembly. Progress report 1995--1996

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

Berger, B.

1996-08-01

This research focuses on applying computational and mathematical techniques to problems in biology, and more specifically to problems in protein folding. Significant progress has been made in the following areas relating to virus shell assembly: the local rules theory has been further developed; development has begun on a second-generation simulator which provides a more physically realistic model of assembly, collaborative efforts have continued with an experimental biologist to verify and inspire the local rules theory; an investigation has been initiated into the mechanics of virus shell assembly; laboratory experiments have been conducted on bacteriophage T4 which verify that the previouslymore » believed structure for the core may be incorrect.« less

Advanced mathematical on-line analysis in nuclear experiments. Usage of parallel computing CUDA routines in standard root analysis

NASA Astrophysics Data System (ADS)

Grzeszczuk, A.; Kowalski, S.

2015-04-01

Compute Unified Device Architecture (CUDA) is a parallel computing platform developed by Nvidia for increase speed of graphics by usage of parallel mode for processes calculation. The success of this solution has opened technology General-Purpose Graphic Processor Units (GPGPUs) for applications not coupled with graphics. The GPGPUs system can be applying as effective tool for reducing huge number of data for pulse shape analysis measures, by on-line recalculation or by very quick system of compression. The simplified structure of CUDA system and model of programming based on example Nvidia GForce GTX580 card are presented by our poster contribution in stand-alone version and as ROOT application.

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…

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

PubMed

Benko, Matúš; Gfrerer, Helmut

2018-01-01

In this paper, we consider a sufficiently broad class of non-linear mathematical programs with disjunctive constraints, which, e.g. include mathematical programs with complemetarity/vanishing constraints. We present an extension of the concept of [Formula: see text]-stationarity which can be easily combined with the well-known notion of M-stationarity to obtain the stronger property of so-called [Formula: see text]-stationarity. We show how the property of [Formula: see text]-stationarity (and thus also of M-stationarity) can be efficiently verified for the considered problem class by computing [Formula: see text]-stationary solutions of a certain quadratic program. We consider further the situation that the point which is to be tested for [Formula: see text]-stationarity, is not known exactly, but is approximated by some convergent sequence, as it is usually the case when applying some numerical method.

A new prospect in magnetic nanoparticle-based cancer therapy: Taking credit from mathematical tissue-mimicking phantom brain models.

PubMed

Saeedi, Mostafa; Vahidi, Omid; Goodarzi, Vahabodin; Saeb, Mohammad Reza; Izadi, Leila; Mozafari, Masoud

2017-11-01

Distribution patterns/performance of magnetic nanoparticles (MNPs) was visualized by computer simulation and experimental validation on agarose gel tissue-mimicking phantom (AGTMP) models. The geometry of a complex three-dimensional mathematical phantom model of a cancer tumor was examined by tomography imaging. The capability of mathematical model to predict distribution patterns/performance in AGTMP model was captured. The temperature profile vs. hyperthermia duration was obtained by solving bio-heat equations for four different MNPs distribution patterns and correlated with cell death rate. The outcomes indicated that bio-heat model was able to predict temperature profile throughout the tissue model with a reasonable precision, to be applied for complex tissue geometries. The simulation results on the cancer tumor model shed light on the effectiveness of the studied parameters. Copyright © 2017 Elsevier Inc. All rights reserved.

Numerical modelling in biosciences using delay differential equations

NASA Astrophysics Data System (ADS)

Bocharov, Gennadii A.; Rihan, Fathalla A.

2000-12-01

Our principal purposes here are (i) to consider, from the perspective of applied mathematics, models of phenomena in the biosciences that are based on delay differential equations and for which numerical approaches are a major tool in understanding their dynamics, (ii) to review the application of numerical techniques to investigate these models. We show that there are prima facie reasons for using such models: (i) they have a richer mathematical framework (compared with ordinary differential equations) for the analysis of biosystem dynamics, (ii) they display better consistency with the nature of certain biological processes and predictive results. We analyze both the qualitative and quantitative role that delays play in basic time-lag models proposed in population dynamics, epidemiology, physiology, immunology, neural networks and cell kinetics. We then indicate suitable computational techniques for the numerical treatment of mathematical problems emerging in the biosciences, comparing them with those implemented by the bio-modellers.

Magic in the machine: a computational magician's assistant.

PubMed

Williams, Howard; McOwan, Peter W

2014-01-01

A human magician blends science, psychology, and performance to create a magical effect. In this paper we explore what can be achieved when that human intelligence is replaced or assisted by machine intelligence. Magical effects are all in some form based on hidden mathematical, scientific, or psychological principles; often the parameters controlling these underpinning techniques are hard for a magician to blend to maximize the magical effect required. The complexity is often caused by interacting and often conflicting physical and psychological constraints that need to be optimally balanced. Normally this tuning is done by trial and error, combined with human intuitions. Here we focus on applying Artificial Intelligence methods to the creation and optimization of magic tricks exploiting mathematical principles. We use experimentally derived data about particular perceptual and cognitive features, combined with a model of the underlying mathematical process to provide a psychologically valid metric to allow optimization of magical impact. In the paper we introduce our optimization methodology and describe how it can be flexibly applied to a range of different types of mathematics based tricks. We also provide two case studies as exemplars of the methodology at work: a magical jigsaw, and a mind reading card trick effect. We evaluate each trick created through testing in laboratory and public performances, and further demonstrate the real world efficacy of our approach for professional performers through sales of the tricks in a reputable magic shop in London.

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)

Analysis of swimming motions.

NASA Technical Reports Server (NTRS)

Gallenstein, J.; Huston, R. L.

1973-01-01

This paper presents an analysis of swimming motion with specific attention given to the flutter kick, the breast-stroke kick, and the breast stroke. The analysis is completely theoretical. It employs a mathematical model of the human body consisting of frustrums of elliptical cones. Dynamical equations are written for this model including both viscous and inertia forces. These equations are then applied with approximated swimming strokes and solved numerically using a digital computer. The procedure is to specify the input of the swimming motion. The computer solution then provides the output displacement, velocity, and rotation or body roll of the swimmer.

Spectral decontamination of a real-time helicopter simulation

NASA Technical Reports Server (NTRS)

Mcfarland, R. E.

1983-01-01

Nonlinear mathematical models of a rotor system, referred to as rotating blade-element models, produce steady-state, high-frequency harmonics of significant magnitude. In a discrete simulation model, certain of these harmonics may be incompatible with realistic real-time computational constraints because of their aliasing into the operational low-pass region. However, the energy is an aliased harmonic may be suppressed by increasing the computation rate of an isolated, causal nonlinearity and using an appropriate filter. This decontamination technique is applied to Sikorsky's real-time model of the Black Hawk helicopter, as supplied to NASA for handling-qualities investigations.

Computer analysis of ATR-FTIR spectra of paint samples for forensic purposes

NASA Astrophysics Data System (ADS)

Szafarska, Małgorzata; Woźniakiewicz, Michał; Pilch, Mariusz; Zięba-Palus, Janina; Kościelniak, Paweł

2009-04-01

A method of subtraction and normalization of IR spectra (MSN-IR) was developed and successfully applied to extract mathematically the pure paint spectrum from the spectrum of paint coat on different bases, both acquired by the Attenuated Total Reflectance Fourier Transform Infrared (ATR-FTIR) technique. The method consists of several stages encompassing several normalization and subtraction processes. The similarity of the spectrum obtained with the reference spectrum was estimated by means of the normalized Manhattan distance. The utility and performance of the method proposed were tested by examination of five different paints sprayed on plastic (polyester) foil and on fabric materials (cotton). It was found that the numerical algorithm applied is able - in contrast to other mathematical approaches conventionally used for the same aim - to reconstruct a pure paint IR spectrum effectively without a loss of chemical information provided. The approach allows the physical separation of a paint from a base to be avoided, hence a time and work-load of analysis to be considerably reduced. The results obtained prove that the method can be considered as a useful tool which can be applied to forensic purposes.

Identification of Linear and Nonlinear Aerodynamic Impulse Responses Using Digital Filter Techniques

NASA Technical Reports Server (NTRS)

Silva, Walter A.

1997-01-01

This paper discusses the mathematical existence and the numerically-correct identification of linear and nonlinear aerodynamic impulse response functions. Differences between continuous-time and discrete-time system theories, which permit the identification and efficient use of these functions, will be detailed. Important input/output definitions and the concept of linear and nonlinear systems with memory will also be discussed. It will be shown that indicial (step or steady) responses (such as Wagner's function), forced harmonic responses (such as Theodorsen's function or those from doublet lattice theory), and responses to random inputs (such as gusts) can all be obtained from an aerodynamic impulse response function. This paper establishes the aerodynamic impulse response function as the most fundamental, and, therefore, the most computationally efficient, aerodynamic function that can be extracted from any given discrete-time, aerodynamic system. The results presented in this paper help to unify the understanding of classical two-dimensional continuous-time theories with modern three-dimensional, discrete-time theories. First, the method is applied to the nonlinear viscous Burger's equation as an example. Next the method is applied to a three-dimensional aeroelastic model using the CAP-TSD (Computational Aeroelasticity Program - Transonic Small Disturbance) code and then to a two-dimensional model using the CFL3D Navier-Stokes code. Comparisons of accuracy and computational cost savings are presented. Because of its mathematical generality, an important attribute of this methodology is that it is applicable to a wide range of nonlinear, discrete-time problems.

Identification of Linear and Nonlinear Aerodynamic Impulse Responses Using Digital Filter Techniques

NASA Technical Reports Server (NTRS)

Silva, Walter A.

1997-01-01

This paper discusses the mathematical existence and the numerically-correct identification of linear and nonlinear aerodynamic impulse response functions. Differences between continuous-time and discrete-time system theories, which permit the identification and efficient use of these functions, will be detailed. Important input/output definitions and the concept of linear and nonlinear systems with memory will also be discussed. It will be shown that indicial (step or steady) responses (such as Wagner's function), forced harmonic responses (such as Tbeodorsen's function or those from doublet lattice theory), and responses to random inputs (such as gusts) can all be obtained from an aerodynamic impulse response function. This paper establishes the aerodynamic impulse response function as the most fundamental, and, therefore, the most computationally efficient, aerodynamic function that can be extracted from any given discrete-time, aerodynamic system. The results presented in this paper help to unify the understanding of classical two-dimensional continuous-time theories with modem three-dimensional, discrete-time theories. First, the method is applied to the nonlinear viscous Burger's equation as an example. Next the method is applied to a three-dimensional aeroelastic model using the CAP-TSD (Computational Aeroelasticity Program - Transonic Small Disturbance) code and then to a two-dimensional model using the CFL3D Navier-Stokes code. Comparisons of accuracy and computational cost savings are presented. Because of its mathematical generality, an important attribute of this methodology is that it is applicable to a wide range of nonlinear, discrete-time problems.

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…

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)

Energy regeneration model of self-consistent field of electron beams into electric power*

NASA Astrophysics Data System (ADS)

Kazmin, B. N.; Ryzhov, D. R.; Trifanov, I. V.; Snezhko, A. A.; Savelyeva, M. V.

2016-04-01

We consider physic-mathematical models of electric processes in electron beams, conversion of beam parameters into electric power values and their transformation into users’ electric power grid (onboard spacecraft network). We perform computer simulation validating high energy efficiency of the studied processes to be applied in the electric power technology to produce the power as well as electric power plants and propulsion installation in the spacecraft.

Transactions of The Army Conference on Applied Mathematics and Computing (5th) Held in West Point, New York on 15-18 June 1987

DTIC Science & Technology

1988-03-01

29 Statistical Machine Learning for the Cognitive Selection of Nonlinear Programming Algorithms in Engineering Design Optimization Toward...interpolation and Interpolation by Box Spline Surfaces Charles K. Chui, Harvey Diamond, Louise A. Raphael. 301 Knot Selection for Least Squares...West Virginia University, Morgantown, West Virginia; and Louise Raphael, National Science Foundation, Washington, DC Knot Selection for Least

Frontiers in Applied and Computational Mathematics 05’

DTIC Science & Technology

2005-03-01

dynamics, forcing subsets to have the same oscillation numbers and interleaving spiking times . Our analysis follows the theory of coupled systems of...continuum is described by a continuous- time stochastic process, as are their internal dynamics. Soluble factors, such as cytokines, are represent- ed...scale of a partide pas- sage time through the reaction zone. Both are realistic for many systems of physical interest. A higher order theory includes

Questioning Mechanisms during Tutoring, Conversation, and Human-Computer Interaction

DTIC Science & Technology

1993-06-01

Department of Psychology Los Angesles, CA 90024 Pittsburgh, PA 15213 Dr. Eduardo Cascallar Dr. Ruth Chabay Dr. Paul G. Chapin Educational Testing Service...Sharon Deny Educational Testing Service Applied Science Associates Florida State University Mail Stop 22-T P.O. Box 1072 Dept. of Psychology Princeton...Principal Investigator Department of Psychology , Department of Mathematical Sciences, and the Institute for Intelligent Systems DTIC ELECTE :JUN 2 9 1993

Information Sharing for Computing Trust Metrics on COTS Electronic Components

DTIC Science & Technology

2008-09-01

8 a. Standard SDLCs ...........................8 b. The Waterfall Model ......................9 c. V -shaped Model ...development of a system. There are many well-known SDLC models , the most popular of which are: • Waterfall • V -shaped • Spiral • Agile a. Standard...the SDLC or applied to software and hardware distribution chain. A. JØSANG’S MODEL DEFINED Jøsang expresses "opinions" mathematically as: 1

Lithium Niobate Arithmetic Logic Unit

DTIC Science & Technology

1991-03-01

Boot51] A.D. Booth, "A Signed Binary Multiplication Technique," Quarterly Journal of Mechanics and Applied Mathematics , Vol. IV Part 2, 1951. [ChWi79...Trans. Computers, Vol. C-26, No. 7, July 1977, pp. 681-687. [Wake8 I] John F. Wakerly , "Miocrocomputer Architecture and Programming," John Wiley and...different division methods and discusses their applicability to simple bit serial implementation. Several different designs are then presented and

Summer Research Program (1992). High School Apprenticeship Program (HSAP) Reports. Volume 14. Rome Laboratory.

DTIC Science & Technology

1992-12-28

analysis. Marvin Minsky , carefully applying mathematical techniques, developed rigo.,ous theorems regarding netwcrk operation. His research led to the...electrical circuits but was later convened to computer simulation, which is still commonly used today. Early success by - Marvirn Minsky , Frank...publication of the book Perceptrons ( Minsky and Papert 1969), in which he and Seymore Papert proved that the single-layer networks then in use were

Center for Center for Technology for Advanced Scientific Component Software (TASCS)

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

Kostadin, Damevski

A resounding success of the Scientific Discovery through Advanced Computing (SciDAC) program is that high-performance computational science is now universally recognized as a critical aspect of scientific discovery [71], complementing both theoretical and experimental research. As scientific communities prepare to exploit unprecedented computing capabilities of emerging leadership-class machines for multi-model simulations at the extreme scale [72], it is more important than ever to address the technical and social challenges of geographically distributed teams that combine expertise in domain science, applied mathematics, and computer science to build robust and flexible codes that can incorporate changes over time. The Center for Technologymore » for Advanced Scientific Component Software (TASCS)1 tackles these these issues by exploiting component-based software development to facilitate collaborative high-performance scientific computing.« less

Notes for Applied Mathematics in Trigonometry and Earth Geometry/Navigation

ERIC Educational Resources Information Center

Faulkner, Peter

2004-01-01

As time has progressed, the role of applied mathematics has become increasingly important. Indeed there are now more students enrolled in applied mathematics courses in senior high schools and colleges than in pure mathematics. Such courses become more relevant both to the student and to future employers, if the same constants and equations that…

Design principles for cancer therapy guided by changes in complexity of protein-protein interaction networks.

PubMed

Benzekry, Sebastian; Tuszynski, Jack A; Rietman, Edward A; Lakka Klement, Giannoula

2015-05-28

The ever-increasing expanse of online bioinformatics data is enabling new ways to, not only explore the visualization of these data, but also to apply novel mathematical methods to extract meaningful information for clinically relevant analysis of pathways and treatment decisions. One of the methods used for computing topological characteristics of a space at different spatial resolutions is persistent homology. This concept can also be applied to network theory, and more specifically to protein-protein interaction networks, where the number of rings in an individual cancer network represents a measure of complexity. We observed a linear correlation of R = -0.55 between persistent homology and 5-year survival of patients with a variety of cancers. This relationship was used to predict the proteins within a protein-protein interaction network with the most impact on cancer progression. By re-computing the persistent homology after computationally removing an individual node (protein) from the protein-protein interaction network, we were able to evaluate whether such an inhibition would lead to improvement in patient survival. The power of this approach lied in its ability to identify the effects of inhibition of multiple proteins and in the ability to expose whether the effect of a single inhibition may be amplified by inhibition of other proteins. More importantly, we illustrate specific examples of persistent homology calculations, which correctly predict the survival benefit observed effects in clinical trials using inhibitors of the identified molecular target. We propose that computational approaches such as persistent homology may be used in the future for selection of molecular therapies in clinic. The technique uses a mathematical algorithm to evaluate the node (protein) whose inhibition has the highest potential to reduce network complexity. The greater the drop in persistent homology, the greater reduction in network complexity, and thus a larger potential for survival benefit. We hope that the use of advanced mathematics in medicine will provide timely information about the best drug combination for patients, and avoid the expense associated with an unsuccessful clinical trial, where drug(s) did not show a survival benefit.

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.

Applying mathematical modeling to create job rotation schedules for minimizing occupational noise exposure.

PubMed

Tharmmaphornphilas, Wipawee; Green, Benjamin; Carnahan, Brian J; Norman, Bryan A

2003-01-01

This research developed worker schedules by using administrative controls and a computer programming model to reduce the likelihood of worker hearing loss. By rotating the workers through different jobs during the day it was possible to reduce their exposure to hazardous noise levels. Computer simulations were made based on data collected in a real setting. Worker schedules currently used at the site are compared with proposed worker schedules from the computer simulations. For the worker assignment plans found by the computer model, the authors calculate a significant decrease in time-weighted average (TWA) sound level exposure. The maximum daily dose that any worker is exposed to is reduced by 58.8%, and the maximum TWA value for the workers is reduced by 3.8 dB from the current schedule.

On the importance of mathematical methods for analysis of MALDI-imaging mass spectrometry data.

PubMed

Trede, Dennis; Kobarg, Jan Hendrik; Oetjen, Janina; Thiele, Herbert; Maass, Peter; Alexandrov, Theodore

2012-03-21

In the last decade, matrix-assisted laser desorption/ionization (MALDI) imaging mass spectrometry (IMS), also called as MALDI-imaging, has proven its potential in proteomics and was successfully applied to various types of biomedical problems, in particular to histopathological label-free analysis of tissue sections. In histopathology, MALDI-imaging is used as a general analytic tool revealing the functional proteomic structure of tissue sections, and as a discovery tool for detecting new biomarkers discriminating a region annotated by an experienced histologist, in particular, for cancer studies. A typical MALDI-imaging data set contains 10⁸ to 10⁹ intensity values occupying more than 1 GB. Analysis and interpretation of such huge amount of data is a mathematically, statistically and computationally challenging problem. In this paper we overview some computational methods for analysis of MALDI-imaging data sets. We discuss the importance of data preprocessing, which typically includes normalization, baseline removal and peak picking, and hightlight the importance of image denoising when visualizing IMS data.

On the Importance of Mathematical Methods for Analysis of MALDI-Imaging Mass Spectrometry Data.

PubMed

Trede, Dennis; Kobarg, Jan Hendrik; Oetjen, Janina; Thiele, Herbert; Maass, Peter; Alexandrov, Theodore

2012-03-01

In the last decade, matrix-assisted laser desorption/ionization (MALDI) imaging mass spectrometry (IMS), also called as MALDI-imaging, has proven its potential in proteomics and was successfully applied to various types of biomedical problems, in particular to histopathological label-free analysis of tissue sections. In histopathology, MALDI-imaging is used as a general analytic tool revealing the functional proteomic structure of tissue sections, and as a discovery tool for detecting new biomarkers discriminating a region annotated by an experienced histologist, in particular, for cancer studies. A typical MALDI-imaging data set contains 108 to 109 intensity values occupying more than 1 GB. Analysis and interpretation of such huge amount of data is a mathematically, statistically and computationally challenging problem. In this paper we overview some computational methods for analysis of MALDI-imaging data sets. We discuss the importance of data preprocessing, which typically includes normalization, baseline removal and peak picking, and hightlight the importance of image denoising when visualizing IMS data.

An innovative approach to compensator design

NASA Technical Reports Server (NTRS)

Mitchell, J. R.

1972-01-01

The primary goal is to present for a control system a computer-aided-compensator design technique from a frequency domain point of view. The thesis for developing this technique is to describe the open loop frequency response by n discrete frequency points which result in n functions of the compensator coefficients. Several of these functions are chosen so that the system specifications are properly portrayed; then mathematical programming is used to improve all of these functions which have values below minimum standards. In order to do this several definitions in regard to measuring the performance of a system in the frequency domain are given. Next, theorems which govern the number of compensator coefficients necessary to make improvements in a certain number of functions are proved. After this a mathematical programming tool for aiding in the solution of the problem is developed. Then for applying the constraint improvement algorithm generalized gradients for the constraints are derived. Finally, the necessary theory is incorporated in a computer program called CIP (compensator improvement program).

The Convallis Rule for Unsupervised Learning in Cortical Networks

PubMed Central

Yger, Pierre; Harris, Kenneth D.

2013-01-01

The phenomenology and cellular mechanisms of cortical synaptic plasticity are becoming known in increasing detail, but the computational principles by which cortical plasticity enables the development of sensory representations are unclear. Here we describe a framework for cortical synaptic plasticity termed the “Convallis rule”, mathematically derived from a principle of unsupervised learning via constrained optimization. Implementation of the rule caused a recurrent cortex-like network of simulated spiking neurons to develop rate representations of real-world speech stimuli, enabling classification by a downstream linear decoder. Applied to spike patterns used in in vitro plasticity experiments, the rule reproduced multiple results including and beyond STDP. However STDP alone produced poorer learning performance. The mathematical form of the rule is consistent with a dual coincidence detector mechanism that has been suggested by experiments in several synaptic classes of juvenile neocortex. Based on this confluence of normative, phenomenological, and mechanistic evidence, we suggest that the rule may approximate a fundamental computational principle of the neocortex. PMID:24204224

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)

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…

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…

DVS-SOFTWARE: An Effective Tool for Applying Highly Parallelized Hardware To Computational Geophysics

NASA Astrophysics Data System (ADS)

Herrera, I.; Herrera, G. S.

2015-12-01

Most geophysical systems are macroscopic physical systems. The behavior prediction of such systems is carried out by means of computational models whose basic models are partial differential equations (PDEs) [1]. Due to the enormous size of the discretized version of such PDEs it is necessary to apply highly parallelized super-computers. For them, at present, the most efficient software is based on non-overlapping domain decomposition methods (DDM). However, a limiting feature of the present state-of-the-art techniques is due to the kind of discretizations used in them. Recently, I. Herrera and co-workers using 'non-overlapping discretizations' have produced the DVS-Software which overcomes this limitation [2]. The DVS-software can be applied to a great variety of geophysical problems and achieves very high parallel efficiencies (90%, or so [3]). It is therefore very suitable for effectively applying the most advanced parallel supercomputers available at present. In a parallel talk, in this AGU Fall Meeting, Graciela Herrera Z. will present how this software is being applied to advance MOD-FLOW. Key Words: Parallel Software for Geophysics, High Performance Computing, HPC, Parallel Computing, Domain Decomposition Methods (DDM)REFERENCES [1]. Herrera Ismael and George F. Pinder, Mathematical Modelling in Science and Engineering: An axiomatic approach", John Wiley, 243p., 2012. [2]. Herrera, I., de la Cruz L.M. and Rosas-Medina A. "Non Overlapping Discretization Methods for Partial, Differential Equations". NUMER METH PART D E, 30: 1427-1454, 2014, DOI 10.1002/num 21852. (Open source) [3]. Herrera, I., & Contreras Iván "An Innovative Tool for Effectively Applying Highly Parallelized Software To Problems of Elasticity". Geofísica Internacional, 2015 (In press)

What is the problem in problem-based learning in higher education mathematics

NASA Astrophysics Data System (ADS)

Dahl, Bettina

2018-01-01

Problem and Project-Based Learning (PBL) emphasise collaborate work on problems relevant to society and emphases the relation between theory and practice. PBL fits engineering students as preparation for their future professions but what about mathematics? Mathematics is not just applied mathematics, but it is also a body of abstract knowledge where the application in society is not always obvious. Does mathematics, including pure mathematics, fit into a PBL curriculum? This paper argues that it does for two reasons: (1) PBL resembles the working methods of research mathematicians. (2) The concept of society includes the society of researchers to whom theoretical mathematics is relevant. The paper describes two cases of university PBL projects in mathematics; one in pure mathematics and the other in applied mathematics. The paper also discusses that future engineers need to understand the world of mathematics as well as how engineers fit into a process of fundamental-research-turned-into-applied-science.

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…

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.

History of Modern Applied Mathematics in Mathematics Education

ERIC Educational Resources Information Center

Jankvist, Uffe Thomas

2009-01-01

This article discusses the integration of history of modern applied mathematics in mathematics education as well as the possible teaching and learning benefits of introducing a newer history of mathematics over an old(er) one--something that seems to be done most often when integrating history. Three cases of the history of modern applied…

Discussing Perception, Determining Provision: Teachers' Perspectives on the Applied Options of A-Level Mathematics

ERIC Educational Resources Information Center

Ward-Penny, Robert; Johnston-Wilder, Sue; Johnston-Wilder, Peter

2013-01-01

One-third of the current A-level mathematics curriculum is determined by choice, constructed out of "applied mathematics" modules in mechanics, statistics and decision mathematics. Although this choice arguably involves the most sizeable instance of choice in the current English school mathematics curriculum, and it has a significant…

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…

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…

Spectral analysis of GEOS-3 altimeter data and frequency domain collocation. [to estimate gravity anomalies

NASA Technical Reports Server (NTRS)

Eren, K.

1980-01-01

The mathematical background in spectral analysis as applied to geodetic applications is summarized. The resolution (cut-off frequency) of the GEOS 3 altimeter data is examined by determining the shortest wavelength (corresponding to the cut-off frequency) recoverable. The data from some 18 profiles are used. The total power (variance) in the sea surface topography with respect to the reference ellipsoid as well as with respect to the GEM-9 surface is computed. A fast inversion algorithm for matrices of simple and block Toeplitz matrices and its application to least squares collocation is explained. This algorithm yields a considerable gain in computer time and storage in comparison with conventional least squares collocation. Frequency domain least squares collocation techniques are also introduced and applied to estimating gravity anomalies from GEOS 3 altimeter data. These techniques substantially reduce the computer time and requirements in storage associated with the conventional least squares collocation. Numerical examples given demonstrate the efficiency and speed of these techniques.

Computational algebraic geometry of epidemic models

NASA Astrophysics Data System (ADS)

Rodríguez Vega, Martín.

2014-06-01

Computational Algebraic Geometry is applied to the analysis of various epidemic models for Schistosomiasis and Dengue, both, for the case without control measures and for the case where control measures are applied. The models were analyzed using the mathematical software Maple. Explicitly the analysis is performed using Groebner basis, Hilbert dimension and Hilbert polynomials. These computational tools are included automatically in Maple. Each of these models is represented by a system of ordinary differential equations, and for each model the basic reproductive number (R0) is calculated. The effects of the control measures are observed by the changes in the algebraic structure of R0, the changes in Groebner basis, the changes in Hilbert dimension, and the changes in Hilbert polynomials. It is hoped that the results obtained in this paper become of importance for designing control measures against the epidemic diseases described. For future researches it is proposed the use of algebraic epidemiology to analyze models for airborne and waterborne diseases.

Artificial Intelligence in Medical Practice: The Question to the Answer?

PubMed

Miller, D Douglas; Brown, Eric W

2018-02-01

Computer science advances and ultra-fast computing speeds find artificial intelligence (AI) broadly benefitting modern society-forecasting weather, recognizing faces, detecting fraud, and deciphering genomics. AI's future role in medical practice remains an unanswered question. Machines (computers) learn to detect patterns not decipherable using biostatistics by processing massive datasets (big data) through layered mathematical models (algorithms). Correcting algorithm mistakes (training) adds to AI predictive model confidence. AI is being successfully applied for image analysis in radiology, pathology, and dermatology, with diagnostic speed exceeding, and accuracy paralleling, medical experts. While diagnostic confidence never reaches 100%, combining machines plus physicians reliably enhances system performance. Cognitive programs are impacting medical practice by applying natural language processing to read the rapidly expanding scientific literature and collate years of diverse electronic medical records. In this and other ways, AI may optimize the care trajectory of chronic disease patients, suggest precision therapies for complex illnesses, reduce medical errors, and improve subject enrollment into clinical trials. Copyright © 2018 Elsevier Inc. All rights reserved.

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.

Mathematical model for Dengue with three states of infection

NASA Astrophysics Data System (ADS)

Hincapie, Doracelly; Ospina, Juan

2012-06-01

A mathematical model for dengue with three states of infection is proposed and analyzed. The model consists in a system of differential equations. The three states of infection are respectively asymptomatic, partially asymptomatic and fully asymptomatic. The model is analyzed using computer algebra software, specifically Maple, and the corresponding basic reproductive number and the epidemic threshold are computed. The resulting basic reproductive number is an algebraic synthesis of all epidemic parameters and it makes clear the possible control measures. The microscopic structure of the epidemic parameters is established using the quantum theory of the interactions between the atoms and radiation. In such approximation, the human individual is represented by an atom and the mosquitoes are represented by radiation. The force of infection from the mosquitoes to the humans is considered as the transition probability from the fundamental state of atom to excited states. The combination of computer algebra software and quantum theory provides a very complete formula for the basic reproductive number and the possible control measures tending to stop the propagation of the disease. It is claimed that such result may be important in military medicine and the proposed method can be applied to other vector-borne diseases.

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

Efficient stochastic approaches for sensitivity studies of an Eulerian large-scale air pollution model

NASA Astrophysics Data System (ADS)

Dimov, I.; Georgieva, R.; Todorov, V.; Ostromsky, Tz.

2017-10-01

Reliability of large-scale mathematical models is an important issue when such models are used to support decision makers. Sensitivity analysis of model outputs to variation or natural uncertainties of model inputs is crucial for improving the reliability of mathematical models. A comprehensive experimental study of Monte Carlo algorithms based on Sobol sequences for multidimensional numerical integration has been done. A comparison with Latin hypercube sampling and a particular quasi-Monte Carlo lattice rule based on generalized Fibonacci numbers has been presented. The algorithms have been successfully applied to compute global Sobol sensitivity measures corresponding to the influence of several input parameters (six chemical reactions rates and four different groups of pollutants) on the concentrations of important air pollutants. The concentration values have been generated by the Unified Danish Eulerian Model. The sensitivity study has been done for the areas of several European cities with different geographical locations. The numerical tests show that the stochastic algorithms under consideration are efficient for multidimensional integration and especially for computing small by value sensitivity indices. It is a crucial element since even small indices may be important to be estimated in order to achieve a more accurate distribution of inputs influence and a more reliable interpretation of the mathematical model results.

Structure Shapes Dynamics and Directionality in Diverse Brain Networks: Mathematical Principles and Empirical Confirmation in Three Species

NASA Astrophysics Data System (ADS)

Moon, Joon-Young; Kim, Junhyeok; Ko, Tae-Wook; Kim, Minkyung; Iturria-Medina, Yasser; Choi, Jee-Hyun; Lee, Joseph; Mashour, George A.; Lee, Uncheol

2017-04-01

Identifying how spatially distributed information becomes integrated in the brain is essential to understanding higher cognitive functions. Previous computational and empirical studies suggest a significant influence of brain network structure on brain network function. However, there have been few analytical approaches to explain the role of network structure in shaping regional activities and directionality patterns. In this study, analytical methods are applied to a coupled oscillator model implemented in inhomogeneous networks. We first derive a mathematical principle that explains the emergence of directionality from the underlying brain network structure. We then apply the analytical methods to the anatomical brain networks of human, macaque, and mouse, successfully predicting simulation and empirical electroencephalographic data. The results demonstrate that the global directionality patterns in resting state brain networks can be predicted solely by their unique network structures. This study forms a foundation for a more comprehensive understanding of how neural information is directed and integrated in complex brain networks.

Mathematical model of phase transformations and elastoplastic stress in the water spray quenching of steel bars

NASA Astrophysics Data System (ADS)

Nagasaka, Y.; Brimacombe, J. K.; Hawbolt, E. B.; Samarasekera, I. V.; Hernandez-Morales, B.; Chidiac, S. E.

1993-04-01

A mathematical model, based on the finite-element technique and incorporating thermo-elasto-plastic behavior during the water spray quenching of steel, has been developed. In the model, the kinetics of diffusion-dependent phase transformation and martensitic transformation have been coupled with the transient heat flow to predict the microstructural evolution of the steel. Furthermore, an elasto-plastic constitutive relation has been applied to calculate internal stresses resulting from phase changes as well as temperature variation. The computer code has been verified for internal consistency with previously published results for pure iron bars. The model has been applied to the water spray quenching of two grades of steel bars, 1035 carbon and nickel-chromium alloyed steel; the calculated temperature, hardness, distortion, and residual stresses in the bars agreed well with experimental measurements. The results show that the phase changes occurring during this process affect the internal stresses significantly and must be included in the thermomechanical model.

Shaded computer graphic techniques for visualizing and interpreting analytic fluid flow models

NASA Technical Reports Server (NTRS)

Parke, F. I.

1981-01-01

Mathematical models which predict the behavior of fluid flow in different experiments are simulated using digital computers. The simulations predict values of parameters of the fluid flow (pressure, temperature and velocity vector) at many points in the fluid. Visualization of the spatial variation in the value of these parameters is important to comprehend and check the data generated, to identify the regions of interest in the flow, and for effectively communicating information about the flow to others. The state of the art imaging techniques developed in the field of three dimensional shaded computer graphics is applied to visualization of fluid flow. Use of an imaging technique known as 'SCAN' for visualizing fluid flow, is studied and the results are presented.

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.

In Praise of Numerical Computation

NASA Astrophysics Data System (ADS)

Yap, Chee K.

Theoretical Computer Science has developed an almost exclusively discrete/algebraic persona. We have effectively shut ourselves off from half of the world of computing: a host of problems in Computational Science & Engineering (CS&E) are defined on the continuum, and, for them, the discrete viewpoint is inadequate. The computational techniques in such problems are well-known to numerical analysis and applied mathematics, but are rarely discussed in theoretical algorithms: iteration, subdivision and approximation. By various case studies, I will indicate how our discrete/algebraic view of computing has many shortcomings in CS&E. We want embrace the continuous/analytic view, but in a new synthesis with the discrete/algebraic view. I will suggest a pathway, by way of an exact numerical model of computation, that allows us to incorporate iteration and approximation into our algorithms’ design. Some recent results give a peek into how this view of algorithmic development might look like, and its distinctive form suggests the name “numerical computational geometry” for such activities.

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…

The Mathematics of Four or More N-Localizers for Stereotactic Neurosurgery.

PubMed

Brown, Russell A

2015-10-13

The mathematics that were originally developed for the N-localizer apply to three N-localizers that produce three sets of fiducials in a tomographic image. Some applications of the N-localizer use four N-localizers that produce four sets of fiducials; however, the mathematics that apply to three sets of fiducials do not apply to four sets of fiducials. This article presents mathematics that apply to four or more sets of fiducials that all lie within one planar tomographic image. In addition, these mathematics are extended to apply to four or more fiducials that do not all lie within one planar tomographic image, as may be the case with magnetic resonance (MR) imaging where a volume is imaged instead of a series of planar tomographic images. Whether applied to a planar image or a volume image, the mathematics of four or more N-localizers provide a statistical measure of the quality of the image data that may be influenced by factors, such as the nonlinear distortion of MR images.

Revalidation of the Selection Instrument for Flight Training

DTIC Science & Technology

2017-07-01

AACog) composite, as measured by the following SIFT subscales: o Mechanical Comprehension Test (MCT) o Math Skills Test (MST) o Reading...applied mechanical science. varies/ 15 minutes MST Math Skills Test—Assesses the examinee’s computational skill and mathematical aptitude...3.36 2.11 .03 1.01 Mechanical Comprehension 463 -1.95 3.58 .01 0.92 Math Skills 463 -2.59 2.87 .06 0.82 Reading Comprehension 463 -2.51 2.93 .52

Omnidirectional Learning - A New Paradigm for Learning to Predict Any Set of Variables from Any Other Set

DTIC Science & Technology

2016-05-06

ABSTRACT Awards: Best Paper Honorable Mention Award at the SIAM (Society for Industrial and Applied Mathematics Conference on Data Mining (SDM...magnitude in computation time over the state of the art. 15. SUBJECT TERMS Data Mining 16. SECURITY CLASSIFICATION OF: 17...International Conference on Data Mining and received Best Paper Honorable mention. To ensure broad use and uptake of the outcomes of this research

Recent Naval Postgraduate School Publications

DTIC Science & Technology

1988-08-30

kind. Part 1: Regular kernals Applied Mathematics and Computation, vol. 21, p. 171-184, (1987). Neta B- Williams, R T Stability and phase speed for...Cong., Oslo Norway Aug. 5-9, 1985. IN Proc., IMAC, p. 209-213, (198). Neta Bi Williams, R T Stability and phase speed for various finite element...development phases DoD Software Technol. for Adaptable, Reliable Systems (STARS) Business Practices Area Manage. Workshop, Los Angeles, CA, Nov. 18-22, (1985

Application of nonlinear transformations to automatic flight control

NASA Technical Reports Server (NTRS)

Meyer, G.; Su, R.; Hunt, L. R.

1984-01-01

The theory of transformations of nonlinear systems to linear ones is applied to the design of an automatic flight controller for the UH-1H helicopter. The helicopter mathematical model is described and it is shown to satisfy the necessary and sufficient conditions for transformability. The mapping is constructed, taking the nonlinear model to canonical form. The performance of the automatic control system in a detailed simulation on the flight computer is summarized.

A strategy for automatically generating programs in the lucid programming language

NASA Technical Reports Server (NTRS)

Johnson, Sally C.

1987-01-01

A strategy for automatically generating and verifying simple computer programs is described. The programs are specified by a precondition and a postcondition in predicate calculus. The programs generated are in the Lucid programming language, a high-level, data-flow language known for its attractive mathematical properties and ease of program verification. The Lucid programming is described, and the automatic program generation strategy is described and applied to several example problems.

A Multi-Objective Decision-Making Model for Resources Allocation in Humanitarian Relief

DTIC Science & Technology

2007-03-01

Applied Mathematics and Computation 163, 2005, pp756 19. Malczewski, J., GIS and Multicriteria Decision Analysis , John Wiley and Sons, New York... used when interpreting the results of the analysis . (Raimo et al. 2002) (7) Sensitivity analysis Sensitivity analysis in a DA process answers...Budget Scenario Analysis The MILP is solved ( using LINDO 6.1) for high, medium and low budget scenarios in both damage degree levels. Tables 17 and

Transactions of the Army Conference on Applied Mathematics and Computing (1st) Held at Washington, DC on 9-11 May 1983

DTIC Science & Technology

1984-02-01

I . . . . . . An Introduction to Geometric Programming Patrick D. Allen and David W. Baker . . . . . . , . . . . . . . Space and Time...Zarwyn, US-Army Electronics R & D Comhiand GEOMETRIC PROGRAMING SPACE AND TIFFE ANALYSIS IN DYNAMIC PROGRAMING ALGORITHMS Renne..tf Stizti, AkeanXa...physical and parameter space can be connected by asymptotic matching. The purpose of the asymptotic analysis is to define the simplest problems

FY 1999 Laboratory Directed Research and Development annual report

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

PJ Hughes

2000-06-13

A short synopsis of each project is given covering the following main areas of research and development: Atmospheric sciences; Biotechnology; Chemical and instrumentation analysis; Computer and information science; Design and manufacture engineering; Ecological science; Electronics and sensors; Experimental technology; Health protection and dosimetry; Hydrologic and geologic science; Marine sciences; Materials science; Nuclear science and engineering; Process science and engineering; Sociotechnical systems analysis; Statistics and applied mathematics; and Thermal and energy systems.

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…

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)

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

None, None

The Second SIAM Conference on Computational Science and Engineering was held in San Diego from February 10-12, 2003. Total conference attendance was 553. This is a 23% increase in attendance over the first conference. The focus of this conference was to draw attention to the tremendous range of major computational efforts on large problems in science and engineering, to promote the interdisciplinary culture required to meet these large-scale challenges, and to encourage the training of the next generation of computational scientists. Computational Science & Engineering (CS&E) is now widely accepted, along with theory and experiment, as a crucial third modemore » of scientific investigation and engineering design. Aerospace, automotive, biological, chemical, semiconductor, and other industrial sectors now rely on simulation for technical decision support. For federal agencies also, CS&E has become an essential support for decisions on resources, transportation, and defense. CS&E is, by nature, interdisciplinary. It grows out of physical applications and it depends on computer architecture, but at its heart are powerful numerical algorithms and sophisticated computer science techniques. From an applied mathematics perspective, much of CS&E has involved analysis, but the future surely includes optimization and design, especially in the presence of uncertainty. Another mathematical frontier is the assimilation of very large data sets through such techniques as adaptive multi-resolution, automated feature search, and low-dimensional parameterization. The themes of the 2003 conference included, but were not limited to: Advanced Discretization Methods; Computational Biology and Bioinformatics; Computational Chemistry and Chemical Engineering; Computational Earth and Atmospheric Sciences; Computational Electromagnetics; Computational Fluid Dynamics; Computational Medicine and Bioengineering; Computational Physics and Astrophysics; Computational Solid Mechanics and Materials; CS&E Education; Meshing and Adaptivity; Multiscale and Multiphysics Problems; Numerical Algorithms for CS&E; Discrete and Combinatorial Algorithms for CS&E; Inverse Problems; Optimal Design, Optimal Control, and Inverse Problems; Parallel and Distributed Computing; Problem-Solving Environments; Software and Wddleware Systems; Uncertainty Estimation and Sensitivity Analysis; and Visualization and Computer Graphics.« less

Scaling up to address data science challenges

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

Wendelberger, Joanne R.

Statistics and Data Science provide a variety of perspectives and technical approaches for exploring and understanding Big Data. Partnerships between scientists from different fields such as statistics, machine learning, computer science, and applied mathematics can lead to innovative approaches for addressing problems involving increasingly large amounts of data in a rigorous and effective manner that takes advantage of advances in computing. Here, this article will explore various challenges in Data Science and will highlight statistical approaches that can facilitate analysis of large-scale data including sampling and data reduction methods, techniques for effective analysis and visualization of large-scale simulations, and algorithmsmore » and procedures for efficient processing.« less

Scaling up to address data science challenges

DOE PAGES

Wendelberger, Joanne R.

2017-04-27

Statistics and Data Science provide a variety of perspectives and technical approaches for exploring and understanding Big Data. Partnerships between scientists from different fields such as statistics, machine learning, computer science, and applied mathematics can lead to innovative approaches for addressing problems involving increasingly large amounts of data in a rigorous and effective manner that takes advantage of advances in computing. Here, this article will explore various challenges in Data Science and will highlight statistical approaches that can facilitate analysis of large-scale data including sampling and data reduction methods, techniques for effective analysis and visualization of large-scale simulations, and algorithmsmore » and procedures for efficient processing.« less

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.

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.

Magic in the machine: a computational magician's assistant

PubMed Central

Williams, Howard; McOwan, Peter W.

2014-01-01

A human magician blends science, psychology, and performance to create a magical effect. In this paper we explore what can be achieved when that human intelligence is replaced or assisted by machine intelligence. Magical effects are all in some form based on hidden mathematical, scientific, or psychological principles; often the parameters controlling these underpinning techniques are hard for a magician to blend to maximize the magical effect required. The complexity is often caused by interacting and often conflicting physical and psychological constraints that need to be optimally balanced. Normally this tuning is done by trial and error, combined with human intuitions. Here we focus on applying Artificial Intelligence methods to the creation and optimization of magic tricks exploiting mathematical principles. We use experimentally derived data about particular perceptual and cognitive features, combined with a model of the underlying mathematical process to provide a psychologically valid metric to allow optimization of magical impact. In the paper we introduce our optimization methodology and describe how it can be flexibly applied to a range of different types of mathematics based tricks. We also provide two case studies as exemplars of the methodology at work: a magical jigsaw, and a mind reading card trick effect. We evaluate each trick created through testing in laboratory and public performances, and further demonstrate the real world efficacy of our approach for professional performers through sales of the tricks in a reputable magic shop in London. PMID:25452736

Applying an analytical method to study neutron behavior for dosimetry

NASA Astrophysics Data System (ADS)

Shirazi, S. A. Mousavi

2016-12-01

In this investigation, a new dosimetry process is studied by applying an analytical method. This novel process is associated with a human liver tissue. The human liver tissue has compositions including water, glycogen and etc. In this study, organic compound materials of liver are decomposed into their constituent elements based upon mass percentage and density of every element. The absorbed doses are computed by analytical method in all constituent elements of liver tissue. This analytical method is introduced applying mathematical equations based on neutron behavior and neutron collision rules. The results show that the absorbed doses are converged for neutron energy below 15MeV. This method can be applied to study the interaction of neutrons in other tissues and estimating the absorbed dose for a wide range of neutron energy.

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…

Statistical Mechanics of Coherent Ising Machine — The Case of Ferromagnetic and Finite-Loading Hopfield Models —

NASA Astrophysics Data System (ADS)

Aonishi, Toru; Mimura, Kazushi; Utsunomiya, Shoko; Okada, Masato; Yamamoto, Yoshihisa

2017-10-01

The coherent Ising machine (CIM) has attracted attention as one of the most effective Ising computing architectures for solving large scale optimization problems because of its scalability and high-speed computational ability. However, it is difficult to implement the Ising computation in the CIM because the theories and techniques of classical thermodynamic equilibrium Ising spin systems cannot be directly applied to the CIM. This means we have to adapt these theories and techniques to the CIM. Here we focus on a ferromagnetic model and a finite loading Hopfield model, which are canonical models sharing a common mathematical structure with almost all other Ising models. We derive macroscopic equations to capture nonequilibrium phase transitions in these models. The statistical mechanical methods developed here constitute a basis for constructing evaluation methods for other Ising computation models.

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.

Changes in Elementary Mathematics Teachers' Understanding of Cognitive Demand: When Adapting, Creating, and Using Mathematical Performance Tasks

ERIC Educational Resources Information Center

Jamieson, Thad Spencer

2015-01-01

The use of mathematics performance tasks can provide a window into how a student is applying mathematics to various situations, how they are reasoning mathematically and how they are applying conceptual knowledge through problem solving and critical thinking. The purpose of this study was to investigate, according to the elementary mathematics…

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…

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)

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

Applied Mathematics in the Undergraduate Curriculum.

ERIC Educational Resources Information Center

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

After considering the growth in the use of mathematics in the past 25 years, this report makes four major recommendations regarding the undergraduate curriculum: (1) The mathematics department should offer a course or two in applied mathematics which treat some realistic situations completely, including the steps of problem formulation, model…

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…

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…

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…

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…

Estimation of dynamic rotor loads for the rotor systems research aircraft: Methodology development and validation

NASA Technical Reports Server (NTRS)

Duval, R. W.; Bahrami, M.

1985-01-01

The Rotor Systems Research Aircraft uses load cells to isolate the rotor/transmission systm from the fuselage. A mathematical model relating applied rotor loads and inertial loads of the rotor/transmission system to the load cell response is required to allow the load cells to be used to estimate rotor loads from flight data. Such a model is derived analytically by applying a force and moment balance to the isolated rotor/transmission system. The model is tested by comparing its estimated values of applied rotor loads with measured values obtained from a ground based shake test. Discrepancies in the comparison are used to isolate sources of unmodeled external loads. Once the structure of the mathematical model has been validated by comparison with experimental data, the parameters must be identified. Since the parameters may vary with flight condition it is desirable to identify the parameters directly from the flight data. A Maximum Likelihood identification algorithm is derived for this purpose and tested using a computer simulation of load cell data. The identification is found to converge within 10 samples. The rapid convergence facilitates tracking of time varying parameters of the load cell model in flight.

Measuring Leaf Area in Soy Plants by HSI Color Model Filtering and Mathematical Morphology

NASA Astrophysics Data System (ADS)

Benalcázar, M.; Padín, J.; Brun, M.; Pastore, J.; Ballarin, V.; Peirone, L.; Pereyra, G.

2011-12-01

There has been lately a significant progress in automating tasks for the agricultural sector. One of the advances is the development of robots, based on computer vision, applied to care and management of soy crops. In this task, digital image processing plays an important role, but must solve some important problems, like the ones associated to the variations in lighting conditions during image acquisition. Such variations influence directly on the brightness level of the images to be processed. In this paper we propose an algorithm to segment and measure automatically the leaf area of soy plants. This information is used by the specialists to evaluate and compare the growth of different soy genotypes. This algorithm, based on color filtering using the HSI model, detects green objects from the image background. The segmentation of leaves (foliage) was made applying Mathematical Morphology. The foliage area was estimated counting the pixels that belong to the segmented leaves. From several experiments, consisting in applying the algorithm to measure the foliage of about fifty plants of various genotypes of soy, at different growth stages, we obtained successful results, despite the high brightness variations and shadows in the processed images.

13C-based metabolic flux analysis: fundamentals and practice.

PubMed

Yang, Tae Hoon

2013-01-01

Isotope-based metabolic flux analysis is one of the emerging technologies applied to system level metabolic phenotype characterization in metabolic engineering. Among the developed approaches, (13)C-based metabolic flux analysis has been established as a standard tool and has been widely applied to quantitative pathway characterization of diverse biological systems. To implement (13)C-based metabolic flux analysis in practice, comprehending the underlying mathematical and computational modeling fundamentals is of importance along with carefully conducted experiments and analytical measurements. Such knowledge is also crucial when designing (13)C-labeling experiments and properly acquiring key data sets essential for in vivo flux analysis implementation. In this regard, the modeling fundamentals of (13)C-labeling systems and analytical data processing are the main topics we will deal with in this chapter. Along with this, the relevant numerical optimization techniques are addressed to help implementation of the entire computational procedures aiming at (13)C-based metabolic flux analysis in vivo.

A comparative study of Conroy and Monte Carlo methods applied to multiple quadratures and multiple scattering

NASA Technical Reports Server (NTRS)

Deepak, A.; Fluellen, A.

1978-01-01

An efficient numerical method of multiple quadratures, the Conroy method, is applied to the problem of computing multiple scattering contributions in the radiative transfer through realistic planetary atmospheres. A brief error analysis of the method is given and comparisons are drawn with the more familiar Monte Carlo method. Both methods are stochastic problem-solving models of a physical or mathematical process and utilize the sampling scheme for points distributed over a definite region. In the Monte Carlo scheme the sample points are distributed randomly over the integration region. In the Conroy method, the sample points are distributed systematically, such that the point distribution forms a unique, closed, symmetrical pattern which effectively fills the region of the multidimensional integration. The methods are illustrated by two simple examples: one, of multidimensional integration involving two independent variables, and the other, of computing the second order scattering contribution to the sky radiance.

Mathematics skills in good readers with hydrocephalus.

PubMed

Barnes, Marcia A; Pengelly, Sarah; Dennis, Maureen; Wilkinson, Margaret; Rogers, Tracey; Faulkner, Heather

2002-01-01

Children with hydrocephalus have poor math skills. We investigated the nature of their arithmetic computation errors by comparing written subtraction errors in good readers with hydrocephalus, typically developing good readers of the same age, and younger children matched for math level to the children with hydrocephalus. Children with hydrocephalus made more procedural errors (although not more fact retrieval or visual-spatial errors) than age-matched controls; they made the same number of procedural errors as younger, math-level matched children. We also investigated a broad range of math abilities, and found that children with hydrocephalus performed more poorly than age-matched controls on tests of geometry and applied math skills such as estimation and problem solving. Computation deficits in children with hydrocephalus reflect delayed development of procedural knowledge. Problems in specific math domains such as geometry and applied math, were associated with deficits in constituent cognitive skills such as visual spatial competence, memory, and general knowledge.

Mathematical modeling of infectious disease dynamics

PubMed Central

Siettos, Constantinos I.; Russo, Lucia

2013-01-01

Over the last years, an intensive worldwide effort is speeding up the developments in the establishment of a global surveillance network for combating pandemics of emergent and re-emergent infectious diseases. Scientists from different fields extending from medicine and molecular biology to computer science and applied mathematics have teamed up for rapid assessment of potentially urgent situations. Toward this aim mathematical modeling plays an important role in efforts that focus on predicting, assessing, and controlling potential outbreaks. To better understand and model the contagious dynamics the impact of numerous variables ranging from the micro host–pathogen level to host-to-host interactions, as well as prevailing ecological, social, economic, and demographic factors across the globe have to be analyzed and thoroughly studied. Here, we present and discuss the main approaches that are used for the surveillance and modeling of infectious disease dynamics. We present the basic concepts underpinning their implementation and practice and for each category we give an annotated list of representative works. PMID:23552814

Evaluation of the lambda model for human postural control during ankle strategy.

PubMed

Micheau, Philippe; Kron, Aymeric; Bourassa, Paul

2003-09-01

An accurate modeling of human stance might be helpful in assessing postural deficit. The objective of this article is to validate a mathematical postural control model for quiet standing posture. The postural dynamics is modeled in the sagittal plane as an inverted pendulum with torque applied at the ankle joint. The torque control system is represented by the physiological lambda model. Two neurophysiological command variables of the central nervous system, designated lambda and micro, establish the dynamic threshold muscle at which motoneuron recruitment begins. Kinematic data and electromyographic signals were collected on four young males in order to measure small voluntary sway and quiet standing posture. Validation of the mathematical model was achieved through comparison of the experimental and simulated results. The mathematical model allows computation of the unmeasurable neurophysiological commands lambda and micro that control the equilibrium position and stability. Furthermore, with the model it is possible to conclude that low-amplitude body sway during quiet stance is commanded by the central nervous system.

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

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

Coding and Flow Charting as Applied to UICSM Programed Texts (1962-1963 Versions). Comparative Studies of Principles for Programming Mathematics in Automated Instruction. Technical Report.

ERIC Educational Resources Information Center

Stolurow, Lawrence M.; And Others

Coding systems need to be developed to account for computer decisions on every frame of a self-instructional program. In flow charts of the UICSM high school math programed series, each frame or page is represented by a diagramatic convention: diamond if a mainline frame, a rectangle if a quiz frame, a bottom-heavy trapezoid if a review or…

Transactions of the Eleventh Army Conference on Applied Mathematics and Computing

DTIC Science & Technology

1994-03-01

Hu, S., Laksmikantham, V. and Rama Mohana Rao , M., Nonlinear Variation of Parameters formula for Integro-differential equations of Volterra type, J. M...454-457, 1986 [31 N.K. Sinha and G.P. Rao , Identification of continuous-time systems, Boston: Kluwer Academic, 1991. [41 J. Ezzine and C.D. Johnson...Theory, pages 536-548, 1989. [15] J.A. O’Sullivan, P. Moulin, and D.L. Snyder. Cramer- rao bounds for constrained spectrum estimation with application

A visiting scientist program in atmospheric sciences for the Goddard Space Flight Center

NASA Technical Reports Server (NTRS)

Davis, M. H.

1989-01-01

A visiting scientist program was conducted in the atmospheric sciences and related areas at the Goddard Laboratory for Atmospheres. Research was performed in mathematical analysis as applied to computer modeling of the atmospheres; development of atmospheric modeling programs; analysis of remotely sensed atmospheric, surface, and oceanic data and its incorporation into atmospheric models; development of advanced remote sensing instrumentation; and related research areas. The specific research efforts are detailed by tasks.

Modeling Flow in Porous Media with Double Porosity/Permeability.

NASA Astrophysics Data System (ADS)

Seyed Joodat, S. H.; Nakshatrala, K. B.; Ballarini, R.

2016-12-01

Although several continuum models are available to study the flow of fluids in porous media with two pore-networks [1], they lack a firm theoretical basis. In this poster presentation, we will present a mathematical model with firm thermodynamic basis and a robust computational framework for studying flow in porous media that exhibit double porosity/permeability. The mathematical model will be derived by appealing to the maximization of rate of dissipation hypothesis, which ensures that the model is in accord with the second law of thermodynamics. We will also present important properties that the solutions under the model satisfy, along with an analytical solution procedure based on the Green's function method. On the computational front, a stabilized mixed finite element formulation will be derived based on the variational multi-scale formalism. The equal-order interpolation, which is computationally the most convenient, is stable under this formulation. The performance of this formulation will be demonstrated using patch tests, numerical convergence study, and representative problems. It will be shown that the pressure and velocity profiles under the double porosity/permeability model are qualitatively and quantitatively different from the corresponding ones under the classical Darcy equations. Finally, it will be illustrated that the surface pore-structure is not sufficient in characterizing the flow through a complex porous medium, which pitches a case for using advanced characterization tools like micro-CT. References [1] G. I. Barenblatt, I. P. Zheltov, and I. N. Kochina, "Basic concepts in the theory of seepage of homogeneous liquids in fissured rocks [strata]," Journal of Applied Mathematics and Mechanics, vol. 24, pp. 1286-1303, 1960.

Solving of Clock Problems Using An Algebraic Approach And Developing An Application For Automatic Conversion

NASA Astrophysics Data System (ADS)

Lakshmi Devaraj, Shanmuga

2018-04-01

The recent trend in learning Mathematics is through android apps like Byju’s. The clock problems asked in aptitude tests could be learnt using such computer applications. The Clock problems are of four categories namely: 1. What is the angle between the hands of a clock at a particular time 2. When the hands of a clock will meet after a particular time 3. When the hands of a clock will be at right angle after a particular time 4. When the hands of a clock will be in a straight line but not together after a particular time The aim of this article is to convert the clock problems which were solved using the traditional approach to algebraic equations and solve them. Shortcuts are arrived which help in solving the questions in just a few seconds. Any aptitude problem could be converted to an algebraic equation by tracing the way the problem proceeds by applying our analytical skills. Solving of equations would be the easiest part in coming up with the solution. Also a computer application could be developed by using the equations that were arrived at in the analysis part. The computer application aims at solving the four different problems in Clocks. The application helps the learners of aptitude for CAT and other competitive exams to know the approach of the problem. Learning Mathematics with a gaming tool like this would be interesting to the learners. This paper provides a path to creating gaming apps to learn Mathematics.

The Effect of Manipulatives on Achievement Scores in the Middle School Mathematics Class

ERIC Educational Resources Information Center

Doias, Elaine D.

2013-01-01

When applied to mathematics education, manipulatives help students to visualize mathematical concepts and apply them to everyday situations. Interest in mathematics instruction has increased dramatically over the past two decades with the introduction of virtual manipulatives, as opposed to the concrete manipulatives that have been employed for…

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.

Bayesian models: A statistical primer for ecologists

USGS Publications Warehouse

Hobbs, N. Thompson; Hooten, Mevin B.

2015-01-01

Bayesian modeling has become an indispensable tool for ecological research because it is uniquely suited to deal with complexity in a statistically coherent way. This textbook provides a comprehensive and accessible introduction to the latest Bayesian methods—in language ecologists can understand. Unlike other books on the subject, this one emphasizes the principles behind the computations, giving ecologists a big-picture understanding of how to implement this powerful statistical approach.Bayesian Models is an essential primer for non-statisticians. It begins with a definition of probability and develops a step-by-step sequence of connected ideas, including basic distribution theory, network diagrams, hierarchical models, Markov chain Monte Carlo, and inference from single and multiple models. This unique book places less emphasis on computer coding, favoring instead a concise presentation of the mathematical statistics needed to understand how and why Bayesian analysis works. It also explains how to write out properly formulated hierarchical Bayesian models and use them in computing, research papers, and proposals.This primer enables ecologists to understand the statistical principles behind Bayesian modeling and apply them to research, teaching, policy, and management.Presents the mathematical and statistical foundations of Bayesian modeling in language accessible to non-statisticiansCovers basic distribution theory, network diagrams, hierarchical models, Markov chain Monte Carlo, and moreDeemphasizes computer coding in favor of basic principlesExplains how to write out properly factored statistical expressions representing Bayesian models

A rigorous computational approach to linear response

NASA Astrophysics Data System (ADS)

Bahsoun, Wael; Galatolo, Stefano; Nisoli, Isaia; Niu, Xiaolong

2018-03-01

We present a general setting in which the formula describing the linear response of the physical measure of a perturbed system can be obtained. In this general setting we obtain an algorithm to rigorously compute the linear response. We apply our results to expanding circle maps. In particular, we present examples where we compute, up to a pre-specified error in the L∞ -norm, the response of expanding circle maps under stochastic and deterministic perturbations. Moreover, we present an example where we compute, up to a pre-specified error in the L 1-norm, the response of the intermittent family at the boundary; i.e. when the unperturbed system is the doubling map. This work was mainly conducted during a visit of SG to Loughborough University. WB and SG would like to thank The Leverhulme Trust for supporting mutual research visits through the Network Grant IN-2014-021. SG thanks the Department of Mathematical Sciences at Loughborough University for hospitality. WB thanks Dipartimento di Matematica, Universita di Pisa. The research of SG and IN is partially supported by EU Marie-Curie IRSES ‘Brazilian-European partnership in Dynamical Systems’ (FP7-PEOPLE-2012-IRSES 318999 BREUDS). IN was partially supported by CNPq and FAPERJ. IN would like to thank the Department of Mathematics at Uppsala University and the support of the KAW grant 2013.0315.

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…

[Construction of abridged life table for health evaluation of local resident using Excel program].

PubMed

Chen, Qingsha; Wang, Feng; Li, Xiaozhen; Yang, Jian; Yu, Shouyi; Hu, Jun

2012-05-01

To provide an easy computational tool for evaluating the health condition of local residents. An abridged life table was programmed by applying mathematical functions and formula in Excel program and tested with the real study data to evaluate the results computed. The Excel was capable of computing group death probability of age in the life table ((n)q(x)), number of survivors (l(x)), number of death ((n)d(x)), survival per person-year ((n)L(x)), survival total per person-year (T(x)) and life expectancy (e(x)). The calculated results were consistent with those by SAS. The abridged life table constructed using Microsoft Excel can conveniently and accurately calculate the relevant indices for evaluating the health condition of the residents.

Statistical physics of hard combinatorial optimization: Vertex cover problem

NASA Astrophysics Data System (ADS)

Zhao, Jin-Hua; Zhou, Hai-Jun

2014-07-01

Typical-case computation complexity is a research topic at the boundary of computer science, applied mathematics, and statistical physics. In the last twenty years, the replica-symmetry-breaking mean field theory of spin glasses and the associated message-passing algorithms have greatly deepened our understanding of typical-case computation complexity. In this paper, we use the vertex cover problem, a basic nondeterministic-polynomial (NP)-complete combinatorial optimization problem of wide application, as an example to introduce the statistical physical methods and algorithms. We do not go into the technical details but emphasize mainly the intuitive physical meanings of the message-passing equations. A nonfamiliar reader shall be able to understand to a large extent the physics behind the mean field approaches and to adjust the mean field methods in solving other optimization problems.

Predicting introductory programming performance: A multi-institutional multivariate study

NASA Astrophysics Data System (ADS)

Bergin, Susan; Reilly, Ronan

2006-12-01

A model for predicting student performance on introductory programming modules is presented. The model uses attributes identified in a study carried out at four third-level institutions in the Republic of Ireland. Four instruments were used to collect the data and over 25 attributes were examined. A data reduction technique was applied and a logistic regression model using 10-fold stratified cross validation was developed. The model used three attributes: Leaving Certificate Mathematics result (final mathematics examination at second level), number of hours playing computer games while taking the module and programming self-esteem. Prediction success was significant with 80% of students correctly classified. The model also works well on a per-institution level. A discussion on the implications of the model is provided and future work is outlined.

Quotable Quotes in Mathematics

ERIC Educational Resources Information Center

Lo, Bruce W. N.

1983-01-01

As a way to dispel negative feelings toward mathematics, a variety of quotations are given. They are categorized by: what mathematics is, mathematicians, mathematics and other disciplines, different areas of mathematics, mathematics and humor, applications of mathematics, and pure versus applied mathematics. (MNS)

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.

SU-E-T-121: Analyzing the Broadening Effect On the Bragg Peak Due to Heterogeneous Geometries and Implementing User-Routines in the Monte-Carlo Code FLUKA in Order to Reduce Computation Time

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

Baumann, K; Weber, U; Simeonov, Y

2015-06-15

Purpose: Aim of this study was to analyze the modulating, broadening effect on the Bragg Peak due to heterogeneous geometries like multi-wire chambers in the beam path of a particle therapy beam line. The effect was described by a mathematical model which was implemented in the Monte-Carlo code FLUKA via user-routines, in order to reduce the computation time for the simulations. Methods: The depth dose curve of 80 MeV/u C12-ions in a water phantom was calculated using the Monte-Carlo code FLUKA (reference curve). The modulating effect on this dose distribution behind eleven mesh-like foils (periodicity ∼80 microns) occurring in amore » typical set of multi-wire and dose chambers was mathematically described by optimizing a normal distribution so that the reverence curve convoluted with this distribution equals the modulated dose curve. This distribution describes a displacement in water and was transferred in a probability distribution of the thickness of the eleven foils using the water equivalent thickness of the foil’s material. From this distribution the distribution of the thickness of one foil was determined inversely. In FLUKA the heterogeneous foils were replaced by homogeneous foils and a user-routine was programmed that varies the thickness of the homogeneous foils for each simulated particle using this distribution. Results: Using the mathematical model and user-routine in FLUKA the broadening effect could be reproduced exactly when replacing the heterogeneous foils by homogeneous ones. The computation time was reduced by 90 percent. Conclusion: In this study the broadening effect on the Bragg Peak due to heterogeneous structures was analyzed, described by a mathematical model and implemented in FLUKA via user-routines. Applying these routines the computing time was reduced by 90 percent. The developed tool can be used for any heterogeneous structure in the dimensions of microns to millimeters, in principle even for organic materials like lung tissue.« less

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)

An innovative approach to compensator design

NASA Technical Reports Server (NTRS)

Mitchell, J. R.; Mcdaniel, W. L., Jr.

1973-01-01

The design is considered of a computer-aided-compensator for a control system from a frequency domain point of view. The design technique developed is based on describing the open loop frequency response by n discrete frequency points which result in n functions of the compensator coefficients. Several of these functions are chosen so that the system specifications are properly portrayed; then mathematical programming is used to improve all of these functions which have values below minimum standards. To do this, several definitions in regard to measuring the performance of a system in the frequency domain are given, e.g., relative stability, relative attenuation, proper phasing, etc. Next, theorems which govern the number of compensator coefficients necessary to make improvements in a certain number of functions are proved. After this a mathematical programming tool for aiding in the solution of the problem is developed. This tool is called the constraint improvement algorithm. Then for applying the constraint improvement algorithm generalized, gradients for the constraints are derived. Finally, the necessary theory is incorporated in a Computer program called CIP (compensator Improvement Program). The practical usefulness of CIP is demonstrated by two large system examples.

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

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

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…

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…

The Parker-Sochacki Method--A Powerful New Method for Solving Systems of Differential Equations

NASA Astrophysics Data System (ADS)

Rudmin, Joseph W.

2001-04-01

The Parker-Sochacki Method--A Powerful New Method for Solving Systems of Differential Equations Joseph W. Rudmin (Physics Dept, James Madison University) A new system of solving systems of differential equations will be presented, which has been developed by J. Edgar Parker and James Sochacki, of the James Madison University Mathematics Department. The method produces MacClaurin Series solutions to systems of differential equations, with the coefficients in either algebraic or numerical form. The method yields high-degree solutions: 20th degree is easily obtainable. It is conceptually simple, fast, and extremely general. It has been applied to over a hundred systems of differential equations, some of which were previously unsolved, and has yet to fail to solve any system for which the MacClaurin series converges. The method is non-recursive: each coefficient in the series is calculated just once, in closed form, and its accuracy is limited only by the digital accuracy of the computer. Although the original differential equations may include any mathematical functions, the computational method includes ONLY the operations of addition, subtraction, and multiplication. Furthermore, it is perfectly suited to parallel -processing computer languages. Those who learn this system will never use Runge-Kutta or predictor-corrector methods again. Examples will be presented, including the classical many-body problem.

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.

Partitioning and packing mathematical simulation models for calculation on parallel computers

NASA Technical Reports Server (NTRS)

Arpasi, D. J.; Milner, E. J.

1986-01-01

The development of multiprocessor simulations from a serial set of ordinary differential equations describing a physical system is described. Degrees of parallelism (i.e., coupling between the equations) and their impact on parallel processing are discussed. The problem of identifying computational parallelism within sets of closely coupled equations that require the exchange of current values of variables is described. A technique is presented for identifying this parallelism and for partitioning the equations for parallel solution on a multiprocessor. An algorithm which packs the equations into a minimum number of processors is also described. The results of the packing algorithm when applied to a turbojet engine model are presented in terms of processor utilization.

NARMER-1: a photon point-kernel code with build-up factors

NASA Astrophysics Data System (ADS)

Visonneau, Thierry; Pangault, Laurence; Malouch, Fadhel; Malvagi, Fausto; Dolci, Florence

2017-09-01

This paper presents an overview of NARMER-1, the new generation of photon point-kernel code developed by the Reactor Studies and Applied Mathematics Unit (SERMA) at CEA Saclay Center. After a short introduction giving some history points and the current context of development of the code, the paper exposes the principles implemented in the calculation, the physical quantities computed and surveys the generic features: programming language, computer platforms, geometry package, sources description, etc. Moreover, specific and recent features are also detailed: exclusion sphere, tetrahedral meshes, parallel operations. Then some points about verification and validation are presented. Finally we present some tools that can help the user for operations like visualization and pre-treatment.

Modelling the spread of innovation in wild birds.

PubMed

Shultz, Thomas R; Montrey, Marcel; Aplin, Lucy M

2017-06-01

We apply three plausible algorithms in agent-based computer simulations to recent experiments on social learning in wild birds. Although some of the phenomena are simulated by all three learning algorithms, several manifestations of social conformity bias are simulated by only the approximate majority (AM) algorithm, which has roots in chemistry, molecular biology and theoretical computer science. The simulations generate testable predictions and provide several explanatory insights into the diffusion of innovation through a population. The AM algorithm's success raises the possibility of its usefulness in studying group dynamics more generally, in several different scientific domains. Our differential-equation model matches simulation results and provides mathematical insights into the dynamics of these algorithms. © 2017 The Author(s).

Evaluation of the three-dimensional parabolic flow computer program SHIP

NASA Technical Reports Server (NTRS)

Pan, Y. S.

1978-01-01

The three-dimensional parabolic flow program SHIP designed for predicting supersonic combustor flow fields is evaluated to determine its capabilities. The mathematical foundation and numerical procedure are reviewed; simplifications are pointed out and commented upon. The program is then evaluated numerically by applying it to several subsonic and supersonic, turbulent, reacting and nonreacting flow problems. Computational results are compared with available experimental or other analytical data. Good agreements are obtained when the simplifications on which the program is based are justified. Limitations of the program and the needs for improvement and extension are pointed out. The present three dimensional parabolic flow program appears to be potentially useful for the development of supersonic combustors.

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

Self-powered information measuring wireless networks using the distribution of tasks within multicore processors

NASA Astrophysics Data System (ADS)

Zhuravska, Iryna M.; Koretska, Oleksandra O.; Musiyenko, Maksym P.; Surtel, Wojciech; Assembay, Azat; Kovalev, Vladimir; Tleshova, Akmaral

2017-08-01

The article contains basic approaches to develop the self-powered information measuring wireless networks (SPIM-WN) using the distribution of tasks within multicore processors critical applying based on the interaction of movable components - as in the direction of data transmission as wireless transfer of energy coming from polymetric sensors. Base mathematic model of scheduling tasks within multiprocessor systems was modernized to schedule and allocate tasks between cores of one-crystal computer (SoC) to increase energy efficiency SPIM-WN objects.

Graph-theoretic strengths of contextuality

NASA Astrophysics Data System (ADS)

de Silva, Nadish

2017-03-01

Cabello-Severini-Winter and Abramsky-Hardy (building on the framework of Abramsky-Brandenburger) both provide classes of Bell and contextuality inequalities for very general experimental scenarios using vastly different mathematical techniques. We review both approaches, carefully detail the links between them, and give simple, graph-theoretic methods for finding inequality-free proofs of nonlocality and contextuality and for finding states exhibiting strong nonlocality and/or contextuality. Finally, we apply these methods to concrete examples in stabilizer quantum mechanics relevant to understanding contextuality as a resource in quantum computation.

Discrimination Power of Polynomial-Based Descriptors for Graphs by Using Functional Matrices.

PubMed

Dehmer, Matthias; Emmert-Streib, Frank; Shi, Yongtang; Stefu, Monica; Tripathi, Shailesh

2015-01-01

In this paper, we study the discrimination power of graph measures that are based on graph-theoretical matrices. The paper generalizes the work of [M. Dehmer, M. Moosbrugger. Y. Shi, Encoding structural information uniquely with polynomial-based descriptors by employing the Randić matrix, Applied Mathematics and Computation, 268(2015), 164-168]. We demonstrate that by using the new functional matrix approach, exhaustively generated graphs can be discriminated more uniquely than shown in the mentioned previous work.

Transactions of the Army Conference on Applied Mathematics and Computing (4th) Held in Ithaca, New York on 27-31 May 1986

DTIC Science & Technology

1987-02-01

positive, nonincreaslng on 0 < t < *, and m decays rapidly at Infinity. Stronger power singularities at zero (a < 0) are also...considered. In this case the wavenumber appears to power four in the differential equation, the Orr-Sommerfeld equation, and to power five in the wall...normal mode, appears to power four in the differential equation. However it is this problem that is physically realistic in which fixed real frequency

Discrimination Power of Polynomial-Based Descriptors for Graphs by Using Functional Matrices

PubMed Central

Dehmer, Matthias; Emmert-Streib, Frank; Shi, Yongtang; Stefu, Monica; Tripathi, Shailesh

2015-01-01

In this paper, we study the discrimination power of graph measures that are based on graph-theoretical matrices. The paper generalizes the work of [M. Dehmer, M. Moosbrugger. Y. Shi, Encoding structural information uniquely with polynomial-based descriptors by employing the Randić matrix, Applied Mathematics and Computation, 268(2015), 164–168]. We demonstrate that by using the new functional matrix approach, exhaustively generated graphs can be discriminated more uniquely than shown in the mentioned previous work. PMID:26479495

Formal Methods for Life-Critical Software

NASA Technical Reports Server (NTRS)

Butler, Ricky W.; Johnson, Sally C.

1993-01-01

The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.

Minimal time spiking in various ChR2-controlled neuron models.

PubMed

Renault, Vincent; Thieullen, Michèle; Trélat, Emmanuel

2018-02-01

We use conductance based neuron models, and the mathematical modeling of optogenetics to define controlled neuron models and we address the minimal time control of these affine systems for the first spike from equilibrium. We apply tools of geometric optimal control theory to study singular extremals, and we implement a direct method to compute optimal controls. When the system is too large to theoretically investigate the existence of singular optimal controls, we observe numerically the optimal bang-bang controls.