Mathematics and Computer Science: The Interplay

OpenAIRE

Madhavan, Veni CE

2005-01-01

Mathematics has been an important intellectual preoccupation of man for a long time. Computer science as a formal discipline is about seven decades young. However, one thing in common between all users and producers of mathematical thought is the almost involuntary use of computing. In this article, we bring to fore the many close connections and parallels between the two sciences of mathematics and computing. We show that, unlike in the other branches of human inquiry where mathematics is me...

Selecting and Using Mathematics Methods Texts: Nontrivial Tasks

Science.gov (United States)

Harkness, Shelly Sheats; Brass, Amy

2017-01-01

Mathematics methods textbooks/texts are important components of many courses for preservice teachers. Researchers should explore how these texts are selected and used. Within this paper we report the findings of a survey administered electronically to 132 members of the Association of Mathematics Teacher Educators (AMTE) in order to answer the…

Synthetic Modeling of A Geothermal System Using Audio-magnetotelluric (AMT) and Magnetotelluric (MT)

Science.gov (United States)

Mega Saputra, Rifki; Widodo

2017-04-01

Indonesia has 40% of the world’s potential geothermal resources with estimated capacity of 28,910 MW. Generally, the characteristic of the geothermal system in Indonesia is liquid-dominated systems, which driven by volcanic activities. In geothermal exploration, electromagnetic methods are used to map structures that could host potential reservoirs and source rocks. We want to know the responses of a geothermal system using synthetic data of Audio-magnetotelluric (AMT) and Magnetotelluric (MT). Due to frequency range, AMT and MT data can resolve the shallow and deeper structure, respectively. 1-D models have been performed using AMT and MT data. The results indicate that AMT and MT data give detailed conductivity distribution of geothermal structure.

3rd International Conference on Computational Mathematics and Computational Geometry

CERN Document Server

Ravindran, Anton

2016-01-01

This volume presents original research contributed to the 3rd Annual International Conference on Computational Mathematics and Computational Geometry (CMCGS 2014), organized and administered by Global Science and Technology Forum (GSTF). Computational Mathematics and Computational Geometry are closely related subjects, but are often studied by separate communities and published in different venues. This volume is unique in its combination of these topics. After the conference, which took place in Singapore, selected contributions chosen for this volume and peer-reviewed. The section on Computational Mathematics contains papers that are concerned with developing new and efficient numerical algorithms for mathematical sciences or scientific computing. They also cover analysis of such algorithms to assess accuracy and reliability. The parts of this project that are related to Computational Geometry aim to develop effective and efficient algorithms for geometrical applications such as representation and computati...

International Conference on Mathematics and Computing

CERN Document Server

Giri, Debasis; Saxena, P; Srivastava, P

2014-01-01

This book discusses recent developments and contemporary research in mathematics, statistics and their applications in computing. All contributing authors are eminent academicians, scientists, researchers and scholars in their respective fields, hailing from around the world. The conference has emerged as a powerful forum, offering researchers a venue to discuss, interact and collaborate, and stimulating the advancement of mathematics and its applications in computer science. The book will allow aspiring researchers to update their knowledge of cryptography, algebra, frame theory, optimizations, stochastic processes, compressive sensing, functional analysis, complex variables, etc. Educating future consumers, users, producers, developers and researchers in mathematics and computing is a challenging task and essential to the development of modern society. Hence, mathematics and its applications in computer science are of vital importance to a broad range of communities, including mathematicians and computing p...

Mathematical Modeling and Computational Thinking

Science.gov (United States)

Sanford, John F.; Naidu, Jaideep T.

2017-01-01

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

Mathematics, Physics and Computer Sciences The computation of ...

African Journals Online (AJOL)

Mathematics, Physics and Computer Sciences The computation of system matrices for biquadraticsquare finite ... Global Journal of Pure and Applied Sciences ... The computation of system matrices for biquadraticsquare finite elements.

Will the digital computer transform classical mathematics?

Science.gov (United States)

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.

Applied Computational Mathematics in Social Sciences

CERN Document Server

Damaceanu, Romulus-Catalin

2010-01-01

Applied Computational Mathematics in Social Sciences adopts a modern scientific approach that combines knowledge from mathematical modeling with various aspects of social science. Special algorithms can be created to simulate an artificial society and a detailed analysis can subsequently be used to project social realities. This Ebook specifically deals with computations using the NetLogo platform, and is intended for researchers interested in advanced human geography and mathematical modeling studies.

Mathematical modeling and computational intelligence in engineering applications

CERN Document Server

Silva Neto, Antônio José da; Silva, Geraldo Nunes

2016-01-01

This book brings together a rich selection of studies in mathematical modeling and computational intelligence, with application in several fields of engineering, like automation, biomedical, chemical, civil, electrical, electronic, geophysical and mechanical engineering, on a multidisciplinary approach. Authors from five countries and 16 different research centers contribute with their expertise in both the fundamentals and real problems applications based upon their strong background on modeling and computational intelligence. The reader will find a wide variety of applications, mathematical and computational tools and original results, all presented with rigorous mathematical procedures. This work is intended for use in graduate courses of engineering, applied mathematics and applied computation where tools as mathematical and computational modeling, numerical methods and computational intelligence are applied to the solution of real problems.

Experimental Mathematics and Computational Statistics

Energy Technology Data Exchange (ETDEWEB)

Bailey, David H.; Borwein, Jonathan M.

2009-04-30

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

Computers as medium for mathematical writing

DEFF Research Database (Denmark)

Misfeldt, Morten

2011-01-01

The production of mathematical formalism on state of the art computers is quite different than by pen and paper.  In this paper I examine the question of how different media influence the writing of mathematical signs. The examination is based on an investigation of professional mathematicians' use...... of various media for their writing. A model for describing mathematical writing through turntakings is proposed. The model is applied to the ways mathematicians use computers for writing, and especially it is used to understand how interaction with the computer system LaTeX is different in the case...

Disruption of the ammonium transporter AMT1.1 alters basal defences generating resistance against Pseudomonas syringae and Plectosphaerella cucumerina

Directory of Open Access Journals (Sweden)

Victoria ePastor

2014-05-01

Full Text Available Disruption of the high-affinity nitrate transporter NRT2.1 activates the priming defence against Pseudomonas syringae, resulting in enhanced resistance. In this study, it is demonstrated that the high-affinity ammonium transporter AMT1.1 is a negative regulator of Arabidopsis defence responses. The T-DNA knockout mutant amt1.1 displays enhanced resistance against Plectosphaerella cucumerina and reduced susceptibility to P. syringae. The impairment of AMT1.1 induces significant metabolic changes in the absence of challenge, suggesting that amt1.1 retains constitutive defence responses. Interestingly, amt1.1 combats pathogens differently depending on the lifestyle of the pathogen. In addition, N starvation enhances the susceptibility of wild type plants and the mutant amt1.1 to P. syringae whereas it has no effect on P. cucumerina resistance. The metabolic changes of amt1.1 against P. syringae are subtler and are restricted to the phenylpropanoid pathway, which correlates with its reduced susceptibility. By contrast, the amt1.1 mutant responds by activating higher levels of camalexin and callose against P. cucumerina. In addition, amt1.1 shows altered levels of aliphatic and indolic glucosinolates and other Trp-related compounds following infection by the necrotroph. These observations indicate that AMT1.1 may play additional roles that affect N uptake and plant immune responses.

Effect of rutin on virus inactivation by AMT in combination with ultraviolet-A irradiation in platelet concentrates

Energy Technology Data Exchange (ETDEWEB)

Yamada, Yoshiko; Abe, Hideki; Ikebuchi, Kenji; Sekiguchi, Sadayoshi [Hokkaido Red Cross Blood Center, Sapporo (Japan)

1999-10-01

Treatment with psoralens and ultraviolet-A (UVA) irradiation have been found to be effective for virus sterilization of platelet concentrates (PCs). We report here a virus inactivation method using a combination of psoralen derivative 4'-aminomethyl-4,5', 8-trimethylpsoralen (AMT) and UVA irradiation (AMT/UVA). Further, we also investigated the effect of rutin, a radical scavenger, on the inactivation of vesicular stomatitis virus (VSV) as a model virus administered in PCs and platelet functions were investigated. Spiked VSV (about 5log{sub 10}) in PCs was inactivated by a combination of AMT (50 {mu}g/ml) and 5.2 J/cm{sup 2} UVA irradiation in the absence of rutin. To obtain equivalent levels of VSV kill in the presence of 0.35 mM rutin, treatment with 13.0 J/cm{sup 2} of UVA irradiation with AMT was performed. When PCs were treated under each condition in which 5log{sub 10} VSV was inactivated by AMT/UVA with or without rutin, platelet aggregation function was maintained for more than 80% of untreated platelets. These findings indicate that the presence of rutin during AMT/UVA treatment conferred no beneficial effect. In addition, overnight storage of PCs with AMT induced 40% loss of platelet aggregation in response to 10{mu}M ADP. The findings suggest that UVA irradiation is required immediately after the addition of AMT. (author)

Characterizing the binding interaction between antimalarial artemether (AMT) and bovine serum albumin (BSA): Spectroscopic and molecular docking methods.

Science.gov (United States)

Shi, Jie-Hua; Pan, Dong-Qi; Wang, Xiou-Xiou; Liu, Ting-Ting; Jiang, Min; Wang, Qi

2016-09-01

Artemether (AMT), a peroxide sesquiterpenoides, has been widely used as an antimalarial for the treatment of multiple drug-resistant strains of plasmodium falciparum malaria. In this work, the binding interaction of AMT with bovine serum albumin (BSA) under the imitated physiological conditions (pH7.4) was investigated by UV spectroscopy, fluorescence emission spectroscopy, synchronous fluorescence spectroscopy, Fourier transform infrared spectroscopy (FT-IR), circular dichroism (CD), three-dimensional fluorescence spectroscopy and molecular docking methods. The experimental results indicated that there was a change in UV absorption of BSA along with a slight red shift of absorption wavelength, indicating that the interaction of AMT with BSA occurred. The intrinsic fluorescence of BSA was quenched by AMT due to the formation of AMT-BSA complex. The number of binding sites (n) and binding constant of AMT-BSA complex were about 1 and 2.63×10(3)M(-1) at 298K, respectively, suggesting that there was stronger binding interaction of AMT with BSA. Based on the analysis of the signs and magnitudes of the free energy change (ΔG(0)), enthalpic change (ΔH(0)) and entropic change (ΔS(0)) in the binding process, it can be concluded that the binding of AMT with BSA was enthalpy-driven process due to |ΔH°|>|TΔS°|. The results of experiment and molecular docking confirmed the main interaction forces between AMT and BSA were van der Waals force. And, there was a slight change in the BSA conformation after binding AMT but BSA still retains its secondary structure α-helicity. However, it had been confirmed that AMT binds on the interface between sub-domain IIA and IIB of BSA. Copyright © 2016 Elsevier B.V. All rights reserved.

Computer-Based Mathematics Instructions for Engineering Students

Science.gov (United States)

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.

Validity and reliability of Abbreviated Mental Test Score (AMTS) among older Iranian.

Science.gov (United States)

Foroughan, Mahshid; Wahlund, Lars-Olof; Jafari, Zahra; Rahgozar, Mehdi; Farahani, Ida G; Rashedi, Vahid

2017-11-01

Cognitive impairment is common among older people and is associated with increased morbidity and mortality. The main aim of this study was to evaluate the validity of the Persian version of the Abbreviated Mental Test Score (AMTS) as a screening tool for dementia. Data were obtained from a cross-sectional study. One hundred and one older adults who were members of Iranian Alzheimer Association and 101 of their siblings were entered into this study by convenient sampling. The Diagnostic and Statistical Manual of Mental Disorders, 4th edition, criteria for diagnosing dementia and the Mini-Mental State Examination were used as the study tools. The gathered data were analyzed by the Mann-Whitney U-test, the Kruskal-Wallis test, Spearman's rank correlation coefficient, and the receiver-operating characteristic. The AMTS could successfully differentiate the dementia group from the non-dementia group. Scores were significantly correlated with Diagnostic and Statistical Manual of Mental Disorders diagnosis for dementia and Mini-Mental State Examination scores (P < 0.001). Educational level (P < 0.001) and male sex (P = 0.015) were positively associated with AMTS, whereas (P < 0.001) was negatively associated with AMTS. Total Cronbach's α coefficient was 0.90. The scores 6 and 7 showed the optimum balance between sensitivity (99% and 94%, respectively) and specificity (85% and 86%, respectively). The Persian version of the AMTS is a valid cognitive assessment tool for older Iranian adults and can be used for dementia screening in Iran. © 2017 Japanese Psychogeriatric Society.

47 CFR 80.475 - Scope of service of the Automated Maritime Telecommunications System (AMTS).

Science.gov (United States)

2010-10-01

... 47 Telecommunication 5 2010-10-01 2010-10-01 false Scope of service of the Automated Maritime Telecommunications System (AMTS). 80.475 Section 80.475 Telecommunication FEDERAL COMMUNICATIONS COMMISSION... Automated Systems § 80.475 Scope of service of the Automated Maritime Telecommunications System (AMTS). (a...

Computational experiment approach to advanced secondary mathematics curriculum

CERN Document Server

Abramovich, Sergei

2014-01-01

This book promotes the experimental mathematics approach in the context of secondary mathematics curriculum by exploring mathematical models depending on parameters that were typically considered advanced in the pre-digital education era. This approach, by drawing on the power of computers to perform numerical computations and graphical constructions, stimulates formal learning of mathematics through making sense of a computational experiment. It allows one (in the spirit of Freudenthal) to bridge serious mathematical content and contemporary teaching practice. In other words, the notion of teaching experiment can be extended to include a true mathematical experiment. When used appropriately, the approach creates conditions for collateral learning (in the spirit of Dewey) to occur including the development of skills important for engineering applications of mathematics. In the context of a mathematics teacher education program, this book addresses a call for the preparation of teachers capable of utilizing mo...

Computer programming in the UK undergraduate mathematics curriculum

Science.gov (United States)

Sangwin, Christopher J.; O'Toole, Claire

2017-11-01

This paper reports a study which investigated the extent to which undergraduate mathematics students in the United Kingdom are currently taught to programme a computer as a core part of their mathematics degree programme. We undertook an online survey, with significant follow-up correspondence, to gather data on current curricula and received replies from 46 (63%) of the departments who teach a BSc mathematics degree. We found that 78% of BSc degree courses in mathematics included computer programming in a compulsory module but 11% of mathematics degree programmes do not teach programming to all their undergraduate mathematics students. In 2016, programming is most commonly taught to undergraduate mathematics students through imperative languages, notably MATLAB, using numerical analysis as the underlying (or parallel) mathematical subject matter. Statistics is a very popular choice in optional courses, using the package R. Computer algebra systems appear to be significantly less popular for compulsory first-year courses than a decade ago, and there was no mention of logic programming, functional programming or automatic theorem proving software. The modal form of assessment of computing modules is entirely by coursework (i.e. no examination).

Computational mathematics and mathematical computer software. Vychislitel'naia matematika i matematicheskoe obespechenie EVM

Energy Technology Data Exchange (ETDEWEB)

Tikhonov, A.N.; Samarskii, A.A.

1985-01-01

Various aspects of mathematical modeling and problem-oriented computer software are examined with reference to numerical methods in mathematical physics, methods for solving inverse problems, development of automatic systems for experimental data processing, and mathematical modeling in plasma physics. Papers are presented on some properties of difference schemes in one-dimensional gas dynamics, an algorithm for processing signals reflected from multipoint targets, and the application of simplified Navier-Stokes equations for calculating flow of a viscous gas past long bodies.

2nd International Conference on Mathematics and Computing

CERN Document Server

Chowdhury, Dipanwita; Giri, Debasis

2015-01-01

This book discusses recent developments and contemporary research in mathematics, statistics and their applications in computing. All contributing authors are eminent academicians, scientists, researchers and scholars in their respective fields, hailing from around the world. This is the second conference on mathematics and computing organized at Haldia Institute of Technology, India. The conference has emerged as a powerful forum, offering researchers a venue to discuss, interact and collaborate, and stimulating the advancement of mathematics and its applications in computer science. The book will allow aspiring researchers to update their knowledge of cryptography, algebra, frame theory, optimizations, stochastic processes, compressive sensing, functional analysis, complex variables, etc. Educating future consumers, users, producers, developers and researchers in mathematics and computing is a challenging task and essential to the development of modern society. Hence, mathematics and its applications in com...

Computer Algebra Recipes for Mathematical Physics

CERN Document Server

Enns, Richard H

2005-01-01

Over two hundred novel and innovative computer algebra worksheets or "recipes" will enable readers in engineering, physics, and mathematics to easily and rapidly solve and explore most problems they encounter in their mathematical physics studies. While the aim of this text is to illustrate applications, a brief synopsis of the fundamentals for each topic is presented, the topics being organized to correlate with those found in traditional mathematical physics texts. The recipes are presented in the form of stories and anecdotes, a pedagogical approach that makes a mathematically challenging subject easier and more fun to learn. Key features: * Uses the MAPLE computer algebra system to allow the reader to easily and quickly change the mathematical models and the parameters and then generate new answers * No prior knowledge of MAPLE is assumed; the relevant MAPLE commands are introduced on a need-to-know basis * All MAPLE commands are indexed for easy reference * A classroom-tested story/anecdote format is use...

The Dionaea muscipula ammonium channel DmAMT1 provides NH₄⁺ uptake associated with Venus flytrap's prey digestion.

Science.gov (United States)

Scherzer, Sönke; Krol, Elzbieta; Kreuzer, Ines; Kruse, Jörg; Karl, Franziska; von Rüden, Martin; Escalante-Perez, Maria; Müller, Thomas; Rennenberg, Heinz; Al-Rasheid, Khaled A S; Neher, Erwin; Hedrich, Rainer

2013-09-09

Ammonium transporter (AMT/MEP/Rh) superfamily members mediate ammonium uptake and retrieval. This pivotal transport system is conserved among all living organisms. For plants, nitrogen represents a macronutrient available in the soil as ammonium, nitrate, and organic nitrogen compounds. Plants living on extremely nutrient-poor soils have developed a number of adaptation mechanisms, including a carnivorous lifestyle. This study addresses the molecular nature, function, and regulation of prey-derived ammonium uptake in the Venus flytrap, Dionaea muscipula, one of the fastest active carnivores. The Dionaea muscipula ammonium transporter DmAMT1 was localized in gland complexes where its expression was upregulated upon secretion. These clusters of cells decorating the inner trap surface are engaged in (1) secretion of an acidic digestive enzyme cocktail and (2) uptake of prey-derived nutrients. Voltage clamp of Xenopus oocytes expressing DmAMT1 and membrane potential recordings with DmAMT1-expressing Dionaea glands were used to monitor and compare electrophysiological properties of DmAMT1 in vitro and in planta. DmAMT1 exhibited the hallmark biophysical properties of a NH4(+)-selective channel. At depolarized membrane potentials (Vm = 0), the Km (3.2 ± 0.3 mM) indicated a low affinity of DmAMT1 for ammonium that increased systematically with negative going voltages. Upon hyperpolarization to, e.g., -200 mV, a Km of 0.14 ± 0.015 mM documents the voltage-dependent shift of DmAMT1 into a NH4(+) transport system of high affinity. We suggest that regulation of glandular DmAMT1 and membrane potential readjustments of the endocrine cells provide for effective adaptation to varying, prey-derived ammonium sources. Copyright © 2013 Elsevier Ltd. All rights reserved.

CDM: Teaching Discrete Mathematics to Computer Science Majors

Science.gov (United States)

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…

Mathematical challenges from theoretical/computational chemistry

Energy Technology Data Exchange (ETDEWEB)

NONE

1995-12-31

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

Computational and mathematical methods in brain atlasing.

Science.gov (United States)

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.

Research and application of AMT method in Happiness valley district in Namibia

International Nuclear Information System (INIS)

Yu Xiang; Zhang Ruliang; Yao Shancong; Fan Honghai; Wang Shengyun

2013-01-01

There are great challenges and difficulties in uranium geology work because of large area grass covered land and few outcrops in Happiness valley district in Namibia. To overcome the problems above, AMT method is undertaken to carry out profile investigation. After finding out electric parameters, different lithologic interfaces were divided, two fracture zones and one anticline structure were, this works laid the ground for the exploration of uranium deposit in Namibia and shew that AMT method is an effective one in finding underground structures. (authors)

Applied Mathematics, Modelling and Computational Science

CERN Document Server

Kotsireas, Ilias; Makarov, Roman; Melnik, Roderick; Shodiev, Hasan

2015-01-01

The Applied Mathematics, Modelling, and Computational Science (AMMCS) conference aims to promote interdisciplinary research and collaboration. The contributions in this volume cover the latest research in mathematical and computational sciences, modeling, and simulation as well as their applications in natural and social sciences, engineering and technology, industry, and finance. The 2013 conference, the second in a series of AMMCS meetings, was held August 26–30 and organized in cooperation with AIMS and SIAM, with support from the Fields Institute in Toronto, and Wilfrid Laurier University. There were many young scientists at AMMCS-2013, both as presenters and as organizers. This proceedings contains refereed papers contributed by the participants of the AMMCS-2013 after the conference. This volume is suitable for researchers and graduate students, mathematicians and engineers, industrialists, and anyone who would like to delve into the interdisciplinary research of applied and computational mathematics ...

Ammonium recruitment and ammonia transport by E. coli ammonia channel AmtB

DEFF Research Database (Denmark)

Nygaard, Thomas Pedersen; Rovira, C.; Peters, Günther H.j.

2006-01-01

To investigate substrate recruitment and transport across the Escherichia coli Ammonia transporter B (AmtB) protein, we performed molecular dynamics simulations of the AmtB trimer. We have identified residues important in recruitment of ammonium and intraluminal binding sites selective of ammonium......, which provide a means of cation selectivity. Our results indicate that A162 guides translocation of an extraluminal ammonium into the pore lumen. We propose a mechanism for transporting the intraluminally recruited proton back to periplasm. Our mechanism conforms to net transport of ammonia and can...

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

Science.gov (United States)

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…

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

Science.gov (United States)

Kebritchi, Mansureh; Hirumi, Atsusi; Bai, Haiyan

2010-01-01

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

Using Internet Snapshot Surveys to Enhance Our Understanding of the Availability of the Novel Psychoactive Substance Alpha-methyltryptamine (AMT).

Science.gov (United States)

Wood, David Michael; Dargan, Paul Ivor

2013-07-02

Alpha-methyltryptamine (AMT) is a novel psychoactive substance available over the Internet. This study used European Monitoring Centre for Drugs and Drug Addiction (EMCDDA) Internet snapshot methodology to investigate the availability and cost of AMT in March/October 2012. From March to October 2012, there was a decrease in the number of Internet sites selling AMT (44 to 31). AMT powder was cheaper in "bulk" (100 g) than in "recreational-user" (100 mg) quantities, and there was a decrease in price. Data from Internet snapshot surveys complement and allow triangulation of data from other sources to build a more detailed picture on availability and use of novel psychoactive substances.

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

Science.gov (United States)

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…

MATHEMATICS AND COMPUTERS IN SPORT - OVERVIEW

Directory of Open Access Journals (Sweden)

John Hammond

2006-12-01

Full Text Available MATHEMATICS AND COMPUTERS IN SPORT - OVERVIEW The first 17 papers in this (December issue of the Journal of Sports Science and Medicine are selected papers from the Eighth Australasian Conference on Mathematics and Computers in Sport, held in Queensland in July 2006. Of the first seven conferences, five were held at Bond University in Queensland, one at the University of Technology in Sydney during the year of the Sydney Olympics, and the last one was in New Zealand at Massey University. The emerging discipline of mathematics and computers in sport has developed under the auspices of the Australian and New Zealand Industrial and Applied Mathematics (ANZIAM Division of the Australian Mathematics Society through an interest group known as MathSport, bringing together sports scientists who are interested inmathematical and statistical modelling in sport, the use of computers in sport, the application of these to improve coaching and individual performance, and teaching that combines mathematics, computers and sport. This eighth conference in the series returned to Queensland but not at Bond University, because campus accommodation for conference participants was no longer available at that venue. Instead delegates gathered at the Greenmount Beach Resort, which has been used during the past decade for a number of Applied Mathematics Conferences. There were 33 papers presented during the 3 days, across topics that covered a variety of individual and team sports. Participants attended from the United Kingdom, France, Germany, India, New Zealand and Australia. These participants were drawn from those working in mainstream mathematics, statistics, computers science, sports science support, coaching and education.Professor Steve Clarke and Emeritus Professor Neville de Mestre have been to all eight conferences and this year delivered papers on Australian rules football and golf putting respectively. Tony Lewis, of the Duckworth-Lewis formula for

AMT rules change seen boon for U.S. drilling

International Nuclear Information System (INIS)

Anon.

1992-01-01

This paper reports that changes in alternative minimum tax (AMT) rules contained in U.S. energy legislation could make more capital available for drilling, predicts John Swords, head of the national energy tax practice of Coopers and Lybrand. Congressional conference committee members are trying to reconcile House and Senate versions of omnibus energy legislation. Under current law, intangible drilling costs (IDCs) become a tax preference to the extent that ''excess IDCs'' exceed 65% of a taxpayer's annual net income form oil and gas, Swords explained. Excess IDC is the amount of IDC deducted for regular tax purposes in excess of the amount that would have been deducted had the IDC been capitalized and deducted equally over 120 months, beginning with the month in which production form the property began. Oil and gas producers operating as a corporation also face the adjusted current earnings (ACEs) AMT calculation under current law

Equity and Computers for Mathematics Learning: Access and Attitudes

Science.gov (United States)

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…

Symbolic mathematical computing: orbital dynamics and application to accelerators

International Nuclear Information System (INIS)

Fateman, R.

1986-01-01

Computer-assisted symbolic mathematical computation has become increasingly useful in applied mathematics. A brief introduction to such capabilitites and some examples related to orbital dynamics and accelerator physics are presented. (author)

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

Science.gov (United States)

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

Computer-Game-Based Tutoring of Mathematics

Science.gov (United States)

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

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

OpenAIRE

Mehmet Alper Ardıç; Tevfik İşleyen

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 Adıyaman and nine 10th-grade students participated in the research. Firstly, the researchers trained the mathematics teachers in the Mathematica program, a computer algebra system (CAS) and CAMI. Then, they provided a suitable environment for teachers to practice CAMI with their ...

9th and 10th Asian Symposium on Computer Mathematics

CERN Document Server

Lee, Wen-shin; Sato, Yosuke

2014-01-01

This book covers original research and the latest advances in symbolic, algebraic and geometric computation; computational methods for differential and difference equations, symbolic-numerical computation; mathematics software design and implementation; and scientific and engineering applications based on features, invited talks, special sessions and contributed papers presented at the 9th (in Fukuoka, Japan in 2009) and 10th (in Beijing China in 2012) Asian Symposium on Computer Mathematics (ASCM). Thirty selected and refereed articles in the book present the conference participants’ ideas and views on researching mathematics using computers.

Analytical calculations by computer in physics and mathematics

International Nuclear Information System (INIS)

Gerdt, V.P.; Tarasov, O.V.; Shirokov, D.V.

1978-01-01

The review of present status of analytical calculations by computer is given. Some programming systems for analytical computations are considered. Such systems as SCHOONSCHIP, CLAM, REDUCE-2, SYMBAL, CAMAL, AVTO-ANALITIK which are implemented or will be implemented in JINR, and MACSYMA - one of the most developed systems - are discussed. It is shown on the basis of mathematical operations, realized in these systems, that they are appropriated for different problems of theoretical physics and mathematics, for example, for problems of quantum field theory, celestial mechanics, general relativity and so on. Some problems solved in JINR by programming systems for analytical computations are described. The review is intended for specialists in different fields of theoretical physics and mathematics

Isolation and functional characterization of an ammonium transporter gene, PyAMT1, related to nitrogen assimilation in the marine macroalga Pyropia yezoensis (Rhodophyta).

Science.gov (United States)

Kakinuma, Makoto; Nakamoto, Chika; Kishi, Kazuki; Coury, Daniel A; Amano, Hideomi

2017-07-01

Ammonium and nitrate are the primary nitrogen sources in natural environments, and are essential for growth and development in photosynthetic eukaryotes. In this study, we report on the isolation and characterization of an ammonium transporter gene (PyAMT1) which performs a key function in nitrogen (N) metabolism of Pyropia yezoensis thalli. The predicted length of PyAMT1 was 483 amino acids (AAs). The AA sequence included 11 putative transmembrane domains and showed approximately 33-44% identity to algal and plant AMT1 AA sequences. Functional complementation in an AMT-defective yeast mutant indicated that PyAMT1 mediated ammonium transport across the plasma membrane. Expression analysis showed that the PyAMT1 mRNA level was strongly induced by N-deficiency, and was more highly suppressed by resupply of inorganic-N than organic-N. These results suggest that PyAMT1 plays important roles in the ammonium transport system, and is highly regulated in response to external/internal N-status. Copyright © 2016 Elsevier Ltd. All rights reserved.

Immunosuppressive effect of the anti-IL-2-receptor monoclonal antibody, AMT-13, on organ-cultured fetal pancreas allograft survival

International Nuclear Information System (INIS)

Burkhardt, K.; Loughnan, M.S.; Diamantstein, T.; Mandel, T.E.

1988-01-01

Recently, prolongation of cardiac allograft survival in mice was reported using a rat anti-IL-2R mAb (AMT-13). However, its immunosuppressive action in vivo, alone and in combination with other immunosuppressants, and its effect on other organ transplants has not been extensively studied. We grafted cultured fetal pancreas from CBA (H-2k) donors to Balb/c (H-2d) mice. Recipients were treated with 10 consecutive daily injections each of 20 micrograms AMT-13 only, or with an additional mild immunosuppression of 350 rads irradiation. Control groups received rat immunoglobulin or 350 rads irradiation. Graft survival and the phenotype of infiltrating cells were assessed histologically and immunocytochemically on days 12, 17, and 21, and soluble IL-2R levels were measured in the serum with a quantitative ELISA in all recipients. Two of five grafts in the AMT-13-treated group had islets on day 12 posttransplantation despite lymphocytic infiltration in all grafts, while at this time all grafts of rat Ig treated control mice were completely rejected with only scar tissue and a few lymphocytes remaining. Additional immunosuppression with 350 rads irradiation had a marked additive effect with AMT-13. Soluble IL-2R levels in the serum of untreated recipients were not elevated compared with normal serum levels, but recipients injected with AMT-13 had multifold increased soluble IL-2R levels. The percentage of IL-2R+ cells in the grafts of AMT-13-treated animals was either normal (less than 5%) or increased (20%) in the additionally irradiated mice, providing strong evidence that the immunosuppressive effect of AMT-13 is not due to a depletion of activated IL-2R+ lymphocytes

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

Science.gov (United States)

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…

Mathematics for engineering, technology and computing science

CERN Document Server

Martin, Hedley G

1970-01-01

Mathematics for Engineering, Technology and Computing Science is a text on mathematics for courses in engineering, technology, and computing science. It covers linear algebra, ordinary differential equations, and vector analysis, together with line and multiple integrals. This book consists of eight chapters and begins with a discussion on determinants and linear equations, with emphasis on how the value of a determinant is defined and how it may be obtained. Solution of linear equations and the dependence between linear equations are also considered. The next chapter introduces the reader to

Theorema 2.0: Computer-Assisted Natural-Style Mathematics

Directory of Open Access Journals (Sweden)

Bruno Buchberger

2016-01-01

Full Text Available The Theorema project aims at the development of a computer assistant for the working mathematician. Support should be given throughout all phases of mathematical activity, from introducing new mathematical concepts by definitions or axioms, through first (computational experiments, the formulation of theorems, their justification by an exact proof, the application of a theorem as an algorithm, until to the dissemination of the results in form of a mathematical publication, the build up of bigger libraries of certified mathematical content and the like. This ambitious project is exactly along the lines of the QED manifesto issued in 1994 (see e.g. http://www.cs.ru.nl/~freek/qed/qed.html and it was initiated in the mid-1990s by Bruno Buchberger. The Theorema system is a computer implementation of the ideas behind the Theorema project. One focus lies on the natural style of system input (in form of definitions, theorems, algorithms, etc., system output (mainly in form of mathematical proofs and user interaction. Another focus is theory exploration, i.e. the development of large consistent mathematical theories in a formal frame, in contrast to just proving single isolated theorems. When using the Theorema system, a user should not have to follow a certain style of mathematics enforced by the system (e.g. basing all of mathematics on set theory or certain variants of type theory, rather should the system support the user in her preferred flavour of doing math. The new implementation of the system, which we refer to as Theorema 2.0, is open-source and available through GitHub.

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

Science.gov (United States)

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…

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

Science.gov (United States)

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

Coding-Sequence Identification and Transcriptional Profiling of Nine AMTs and Four NRTs From Tobacco Revealed Their Differential Regulation by Developmental Stages, Nitrogen Nutrition, and Photoperiod

Directory of Open Access Journals (Sweden)

Lai-Hua Liu

2018-03-01

Full Text Available Although many members encoding different ammonium- and nitrate-transporters (AMTs, NRTs were identified and functionally characterized from several plant species, little is known about molecular components for NH4+- and NO3- acquisition/transport in tobacco, which is often used as a plant model for biological studies besides its agricultural and industrial interest. We reported here the first molecular identification in tobacco (Nicotiana tabacum of nine AMTs and four NRTs, which are respectively divided into four (AMT1/2/3/4 and two (NRT1/2 clusters and whose functionalities were preliminarily evidenced by heterologous functional-complementation in yeast or Arabidopsis. Tissue-specific transcriptional profiling by qPCR revealed that NtAMT1.1/NRT1.1 mRNA occurred widely in leaves, flower organs and roots; only NtAMT1.1/1.3/2.1NRT1.2/2.2 were strongly transcribed in the aged leaves, implying their dominant roles in N-remobilization from source/senescent tissues. N-dependent expression analysis showed a marked upregulation of NtAMT1.1 in the roots by N-starvation and resupply with N including NH4+, suggesting a predominant action of NtAMT1.1 in NH4+ uptake/transport whenever required. The obvious leaf-expression of other NtAMTs e.g., AMT1.2 responsive to N indicates a major place, where they may play transport roles associated with plant N-status and (NH4+-N movement within aerial-parts. The preferentially root-specific transcription of NtNRT1.1/1.2/2.1 responsive to N argues their importance for root NO3- uptake and even sensing in root systems. Moreover, of all NtAMTs/NRTs, only NtAMT1.1/NRT1.1/1.2 showed their root-expression alteration in a typical diurnal-oscillation pattern, reflecting likely their significant roles in root N-acquisition regulated by internal N-demand influenced by diurnal-dependent assimilation and translocation of carbohydrates from shoots. This suggestion could be supported at least in part by sucrose- and MSX

Coding-Sequence Identification and Transcriptional Profiling of Nine AMTs and Four NRTs From Tobacco Revealed Their Differential Regulation by Developmental Stages, Nitrogen Nutrition, and Photoperiod

Science.gov (United States)

Liu, Lai-Hua; Fan, Teng-Fei; Shi, Dong-Xue; Li, Chang-Jun; He, Ming-Jie; Chen, Yi-Yin; Zhang, Lei; Yang, Chao; Cheng, Xiao-Yuan; Chen, Xu; Li, Di-Qin; Sun, Yi-Chen

2018-01-01

Although many members encoding different ammonium- and nitrate-transporters (AMTs, NRTs) were identified and functionally characterized from several plant species, little is known about molecular components for NH4+- and NO3- acquisition/transport in tobacco, which is often used as a plant model for biological studies besides its agricultural and industrial interest. We reported here the first molecular identification in tobacco (Nicotiana tabacum) of nine AMTs and four NRTs, which are respectively divided into four (AMT1/2/3/4) and two (NRT1/2) clusters and whose functionalities were preliminarily evidenced by heterologous functional-complementation in yeast or Arabidopsis. Tissue-specific transcriptional profiling by qPCR revealed that NtAMT1.1/NRT1.1 mRNA occurred widely in leaves, flower organs and roots; only NtAMT1.1/1.3/2.1NRT1.2/2.2 were strongly transcribed in the aged leaves, implying their dominant roles in N-remobilization from source/senescent tissues. N-dependent expression analysis showed a marked upregulation of NtAMT1.1 in the roots by N-starvation and resupply with N including NH4+, suggesting a predominant action of NtAMT1.1 in NH4+ uptake/transport whenever required. The obvious leaf-expression of other NtAMTs e.g., AMT1.2 responsive to N indicates a major place, where they may play transport roles associated with plant N-status and (NH4+-)N movement within aerial-parts. The preferentially root-specific transcription of NtNRT1.1/1.2/2.1 responsive to N argues their importance for root NO3- uptake and even sensing in root systems. Moreover, of all NtAMTs/NRTs, only NtAMT1.1/NRT1.1/1.2 showed their root-expression alteration in a typical diurnal-oscillation pattern, reflecting likely their significant roles in root N-acquisition regulated by internal N-demand influenced by diurnal-dependent assimilation and translocation of carbohydrates from shoots. This suggestion could be supported at least in part by sucrose- and MSX-affected transcriptional

Mathematical optics classical, quantum, and computational methods

CERN Document Server

Lakshminarayanan, Vasudevan

2012-01-01

Going beyond standard introductory texts, Mathematical Optics: Classical, Quantum, and Computational Methods brings together many new mathematical techniques from optical science and engineering research. Profusely illustrated, the book makes the material accessible to students and newcomers to the field. Divided into six parts, the text presents state-of-the-art mathematical methods and applications in classical optics, quantum optics, and image processing. Part I describes the use of phase space concepts to characterize optical beams and the application of dynamic programming in optical wave

Mathematics and Computer Science: Exploring a Symbiotic Relationship

Science.gov (United States)

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…

A low-pungency S3212 genotype of Capsicum frutescens caused by a mutation in the putative aminotransferase (p-AMT) gene.

Science.gov (United States)

Park, Young-Jun; Nishikawa, Tomotaro; Minami, Mineo; Nemoto, Kazuhiro; Iwasaki, Tomohiro; Matsushima, Kenichi

2015-12-01

The purpose of this study was to identify the genetic mechanism underlying capsinoid biosynthesis in S3212, a low-pungency genotype of Capsicum frutescens. Screening of C. frutescens accessions for capsaicinoid and capsiate contents by high-performance liquid chromatography revealed that low-pungency S3212 contained high levels of capsiate but no capsaicin. Comparison of DNA coding sequences of pungent (T1 and Bird Eye) and low-pungency (S3212) genotypes uncovered a significant 12-bp deletion mutation in exon 7 of the p-AMT gene of S3212. In addition, p-AMT gene transcript levels in placental tissue were positively correlated with the degree of pungency. S3212, the low-pungency genotype, exhibited no significant p-AMT transcript levels, whereas T1, one of the pungent genotypes, displayed high transcript levels of this gene. We therefore conclude that the deletion mutation in the p-AMT gene is related to the loss of pungency in placental tissue and has given rise to the low-pungency S3212 C. frutescens genotype. C. frutescens S3212 represents a good natural source of capsinoids. Finally, our basic characterization of the uncovered p-AMT gene mutation should contribute to future studies of capsinoid biosynthesis in Capsicum.

Computational geometry lectures at the morningside center of mathematics

CERN Document Server

Wang, Ren-Hong

2003-01-01

Computational geometry is a borderline subject related to pure and applied mathematics, computer science, and engineering. The book contains articles on various topics in computational geometry, which are based on invited lectures and some contributed papers presented by researchers working during the program on Computational Geometry at the Morningside Center of Mathematics of the Chinese Academy of Science. The opening article by R.-H. Wang gives a nice survey of various aspects of computational geometry, many of which are discussed in more detail in other papers in the volume. The topics include problems of optimal triangulation, splines, data interpolation, problems of curve and surface design, problems of shape control, quantum teleportation, and others.

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

Science.gov (United States)

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…

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

Science.gov (United States)

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…

Physics, Computer Science and Mathematics Division. Annual report, 1 January--31 December 1977

International Nuclear Information System (INIS)

Lepore, J.V.

1977-01-01

This annual report of the Physics, Computer Science and Mathematics Division describes the scientific research and other work carried out within the Division during 1977. The Division is concerned with work in experimental and theoretical physics, with computer science and applied mathematics, and with the operation of a computer center. The major physics research activity is in high-energy physics, although there is a relatively small program of medium-energy research. The High Energy Physics research program in the Physics Division is concerned with fundamental research which will enable man to comprehend the nature of the physical world. The major effort is now directed toward experiments with positron-electron colliding beam at PEP. The Medium Energy Physics program is concerned with research using mesons and nucleons to probe the properties of matter. This research is concerned with the study of nuclear structure, nuclear reactions, and the interactions between nuclei and electromagnetic radiation and mesons. The Computer Science and Applied Mathematics Department engages in research in a variety of computer science and mathematics disciplines. Work in computer science and applied mathematics includes construction of data bases, computer graphics, computational physics and data analysis, mathematical modeling, and mathematical analysis of differential and integral equations resulting from physical problems. The Computer Center provides large-scale computational support to LBL's scientific programs. Descriptions of the various activities are quite short; references to published results are given. 24 figures

Creators of mathematical and computational sciences

CERN Document Server

Agarwal, Ravi P

2014-01-01

The book records the essential discoveries of mathematical and computational scientists in chronological order, following the birth of ideas on the basis of prior ideas ad infinitum. The authors document the winding path of mathematical scholarship throughout history, and most importantly, the thought process of each individual that resulted in the mastery of their subject. The book implicitly addresses the nature and character of every scientist as one tries to understand their visible actions in both adverse and congenial environments. The authors hope that this will enable the reader to understand their mode of thinking, and perhaps even to emulate their virtues in life. … presents a picture of mathematics as a creation of the human imagination. … brings the history of mathematics to life by describing the contributions of the world’s greatest mathematicians. —Rex F. Gandy, Provost and Vice President for Academic Affairs, TAMUK   It starts with the explanation and history of numbers, arithmetic, ...

Computer Programming in the UK Undergraduate Mathematics Curriculum

Science.gov (United States)

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…

Teachers, Equity, and Computers for Secondary Mathematics Learning

Science.gov (United States)

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…

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

Science.gov (United States)

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…

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

Science.gov (United States)

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…

COMPUTER MATHEMATICS SYSTEMS IN STUDENTS’ LEARNING OF "INFORMATIСS"

Directory of Open Access Journals (Sweden)

Taras P. Kobylnyk

2014-04-01

Full Text Available The article describes the general characteristics of the most popular computer mathematics systems such as commercial (Maple, Mathematica, Matlab and open source (Scilab, Maxima, GRAN, Sage, as well as the conditions of use of these systems as means of fundamentalization of the educational process of bachelor of informatics. It is considered the role of CMS in bachelor of informatics training. It is identified the approaches of CMS pedagogical use while learning information and physics and mathematics disciplines. There are presented some tasks, in which we must carefully use the «responses» have been received using CMS. It is identified the promising directions of development of computer mathematics systems in high-tech environment.

Physics, Computer Science and Mathematics Division annual report, 1 January-31 December 1983

Energy Technology Data Exchange (ETDEWEB)

Jackson, J.D.

1984-08-01

This report summarizes the research performed in the Physics, Computer Science and Mathematics Division of the Lawrence Berkeley Laboratory during calendar year 1983. The major activity of the Division is research in high-energy physics, both experimental and theoretical, and research and development in associated technologies. A smaller, but still significant, program is in computer science and applied mathematics. During 1983 there were approximately 160 people in the Division active in or supporting high-energy physics research, including about 40 graduate students. In computer science and mathematics, the total staff, including students and faculty, was roughly 50. Because of the creation in late 1983 of a Computing Division at LBL and the transfer of the Computer Science activities to the new Division, this annual report is the last from the Physics, Computer Science and Mathematics Division. In December 1983 the Division reverted to its historic name, the Physics Division. Its future annual reports will document high energy physics activities and also those of its Mathematics Department.

Physics, Computer Science and Mathematics Division annual report, 1 January-31 December 1983

International Nuclear Information System (INIS)

Jackson, J.D.

1984-08-01

This report summarizes the research performed in the Physics, Computer Science and Mathematics Division of the Lawrence Berkeley Laboratory during calendar year 1983. The major activity of the Division is research in high-energy physics, both experimental and theoretical, and research and development in associated technologies. A smaller, but still significant, program is in computer science and applied mathematics. During 1983 there were approximately 160 people in the Division active in or supporting high-energy physics research, including about 40 graduate students. In computer science and mathematics, the total staff, including students and faculty, was roughly 50. Because of the creation in late 1983 of a Computing Division at LBL and the transfer of the Computer Science activities to the new Division, this annual report is the last from the Physics, Computer Science and Mathematics Division. In December 1983 the Division reverted to its historic name, the Physics Division. Its future annual reports will document high energy physics activities and also those of its Mathematics Department

Logic, mathematics, and computer science modern foundations with practical applications

CERN Document Server

Nievergelt, Yves

2015-01-01

This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography © 2002 Birkhӓuser, this second edition provides a modern introduction to the foundations of logic, mathematics, and computers science, developing the theory that demonstrates construction of all mathematics and theoretical computer science from logic and set theory.  The focus is on foundations, with specific statements of all the associated axioms and rules of logic and set theory, and  provides complete details and derivations of formal proofs. Copious references to literature that document historical development is also provided. Answers are found to many questions that usually remain unanswered: Why is the truth table for logical implication so uni...

Three views of logic mathematics, philosophy, and computer science

CERN Document Server

Loveland, Donald W; Sterrett, S G

2014-01-01

Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-orde

The ANS mathematics and computation software standards

Energy Technology Data Exchange (ETDEWEB)

Smetana, A. O. [Savannah River National Laboratory, Washington Savannah River Company, Aiken, SC 29808 (United States)

2006-07-01

The Mathematics and Computations Div. of the American Nuclear Society sponsors the ANS-10 Standards Subcommittee. This subcommittee, which is part of the ANS Standards Committee, currently maintains three ANSI/ANS software standards. These standards are: Portability of Scientific and Engineering Software, ANS-10.2; Guidelines for the Verification and Validation of Scientific and Engineering Computer Programs for the Nuclear Industry, ANS-10.4; and Accommodating User Needs in Scientific and Engineering Computer Software Development, ANS-10.5. A fourth Standard, Documentation of Computer Software, ANS-10.3, is available as a historical Standard. (authors)

The ANS mathematics and computation software standards

International Nuclear Information System (INIS)

Smetana, A. O.

2006-01-01

The Mathematics and Computations Div. of the American Nuclear Society sponsors the ANS-10 Standards Subcommittee. This subcommittee, which is part of the ANS Standards Committee, currently maintains three ANSI/ANS software standards. These standards are: Portability of Scientific and Engineering Software, ANS-10.2; Guidelines for the Verification and Validation of Scientific and Engineering Computer Programs for the Nuclear Industry, ANS-10.4; and Accommodating User Needs in Scientific and Engineering Computer Software Development, ANS-10.5. A fourth Standard, Documentation of Computer Software, ANS-10.3, is available as a historical Standard. (authors)

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

International Nuclear Information System (INIS)

Lepore, J.L.

1975-01-01

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

Research in Applied Mathematics, Fluid Mechanics and Computer Science

Science.gov (United States)

1999-01-01

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

COMPUTER TOOLS OF DYNAMIC MATHEMATIC SOFTWARE AND METHODICAL PROBLEMS OF THEIR USE

Directory of Open Access Journals (Sweden)

Olena V. Semenikhina

2014-08-01

Full Text Available The article presents results of analyses of standard computer tools of dynamic mathematic software which are used in solving tasks, and tools on which the teacher can support in the teaching of mathematics. Possibility of the organization of experimental investigating of mathematical objects on the basis of these tools and the wording of new tasks on the basis of the limited number of tools, fast automated check are specified. Some methodological comments on application of computer tools and methodological features of the use of interactive mathematical environments are presented. Problems, which are arising from the use of computer tools, among which rethinking forms and methods of training by teacher, the search for creative problems, the problem of rational choice of environment, check the e-solutions, common mistakes in the use of computer tools are selected.

Physics, Computer Science and Mathematics Division annual report, January 1--December 31, 1976

International Nuclear Information System (INIS)

Lepore, J.V.

1977-01-01

This annual report of the Physics, Computer Science and Mathematics Division describes the scientific research and other work carried out within the Division during the calendar year 1976. The Division is concerned with work in experimental and theoretical physics, with computer science and applied mathematics, and with the operation of a computer center. The major physics research activity is in high-energy physics; a vigorous program is maintained in this pioneering field. The high-energy physics research program in the Division now focuses on experiments with e + e - colliding beams using advanced techniques and developments initiated and perfected at the Laboratory. The Division continues its work in medium energy physics, with experimental work carried out at the Bevatron and at the Los Alamos Pi-Meson Facility. Work in computer science and applied mathematics includes construction of data bases, computer graphics, computational physics and data analysis, mathematical modeling, and mathematical analysis of differential and integral equations resulting from physical problems. The computer center serves the Laboratory by constantly upgrading its facility and by providing day-to-day service. This report is descriptive in nature; references to detailed publications are given

Physics, Computer Science and Mathematics Division annual report, January 1--December 31, 1976

Energy Technology Data Exchange (ETDEWEB)

Lepore, J.V. (ed.)

1977-01-01

This annual report of the Physics, Computer Science and Mathematics Division describes the scientific research and other work carried out within the Division during the calendar year 1976. The Division is concerned with work in experimental and theoretical physics, with computer science and applied mathematics, and with the operation of a computer center. The major physics research activity is in high-energy physics; a vigorous program is maintained in this pioneering field. The high-energy physics research program in the Division now focuses on experiments with e/sup +/e/sup -/ colliding beams using advanced techniques and developments initiated and perfected at the Laboratory. The Division continues its work in medium energy physics, with experimental work carried out at the Bevatron and at the Los Alamos Pi-Meson Facility. Work in computer science and applied mathematics includes construction of data bases, computer graphics, computational physics and data analysis, mathematical modeling, and mathematical analysis of differential and integral equations resulting from physical problems. The computer center serves the Laboratory by constantly upgrading its facility and by providing day-to-day service. This report is descriptive in nature; references to detailed publications are given. (RWR)

Effects of Attitudes and Behaviours on Learning Mathematics with Computer Tools

Science.gov (United States)

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…

Optimization and mathematical modeling in computer architecture

CERN Document Server

Sankaralingam, Karu; Nowatzki, Tony

2013-01-01

In this book we give an overview of modeling techniques used to describe computer systems to mathematical optimization tools. We give a brief introduction to various classes of mathematical optimization frameworks with special focus on mixed integer linear programming which provides a good balance between solver time and expressiveness. We present four detailed case studies -- instruction set customization, data center resource management, spatial architecture scheduling, and resource allocation in tiled architectures -- showing how MILP can be used and quantifying by how much it outperforms t

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem

CERN Document Server

Hirschfeldt, Denis R; Shore, Richard A

2017-01-01

Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory T is the type spectrum of some homogeneous model of T. Their result can be stated as a principle of second order arithmetic, which is called the Homogeneous Model Theorem (HMT), and analyzed from the points of view of computability theory and reverse mathematics. Previous computability theoretic results by Lange suggested a close connection between HMT and the Atomic Model Theorem (AMT), which states that every complete atomic theory has an atomic model. The authors show that HMT and AMT are indeed equivalent in the sense of reverse mathematics, as well as in a strong computability theoretic sense and do the same for an analogous result of Peretyat'kin giving necessary and sufficient conditions for when a set of types is the type spectrum of some model.

Research on Gear Shifting Process without Disengaging Clutch for a Parallel Hybrid Electric Vehicle Equipped with AMT

Directory of Open Access Journals (Sweden)

Hui-Long Yu

2014-01-01

Full Text Available Dynamic models of a single-shaft parallel hybrid electric vehicle (HEV equipped with automated mechanical transmission (AMT were described in different working stages during a gear shifting process without disengaging clutch. Parameters affecting the gear shifting time, components life, and gear shifting jerk in different transient states during a gear shifting process were deeply analyzed. The mathematical models considering the detailed synchronizer working process which can explain the gear shifting failure, long time gear shifting, and frequent synchronizer failure phenomenon in HEV were derived. Dynamic coordinated control strategy of the engine, motor, and actuators in different transient states considering the detailed working stages of synchronizer in a gear shifting process of a HEV is for the first time innovatively proposed according to the state of art references. Bench test and real road test results show that the proposed control strategy can improve the gear shifting quality in all its evaluation indexes significantly.

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

Directory of Open Access Journals (Sweden)

Mehmet Alper Ardıç

2017-01-01

Full Text Available 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 Adıyaman and nine 10th-grade students participated in the research. Firstly, the researchers trained the mathematics teachers in the Mathematica program, a computer algebra system (CAS and CAMI. Then, they provided a suitable environment for teachers to practice CAMI with their students to teach quadratic functions (parabola. Case study, a qualitative research design, was utilized in the study. Semi-structured interview forms were used as data collection tools. The interview data were analyzed using descriptive and content analysis, and the codes and themes related to the topic were obtained. The findings revealed that all the teachers found CAMI implementations interesting as supported by students’ views. While all mathematics teachers wanted to benefit from CAMI in mathematics and geometry courses, most of the students asked that CAMI be used in different courses. It was found that students did not have any problems with the Mathematica used with CAMI activities. However, it was also revealed by one student and one teacher that involving CAMI constantly in the courses would hinder preparations for the university entrance exam.

AMT1;1 transgenic rice plants with enhanced NH4(+) permeability show superior growth and higher yield under optimal and suboptimal NH4(+) conditions.

Science.gov (United States)

Ranathunge, Kosala; El-Kereamy, Ashraf; Gidda, Satinder; Bi, Yong-Mei; Rothstein, Steven J

2014-03-01

The major source of nitrogen for rice (Oryza sativa L.) is ammonium (NH4(+)). The NH4(+) uptake of roots is mainly governed by membrane transporters, with OsAMT1;1 being a prominent member of the OsAMT1 gene family that is known to be involved in NH4(+) transport in rice plants. However, little is known about its involvement in NH4(+) uptake in rice roots and subsequent effects on NH4(+) assimilation. This study shows that OsAMT1;1 is a constitutively expressed, nitrogen-responsive gene, and its protein product is localized in the plasma membrane. Its expression level is under the control of circadian rhythm. Transgenic rice lines (L-2 and L-3) overexpressing the OsAMT1;1 gene had the same root structure as the wild type (WT). However, they had 2-fold greater NH4(+) permeability than the WT, whereas OsAMT1;1 gene expression was 20-fold higher than in the WT. Analogous to the expression, transgenic lines had a higher NH4(+) content in the shoots and roots than the WT. Direct NH4(+) fluxes in the xylem showed that the transgenic lines had significantly greater uptake rates than the WT. Higher NH4(+) contents also promoted higher expression levels of genes in the nitrogen assimilation pathway, resulting in greater nitrogen assimilates, chlorophyll, starch, sugars, and grain yield in transgenic lines than in the WT under suboptimal and optimal nitrogen conditions. OsAMT1;1 also enhanced overall plant growth, especially under suboptimal NH4(+) levels. These results suggest that OsAMT1;1 has the potential for improving nitrogen use efficiency, plant growth, and grain yield under both suboptimal and optimal nitrogen fertilizer conditions.

AMT1;1 transgenic rice plants with enhanced NH4 + permeability show superior growth and higher yield under optimal and suboptimal NH4 + conditions

Science.gov (United States)

Rothstein, Steven J.

2014-01-01

The major source of nitrogen for rice (Oryza sativa L.) is ammonium (NH4 +). The NH4 + uptake of roots is mainly governed by membrane transporters, with OsAMT1;1 being a prominent member of the OsAMT1 gene family that is known to be involved in NH4 + transport in rice plants. However, little is known about its involvement in NH4 + uptake in rice roots and subsequent effects on NH4 + assimilation. This study shows that OsAMT1;1 is a constitutively expressed, nitrogen-responsive gene, and its protein product is localized in the plasma membrane. Its expression level is under the control of circadian rhythm. Transgenic rice lines (L-2 and L-3) overexpressing the OsAMT1;1 gene had the same root structure as the wild type (WT). However, they had 2-fold greater NH4 + permeability than the WT, whereas OsAMT1;1 gene expression was 20-fold higher than in the WT. Analogous to the expression, transgenic lines had a higher NH4 + content in the shoots and roots than the WT. Direct NH4 + fluxes in the xylem showed that the transgenic lines had significantly greater uptake rates than the WT. Higher NH4 + contents also promoted higher expression levels of genes in the nitrogen assimilation pathway, resulting in greater nitrogen assimilates, chlorophyll, starch, sugars, and grain yield in transgenic lines than in the WT under suboptimal and optimal nitrogen conditions. OsAMT1;1 also enhanced overall plant growth, especially under suboptimal NH4 + levels. These results suggest that OsAMT1;1 has the potential for improving nitrogen use efficiency, plant growth, and grain yield under both suboptimal and optimal nitrogen fertilizer conditions. PMID:24420570

PENGEMBANGAN MODEL COMPUTER-BASED E-LEARNING UNTUK MENINGKATKAN KEMAMPUAN HIGH ORDER MATHEMATICAL THINKING SISWA SMA

OpenAIRE

Jarnawi Afgani Dahlan; Yaya Sukjaya Kusumah; Mr Heri Sutarno

2011-01-01

The focus of this research is on the development of mathematics teaching and learning activity which is based on the application of computer software. The aim of research is as follows : 1) to identify some mathematics topics which feasible to be presented by computer-based e-learning, 2) design, develop, and implement computer-based e-learning on mathematics, and 3) analyze the impact of computer-based e-learning in the enhancement of SMA students’ high order mathematical thinking. All activ...

Application of AMT in detecting deep geological structures in Lejia district of Xiangshan uranium ore field

International Nuclear Information System (INIS)

Duan Shuxin; Liu Hu

2014-01-01

In recent years, exploration in Xiangshan uranium ore field shows that the intersection of faults and the interface of different rock formation and the basement is an important sign of deep ore- prospecting. In order to evaluate deep uranium resource in Lejia district, audio magnetotelluric method (AMT) was undertaken to carry out profile investigation. With that method, we discerned the interface of different rock formation and the basement successfully, and faults in the deep, which provides a good basis for the prediction of deep uranium resource. Drilling results show that AMT method has an obvious advantage in detecting deep geological structures in Xiangshan. (authors)

Mathematical and computational modeling with applications in natural and social sciences, engineering, and the arts

CERN Document Server

Melnik, Roderick

2015-01-01

Illustrates the application of mathematical and computational modeling in a variety of disciplines With an emphasis on the interdisciplinary nature of mathematical and computational modeling, Mathematical and Computational Modeling: With Applications in the Natural and Social Sciences, Engineering, and the Arts features chapters written by well-known, international experts in these fields and presents readers with a host of state-of-the-art achievements in the development of mathematical modeling and computational experiment methodology. The book is a valuable guide to the methods, ideas,

The Computer Student Worksheet Based Mathematical Literacy for Statistics

Science.gov (United States)

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

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

Energy Technology Data Exchange (ETDEWEB)

Lepore, J.L. (ed.)

1975-01-01

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

Physics, Computer Science and Mathematics Division. Annual report, 1 January--31 December 1977. [LBL, 1977

Energy Technology Data Exchange (ETDEWEB)

Lepore, J.V. (ed.)

1977-01-01

This annual report of the Physics, Computer Science and Mathematics Division describes the scientific research and other work carried out within the Division during 1977. The Division is concerned with work in experimental and theoretical physics, with computer science and applied mathematics, and with the operation of a computer center. The major physics research activity is in high-energy physics, although there is a relatively small program of medium-energy research. The High Energy Physics research program in the Physics Division is concerned with fundamental research which will enable man to comprehend the nature of the physical world. The major effort is now directed toward experiments with positron-electron colliding beam at PEP. The Medium Energy Physics program is concerned with research using mesons and nucleons to probe the properties of matter. This research is concerned with the study of nuclear structure, nuclear reactions, and the interactions between nuclei and electromagnetic radiation and mesons. The Computer Science and Applied Mathematics Department engages in research in a variety of computer science and mathematics disciplines. Work in computer science and applied mathematics includes construction of data bases, computer graphics, computational physics and data analysis, mathematical modeling, and mathematical analysis of differential and integral equations resulting from physical problems. The Computer Center provides large-scale computational support to LBL's scientific programs. Descriptions of the various activities are quite short; references to published results are given. 24 figures. (RWR)

COMPUTER TOOLS OF DYNAMIC MATHEMATIC SOFTWARE AND METHODICAL PROBLEMS OF THEIR USE

OpenAIRE

Olena V. Semenikhina; Maryna H. Drushliak

2014-01-01

The article presents results of analyses of standard computer tools of dynamic mathematic software which are used in solving tasks, and tools on which the teacher can support in the teaching of mathematics. Possibility of the organization of experimental investigating of mathematical objects on the basis of these tools and the wording of new tasks on the basis of the limited number of tools, fast automated check are specified. Some methodological comments on application of computer tools and ...

NATO Advanced Research Workshop on Exploiting Mental Imagery with Computers in Mathematics Education

CERN Document Server

Mason, John

1995-01-01

The advent of fast and sophisticated computer graphics has brought dynamic and interactive images under the control of professional mathematicians and mathematics teachers. This volume in the NATO Special Programme on Advanced Educational Technology takes a comprehensive and critical look at how the computer can support the use of visual images in mathematical problem solving. The contributions are written by researchers and teachers from a variety of disciplines including computer science, mathematics, mathematics education, psychology, and design. Some focus on the use of external visual images and others on the development of individual mental imagery. The book is the first collected volume in a research area that is developing rapidly, and the authors pose some challenging new questions.

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

Science.gov (United States)

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…

The Incorporation of Micro-Computer Technology into School Mathematics: Some Suggestions for Middle and Senior Mathematics Courses.

Science.gov (United States)

Newton, Bill

1987-01-01

Argues that the use of computer technologies in secondary schools should change the nature of mathematics education. Urges the rethinking of the uses of traditional paper-and-pencil computations. Suggests some computer applications for elementary algebra and for problem solving in arithmetic and calculus. (TW)

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

Science.gov (United States)

1995-01-01

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

Mathematics in computed tomography and related techniques

International Nuclear Information System (INIS)

Sawicka, B.

1992-01-01

The mathematical basis of computed tomography (CT) was formulated in 1917 by Radon. His theorem states that the 2-D function f(x,y) can be determined at all points from a complete set of its line integrals. Modern methods of image reconstruction include three approaches: algebraic reconstruction techniques with simultaneous iterative reconstruction or simultaneous algebraic reconstruction; convolution back projection; and the Fourier transform method. There is no one best approach. Because the experimental data do not strictly satisfy theoretical models, a number of effects have to be taken into account; in particular, the problems of beam geometry, finite beam dimensions and distribution, beam scattering, and the radiation source spectrum. Tomography with truncated data is of interest, employing mathematical approximations to compensate for the unmeasured projection data. Mathematical techniques in image processing and data analysis are also extensively used. 13 refs

International Conference on Applied Mathematics, Modeling and Computational Science & Annual meeting of the Canadian Applied and Industrial Mathematics

CERN Document Server

Bélair, Jacques; Kunze, Herb; Makarov, Roman; Melnik, Roderick; Spiteri, Raymond J

2016-01-01

Focusing on five main groups of interdisciplinary problems, this book covers a wide range of topics in mathematical modeling, computational science and applied mathematics. It presents a wealth of new results in the development of modeling theories and methods, advancing diverse areas of applications and promoting interdisciplinary interactions between mathematicians, scientists, engineers and representatives from other disciplines. The book offers a valuable source of methods, ideas, and tools developed for a variety of disciplines, including the natural and social sciences, medicine, engineering, and technology. Original results are presented on both the fundamental and applied level, accompanied by an ample number of real-world problems and examples emphasizing the interdisciplinary nature and universality of mathematical modeling, and providing an excellent outline of today’s challenges. Mathematical modeling, with applied and computational methods and tools, plays a fundamental role in modern science a...

Recent progress and modern challenges in applied mathematics, modeling and computational science

CERN Document Server

Makarov, Roman; Belair, Jacques

2017-01-01

This volume is an excellent resource for professionals in various areas of applications of mathematics, modeling, and computational science. It focuses on recent progress and modern challenges in these areas. The volume provides a balance between fundamental theoretical and applied developments, emphasizing the interdisciplinary nature of modern trends and detailing state-of-the-art achievements in Applied Mathematics, Modeling, and Computational Science.  The chapters have been authored by international experts in their respective fields, making this book ideal for researchers in academia, practitioners, and graduate students. It can also serve as a reference in the diverse selected areas of applied mathematics, modelling, and computational sciences, and is ideal for interdisciplinary collaborations.

Improving Mathematics Learning of Kindergarten Students through Computer-Assisted Instruction

Science.gov (United States)

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…

Application of computer mathematical modeling in nuclear well-logging industry

International Nuclear Information System (INIS)

Cai Shaohui

1994-01-01

Nuclear well logging techniques have made rapid progress since the first well log calibration facility (the API pits) was dedicated in 1959. Then came the first computer mathematical model in the late 70's. Mathematical modeling can now minimize design and experiment time, as well as provide new information and idea on tool design, environmental effects and result interpretation. The author gives a brief review on the achievements of mathematical modeling on nuclear logging problems

Elementary mathematical and computational tools for electrical and computer engineers using Matlab

CERN Document Server

Manassah, Jamal T

2013-01-01

Ideal for use as a short-course textbook and for self-study Elementary Mathematical and Computational Tools for Electrical and Computer Engineers Using MATLAB fills that gap. Accessible after just one semester of calculus, it introduces the many practical analytical and numerical tools that are essential to success both in future studies and in professional life. Sharply focused on the needs of the electrical and computer engineering communities, the text provides a wealth of relevant exercises and design problems. Changes in MATLAB's version 6.0 are included in a special addendum.

Research in applied mathematics, numerical analysis, and computer science

Science.gov (United States)

1984-01-01

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

Methodological Potential of Computer Experiment in Teaching Mathematics at University

Science.gov (United States)

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…

Physics, Computer Science and Mathematics Division. Annual report, 1 January-31 December 1979

International Nuclear Information System (INIS)

Lepore, J.V.

1980-09-01

This annual report describes the research work carried out by the Physics, Computer Science and Mathematics Division during 1979. The major research effort of the Division remained High Energy Particle Physics with emphasis on preparing for experiments to be carried out at PEP. The largest effort in this field was for development and construction of the Time Projection Chamber, a powerful new particle detector. This work took a large fraction of the effort of the physics staff of the Division together with the equivalent of more than a hundred staff members in the Engineering Departments and shops. Research in the Computer Science and Mathematics Department of the Division (CSAM) has been rapidly expanding during the last few years. Cross fertilization of ideas and talents resulting from the diversity of effort in the Physics, Computer Science and Mathematics Division contributed to the software design for the Time Projection Chamber, made by the Computer Science and Applied Mathematics Department

Artificial Intelligence, Computational Thinking, and Mathematics Education

Science.gov (United States)

Gadanidis, George

2017-01-01

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

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

Science.gov (United States)

Rzhetsky, Andrey; Evans, James A

2011-09-01

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

Mathematical foundations of computed tomography

International Nuclear Information System (INIS)

Smith, K.T.; Keinert, F.

1985-01-01

Along with a review of some of the mathematical foundations of computed tomography, the article contains new results on derivation of reconstruction formulas in a general setting encompassing all standard formulas; discussion and examples of the role of the point spread function with recipes for producing suitable ones; formulas for, and examples of, the reconstruction of certain functions of the attenuation coefficient, e.g., sharpened versions of it, some of them with the property that reconstruction at a point requires only the attenuation along rays meeting a small neighborhood of the point

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

Science.gov (United States)

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 pComputer 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 pmathematical and computer anxiety when planning an educational program to develop competency in dosage calculations.

Mathematics of shape description a morphological approach to image processing and computer graphics

CERN Document Server

Ghosh, Pijush K

2009-01-01

Image processing problems are often not well defined because real images are contaminated with noise and other uncertain factors. In Mathematics of Shape Description, the authors take a mathematical approach to address these problems using the morphological and set-theoretic approach to image processing and computer graphics by presenting a simple shape model using two basic shape operators called Minkowski addition and decomposition. This book is ideal for professional researchers and engineers in Information Processing, Image Measurement, Shape Description, Shape Representation and Computer Graphics. Post-graduate and advanced undergraduate students in pure and applied mathematics, computer sciences, robotics and engineering will also benefit from this book.  Key FeaturesExplains the fundamental and advanced relationships between algebraic system and shape description through the set-theoretic approachPromotes interaction of image processing geochronology and mathematics in the field of algebraic geometryP...

Computers in Science and Mathematics Education in the ASEAN Region.

Science.gov (United States)

Talisayon, Vivien M.

1989-01-01

Compares policies and programs on computers in science and mathematics education in the six ASEAN countries: Brunei, Indonesia; Malaysia, Philippines, Singapore, and Thailand. Limits discussion to the computer as a teaching aid and object of study, attendant problems, and regional cooperation. (MVL)

a Study of Electrical Structures of Shanchiao Fault in Taiwan Using Audio-Frequency Magnetotelluric (amt) Method

Science.gov (United States)

Yang, C.; Liu, H.

2007-12-01

The Shanchiao normal fault is located in the western edge of Taipei basin in an N-E to S-W direction. Since the fault crosses through the Tertiary basement of Taipei basin, it is classified as an active fault. The overburden of the fault is sediments with a thickness around few tenth meters to several hundred meters. No detailed studies related to the Shanchiao fault in the western side of Taipei Basin are reported. In addition, there are no outcrops which have been found on the surface. This part of fault seems to be a potential source of disaster for the development of western Taipei basin. The audio-frequency magnetotelluric (AMT) method is a technique used to find the vertical resistivity distribution of formation and to characterize a fault structure through the ground surface based measurement. Based on the geological investigation and lithogic information from wells, the AMT data from six soundings at Wugu site, nine soundings at XinZhuang site and eight sounding at GuanDu site were collected on a NE-SW profile, approximately perpendicular to the prospective strike of the Shanchiao fault. AMT data were then inverted for two- dimension resistivity models (sections). The features of all resistivity sections are similar; an apparent drop in resistivity was observed at the position correlates to the western edge of Taipei basin. The predicted location of Shanchiao fault matches was verified by the lithologic sections of boreholes nearby. It indicates that the Shanchiao normal fault may associate with the subsidence of Taipei basin. The basement is clearly detected as a geoelectrical unit having resistivity less than 250 . It has a trend of increasing its depth toward S-E. The uplift of layers in the east of resistivity sections may affect by the XinZhuang thrust fault from the east. As with each site, the calculated resistivity may affect by cultural interference. However, the AMT survey still successfully delineates the positions and features of the Shanchiao

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

Science.gov (United States)

1990-01-01

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

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

Science.gov (United States)

1994-01-01

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

Increasing Mathematical Computation Skills for Students with Physical and Health Disabilities

Science.gov (United States)

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…

Physics, Computer Science and Mathematics Division. Annual report, January 1-December 31, 1980

International Nuclear Information System (INIS)

Birge, R.W.

1981-12-01

Research in the physics, computer science, and mathematics division is described for the year 1980. While the division's major effort remains in high energy particle physics, there is a continually growing program in computer science and applied mathematics. Experimental programs are reported in e + e - annihilation, muon and neutrino reactions at FNAL, search for effects of a right-handed gauge boson, limits on neutrino oscillations from muon-decay neutrinos, strong interaction experiments at FNAL, strong interaction experiments at BNL, particle data center, Barrelet moment analysis of πN scattering data, astrophysics and astronomy, earth sciences, and instrument development and engineering for high energy physics. In theoretical physics research, studies included particle physics and accelerator physics. Computer science and mathematics research included analytical and numerical methods, information analysis techniques, advanced computer concepts, and environmental and epidemiological studies

Physics, Computer Science and Mathematics Division. Annual report, January 1-December 31, 1980

Energy Technology Data Exchange (ETDEWEB)

Birge, R.W.

1981-12-01

Research in the physics, computer science, and mathematics division is described for the year 1980. While the division's major effort remains in high energy particle physics, there is a continually growing program in computer science and applied mathematics. Experimental programs are reported in e/sup +/e/sup -/ annihilation, muon and neutrino reactions at FNAL, search for effects of a right-handed gauge boson, limits on neutrino oscillations from muon-decay neutrinos, strong interaction experiments at FNAL, strong interaction experiments at BNL, particle data center, Barrelet moment analysis of ..pi..N scattering data, astrophysics and astronomy, earth sciences, and instrument development and engineering for high energy physics. In theoretical physics research, studies included particle physics and accelerator physics. Computer science and mathematics research included analytical and numerical methods, information analysis techniques, advanced computer concepts, and environmental and epidemiological studies. (GHT)

3rd International Conference on Computer Science, Applied Mathematics and Applications

CERN Document Server

Nguyen, Ngoc; Do, Tien

2015-01-01

This volume contains the extended versions of papers presented at the 3rd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2015) held on 11-13 May, 2015 in Metz, France. The book contains 5 parts: 1. Mathematical programming and optimization: theory, methods and software, Operational research and decision making, Machine learning, data security, and bioinformatics, Knowledge information system, Software engineering. All chapters in the book discuss theoretical and algorithmic as well as practical issues connected with computation methods & optimization methods for knowledge engineering and machine learning techniques.  

Audio-magnetotelluric (AMT) study to investigate the genesis of Mujil hill

Science.gov (United States)

Rahmania, Suryanto, Wiwit

2017-07-01

Gunung Mujil is an isolated hill located near Pondoworejo village, Kalibawang sub-district, Kulon Progo district, and Special Province of Yogyakarta. The hill is part of the eastern Kulon Progo mountain range extended relatively in the North-South direction. The lithology of the hill consists of andesite breccia and it's similar with the Old Andesite Formation that built the Kulon Progo Mountains. There are at least two hypothesis about the genesis and the formation mechanism of this hill, (1) it was formed by debris mass from Kulon Progo Mountains, and (2) ) it was formed by an intrusion. Our study intended to determine the subsurface resistivity below the hill and to relating those results to with the scenario of the genesis of the Mujil hill. We conducted Audio-magnetotellurics (AMT) measurements along two lines survey crossing the Mujil hill consisting of 20 measurements. Since the measurements are located near the villages, most of the data has a fair to bad quality and only one station yielded an excellent data. A 1D Forward modeling was then applied to find best-fit model of the AMT data. The results shows that the Mujil hill was built by debris mass of the Old Andesite Formation from Kulon Progo mountain which is represented by a lower resistivity value under the Mujil hill.

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

Science.gov (United States)

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

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

Science.gov (United States)

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…

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

Science.gov (United States)

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…

Mutation analysis of GLDC, AMT and GCSH in cataract captive-bred vervet monkeys (Chlorocebus aethiops).

Science.gov (United States)

Chauke, Chesa G; Magwebu, Zandisiwe E; Sharma, Jyoti R; Arieff, Zainunisha; Seier, Jürgen V

2016-08-01

Non-ketotic hyperglycinaemia (NKH) is an autosomal recessive inborn error of glycine metabolism characterized by accumulation of glycine in body fluids and various neurological symptoms. This study describes the first screening of NKH in cataract captive-bred vervet monkeys (Chlorocebus aethiops). Glycine dehydrogenase (GLDC), aminomethyltransferase (AMT) and glycine cleavage system H protein (GCSH) were prioritized. Mutation analysis of the complete coding sequence of GLDC and AMT revealed six novel single-base substitutions, of which three were non-synonymous missense and three were silent nucleotide changes. Although deleterious effects of the three amino acid substitutions were not evaluated, one substitution of GLDC gene (S44R) could be disease-causing because of its drastic amino acid change, affecting amino acids conserved in different primate species. This study confirms the diagnosis of NKH for the first time in vervet monkeys with cataracts. © 2016 John Wiley & Sons A/S. Published by John Wiley & Sons Ltd.

Mapping the Geothermal System Using AMT and MT in the Mapamyum (QP Field, Lake Manasarovar, Southwestern Tibet

Directory of Open Access Journals (Sweden)

Lanfang He

2016-10-01

Full Text Available Southwestern Tibet plays a crucial role in the protection of the ecological environment and biodiversity of Southern Asia but lacks energy in terms of both power and fuel. The widely distributed geothermal resources in this region could be considered as potential alternative sources of power and heat. However, most of the known geothermal fields in Southwestern Tibet are poorly prospected and currently almost no geothermal energy is exploited. Here we present a case study mapping the Mapamyum (QP geothermal field of Southwestern Tibet using audio magnetotellurics (AMT and magnetotellurics (MT methods. AMT in the frequency range 11.5–11,500 Hz was used to map the upper part of this geothermal reservoir to a depth of 1000 m, and MT in the frequency range 0.001–320 Hz was used to map the heat source, thermal fluid path, and lower part of the geothermal reservoir to a depth greater than 1000 m. Data from 1300 MT and 680 AMT stations were acquired around the geothermal field. Bostick conversion with electromagnetic array profiling (EMAP filtering and nonlinear conjugate gradient inversion (NLCGI was used for data inversion. The AMT and MT results presented here elucidate the geoelectric structure of the QP geothermal field, and provide a background for understanding the reservoir, the thermal fluid path, and the heat source of the geothermal system. We identified a low resistivity anomaly characterized by resistivity in the range of 1–8 Ω∙m at a depth greater than 7 km. This feature was interpreted as a potential reflection of the partially melted magma in the upper crust, which might correlate to mantle upwelling along the Karakorum fault. It is likely that the magma is the heat source of the QP geothermal system, and potentially provides new geophysical evidence to understand the occurrence of the partially melted magmas in the upper crust in Southwestern Tibet.

Advances in Reactor Physics, Mathematics and Computation. Volume 1

Energy Technology Data Exchange (ETDEWEB)

1987-01-01

These proceedings of the international topical meeting on advances in reactor physics, mathematics and computation, volume one, are divided into 6 sessions bearing on: - session 1: Advances in computational methods including utilization of parallel processing and vectorization (7 conferences) - session 2: Fast, epithermal, reactor physics, calculation, versus measurements (9 conferences) - session 3: New fast and thermal reactor designs (9 conferences) - session 4: Thermal radiation and charged particles transport (7 conferences) - session 5: Super computers (7 conferences) - session 6: Thermal reactor design, validation and operating experience (8 conferences).

Design of a data-driven predictive controller for start-up process of AMT vehicles.

Science.gov (United States)

Lu, Xiaohui; Chen, Hong; Wang, Ping; Gao, Bingzhao

2011-12-01

In this paper, a data-driven predictive controller is designed for the start-up process of vehicles with automated manual transmissions (AMTs). It is obtained directly from the input-output data of a driveline simulation model constructed by the commercial software AMESim. In order to obtain offset-free control for the reference input, the predictor equation is gained with incremental inputs and outputs. Because of the physical characteristics, the input and output constraints are considered explicitly in the problem formulation. The contradictory requirements of less friction losses and less driveline shock are included in the objective function. The designed controller is tested under nominal conditions and changed conditions. The simulation results show that, during the start-up process, the AMT clutch with the proposed controller works very well, and the process meets the control objectives: fast clutch lockup time, small friction losses, and the preservation of driver comfort, i.e., smooth acceleration of the vehicle. At the same time, the closed-loop system has the ability to reject uncertainties, such as the vehicle mass and road grade.

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

Science.gov (United States)

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…

Description of mathematical models and computer programs

International Nuclear Information System (INIS)

1977-01-01

The paper gives a description of mathematical models and computer programs for analysing possible strategies for spent fuel management, with emphasis on economic analysis. The computer programs developed, describe the material flows, facility construction schedules, capital investment schedules and operating costs for the facilities used in managing the spent fuel. The computer programs use a combination of simulation and optimization procedures for the economic analyses. Many of the fuel cycle steps (such as spent fuel discharges, storage at the reactor, and transport to the RFCC) are described in physical and economic terms through simulation modeling, while others (such as reprocessing plant size and commissioning schedules, interim storage facility commissioning schedules etc.) are subjected to economic optimization procedures to determine the approximate lowest-cost plans from among the available feasible alternatives

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

Science.gov (United States)

Neves, Rui Gomes; Teodoro, Vítor Duarte

2012-09-01

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

Agrobacterium mediated transient gene silencing (AMTS in Stevia rebaudiana: insights into steviol glycoside biosynthesis pathway.

Directory of Open Access Journals (Sweden)

Praveen Guleria

Full Text Available Steviol glycoside biosynthesis pathway has emerged as bifurcation from ent-kaurenoic acid, substrate of methyl erythritol phosphate pathway that also leads to gibberellin biosynthesis. However, the genetic regulation of steviol glycoside biosynthesis has not been studied. So, in present study RNA interference (RNAi based Agrobacterium mediated transient gene silencing (AMTS approach was followed. SrKA13H and three SrUGTs (SrUGT85C2, SrUGT74G1 and SrUGT76G1 genes encoding ent-kaurenoic acid-13 hydroxylase and three UDP glycosyltransferases of steviol glycoside biosynthesis pathway were silenced in Stevia rebaudiana to understand its molecular mechanism and association with gibberellins.RNAi mediated AMTS of SrKA13H and three SrUGTs has significantly reduced the expression of targeted endogenous genes as well as total steviol glycoside accumulation. While gibberellins (GA3 content was significantly enhanced on AMTS of SrUGT85C2 and SrKA13H. Silencing of SrKA13H and SrUGT85C2 was found to block the metabolite flux of steviol glycoside pathway and shifted it towards GA3 biosynthesis. Further, molecular docking of three SrUGT proteins has documented highest affinity of SrUGT76G1 for the substrates of alternate pathways synthesizing steviol glycosides. This could be a plausible reason for maximum reduction in steviol glycoside content on silencing of SrUGT76G1 than other genes.SrKA13H and SrUGT85C2 were identified as regulatory genes influencing carbon flux between steviol glycoside and gibberellin biosynthesis. This study has also documented the existence of alternate steviol glycoside biosynthesis route.

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

Science.gov (United States)

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…

Mathematical model of accelerator output characteristics and their calculation on a computer

International Nuclear Information System (INIS)

Mishulina, O.A.; Ul'yanina, M.N.; Kornilova, T.V.

1975-01-01

A mathematical model is described of output characteristics of a linear accelerator. The model is a system of differential equations. Presence of phase limitations is a specific feature of setting the problem which makes it possible to ensure higher simulation accuracy and determine a capture coefficient. An algorithm is elaborated of computing output characteristics based upon the mathematical model suggested. A capture coefficient, coordinate expectation characterizing an average phase value of the beam particles, coordinate expectation characterizing an average value of the reverse relative velocity of the beam particles as well as dispersion of these coordinates are output characteristics of the accelerator. Calculation methods of the accelerator output characteristics are described in detail. The computations have been performed on the BESM-6 computer, the characteristics computing time being 2 min 20 sec. Relative error of parameter computation averages 10 -2

High-Precision Computation and Mathematical Physics

International Nuclear Information System (INIS)

Bailey, David H.; Borwein, Jonathan M.

2008-01-01

At the present time, IEEE 64-bit floating-point arithmetic is sufficiently accurate for most scientific applications. However, for a rapidly growing body of important scientific computing applications, a higher level of numeric precision is required. Such calculations are facilitated by high-precision software packages that include high-level language translation modules to minimize the conversion effort. This paper presents a survey of recent applications of these techniques and provides some analysis of their numerical requirements. These applications include supernova simulations, climate modeling, planetary orbit calculations, Coulomb n-body atomic systems, scattering amplitudes of quarks, gluons and bosons, nonlinear oscillator theory, Ising theory, quantum field theory and experimental mathematics. We conclude that high-precision arithmetic facilities are now an indispensable component of a modern large-scale scientific computing environment.

Research in mathematics and computer science, March 1, 1991--September 30, 1992

Energy Technology Data Exchange (ETDEWEB)

Pieper, G.W.

1992-10-01

This report discusses the following topics in mathematics and computer science at Argonne National Laboratory: Harnessing the Power; Modeling Piezoelectric Crystals; A Two-Way Street; The Challenge Is On; A True Molecular Engineering Capability; CHAMMPions Attack Climate Issues; Studying Vortex Dynamics; Studying Vortex Structure; Providing Reliable and Fast Derivatives; Automating Reasoning for Scientific Problem Solving; Optimization and Mathematical Programming; Scalable Algorithms for Linear Algebra; Reliable Core Software; Computing Phylogenetic Trees; Managing Life-Critical Systems; Interacting with Data through Visualization; New Tools for New Technologies.

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

Science.gov (United States)

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…

Mathematics for informatics and computer science

CERN Document Server

Audibert, Pierre

2013-01-01

How many ways do exist to mix different ingredients, how many chances to win a gambling game, how many possible paths going from one place to another in a network ? To this kind of questions Mathematics applied to computer gives a stimulating and exhaustive answer. This text, presented in three parts (Combinatorics, Probability, Graphs) addresses all those who wish to acquire basic or advanced knowledge in combinatorial theories. It is actually also used as a textbook. Basic and advanced theoretical elements are presented through simple applications like the Sudoku game, search engine al

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

Science.gov (United States)

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…

Agrobacterium Mediated Transient Gene Silencing (AMTS) in Stevia rebaudiana: Insights into Steviol Glycoside Biosynthesis Pathway

Science.gov (United States)

Guleria, Praveen; Yadav, Sudesh Kumar

2013-01-01

Background Steviol glycoside biosynthesis pathway has emerged as bifurcation from ent-kaurenoic acid, substrate of methyl erythritol phosphate pathway that also leads to gibberellin biosynthesis. However, the genetic regulation of steviol glycoside biosynthesis has not been studied. So, in present study RNA interference (RNAi) based Agrobacterium mediated transient gene silencing (AMTS) approach was followed. SrKA13H and three SrUGTs (SrUGT85C2, SrUGT74G1 and SrUGT76G1) genes encoding ent-kaurenoic acid-13 hydroxylase and three UDP glycosyltransferases of steviol glycoside biosynthesis pathway were silenced in Stevia rebaudiana to understand its molecular mechanism and association with gibberellins. Methodology/Principal Findings RNAi mediated AMTS of SrKA13H and three SrUGTs has significantly reduced the expression of targeted endogenous genes as well as total steviol glycoside accumulation. While gibberellins (GA3) content was significantly enhanced on AMTS of SrUGT85C2 and SrKA13H. Silencing of SrKA13H and SrUGT85C2 was found to block the metabolite flux of steviol glycoside pathway and shifted it towards GA3 biosynthesis. Further, molecular docking of three SrUGT proteins has documented highest affinity of SrUGT76G1 for the substrates of alternate pathways synthesizing steviol glycosides. This could be a plausible reason for maximum reduction in steviol glycoside content on silencing of SrUGT76G1 than other genes. Conclusions SrKA13H and SrUGT85C2 were identified as regulatory genes influencing carbon flux between steviol glycoside and gibberellin biosynthesis. This study has also documented the existence of alternate steviol glycoside biosynthesis route. PMID:24023961

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

Science.gov (United States)

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…

Recent developments and applications in mathematics and computer science

International Nuclear Information System (INIS)

Churchhouse, R.F.; Tahir Shah, K.; Zanella, P.

1991-01-01

The book contains 8 invited lectures and 4 short seminars presented at the College on Recent Developments and Applications in Mathematics and Computer Science held in Trieste from 7 May to 1 June 1990. A separate abstract was prepared for each paper. Refs, figs and tabs

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

Science.gov (United States)

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…

Computer-based image studies on tumor nests mathematical features of breast cancer and their clinical prognostic value.

Science.gov (United States)

Wang, Lin-Wei; Qu, Ai-Ping; Yuan, Jing-Ping; Chen, Chuang; Sun, Sheng-Rong; Hu, Ming-Bai; Liu, Juan; Li, Yan

2013-01-01

The expending and invasive features of tumor nests could reflect the malignant biological behaviors of breast invasive ductal carcinoma. Useful information on cancer invasiveness hidden within tumor nests could be extracted and analyzed by computer image processing and big data analysis. Tissue microarrays from invasive ductal carcinoma (n = 202) were first stained with cytokeratin by immunohistochemical method to clearly demarcate the tumor nests. Then an expert-aided computer analysis system was developed to study the mathematical and geometrical features of the tumor nests. Computer recognition system and imaging analysis software extracted tumor nests information, and mathematical features of tumor nests were calculated. The relationship between tumor nests mathematical parameters and patients' 5-year disease free survival was studied. There were 8 mathematical parameters extracted by expert-aided computer analysis system. Three mathematical parameters (number, circularity and total perimeter) with area under curve >0.5 and 4 mathematical parameters (average area, average perimeter, total area/total perimeter, average (area/perimeter)) with area under curve nests could be a useful parameter to predict the prognosis of early stage breast invasive ductal carcinoma.

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

Science.gov (United States)

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

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

Science.gov (United States)

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…

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

Science.gov (United States)

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…

[Geometry, analysis, and computation in mathematics and applied science]. Progress report

Energy Technology Data Exchange (ETDEWEB)

Hoffman, D.

1994-02-01

The principal investigators` work on a variety of pure and applied problems in Differential Geometry, Calculus of Variations and Mathematical Physics has been done in a computational laboratory and been based on interactive scientific computer graphics and high speed computation created by the principal investigators to study geometric interface problems in the physical sciences. We have developed software to simulate various physical phenomena from constrained plasma flow to the electron microscope imaging of the microstructure of compound materials, techniques for the visualization of geometric structures that has been used to make significant breakthroughs in the global theory of minimal surfaces, and graphics tools to study evolution processes, such as flow by mean curvature, while simultaneously developing the mathematical foundation of the subject. An increasingly important activity of the laboratory is to extend this environment in order to support and enhance scientific collaboration with researchers at other locations. Toward this end, the Center developed the GANGVideo distributed video software system and software methods for running lab-developed programs simultaneously on remote and local machines. Further, the Center operates a broadcast video network, running in parallel with the Center`s data networks, over which researchers can access stored video materials or view ongoing computations. The graphical front-end to GANGVideo can be used to make ``multi-media mail`` from both ``live`` computing sessions and stored materials without video editing. Currently, videotape is used as the delivery medium, but GANGVideo is compatible with future ``all-digital`` distribution systems. Thus as a byproduct of mathematical research, we are developing methods for scientific communication. But, most important, our research focuses on important scientific problems; the parallel development of computational and graphical tools is driven by scientific needs.

Study of the Influence Hormone LHRH-a and 17a-MT of Hemocytology on Orange Spot Grouper Broodstock, Epinephelus coioides

Directory of Open Access Journals (Sweden)

F. Johnny

2007-01-01

Full Text Available An experiment to study the influence of the chronic hormone LHRH-a and 17a-MT on haematology orange spot grouper, Epinephelus coioides broodstock was conducted at Gondol Research Institute for Mariculture, Bali.  Fish weights were ranged 4.7-10.4 kg (female and 10.4-17.8 kg (male.  The females broodstock was treated by hormone 17a-MT with dosage 50 mg/kg body weight, and males was by hormone LHRH-a with dosage 50 and 100 mg/kg body weight.  Fish were kept on two concrete tank contained 100 m3 sea water and 2 meters depth and density 15 fishes/tank,  male ratio and female was 1 : 2.  Hormone treatment was peformed every two months until six months culture.  Blood were collected before treatment by hormone and every two months.  Hemocytology parameters measured were hematocrit, hemoglobin, total erythrocyte, and total leucocyte.  Result of the average indicator of hemacytology to influence on haemological parameters. Keywords:  Epinephelus coioides, chronic hormone, hemocytology, orange spot grouper broodstock.   ABSTRAK Suatu percobaan dengan tujuan untuk mengetahui pengaruh  hormon LHRH-a dan 17a-MT terhadap keragaan hemositologi induk ikan kerapu lumpur, Epinephelus coioides telah dilakukan di Balai Besar Riset Perikanan Budidaya Laut Gondol, Bali.  Ikan uji yang digunakan adalah induk ikan kerapu lumpur kelamin betina dengan bobot antara 4,7-10,4 kg dan induk kelamin jantan dengan bobot antara 10,4-17,8 kg.  Ikan uji dipelihara dalam bak beton volume 100 m3 dengan kepadatan 15 ekor/bak, dilengkapi aerasi dan pergantian air sistim mengalir.  Induk kelamin betina diberikan perlakuan implantasi pelet hormon LHRH-a dosis 50 mg/kg bobot, dan induk kelamin jantan dengan hormon 17a-MT dosis 50 dan 100 mg/kg bobot ikan.  Implantasi dilakukan setiap 2 bulan, pada awal percobaan (sebelum perlakuan hormon/bulan ke-0, bulan ke-2, bulan ke-4, dan bulan ke-6 dilakukan sampling darah untuk pengujian keragaan hemositologi, meliputi; persentase

Digital image processing mathematical and computational methods

CERN Document Server

Blackledge, J M

2005-01-01

This authoritative text (the second part of a complete MSc course) provides mathematical methods required to describe images, image formation and different imaging systems, coupled with the principle techniques used for processing digital images. It is based on a course for postgraduates reading physics, electronic engineering, telecommunications engineering, information technology and computer science. This book relates the methods of processing and interpreting digital images to the 'physics' of imaging systems. Case studies reinforce the methods discussed, with examples of current research

High-Precision Computation: Mathematical Physics and Dynamics

International Nuclear Information System (INIS)

Bailey, D.H.; Barrio, R.; Borwein, J.M.

2010-01-01

At the present time, IEEE 64-bit oating-point arithmetic is suficiently accurate for most scientic applications. However, for a rapidly growing body of important scientic computing applications, a higher level of numeric precision is required. Such calculations are facilitated by high-precision software packages that include high-level language translation modules to minimize the conversion e ort. This pa- per presents a survey of recent applications of these techniques and provides someanalysis of their numerical requirements. These applications include supernova simulations, climate modeling, planetary orbit calculations, Coulomb n-body atomic systems, studies of the one structure constant, scattering amplitudes of quarks, glu- ons and bosons, nonlinear oscillator theory, experimental mathematics, evaluation of orthogonal polynomials, numerical integration of ODEs, computation of periodic orbits, studies of the splitting of separatrices, detection of strange nonchaotic at- tractors, Ising theory, quantum held theory, and discrete dynamical systems. We conclude that high-precision arithmetic facilities are now an indispensable compo- nent of a modern large-scale scientic computing environment.

High-Precision Computation: Mathematical Physics and Dynamics

Energy Technology Data Exchange (ETDEWEB)

Bailey, D. H.; Barrio, R.; Borwein, J. M.

2010-04-01

At the present time, IEEE 64-bit oating-point arithmetic is suficiently accurate for most scientic applications. However, for a rapidly growing body of important scientic computing applications, a higher level of numeric precision is required. Such calculations are facilitated by high-precision software packages that include high-level language translation modules to minimize the conversion e ort. This pa- per presents a survey of recent applications of these techniques and provides someanalysis of their numerical requirements. These applications include supernova simulations, climate modeling, planetary orbit calculations, Coulomb n-body atomic systems, studies of the one structure constant, scattering amplitudes of quarks, glu- ons and bosons, nonlinear oscillator theory, experimental mathematics, evaluation of orthogonal polynomials, numerical integration of ODEs, computation of periodic orbits, studies of the splitting of separatrices, detection of strange nonchaotic at- tractors, Ising theory, quantum held theory, and discrete dynamical systems. We conclude that high-precision arithmetic facilities are now an indispensable compo- nent of a modern large-scale scientic computing environment.

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

Science.gov (United States)

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…

Concentrator optical characterization using computer mathematical modelling and point source testing

Science.gov (United States)

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

1984-01-01

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

Student’s Perceptions on Simulation as Part of Experiential Learning in Approaches, Methods, and Techniques (AMT Course

Directory of Open Access Journals (Sweden)

Marselina Karina Purnomo

2017-03-01

Full Text Available Simulation is a part of Experiential Learning which represents certain real-life events. In this study, simulation is used as a learning activity in Approaches, Methods, and Techniques (AMT course which is one of the courses in English Language Education Study Program (ELESP of Sanata Dharma University. Since simulation represents the real-life events, it encourages students to apply the approaches, methods, and techniques being studied based on the real-life classroom. Several experts state that students are able to involve their personal experiences through simulation which additionally is believed to create a meaningful learning in the class. This study aimed to discover ELESP students’ perceptions toward simulation as a part of Experiential Learning in AMT course. From the findings, it could be inferred that students agreed that simulation in class was important for students’ learning for it formed a meaningful learning in class.  DOI: https://doi.org/10.24071/llt.2017.200104

Advances in Reactor Physics, Mathematics and Computation. Volume 2

Energy Technology Data Exchange (ETDEWEB)

1987-01-01

These proceedings of the international topical meeting on advances in reactor physics, mathematics and computation, Volume 2, are divided into 7 sessions bearing on: - session 7: Deterministic transport methods 1 (7 conferences), - session 8: Interpretation and analysis of reactor instrumentation (6 conferences), - session 9: High speed computing applied to reactor operations (5 conferences), - session 10: Diffusion theory and kinetics (7 conferences), - session 11: Fast reactor design, validation and operating experience (8 conferences), - session 12: Deterministic transport methods 2 (7 conferences), - session 13: Application of expert systems to physical aspects of reactor design and operation.

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

DEFF Research Database (Denmark)

Zhang, Lei; Cignitti, Stefano; Gani, Rafiqul

2015-01-01

This short communication presents a generic mathematical programming formulation for Computer-Aided Molecular Design (CAMD). A given CAMD problem, based on target properties, is formulated as a Mixed Integer Linear/Non-Linear Program (MILP/MINLP). The mathematical programming model presented here......, which is formulated as an MILP/MINLP problem, considers first-order and second-order molecular groups for molecular structure representation and property estimation. It is shown that various CAMD problems can be formulated and solved through this model....

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

Directory of Open Access Journals (Sweden)

Bogdanov Alexander

2016-01-01

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

Advanced Micro Turbine System (AMTS) -C200 Micro Turbine -Ultra-Low Emissions Micro Turbine

Energy Technology Data Exchange (ETDEWEB)

Capstone Turbine Corporation

2007-12-31

In September 2000 Capstone Turbine Corporation commenced work on a US Department of Energy contract to develop and improve advanced microturbines for power generation with high electrical efficiency and reduced pollutants. The Advanced MicroTurbine System (AMTS) program focused on: (1) The development and implementation of technology for a 200 kWe scale high efficiency microturbine system (2) The development and implementation of a 65 kWe microturbine which meets California Air Resources Board (CARB) emissions standards effective in 2007. Both of these objectives were achieved in the course of the AMTS program. At its conclusion prototype C200 Microturbines had been designed, assembled and successfully completed field demonstration. C65 Microturbines operating on natural, digester and landfill gas were also developed and successfully tested to demonstrate compliance with CARB 2007 Fossil Fuel Emissions Standards for NOx, CO and VOC emissions. The C65 Microturbine subsequently received approval from CARB under Executive Order DG-018 and was approved for sale in California. The United Technologies Research Center worked in parallel to successfully execute a RD&D program to demonstrate the viability of a low emissions AMS which integrated a high-performing microturbine with Organic Rankine Cycle systems. These results are documented in AMS Final Report DOE/CH/11060-1 dated March 26, 2007.

Advances in Reactor physics, mathematics and computation. Volume 3

Energy Technology Data Exchange (ETDEWEB)

1987-01-01

These proceedings of the international topical meeting on advances in reactor physics, mathematics and computation, volume 3, are divided into sessions bearing on: - poster sessions on benchmark and codes: 35 conferences - review of status of assembly spectrum codes: 9 conferences - Numerical methods in fluid mechanics and thermal hydraulics: 16 conferences - stochastic transport and methods: 7 conferences.

Improving the reliability of nuclear reprocessing by application of computers and mathematical modelling

International Nuclear Information System (INIS)

Gabowitsch, E.; Trauboth, H.

1982-01-01

After a brief survey of the present and expected future state of nuclear energy utilization, which should demonstrate the significance of nuclear reprocessing, safety and reliability aspects of nuclear reprocessing plants (NRP) are considered. Then, the principal possibilities of modern computer technology including computer systems architecture and application-oriented software for improving the reliability and availability are outlined. In this context, two information systems being developed at the Nuclear Research Center Karlsruhe (KfK) are briefly described. For design evaluation of certain areas of a large NRP mathematical methods and computer-aided tools developed, used or being designed by KfK are discussed. In conclusion, future research to be pursued in information processing and applied mathematics in support of reliable operation of NRP's is proposed. (Auth.)

AMT (ACHIEVEMENT MOTIVATIONTRAINING SEBUAH RANCANGAN INTERVENSI UNTUK MENINGKATKAN EFIKASI DIRI PADA MAHASISWA PROGRAM KHUSUS ULAMA IAIN ANTASARI BANJARMASIN (Studi Eksperimen

Directory of Open Access Journals (Sweden)

Mulyani Mulyani

2015-04-01

Full Text Available Belief or self efficacy is owned by someone to do an action influences activities and efforts of someone in facing difficulty of finishing of certain assignment. Especially, college students who are in Program Khusus Ulama in IAIN Antasari, they need to have a belief with theirselves to finish the final assignment as a schedule decided. With this reason, to increase the self efficacy this study designed an Achievement Motivation Training (AMT. It is a training oriented to increase motivation to achieve some goals had have decided by individuals based on their ability. The research subject invited to know theirselves more through self evaluation based on other people assessment. Then, deciding some goals wants to reach and deciding a strategy and a target based on their ability achieved from result of self evaluation. Sample of this research was 10 people and to decide experiment participation by random sampling. This training was for college students of Program Khusus Ulama of Tafsir Hadis department in Faculty of Ushuluddin and Humaniora. The conclusion is that Achievement Motivation Training (AMT has effects to increase self efficacy of ollege students of Program Khusus Ulama. The score of Self Efficacy showed that students’ self efficacy proven higher than before they follow the AMT.

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

Science.gov (United States)

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…

Internalization of Malaysian mathematical and computer science journals

OpenAIRE

Zainab, A. N.

2008-01-01

The internationalization characteristics of two Malaysian journals, Bulletin of the Malaysian Mathematical Sciences Society ( indexed by ISI) and the Malaysian Journal of Computer Science ( indexed by Inspec and Scopus) is observed. All issues for the years 2000 to 2007 were looked at to obtain the following information, (i) total articles published between 2000 and 2007; (ii) the distribution of foreign and Malaysian authors publishing in the journals; (iii) the distribution of articles by c...

9th Annual Conference of the North East Polytechnics Mathematical Modelling & Computer Simulation Group

CERN Document Server

Bradley, R

1987-01-01

In recent years, mathematical modelling allied to computer simulation has emerged as en effective and invaluable design tool for industry and a discipline in its own right. This has been reflected in the popularity of the growing number of courses and conferences devoted to the area. The North East Polytechnics Mathematical Modelling and Computer Simulation Group has a balanced representation of academics and industrialists and, as a Group, has the objective of promoting a continuing partnership between the Polytechnics in the North East and local industry. Prior to the present conference the Group has organised eight conferences with a variety of themes related to mathematical modelling and computer simulation. The theme chosen for the Polymodel 9 Conference held in Newcastle upon Tyne in May 1986 was Industrial Vibration Modelling, which is particularly approp riate for 'Industry Year' and is an area which continues to present industry and academics with new and challenging problems. The aim of the Conferen...

Mathematical and computational modeling and simulation fundamentals and case studies

CERN Document Server

Moeller, Dietmar P F

2004-01-01

Mathematical and Computational Modeling and Simulation - a highly multi-disciplinary field with ubiquitous applications in science and engineering - is one of the key enabling technologies of the 21st century. This book introduces to the use of Mathematical and Computational Modeling and Simulation in order to develop an understanding of the solution characteristics of a broad class of real-world problems. The relevant basic and advanced methodologies are explained in detail, with special emphasis on ill-defined problems. Some 15 simulation systems are presented on the language and the logical level. Moreover, the reader can accumulate experience by studying a wide variety of case studies. The latter are briefly described within the book but their full versions as well as some simulation software demos are available on the Web. The book can be used for University courses of different level as well as for self-study. Advanced sections are marked and can be skipped in a first reading or in undergraduate courses...

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

Science.gov (United States)

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.

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

Science.gov (United States)

1984-01-01

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

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

Science.gov (United States)

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…

Overview of the ANS [American Nuclear Society] mathematics and computation software standards

International Nuclear Information System (INIS)

Smetana, A.O.

1991-01-01

The Mathematics and Computations Division of the American Nuclear Society sponsors the ANS-10 Standards Subcommittee. This subcommittee, which is part of the ANS Standards Committee, currently maintains four ANSI/ANS software standards. These standards are: Recommended Programming Practices to Facilitate the Portability of Scientific Computer Programs, ANS-10.2; Guidelines for the Documentation of Computer Software, ANS-10.3; Guidelines for the Verification and Validation of Scientific and Engineering Computer Programs for the Nuclear Industry, ANS-10.4; and Guidelines for Accommodating User Needs in Computer Program Development, ANS-10.5. 5 refs

Can Digital Computers Support Ancient Mathematical Consciousness?

Directory of Open Access Journals (Sweden)

Aaron Sloman

2018-05-01

Full Text Available This paper poses, discusses, but does not definitively answer, the following questions: What sorts of reasoning machinery could the ancient mathematicians, and other intelligent animals, be using for spatial reasoning, before the discovery of modern logical mechanisms? “Diagrams in minds” perhaps? How and why did natural selection produce such machinery? Is there a single package of biological abilities for spatial reasoning, or did different sorts of mathematical competence evolve at different times, forming a “layered” system? Do the layers develop in individuals at different stages? Which components are shared with other intelligent species? Does some or all of the machinery exist at or before birth in humans and if not how and when does it develop, and what is the role of experience in its development? How do brains implement such machinery? Could similar machines be implemented as virtual machines on digital computers, and if not what sorts of non-digital “Super Turing” mechanisms could replicate the required functionality, including discovery of impossibility and necessity? How are impossibility and necessity represented in brains? Are chemical mechanisms required? How could such mechanisms be specified in a genome? Are some not specified in the genome but products of interaction between genome and environment? Does Turing’s work on chemical morphogenesis published shortly before he died indicate that he was interested in this problem? Will the answers to these questions vindicate Immanuel Kant’s claims about the nature of mathematical knowledge, including his claim that mathematical truths are non-empirical, synthetic and necessary? Perhaps it’s time for discussions of consciousness to return to the nature of ancient mathematical consciousness, and related aspects of everyday human and non-human intelligence, usually ignored by consciousness theorists.

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

Science.gov (United States)

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…

Does Computer Use Promote the Mathematical Proficiency of ELL Students?

Science.gov (United States)

Kim, Sunha; Chang, Mido

2010-01-01

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

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

Science.gov (United States)

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

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

Science.gov (United States)

1987-10-01

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

Proteomic analysis of Herbaspirillum seropedicae reveals ammonium-induced AmtB-dependent membrane sequestration of PII proteins.

Science.gov (United States)

Huergo, Luciano F; Noindorf, Lilian; Gimenes, Camila; Lemgruber, Renato S P; Cordellini, Daniela F; Falarz, Lucas J; Cruz, Leonardo M; Monteiro, Rose A; Pedrosa, Fábio O; Chubatsu, Leda S; Souza, Emanuel M; Steffens, Maria B R

2010-07-01

This study was aimed at describing the spectrum and dynamics of proteins associated with the membrane in the nitrogen-fixing bacterium Herbaspirillum seropedicae according to the availability of fixed nitrogen. Using two-dimensional electrophoresis we identified 79 protein spots representing 45 different proteins in the membrane fraction of H. seropedicae. Quantitative analysis of gel images of membrane extracts indicated two spots with increased levels when cells were grown under nitrogen limitation in comparison with nitrogen sufficiency; these spots were identified as the GlnK protein and as a conserved noncytoplasmic protein of unknown function which was encoded in an operon together with GlnK and AmtB. Comparison of gel images of membrane extracts from cells grown under nitrogen limitation or under the same regime but collected after an ammonium shock revealed two proteins, GlnB and GlnK, with increased levels after the shock. The P(II) proteins were not present in the membrane fraction of an amtB mutant. The results reported here suggest that changes in the cellular localization of P(II) might play a role in the control of nitrogen metabolism in H. seropedicae.

Formative questioning in computer learning environments: a course for pre-service mathematics teachers

Science.gov (United States)

Akkoç, Hatice

2015-11-01

This paper focuses on a specific aspect of formative assessment, namely questioning. Given that computers have gained widespread use in learning and teaching, specific attention should be made when organizing formative assessment in computer learning environments (CLEs). A course including various workshops was designed to develop knowledge and skills of questioning in CLEs. This study investigates how pre-service mathematics teachers used formative questioning with technological tools such as Geogebra and Graphic Calculus software. Participants are 35 pre-service mathematics teachers. To analyse formative questioning, two types of questions are investigated: mathematical questions and technical questions. Data were collected through lesson plans, teaching notes, interviews and observations. Descriptive statistics of the number of questions in the lesson plans before and after the workshops are presented. Examples of two types of questions are discussed using the theoretical framework. One pre-service teacher was selected and a deeper analysis of the way he used questioning during his three lessons was also investigated. The findings indicated an improvement in using technical questions for formative purposes and that the course provided a guideline in planning and using mathematical and technical questions in CLEs.

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

Science.gov (United States)

Greenhow, Martin

2015-01-01

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

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

Science.gov (United States)

Chen, Chiu-Jung; Liu, Pei-Lin

2007-01-01

This study evaluated the effects of a personalized computer-assisted mathematics problem-solving program on the performance and attitude of Taiwanese fourth grade students. The purpose of this study was to determine whether the personalized computer-assisted program improved student performance and attitude over the nonpersonalized program.…

Mathematical Footprints Discovering Mathematics Everywhere

CERN Document Server

Pappas, Theoni

1999-01-01

MATHEMATICAL FOOTPRINTS takes a creative look at the role mathematics has played since prehistoric times, and will play in the future, and uncovers mathematics where you least expect to find it from its many uses in medicine, the sciences, and its appearance in art to its patterns in nature and its central role in the development of computers. Pappas presents mathematical ideas in a readable non-threatening manner. MATHEMATICAL FOOTPRINTS is another gem by the creator of THE MATHEMATICS CALENDAR and author of THE JOY OF MATHEMATICS. "Pappas's books have been gold mines of mathematical ent

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

Science.gov (United States)

1989-01-01

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

Proceedings of the Third International Workshop on Mathematical Foundations of Computational Anatomy

DEFF Research Database (Denmark)

the mathematical community around shapes and the MICCAI community in view of computational anatomy applications. It targets more particularly researchers investigating the combination of statistical and geometrical aspects in the modeling of the variability of biological shapes. The workshop is a forum...... of the workshop: statistics on manifolds and diff eomorphisms for surface or longitudinal registration. One session gathers papers exploring new mathematical structures beyond Riemannian geometry while the last oral session deals with the emerging theme of statistics on graphs and trees. Finally, a poster session......Computational anatomy is an emerging discipline at the interface of geometry, statistics and image analysis which aims at modeling and analyzing the biological shape of tissues and organs. The goal is to estimate representative organ anatomies across diseases, populations, species or ages, to model...

M and c'99 : Mathematics and computation, reactor physics and environmental analysis in nuclear applications, Madrid, September 27-30, 1999

International Nuclear Information System (INIS)

Aragones, J. M.; Ahnert, C.; Cabellos, O.

1999-01-01

The international conference on mathematics and computation, reactor physics and environmental analysis in nuclear applications in the biennial topical meeting of the mathematics and computation division of the American Nuclear Society. (Author)

AMT (3-(2-aminopropyl)indole) and 5-IT (5-(2-aminopropyl)indole): an analytical challenge and implications for forensic analysis.

Science.gov (United States)

Elliott, Simon P; Brandt, Simon D; Freeman, Sally; Archer, Roland P

2013-03-01

5-(2-Aminopropyl)indole (5-IT) and 3-(2-aminopropyl)indole (α-methyltryptamine, AMT) are isomeric substances and their differentiation can be a challenge under routine analytical conditions, especially when reference material is unavailable. 5-IT represents a very recent addition to the battery of new psychoactive substances that are commercially available from online retailers. This report illustrates how subtle differences observed under mass spectral and UV conditions can help to facilitate the differentiation between the two isomers. Analyses included (1)  H and (13) C NMR, GC-EI/CI ion trap MS, applications of several U/HPLC-DAD and HPLC-MS methods. Investigations currently underway also highlight the confirmation that AMT was detected in a number of fatal intoxications. These findings also demonstrate that there is a potential risk of misidentification when dealing with both substances. Copyright © 2012 John Wiley & Sons, Ltd.

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

Science.gov (United States)

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

2010-01-01

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

Effects of Computer Graphics Types and Epistemological Beliefs on Students' Learning of Mathematical Concepts.

Science.gov (United States)

Lin, Chi-Hui

2002-01-01

Describes a study that determined the implications of computer graphics types and epistemological beliefs with regard to the design of computer-based mathematical concept learning with elementary school students in Taiwan. Discusses the factor structure of the epistemological belief questionnaire, student performance, and students' attitudes…

The influence of early computer use on educational achievement in mathematics

Directory of Open Access Journals (Sweden)

Andrés Fernández Aráuz

2014-11-01

Full Text Available Does early access to computer use improve student achievement? Empirical evidence from experimental designs shows little or no relationship between the use of ICT and academic performance. Using the data collected in PISA it can be analyzed this association some years after that the student had access to a computer for the first time. Performing an exploratory data analysis of Costa Rican students in PISA 2012 mathematics assessment and by estimating a linear regression model even controlling for factors with high explanatory power on academic performance, it’s shown that age at access to a computer is a determinant of educational performance.

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

Science.gov (United States)

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…

M and c'99 : Mathematics and computation, reactor physics and environmental analysis in nuclear applications, Madrid, September 27-30, 1999

Energy Technology Data Exchange (ETDEWEB)

Aragones, J. M.; Ahnert, C.; Cabellos, O.

1999-07-01

The international conference on mathematics and computation, reactor physics and environmental analysis in nuclear applications in the biennial topical meeting of the mathematics and computation division of the American Nuclear Society. (Author)

Mathematical foundation of computer science

CERN Document Server

Singh, YN

2005-01-01

The interesting feature of this book is its organization and structure. That consists of systematizing of the definitions, methods, and results that something resembling a theory. Simplicity, clarity, and precision of mathematical language makes theoretical topics more appealing to the readers who are of mathematical or non-mathematical background. For quick references and immediate attentions¾concepts and definitions, methods and theorems, and key notes are presented through highlighted points from beginning to end. Whenever, necessary and probable a visual approach of presentation is used. The amalgamation of text and figures make mathematical rigors easier to understand. Each chapter begins with the detailed contents, which are discussed inside the chapter and conclude with a summary of the material covered in the chapter. Summary provides a brief overview of all the topics covered in the chapter. To demonstrate the principles better, the applicability of the concepts discussed in each topic are illustrat...

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

Science.gov (United States)

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…

Introductory discrete mathematics

CERN Document Server

Balakrishnan, V K

2010-01-01

This concise text offers an introduction to discrete mathematics for undergraduate students in computer science and mathematics. Mathematics educators consider it vital that their students be exposed to a course in discrete methods that introduces them to combinatorial mathematics and to algebraic and logical structures focusing on the interplay between computer science and mathematics. The present volume emphasizes combinatorics, graph theory with applications to some stand network optimization problems, and algorithms to solve these problems.Chapters 0-3 cover fundamental operations involv

Mathematical Sciences Institute Workshop

CERN Document Server

Scott, Philip

1990-01-01

A so-called "effective" algorithm may require arbitrarily large finite amounts of time and space resources, and hence may not be practical in the real world. A "feasible" algorithm is one which only requires a limited amount of space and/or time for execution; the general idea is that a feasible algorithm is one which may be practical on today's or at least tomorrow's computers. There is no definitive analogue of Church's thesis giving a mathematical definition of feasibility; however, the most widely studied mathematical model of feasible computability is polynomial-time computability. Feasible Mathematics includes both the study of feasible computation from a mathematical and logical point of view and the reworking of traditional mathematics from the point of view of feasible computation. The diversity of Feasible Mathematics is illustrated by the. contents of this volume which includes papers on weak fragments of arithmetic, on higher type functionals, on bounded linear logic, on sub recursive definitions ...

Research Progress in Mathematical Analysis of Map Projection by Computer Algebra

Directory of Open Access Journals (Sweden)

BIAN Shaofeng

2017-10-01

Full Text Available Map projection is an important component of modern cartography, and involves many fussy mathematical analysis processes, such as the power series expansions of elliptical functions, differential of complex and implicit functions, elliptical integral and the operation of complex numbers. The derivation of these problems by hand not only consumes much time and energy but also makes mistake easily, and sometimes can not be realized at all because of the impossible complexity. The research achievements in mathematical analysis of map projection by computer algebra are systematically reviewed in five aspects, i.e., the symbolic expressions of forward and inverse solution of ellipsoidal latitudes, the direct transformations between map projections with different distortion properties, expressions of Gauss projection by complex function, mathematical analysis of oblique Mercator projection, polar chart projection with its transformation. Main problems that need to be further solved in this research field are analyzed. It will be helpful to promote the development of map projection.

Computational mathematics models, methods, and analysis with Matlab and MPI

CERN Document Server

White, Robert E

2004-01-01

Computational Mathematics: Models, Methods, and Analysis with MATLAB and MPI explores and illustrates this process. Each section of the first six chapters is motivated by a specific application. The author applies a model, selects a numerical method, implements computer simulations, and assesses the ensuing results. These chapters include an abundance of MATLAB code. By studying the code instead of using it as a "black box, " you take the first step toward more sophisticated numerical modeling. The last four chapters focus on multiprocessing algorithms implemented using message passing interface (MPI). These chapters include Fortran 9x codes that illustrate the basic MPI subroutines and revisit the applications of the previous chapters from a parallel implementation perspective. All of the codes are available for download from www4.ncsu.edu./~white.This book is not just about math, not just about computing, and not just about applications, but about all three--in other words, computational science. Whether us...

Prospects of Cloud Computing as Safe Haven for Improving Mathematics Education in Nigeria Tertiary Institutions

OpenAIRE

Iji, Clement Onwu; Abah, Joshua Abah

2016-01-01

International audience; Historically, mathematics education has been bedeviled by the deployment of instructional strategies that seriously stunt the growth of students. Methodologies and approaches of instructional delivery in tertiary institutions have raised the need for technological augmentation for both students and mathematics educators. Cloud computing yield itself to this quest by strengthening individualized learning via unrestricted access to infrastructure, platforms, content, and...

Computational benchmark problems: a review of recent work within the American Nuclear Society Mathematics and Computation Division

International Nuclear Information System (INIS)

Dodds, H.L. Jr.

1977-01-01

An overview of the recent accomplishments of the Computational Benchmark Problems Committee of the American Nuclear Society Mathematics and Computation Division is presented. Solutions of computational benchmark problems in the following eight areas are presented and discussed: (a) high-temperature gas-cooled reactor neutronics, (b) pressurized water reactor (PWR) thermal hydraulics, (c) PWR neutronics, (d) neutron transport in a cylindrical ''black'' rod, (e) neutron transport in a boiling water reactor (BWR) rod bundle, (f) BWR transient neutronics with thermal feedback, (g) neutron depletion in a heavy water reactor, and (h) heavy water reactor transient neutronics. It is concluded that these problems and solutions are of considerable value to the nuclear industry because they have been and will continue to be useful in the development, evaluation, and verification of computer codes and numerical-solution methods

THE EFFECTS OF ACUTE PHYSICAL EXERCISE TRAINING ON MATHEMATICAL COMPUTATION IN CHILDREN

Directory of Open Access Journals (Sweden)

Gustav Bala

2014-12-01

The results showed that the children’s computation performance was enhanced significantly in the groups with 30, or 45, or 60 min of physical exercise, but not in the groups without physical exercise. This means that even acute intensive physical training can yield positive effects on children's mathematical abilities.

Mathematical modeling and computational prediction of cancer drug resistance.

Science.gov (United States)

Sun, Xiaoqiang; Hu, Bin

2017-06-23

Diverse forms of resistance to anticancer drugs can lead to the failure of chemotherapy. Drug resistance is one of the most intractable issues for successfully treating cancer in current clinical practice. Effective clinical approaches that could counter drug resistance by restoring the sensitivity of tumors to the targeted agents are urgently needed. As numerous experimental results on resistance mechanisms have been obtained and a mass of high-throughput data has been accumulated, mathematical modeling and computational predictions using systematic and quantitative approaches have become increasingly important, as they can potentially provide deeper insights into resistance mechanisms, generate novel hypotheses or suggest promising treatment strategies for future testing. In this review, we first briefly summarize the current progress of experimentally revealed resistance mechanisms of targeted therapy, including genetic mechanisms, epigenetic mechanisms, posttranslational mechanisms, cellular mechanisms, microenvironmental mechanisms and pharmacokinetic mechanisms. Subsequently, we list several currently available databases and Web-based tools related to drug sensitivity and resistance. Then, we focus primarily on introducing some state-of-the-art computational methods used in drug resistance studies, including mechanism-based mathematical modeling approaches (e.g. molecular dynamics simulation, kinetic model of molecular networks, ordinary differential equation model of cellular dynamics, stochastic model, partial differential equation model, agent-based model, pharmacokinetic-pharmacodynamic model, etc.) and data-driven prediction methods (e.g. omics data-based conventional screening approach for node biomarkers, static network approach for edge biomarkers and module biomarkers, dynamic network approach for dynamic network biomarkers and dynamic module network biomarkers, etc.). Finally, we discuss several further questions and future directions for the use of

Interpolation Environment of Tensor Mathematics at the Corpuscular Stage of Computational Experiments in Hydromechanics

Science.gov (United States)

Bogdanov, Alexander; Degtyarev, Alexander; Khramushin, Vasily; Shichkina, Yulia

2018-02-01

Stages of direct computational experiments in hydromechanics based on tensor mathematics tools are represented by conditionally independent mathematical models for calculations separation in accordance with physical processes. Continual stage of numerical modeling is constructed on a small time interval in a stationary grid space. Here coordination of continuity conditions and energy conservation is carried out. Then, at the subsequent corpuscular stage of the computational experiment, kinematic parameters of mass centers and surface stresses at the boundaries of the grid cells are used in modeling of free unsteady motions of volume cells that are considered as independent particles. These particles can be subject to vortex and discontinuous interactions, when restructuring of free boundaries and internal rheological states has place. Transition from one stage to another is provided by interpolation operations of tensor mathematics. Such interpolation environment formalizes the use of physical laws for mechanics of continuous media modeling, provides control of rheological state and conditions for existence of discontinuous solutions: rigid and free boundaries, vortex layers, their turbulent or empirical generalizations.

Teacher's Guide to Secondary Mathematics.

Science.gov (United States)

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

Panel Debate: Technics and technology in mathematics and mathematics education

DEFF Research Database (Denmark)

Misfeldt, Morten

2015-01-01

The use of computer technology for teaching and learning of mathematics has several consequences and does sometimes give rise to both controversies and misunderstandings. We address these problems by both a philosophical and a historical approach, investigating what it actually is that goes on when...... guidelines and conclusions regarding the use of computer technology in mathematics education....... new technologies enter mathematics as a discipline and mathematics education as a societal practice. Our analysis suggests a focus on continuities in time and place in the sense that it is necessary to understand the history of “tool use” in mathematics and the various ways that scholastic and non...

Fourth SIAM conference on mathematical and computational issues in the geosciences: Final program and abstracts

Energy Technology Data Exchange (ETDEWEB)

NONE

1997-12-31

The conference focused on computational and modeling issues in the geosciences. Of the geosciences, problems associated with phenomena occurring in the earth`s subsurface were best represented. Topics in this area included petroleum recovery, ground water contamination and remediation, seismic imaging, parameter estimation, upscaling, geostatistical heterogeneity, reservoir and aquifer characterization, optimal well placement and pumping strategies, and geochemistry. Additional sessions were devoted to the atmosphere, surface water and oceans. The central mathematical themes included computational algorithms and numerical analysis, parallel computing, mathematical analysis of partial differential equations, statistical and stochastic methods, optimization, inversion, homogenization and renormalization. The problem areas discussed at this conference are of considerable national importance, with the increasing importance of environmental issues, global change, remediation of waste sites, declining domestic energy sources and an increasing reliance on producing the most out of established oil reservoirs.

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

Science.gov (United States)

Symons, Duncan; Pierce, Robyn

2015-01-01

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

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

Science.gov (United States)

Santos-Trigo, Manuel; Reyes-Rodriguez, Aaron

2011-01-01

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

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

Science.gov (United States)

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.

Mathematical models and algorithms for the computer program 'WOLF'

International Nuclear Information System (INIS)

Halbach, K.

1975-12-01

The computer program FLOW finds the nonrelativistic self- consistent set of two-dimensional ion trajectories and electric fields (including space charges from ions and electrons) for a given set of initial and boundary conditions for the particles and fields. The combination of FLOW with the optimization code PISA gives the program WOLF, which finds the shape of the emitter which is consistent with the plasma forming it, and in addition varies physical characteristics such as electrode position, shapes, and potentials so that some performance characteristics are optimized. The motivation for developing these programs was the desire to design optimum ion source extractor/accelerator systems in a systematic fashion. The purpose of this report is to explain and derive the mathematical models and algorithms which approximate the real physical processes. It serves primarily to document the computer programs. 10 figures

Department of Energy Mathematical, Information, and Computational Sciences Division: High Performance Computing and Communications Program

Energy Technology Data Exchange (ETDEWEB)

NONE

1996-11-01

This document is intended to serve two purposes. Its first purpose is that of a program status report of the considerable progress that the Department of Energy (DOE) has made since 1993, the time of the last such report (DOE/ER-0536, The DOE Program in HPCC), toward achieving the goals of the High Performance Computing and Communications (HPCC) Program. The second purpose is that of a summary report of the many research programs administered by the Mathematical, Information, and Computational Sciences (MICS) Division of the Office of Energy Research under the auspices of the HPCC Program and to provide, wherever relevant, easy access to pertinent information about MICS-Division activities via universal resource locators (URLs) on the World Wide Web (WWW).

Computer Hardware, Advanced Mathematics and Model Physics pilot project final report

International Nuclear Information System (INIS)

1992-05-01

The Computer Hardware, Advanced Mathematics and Model Physics (CHAMMP) Program was launched in January, 1990. A principal objective of the program has been to utilize the emerging capabilities of massively parallel scientific computers in the challenge of regional scale predictions of decade-to-century climate change. CHAMMP has already demonstrated the feasibility of achieving a 10,000 fold increase in computational throughput for climate modeling in this decade. What we have also recognized, however, is the need for new algorithms and computer software to capitalize on the radically new computing architectures. This report describes the pilot CHAMMP projects at the DOE National Laboratories and the National Center for Atmospheric Research (NCAR). The pilot projects were selected to identify the principal challenges to CHAMMP and to entrain new scientific computing expertise. The success of some of these projects has aided in the definition of the CHAMMP scientific plan. Many of the papers in this report have been or will be submitted for publication in the open literature. Readers are urged to consult with the authors directly for questions or comments about their papers

The effectiveness of remedial computer use for mathematics in a university setting (Botswana)

NARCIS (Netherlands)

Plomp, T.; Pilon, J.; Pilon, Jacqueline; Janssen Reinen, I.A.M.

1991-01-01

This paper describes the evaluation of the effects of the Mathematics and Science Computer Assisted Remedial Teaching (MASCART) software on students from the Pre-Entry Science Course at the University of Botswana. A general significant improvement of basic algebra knowledge and skills could be

The application of integrated geophysical methods composed of AMT and high-precision ground magnetic survey to the exploration of granite uranium deposits

International Nuclear Information System (INIS)

Qiao Yong; Shen Jingbang; Wu Yong; Wang Zexia

2014-01-01

Introduced two methods composed of AMT and high-precision ground magnetic survey were used to the exploration of granite uranium deposits in the Yin gongshan areas middle part of the Nei Monggol. Through experiment of methods and analysis of applicated results, think that AMT have good vertical resolution and could preferably survey thickness of rockmass, position of fracture and deep conditions, space distribution features of fracture zone ect, but it is not clear for rockmass, xenolith of reflection. And high-precision ground magnetic survey could delineate rockmass, xenolith of distribution range and identify the rock contact zone, fracture ect, but it generally measure position and it is not clear for occurrence, extension. That can resolve some geological structures by using the integrated methods and on the basis of sharing their complementary advantages. Effective technological measures are provided to the exploration of deep buried uranium bodies in the granite uranium deposits and outskirt extension of the deposit. (authors)

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

Science.gov (United States)

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…

Derivation and computation of discrete-delay and continuous-delay SDEs in mathematical biology.

Science.gov (United States)

Allen, Edward J

2014-06-01

Stochastic versions of several discrete-delay and continuous-delay differential equations, useful in mathematical biology, are derived from basic principles carefully taking into account the demographic, environmental, or physiological randomness in the dynamic processes. In particular, stochastic delay differential equation (SDDE) models are derived and studied for Nicholson's blowflies equation, Hutchinson's equation, an SIS epidemic model with delay, bacteria/phage dynamics, and glucose/insulin levels. Computational methods for approximating the SDDE models are described. Comparisons between computational solutions of the SDDEs and independently formulated Monte Carlo calculations support the accuracy of the derivations and of the computational methods.

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

Science.gov (United States)

Wei, Fang-Yi Flora; Hendrix, Katherine Grace

2009-01-01

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

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

Science.gov (United States)

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

International Conference on Modern Mathematical Methods and High Performance Computing in Science and Technology

CERN Document Server

Srivastava, HM; Venturino, Ezio; Resch, Michael; Gupta, Vijay

2016-01-01

The book discusses important results in modern mathematical models and high performance computing, such as applied operations research, simulation of operations, statistical modeling and applications, invisibility regions and regular meta-materials, unmanned vehicles, modern radar techniques/SAR imaging, satellite remote sensing, coding, and robotic systems. Furthermore, it is valuable as a reference work and as a basis for further study and research. All contributing authors are respected academicians, scientists and researchers from around the globe. All the papers were presented at the international conference on Modern Mathematical Methods and High Performance Computing in Science & Technology (M3HPCST 2015), held at Raj Kumar Goel Institute of Technology, Ghaziabad, India, from 27–29 December 2015, and peer-reviewed by international experts. The conference provided an exceptional platform for leading researchers, academicians, developers, engineers and technocrats from a broad range of disciplines ...

Coherent structures in granular crystals from experiment and modelling to computation and mathematical analysis

CERN Document Server

Chong, Christopher

2018-01-01

This book summarizes a number of fundamental developments at the interface of granular crystals and the mathematical and computational analysis of some of their key localized nonlinear wave solutions. The subject presents a blend of the appeal of granular crystals as a prototypical engineering tested for a variety of diverse applications, the novelty in the nonlinear physics of its coherent structures, and the tractability of a series of mathematical and computational techniques to analyse them. While the focus is on principal one-dimensional solutions such as shock waves, traveling waves, and discrete breathers, numerous extensions of the discussed patterns, e.g., in two dimensions, chains with defects, heterogeneous settings, and other recent developments are discussed. The book appeals to researchers in the field, as well as for graduate and advanced undergraduate students. It will be of interest to mathematicians, physicists and engineers alike.

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

Science.gov (United States)

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

2010-10-01

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

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

Science.gov (United States)

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.

Mathematical methods and the computer in oil and gas geology. Matematicheskiye metody i EVM v neftegazovoy geologii

Energy Technology Data Exchange (ETDEWEB)

Dement' yev, L.F.

1983-01-01

Fundamental questions are presented for mathematical modeling in geology. Tasks are examined for describing and grouping geological objects, separating and correlating the sections, analyzing interrelationships between the signs and spatial laws governing their change, organization of collection of automated processing of geological information. Fundamental attention is focused on methodology of using mathematical methods and computers.

Physics, computer science and mathematics division. Annual report, 1 January - 31 December 1982

International Nuclear Information System (INIS)

Jackson, J.D.

1983-08-01

Experimental physics research activities are described under the following headings: research on e + e - annihilation; research at Fermilab; search for effects of a right-handed gauge boson; the particle data center; high energy astrophysics and interdisciplinary experiments; detector and other research and development; publications and reports of other research; computation and communication; and engineering, evaluation, and support operations. Theoretical particle physics research and heavy ion fusion research are described. Also, activities of the Computer Science and Mathematics Department are summarized. Publications are listed

A comparison of equality in computer algebra and correctness in mathematical pedagogy (II)

OpenAIRE

Bradford, Russell; Davenport, James H; Sangwin, C

2010-01-01

A perennial problem in computer-aided assessment is that “a right answer”, pedagogically speaking, is not the same thing as “a mathematically correct expression”, as verified by a computer algebra system, or indeed other techniques such as random evaluation. Paper I in this series considered the difference in cases where there was “the right answer”, typically calculus questions. Here we look at some other cases, notably in linear algebra, where there can be many “right answers”, but still th...

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

Science.gov (United States)

Lee, Young-Jin

2017-01-01

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

Mathematical modelling

CERN Document Server

2016-01-01

This book provides a thorough introduction to the challenge of applying mathematics in real-world scenarios. Modelling tasks rarely involve well-defined categories, and they often require multidisciplinary input from mathematics, physics, computer sciences, or engineering. In keeping with this spirit of modelling, the book includes a wealth of cross-references between the chapters and frequently points to the real-world context. The book combines classical approaches to modelling with novel areas such as soft computing methods, inverse problems, and model uncertainty. Attention is also paid to the interaction between models, data and the use of mathematical software. The reader will find a broad selection of theoretical tools for practicing industrial mathematics, including the analysis of continuum models, probabilistic and discrete phenomena, and asymptotic and sensitivity analysis.

Perceptions of Online Tutorials for Distance Learning in Mathematics and Computing

OpenAIRE

Lowe, Tim; Mestel, Ben; Wiliams, Gareth

2016-01-01

We report on student and staff perceptions of synchronous online teaching and learning sessions in mathematics and computing. The study is based on two surveys of students and tutors conducted 5 years apart, and focusses on the educational experience as well as societal and accessibility dimensions. Key conclusions are that both staff and students value online sessions, to supplement face-to-face sessions, mainly for their convenience, but interaction within the sessions is limited. Students ...

Physics, computer science and mathematics division. Annual report, 1 January - 31 December 1982

Energy Technology Data Exchange (ETDEWEB)

Jackson, J.D.

1983-08-01

Experimental physics research activities are described under the following headings: research on e/sup +/e/sup -/ annihilation; research at Fermilab; search for effects of a right-handed gauge boson; the particle data center; high energy astrophysics and interdisciplinary experiments; detector and other research and development; publications and reports of other research; computation and communication; and engineering, evaluation, and support operations. Theoretical particle physics research and heavy ion fusion research are described. Also, activities of the Computer Science and Mathematics Department are summarized. Publications are listed. (WHK)

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

Science.gov (United States)

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…

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

Science.gov (United States)

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

2017-01-01

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

THE CONCEPT OF THE EDUCATIONAL COMPUTER MATHEMATICS SYSTEM AND EXAMPLES OF ITS IMPLEMENTATION

Directory of Open Access Journals (Sweden)

M. Lvov

2014-11-01

Full Text Available The article deals with the educational computer mathematics system, based in Kherson State University and resulted in more than 8 software tools to orders of the Ministry of Education, Science, Youth and Sports of Ukraine. The exact and natural sciences are notable among all disciplines both in secondary schools and universities. They form the fundamental scientific knowledge, based on precise mathematical models and methods. The educational process for these courses should include not only lectures and seminars, but active forms of studying as well: practical classes, laboratory work, practical training, etc. The enumerated peculiarities determine specific intellectual and architectural properties of information technologies, developed to be used in the educational process of these disciplines. Whereas, in terms of technologies used in the implementation of the functionality of software, they are actually the educational computer algebra system. Thus the algebraic programming system APS developed in the Institute of Cybernetics of the National Academy of Sciences of Ukraine led by Academician O.A. Letychevskyi in the 80 years of the twentieth century is especially important for their development.

Discrete Mathematics

DEFF Research Database (Denmark)

Sørensen, John Aasted

2010-01-01

The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Spring 2010 Ectent: 5 ects Class size: 18......The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Spring 2010 Ectent: 5 ects Class size: 18...

Discrete Mathematics

DEFF Research Database (Denmark)

Sørensen, John Aasted

2010-01-01

The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Autumn 2010 Ectent: 5 ects Class size: 15......The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Autumn 2010 Ectent: 5 ects Class size: 15...

Applied geometry and discrete mathematics

CERN Document Server

Sturm; Gritzmann, Peter; Sturmfels, Bernd

1991-01-01

This volume, published jointly with the Association for Computing Machinery, comprises a collection of research articles celebrating the occasion of Victor Klee's sixty-fifth birthday in September 1990. During his long career, Klee has made contributions to a wide variety of areas, such as discrete and computational geometry, convexity, combinatorics, graph theory, functional analysis, mathematical programming and optimization, and theoretical computer science. In addition, Klee made important contributions to mathematics education, mathematical methods in economics and the decision sciences, applications of discrete mathematics in the biological and social sciences, and the transfer of knowledge from applied mathematics to industry. In honor of Klee's achievements, this volume presents more than forty papers on topics related to Klee's research. While the majority of the papers are research articles, a number of survey articles are also included. Mirroring the breadth of Klee's mathematical contributions, th...

Approach to Computer Implementation of Mathematical Model of 3-Phase Induction Motor

Science.gov (United States)

Pustovetov, M. Yu

2018-03-01

This article discusses the development of the computer model of an induction motor based on the mathematical model in a three-phase stator reference frame. It uses an approach that allows combining during preparation of the computer model dual methods: means of visual programming circuitry (in the form of electrical schematics) and logical one (in the form of block diagrams). The approach enables easy integration of the model of an induction motor as part of more complex models of electrical complexes and systems. The developed computer model gives the user access to the beginning and the end of a winding of each of the three phases of the stator and rotor. This property is particularly important when considering the asymmetric modes of operation or when powered by the special circuitry of semiconductor converters.

Current problems in applied mathematics and mathematical physics

Science.gov (United States)

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.

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

Science.gov (United States)

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…

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

Science.gov (United States)

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

2013-06-01

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

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

Science.gov (United States)

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…

Applied & Computational MathematicsChallenges for the Design and Control of Dynamic Energy Systems

Energy Technology Data Exchange (ETDEWEB)

Brown, D L; Burns, J A; Collis, S; Grosh, J; Jacobson, C A; Johansen, H; Mezic, I; Narayanan, S; Wetter, M

2011-03-10

The Energy Independence and Security Act of 2007 (EISA) was passed with the goal 'to move the United States toward greater energy independence and security.' Energy security and independence cannot be achieved unless the United States addresses the issue of energy consumption in the building sector and significantly reduces energy consumption in buildings. Commercial and residential buildings account for approximately 40% of the U.S. energy consumption and emit 50% of CO{sub 2} emissions in the U.S. which is more than twice the total energy consumption of the entire U.S. automobile and light truck fleet. A 50%-80% improvement in building energy efficiency in both new construction and in retrofitting existing buildings could significantly reduce U.S. energy consumption and mitigate climate change. Reaching these aggressive building efficiency goals will not happen without significant Federal investments in areas of computational and mathematical sciences. Applied and computational mathematics are required to enable the development of algorithms and tools to design, control and optimize energy efficient buildings. The challenge has been issued by the U.S. Secretary of Energy, Dr. Steven Chu (emphasis added): 'We need to do more transformational research at DOE including computer design tools for commercial and residential buildings that enable reductions in energy consumption of up to 80 percent with investments that will pay for themselves in less than 10 years.' On July 8-9, 2010 a team of technical experts from industry, government and academia were assembled in Arlington, Virginia to identify the challenges associated with developing and deploying newcomputational methodologies and tools thatwill address building energy efficiency. These experts concluded that investments in fundamental applied and computational mathematics will be required to build enabling technology that can be used to realize the target of 80% reductions in energy

Influence of ammonium availability on expression of nifD and amtB genes during biostimulation of a U(VI) contaminated aquifer: implications for U(VI) removal and monitoring the metabolic state of Geobacteraceae

Energy Technology Data Exchange (ETDEWEB)

Mouser, Paula J.; N' Guessan, A. Lucie; Elifantz, Hila; Holmes, Dawn E.; Williams, Kenneth H; Wilkins, Michael J.; Long, Philip E.; Lovley, Derek R.

2009-03-25

The influence of ammonium availability on bacterial community structure and the physiological status of Geobacter species during in situ bioremediation of uranium-contaminated groundwater was evaluated. Ammonium concentrations varied by 2 orders of magnitude (<4 to 400 ?M) across the study site. Analysis of 16S rRNA sequences suggested that ammonium may have been one factor influencing the community composition prior to acetate amendment with Rhodoferax species predominating over Geobacter species with higher ammonium and Dechloromonas species dominating at the site with lowest ammonium. However, once acetate was added and dissimilatory metal reduction was stimulated, Geobacter species became the predominant organisms at all locations. Rates of U(VI) reduction appeared to be more related to acetate concentrations rather than ammonium levels. In situ mRNA transcript abundance of the nitrogen fixation gene, nifD, and the ammonium transporter gene, amtB, in Geobacter species indicated that ammonium was the primary source of nitrogen during uranium reduction. The abundance of amtB was inversely correlated to ammonium levels, whereas nifD transcript levels were similar across all sites examined. These results suggest that nifD and amtB expression are closely regulated in response to ammonium availability to ensure an adequate supply of nitrogen while conserving cell resources. Thus, quantifying nifD and amtB transcript expression appears to be a useful approach for monitoring the nitrogen-related physiological status of subsurface Geobacter species. This study also emphasizes the need for more detailed analysis of geochemical and physiological interactions at the field scale in order to adequately model subsurface microbial processes during bioremediation.

Discrete Mathematics

DEFF Research Database (Denmark)

Sørensen, John Aasted

2011-01-01

The objectives of Discrete Mathematics (IDISM2) are: The introduction of the mathematics needed for analysis, design and verification of discrete systems, including the application within programming languages for computer systems. Having passed the IDISM2 course, the student will be able...... to accomplish the following: -Understand and apply formal representations in discrete mathematics. -Understand and apply formal representations in problems within discrete mathematics. -Understand methods for solving problems in discrete mathematics. -Apply methods for solving problems in discrete mathematics......; construct a finite state machine for a given application. Apply these concepts to new problems. The teaching in Discrete Mathematics is a combination of sessions with lectures and students solving problems, either manually or by using Matlab. Furthermore a selection of projects must be solved and handed...

Courant Mathematics and Computing Laboratory, New York University. Progress report No. 54, October 1, 1977--September 30, 1978

International Nuclear Information System (INIS)

1978-01-01

Work is reported in the following areas: applied mathematics (computational fluid dynamics, numerical analysis), computational magnetohydrodynamics, computational physics and chemistry (materials science, quantum many-body systems, chemistry), computer science (CIMS PL/I, Version II; distributed systems and resource sharing, computer design - PUMA; SETL; algorithmic combinatorics), systems programing and user services. The relationship to other projects, list of seminars, and list of publications are also included. The research descriptions are administrative in nature, usually less than a page in length

Joint Interpretation of Geological, Magnetic, AMT, and ERT Data for Mineral Exploration in the Northeast of Inner Mongolia, China

Science.gov (United States)

Zhang, Gang; Lü, Qing-Tian; Zhang, Gui-Bin; Lin, Ping-Rong; Jia, Zheng-Yuan; Suo, Kui

2018-03-01

The integrated interpretation of data from various technologies has the potential to obtain a more accurate estimate of subterranean earth properties. In this paper, we implement the joint interpretation of geological and geophysical data for mineral exploration in the northeastern region of Inner Mongolia, China. The joint application of several methodologies reduces the exploration risk. We first determined an approximate and large potential area for mineral exploration with geological data and magnetic data interpretation in Gaoerqi. Results from the two types of data analysis show that the ore deposit strikes roughly east in the northern part of the Gaoerqi mining area. Next, we employed the audio-magnetotelluric (AMT) method to study the subterranean electrical resistivity distribution and divide the earth into four layers. Inverted resistivity sections from the AMT data illustrate that the ore deposits are likely developed in the low-resistivity zone of the survey area from the land surface to 300-m depth. Finally, the high-resolution borehole-to-surface electrical resistivity tomography (ERT) method was employed for further investigation of the location and attitude of the potential ore deposits. Inverted resistivity sections from the ERT data show that two prospective areas for mineral exploration were observed in the west of the survey area and that the eastern portion of the survey area warrants further investigation.

The Magic of Mathematics Discovering the Spell of Mathematics

CERN Document Server

Pappas, Theoni

2011-01-01

Delves into the world of ideas, explores the spell mathematics casts on our lives, and helps you discover mathematics where you least expect it. Be spellbound by the mathematical designs found in nature. Learn how knots may untie the mysteries of life. Be mesmerized by the computer revolution. Discover how the hidden forces of mathematics hold architectural structures together connect your telephone calls help airplanes get off the ground solve the mysteries of the living cell. See how some artists use a mathematical palette in their works and how many writers draw upon the wealth of its ideas

Intelligent mathematics II applied mathematics and approximation theory

CERN Document Server

Duman, Oktay

2016-01-01

This special volume is a collection of outstanding more applied articles presented in AMAT 2015 held in Ankara, May 28-31, 2015, at TOBB Economics and Technology University. The collection is suitable for Applied and Computational Mathematics and Engineering practitioners, also for related graduate students and researchers. Furthermore it will be a useful resource for all science and engineering libraries. This book includes 29 self-contained and well-edited chapters that can be among others useful for seminars in applied and computational mathematics, as well as in engineering.

FREE SOFTWARE IN ELECTRONIC LEARNING FUTURE TEACHERS OF MATHEMATICS, PHYSICS AND COMPUTER SCIENCE

Directory of Open Access Journals (Sweden)

Vladyslav Ye. Velychko

2016-05-01

Full Text Available Popularity of the use of free software in the IT industry is much higher than its popular use in educational activities. Disadvantages of free software and problems of its implementation in the educational process is a limiting factor for its use in the education system, however, openness, accessibility and functionality are the main factors for the introduction of free software in the educational process. Nevertheless, for future teachers of mathematics, physics and informatics free software is designed as well as possible because of the specificity of its creation, and therefore, there is a question of the system analysis of the possibilities of using open source software in e-learning for future teachers of mathematics, physics and computer science.

Advanced engineering mathematics

CERN Document Server

Jeffrey, Alan

2001-01-01

Advanced Engineering Mathematics provides comprehensive and contemporary coverage of key mathematical ideas, techniques, and their widespread applications, for students majoring in engineering, computer science, mathematics and physics. Using a wide range of examples throughout the book, Jeffrey illustrates how to construct simple mathematical models, how to apply mathematical reasoning to select a particular solution from a range of possible alternatives, and how to determine which solution has physical significance. Jeffrey includes material that is not found in works of a similar nature, such as the use of the matrix exponential when solving systems of ordinary differential equations. The text provides many detailed, worked examples following the introduction of each new idea, and large problem sets provide both routine practice, and, in many cases, greater challenge and insight for students. Most chapters end with a set of computer projects that require the use of any CAS (such as Maple or Mathematica) th...

COLLEGE STUDENTS’ PERCEPTIONS OF LEARNING MATHEMATICS AND USING COMPUTERS

OpenAIRE

Gok, Tolga

2016-01-01

Mathematics isthe key course to interpret the science and nature. A positive attitude shouldbe improved by learners to comprehend the logic of mathematics. However, mostof the research indicated that they were not interested in learning andstudying mathematics. Instead of understanding the basic principles, manystudents preferred to use sophisticated software packages or graphingcalculators for solving mathematics problems. Thus, these tools prevent theimprovement of their mathematical skills...

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

Science.gov (United States)

Jackson, Karen Latrice Terrell

2014-01-01

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

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

Science.gov (United States)

1992-01-01

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

Mathematics everywhere

CERN Document Server

Aigner, Martin; Spain, Philip G

2010-01-01

Mathematics is all around us. Often we do not realize it, though. Mathematics Everywhere is a collection of presentations on the role of mathematics in everyday life, through science, technology, and culture. The common theme is the unique position of mathematics as the art of pure thought and at the same time as a universally applicable science. The authors are renowned mathematicians; their presentations cover a wide range of topics. From compact discs to the stock exchange, from computer tomography to traffic routing, from electronic money to climate change, they make the "math inside" unde

Solving applied mathematical problems with Matlab

CERN Document Server

Xue, Dingyu

2008-01-01

Computer Mathematics Language-An Overview. Fundamentals of MATLAB Programming. Calculus Problems. MATLAB Computations of Linear Algebra Problems. Integral Transforms and Complex Variable Functions. Solutions to Nonlinear Equations and Optimization Problems. MATLAB Solutions to Differential Equation Problems. Solving Interpolations and Approximations Problems. Solving Probability and Mathematical Statistics Problems. Nontraditional Solution Methods for Mathematical Problems.

Significance of screening electrocardiogram before the initiation of amitriptyline therapy in children with functional abdominal pain.

Science.gov (United States)

Patra, Kamakshya P; Sankararaman, Senthilkumar; Jackson, Robert; Hussain, Sunny Z

2012-09-01

Amitriptyline (AMT) is commonly used in the management of children with irritable bowel syndrome. AMT is pro-arrhythmogenic and increases the risk of sudden cardiac death. However, there is not enough data regarding the cardiac toxicity in therapeutic doses of AMT in children and the need for screening electrocardiogram (EKG). Errors in computer EKG interpretation are not uncommon. In a risk-prevention study, the authors sought to identify the true incidence of prolonged corrected QT (QTc) interval and other arrhythmias in children with irritable bowel syndrome before the initiation of AMT. Out of the 760 EKGs screened, 3 EKGs demonstrated a true prolonged QTc after the careful manual reading by a pediatric cardiologist and they were not picked by computer-generated reading. The authors conclude that screening EKG should always be performed on children before initiating AMT therapy. Also, the computer-generated EKG needs to be verified by a pediatric cardiologist to avoid serious misinterpretations.

Uncertainty and variability in computational and mathematical models of cardiac physiology.

Science.gov (United States)

Mirams, Gary R; Pathmanathan, Pras; Gray, Richard A; Challenor, Peter; Clayton, Richard H

2016-12-01

Mathematical and computational models of cardiac physiology have been an integral component of cardiac electrophysiology since its inception, and are collectively known as the Cardiac Physiome. We identify and classify the numerous sources of variability and uncertainty in model formulation, parameters and other inputs that arise from both natural variation in experimental data and lack of knowledge. The impact of uncertainty on the outputs of Cardiac Physiome models is not well understood, and this limits their utility as clinical tools. We argue that incorporating variability and uncertainty should be a high priority for the future of the Cardiac Physiome. We suggest investigating the adoption of approaches developed in other areas of science and engineering while recognising unique challenges for the Cardiac Physiome; it is likely that novel methods will be necessary that require engagement with the mathematics and statistics community. The Cardiac Physiome effort is one of the most mature and successful applications of mathematical and computational modelling for describing and advancing the understanding of physiology. After five decades of development, physiological cardiac models are poised to realise the promise of translational research via clinical applications such as drug development and patient-specific approaches as well as ablation, cardiac resynchronisation and contractility modulation therapies. For models to be included as a vital component of the decision process in safety-critical applications, rigorous assessment of model credibility will be required. This White Paper describes one aspect of this process by identifying and classifying sources of variability and uncertainty in models as well as their implications for the application and development of cardiac models. We stress the need to understand and quantify the sources of variability and uncertainty in model inputs, and the impact of model structure and complexity and their consequences for

Josai Mathematical Monographs Vol.7 Preface

OpenAIRE

西沢, 清子

2014-01-01

Mathematics and Computer Science : Proceedings of Annual Workshop on Mathematics and Computer Science, held at Josai University on March 25 in 2014 / edited by Masatoshi IIDA, Manabu INUMA, Kiyoko NISHIZAWA

Josai Mathematical Monographs Vol.7 Contents

OpenAIRE

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

2014-01-01

Mathematics and Computer Science : Proceedings of Annual Workshop on Mathematics and Computer Science, held at Josai University on March 25 in 2014 / edited by Masatoshi IIDA, Manabu INUMA, Kiyoko NISHIZAWA

Josai Mathematical Monographs Vol.7 Program

OpenAIRE

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

2014-01-01

Mathematics and Computer Science : Proceedings of Annual Workshop on Mathematics and Computer Science, held at Josai University on March 25 in 2014 / edited by Masatoshi IIDA, Manabu INUMA, Kiyoko NISHIZAWA

Pedagogical Factors Affecting Integration of Computers in Mathematics Instruction in Secondary Schools in Kenya

Science.gov (United States)

Wanjala, Martin M. S.; Aurah, Catherine M.; Symon, Koros C.

2015-01-01

The paper reports findings of a study which sought to examine the pedagogical factors that affect the integration of computers in mathematics instruction as perceived by teachers in secondary schools in Kenya. This study was based on the Technology Acceptance Model (TAM). A descriptive survey design was used for this study. Stratified and simple…

Methods of Mathematical and Computational Physics for Industry, Science, and Technology

Science.gov (United States)

Melnik, Roderick V. N.; Voss, Frands

2006-11-01

Many industrial problems provide scientists with important and challenging problems that need to be solved today rather than tomorrow. The key role of mathematical physics, modelling, and computational methodologies in addressing such problems continues to increase. Science has never been exogenous to applied research. Gigantic ships and steam engines, repeating catapult of Dionysius and the Antikythera `computer' invented around 80BC are just a few examples demonstrating a profound link between theoretical and applied science in the ancient world. Nowadays, many industrial problems are typically approached by groups of researchers who are working as a team bringing their expertise to the success of the entire enterprise. Since the late 1960s several groups of European mathematicians and scientists have started organizing regular meetings, seeking new challenges from industry and contributing to the solution of important industrial problems. In particular, this often took the format of week-long workshops originally initiated by the Oxford Study Groups with Industry in 1968. Such workshops are now held in many European countries (typically under the auspices of the European Study Groups with Industry - ESGI), as well as in Australia, Canada, the United States, and other countries around the world. Problems given by industrial partners are sometimes very difficult to complete within a week. However, during a week of brainstorming activities these problems inevitably stimulate developing fruitful new ideas, new approaches, and new collaborations. At the same time, there are cases where as soon as the problem is formulated mathematically, it is relatively easy to solve. Hence, putting the industrial problem into a mathematical framework, based on physical laws, often provides a key element to the success. In addition to this important first step, the value in such cases is the real, practical applicability of the results obtained for an industrial partner who presents

Perceptions of online tutorials for distance learning in mathematics and computing

Directory of Open Access Journals (Sweden)

Tim Lowe

2016-07-01

Full Text Available We report on student and staff perceptions of synchronous online teaching and learning sessions in mathematics and computing. The study is based on two surveys of students and tutors conducted 5 years apart, and focusses on the educational experience as well as societal and accessibility dimensions. Key conclusions are that both staff and students value online sessions, to supplement face-to-face sessions, mainly for their convenience, but interaction within the sessions is limited. Students find the recording of sessions particularly helpful in their studies.

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

Science.gov (United States)

Kermani, Hengameh

2017-01-01

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

A synthesis of the environmental response of the North and South Atlantic Sub-Tropical Gyres during two decades of AMT

Science.gov (United States)

Aiken, Jim; Brewin, Robert J. W.; Dufois, Francois; Polimene, Luca; Hardman-Mountford, Nick J.; Jackson, Thomas; Loveday, Ben; Hoya, Silvana Mallor; Dall'Olmo, Giorgio; Stephens, John; Hirata, Takafumi

2017-11-01

Anthropogenically-induced global warming is expected to decrease primary productivity in the subtropical oceans by strengthening stratification of the water column and reducing the flux of nutrients from deep-waters to the sunlit surface layers. Identification of such changes is hindered by a paucity of long-term, spatially-resolved, biological time-series data at the basin scale. This paper exploits Atlantic Meridional Transect (AMT) data on physical and biogeochemical properties (1995-2014) in synergy with a wide range of remote-sensing (RS) observations from ocean colour, Sea Surface Temperature (SST), Sea Surface Salinity (SSS) and altimetry (surface currents), combined with different modelling approaches (both empirical and a coupled 1-D Ecosystem model), to produce a synthesis of the seasonal functioning of the North and South Atlantic Sub-Tropical Gyres (STGs), and assess their response to longer-term changes in climate. We explore definitive characteristics of the STGs using data of physical (SST, SSS and peripheral current systems) and biogeochemical variables (chlorophyll and nitrate), with inherent criteria (permanent thermal stratification and oligotrophy), and define the gyre boundary from a sharp gradient in these physical and biogeochemical properties. From RS data, the seasonal cycles for the period 1998-2012 show significant relationships between physical properties (SST and PAR) and gyre area. In contrast to expectations, the surface layer chlorophyll concentration from RS data (CHL) shows an upward trend for the mean values in both subtropical gyres. Furthermore, trends in physical properties (SST, PAR, gyre area) differ between the North and South STGs, suggesting the processes responsible for an upward trend in CHL may vary between gyres. There are significant anomalies in CHL and SST that are associated with El Niño events. These conclusions are drawn cautiously considering the short length of the time-series (1998-2012), emphasising the need

Department of Energy: MICS (Mathematical Information, and Computational Sciences Division). High performance computing and communications program

Energy Technology Data Exchange (ETDEWEB)

NONE

1996-06-01

This document is intended to serve two purposes. Its first purpose is that of a program status report of the considerable progress that the Department of Energy (DOE) has made since 1993, the time of the last such report (DOE/ER-0536, {open_quotes}The DOE Program in HPCC{close_quotes}), toward achieving the goals of the High Performance Computing and Communications (HPCC) Program. The second purpose is that of a summary report of the many research programs administered by the Mathematical, Information, and Computational Sciences (MICS) Division of the Office of Energy Research under the auspices of the HPCC Program and to provide, wherever relevant, easy access to pertinent information about MICS-Division activities via universal resource locators (URLs) on the World Wide Web (WWW). The information pointed to by the URL is updated frequently, and the interested reader is urged to access the WWW for the latest information.

Mathematical model and computer programme for theoretical calculation of calibration curves of neutron soil moisture probes with highly effective counters

International Nuclear Information System (INIS)

Kolev, N.A.

1981-07-01

A mathematical model based on the three group theory for theoretical calculation by means of computer of the calibration curves of neutron soil moisture probes with highly effective counters, is described. Methods for experimental correction of the mathematical model are discussed and proposed. The computer programme described allows the calibration of neutron probes with high or low effective counters, and central or end geometry, with or without linearizing of the calibration curve. The use of two calculation variants and printing of output data gives the possibility not only for calibration, but also for other researches. The separate data inputs for soil and probe temperature allow the temperature influence analysis. The computer programme and calculation examples are given. (author)

Summary of researches being performed in the Institute of Mathematics and Computer Science on computer science and information technologies

Directory of Open Access Journals (Sweden)

Artiom Alhazov

2008-07-01

Full Text Available Evolution of the informatization notion (which assumes automation of majority of human activities applying computers, computer networks, information technologies towards the notion of {\\it Global Information Society} (GIS challenges the determination of new paradigms of society: automation and intellectualization of production, new level of education and teaching, formation of new styles of work, active participation in decision making, etc. To assure transition to GIS for any society, including that from Republic of Moldova, requires both special training and broad application of progressive technologies and information systems. Methodological aspects concerning impact of GIS creation over the citizen, economic unit, national economy in the aggregate demands a profound study. Without systematic approach to these aspects the GIS creation would have confront great difficulties. Collective of researchers from the Institute of Mathematics and Computer Science (IMCS of Academy of Sciences of Moldova, which work in the field of computer science, constitutes the center of advanced researches and activates in those directions of researches of computer science which facilitate technologies and applications without of which the development of GIS cannot be assured.

Mathematical model for water quality impact assessment and its computer application in coal mine water

International Nuclear Information System (INIS)

Sundararajan, M.; Chakraborty, M.K.; Gupta, J.P.; Saxena, N.C.; Dhar, B.B.

1994-01-01

This paper presents a mathematical model to assess the Water Quality Impact in coal mine or in river system by accurate and rational method. Algorithm, flowchart and computer programme have been developed upon this model to assess the quality of coal mine water. 3 refs., 2 figs., 2 tabs

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

International Nuclear Information System (INIS)

2013-01-01

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

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

Energy Technology Data Exchange (ETDEWEB)

NONE

2013-07-01

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

Comparing the similarity of responses received from studies in Amazon's Mechanical Turk to studies conducted online and with direct recruitment.

Science.gov (United States)

Bartneck, Christoph; Duenser, Andreas; Moltchanova, Elena; Zawieska, Karolina

2015-01-01

Computer and internet based questionnaires have become a standard tool in Human-Computer Interaction research and other related fields, such as psychology and sociology. Amazon's Mechanical Turk (AMT) service is a new method of recruiting participants and conducting certain types of experiments. This study compares whether participants recruited through AMT give different responses than participants recruited through an online forum or recruited directly on a university campus. Moreover, we compare whether a study conducted within AMT results in different responses compared to a study for which participants are recruited through AMT but which is conducted using an external online questionnaire service. The results of this study show that there is a statistical difference between results obtained from participants recruited through AMT compared to the results from the participant recruited on campus or through online forums. We do, however, argue that this difference is so small that it has no practical consequence. There was no significant difference between running the study within AMT compared to running it with an online questionnaire service. There was no significant difference between results obtained directly from within AMT compared to results obtained in the campus and online forum condition. This may suggest that AMT is a viable and economical option for recruiting participants and for conducting studies as setting up and running a study with AMT generally requires less effort and time compared to other frequently used methods. We discuss our findings as well as limitations of using AMT for empirical studies.

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

Science.gov (United States)

Soliman, Mamdouh M.; Hilal, Ahmed J.

2016-01-01

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

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

Directory of Open Access Journals (Sweden)

Alexander B. Bakulev

2012-11-01

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

Journal of applied mathematics

National Research Council Canada - National Science Library

2001-01-01

"[The] Journal of Applied Mathematics is a refereed journal devoted to the publication of original research papers and review articles in all areas of applied, computational, and industrial mathematics...

Theoretical Basics of Teaching Discrete Mathematics

Directory of Open Access Journals (Sweden)

Y. A. Perminov

2012-01-01

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

Laboratory Study of Polychlorinated Biphenyl (PCB) Contamination and Mitigation in Buildings -- Part 4. Evaluation of the Activated Metal Treatment System (AMTS) for On-site Destruction of PCBs

Science.gov (United States)

This is the fourth, also the last, report of the report series entitled “Laboratory Study of Polychlorinated Biphenyl (PCB) Contamination and Mitigation in Buildings.” This report evaluates the performance of an on-site PCB destruction method, known as the AMTS method, developed ...

Análise de investimentos em AMT (advanced manufacturing technology): uso de um modelo multicriterial - AHP (analytic hierarchy process)

OpenAIRE

Flavia Ferreira Santos

2008-01-01

A análise de investimentos em Tecnologias Avançadas de Manufatura (AMT) é um processo de decisão estratégico, devido ao potencial competitivo que essas tecnologias representam ao proporcionar às empresas uma gama de benefícios tangíveis e intangíveis. Entretanto, dada a complexidade das variáveis relacionadas, ao risco e ao alto custo do investimento os métodos de avaliação financeira, utilizados tradicionalmente, são insuficientes para capturar os inúmeros benefícios estratégicos proporciona...

Transitioning the GED[R] Mathematics Test to Computer with and without Accommodations: A Pilot Project

Science.gov (United States)

Patterson, Margaret Becker; Higgins, Jennifer; Bozman, Martha; Katz, Michael

2011-01-01

We conducted a pilot study to see how the GED Mathematics Test could be administered on computer with embedded accessibility tools. We examined test scores and test-taker experience. Nineteen GED test centers across five states and 216 randomly assigned GED Tests candidates participated in the project. GED candidates completed two GED mathematics…

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

Science.gov (United States)

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.

Mathematical and Computational Modeling for Tumor Virotherapy with Mediated Immunity.

Science.gov (United States)

Timalsina, Asim; Tian, Jianjun Paul; Wang, Jin

2017-08-01

We propose a new mathematical modeling framework based on partial differential equations to study tumor virotherapy with mediated immunity. The model incorporates both innate and adaptive immune responses and represents the complex interaction among tumor cells, oncolytic viruses, and immune systems on a domain with a moving boundary. Using carefully designed computational methods, we conduct extensive numerical simulation to the model. The results allow us to examine tumor development under a wide range of settings and provide insight into several important aspects of the virotherapy, including the dependence of the efficacy on a few key parameters and the delay in the adaptive immunity. Our findings also suggest possible ways to improve the virotherapy for tumor treatment.

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

Science.gov (United States)

Calhoun, James M., Jr.

2011-01-01

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

Method of computer generation and projection recording of microholograms for holographic memory systems: mathematical modelling and experimental implementation

International Nuclear Information System (INIS)

Betin, A Yu; Bobrinev, V I; Evtikhiev, N N; Zherdev, A Yu; Zlokazov, E Yu; Lushnikov, D S; Markin, V V; Odinokov, S B; Starikov, S N; Starikov, R S

2013-01-01

A method of computer generation and projection recording of microholograms for holographic memory systems is presented; the results of mathematical modelling and experimental implementation of the method are demonstrated. (holographic memory)

An intercomparison of computer assisted date processing and display methods in radioisotope scintigraphy using mathematical tumours

International Nuclear Information System (INIS)

Houston, A.S.; Macleod, M.A.

1977-01-01

Several computer assisted processing and display methods are evaluated using a series of 100 normal brain scintigrams, 50 of which have had single 'mathematical tumours' superimposed. Using a standard rating system, or in some cases quantitative estimation, LROC curves are generated for each method and compared. (author)

Mathematics and engineering in real life through mathematical competitions

Science.gov (United States)

More, M.

2018-02-01

We bring out an experience of organizing mathematical competitions that can be used as a medium to motivate the student and teacher minds in new directions of thinking. This can contribute to fostering research, innovation and provide a hands-on experience of mathematical concepts with the real world. Mathematical competitions can be used to build curiosity and give an understanding of mathematical applications in real life. Participation in the competition has been classified under four broad categories. Student can showcase their findings in various forms of expression like model, poster, soft presentation, animation, live performance, art and poetry. The basic focus of the competition is on using open source computation tools and modern technology, to emphasize the relationship of mathematical concepts with engineering applications in real life.

Comparing the similarity of responses received from studies in Amazon's Mechanical Turk to studies conducted online and with direct recruitment.

Directory of Open Access Journals (Sweden)

Christoph Bartneck

Full Text Available Computer and internet based questionnaires have become a standard tool in Human-Computer Interaction research and other related fields, such as psychology and sociology. Amazon's Mechanical Turk (AMT service is a new method of recruiting participants and conducting certain types of experiments. This study compares whether participants recruited through AMT give different responses than participants recruited through an online forum or recruited directly on a university campus. Moreover, we compare whether a study conducted within AMT results in different responses compared to a study for which participants are recruited through AMT but which is conducted using an external online questionnaire service. The results of this study show that there is a statistical difference between results obtained from participants recruited through AMT compared to the results from the participant recruited on campus or through online forums. We do, however, argue that this difference is so small that it has no practical consequence. There was no significant difference between running the study within AMT compared to running it with an online questionnaire service. There was no significant difference between results obtained directly from within AMT compared to results obtained in the campus and online forum condition. This may suggest that AMT is a viable and economical option for recruiting participants and for conducting studies as setting up and running a study with AMT generally requires less effort and time compared to other frequently used methods. We discuss our findings as well as limitations of using AMT for empirical studies.

Mathematics in civilization

CERN Document Server

Resnikoff, Howard L

2015-01-01

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

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

Science.gov (United States)

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

2014-01-01

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

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.

Science.gov (United States)

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 semantic system is involved in mathematical problem solving.

Science.gov (United States)

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.

Influence of Writing Ability and Computation Skill on Mathematics Writing

Science.gov (United States)

Powell, Sarah R.; Hebert, Michael A.

2016-01-01

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

Cognitive Play and Mathematical Learning in Computer Microworlds.

Science.gov (United States)

Steffe, Leslie P.; Wiegel, Heide G.

1994-01-01

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

Status Report: Mathematics Curriculum-Development Projects Today

Science.gov (United States)

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)

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

Science.gov (United States)

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…

Some unsolved problems in discrete mathematics and mathematical cybernetics

Science.gov (United States)

Korshunov, Aleksei D.

2009-10-01

There are many unsolved problems in discrete mathematics and mathematical cybernetics. Writing a comprehensive survey of such problems involves great difficulties. First, such problems are rather numerous and varied. Second, they greatly differ from each other in degree of completeness of their solution. Therefore, even a comprehensive survey should not attempt to cover the whole variety of such problems; only the most important and significant problems should be reviewed. An impersonal choice of problems to include is quite hard. This paper includes 13 unsolved problems related to combinatorial mathematics and computational complexity theory. The problems selected give an indication of the author's studies for 50 years; for this reason, the choice of the problems reviewed here is, to some extent, subjective. At the same time, these problems are very difficult and quite important for discrete mathematics and mathematical cybernetics. Bibliography: 74 items.

Some unsolved problems in discrete mathematics and mathematical cybernetics

International Nuclear Information System (INIS)

Korshunov, Aleksei D

2009-01-01

There are many unsolved problems in discrete mathematics and mathematical cybernetics. Writing a comprehensive survey of such problems involves great difficulties. First, such problems are rather numerous and varied. Second, they greatly differ from each other in degree of completeness of their solution. Therefore, even a comprehensive survey should not attempt to cover the whole variety of such problems; only the most important and significant problems should be reviewed. An impersonal choice of problems to include is quite hard. This paper includes 13 unsolved problems related to combinatorial mathematics and computational complexity theory. The problems selected give an indication of the author's studies for 50 years; for this reason, the choice of the problems reviewed here is, to some extent, subjective. At the same time, these problems are very difficult and quite important for discrete mathematics and mathematical cybernetics. Bibliography: 74 items.

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

Science.gov (United States)

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

2007-01-01

This study examines the achievement outcomes accompanying the implementation of a Grade 3 laptop or so-­called "ubiquitous computing" program in a Quebec school district. CAT­3 reading, language, and mathematics batteries were administered at the end of Grade 2 and again at the end of Grade 3, after the first year of computer…

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

International Nuclear Information System (INIS)

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

2015-01-01

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

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

Science.gov (United States)

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.

Progress report No. 53, October 1, 1976--September 30, 1977. [Courant Mathematics and Computing Laboratory, New York University

Energy Technology Data Exchange (ETDEWEB)

None

1977-12-01

Work in the following areas is considered in this annual report: applied mathematics (partial differential equations) in computational fluid dynamics, numerical analysis, etc.; computational physics and chemistry (partial differential equations); programing languages and compilers and other applications of computer science; and network access methods and applications of the ARPA network. Also discussed is the relation of work done at the Courant Institute to other projects, systems programing and user services, seminars, and publications. Individual reports are a paragraph or so in length. Completed work is reported in the appropriate publications. (RWR)

DEVELOPING STUDENTS’ ABILITY OF MATHEMATICAL CONNECTION THROUGH USING OUTDOOR MATHEMATICS LEARNING

Directory of Open Access Journals (Sweden)

Saleh Haji

2017-01-01

Full Text Available The Purpose of this study is to determine the achievement and improvement of students’ mathematical connectionability through using outdoor mathematics learning. 64 students from the fifth grade of Primary School at SDN 65 and SDN 67 Bengkulu City were taken as the sample of this study. While the method of the research used in this research is experiment with quasi-experimental designs non-equivalent control group. The results of the study are as follows: (1 There is an increasing ability found in mathematical connection of students whom taught by using outdoors mathematics learning is 0,53; (2 Based on statical computation that achievement of students’ ability of mathematical connection is taught by using outdoor mathematics learning score is 71,25. It is higher than the students score 66,25 which were taught by using the conventional learning. So as to improve students’ mathematical connection, teachers are suggested to use the outdoors mathematics learning

Physics, Computer Science and Mathematics Division annual report, 1 January-31 December 1981

International Nuclear Information System (INIS)

Birge, R.W.

1982-12-01

This report summarizes the research performed in the Physics, Computer Science and Mathematics Division of the Lawrence Berkeley Laboratory during calendar year 1981. During the year under review the Division devoted roughly half its effort to the final construction stages of the Time Projection Chamber and other equipment for the PEP-4 facility at SLAC. The year was marked by the successful passage of milestone after milestone - the two-sector test of the TPC with cosmic rays in July 1981, the full TPC test in November 1981, and the roll-in onto the PEP beam line on 6 January 1982. In other e + e - experiments, the Mark II detector continued its productive data-taking at PEP. In other areas, the final stages of data analysis, particularly for the structure functions, proceeded for the inelastic muon scattering experiment performed at Fermilab, a muon polarimeter experiment was developed and mounted at TRIUMF to probe for the presence of right-handed currents in muon decay, and the design and then construction began of fine-grained hadron calorimeters for the end caps of the Colliding Detector Facility at Fermilab. The Particle Data Group intensified its activities, despite financial constraints, as it proceeded toward production of a new edition of its authoritative Review of Particle Properties early in 1982. During 1981 the Theoretical Physics Group pursued a diverse spectrum of research in its own right and also interacted effectively with the experimental program. Research and development continued on the segmented mirror for the ten-meter telescope proposed by the University of California. Activities in the Computer Science and Mathematics Department encompassed networking, database management, software engineering, and computer graphics, as well as basic research in nonlinear phenomena in combustion and fluid flow

Physics, Computer Science and Mathematics Division annual report, 1 January-31 December 1981

Energy Technology Data Exchange (ETDEWEB)

Birge, R.W.

1982-12-01

This report summarizes the research performed in the Physics, Computer Science and Mathematics Division of the Lawrence Berkeley Laboratory during calendar year 1981. During the year under review the Division devoted roughly half its effort to the final construction stages of the Time Projection Chamber and other equipment for the PEP-4 facility at SLAC. The year was marked by the successful passage of milestone after milestone - the two-sector test of the TPC with cosmic rays in July 1981, the full TPC test in November 1981, and the roll-in onto the PEP beam line on 6 January 1982. In other e/sup +/e/sup -/ experiments, the Mark II detector continued its productive data-taking at PEP. In other areas, the final stages of data analysis, particularly for the structure functions, proceeded for the inelastic muon scattering experiment performed at Fermilab, a muon polarimeter experiment was developed and mounted at TRIUMF to probe for the presence of right-handed currents in muon decay, and the design and then construction began of fine-grained hadron calorimeters for the end caps of the Colliding Detector Facility at Fermilab. The Particle Data Group intensified its activities, despite financial constraints, as it proceeded toward production of a new edition of its authoritative Review of Particle Properties early in 1982. During 1981 the Theoretical Physics Group pursued a diverse spectrum of research in its own right and also interacted effectively with the experimental program. Research and development continued on the segmented mirror for the ten-meter telescope proposed by the University of California. Activities in the Computer Science and Mathematics Department encompassed networking, database management, software engineering, and computer graphics, as well as basic research in nonlinear phenomena in combustion and fluid flow.

Mathematical Modeling of Diverse Phenomena

Science.gov (United States)

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.

Some unsolved problems in discrete mathematics and mathematical cybernetics

Energy Technology Data Exchange (ETDEWEB)

Korshunov, Aleksei D [S.L. Sobolev Institute for Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk (Russian Federation)

2009-10-31

There are many unsolved problems in discrete mathematics and mathematical cybernetics. Writing a comprehensive survey of such problems involves great difficulties. First, such problems are rather numerous and varied. Second, they greatly differ from each other in degree of completeness of their solution. Therefore, even a comprehensive survey should not attempt to cover the whole variety of such problems; only the most important and significant problems should be reviewed. An impersonal choice of problems to include is quite hard. This paper includes 13 unsolved problems related to combinatorial mathematics and computational complexity theory. The problems selected give an indication of the author's studies for 50 years; for this reason, the choice of the problems reviewed here is, to some extent, subjective. At the same time, these problems are very difficult and quite important for discrete mathematics and mathematical cybernetics. Bibliography: 74 items.

Computability, complexity, and languages fundamentals of theoretical computer science

CERN Document Server

Davis, Martin D; Rheinboldt, Werner

1983-01-01

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science provides an introduction to the various aspects of theoretical computer science. Theoretical computer science is the mathematical study of models of computation. This text is composed of five parts encompassing 17 chapters, and begins with an introduction to the use of proofs in mathematics and the development of computability theory in the context of an extremely simple abstract programming language. The succeeding parts demonstrate the performance of abstract programming language using a macro expa

THE CASE STUDY TASKS AS A BASIS FOR THE FUND OF THE ASSESSMENT TOOLS AT THE MATHEMATICAL ANALYSIS FOR THE DIRECTION 01.03.02 APPLIED MATHEMATICS AND COMPUTER SCIENCE

Directory of Open Access Journals (Sweden)

Dina Aleksandrovna Kirillova

2015-12-01

Full Text Available The modern reform of the Russian higher education involves the implementation of competence-based approach, the main idea of which is the practical orientation of education. Mathematics is a universal language of description, modeling and studies of phenomena and processes of different nature. Therefore creating the fund of assessment tools for mathematical disciplines based on the applied problems is actual. The case method is the most appropriate mean of monitoring the learning outcomes, it is aimed at bridging the gap between theory and practice.The aim of the research is the development of methodical materials for the creating the fund of assessment tools that are based on the case-study for the mathematical analisis for direction «Applied Mathematics and Computer Science». The aim follows from the contradiction between the need for the introduction of case-method in the educational process in high school and the lack of study of the theoretical foundations of using of this method as applied to mathematical disciplines, insufficient theoretical basis and the description of the process of creating case-problems for use their in the monitoring of the learning outcomes.

Primary Trainee Teachers' Attitudes to and Use of Computer and Technology in Mathematics: The Case of Turkey

Science.gov (United States)

Dogan, Mustafa

2010-01-01

This study explores Turkish primary mathematics trainee teachers' attitudes to computer and technology. A survey was conducted with a self constructed questionnaire. Piloting, factor and reliability ([alpha] = 0.94) analyses were performed. The final version of the questionnaire has three parts with a total of 48 questions including a Likert type…

A short course in discrete mathematics

CERN Document Server

Bender, Edward A

2004-01-01

What sort of mathematics do I need for computer science? In response to this frequently asked question, a pair of professors at the University of California at San Diego created this text. Its sources are two of the university's most basic courses: Discrete Mathematics, and Mathematics for Algorithm and System Analysis. Intended for use by sophomores in the first of a two-quarter sequence, the text assumes some familiarity with calculus. Topics include Boolean functions and computer arithmetic; logic; number theory and cryptography; sets and functions; equivalence and order; and induction, seq

Collecting response times using Amazon Mechanical Turk and Adobe Flash.

Science.gov (United States)

Simcox, Travis; Fiez, Julie A

2014-03-01

Crowdsourcing systems like Amazon's Mechanical Turk (AMT) allow data to be collected from a large sample of people in a short amount of time. This use has garnered considerable interest from behavioral scientists. So far, most experiments conducted on AMT have focused on survey-type instruments because of difficulties inherent in running many experimental paradigms over the Internet. This study investigated the viability of presenting stimuli and collecting response times using Adobe Flash to run ActionScript 3 code in conjunction with AMT. First, the timing properties of Adobe Flash were investigated using a phototransistor and two desktop computers running under several conditions mimicking those that may be present in research using AMT. This experiment revealed some strengths and weaknesses of the timing capabilities of this method. Next, a flanker task and a lexical decision task implemented in Adobe Flash were administered to participants recruited with AMT. The expected effects in these tasks were replicated. Power analyses were conducted to describe the number of participants needed to replicate these effects. A questionnaire was used to investigate previously undescribed computer use habits of 100 participants on AMT. We conclude that a Flash program in conjunction with AMT can be successfully used for running many experimental paradigms that rely on response times, although experimenters must understand the limitations of the method.

Number sense or working memory? The effect of two computer-based trainings on mathematical skills in elementary school.

Science.gov (United States)

Kuhn, Jörg-Tobias; Holling, Heinz

2014-01-01

Research on the improvement of elementary school mathematics has shown that computer-based training of number sense (e.g., processing magnitudes or locating numbers on the number line) can lead to substantial achievement gains in arithmetic skills. Recent studies, however, have highlighted that training domain-general cognitive abilities (e.g., working memory [WM]) may also improve mathematical achievement. This study addressed the question of whether a training of domain-specific number sense skills or domain-general WM abilities is more appropriate for improving mathematical abilities in elementary school. Fifty-nine children (M age = 9 years, 32 girls and 27 boys) received either a computer-based, adaptive training of number sense (n = 20), WM skills (n = 19), or served as a control group (n = 20). The training duration was 20 min per day for 15 days. Before and after training, we measured mathematical ability using a curriculum-based math test, as well as spatial WM. For both training groups, we observed substantial increases in the math posttest compared to the control group (d = .54 for number sense skills training, d = .57 for WM training, respectively). Whereas the number sense group showed significant gains in arithmetical skills, the WM training group exhibited marginally significant gains in word problem solving. However, no training group showed significant posttest gains on the spatial WM task. Results indicate that a short training of either domain-specific or domain-general skills may result in reliable short-term training gains in math performance, although no stable training effects were found in the spatial WM task.

Constructing mathematical knowledge

CERN Document Server

Ernest, Paul

2012-01-01

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

REVIEW OF MATHEMATICAL METHODS AND ALGORITHMS OF MEDICAL IMAGE PROCESSING ON THE EXAMPLE OF TECHNOLOGY OF MEDICAL IMAGE PROCESSING FROM WOLFRAM MATHEMATICS

Directory of Open Access Journals (Sweden)

O. Ye. Prokopchenko

2015-10-01

Full Text Available The article analyzes the basic methods and algorithms of mathematical processing of medical images as objects of computer mathematics. The presented methods and computer algorithms of mathematics relevant and may find application in the field of medical imaging - automated processing of images; as a tool for measurement and determination the optical parameters; identification and formation of medical images database. Methods and computer algorithms presented in the article and based on Wolfram Mathematica are also relevant to the problem of modern medical education. As an example of Wolfram Mathematics may be considered appropriate demonstration, such as recognition of special radiographs and morphological imaging. These methods are used to improve  the diagnostic significance and value of medical (clinical research and can serve as an educational interactive demonstration. Implementation submitted individual methods and algorithms of computer Wolfram Mathematics contributes, in general, the optimization process of practical processing and presentation of medical images.

Feasible mathematics II

CERN Document Server

Remmel, Jeffrey

1995-01-01

Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what comes out - but what fact is this supposed to confirm for me? I don't know 'what is supposed to come out' . . . . 1 -L. Wittgenstein A feasible computation uses small resources on an abstract computa­ tion device, such as a 'lUring machine or boolean circuit. Feasible math­ ematics concerns the study of feasible computations, using combinatorics and logic, as well as the study of feasibly presented mathematical structures such as groups, algebras, and so on. This volume contains contributions to feasible mathematics in three areas: computational complexity theory, proof theory and algebra, with substantial overlap between different fields. In computational complexity theory, the polynomial time hierarchy is characterized without the introduction of runtime bounds by the closure of certain initial functions under safe composition, predicative recursion on nota...

Mathematics revealed

CERN Document Server

Berman, Elizabeth

1979-01-01

Mathematics Revealed focuses on the principles, processes, operations, and exercises in mathematics.The book first offers information on whole numbers, fractions, and decimals and percents. Discussions focus on measuring length, percent, decimals, numbers as products, addition and subtraction of fractions, mixed numbers and ratios, division of fractions, addition, subtraction, multiplication, and division. The text then examines positive and negative numbers and powers and computation. Topics include division and averages, multiplication, ratios, and measurements, scientific notation and estim

Explicating Mathematical Thinking in Differential Equations Using a Computer Algebra System

Science.gov (United States)

Zeynivandnezhad, Fereshteh; Bates, Rachel

2018-01-01

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

Discrete Mathematics Course Supported by CAS MATHEMATICA

Science.gov (United States)

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…

Twenty-first century quantum mechanics Hilbert space to quantum computers mathematical methods and conceptual foundations

CERN Document Server

Fano, Guido

2017-01-01

This book is designed to make accessible to nonspecialists the still evolving concepts of quantum mechanics and the terminology in which these are expressed. The opening chapters summarize elementary concepts of twentieth century quantum mechanics and describe the mathematical methods employed in the field, with clear explanation of, for example, Hilbert space, complex variables, complex vector spaces and Dirac notation, and the Heisenberg uncertainty principle. After detailed discussion of the Schrödinger equation, subsequent chapters focus on isotropic vectors, used to construct spinors, and on conceptual problems associated with measurement, superposition, and decoherence in quantum systems. Here, due attention is paid to Bell’s inequality and the possible existence of hidden variables. Finally, progression toward quantum computation is examined in detail: if quantum computers can be made practicable, enormous enhancements in computing power, artificial intelligence, and secure communication will result...

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

Science.gov (United States)

Rockhill, Theron D.

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

Proceedings of the international conference on mathematics and computations, reactor physics, and environmental analyses. Volume 1 and 2

International Nuclear Information System (INIS)

Anon.

1995-01-01

The International Conference on Mathematics and Computations, Reactor Physics, and Environmental Analyses marks the sixteenth biennial topical meeting of the Mathematics and Computation (M ampersand C) Division of the American Nuclear Society (ANS). This conference combines many traditional features of M ampersand C conferences with several new aspects. The meeting is, for the first time, being held in Portland, Oregon and sponsored by the ANS Eastern Washington Section. Three of the cosponsors - the ANS Reactor Physics Division, the European Nuclear Society, and the Atomic Energy Society of Japan - have participated in a series of such meetings, with very successful results. The fourth cosponsor, the ANS Environmental Science Division, is participating for the first time as a cosponsor of a M ampersand C topical meeting, as a result of the M ampersand C Division's decision to formally include the area of environmental analyses as a major focus of the conference, another 'first.' Separate abstracts have been submitted to the energy database for contributions to this conference

a Discrete Mathematical Model to Simulate Malware Spreading

Science.gov (United States)

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.

Mathematical and theoretical neuroscience cell, network and data analysis

CERN Document Server

Nieus, Thierry

2017-01-01

This volume gathers contributions from theoretical, experimental and computational researchers who are working on various topics in theoretical/computational/mathematical neuroscience. The focus is on mathematical modeling, analytical and numerical topics, and statistical analysis in neuroscience with applications. The following subjects are considered: mathematical modelling in Neuroscience, analytical  and numerical topics;  statistical analysis in Neuroscience; Neural Networks; Theoretical Neuroscience. The book is addressed to researchers involved in mathematical models applied to neuroscience.

Digital games and learning mathematics: Student, teacher and parent perspectives

Directory of Open Access Journals (Sweden)

Su Ting Yong

2016-12-01

Full Text Available The purpose of this study was to explore the potential use of digital games in learning mathematics at secondary school level in Malaysia. Three secondary school students, three mathematics teachers and three parents were interviewed in this study. All the participants were asked for their views and experiences in mathematics, technology usage and the use of digital games in learning mathematics. The results suggested that students were supportive and positive towards the use of computer games in learning mathematics. Nevertheless, parents preferred conventional teaching approach, in which they recognized personal communication and socialization as a significant component in learning. Although the teachers did not go on to oppose the idea of using computer games for teaching mathematics, they still perceived the use of discursive approaches as the best teaching approach for learning mathematics with digital technologies at best a possible additional complementary feature. In view of that, the combination of classroom teaching and computer games might the best mathematics pedagogy. 

Computing Active Power Losses Using a Mathematical Model of a Regulated Street Luminaire

Directory of Open Access Journals (Sweden)

Roman Sikora

2018-05-01

Full Text Available Before the use of regulated street luminaires with variable power and luminous flux, computations were performed using constant values for their electrical and photometric parameters. At present, where such lighting is in use, it is no longer possible to base calculations on such assumptions. Computations of energy and power losses, for example, need to be performed for all dimming levels and based on the applied regulation algorithm. Based on measurements carried out on regulated luminaires, it was found that certain electrical parameters have a nonlinear dependence on the dimming level. Electrical parameters were also observed to depend on the value of the supply voltage. The results of the measurements are presented in this article. Failure to take account of power losses in computations of the energy efficiency of street lighting in accordance with the applicable EN 13201 standard causes values of energy efficiency indicators to be overstated. Power loss computations are presented in this article for a sample street lighting system with regulated luminaires, for the whole range of dimming levels and additionally for fluctuations of ±10% in the supply voltage. In addition, a mathematical model of a regulated luminaire is constructed with the use of regression methods, and a practical application of that model is described.

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

Science.gov (United States)

Seo, You-Jin; Woo, Honguk

2010-01-01

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

Mathematics of large eddy simulation of turbulent flows

Energy Technology Data Exchange (ETDEWEB)

Berselli, L.C. [Pisa Univ. (Italy). Dept. of Applied Mathematics ' ' U. Dini' ' ; Iliescu, T. [Virginia Polytechnic Inst. and State Univ., Blacksburg, VA (United States). Dept. of Mathematics; Layton, W.J. [Pittsburgh Univ., PA (United States). Dept. of Mathematics

2006-07-01

Large eddy simulation (LES) is a method of scientific computation seeking to predict the dynamics of organized structures in turbulent flows by approximating local, spatial averages of the flow. Since its birth in 1970, LES has undergone an explosive development and has matured into a highly-developed computational technology. It uses the tools of turbulence theory and the experience gained from practical computation. This book focuses on the mathematical foundations of LES and its models and provides a connection between the powerful tools of applied mathematics, partial differential equations and LES. Thus, it is concerned with fundamental aspects not treated so deeply in the other books in the field, aspects such as well-posedness of the models, their energy balance and the connection to the Leray theory of weak solutions of the Navier-Stokes equations. The authors give a mathematically informed and detailed treatment of an interesting selection of models, focusing on issues connected with understanding and expanding the correctness and universality of LES. This volume offers a useful entry point into the field for PhD students in applied mathematics, computational mathematics and partial differential equations. Non-mathematicians will appreciate it as a reference that introduces them to current tools and advances in the mathematical theory of LES. (orig.)

International seminar series on mathematics and applied mathematics and a series of three focused international research workshops on engineering mathematics organised by the Research Environment in Mathematics and Applied Mathematics at Mälardalen University from autumn 2014 to autumn 2015: the International Workshop on Engineering Mathematics for Electromagnetics and Health Technology; the International Workshop on Engineering Mathematics, Algebra, Analysis and Electromagnetics; and the 1st Swedish-Estonian International Workshop on Engineering Mathematics, Algebra, Analysis and Applications

CERN Document Server

Rancic, Milica

2016-01-01

This book highlights the latest advances in engineering mathematics with a main focus on the mathematical models, structures, concepts, problems and computational methods and algorithms most relevant for applications in modern technologies and engineering. It addresses mathematical methods of algebra, applied matrix analysis, operator analysis, probability theory and stochastic processes, geometry and computational methods in network analysis, data classification, ranking and optimisation. The individual chapters cover both theory and applications, and include a wealth of figures, schemes, algorithms, tables and results of data analysis and simulation. Presenting new methods and results, reviews of cutting-edge research, and open problems for future research, they equip readers to develop new mathematical methods and concepts of their own, and to further compare and analyse the methods and results discussed. The book consists of contributed chapters covering research developed as a result of a focused interna...

A note on “A new approach for the selection of advanced manufacturing technologies: Data envelopment analysis with double frontiers”

Directory of Open Access Journals (Sweden)

Hossein Azizi

2015-08-01

Full Text Available Recently, using the data envelopment analysis (DEA with double frontiers approach, Wang and Chin (2009 proposed a new approach for the selection of advanced manufacturing technologies: DEA with double frontiers and a new measure for the selection of the best advanced manufacturing technologies (AMTs. In this note, we show that their proposed overall performance measure for the selection of the best AMT has an additional computational burden. Moreover, we propose a new measure for developing a complete ranking of AMTs. Numerical examples are examined using the proposed measure to show its simplicity and usefulness in the AMT selection and justification.

African mathematics from bones to computers

CERN Document Server

Bangura, Abdul Karim

2011-01-01

This comprehensive text on African Mathematics addresses some of the problematic issues in the field, such as attitudes, curriculum development, educational change, academic achievement, standardized and other tests, performance factors, student characteristics, cross-cultural differences and studies, literacy, native speakers, social class and differences, equal education, teaching methods, and more.

Prospects of a mathematical theory of human behavior in complex man-machine systems tasks. [time sharing computer analogy of automobile driving

Science.gov (United States)

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.

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

Science.gov (United States)

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…

Winning the Popularity Contest: Researcher Preference When Selecting Resources for Civil Engineering, Computer Science, Mathematics and Physics Dissertations

Science.gov (United States)

Dotson, Daniel S.; Franks, Tina P.

2015-01-01

More than 53,000 citations from 609 dissertations published at The Ohio State University between 1998-2012 representing four science disciplines--civil engineering, computer science, mathematics and physics--were examined to determine what, if any, preferences or trends exist. This case study seeks to identify whether or not researcher preferences…

Mathematics and linguistics

Energy Technology Data Exchange (ETDEWEB)

Landauer, C.; Bellman, K.L.

1996-12-31

In this paper, we study foundational issues that we believe will help us develop a theoretically sound approach to constructing complex systems. The two theoretical approaches that have helped us understand and develop computational systems in the past are mathematics and linguistics. We describe some differences and strengths of the approaches, and propose a research program to combine the richness of linguistic reasoning with the precision of mathematics.

Optimisation of gas-cooled reactors with the aid of mathematical computers

Energy Technology Data Exchange (ETDEWEB)

Margen, P H

1959-04-15

Reactor optimisation is the task of finding the combination of values of the independent variables in a reactor design producing the lowest cost of electricity. In a gas-cooled reactor the number of independent variables is particularly large and the optimisation process is, therefore, laborious. The present note describes a procedure for performing the entire optimisation procedure with the aid of a mathematical computer in a single operation, thus saving time for the design staff. Detailed equations and numerical constants are proposed for the thermal and cost relations involved. The reactor physics equations, on the other hand are merely stated as general functions of the relevant variables. The task of expressing these functions as detailed equations will be covered by separate documents prepared by the reactor physics department.

Optimisation of gas-cooled reactors with the aid of mathematical computers

International Nuclear Information System (INIS)

Margen, P.H.

1959-04-01

Reactor optimisation is the task of finding the combination of values of the independent variables in a reactor design producing the lowest cost of electricity. In a gas-cooled reactor the number of independent variables is particularly large and the optimisation process is, therefore, laborious. The present note describes a procedure for performing the entire optimisation procedure with the aid of a mathematical computer in a single operation, thus saving time for the design staff. Detailed equations and numerical constants are proposed for the thermal and cost relations involved. The reactor physics equations, on the other hand are merely stated as general functions of the relevant variables. The task of expressing these functions as detailed equations will be covered by separate documents prepared by the reactor physics department

Power systems engineering and mathematics

CERN Document Server

Knight, U G

1972-01-01

Power Systems Engineering and Mathematics investigates the application of mathematical aids, particularly the techniques of resource planning, to some of the technical-economic problems of power systems engineering. Topics covered include the process of engineering design and the use of computers in system design and operation; power system planning and operation; time scales and computation in system operation; and load prediction and generation capacity. This volume is comprised of 13 chapters and begins by outlining the stages in the synthesis of designs (or operating states) for engineerin

Mathematical Foundations of Quantum Information and Computation and Its Applications to Nano- and Bio-systems

CERN Document Server

Ohya, Masanori

2011-01-01

This monograph provides a mathematical foundation  to  the theory of quantum information and computation, with applications to various open systems including nano and bio systems. It includes introductory material on algorithm, functional analysis, probability theory, information theory, quantum mechanics and quantum field theory. Apart from standard material on quantum information like quantum algorithm and teleportation, the authors discuss findings on the theory of entropy in C*-dynamical systems, space-time dependence of quantum entangled states, entangling operators, adaptive dynamics, relativistic quantum information, and a new paradigm for quantum computation beyond the usual quantum Turing machine. Also, some important applications of information theory to genetics and life sciences, as well as recent experimental and theoretical discoveries in quantum photosynthesis are described.

Contemporary computational mathematics a celebration of the 80th birthday of Ian Sloan

CERN Document Server

Kuo, Frances; Woźniakowski, Henryk

2018-01-01

This book is a tribute to Professor Ian Hugh Sloan on the occasion of his 80th birthday. It consists of nearly 60 articles written by international leaders in a diverse range of areas in contemporary computational mathematics. These papers highlight the impact and many achievements of Professor Sloan in his distinguished academic career. The book also presents state of the art knowledge in many computational fields such as quasi-Monte Carlo and Monte Carlo methods for multivariate integration, multi-level methods, finite element methods, uncertainty quantification, spherical designs and integration on the sphere, approximation and interpolation of multivariate functions, oscillatory integrals, and in general in information-based complexity and tractability, as well as in a range of other topics. The book also tells the life story of the renowned mathematician, family man, colleague and friend, who has been an inspiration to many of us. The reader may especially enjoy the story from the perspective of his fami...

A functional analytic approach to computer-interactive mathematics.

Science.gov (United States)

Ninness, Chris; Rumph, Robin; McCuller, Glen; Harrison, Carol; Ford, Angela M; Ninness, Sharon K

2005-01-01

Following a pretest, 11 participants who were naive with regard to various algebraic and trigonometric transformations received an introductory lecture regarding the fundamentals of the rectangular coordinate system. Following the lecture, they took part in a computer-interactive matching-to-sample procedure in which they received training on particular formula-to-formula and formula-to-graph relations as these formulas pertain to reflections and vertical and horizontal shifts. In training A-B, standard formulas served as samples and factored formulas served as comparisons. In training B-C, factored formulas served as samples and graphs served as comparisons. Subsequently, the program assessed for mutually entailed B-A and C-B relations as well as combinatorially entailed C-A and A-C relations. After all participants demonstrated mutual entailment and combinatorial entailment, we employed a test of novel relations to assess 40 different and complex variations of the original training formulas and their respective graphs. Six of 10 participants who completed training demonstrated perfect or near-perfect performance in identifying novel formula-to-graph relations. Three of the 4 participants who made more than three incorrect responses during the assessment of novel relations showed some commonality among their error patterns. Derived transfer of stimulus control using mathematical relations is discussed.

Mathematics in Engineering - Part I

Indian Academy of Sciences (India)

tion of mathematics to engineering problems; to provide a taste of some ... for organizations like ISRO or DRDO are called scien- tists. ... analysis and development of measurable physical data, using .... Any serious discussion of mathematics in modern engi- neering .... A simple way to solve this problem computationally is.

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

Science.gov (United States)

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…

Pre Service Teachers' Usage of Dynamic Mathematics Software

Science.gov (United States)

Bulut, Mehmet; Bulut, Neslihan

2011-01-01

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

Mathematics and Maxwell's equations

International Nuclear Information System (INIS)

Boozer, Allen H

2010-01-01

The universality of mathematics and Maxwell's equations is not shared by specific plasma models. Computations become more reliable, efficient and transparent if specific plasma models are used to obtain only the information that would otherwise be missing. Constraints of high universality, such as those from mathematics and Maxwell's equations, can be obscured or lost by integrated computations. Recognition of subtle constraints of high universality is important for (1) focusing the design of control systems for magnetic field errors in tokamaks from perturbations that have little effect on the plasma to those that do, (2) clarifying the limits of applicability to astrophysics of computations of magnetic reconnection in fields that have a double periodicity or have B-vector =0 on a surface, as in a Harris sheet. Both require a degree of symmetry not expected in natural systems. Mathematics and Maxwell's equations imply that neighboring magnetic field lines characteristically separate exponentially with distance along a line. This remarkably universal phenomenon has been largely ignored, though it defines a trigger for reconnection through a critical magnitude of exponentiation. These and other examples of the importance of making distinctions and understanding constraints of high universality are explained.

Interest in mathematics and science among students having high mathematics aptitude

Science.gov (United States)

Ely, Jane Alice

The study investigates why men and women differ in their interest in mathematics and science and in the pursuit of careers in mathematics and science. The most persistent gender differential in educational standard testing is the scores in mathematics achievement. The mean Scholastic Aptitude Test (Mathematics) scores for women are consistently below that of men by about 40 points. One result of this gender differential in mathematics is that few women entertain a career requiring a robust knowledge of higher mathematics (i.e. engineering, computing, or the physical sciences). A large body of literature has been written attempting to explain why this is happening. Biological, cultural, structural and psychological explanations have been suggested and empirically examined. Controlling for mathematical ability is one method of sorting out these explanations. Eliminating mathematical ability as a factor, this dissertation reports the results of a study of men and women college students who all had high mathematics ability. Thus, any differences we found among them would have to be a result of other variables. Using a Mathematics Placement Exam and the SAT-M, forty-two students (12 males and 30 females) with high scores in both were interviewed. Student were asked about their experiences in high school and college mathematics, their career choices, and their attitudes toward mathematics. The findings, that there were no gender differences in the course selection, attitudes towards mathematics, and career choice, differed from my initial expectations. This negative finding suggests that women with high ability in mathematics are just as likely as men to pursue interests in mathematics and related courses in college and in selecting careers.

On an efficient general mathematical library

International Nuclear Information System (INIS)

Li Xiaomei; Yan Baoyong

1992-01-01

In this paper, the architecture of vector pipeline computer YH-1 is briefly described, and the characteristics of an efficient vector general mathematical library are discussed. Some approaches to vectorization, adopted in developing the vector mathematical library, are presented

Fundamentals of university mathematics

CERN Document Server

McGregor, C M; Stothers, W W

2010-01-01

The third edition of this popular and effective textbook provides in one volume a unified treatment of topics essential for first year university students studying for degrees in mathematics. Students of computer science, physics and statistics will also find this book a helpful guide to all the basic mathematics they require. It clearly and comprehensively covers much of the material that other textbooks tend to assume, assisting students in the transition to university-level mathematics.Expertly revised and updated, the chapters cover topics such as number systems, set and functions, differe

Mathematics, substance and surmise views on the meaning and ontology of mathematics

CERN Document Server

Davis, Philip

2015-01-01

The seventeen thought-provoking and engaging essays in this collection present readers with a wide range of diverse perspectives on the ontology of mathematics. The essays address such questions as: What kind of things are mathematical objects? What kinds of assertions do mathematical statements make? How do people think and speak about mathematics?  How does society use mathematics? How have our answers to these questions changed over the last two millennia, and how might they change again in the future?   The authors include mathematicians, philosophers, computer scientists, cognitive psychologists, sociologists, educators, and mathematical historians; each brings their own expertise and insights to the discussion. Contributors to this volume: Jeremy Avigad Jody Azzouni David H. Bailey David Berlinski Jonathan M. Borwein Ernest Davis Philip J. Davis Donald Gillies Jeremy Gray Jesper Lützen Ursula Martin Kay L. O’Halloran Alison Pease Steven T. Piantadosi Lance J. Rips Micah T. Ross Nathalie Sinclair J...

Proceedings – Mathematical Sciences | Indian Academy of Sciences

Indian Academy of Sciences (India)

Home; Journals; Proceedings – Mathematical Sciences; Volume 123; Issue 2. Notes on Discrete Subgroups of Möbius Transformations ... Department of Applied Mathematics, Hunan University, Changsha 410082, People's Republic of China; School of Mathematics and Computational Science, Wuyi University, Jiangmen, ...

Open problems in mathematics

CERN Document Server

Nash, Jr, John Forbes

2016-01-01

The goal in putting together this unique compilation was to present the current status of the solutions to some of the most essential open problems in pure and applied mathematics. Emphasis is also given to problems in interdisciplinary research for which mathematics plays a key role. This volume comprises highly selected contributions by some of the most eminent mathematicians in the international mathematical community on longstanding problems in very active domains of mathematical research. A joint preface by the two volume editors is followed by a personal farewell to John F. Nash, Jr. written by Michael Th. Rassias. An introduction by Mikhail Gromov highlights some of Nash’s legendary mathematical achievements. The treatment in this book includes open problems in the following fields: algebraic geometry, number theory, analysis, discrete mathematics, PDEs, differential geometry, topology, K-theory, game theory, fluid mechanics, dynamical systems and ergodic theory, cryptography, theoretical computer sc...

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

Science.gov (United States)

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 Effect of Using Computer Games in Teaching Mathematics on Developing the Number Sense of Fourth Grade Students

Science.gov (United States)

Nejem, Khamis Mousa; Muhanna, Wafa

2013-01-01

The purpose of this study was to investigate the effect of using computer games in teaching mathematics on developing the number sense of fourth grade students. To achieve this purpose a study sample of (81) students was selected from the fourth grade. This sample was divided into two groups. One group was randomly chosen to be the experimental…

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

OpenAIRE

Hilal Karakış; Ayşen Karamete; Aydın Okçu

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 fractions to fourth-grade students. The skill levels of these students were gauged before and after receiving the computer-assisted instruction. We str...

Introducing Seismic Tomography with Computational Modeling

Science.gov (United States)

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.

Discrete Mathematics in the Schools. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 36.

Science.gov (United States)

Rosenstein, Joseph G., Ed.; Franzblau, Deborah S., Ed.; Roberts, Fred S., Ed.

This book is a collection of articles by experienced educators and explains why and how discrete mathematics should be taught in K-12 classrooms. It includes evidence for "why" and practical guidance for "how" and also discusses how discrete mathematics can be used as a vehicle for achieving the broader goals of the major…

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

Science.gov (United States)

Cranston School Dept., RI.

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

Mathematics and culture II visual perfection : mathematics and creativity

CERN Document Server

Emmer, Michele

2005-01-01

This volume stresses the strong links between mathematics, culture and creativity in architecture, contemporary art, geometry, computer graphics, literature, theatre and cinema. It is designed not only for mathematicians but for anyone interested in culture, with a special emphasis on the visual aspects.

The reality of Mathematics

Science.gov (United States)

Ligomenides, Panos A.

2009-05-01

The power of mathematics is discussed as a way of expressing reasoning, aesthetics and insight in symbolic non-verbal communication. The human culture of discovering mathematical ways of thinking in the enterprise of exploring the understanding of the nature and the evolution of our world through hypotheses, theories and experimental affirmation of the scientific notion of algorithmic and non-algorithmic [`]computation', is examined and commended upon.

Mathematical analysis and numerical methods for science and technology

CERN Document Server

Dautray, Robert

These 6 volumes - the result of a 10 year collaboration between the authors, two of France's leading scientists and both distinguished international figures - compile the mathematical knowledge required by researchers in mechanics, physics, engineering, chemistry and other branches of application of mathematics for the theoretical and numerical resolution of physical models on computers. Since the publication in 1924 of the "Methoden der mathematischen Physik" by Courant and Hilbert, there has been no other comprehensive and up-to-date publication presenting the mathematical tools needed in applications of mathematics in directly implementable form. The advent of large computers has in the meantime revolutionised methods of computation and made this gap in the literature intolerable: the objective of the present work is to fill just this gap. Many phenomena in physical mathematics may be modeled by a system of partial differential equations in distributed systems: a model here means a set of equations, which ...

Mathematical theories of distributed sensor networks

CERN Document Server

Iyengar, Sitharama S; Balakrishnan, N

2014-01-01

Mathematical Theory of Distributed Sensor Networks demonstrates how mathematical theories can be used to provide distributed sensor modeling and to solve important problems such as coverage hole detection and repair. The book introduces the mathematical and computational structure by discussing what they are, their applications and how they differ from traditional systems. The text also explains how mathematics are utilized to provide efficient techniques implementing effective coverage, deployment, transmission, data processing, signal processing, and data protection within distributed sensor networks. Finally, the authors discuss some important challenges facing mathematics to get more incite to the multidisciplinary area of distributed sensor networks.

Principles of mathematical modeling

CERN Document Server

Dym, Clive

2004-01-01

Science and engineering students depend heavily on concepts of mathematical modeling. In an age where almost everything is done on a computer, author Clive Dym believes that students need to understand and "own" the underlying mathematics that computers are doing on their behalf. His goal for Principles of Mathematical Modeling, Second Edition, is to engage the student reader in developing a foundational understanding of the subject that will serve them well into their careers. The first half of the book begins with a clearly defined set of modeling principles, and then introduces a set of foundational tools including dimensional analysis, scaling techniques, and approximation and validation techniques. The second half demonstrates the latest applications for these tools to a broad variety of subjects, including exponential growth and decay in fields ranging from biology to economics, traffic flow, free and forced vibration of mechanical and other systems, and optimization problems in biology, structures, an...

On the non-uniqueness of the nodal mathematical adjoint

International Nuclear Information System (INIS)

Müller, Erwin

2014-01-01

Highlights: • We evaluate three CMFD schemes for computing the nodal mathematical adjoint. • The nodal mathematical adjoint is not unique and can be non-positive (nonphysical). • Adjoint and forward eigenmodes are compatible if produced by the same CMFD method. • In nodal applications the excited eigenmodes are purely mathematical entities. - Abstract: Computation of the neutron adjoint flux within the framework of modern nodal diffusion methods is often facilitated by reducing the nodal equation system for the forward flux into a simpler coarse-mesh finite-difference form and then transposing the resultant matrix equations. The solution to the transposed problem is known as the nodal mathematical adjoint. Since the coarse-mesh finite-difference reduction of a given nodal formulation can be obtained in a number of ways, different nodal mathematical adjoint solutions can be computed. This non-uniqueness of the nodal mathematical adjoint challenges the credibility of the reduction strategy and demands a verdict as to its suitability in practical applications. This is the matter under consideration in this paper. A selected number of coarse-mesh finite-difference reduction schemes are described and compared. Numerical calculations are utilised to illustrate the differences in the adjoint solutions as well as to appraise the impact on such common applications as the computation of core point kinetics parameters. Recommendations are made for the proper application of the coarse-mesh finite-difference reduction approach to the nodal mathematical adjoint problem

Herbart's mathematical psychology.

Science.gov (United States)

Boudewijnse, G J; Murray, D J; Bandomir, C A

1999-08-01

J.F. Herbart (1824/1890b) provided a mathematical theory about how mental ideas (Vorstellungen) in consciousness at Time 1 (T1) could compete, possibly driving 1 or more Vorstellungen below a threshold of consciousness. At T1 a Vorstellung A could also fuse with another, B. If at a later T2, A resurfaced into consciousness, it could help B to re-resurface into consciousness. This article describes the historical and mathematical background of Herbart's theory, outlines the mathematical theory itself with the aid of computer graphics, and argues that the theory can be applied to the modern problem of predicting recognition latencies in short-term memory (Sternberg's task; Sternberg, 1966)

Computational error and complexity in science and engineering computational error and complexity

CERN Document Server

Lakshmikantham, Vangipuram; Chui, Charles K; Chui, Charles K

2005-01-01

The book "Computational Error and Complexity in Science and Engineering” pervades all the science and engineering disciplines where computation occurs. Scientific and engineering computation happens to be the interface between the mathematical model/problem and the real world application. One needs to obtain good quality numerical values for any real-world implementation. Just mathematical quantities symbols are of no use to engineers/technologists. Computational complexity of the numerical method to solve the mathematical model, also computed along with the solution, on the other hand, will tell us how much computation/computational effort has been spent to achieve that quality of result. Anyone who wants the specified physical problem to be solved has every right to know the quality of the solution as well as the resources spent for the solution. The computed error as well as the complexity provide the scientific convincing answer to these questions. Specifically some of the disciplines in which the book w...

Explorations in Elementary Mathematical Modeling

Science.gov (United States)

Shahin, Mazen

2010-01-01

In this paper we will present the methodology and pedagogy of Elementary Mathematical Modeling as a one-semester course in the liberal arts core. We will focus on the elementary models in finance and business. The main mathematical tools in this course are the difference equations and matrix algebra. We also integrate computer technology and…

Discrete Mathematics and Its Applications

Science.gov (United States)

Oxley, Alan

2010-01-01

The article gives ideas that lecturers of undergraduate Discrete Mathematics courses can use in order to make the subject more interesting for students and encourage them to undertake further studies in the subject. It is possible to teach Discrete Mathematics with little or no reference to computing. However, students are more likely to be…

Learning to Calculate and Learning Mathematics.

Science.gov (United States)

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)

Modeling of requirement specification for safety critical real time computer system using formal mathematical specifications

International Nuclear Information System (INIS)

Sankar, Bindu; Sasidhar Rao, B.; Ilango Sambasivam, S.; Swaminathan, P.

2002-01-01

Full text: Real time computer systems are increasingly used for safety critical supervision and control of nuclear reactors. Typical application areas are supervision of reactor core against coolant flow blockage, supervision of clad hot spot, supervision of undesirable power excursion, power control and control logic for fuel handling systems. The most frequent cause of fault in safety critical real time computer system is traced to fuzziness in requirement specification. To ensure the specified safety, it is necessary to model the requirement specification of safety critical real time computer systems using formal mathematical methods. Modeling eliminates the fuzziness in the requirement specification and also helps to prepare the verification and validation schemes. Test data can be easily designed from the model of the requirement specification. Z and B are the popular languages used for modeling the requirement specification. A typical safety critical real time computer system for supervising the reactor core of prototype fast breeder reactor (PFBR) against flow blockage is taken as case study. Modeling techniques and the actual model are explained in detail. The advantages of modeling for ensuring the safety are summarized

Approximation and Computation

CERN Document Server

Gautschi, Walter; Rassias, Themistocles M

2011-01-01

Approximation theory and numerical analysis are central to the creation of accurate computer simulations and mathematical models. Research in these areas can influence the computational techniques used in a variety of mathematical and computational sciences. This collection of contributed chapters, dedicated to renowned mathematician Gradimir V. Milovanovia, represent the recent work of experts in the fields of approximation theory and numerical analysis. These invited contributions describe new trends in these important areas of research including theoretic developments, new computational alg

The Effects of Computer Programming on High School Students' Reasoning Skills and Mathematical Self-Efficacy and Problem Solving

Science.gov (United States)

Psycharis, Sarantos; Kallia, Maria

2017-01-01

In this paper we investigate whether computer programming has an impact on high school student's reasoning skills, problem solving and self-efficacy in Mathematics. The quasi-experimental design was adopted to implement the study. The sample of the research comprised 66 high school students separated into two groups, the experimental and the…

A preoperative mathematic model for computed tomographic guided microwave ablation treatment of hepatic dome tumors.

Science.gov (United States)

Gao, Fei; Wang, Guo-Bao; Xiang, Zhan-Wang; Yang, Bin; Xue, Jing-Bing; Mo, Zhi-Qiang; Zhong, Zhi-Hui; Zhang, Tao; Zhang, Fu-Jun; Fan, Wei-Jun

2016-05-03

This study sought to prospectively evaluate the feasibility and safety of a preoperative mathematic model for computed tomographic(CT) guided microwave(MW) ablation treatment of hepatic dome tumors. This mathematic model was a regular cylinder quantifying appropriate puncture routes from the bottom up. A total of 103 patients with hepatic dome tumors were enrolled and randomly divided into 2 groups based on whether this model was used or not: Group A (using the model; n = 43) versus Group B (not using the model; n = 60). All tumors were treated by CT-guided MW ablation and follow-up contrast CT were reviewed. The average number of times for successful puncture, average ablation time, and incidence of right shoulder pain were less in Group A than Group B (1.4 vs. 2.5, P = 0.001; 8.8 vs. 11.1 minutes, P = 0.003; and 4.7% vs. 20%, P = 0.039). The technical success rate was higher in Group A than Group B (97.7% vs. 85.0%, P = 0.032). There were no significant differences between the two groups in primary and secondary technique efficacy rates (97.7% vs. 88.3%, P = 0.081; 90.0% vs. 72.7%, P = 0.314). No major complications occurred in both groups. The mathematic model of regular cylinder is feasible and safe for CT-guided MW ablation in treating hepatic dome tumors.

A mathematics sampler topics for the liberal arts

CERN Document Server

Berlinghoff, William P; Skrien, Dale

2001-01-01

Now in its fifth edition, A Mathematics Sampler presents mathematics as both science and art, focusing on the historical role of mathematics in our culture. It uses selected topics from modern mathematics-including computers, perfect numbers, and four-dimensional geometry-to exemplify the distinctive features of mathematics as an intellectual endeavor, a problem-solving tool, and a way of thinking about the rapidly changing world in which we live. A Mathematics Sampler also includes unique LINK sections throughout the book, each of which connects mathematical concepts with areas of interest th

The Greatest Mathematical Discovery?

Energy Technology Data Exchange (ETDEWEB)

Bailey, David H.; Borwein, Jonathan M.

2010-05-12

What mathematical discovery more than 1500 years ago: (1) Is one of the greatest, if not the greatest, single discovery in the field of mathematics? (2) Involved three subtle ideas that eluded the greatest minds of antiquity, even geniuses such as Archimedes? (3) Was fiercely resisted in Europe for hundreds of years after its discovery? (4) Even today, in historical treatments of mathematics, is often dismissed with scant mention, or else is ascribed to the wrong source? Answer: Our modern system of positional decimal notation with zero, together with the basic arithmetic computational schemes, which were discovered in India about 500 CE.

Competence with fractions predicts gains in mathematics achievement.

Science.gov (United States)

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

2012-11-01

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

Computational and Mathematical Modeling of Coupled Superconducting Quantum Interference Devices

Science.gov (United States)

Berggren, Susan Anne Elizabeth

This research focuses on conducting an extensive computational investigation and mathematical analysis into the average voltage response of arrays of Superconducting Quantum Interference Devices (SQUIDs). These arrays will serve as the basis for the development of a sensitive, low noise, significantly lower Size, Weight and Power (SWaP) antenna integrated with Low-Noise Amplifier (LNA) using the SQUID technology. The goal for this antenna is to be capable of meeting all requirements for Guided Missile Destroyers (DDG) 1000 class ships for Information Operations/Signals Intelligence (IO/SIGINT) applications in Very High Frequency/Ultra High Frequency (V/UHF) bands. The device will increase the listening capability of receivers by moving technology into a new regime of energy detection allowing wider band, smaller size, more sensitive, stealthier systems. The smaller size and greater sensitivity will allow for ships to be “de-cluttered” of their current large dishes and devices, replacing everything with fewer and smaller SQUID antenna devices. The fewer devices present on the deck of a ship, the more invisible the ship will be to enemy forces. We invent new arrays of SQUIDs, optimized for signal detection with very high dynamic range and excellent spur-free dynamic range, while maintaining extreme small size (and low radar cross section), wide bandwidth, and environmentally noise limited sensitivity, effectively shifting the bottle neck of receiver systems forever away from the antenna itself deeper into the receiver chain. To accomplish these goals we develop and validate mathematical models for different designs of SQUID arrays and use them to invent a new device and systems design. This design is capable of significantly exceeding, per size weight and power, state-of-the-art receiver system measures of performance, such as bandwidth, sensitivity, dynamic range, and spurious-free dynamic range.

An introduction to mathematical modeling a course in mechanics

CERN Document Server

Oden, Tinsley J

2011-01-01

A modern approach to mathematical modeling, featuring unique applications from the field of mechanics An Introduction to Mathematical Modeling: A Course in Mechanics is designed to survey the mathematical models that form the foundations of modern science and incorporates examples that illustrate how the most successful models arise from basic principles in modern and classical mathematical physics. Written by a world authority on mathematical theory and computational mechanics, the book presents an account of continuum mechanics, electromagnetic field theory, quantum mechanics, and statistical mechanics for readers with varied backgrounds in engineering, computer science, mathematics, and physics. The author streamlines a comprehensive understanding of the topic in three clearly organized sections: Nonlinear Continuum Mechanics introduces kinematics as well as force and stress in deformable bodies; mass and momentum; balance of linear and angular momentum; conservation of energy; and constitutive equation...

Game Design and Development as Mathematical Activities

DEFF Research Database (Denmark)

Jensen, Erik Ottar; Hanghøj, Thorkild; Misfeldt, Morten

2016-01-01

education which have mostly been tied to students making learning games involving specific mathematical content. Game design activities are reported to have a motivational pull for students. A challenge seems to be that the students are mostly motivated by the game design or the programming activities...... between user and goal through the computational artifacts being used. The framework serves as a lens for making sense of computer game design as a context for learning mathematics....

Remote access to mathematical software

International Nuclear Information System (INIS)

Dolan, E.; Hovland, P.; More, J.; Norris, B.; Smith, B.

2001-01-01

The network-oriented application services paradigm is becoming increasingly common for scientific computing. The popularity of this approach can be attributed to the numerous advantages to both user and developer provided by network-enabled mathematical software. The burden of installing and maintaining complex systems is lifted from the user, while enabling developers to provide frequent updates without disrupting service. Access to software with similar functionality can be unified under the same interface. Remote servers can utilize potentially more powerful computing resources than may be available locally. We discuss some of the application services developed by the Mathematics and Computer Science Division at Argonne National Laboratory, including the Network Enabled Optimization System (NEOS) Server and the Automatic Differentiation of C (ADIC) Server, as well as preliminary work on Web access to the Portable Extensible Toolkit for Scientific Computing (PETSc). We also provide a brief survey of related work

MATHEMATICAL AND COMPUTATIONAL MODELLING OF RIBOSOMAL MOVEMENT AND PROTEIN SYNTHESIS: AN OVERVIEW

Directory of Open Access Journals (Sweden)

Tobias von der Haar

2012-04-01

Full Text Available Translation or protein synthesis consists of a complex system of chemical reactions, which ultimately result in decoding of the mRNA and the production of a protein. The complexity of this reaction system makes it difficult to quantitatively connect its input parameters (such as translation factor or ribosome concentrations, codon composition of the mRNA, or energy availability to output parameters (such as protein synthesis rates or ribosome densities on mRNAs. Mathematical and computational models of translation have now been used for nearly five decades to investigate translation, and to shed light on the relationship between the different reactions in the system. This review gives an overview over the principal approaches used in the modelling efforts, and summarises some of the major findings that were made.

An introduction to mathematical cryptography

CERN Document Server

Hoffstein, Jeffrey; Silverman, Joseph H

2014-01-01

This self-contained introduction to modern cryptography emphasizes the mathematics behind the theory of public key cryptosystems and digital signature schemes. The book focuses on these key topics while developing the mathematical tools needed for the construction and security analysis of diverse cryptosystems. Only basic linear algebra is required of the reader; techniques from algebra, number theory, and probability are introduced and developed as required. This text provides an ideal introduction for mathematics and computer science students to the mathematical foundations of modern cryptography. The book includes an extensive bibliography and index; supplementary materials are available online. The book covers a variety of topics that are considered central to mathematical cryptography. Key topics include: classical cryptographic constructions, such as Diffie–Hellmann key exchange, discrete logarithm-based cryptosystems, the RSA cryptosystem, and digital signatures; fundamental mathematical tools for cr...

Performance Analysis of Parallel Mathematical Subroutine library PARCEL

International Nuclear Information System (INIS)

Yamada, Susumu; Shimizu, Futoshi; Kobayashi, Kenichi; Kaburaki, Hideo; Kishida, Norio

2000-01-01

The parallel mathematical subroutine library PARCEL (Parallel Computing Elements) has been developed by Japan Atomic Energy Research Institute for easy use of typical parallelized mathematical codes in any application problems on distributed parallel computers. The PARCEL includes routines for linear equations, eigenvalue problems, pseudo-random number generation, and fast Fourier transforms. It is shown that the results of performance for linear equations routines exhibit good parallelization efficiency on vector, as well as scalar, parallel computers. A comparison of the efficiency results with the PETSc (Portable Extensible Tool kit for Scientific Computations) library has been reported. (author)

Automata, universality, computation tribute to Maurice Margenstern

CERN Document Server

2015-01-01

This book is an intellectually stimulating excursion into mathematical machines and structures capable for a universal computation. World top experts in computer science and mathematics overview exciting and intriguing topics of logical theory of monoids, geometry of Gauss word, philosophy of mathematics in computer science, asynchronous and parallel P-systems, decidability in cellular automata, splicing systems, reversible Turing machines, information flows in two-way finite automata, prime generators in automaton arrays, Grossone and Turing machines, automaton models of atomic lattices. The book is  full of visually attractive examples of mathematical machines, open problems and challenges for future research. Those interested in the advancement of a theory of computation, philosophy of mathematics, future and emergent computing paradigms, architectures and implementations will find the book vital for their research and development.

Improving mathematical problem solving : A computerized approach

NARCIS (Netherlands)

Harskamp, EG; Suhre, CJM

Mathematics teachers often experience difficulties in teaching students to become skilled problem solvers. This paper evaluates the effectiveness of two interactive computer programs for high school mathematics problem solving. Both programs present students with problems accompanied by instruction

Discrete computational structures

CERN Document Server

Korfhage, Robert R

1974-01-01

Discrete Computational Structures describes discrete mathematical concepts that are important to computing, covering necessary mathematical fundamentals, computer representation of sets, graph theory, storage minimization, and bandwidth. The book also explains conceptual framework (Gorn trees, searching, subroutines) and directed graphs (flowcharts, critical paths, information network). The text discusses algebra particularly as it applies to concentrates on semigroups, groups, lattices, propositional calculus, including a new tabular method of Boolean function minimization. The text emphasize

Using Two Languages when Learning Mathematics

Science.gov (United States)

Moschkovich, Judit

2007-01-01

This article reviews two sets of research studies from outside of mathematics education to consider how they may be relevant to the study of bilingual mathematics learners using two languages. The first set of studies is psycholinguistics experiments comparing monolinguals and bilinguals using two languages during arithmetic computation (language…

Mathematical concepts for mechanical engineering design

CERN Document Server

Asli, Kaveh Hariri; Aliyev, Soltan Ali Ogli

2013-01-01

PrefaceIntroductionHeat Flow: From Theory to PracticeDispersed Fluid and Ideal Fluid MechanicsModeling for Pressure Wave into Water PipelineHeat Transfer and Vapor BubbleMathematical Concepts and Computational Approaches on Hydrodynamics InstabilityMathematical Concepts and Dynamic ModelingModeling for Predictions of Air Entrance into Water PipelineIndex

AN ANALYSIS OF NUMBER SENSE AND MENTAL COMPUTATION IN THE LEARNING OF MATHEMATICS

Directory of Open Access Journals (Sweden)

Parmit Singh Aperapar

2011-04-01

Full Text Available The purpose of this research was to assess students’ understanding of number sense and mental computation among Form One, Form Two, Form Three and Form Four students. A total of 1756 students, ages ranging from 12 to 17 years, from thirteen schools in Selangor participated in this study. A majority (74.9% of these students obtained an A grade for their respective year-end school examinations. The design for this study was quantitative in nature where the data on student’s sense of numbers was collected using two instruments, namely, Number Sense Test and Mental Computation Test. Each of these instruments consisted of 50 and 45 items respectively. The results from this study indicate that students were not able to cope to the Number Sense Test as compared to the Mental Computation Test. The former unveils a low percentage of 37.3% to 47.7% as compared to the latter of 79% to 88.6% across the levels. In the number Sense Test, surprisingly, there was no significant difference in the results between Form 1 students and Form 2 students and also between Form 3 students and Form 4 students. This seems to indicate that as the number of years in schools increase, there is an increasing reliance on algorithm and procedures. Although in the literature it has been argued that including mental computation in a mathematics curriculum promotes number sense (McIntosh et. al., 1997; Reys, Reys, Nohda, & Emori, 2005, this was not the case in this study. It seems that an over reliance on paper and pencil computation at the expense of intuitive understanding of numbers is taking place among these students.

Discrete mathematics course supported by CAS MATHEMATICA

Science.gov (United States)

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

2017-08-01

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

Views of Elementary School Pre-Service Teachers About the Use of Educational Mathematics Games in Mathematics Teaching

Directory of Open Access Journals (Sweden)

Hasan Topçu

2014-08-01

Full Text Available The aim of this study was to reveal the opinions of elementary school pre-service teachers about the usage of educational mathematics games in elementary mathematics teaching. In this study, case study that, one of qualitative research methods, was used. Data were collected by utilizing a semi-structured interview form to these elementary school pre-service teachers and analyzed using by content analysis method. A total of 10 junior pre-service teachers enrolled in undergraduate programs of elementary teaching attended to this research. In conclusion, these pre-service teachers indicated that educational computer games would provide benefits such as making students’ learning more permanent, visualizing concepts, making students love mathematics, learning by entertaining, reinforcing what has been learnt and developing thinking skills. Nevertheless, these elementary school pre-service teachers stated the limitations about educational computer games such as causing addiction and physical damages, being time-consuming, requiring special equipment and software and making class management difficult. Besides, it was revealed that the pre-service teachers demonstrated positive attitudes towards the use of games in courses while that they did not feel themselves competent in terms of application.Key Words:    Educational computer games, mathematics teaching, elementary school pre-service teachers

Visualization and mathematics III

CERN Document Server

Polthier, Konrad

2003-01-01

This research book on Mathematical Visualization contains state of the art presentations on visualization problems in mathematics, on fundamental mathematical research in computer graphics, and on software frameworks for the application of visualization to real-world problems. All contributions were written by leading experts in the field and peer-refereed by an international editorial team. The book grew out of the third international workshop "Visualization and Mathematics", which was held from May 22-25, 2002 in Berlin. The themes of the book cover important recent developments on - Geometry and Combinatorics of Meshes - Discrete Vector Fields and Topology - Geometric Modelling - Image Based Visualization - Software Environments and Applications - Education and Communication The variety of topics makes the book a suitable resource for researchers, lecturers, and practitioners; http://www-sfb288.math.tu-berlin.de/vismath/

Applied Mathematical Problems in Engineering

Directory of Open Access Journals (Sweden)

Carlos Llopis-Albert

2016-10-01

Full Text Available There is a close relationship between engineering and mathematics, which has led to the development of new techniques in recent years. Likewise the developments in technology and computers have led to new ways of teaching mathematics for engineering students and the use of modern techniques and methods.  This research aims to provide insight on how to deal with mathematical problems for engineering students. This is performed by means of a fuzzy set/Qualitative Comparative Analysis applied to conflict resolution of Public Participation Projects in support to the EU Water Framework Directive.

Mathematics computer-based training tool for pupils with special educational needs

OpenAIRE

Čeponienė, Lina

2010-01-01

Mathematics has a great influence on the development of world science and education, technology and human culture. Ukeje observes that without mathematics there is no science, without science there is no modern technology and without modern technology there is no modern society. In other words, mathematics is the precursor and the queen of science and technology and the indispensable single element in modern societal development. So, it plays a vital role in developing learners abilities to c...

Computational Technique for Teaching Mathematics (CTTM): Visualizing the Polynomial's Resultant

Science.gov (United States)

Alves, Francisco Regis Vieira

2015-01-01

We find several applications of the Dynamic System Geogebra--DSG related predominantly to the basic mathematical concepts at the context of the learning and teaching in Brasil. However, all these works were developed in the basic level of Mathematics. On the other hand, we discuss and explore, with DSG's help, some applications of the polynomial's…

An introduction to the mathematics of biology with computer algebra models

CERN Document Server

Yeargers, Edward K; Herod, James V

1996-01-01

Biology is a source of fascination for most scientists, whether their training is in the life sciences or not. In particular, there is a special satisfaction in discovering an understanding of biology in the context of another science like mathematics. Fortunately there are plenty of interesting (and fun) problems in biology, and virtually all scientific disciplines have become the richer for it. For example, two major journals, Mathematical Biosciences and Journal of Mathematical Biology, have tripled in size since their inceptions 20-25 years ago. The various sciences have a great deal to give to one another, but there are still too many fences separating them. In writing this book we have adopted the philosophy that mathematical biology is not merely the intrusion of one science into another, but has a unity of its own, in which both the biology and the math­ ematics should be equal and complete, and should flow smoothly into and out of one another. We have taught mathematical biology with this philosophy...

Mathematics for multimedia

CERN Document Server

Wickerhauser, Mladen Victor

2003-01-01

Mathematics and Multimedia focuses on the mathematics behind multimedia applications. This timely and thoroughly modern text is a rigorous survey of selected results from algebra and analysis, requiring only undergraduate math skills.The topics are `gems' chosen for their usefulness in understanding and creating application software for multimedia signal processing and communication.The book is aimed at a wide audience, including computer science and mathematics majors and those interested in employing mathematics in multimedia design and implementation. For the instructor, the material is divided into six chapters that may be presented in six lecture hours each. Thus, the entire text may be covered in one semester, with time left for examinations and student projects. For the student,there are more than 100 exercises with complete solutions, and numerous example programs in Standard C. Each chapter ends with suggestions for further reading. A companion website provides more insight for both instructors and s...

Mathematical analysis II

CERN Document Server

Canuto, Claudio

2015-01-01

The purpose of the volume is to provide a support textbook for a second lecture course on Mathematical Analysis. The contents are organised to suit, in particular, students of Engineering, Computer Science and Physics, all areas in which mathematical tools play a crucial role. The basic notions and methods concerning integral and differential calculus for multivariable functions, series of functions and ordinary differential equations are presented in a manner that elicits critical reading and prompts a hands-on approach to concrete applications. The pedagogical layout echoes the one used in the companion text Mathematical Analysis I. The book’s structure has a specifically-designed modular nature, which allows for great flexibility in the preparation of a lecture course on Mathematical Analysis. The style privileges clarity in the exposition and a linear progression through the theory. The material is organised on two levels. The first, reflected in this book, allows students to grasp the essential ideas, ...

Mathematical models in medicine: Diseases and epidemics

International Nuclear Information System (INIS)

Witten, M.

1987-01-01

This volume presents the numerous applications of mathematics in the life sciences and medicine, and demonstrates how mathematics and computers have taken root in these fields. The work covers a variety of techniques and applications including mathematical and modelling methodology, modelling/simulation technology, and philosophical issues in model formulation, leading to speciality medical modelling, artificial intelligence, psychiatric models, medical decision making, and molecular modelling

Mathematics of aperiodic order

CERN Document Server

Lenz, Daniel; Savinien, Jean

2015-01-01

What is order that is not based on simple repetition, that is, periodicity? How must atoms be arranged in a material so that it diffracts like a quasicrystal? How can we describe aperiodically ordered systems mathematically? Originally triggered by the – later Nobel prize-winning – discovery of quasicrystals, the investigation of aperiodic order has since become a well-established and rapidly evolving field of mathematical research with close ties to a surprising variety of branches of mathematics and physics. This book offers an overview of the state of the art in the field of aperiodic order, presented in carefully selected authoritative surveys. It is intended for non-experts with a general background in mathematics, theoretical physics or computer science, and offers a highly accessible source of first-hand information for all those interested in this rich and exciting field. Topics covered include the mathematical theory of diffraction, the dynamical systems of tilings or Delone sets, their cohomolog...

Using computer algebra and SMT-solvers to analyze a mathematical model of cholera propagation

Science.gov (United States)

Trujillo Arredondo, Mariana

2014-06-01

We analyze a mathematical model for the transmission of cholera. The model is already defined and involves variables such as the pathogen agent, which in this case is the bacterium Vibrio cholera, and the human population. The human population is divided into three classes: susceptible, infectious and removed. Using Computer Algebra, specifically Maple we obtain two equilibrium states: the disease free state and the endemic state. Using Maple it is possible to prove that the disease free state is locally asymptotically stable if and only if R0 1. Using the package Red-Log of the Computer algebra system Reduce and the SMT-Solver Z3Py it is possible to obtain numerical conditions for the model. The formula for the basic reproductive number makes a synthesis with all epidemic parameters in the model. Also it is possible to make numerical simulations which are very illustrative about the epidemic patters that are expected to be observed in real situations. We claim that these kinds of software are very useful in the analysis of epidemic models given that the symbolic computation provides algebraic formulas for the basic reproductive number and such algebraic formulas are very useful to derive control measures. For other side, computer algebra software is a powerful tool to make the stability analysis for epidemic models given that the all steps in the stability analysis can be made automatically: finding the equilibrium points, computing the jacobian, computing the characteristic polynomial for the jacobian, and applying the Routh-Hurwitz theorem to the characteristic polynomial. Finally, using SMT-Solvers is possible to make automatically checks of satisfiability, validity and quantifiers elimination being these computations very useful to analyse complicated epidemic models.

International Conference on Mathematical Fluid Dynamics

CERN Document Server

Suzuki, Yukihito

2016-01-01

This volume presents original papers ranging from an experimental study on cavitation jets to an up-to-date mathematical analysis of the Navier-Stokes equations for free boundary problems, reflecting topics featured at the International Conference on Mathematical Fluid Dynamics, Present and Future, held 11–14 November 2014 at Waseda University in Tokyo. The contributions address subjects in one- and two-phase fluid flows, including cavitation, liquid crystal flows, plasma flows, and blood flows. Written by internationally respected experts, these papers highlight the connections between mathematical, experimental, and computational fluid dynamics. The book is aimed at a wide readership in mathematics and engineering, including researchers and graduate students interested in mathematical fluid dynamics.

Proceedings – Mathematical Sciences | Indian Academy of Sciences

Indian Academy of Sciences (India)

Author Affiliations. Deepak Kumar Gumber1 Ram Karan2 Indu Pal2. School of Mathematics and Computer Applications, Thapar University, Patiala 147 004, India; Department of Mathematics, Kurukshetra University, Kurukshetra 136 119, India ...

Engineering Physics and Mathematics Division progress report for period ending December 31, 1994

International Nuclear Information System (INIS)

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 January 1, 1993, through December 31, 1994. This report is the final archival record of the EPM Division. On October 1, 1994, ORELA was transferred to Physics Division and on January 1, 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

Engineering Physics and Mathematics Division progress report for period ending December 31, 1994

Energy Technology Data Exchange (ETDEWEB)

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 January 1, 1993, through December 31, 1994. This report is the final archival record of the EPM Division. On October 1, 1994, ORELA was transferred to Physics Division and on January 1, 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.

New computational paradigms changing conceptions of what is computable

CERN Document Server

Cooper, SB; Sorbi, Andrea

2007-01-01

This superb exposition of a complex subject examines new developments in the theory and practice of computation from a mathematical perspective. It covers topics ranging from classical computability to complexity, from biocomputing to quantum computing.

Making the Learning of Mathematics More Meaningful

Science.gov (United States)

Ward, Robin A.

1998-01-01

In the early 1980's, the National Commission on Excellence in Education responded to the call for reform in the teaching and learning of mathematics. In particular, the Commission developed a document addressing the consensus that all students need to learn more, and often different, mathematics and that instruction in mathematics must be significantly revised. In a response to these calls for mathematics education reform, the National Council of Teachers of Mathematics (NCTM) developed its Curriculum and Evaluation Standards (1989) with a two-fold purpose: 1) to create a coherent vision of what it means to be mathematically literate in a world that relies on calculators and computers, and 2) to create a set of standards to guide the revisions of school mathematics curriculum.

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

Science.gov (United States)

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

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

Science.gov (United States)

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.

Algorithms in Modern Mathematics and Computer Science.

Science.gov (United States)

1980-01-01

importance, since we will go on doing what we are doing no matter what it is called; after all, other disciplines like Mathematics and Chemistry are no...longer related very strongly to the etymology of their names. However, if I had a chance to vote for the name of my own discipline, I would choose to call

The Role of Mathematics Learning Centres in Engineering Education.

Science.gov (United States)

Fuller, Milton

2002-01-01

Points out the diminishing demand for mathematics undergraduate programs and the strong trend in engineering education to make greater use of computer coursework such as Mathcad, Matlab, and other software systems for the mathematical and statistical components of engineering programs. Describes the changing role of mathematics learning centers…

Computing the stability of steady-state solutions of mathematical models of the electrical activity in the heart.

Science.gov (United States)

Tveito, Aslak; Skavhaug, Ola; Lines, Glenn T; Artebrant, Robert

2011-08-01

Instabilities in the electro-chemical resting state of the heart can generate ectopic waves that in turn can initiate arrhythmias. We derive methods for computing the resting state for mathematical models of the electro-chemical process underpinning a heartbeat, and we estimate the stability of the resting state by invoking the largest real part of the eigenvalues of a linearized model. The implementation of the methods is described and a number of numerical experiments illustrate the feasibility of the methods. In particular, we test the methods for problems where we can compare the solutions with analytical results, and problems where we have solutions computed by independent software. The software is also tested for a fairly realistic 3D model. Copyright © 2011 Elsevier Ltd. All rights reserved.

5th Conference on Advanced Mathematical and Computational Tools in Metrology

CERN Document Server

Cox, M G; Filipe, E; Pavese, F; Richter, D

2001-01-01

Advances in metrology depend on improvements in scientific and technical knowledge and in instrumentation quality, as well as on better use of advanced mathematical tools and development of new ones. In this volume, scientists from both the mathematical and the metrological fields exchange their experiences. Industrial sectors, such as instrumentation and software, will benefit from this exchange, since metrology has a high impact on the overall quality of industrial products, and applied mathematics is becoming more and more important in industrial processes.This book is of interest to people

Introduction to computational linear algebra

CERN Document Server

Nassif, Nabil; Erhel, Jocelyne

2015-01-01

Introduction to Computational Linear Algebra introduces the reader with a background in basic mathematics and computer programming to the fundamentals of dense and sparse matrix computations with illustrating examples. The textbook is a synthesis of conceptual and practical topics in ""Matrix Computations."" The book's learning outcomes are twofold: to understand state-of-the-art computational tools to solve matrix computations problems (BLAS primitives, MATLAB® programming) as well as essential mathematical concepts needed to master the topics of numerical linear algebra. It is suitable for s

Computational modeling of the mathematical phantoms of the Brazilian woman to internal dosimetry calculations and for comparison of the absorbed fractions with specific reference women

International Nuclear Information System (INIS)

Ximenes, Edmir; Guimaraes, Maria Ines C. C.

2008-01-01

The theme of this work is the study of the concept of mathematical dummy - also called phantoms - used in internal dosimetry and radiation protection, from the perspective of computer simulations. In this work he developed the mathematical phantom of the Brazilian woman, to be used as the basis of calculations of Specific Absorbed Fractions (AEDs) in the body's organs and skeleton by virtue of goals with regarding the diagnosis or therapy in nuclear medicine. The phantom now developed is similar, in form, to Snyder phantom making it more realistic for the anthropomorphic conditions of Brazilian women. For so we used the Monte Carlo method of formalism, through computer modeling. As a contribution to the objectives of this study, it was developed and implemented the computer system cFAE - consultation Fraction Specific Absorbed, which makes it versatile for the user's query researcher

Modelling and Optimizing Mathematics Learning in Children

Science.gov (United States)

Käser, Tanja; Busetto, Alberto Giovanni; Solenthaler, Barbara; Baschera, Gian-Marco; Kohn, Juliane; Kucian, Karin; von Aster, Michael; Gross, Markus

2013-01-01

This study introduces a student model and control algorithm, optimizing mathematics learning in children. The adaptive system is integrated into a computer-based training system for enhancing numerical cognition aimed at children with developmental dyscalculia or difficulties in learning mathematics. The student model consists of a dynamic…

Proceedings – Mathematical Sciences | Indian Academy of Sciences

Indian Academy of Sciences (India)

Author Affiliations. Dong Jun Jee1 Tuo Yeong Lee1 Nathaniel Zhi-Wei Leon1. Department of Mathematics, Statistics and Computing, NUS High School of Mathematics and Science, 20 Clementi Avenue 1, Singapore 129957, Republic of Singapore ...

Apcom 87. Proceedings of the twentieth international symposium on the application of computers and mathematics in the mineral industries V. 2

International Nuclear Information System (INIS)

King, R.P.; Barker, I.J.

1987-01-01

APCOM symposia provide a medium of exchange of technical expertise and experience for practitioners in the general field of applications of computers, operations research, mathematical and geostatistical techniques in the mineral industries. Contributors represent mine and plant personnel, academic and government or semi-government representatives, and the topics covered range from mining and metallurgical techniques and planning to financial analysis, project valuation, information systems, computer graphics, geostatistics, etc. For the 20th APCOM, the Proceedings have been divided into the three broad categories of mining, metallurgy and geostatistics, and are grouped accordingly into the three published volumes. APCOM '87, the twentieth in this series of international meetings, places major emphasis on the practical application of computers in the workplace to implement the theoretical techniques. Modelling, simulation and process control still seem to attract the major research efforts. Modelling of milling and flotation have a long history but are still active areas for research. Pyrometallurgy, gold recovery, separation processes with distributed partition functions like screening and gravity separation, and electrowinning, are also attracting attention. Computeraided design (CAD) is becoming a lot more usable and available throughout the industry. Process control is at the door of a new era, with the combination of sensor technology, reliable on-plant computers and viable theoretical techniques now becoming available as never before. CAD and process control have also given new impetus to the need to develop and test computer-based models of a wider range of unit operations. APCOM remains the most important forum for the discussion of new developments in the application of computer methods and mathematical techniques in the metallurgical industry

Mathematical Model and Computational Analysis of Selected Transient States of Cylindrical Linear Induction Motor Fed via Frequency Converter

Directory of Open Access Journals (Sweden)

Andrzej Rusek

2008-01-01

Full Text Available The mathematical model of cylindrical linear induction motor (C-LIM fed via frequency converter is presented in the paper. The model was developed in order to analyze numerically the transient states. Problems concerning dynamics of ac-machines especially linear induction motor are presented in [1 – 7]. Development of C-LIM mathematical model is based on circuit method and analogy to rotary induction motor. The analogy between both: (a stator and rotor windings of rotary induction motor and (b winding of primary part of C-LIM (inductor and closed current circuits in external secondary part of C-LIM (race is taken into consideration. The equations of C-LIM mathematical model are presented as matrix together with equations expressing each vector separately. A computational analysis of selected transient states of C-LIM fed via frequency converter is presented in the paper. Two typical examples of C-LIM operation are considered for the analysis: (a starting the motor at various static loads and various synchronous velocities and (b reverse of the motor at the same operation conditions. Results of simulation are presented as transient responses including transient electromagnetic force, transient linear velocity and transient phase current.

Computer Simulation Western

International Nuclear Information System (INIS)

Rasmussen, H.

1992-01-01

Computer Simulation Western is a unit within the Department of Applied Mathematics at the University of Western Ontario. Its purpose is the development of computational and mathematical methods for practical problems in industry and engineering and the application and marketing of such methods. We describe the unit and our efforts at obtaining research and development grants. Some representative projects will be presented and future plans discussed. (author)

Some Aspects of Mathematical and Physical Approaches for Topological Quantum Computation

Directory of Open Access Journals (Sweden)

V. Kantser

2011-10-01

Full Text Available A paradigm to build a quantum computer, based on topological invariants is highlighted. The identities in the ensemble of knots, links and braids originally discovered in relation to topological quantum field theory are shown: how they define Artin braid group -- the mathematical basis of topological quantum computation (TQC. Vector spaces of TQC correspond to associated strings of particle interactions, and TQC operates its calculations on braided strings of special physical quasiparticles -- anyons -- with non-Abelian statistics. The physical platform of TQC is to use the topological quantum numbers of such small groups of anyons as qubits and to perform operations on these qubits by exchanging the anyons, both within the groups that form the qubits and, for multi-qubit gates, between groups. By braiding two or more anyons, they acquire up a topological phase or Berry phase similar to that found in the Aharonov-Bohm effect. Topological matter such as fractional quantum Hall systems and novel discovered topological insulators open the way to form system of anyons -- Majorana fermions -- with the unique property of encoding and processing quantum information in a naturally fault-tolerant way. In the topological insulators, due to its fundamental attribute of topological surface state occurrence of the bound, Majorana fermions are generated at its heterocontact with superconductors. One of the key operations of TQC -- braiding of non-Abelian anyons: it is illustrated how it can be implemented in one-dimensional topological isolator wire networks.

Modellus: Learning Physics with Mathematical Modelling

Science.gov (United States)

Teodoro, Vitor

Computers are now a major tool in research and development in almost all scientific and technological fields. Despite recent developments, this is far from true for learning environments in schools and most undergraduate studies. This thesis proposes a framework for designing curricula where computers, and computer modelling in particular, are a major tool for learning. The framework, based on research on learning science and mathematics and on computer user interface, assumes that: 1) learning is an active process of creating meaning from representations; 2) learning takes place in a community of practice where students learn both from their own effort and from external guidance; 3) learning is a process of becoming familiar with concepts, with links between concepts, and with representations; 4) direct manipulation user interfaces allow students to explore concrete-abstract objects such as those of physics and can be used by students with minimal computer knowledge. Physics is the science of constructing models and explanations about the physical world. And mathematical models are an important type of models that are difficult for many students. These difficulties can be rooted in the fact that most students do not have an environment where they can explore functions, differential equations and iterations as primary objects that model physical phenomena--as objects-to-think-with, reifying the formal objects of physics. The framework proposes that students should be introduced to modelling in a very early stage of learning physics and mathematics, two scientific areas that must be taught in very closely related way, as they were developed since Galileo and Newton until the beginning of our century, before the rise of overspecialisation in science. At an early stage, functions are the main type of objects used to model real phenomena, such as motions. At a later stage, rates of change and equations with rates of change play an important role. This type of equations

The effects of home computer access and social capital on mathematics and science achievement among Asian-American high school students in the NELS:88 data set

Science.gov (United States)

Quigley, Mark Declan

The purpose of this researcher was to examine specific environmental, educational, and demographic factors and their influence on mathematics and science achievement. In particular, the researcher ascertained the interconnections of home computer access and social capital, with Asian American students and the effect on mathematics and science achievement. Coleman's theory on social capital and parental influence was used as a basis for the analysis of data. Subjects for this study were the base year students from the National Education Longitudinal Study of 1988 (NELS:88) and the subsequent follow-up survey data in 1990, 1992, and 1994. The approximate sample size for this study is 640 ethnic Asians from the NELS:88 database. The analysis was a longitudinal study based on the Student and Parent Base Year responses and the Second Follow-up survey of 1992, when the subjects were in 12th grade. Achievement test results from the NELS:88 data were used to measure achievement in mathematics and science. The NELS:88 test battery was developed to measure both individual status and a student's growth in a number of achievement areas. The subject's responses were analyzed by principal components factor analysis, weights, effect sizes, hierarchial regression analysis, and PLSPath Analysis. The results of this study were that prior ability in mathematics and science is a major influence in the student's educational achievement. Findings from the study support the view that home computer access has a negative direct effect on mathematics and science achievement for both Asian American males and females. None of the social capital factors in the study had either a negative or positive direct effect on mathematics and science achievement although some indirect effects were found. Suggestions were made toward increasing parental involvement in their children's academic endeavors. Computer access in the home should be considered related to television viewing and should be closely

Montgomery Blair Science, Mathematics and Computer Science Magnet Program: A Successful Model for Meeting the Needs of Highly Able STEM Learners

Science.gov (United States)

Stein, David; Ostrander, Peter; Lee, G. Maie

2016-01-01

The Magnet Program at Montgomery Blair High School is an application-based magnet program utilizing a curriculum focused on science, mathematics, and computer science catering to interested, talented, and eager to learn students in Montgomery County, Maryland. This article identifies and discusses some of the unique aspects of the Magnet Program…

Mathematical reasoning analogies, metaphors, and images

CERN Document Server

English, Lyn D

2013-01-01

How we reason with mathematical ideas continues to be a fascinating and challenging topic of research--particularly with the rapid and diverse developments in the field of cognitive science that have taken place in recent years. Because it draws on multiple disciplines, including psychology, philosophy, computer science, linguistics, and anthropology, cognitive science provides rich scope for addressing issues that are at the core of mathematical learning. Drawing upon the interdisciplinary nature of cognitive science, this book presents a broadened perspective on mathematics and mat

The nature and power of mathematics

CERN Document Server

Davis, Donald M

2004-01-01

This captivating book explains some of mathematics' most fascinating ideas to nonspecialists. It explores items of philosophical and historical interest, discusses the often-surprising applicability of mathematics, and reveals the subject's intrinsic beauty. Author Donald M. Davis focuses on three main areas: non-Euclidean geometry, a basis for relativity theory; number theory, a major component of cryptography; and fractals, the key elements of computer-generated art. He also discusses related topics, such as the relevance of Greek mathematics to Kepler's laws of planetary motion, and the th

Mathematical sciences with multidisciplinary applications in honor of professor Christiane Rousseau and in recognition of the Mathematics for Planet Earth initiative

CERN Document Server

2016-01-01

This book is the fourth in a multidisciplinary series which brings together leading researchers in the STEAM-H disciplines (Science, Technology, Engineering, Agriculture, Mathematics and Health) to present their perspective on advances in their own specific fields, and to generate a genuinely interdisciplinary collaboration that transcends parochial subject-matter boundaries. All contributions are carefully edited, peer-reviewed, reasonably self-contained, and pedagogically crafted for a multidisciplinary readership. Contributions are drawn from a variety of fields including mathematics, statistics, game theory and behavioral sciences, biomathematics and physical chemistry, computer science and human-centered computing. This volume is dedicated to Professor Christiane Rousseau, whose work inspires the STEAM-H series, in recognition of her passion for the mathematical sciences and her on-going initiative, the Mathematics of Planet Earth paradigm of interdisciplinarity. The volume's primary goal is to enhance i...

Advances in unconventional computing

CERN Document Server

2017-01-01

The unconventional computing is a niche for interdisciplinary science, cross-bred of computer science, physics, mathematics, chemistry, electronic engineering, biology, material science and nanotechnology. The aims of this book are to uncover and exploit principles and mechanisms of information processing in and functional properties of physical, chemical and living systems to develop efficient algorithms, design optimal architectures and manufacture working prototypes of future and emergent computing devices. This first volume presents theoretical foundations of the future and emergent computing paradigms and architectures. The topics covered are computability, (non-)universality and complexity of computation; physics of computation, analog and quantum computing; reversible and asynchronous devices; cellular automata and other mathematical machines; P-systems and cellular computing; infinity and spatial computation; chemical and reservoir computing. The book is the encyclopedia, the first ever complete autho...

A mathematical approach to research problems of science and technology theoretical basis and developments in mathematical modeling

CERN Document Server

Ei, Shin-ichiro; Koiso, Miyuki; Ochiai, Hiroyuki; Okada, Kanzo; Saito, Shingo; Shirai, Tomoyuki

2014-01-01

This book deals with one of the most novel advances in mathematical modeling for applied scientific technology, including computer graphics, public-key encryption, data visualization, statistical data analysis, symbolic calculation, encryption, error correcting codes, and risk management. It also shows that mathematics can be used to solve problems from nature, e.g., slime mold algorithms. One of the unique features of this book is that it shows readers how to use pure and applied mathematics, especially those mathematical theory/techniques developed in the twentieth century, and developing now, to solve applied problems in several fields of industry. Each chapter includes clues on how to use "mathematics" to solve concrete problems faced in industry as well as practical applications. The target audience is not limited to researchers working in applied mathematics and includes those in engineering, material sciences, economics, and life sciences.

Mathematics of Computed Tomography

Science.gov (United States)

Hawkins, William Grant

A review of the applications of the Radon transform is presented, with emphasis on emission computed tomography and transmission computed tomography. The theory of the 2D and 3D Radon transforms, and the effects of attenuation for emission computed tomography are presented. The algebraic iterative methods, their importance and limitations are reviewed. Analytic solutions of the 2D problem the convolution and frequency filtering methods based on linear shift invariant theory, and the solution of the circular harmonic decomposition by integral transform theory--are reviewed. The relation between the invisible kernels, the inverse circular harmonic transform, and the consistency conditions are demonstrated. The discussion and review are extended to the 3D problem-convolution, frequency filtering, spherical harmonic transform solutions, and consistency conditions. The Cormack algorithm based on reconstruction with Zernike polynomials is reviewed. An analogous algorithm and set of reconstruction polynomials is developed for the spherical harmonic transform. The relations between the consistency conditions, boundary conditions and orthogonal basis functions for the 2D projection harmonics are delineated and extended to the 3D case. The equivalence of the inverse circular harmonic transform, the inverse Radon transform, and the inverse Cormack transform is presented. The use of the number of nodes of a projection harmonic as a filter is discussed. Numerical methods for the efficient implementation of angular harmonic algorithms based on orthogonal functions and stable recursion are presented. The derivation of a lower bound for the signal-to-noise ratio of the Cormack algorithm is derived.

Practical scientific computing

CERN Document Server

Muhammad, A

2011-01-01

Scientific computing is about developing mathematical models, numerical methods and computer implementations to study and solve real problems in science, engineering, business and even social sciences. Mathematical modelling requires deep understanding of classical numerical methods. This essential guide provides the reader with sufficient foundations in these areas to venture into more advanced texts. The first section of the book presents numEclipse, an open source tool for numerical computing based on the notion of MATLAB®. numEclipse is implemented as a plug-in for Eclipse, a leading integ

Mathematical and computational analyses of cracking formation fracture morphology and its evolution in engineering materials and structures

CERN Document Server

Sumi, Yoichi

2014-01-01

This book is about the pattern formation and the evolution of crack propagation in engineering materials and structures, bridging mathematical analyses of cracks based on singular integral equations, to computational simulation of engineering design. The first two parts of this book focus on elasticity and fracture and provide the basis for discussions on fracture morphology and its numerical simulation, which may lead to a simulation-based fracture control in engineering structures. Several design concepts are discussed for the prevention of fatigue and fracture in engineering structures, including safe-life design, fail-safe design, damage tolerant design. After starting with basic elasticity and fracture theories in parts one and two, this book focuses on the fracture morphology that develops due to the propagation of brittle cracks or fatigue cracks.   In part three, the mathematical analysis of a curved crack is precisely described, based on the perturbation method. The stability theory of interactive ...

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

Science.gov (United States)

1991-02-01

international Colloquium on Automata. Languages, and Programming, T Ottmann. ed , Karlsruhe, Federal Republic of Germany, July 1987 (E41 Eisenhart . L P...present mathematical knowledge in the form of problem reduction rules (" theo - rems"). For example, an "algorithm" for limes computations could be

Neural computation and the computational theory of cognition.

Science.gov (United States)

Piccinini, Gualtiero; Bahar, Sonya

2013-04-01

We begin by distinguishing computationalism from a number of other theses that are sometimes conflated with it. We also distinguish between several important kinds of computation: computation in a generic sense, digital computation, and analog computation. Then, we defend a weak version of computationalism-neural processes are computations in the generic sense. After that, we reject on empirical grounds the common assimilation of neural computation to either analog or digital computation, concluding that neural computation is sui generis. Analog computation requires continuous signals; digital computation requires strings of digits. But current neuroscientific evidence indicates that typical neural signals, such as spike trains, are graded like continuous signals but are constituted by discrete functional elements (spikes); thus, typical neural signals are neither continuous signals nor strings of digits. It follows that neural computation is sui generis. Finally, we highlight three important consequences of a proper understanding of neural computation for the theory of cognition. First, understanding neural computation requires a specially designed mathematical theory (or theories) rather than the mathematical theories of analog or digital computation. Second, several popular views about neural computation turn out to be incorrect. Third, computational theories of cognition that rely on non-neural notions of computation ought to be replaced or reinterpreted in terms of neural computation. Copyright © 2012 Cognitive Science Society, Inc.

Graph Theory to Pure Mathematics: Some Illustrative Examples

Indian Academy of Sciences (India)

Graph Theory to Pure Mathematics: Some. Illustrative Examples v Yegnanarayanan is a. Professor of Mathematics at MNM Jain Engineering. College, Chennai. His research interests include graph theory and its applications to both pure maths and theoretical computer science. Keywords. Graph theory, matching theory,.

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

Science.gov (United States)

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.

A sampler of useful computational tools for applied geometry, computer graphics, and image processing foundations for computer graphics, vision, and image processing

CERN Document Server