LevelScheme: A level scheme drawing and scientific figure preparation system for Mathematica
NASA Astrophysics Data System (ADS)
Caprio, M. A.
2005-09-01
LevelScheme is a scientific figure preparation system for Mathematica. The main emphasis is upon the construction of level schemes, or level energy diagrams, as used in nuclear, atomic, molecular, and hadronic physics. LevelScheme also provides a general infrastructure for the preparation of publication-quality figures, including support for multipanel and inset plotting, customizable tick mark generation, and various drawing and labeling tasks. Coupled with Mathematica's plotting functions and powerful programming language, LevelScheme provides a flexible system for the creation of figures combining diagrams, mathematical plots, and data plots. Program summaryTitle of program:LevelScheme Catalogue identifier:ADVZ Program obtainable from: CPC Program Library, Queen's University of Belfast, N. Ireland Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADVZ Operating systems:Any which supports Mathematica; tested under Microsoft Windows XP, Macintosh OS X, and Linux Programming language used:Mathematica 4 Number of bytes in distributed program, including test and documentation:3 051 807 Distribution format:tar.gz Nature of problem:Creation of level scheme diagrams. Creation of publication-quality multipart figures incorporating diagrams and plots. Method of solution:A set of Mathematica packages has been developed, providing a library of level scheme drawing objects, tools for figure construction and labeling, and control code for producing the graphics.
NASA Technical Reports Server (NTRS)
Watson, A. B.; Solomon, J. A.
1997-01-01
Psychophysica is a set of software tools for psychophysical research. Functions are provided for calibrated visual displays, for fitting and plotting of psychometric functions, and for the QUEST adaptive staircase procedure. The functions are written in the Mathematica programming language.
The high-energy physicistʼs guide to MathLink
NASA Astrophysics Data System (ADS)
Hahn, T.
2012-03-01
MathLink is Wolfram Research's protocol for communicating with the Mathematica Kernel and is used extensively in their own Notebook Frontends. The Mathematica Book insinuates that linking C programs with MathLink is straightforward but in practice there are quite a number of stumbling blocks, in particular in cross-language and cross-platform usage. This write-up tries to clarify the main issues and hopefully makes it easier for software authors to set up Mathematica interfacing in a portable way.
A Mathematica program for the calculation of five-body Moshinsky brackets
NASA Astrophysics Data System (ADS)
Xiao, Shuyuan; Mu, Xueli; Liu, Tingting; Chen, Hong
2016-06-01
Five-body Moshinsky brackets that relate harmonic oscillator wavefunctions in two different sets of Jacobi coordinates make it straightforward to calculate some matrix elements in the variational calculations of five-body systems. The analytical expression of these transformation coefficients and the computer code written in the Mathematica language are presented here for accurate calculations.
NASA Astrophysics Data System (ADS)
Bytev, Vladimir V.; Kniehl, Bernd A.
2016-09-01
We present a further extension of the HYPERDIRE project, which is devoted to the creation of a set of Mathematica-based program packages for manipulations with Horn-type hypergeometric functions on the basis of differential equations. Specifically, we present the implementation of the differential reduction for the Lauricella function FC of three variables. Catalogue identifier: AEPP_v4_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEPP_v4_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: GNU General Public License, version 3 No. of lines in distributed program, including test data, etc.: 243461 No. of bytes in distributed program, including test data, etc.: 61610782 Distribution format: tar.gz Programming language: Mathematica. Computer: All computers running Mathematica. Operating system: Operating systems running Mathematica. Classification: 4.4. Does the new version supersede the previous version?: No, it significantly extends the previous version. Nature of problem: Reduction of hypergeometric function FC of three variables to a set of basis functions. Solution method: Differential reduction. Reasons for new version: The extension package allows the user to handle the Lauricella function FC of three variables. Summary of revisions: The previous version goes unchanged. Running time: Depends on the complexity of the problem.
Spinors: A Mathematica package for doing spinor calculus in General Relativity
NASA Astrophysics Data System (ADS)
Gómez-Lobo, Alfonso García-Parrado; Martín-García, José M.
2012-10-01
The Spinors software is a Mathematica package which implements 2-component spinor calculus as devised by Penrose for General Relativity in dimension 3+1. The Spinors software is part of the xAct system, which is a collection of Mathematica packages to do tensor analysis by computer. In this paper we give a thorough description of Spinors and present practical examples of use. Program summary Program title: Spinors Catalogue identifier: AEMQ_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEMQ_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 117039 No. of bytes in distributed program, including test data, etc.: 300404 Distribution format: tar.gz Programming language: Mathematica. Computer: Any computer running Mathematica 7.0 or higher. Operating system: Any operating system compatible with Mathematica 7.0 or higher. RAM: 94Mb in Mathematica 8.0. Classification: 1.5. External routines: Mathematica packages xCore, xPerm and xTensor which are part of the xAct system. These can be obtained at http://www.xact.es. Nature of problem: Manipulation and simplification of spinor expressions in General Relativity. Solution method: Adaptation of the tensor functionality of the xAct system for the specific situation of spinor calculus in four dimensional Lorentzian geometry. Restrictions: The software only works on 4-dimensional Lorentzian space-times with metric of signature (1, -1, -1, -1). There is no direct support for Dirac spinors. Unusual features: Easy rules to transform tensor expressions into spinor ones and back. Seamless integration of abstract index manipulation of spinor expressions with component computations. Running time: Under one second to handle and canonicalize standard spinorial expressions with a few dozen indices. (These expressions arise naturally in the transformation of a spinor expression into a tensor one or vice versa.)
Lambda: A Mathematica package for operator product expansions in vertex algebras
NASA Astrophysics Data System (ADS)
Ekstrand, Joel
2011-02-01
We give an introduction to the Mathematica package Lambda, designed for calculating λ-brackets in both vertex algebras, and in SUSY vertex algebras. This is equivalent to calculating operator product expansions in two-dimensional conformal field theory. The syntax of λ-brackets is reviewed, and some simple examples are shown, both in component notation, and in N=1 superfield notation. Program summaryProgram title: Lambda Catalogue identifier: AEHF_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEHF_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: GNU General Public License No. of lines in distributed program, including test data, etc.: 18 087 No. of bytes in distributed program, including test data, etc.: 131 812 Distribution format: tar.gz Programming language: Mathematica Computer: See specifications for running Mathematica V7 or above. Operating system: See specifications for running Mathematica V7 or above. RAM: Varies greatly depending on calculation to be performed. Classification: 4.2, 5, 11.1. Nature of problem: Calculate operator product expansions (OPEs) of composite fields in 2d conformal field theory. Solution method: Implementation of the algebraic formulation of OPEs given by vertex algebras, and especially by λ-brackets. Running time: Varies greatly depending on calculation requested. The example notebook provided takes about 3 s to run.
QDENSITY—A Mathematica Quantum Computer simulation
NASA Astrophysics Data System (ADS)
Juliá-Díaz, Bruno; Burdis, Joseph M.; Tabakin, Frank
2006-06-01
This Mathematica 5.2 package is a simulation of a Quantum Computer. The program provides a modular, instructive approach for generating the basic elements that make up a quantum circuit. The main emphasis is on using the density matrix, although an approach using state vectors is also implemented in the package. The package commands are defined in Qdensity.m which contains the tools needed in quantum circuits, e.g., multiqubit kets, projectors, gates, etc. Selected examples of the basic commands are presented here and a tutorial notebook, Tutorial.nb is provided with the package (available on our website) that serves as a full guide to the package. Finally, application is made to a variety of relevant cases, including Teleportation, Quantum Fourier transform, Grover's search and Shor's algorithm, in separate notebooks: QFT.nb, Teleportation.nb, Grover.nb and Shor.nb where each algorithm is explained in detail. Finally, two examples of the construction and manipulation of cluster states, which are part of "one way computing" ideas, are included as an additional tool in the notebook Cluster.nb. A Mathematica palette containing most commands in QDENSITY is also included: QDENSpalette.nb. Program summaryTitle of program: QDENSITY Catalogue identifier: ADXH_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADXH_v1_0 Program available from: CPC Program Library, Queen's University of Belfast, N. Ireland Operating systems: Any which supports Mathematica; tested under Microsoft Windows XP, Macintosh OS X, and Linux FC4 Programming language used: Mathematica 5.2 No. of bytes in distributed program, including test data, etc.: 180 581 No. of lines in distributed program, including test data, etc.: 19 382 Distribution format: tar.gz Method of solution: A Mathematica package is provided which contains commands to create and analyze quantum circuits. Several Mathematica notebooks containing relevant examples: Teleportation, Shor's Algorithm and Grover's search are explained in detail. A tutorial, Tutorial.nb is also enclosed. QDENSITY is available at http://www.pitt.edu/~tabakin/QDENSITY.
QDENSITY—A Mathematica quantum computer simulation
NASA Astrophysics Data System (ADS)
Juliá-Díaz, Bruno; Burdis, Joseph M.; Tabakin, Frank
2009-03-01
This Mathematica 6.0 package is a simulation of a Quantum Computer. The program provides a modular, instructive approach for generating the basic elements that make up a quantum circuit. The main emphasis is on using the density matrix, although an approach using state vectors is also implemented in the package. The package commands are defined in Qdensity.m which contains the tools needed in quantum circuits, e.g., multiqubit kets, projectors, gates, etc. New version program summaryProgram title: QDENSITY 2.0 Catalogue identifier: ADXH_v2_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADXH_v2_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 26 055 No. of bytes in distributed program, including test data, etc.: 227 540 Distribution format: tar.gz Programming language: Mathematica 6.0 Operating system: Any which supports Mathematica; tested under Microsoft Windows XP, Macintosh OS X, and Linux FC4 Catalogue identifier of previous version: ADXH_v1_0 Journal reference of previous version: Comput. Phys. Comm. 174 (2006) 914 Classification: 4.15 Does the new version supersede the previous version?: Offers an alternative, more up to date, implementation Nature of problem: Analysis and design of quantum circuits, quantum algorithms and quantum clusters. Solution method: A Mathematica package is provided which contains commands to create and analyze quantum circuits. Several Mathematica notebooks containing relevant examples: Teleportation, Shor's Algorithm and Grover's search are explained in detail. A tutorial, Tutorial.nb is also enclosed. Reasons for new version: The package has been updated to make it fully compatible with Mathematica 6.0 Summary of revisions: The package has been updated to make it fully compatible with Mathematica 6.0 Running time: Most examples included in the package, e.g., the tutorial, Shor's examples, Teleportation examples and Grover's search, run in less than a minute on a Pentium 4 processor (2.6 GHz). The running time for a quantum computation depends crucially on the number of qubits employed.
FormTracer. A mathematica tracing package using FORM
NASA Astrophysics Data System (ADS)
Cyrol, Anton K.; Mitter, Mario; Strodthoff, Nils
2017-10-01
We present FormTracer, a high-performance, general purpose, easy-to-use Mathematica tracing package which uses FORM. It supports arbitrary space and spinor dimensions as well as an arbitrary number of simple compact Lie groups. While keeping the usability of the Mathematica interface, it relies on the efficiency of FORM. An additional performance gain is achieved by a decomposition algorithm that avoids redundant traces in the product tensors spaces. FormTracer supports a wide range of syntaxes which endows it with a high flexibility. Mathematica notebooks that automatically install the package and guide the user through performing standard traces in space-time, spinor and gauge-group spaces are provided. Program Files doi:http://dx.doi.org/10.17632/7rd29h4p3m.1 Licensing provisions: GPLv3 Programming language: Mathematica and FORM Nature of problem: Efficiently compute traces of large expressions Solution method: The expression to be traced is decomposed into its subspaces by a recursive Mathematica expansion algorithm. The result is subsequently translated to a FORM script that takes the traces. After FORM is executed, the final result is either imported into Mathematica or exported as optimized C/C++/Fortran code. Unusual features: The outstanding features of FormTracer are the simple interface, the capability to efficiently handle an arbitrary number of Lie groups in addition to Dirac and Lorentz tensors, and a customizable input-syntax.
Generating and using truly random quantum states in Mathematica
NASA Astrophysics Data System (ADS)
Miszczak, Jarosław Adam
2012-01-01
The problem of generating random quantum states is of a great interest from the quantum information theory point of view. In this paper we present a package for Mathematica computing system harnessing a specific piece of hardware, namely Quantis quantum random number generator (QRNG), for investigating statistical properties of quantum states. The described package implements a number of functions for generating random states, which use Quantis QRNG as a source of randomness. It also provides procedures which can be used in simulations not related directly to quantum information processing. Program summaryProgram title: TRQS Catalogue identifier: AEKA_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEKA_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 7924 No. of bytes in distributed program, including test data, etc.: 88 651 Distribution format: tar.gz Programming language: Mathematica, C Computer: Requires a Quantis quantum random number generator (QRNG, http://www.idquantique.com/true-random-number-generator/products-overview.html) and supporting a recent version of Mathematica Operating system: Any platform supporting Mathematica; tested with GNU/Linux (32 and 64 bit) RAM: Case dependent Classification: 4.15 Nature of problem: Generation of random density matrices. Solution method: Use of a physical quantum random number generator. Running time: Generating 100 random numbers takes about 1 second, generating 1000 random density matrices takes more than a minute.
Beam-plasma dielectric tensor with Mathematica
NASA Astrophysics Data System (ADS)
Bret, A.
2007-03-01
We present a Mathematica notebook allowing for the symbolic calculation of the 3×3 dielectric tensor of an electron-beam plasma system in the fluid approximation. Calculation is detailed for a cold relativistic electron beam entering a cold magnetized plasma, and for arbitrarily oriented wave vectors. We show how one can elaborate on this example to account for temperatures, arbitrarily oriented magnetic field or a different kind of plasma. Program summaryTitle of program: Tensor Catalog identifier: ADYT_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADYT_v1_0 Program obtainable from: CPC Program Library, Queen's University of Belfast, N. Ireland Computer for which the program is designed and others on which it has been tested: Computers: Any computer running Mathematica 4.1. Tested on DELL Dimension 5100 and IBM ThinkPad T42. Installations: ETSI Industriales, Universidad Castilla la Mancha, Ciudad Real, Spain Operating system under which the program has been tested: Windows XP Pro Programming language used: Mathematica 4.1 Memory required to execute with typical data: 7.17 Mbytes No. of bytes in distributed program, including test data, etc.: 33 439 No. of lines in distributed program, including test data, etc.: 3169 Distribution format: tar.gz Nature of the physical problem: The dielectric tensor of a relativistic beam plasma system may be quite involved to calculate symbolically when considering a magnetized plasma, kinetic pressure, collisions between species, and so on. The present Mathematica notebook performs the symbolic computation in terms of some usual dimensionless variables. Method of solution: The linearized relativistic fluid equations are directly entered and solved by Mathematica to express the first-order expression of the current. This expression is then introduced into a combination of Faraday and Ampère-Maxwell's equations to give the dielectric tensor. Some additional manipulations are needed to express the result in terms of the dimensionless variables. Restrictions on the complexity of the problem: Temperature effects are limited to small, i.e. non-relativistic, temperatures. The kinetic counterpart of the present Mathematica will usually not compute the required integrals. Typical running time: About 1 minute on a Intel Centrino 1.5 GHz Laptop with 512 MB of RAM. Unusual features of the program: None.
A Survey of Quantum Programming Languages: History, Methods, and Tools
2008-01-01
and entanglement , to achieve computational solutions to certain problems in less time (fewer computational cycles) than is possible using classical...superposition of quantum bits, entanglement , destructive measurement, and the no-cloning theorem. These differences must be thoroughly understood and even...computers using well-known languages such as C, C++, Java, and rapid prototyping languages such as Maple, Mathematica, and Matlab . A good on-line
SLAM, a Mathematica interface for SUSY spectrum generators
NASA Astrophysics Data System (ADS)
Marquard, Peter; Zerf, Nikolai
2014-03-01
We present and publish a Mathematica package, which can be used to automatically obtain any numerical MSSM input parameter from SUSY spectrum generators, which follow the SLHA standard, like SPheno, SOFTSUSY, SuSeFLAV or Suspect. The package enables a very comfortable way of numerical evaluations within the MSSM using Mathematica. It implements easy to use predefined high scale and low scale scenarios like mSUGRA or mhmax and if needed enables the user to directly specify the input required by the spectrum generators. In addition it supports an automatic saving and loading of SUSY spectra to and from a SQL data base, avoiding the rerun of a spectrum generator for a known spectrum. Catalogue identifier: AERX_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AERX_v1_0.html Program obtainable from: CPC Program Library, Queen’s University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 4387 No. of bytes in distributed program, including test data, etc.: 37748 Distribution format: tar.gz Programming language: Mathematica. Computer: Any computer where Mathematica version 6 or higher is running providing bash and sed. Operating system: Linux. Classification: 11.1. External routines: A SUSY spectrum generator such as SPheno, SOFTSUSY, SuSeFLAV or SUSPECT Nature of problem: Interfacing published spectrum generators for automated creation, saving and loading of SUSY particle spectra. Solution method: SLAM automatically writes/reads SLHA spectrum generator input/output and is able to save/load generated data in/from a data base. Restrictions: No general restrictions, specific restrictions are given in the manuscript. Running time: A single spectrum calculation takes much less than one second on a modern PC.
HEPMath 1.4: A mathematica package for semi-automatic computations in high energy physics
NASA Astrophysics Data System (ADS)
Wiebusch, Martin
2015-10-01
This article introduces the Mathematica package HEPMath which provides a number of utilities and algorithms for High Energy Physics computations in Mathematica. Its functionality is similar to packages like FormCalc or FeynCalc, but it takes a more complete and extensible approach to implementing common High Energy Physics notations in the Mathematica language, in particular those related to tensors and index contractions. It also provides a more flexible method for the generation of numerical code which is based on new features for C code generation in Mathematica. In particular it can automatically generate Python extension modules which make the compiled functions callable from Python, thus eliminating the need to write any code in a low-level language like C or Fortran. It also contains seamless interfaces to LHAPDF, FeynArts, and LoopTools.
Insertion device calculations with mathematica
DOE Office of Scientific and Technical Information (OSTI.GOV)
Carr, R.; Lidia, S.
1995-02-01
The design of accelerator insertion devices such as wigglers and undulators has usually been aided by numerical modeling on digital computers, using code in high level languages like Fortran. In the present era, there are higher level programming environments like IDL{reg_sign}, MatLab{reg_sign}, and Mathematica{reg_sign} in which these calculations may be performed by writing much less code, and in which standard mathematical techniques are very easily used. The authors present a suite of standard insertion device modeling routines in Mathematica to illustrate the new techniques. These routines include a simple way to generate magnetic fields using blocks of CSEM materials, trajectorymore » solutions from the Lorentz force equations for given magnetic fields, Bessel function calculations of radiation for wigglers and undulators and general radiation calculations for undulators.« less
Automated symbolic calculations in nonequilibrium thermodynamics
NASA Astrophysics Data System (ADS)
Kröger, Martin; Hütter, Markus
2010-12-01
We cast the Jacobi identity for continuous fields into a local form which eliminates the need to perform any partial integration to the expense of performing variational derivatives. This allows us to test the Jacobi identity definitely and efficiently and to provide equations between different components defining a potential Poisson bracket. We provide a simple Mathematica TM notebook which allows to perform this task conveniently, and which offers some additional functionalities of use within the framework of nonequilibrium thermodynamics: reversible equations of change for fields, and the conservation of entropy during the reversible dynamics. Program summaryProgram title: Poissonbracket.nb Catalogue identifier: AEGW_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEGW_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 227 952 No. of bytes in distributed program, including test data, etc.: 268 918 Distribution format: tar.gz Programming language: Mathematica TM 7.0 Computer: Any computer running Mathematica TM 6.0 and later versions Operating system: Linux, MacOS, Windows RAM: 100 Mb Classification: 4.2, 5, 23 Nature of problem: Testing the Jacobi identity can be a very complex task depending on the structure of the Poisson bracket. The Mathematica TM notebook provided here solves this problem using a novel symbolic approach based on inherent properties of the variational derivative, highly suitable for the present tasks. As a by product, calculations performed with the Poisson bracket assume a compact form. Solution method: The problem is first cast into a form which eliminates the need to perform partial integration for arbitrary functionals at the expense of performing variational derivatives. The corresponding equations are conveniently obtained using the symbolic programming environment Mathematica TM. Running time: For the test cases and most typical cases in the literature, the running time is of the order of seconds or minutes, respectively.
Bringing education to your virtual doorstep
NASA Astrophysics Data System (ADS)
Kaurov, Vitaliy
2013-03-01
We currently witness significant migration of academic resources towards online CMS, social networking, and high-end computerized education. This happens for traditional academic programs as well as for outreach initiatives. The talk will go over a set of innovative integrated technologies, many of which are free. These were developed by Wolfram Research in order to facilitate and enhance the learning process in mathematical and physical sciences. Topics include: cloud computing with Mathematica Online; natural language programming; interactive educational resources and web publishing at the Wolfram Demonstrations Project; the computational knowledge engine Wolfram Alpha; Computable Document Format (CDF) and self-publishing with interactive e-books; course assistant apps for mobile platforms. We will also discuss outreach programs where such technologies are extensively used, such as the Wolfram Science Summer School and the Mathematica Summer Camp.
CrasyDSE: A framework for solving Dyson–Schwinger equations☆
Huber, Markus Q.; Mitter, Mario
2012-01-01
Dyson–Schwinger equations are important tools for non-perturbative analyses of quantum field theories. For example, they are very useful for investigations in quantum chromodynamics and related theories. However, sometimes progress is impeded by the complexity of the equations. Thus automating parts of the calculations will certainly be helpful in future investigations. In this article we present a framework for such an automation based on a C++ code that can deal with a large number of Green functions. Since also the creation of the expressions for the integrals of the Dyson–Schwinger equations needs to be automated, we defer this task to a Mathematica notebook. We illustrate the complete workflow with an example from Yang–Mills theory coupled to a fundamental scalar field that has been investigated recently. As a second example we calculate the propagators of pure Yang–Mills theory. Our code can serve as a basis for many further investigations where the equations are too complicated to tackle by hand. It also can easily be combined with DoFun, a program for the derivation of Dyson–Schwinger equations.1 Program summary Program title: CrasyDSE Catalogue identifier: AEMY _v1_0 Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AEMY_v1_0.html Program obtainable from: CPC Program Library, Queen’s University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 49030 No. of bytes in distributed program, including test data, etc.: 303958 Distribution format: tar.gz Programming language: Mathematica 8 and higher, C++. Computer: All on which Mathematica and C++ are available. Operating system: All on which Mathematica and C++ are available (Windows, Unix, Mac OS). Classification: 11.1, 11.4, 11.5, 11.6. Nature of problem: Solve (large) systems of Dyson–Schwinger equations numerically. Solution method: Create C++ functions in Mathematica to be used for the numeric code in C++. This code uses structures to handle large numbers of Green functions. Unusual features: Provides a tool to convert Mathematica expressions into C++ expressions including conversion of function names. Running time: Depending on the complexity of the investigated system solving the equations numerically can take seconds on a desktop PC to hours on a cluster. PMID:25540463
Kranc: a Mathematica package to generate numerical codes for tensorial evolution equations
NASA Astrophysics Data System (ADS)
Husa, Sascha; Hinder, Ian; Lechner, Christiane
2006-06-01
We present a suite of Mathematica-based computer-algebra packages, termed "Kranc", which comprise a toolbox to convert certain (tensorial) systems of partial differential evolution equations to parallelized C or Fortran code for solving initial boundary value problems. Kranc can be used as a "rapid prototyping" system for physicists or mathematicians handling very complicated systems of partial differential equations, but through integration into the Cactus computational toolkit we can also produce efficient parallelized production codes. Our work is motivated by the field of numerical relativity, where Kranc is used as a research tool by the authors. In this paper we describe the design and implementation of both the Mathematica packages and the resulting code, we discuss some example applications, and provide results on the performance of an example numerical code for the Einstein equations. Program summaryTitle of program: Kranc Catalogue identifier: ADXS_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADXS_v1_0 Program obtainable from: CPC Program Library, Queen's University of Belfast, N. Ireland Distribution format: tar.gz Computer for which the program is designed and others on which it has been tested: General computers which run Mathematica (for code generation) and Cactus (for numerical simulations), tested under Linux Programming language used: Mathematica, C, Fortran 90 Memory required to execute with typical data: This depends on the number of variables and gridsize, the included ADM example requires 4308 KB Has the code been vectorized or parallelized: The code is parallelized based on the Cactus framework. Number of bytes in distributed program, including test data, etc.: 1 578 142 Number of lines in distributed program, including test data, etc.: 11 711 Nature of physical problem: Solution of partial differential equations in three space dimensions, which are formulated as an initial value problem. In particular, the program is geared towards handling very complex tensorial equations as they appear, e.g., in numerical relativity. The worked out examples comprise the Klein-Gordon equations, the Maxwell equations, and the ADM formulation of the Einstein equations. Method of solution: The method of numerical solution is finite differencing and method of lines time integration, the numerical code is generated through a high level Mathematica interface. Restrictions on the complexity of the program: Typical numerical relativity applications will contain up to several dozen evolution variables and thousands of source terms, Cactus applications have shown scaling up to several thousand processors and grid sizes exceeding 500 3. Typical running time: This depends on the number of variables and the grid size: the included ADM example takes approximately 100 seconds on a 1600 MHz Intel Pentium M processor. Unusual features of the program: based on Mathematica and Cactus
CrasyDSE: A framework for solving Dyson-Schwinger equations.
Huber, Markus Q; Mitter, Mario
2012-11-01
Dyson-Schwinger equations are important tools for non-perturbative analyses of quantum field theories. For example, they are very useful for investigations in quantum chromodynamics and related theories. However, sometimes progress is impeded by the complexity of the equations. Thus automating parts of the calculations will certainly be helpful in future investigations. In this article we present a framework for such an automation based on a C++ code that can deal with a large number of Green functions. Since also the creation of the expressions for the integrals of the Dyson-Schwinger equations needs to be automated, we defer this task to a Mathematica notebook. We illustrate the complete workflow with an example from Yang-Mills theory coupled to a fundamental scalar field that has been investigated recently. As a second example we calculate the propagators of pure Yang-Mills theory. Our code can serve as a basis for many further investigations where the equations are too complicated to tackle by hand. It also can easily be combined with DoFun , a program for the derivation of Dyson-Schwinger equations. Program title : CrasyDSE Catalogue identifier : AEMY _v1_0 Program summary URL : http://cpc.cs.qub.ac.uk/summaries/AEMY_v1_0.html Program obtainable from : CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions : Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc. : 49030 No. of bytes in distributed program, including test data, etc. : 303958 Distribution format : tar.gz Programming language : Mathematica 8 and higher, C++ . Computer : All on which Mathematica and C++ are available. Operating system : All on which Mathematica and C++ are available (Windows, Unix, Mac OS). Classification : 11.1, 11.4, 11.5, 11.6. Nature of problem : Solve (large) systems of Dyson-Schwinger equations numerically. Solution method : Create C++ functions in Mathematica to be used for the numeric code in C++ . This code uses structures to handle large numbers of Green functions. Unusual features : Provides a tool to convert Mathematica expressions into C++ expressions including conversion of function names. Running time : Depending on the complexity of the investigated system solving the equations numerically can take seconds on a desktop PC to hours on a cluster.
CrasyDSE: A framework for solving Dyson-Schwinger equations
NASA Astrophysics Data System (ADS)
Huber, Markus Q.; Mitter, Mario
2012-11-01
Dyson-Schwinger equations are important tools for non-perturbative analyses of quantum field theories. For example, they are very useful for investigations in quantum chromodynamics and related theories. However, sometimes progress is impeded by the complexity of the equations. Thus automating parts of the calculations will certainly be helpful in future investigations. In this article we present a framework for such an automation based on a C++ code that can deal with a large number of Green functions. Since also the creation of the expressions for the integrals of the Dyson-Schwinger equations needs to be automated, we defer this task to a Mathematica notebook. We illustrate the complete workflow with an example from Yang-Mills theory coupled to a fundamental scalar field that has been investigated recently. As a second example we calculate the propagators of pure Yang-Mills theory. Our code can serve as a basis for many further investigations where the equations are too complicated to tackle by hand. It also can easily be combined with DoFun, a program for the derivation of Dyson-Schwinger equations.
NASA Astrophysics Data System (ADS)
Haxton, Wick; Lunardini, Cecilia
2008-09-01
Semi-leptonic electroweak interactions in nuclei—such as β decay, μ capture, charged- and neutral-current neutrino reactions, and electron scattering—are described by a set of multipole operators carrying definite parity and angular momentum, obtained by projection from the underlying nuclear charge and three-current operators. If these nuclear operators are approximated by their one-body forms and expanded in the nucleon velocity through order |p→|/M, where p→ and M are the nucleon momentum and mass, a set of seven multipole operators is obtained. Nuclear structure calculations are often performed in a basis of Slater determinants formed from harmonic oscillator orbitals, a choice that allows translational invariance to be preserved. Harmonic-oscillator single-particle matrix elements of the multipole operators can be evaluated analytically and expressed in terms of finite polynomials in q, where q is the magnitude of the three-momentum transfer. While results for such matrix elements are available in tabular form, with certain restriction on quantum numbers, the task of determining the analytic form of a response function can still be quite tedious, requiring the folding of the tabulated matrix elements with the nuclear density matrix, and subsequent algebra to evaluate products of operators. Here we provide a Mathematica script for generating these matrix elements, which will allow users to carry out all such calculations by symbolic manipulation. This will eliminate the errors that may accompany hand calculations and speed the calculation of electroweak nuclear cross sections and rates. We illustrate the use of the new script by calculating the cross sections for charged- and neutral-current neutrino scattering in 12C. Program summaryProgram title: SevenOperators Catalogue identifier: AEAY_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEAY_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 2227 No. of bytes in distributed program, including test data, etc.: 19 382 Distribution format: tar.gz Programming language: Mathematica Computer: Any computer running Mathematica; tested on Mac OS X PowerPC (32-bit) running Mathematica 6.0.0 Operating system: Any running Mathematica RAM: Memory requirements determined by Mathematica; 512 MB or greater RAM and hard drive space of at least 3.0 GB recommended Classification: 17.16, 17.19 Nature of problem: Algebraic evaluation of harmonic oscillator nuclear matrix elements for the one-body multipole operators governing semi-leptonic weak interactions, such as charged- or neutral-current neutrino scattering off nuclei. Solution method: Mathematica evaluation of associated angular momentum algebra and spherical Bessel function radial integrals. Running time: Depends on the complexity of the one-body density matrix employed, but times of a few seconds are typical.
FAPT: A Mathematica package for calculations in QCD Fractional Analytic Perturbation Theory
NASA Astrophysics Data System (ADS)
Bakulev, Alexander P.; Khandramai, Vyacheslav L.
2013-01-01
We provide here all the procedures in Mathematica which are needed for the computation of the analytic images of the strong coupling constant powers in Minkowski (A(s;nf) and Aνglob(s)) and Euclidean (A(Q2;nf) and Aνglob(Q2)) domains at arbitrary energy scales (s and Q2, correspondingly) for both schemes — with fixed number of active flavours nf=3,4,5,6 and the global one with taking into account all heavy-quark thresholds. These singularity-free couplings are inevitable elements of Analytic Perturbation Theory (APT) in QCD, proposed in [10,69,70], and its generalization — Fractional APT, suggested in [42,46,43], needed to apply the APT imperative for renormalization-group improved hadronic observables. Program summaryProgram title: FAPT Catalogue identifier: AENJ_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AENJ_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 1985 No. of bytes in distributed program, including test data, etc.: 1895776 Distribution format: tar.gz Programming language: Mathematica. Computer: Any work-station or PC where Mathematica is running. Operating system: Windows XP, Mathematica (versions 5 and 7). Classification: 11.5. Nature of problem: The values of analytic images A(Q2) and A(s) of the QCD running coupling powers αsν(Q2) in Euclidean and Minkowski regions, correspondingly, are determined through the spectral representation in the QCD Analytic Perturbation Theory (APT). In the program FAPT we collect all relevant formulas and various procedures which allow for a convenient evaluation of A(Q2) and A(s) using numerical integrations of the relevant spectral densities. Solution method: FAPT uses Mathematica functions to calculate different spectral densities and then performs numerical integration of these spectral integrals to obtain analytic images of different objects. Restrictions: It could be that for an unphysical choice of the input parameters the results are without any meaning. Running time: For all operations the run time does not exceed a few seconds. Usually numerical integration is not fast, so that we advise the use of arrays of precalculated data and then to apply the routine Interpolate(as shown in supplied example of the program usage, namely in the notebook FAPT_Interp.nb).
Strongdeco: Expansion of analytical, strongly correlated quantum states into a many-body basis
NASA Astrophysics Data System (ADS)
Juliá-Díaz, Bruno; Graß, Tobias
2012-03-01
We provide a Mathematica code for decomposing strongly correlated quantum states described by a first-quantized, analytical wave function into many-body Fock states. Within them, the single-particle occupations refer to the subset of Fock-Darwin functions with no nodes. Such states, commonly appearing in two-dimensional systems subjected to gauge fields, were first discussed in the context of quantum Hall physics and are nowadays very relevant in the field of ultracold quantum gases. As important examples, we explicitly apply our decomposition scheme to the prominent Laughlin and Pfaffian states. This allows for easily calculating the overlap between arbitrary states with these highly correlated test states, and thus provides a useful tool to classify correlated quantum systems. Furthermore, we can directly read off the angular momentum distribution of a state from its decomposition. Finally we make use of our code to calculate the normalization factors for Laughlin's famous quasi-particle/quasi-hole excitations, from which we gain insight into the intriguing fractional behavior of these excitations. Program summaryProgram title: Strongdeco Catalogue identifier: AELA_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AELA_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 5475 No. of bytes in distributed program, including test data, etc.: 31 071 Distribution format: tar.gz Programming language: Mathematica Computer: Any computer on which Mathematica can be installed Operating system: Linux, Windows, Mac Classification: 2.9 Nature of problem: Analysis of strongly correlated quantum states. Solution method: The program makes use of the tools developed in Mathematica to deal with multivariate polynomials to decompose analytical strongly correlated states of bosons and fermions into a standard many-body basis. Operations with polynomials, determinants and permanents are the basic tools. Running time: The distributed notebook takes a couple of minutes to run.
Construction of SO(5)⊃SO(3) spherical harmonics and Clebsch-Gordan coefficients
NASA Astrophysics Data System (ADS)
Caprio, M. A.; Rowe, D. J.; Welsh, T. A.
2009-07-01
The SO(5)⊃SO(3) spherical harmonics form a natural basis for expansion of nuclear collective model angular wave functions. They underlie the recently-proposed algebraic method for diagonalization of the nuclear collective model Hamiltonian in an SU(1,1)×SO(5) basis. We present a computer code for explicit construction of the SO(5)⊃SO(3) spherical harmonics and use them to compute the Clebsch-Gordan coefficients needed for collective model calculations in an SO(3)-coupled basis. With these Clebsch-Gordan coefficients it becomes possible to compute the matrix elements of collective model observables by purely algebraic methods. Program summaryProgram title: GammaHarmonic Catalogue identifier: AECY_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AECY_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 346 421 No. of bytes in distributed program, including test data, etc.: 16 037 234 Distribution format: tar.gz Programming language: Mathematica 6 Computer: Any which supports Mathematica Operating system: Any which supports Mathematica; tested under Microsoft Windows XP and Linux Classification: 4.2 Nature of problem: Explicit construction of SO(5) ⊃ SO(3) spherical harmonics on S. Evaluation of SO(3)-reduced matrix elements and SO(5) ⊃ SO(3) Clebsch-Gordan coefficients (isoscalar factors). Solution method: Construction of SO(5) ⊃ SO(3) spherical harmonics by orthonormalization, obtained from a generating set of functions, according to the method of Rowe, Turner, and Repka [1]. Matrix elements and Clebsch-Gordan coefficients follow by construction and integration of SO(3) scalar products. Running time: Depends strongly on the maximum SO(5) and SO(3) representation labels involved. A few minutes for the calculation in the Mathematica notebook. References: [1] D.J. Rowe, P.S. Turner, J. Repka, J. Math. Phys. 45 (2004) 2761.
Package-X 2.0: A Mathematica package for the analytic calculation of one-loop integrals
NASA Astrophysics Data System (ADS)
Patel, Hiren H.
2017-09-01
This article summarizes new features and enhancements of the first major update of Package-X. Package-X 2.0 can now generate analytic expressions for arbitrarily high rank dimensionally regulated tensor integrals with up to four distinct propagators, each with arbitrary integer weight, near an arbitrary even number of spacetime dimensions, giving UV divergent, IR divergent, and finite parts at (almost) any real-valued kinematic point. Additionally, it can generate multivariable Taylor series expansions of these integrals around any non-singular kinematic point to arbitrary order. All special functions and abbreviations output by Package-X 2.0 support Mathematica's arbitrary precision evaluation capabilities to deal with issues of numerical stability. Finally, tensor algebraic routines of Package-X have been polished and extended to support open fermion chains both on and off shell. The documentation (equivalent to over 100 printed pages) is accessed through Mathematica's Wolfram Documentation Center and contains information on all Package-X symbols, with over 300 basic usage examples, 3 project-scale tutorials, and instructions on linking to FEYNCALC and LOOPTOOLS. Program files doi:http://dx.doi.org/10.17632/yfkwrd4d5t.1 Licensing provisions: CC by 4.0 Programming language: Mathematica (Wolfram Language) Journal reference of previous version: H. H. Patel, Comput. Phys. Commun 197, 276 (2015) Does the new version supersede the previous version?: Yes Summary of revisions: Extension to four point one-loop integrals with higher powers of denominator factors, separate extraction of UV and IR divergent parts, testing for power IR divergences, construction of Taylor series expansions of one-loop integrals, numerical evaluation with arbitrary precision arithmetic, manipulation of fermion chains, improved tensor algebraic routines, and much expanded documentation. Nature of problem: Analytic calculation of one-loop integrals in relativistic quantum field theory. Solution method: Passarino-Veltman reduction formula, Denner-Dittmaier reduction formulae, and additional algorithms described in the manuscript. Restrictions: One-loop integrals are limited to those involving no more than four denominator factors.
MESAFace, a graphical interface to analyze the MESA output
NASA Astrophysics Data System (ADS)
Giannotti, M.; Wise, M.; Mohammed, A.
2013-04-01
MESA (Modules for Experiments in Stellar Astrophysics) has become very popular among astrophysicists as a powerful and reliable code to simulate stellar evolution. Analyzing the output data thoroughly may, however, present some challenges and be rather time-consuming. Here we describe MESAFace, a graphical and dynamical interface which provides an intuitive, efficient and quick way to analyze the MESA output. Catalogue identifier: AEOQ_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEOQ_v1_0.html Program obtainable from: CPC Program Library, Queen’s University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 19165 No. of bytes in distributed program, including test data, etc.: 6300592 Distribution format: tar.gz Programming language: Mathematica. Computer: Any computer capable of running Mathematica. Operating system: Any capable of running Mathematica. Tested on Linux, Mac, Windows XP, Windows 7. RAM: Recommended 2 Gigabytes or more. Supplementary material: Additional test data files are available. Classification: 1.7, 14. Nature of problem: Find a way to quickly and thoroughly analyze the output of a MESA run, including all the profiles, and have an efficient method to produce graphical representations of the data. Solution method: We created two scripts (to be run consecutively). The first one downloads all the data from a MESA run and organizes the profiles in order of age. All the files are saved as tables or arrays of tables which can then be accessed very quickly by Mathematica. The second script uses the Manipulate function to create a graphical interface which allows the user to choose what to plot from a set of menus and buttons. The information shown is updated in real time. The user can access very quickly all the data from the run under examination and visualize it with plots and tables. Unusual features: Moving the slides in certain regions may cause an error message. This happens when Mathematica is asked to read nonexistent data. The error message, however, disappears when the slides are moved back. This issue does not preclude the good functioning of the interface. Additional comments: The program uses the dynamical capabilities of Mathematica. When the program is opened, Mathematica prompts the user to “Enable Dynamics”. It is necessary to accept before proceeding. Running time: Depends on the size of the data downloaded, on where the data are stored (hard-drive or web), and on the speed of the computer or network connection. In general, downloading the data may take from a minute to several minutes. Loading directly from the web is slower. For example, downloading a 200 MB data folder (a total of 102 files) with a dual-core Intel laptop, P8700, 2 GB of RAM, at 2.53 GHz took about a minute from the hard-drive and about 23 min from the web (with a basic home wireless connection).
Symbolic computation of the Hartree-Fock energy from a chiral EFT three-nucleon interaction at N 2LO
NASA Astrophysics Data System (ADS)
Gebremariam, B.; Bogner, S. K.; Duguet, T.
2010-06-01
We present the first of a two-part Mathematica notebook collection that implements a symbolic approach for the application of the density matrix expansion (DME) to the Hartree-Fock (HF) energy from a chiral effective field theory (EFT) three-nucleon interaction at N 2LO. The final output from the notebooks is a Skyrme-like energy density functional that provides a quasi-local approximation to the non-local HF energy. In this paper, we discuss the derivation of the HF energy and its simplification in terms of the scalar/vector-isoscalar/isovector parts of the one-body density matrix. Furthermore, a set of steps is described and illustrated on how to extend the approach to other three-nucleon interactions. Program summaryProgram title: SymbHFNNN Catalogue identifier: AEGC_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEGC_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 96 666 No. of bytes in distributed program, including test data, etc.: 378 083 Distribution format: tar.gz Programming language: Mathematica 7.1 Computer: Any computer running Mathematica 6.0 and later versions Operating system: Windows Xp, Linux/Unix RAM: 256 Mb Classification: 5, 17.16, 17.22 Nature of problem: The calculation of the HF energy from the chiral EFT three-nucleon interaction at N 2LO involves tremendous spin-isospin algebra. The problem is compounded by the need to eventually obtain a quasi-local approximation to the HF energy, which requires the HF energy to be expressed in terms of scalar/vector-isoscalar/isovector parts of the one-body density matrix. The Mathematica notebooks discussed in this paper solve the latter issue. Solution method: The HF energy from the chiral EFT three-nucleon interaction at N 2LO is cast into a form suitable for an automatic simplification of the spin-isospin traces. Several Mathematica functions and symbolic manipulation techniques are used to obtain the result in terms of the scalar/vector-isoscalar/isovector parts of the one-body density matrix. Running time: Several hours
CUGatesDensity—Quantum circuit analyser extended to density matrices
NASA Astrophysics Data System (ADS)
Loke, T.; Wang, J. B.
2013-12-01
CUGatesDensity is an extension of the original quantum circuit analyser CUGates (Loke and Wang, 2011) [7] to provide explicit support for the use of density matrices. The new package enables simulation of quantum circuits involving statistical ensemble of mixed quantum states. Such analysis is of vital importance in dealing with quantum decoherence, measurements, noise and error correction, and fault tolerant computation. Several examples involving mixed state quantum computation are presented to illustrate the use of this package. Catalogue identifier: AEPY_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEPY_v1_0.html Program obtainable from: CPC Program Library, Queen’s University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 5368 No. of bytes in distributed program, including test data, etc.: 143994 Distribution format: tar.gz Programming language: Mathematica. Computer: Any computer installed with a copy of Mathematica 6.0 or higher. Operating system: Any system with a copy of Mathematica 6.0 or higher installed. Classification: 4.15. Nature of problem: To simulate arbitrarily complex quantum circuits comprised of single/multiple qubit and qudit quantum gates with mixed state registers. Solution method: A density matrix representation for mixed states and a state vector representation for pure states are used. The construct is based on an irreducible form of matrix decomposition, which allows a highly efficient implementation of general controlled gates with multiple conditionals. Running time: The examples provided in the notebook CUGatesDensity.nb take approximately 30 s to run on a laptop PC.
NASA Astrophysics Data System (ADS)
Angeli, C.; Cimiraglia, R.
2013-02-01
A symbolic program performing the Formal Reduction of Density Operators (FRODO), formerly developed in the MuPAD computer algebra system with the purpose of evaluating the matrix elements of the electronic Hamiltonian between internally contracted functions in a complete active space (CAS) scheme, has been rewritten in Mathematica. New version : A program summaryProgram title: FRODO Catalogue identifier: ADV Y _v2_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADVY_v2_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 3878 No. of bytes in distributed program, including test data, etc.: 170729 Distribution format: tar.gz Programming language: Mathematica Computer: Any computer on which the Mathematica computer algebra system can be installed Operating system: Linux Classification: 5 Catalogue identifier of previous version: ADV Y _v1_0 Journal reference of previous version: Comput. Phys. Comm. 171(2005)63 Does the new version supersede the previous version?: No Nature of problem. In order to improve on the CAS-SCF wavefunction one can resort to multireference perturbation theory or configuration interaction based on internally contracted functions (ICFs) which are obtained by application of the excitation operators to the reference CAS-SCF wavefunction. The previous formulation of such matrix elements in the MuPAD computer algebra system, has been rewritten using Mathematica. Solution method: The method adopted consists in successively eliminating all occurrences of inactive orbital indices (core and virtual) from the products of excitation operators which appear in the definition of the ICFs and in the electronic Hamiltonian expressed in the second quantization formalism. Reasons for new version: Some years ago we published in this journal a couple of papers [1, 2] hereafter to be referred to as papers I and II, respectively dedicated to the automated evaluation of the matrix elements of the molecular electronic Hamiltonian between internally contracted functions [3] (ICFs). In paper II the program FRODO (after Formal Reduction Of Density Operators) was presented with the purpose of providing working formulas for each occurrence of the ICFs. The original FRODO program was written in the MuPAD computer algebra system [4] and was actively used in our group for the generation of the matrix elements to be employed in the third-order n-electron valence state perturbation theory (NEVPT) [5-8] as well as in the internally contracted configuration interaction (IC-CI) [9]. We present a new version of the program FRODO written in the Mathematica system [10]. The reason for the rewriting of the program lies in the fact that, on the one hand, MuPAD does not seem to be any longer available as a stand-alone system and, on the other hand, Mathematica, due to its ubiquitousness, appears to be increasingly the computer algebra system most widely used nowadays. Restrictions: The program is limited to no more than doubly excited ICFs. Running time: The examples described in the Readme file take a few seconds to run. References: [1] C. Angeli, R. Cimiraglia, Comp. Phys. Comm. 166 (2005) 53. [2] C. Angeli, R. Cimiraglia, Comp. Phys. Comm. 171 (2005) 63. [3] H.-J. Werner, P. J. Knowles, Adv. Chem. Phys. 89 (1988) 5803. [4] B. Fuchssteiner, W. Oevel: http://www.mupad.de Mupad research group, university of Paderborn. Mupad version 2.5.3 for Linux. [5] C. Angeli, R. Cimiraglia, S. Evangelisti, T. Leininger, J.-P. Malrieu, J. Chem. Phys. 114 (2001) 10252. [6] C. Angeli, R. Cimiraglia, J.-P. Malrieu, J. Chem. Phys. 117 (2002) 9138. [7] C. Angeli, B. Bories, A. Cavallini, R. Cimiraglia, J. Chem. Phys. 124 (2006) 054108. [8] C. Angeli, M. Pastore, R. Cimiraglia, Theor. Chem. Acc. 117 (2007) 743. [9] C. Angeli, R. Cimiraglia, Mol. Phys. in press, DOI:10.1080/00268976.2012.689872 [10] http://www.wolfram.com/Mathematica. Mathematica version 8 for Linux.
NASA Astrophysics Data System (ADS)
Szidarovszky, Tamás; Jono, Maho; Yamanouchi, Kaoru
2018-07-01
A user-friendly and cross-platform software called Laser-Induced Molecular Alignment and Orientation simulator (LIMAO) has been developed. The program can be used to simulate within the rigid rotor approximation the rotational dynamics of gas phase molecules induced by linearly polarized intense laser fields at a given temperature. The software is implemented in the Java and Mathematica programming languages. The primary aim of LIMAO is to aid experimental scientists in predicting and analyzing experimental data representing laser-induced spatial alignment and orientation of molecules.
mr: A C++ library for the matching and running of the Standard Model parameters
NASA Astrophysics Data System (ADS)
Kniehl, Bernd A.; Pikelner, Andrey F.; Veretin, Oleg L.
2016-09-01
We present the C++ program library mr that allows us to reliably calculate the values of the running parameters in the Standard Model at high energy scales. The initial conditions are obtained by relating the running parameters in the MS bar renormalization scheme to observables at lower energies with full two-loop precision. The evolution is then performed in accordance with the renormalization group equations with full three-loop precision. Pure QCD corrections to the matching and running are included through four loops. We also provide a Mathematica interface for this program library. Catalogue identifier: AFAI_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AFAI_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: GNU General Public License, version 3 No. of lines in distributed program, including test data, etc.: 517613 No. of bytes in distributed program, including test data, etc.: 2358729 Distribution format: tar.gz Programming language: C++. Computer: IBM PC. Operating system: Linux, Mac OS X. RAM: 1 GB Classification: 11.1. External routines: TSIL [1], OdeInt [2], boost [3] Nature of problem: The running parameters of the Standard Model renormalized in the MS bar scheme at some high renormalization scale, which is chosen by the user, are evaluated in perturbation theory as precisely as possible in two steps. First, the initial conditions at the electroweak energy scale are evaluated from the Fermi constant GF and the pole masses of the W, Z, and Higgs bosons and the bottom and top quarks including the full two-loop threshold corrections. Second, the evolution to the high energy scale is performed by numerically solving the renormalization group evolution equations through three loops. Pure QCD corrections to the matching and running are included through four loops. Solution method: Numerical integration of analytic expressions Additional comments: Available for download from URL: http://apik.github.io/mr/. The MathLink interface is tested to work with Mathematica 7-9 and, with an additional flag, also with Mathematica 10 under Linux and with Mathematica 10 under Mac OS X. Running time: less than 1 second References: [1] S. P. Martin and D. G. Robertson, Comput. Phys. Commun. 174 (2006) 133-151 [hep-ph/0501132]. [2] K. Ahnert and M. Mulansky, AIP Conf. Proc. 1389 (2011) 1586-1589 [arxiv:1110.3397 [cs.MS
xPerm: fast index canonicalization for tensor computer algebra
NASA Astrophysics Data System (ADS)
Martín-García, José M.
2008-10-01
We present a very fast implementation of the Butler-Portugal algorithm for index canonicalization with respect to permutation symmetries. It is called xPerm, and has been written as a combination of a Mathematica package and a C subroutine. The latter performs the most demanding parts of the computations and can be linked from any other program or computer algebra system. We demonstrate with tests and timings the effectively polynomial performance of the Butler-Portugal algorithm with respect to the number of indices, though we also show a case in which it is exponential. Our implementation handles generic tensorial expressions with several dozen indices in hundredths of a second, or one hundred indices in a few seconds, clearly outperforming all other current canonicalizers. The code has been already under intensive testing for several years and has been essential in recent investigations in large-scale tensor computer algebra. Program summaryProgram title: xPerm Catalogue identifier: AEBH_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEBH_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 93 582 No. of bytes in distributed program, including test data, etc.: 1 537 832 Distribution format: tar.gz Programming language: C and Mathematica (version 5.0 or higher) Computer: Any computer running C and Mathematica (version 5.0 or higher) Operating system: Linux, Unix, Windows XP, MacOS RAM:: 20 Mbyte Word size: 64 or 32 bits Classification: 1.5, 5 Nature of problem: Canonicalization of indexed expressions with respect to permutation symmetries. Solution method: The Butler-Portugal algorithm. Restrictions: Multiterm symmetries are not considered. Running time: A few seconds with generic expressions of up to 100 indices. The xPermDoc.nb notebook supplied with the distribution takes approximately one and a half hours to execute in full.
Calculating the renormalisation group equations of a SUSY model with Susyno
NASA Astrophysics Data System (ADS)
Fonseca, Renato M.
2012-10-01
Susyno is a Mathematica package dedicated to the computation of the 2-loop renormalisation group equations of a supersymmetric model based on any gauge group (the only exception being multiple U(1) groups) and for any field content. Program summary Program title: Susyno Catalogue identifier: AEMX_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEMX_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 30829 No. of bytes in distributed program, including test data, etc.: 650170 Distribution format: tar.gz Programming language: Mathematica 7 or higher. Computer: All systems that Mathematica 7+ is available for (PC, Mac). Operating system: Any platform supporting Mathematica 7+ (Windows, Linux, Mac OS). Classification: 4.2, 5, 11.1. Nature of problem: Calculating the renormalisation group equations of a supersymmetric model involves using long and complicated general formulae [1, 2]. In addition, to apply them it is necessary to know the Lagrangian in its full form. Building the complete Lagrangian of models with small representations of SU(2) and SU(3) might be easy but in the general case of arbitrary representations of an arbitrary gauge group, this task can be hard, lengthy and error prone. Solution method: The Susyno package uses group theoretical functions to calculate the super-potential and the soft-SUSY-breaking Lagrangian of a supersymmetric model, and calculates the two-loop RGEs of the model using the general equations of [1, 2]. Susyno works for models based on any representation(s) of any gauge group (the only exception being multiple U(1) groups). Restrictions: As the program is based on the formalism of [1, 2], it shares its limitations. Running time can also be a significant restriction, in particular for models with many fields. Unusual features: Susyno contains functions that (a) calculate the Lagrangian of supersymmetric models and (b) calculate some group theoretical quantities. Some of these functions are available to the user and can be freely used. A built-in help system provides detailed information. Running time: Tests were made using a computer with an Intel Core i5 760 CPU, running under Ubuntu 11.04 and with Mathematica 8.0.1 installed. Using the option to suppress printing, the one- and two-loop beta functions of the MSSM were obtained in 2.5 s (NMSSM: 5.4 s). Note that the running time scales up very quickly with the total number of fields in the model. References: [1] S.P. Martin and M.T. Vaughn, Phys. Rev. D 50 (1994) 2282. [Erratum-ibid D 78 (2008) 039903] [arXiv:hep-ph/9311340]. [2] Y. Yamada, Phys. Rev. D 50 (1994) 3537 [arXiv:hep-ph/9401241].
Dill: an algorithm and a symbolic software package for doing classical supersymmetry calculations
NASA Astrophysics Data System (ADS)
Luc̆ić, Vladan
1995-11-01
An algorithm is presented that formalizes different steps in a classical Supersymmetric (SUSY) calculation. Based on the algorithm Dill, a symbolic software package, that can perform the calculations, is developed in the Mathematica programming language. While the algorithm is quite general, the package is created for the 4 - D, N = 1 model. Nevertheless, with little modification, the package could be used for other SUSY models. The package has been tested and some of the results are presented.
BCM-2.0 - The new version of computer code ;Basic Channeling with Mathematica©;
NASA Astrophysics Data System (ADS)
Abdrashitov, S. V.; Bogdanov, O. V.; Korotchenko, K. B.; Pivovarov, Yu. L.; Rozhkova, E. I.; Tukhfatullin, T. A.; Eikhorn, Yu. L.
2017-07-01
The new symbolic-numerical code devoted to investigation of the channeling phenomena in periodic potential of a crystal has been developed. The code has been written in Wolfram Language taking advantage of analytical programming method. Newly developed different packages were successfully applied to simulate scattering, radiation, electron-positron pair production and other effects connected with channeling of relativistic particles in aligned crystal. The result of the simulation has been validated against data from channeling experiments carried out at SAGA LS.
NASA Astrophysics Data System (ADS)
Nazarov, Anton
2012-11-01
In this paper we present Affine.m-a program for computations in representation theory of finite-dimensional and affine Lie algebras and describe implemented algorithms. The algorithms are based on the properties of weights and Weyl symmetry. Computation of weight multiplicities in irreducible and Verma modules, branching of representations and tensor product decomposition are the most important problems for us. These problems have numerous applications in physics and we provide some examples of these applications. The program is implemented in the popular computer algebra system Mathematica and works with finite-dimensional and affine Lie algebras. Catalogue identifier: AENA_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AENB_v1_0.html Program obtainable from: CPC Program Library, Queen’s University, Belfast, UK Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 24 844 No. of bytes in distributed program, including test data, etc.: 1 045 908 Distribution format: tar.gz Programming language: Mathematica. Computer: i386-i686, x86_64. Operating system: Linux, Windows, Mac OS, Solaris. RAM: 5-500 Mb Classification: 4.2, 5. Nature of problem: Representation theory of finite-dimensional Lie algebras has many applications in different branches of physics, including elementary particle physics, molecular physics, nuclear physics. Representations of affine Lie algebras appear in string theories and two-dimensional conformal field theory used for the description of critical phenomena in two-dimensional systems. Also Lie symmetries play a major role in a study of quantum integrable systems. Solution method: We work with weights and roots of finite-dimensional and affine Lie algebras and use Weyl symmetry extensively. Central problems which are the computations of weight multiplicities, branching and fusion coefficients are solved using one general recurrent algorithm based on generalization of Weyl character formula. We also offer alternative implementation based on the Freudenthal multiplicity formula which can be faster in some cases. Restrictions: Computational complexity grows fast with the rank of an algebra, so computations for algebras of ranks greater than 8 are not practical. Unusual features: We offer the possibility of using a traditional mathematical notation for the objects in representation theory of Lie algebras in computations if Affine.m is used in the Mathematica notebook interface. Running time: From seconds to days depending on the rank of the algebra and the complexity of the representation.
FeynArts model file for MSSM transition counterterms from DREG to DRED
NASA Astrophysics Data System (ADS)
Stöckinger, Dominik; Varšo, Philipp
2012-02-01
The FeynArts model file MSSMdreg2dred implements MSSM transition counterterms which can convert one-loop Green functions from dimensional regularization to dimensional reduction. They correspond to a slight extension of the well-known Martin/Vaughn counterterms, specialized to the MSSM, and can serve also as supersymmetry-restoring counterterms. The paper provides full analytic results for the counterterms and gives one- and two-loop usage examples. The model file can simplify combining MS¯-parton distribution functions with supersymmetric renormalization or avoiding the renormalization of ɛ-scalars in dimensional reduction. Program summaryProgram title:MSSMdreg2dred.mod Catalogue identifier: AEKR_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEKR_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: LGPL-License [1] No. of lines in distributed program, including test data, etc.: 7600 No. of bytes in distributed program, including test data, etc.: 197 629 Distribution format: tar.gz Programming language: Mathematica, FeynArts Computer: Any, capable of running Mathematica and FeynArts Operating system: Any, with running Mathematica, FeynArts installation Classification: 4.4, 5, 11.1 Subprograms used: Cat Id Title Reference ADOW_v1_0 FeynArts CPC 140 (2001) 418 Nature of problem: The computation of one-loop Feynman diagrams in the minimal supersymmetric standard model (MSSM) requires regularization. Two schemes, dimensional regularization and dimensional reduction are both common but have different pros and cons. In order to combine the advantages of both schemes one would like to easily convert existing results from one scheme into the other. Solution method: Finite counterterms are constructed which correspond precisely to the one-loop scheme differences for the MSSM. They are provided as a FeynArts [2] model file. Using this model file together with FeynArts, the (ultra-violet) regularization of any MSSM one-loop Green function is switched automatically from dimensional regularization to dimensional reduction. In particular the counterterms serve as supersymmetry-restoring counterterms for dimensional regularization. Restrictions: The counterterms are restricted to the one-loop level and the MSSM. Running time: A few seconds to generate typical Feynman graphs with FeynArts.
ERIC Educational Resources Information Center
Hutem, Artit; Kerdmee, Supoj
2013-01-01
The propose of this study is to study Physics Learning Achievement, projectile motion, using the Mathematica program of Faculty of Science and Technology Phetchabun Rajabhat University students, comparing with Faculty of Science and Technology Phetchabun Rajabhat University students who study the projectile motion experiment set. The samples are…
On One Unusual Method of Computation of Limits of Rational Functions in the Program Mathematica[R
ERIC Educational Resources Information Center
Hora, Jaroslav; Pech, Pavel
2005-01-01
Computing limits of functions is a traditional part of mathematical analysis which is very difficult for students. Now an algorithm for the elimination of quantifiers in the field of real numbers is implemented in the program Mathematica. This offers a non-traditional view on this classical theme. (Contains 1 table.)
Symbolic Computational Approach to the Marangoni Convection Problem With Soret Diffusion
NASA Technical Reports Server (NTRS)
Skarda, J. Raymond
1998-01-01
A recently reported solution for stationary stability of a thermosolutal system with Soret diffusion is re-derived and examined using a symbolic computational package. Symbolic computational languages are well suited for such an analysis and facilitate a pragmatic approach that is adaptable to similar problems. Linearization of the equations, normal mode analysis, and extraction of the final solution are performed in a Mathematica notebook format. An exact solution is obtained for stationary stability in the limit of zero gravity. A closed form expression is also obtained for the location of asymptotes in relevant parameter, (Sm(sub c), Mac(sub c)), space. The stationary stability behavior is conveniently examined within the symbolic language environment. An abbreviated version of the Mathematica notebook is given in the Appendix.
The Invar tensor package: Differential invariants of Riemann
NASA Astrophysics Data System (ADS)
Martín-García, J. M.; Yllanes, D.; Portugal, R.
2008-10-01
The long standing problem of the relations among the scalar invariants of the Riemann tensor is computationally solved for all 6ṡ10 objects with up to 12 derivatives of the metric. This covers cases ranging from products of up to 6 undifferentiated Riemann tensors to cases with up to 10 covariant derivatives of a single Riemann. We extend our computer algebra system Invar to produce within seconds a canonical form for any of those objects in terms of a basis. The process is as follows: (1) an invariant is converted in real time into a canonical form with respect to the permutation symmetries of the Riemann tensor; (2) Invar reads a database of more than 6ṡ10 relations and applies those coming from the cyclic symmetry of the Riemann tensor; (3) then applies the relations coming from the Bianchi identity, (4) the relations coming from commutations of covariant derivatives, (5) the dimensionally-dependent identities for dimension 4, and finally (6) simplifies invariants that can be expressed as product of dual invariants. Invar runs on top of the tensor computer algebra systems xTensor (for Mathematica) and Canon (for Maple). Program summaryProgram title:Invar Tensor Package v2.0 Catalogue identifier:ADZK_v2_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADZK_v2_0.html Program obtainable from:CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions:Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.:3 243 249 No. of bytes in distributed program, including test data, etc.:939 Distribution format:tar.gz Programming language:Mathematica and Maple Computer:Any computer running Mathematica versions 5.0 to 6.0 or Maple versions 9 and 11 Operating system:Linux, Unix, Windows XP, MacOS RAM:100 Mb Word size:64 or 32 bits Supplementary material:The new database of relations is much larger than that for the previous version and therefore has not been included in the distribution. To obtain the Mathematica and Maple database files click on this link. Classification:1.5, 5 Does the new version supersede the previous version?:Yes. The previous version (1.0) only handled algebraic invariants. The current version (2.0) has been extended to cover differential invariants as well. Nature of problem:Manipulation and simplification of scalar polynomial expressions formed from the Riemann tensor and its covariant derivatives. Solution method:Algorithms of computational group theory to simplify expressions with tensors that obey permutation symmetries. Tables of syzygies of the scalar invariants of the Riemann tensor. Reasons for new version:With this new version, the user can manipulate differential invariants of the Riemann tensor. Differential invariants are required in many physical problems in classical and quantum gravity. Summary of revisions:The database of syzygies has been expanded by a factor of 30. New commands were added in order to deal with the enlarged database and to manipulate the covariant derivative. Restrictions:The present version only handles scalars, and not expressions with free indices. Additional comments:The distribution file for this program is over 53 Mbytes and therefore is not delivered directly when download or Email is requested. Instead a html file giving details of how the program can be obtained is sent. Running time:One second to fully reduce any monomial of the Riemann tensor up to degree 7 or order 10 in terms of independent invariants. The Mathematica notebook included in the distribution takes approximately 5 minutes to run.
Creating Three-Dimensional Scenes
ERIC Educational Resources Information Center
Krumpe, Norm
2005-01-01
Persistence of Vision Raytracer (POV-Ray), a free computer program for creating photo-realistic, three-dimensional scenes and a link for Mathematica users interested in generating POV-Ray files from within Mathematica, is discussed. POV-Ray has great potential in secondary mathematics classrooms and helps in strengthening students' visualization…
Evidence Scan of Work Experience Programs. Mathematica Reference Number: 06747-100
ERIC Educational Resources Information Center
Sattar, Samina
2010-01-01
This study, being conducted through the Center for Improving Research Evidence (CIRE) at Mathematica Policy Research for the venture philanthropy organization REDF (formerly The Roberts Enterprise Development Fund), presents the evidence on the effectiveness of interventions that include work experience as a strategy to improve employment outcomes…
PyR@TE. Renormalization group equations for general gauge theories
NASA Astrophysics Data System (ADS)
Lyonnet, F.; Schienbein, I.; Staub, F.; Wingerter, A.
2014-03-01
Although the two-loop renormalization group equations for a general gauge field theory have been known for quite some time, deriving them for specific models has often been difficult in practice. This is mainly due to the fact that, albeit straightforward, the involved calculations are quite long, tedious and prone to error. The present work is an attempt to facilitate the practical use of the renormalization group equations in model building. To that end, we have developed two completely independent sets of programs written in Python and Mathematica, respectively. The Mathematica scripts will be part of an upcoming release of SARAH 4. The present article describes the collection of Python routines that we dubbed PyR@TE which is an acronym for “Python Renormalization group equations At Two-loop for Everyone”. In PyR@TE, once the user specifies the gauge group and the particle content of the model, the routines automatically generate the full two-loop renormalization group equations for all (dimensionless and dimensionful) parameters. The results can optionally be exported to LaTeX and Mathematica, or stored in a Python data structure for further processing by other programs. For ease of use, we have implemented an interactive mode for PyR@TE in form of an IPython Notebook. As a first application, we have generated with PyR@TE the renormalization group equations for several non-supersymmetric extensions of the Standard Model and found some discrepancies with the existing literature. Catalogue identifier: AERV_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AERV_v1_0.html Program obtainable from: CPC Program Library, Queen’s University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 924959 No. of bytes in distributed program, including test data, etc.: 495197 Distribution format: tar.gz Programming language: Python. Computer: Personal computer. Operating system: Tested on Fedora 15, MacOS 10 and 11, Ubuntu 12. Classification: 11.1. External routines: SymPy, PyYAML, NumPy, IPython, SciPy Nature of problem: Deriving the renormalization group equations for a general quantum field theory. Solution method: Group theory, tensor algebra Running time: Tens of seconds per model (one-loop), tens of minutes (two-loop)
NASA Astrophysics Data System (ADS)
Azadegan, B.
2013-03-01
The presented Mathematica code is an efficient tool for simulation of planar channeling radiation spectra of relativistic electrons channeled along major crystallographic planes of a diamond-structure single crystal. The program is based on the quantum theory of channeling radiation which has been successfully applied to study planar channeling at electron energies between 10 and 100 MeV. Continuum potentials for different planes of diamond, silicon and germanium single crystals are calculated using the Doyle-Turner approximation to the atomic scattering factor and taking thermal vibrations of the crystal atoms into account. Numerical methods are applied to solve the one-dimensional Schrödinger equation. The code is designed to calculate the electron wave functions, transverse electron states in the planar continuum potential, transition energies, line widths of channeling radiation and depth dependencies of the population of quantum states. Finally the spectral distribution of spontaneously emitted channeling radiation is obtained. The simulation of radiation spectra considerably facilitates the interpretation of experimental data. Catalog identifier: AEOH_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEOH_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 446 No. of bytes in distributed program, including test data, etc.: 209805 Distribution format: tar.gz Programming language: Mathematica. Computer: Platforms on which Mathematica is available. Operating system: Operating systems on which Mathematica is available. RAM: 1 MB Classification: 7.10. Nature of problem: Planar channeling radiation is emitted by relativistic charged particles during traversing a single crystal in direction parallel to a crystallographic plane. Channeling is modeled as the motion of charged particles in a continuous planar potential which is formed by the spatially and thermally averaged action of the individual electrostatic potentials of the crystal atoms of the corresponding plane. Classically, the motion of channeled particles through the crystal resembles transverse oscillations being the source of radiation emission. For electrons of energy less than 100 MeV considered here, planar channeling has to be treated quantum mechanically by a one-dimensional Schrödinger equation for the transverse motion. Hence, this motion of the channeled electrons is restricted to a number of discrete (bound) channeling states in the planar continuum potential, and the emission of channeling radiation is caused by spontaneous electron transitions between these eigenstates. Due to relativistic and Doppler effects, the energy of the emitted photons directed into a narrow forward cone is typically shifted up by about three to five orders of magnitude. Consequently, the observed energy spectrum of channeling radiation is characterized by a number of radiation lines in the energy domain of hard X-rays. Channeling radiation may, therefore, be applied as an intense, tunable, quasi-monochromatic X-ray source. Solution method: The problem consists in finding the electron wave function for the planar continuum potential. Both the wave functions and corresponding energies of channeling states solve the Schrödinger equation of transverse electron motion. In the framework of the so-called many-beam formalism, solving the Schrödinger equation reduces to a eigenvector-eigenvalue problem of a Hermitian matrix. For that the program employs the mathematical tools allocated in the commercial computation software Mathematica. The electric field of the atomic planes in the crystal forces dipole oscillations of the channeled charged particles. In the quantum mechanical approach, the dipole approximation is also valid for spontaneous transitions between bound states. The transition strength for dedicated states depends on the magnitude of the corresponding dipole matrix element. The photon energy correlates with the particle energy, and the spectral width of radiation lines is a function of the life times of the channeling states. Running time: The program has been tested on a PC AMD Athlon X2 245 processor 2.9 GHz with 2 GB RAM. Depending on electron energy and crystal thickness, the running time of the program amounts to 5-10 min.
The two-electron atomic systems. S-states
NASA Astrophysics Data System (ADS)
Liverts, Evgeny Z.; Barnea, Nir
2010-01-01
A simple Mathematica program for computing the S-state energies and wave functions of two-electron (helium-like) atoms (ions) is presented. The well-known method of projecting the Schrödinger equation onto the finite subspace of basis functions was applied. The basis functions are composed of the exponentials combined with integer powers of the simplest perimetric coordinates. No special subroutines were used, only built-in objects supported by Mathematica. The accuracy of results and computation time depend on the basis size. The precise energy values of 7-8 significant figures along with the corresponding wave functions can be computed on a single processor within a few minutes. The resultant wave functions have a simple analytical form consisting of elementary functions, that enables one to calculate the expectation values of arbitrary physical operators without any difficulties. Program summaryProgram title: TwoElAtom-S Catalogue identifier: AEFK_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEFK_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 10 185 No. of bytes in distributed program, including test data, etc.: 495 164 Distribution format: tar.gz Programming language: Mathematica 6.0; 7.0 Computer: Any PC Operating system: Any which supports Mathematica; tested under Microsoft Windows XP and Linux SUSE 11.0 RAM:⩾10 bytes Classification: 2.1, 2.2, 2.7, 2.9 Nature of problem: The Schrödinger equation for atoms (ions) with more than one electron has not been solved analytically. Approximate methods must be applied in order to obtain the wave functions or other physical attributes from quantum mechanical calculations. Solution method: The S-wave function is expanded into a triple basis set in three perimetric coordinates. Method of projecting the two-electron Schrödinger equation (for atoms/ions) onto a subspace of the basis functions enables one to obtain the set of homogeneous linear equations F.C=0 for the coefficients C of the above expansion. The roots of equation det(F)=0 yield the bound energies. Restrictions: First, the too large length of expansion (basis size) takes the too large computation time giving no perceptible improvement in accuracy. Second, the order of polynomial Ω (input parameter) in the wave function expansion enables one to calculate the excited nS-states up to n=Ω+1 inclusive. Additional comments: The CPC Program Library includes "A program to calculate the eigenfunctions of the random phase approximation for two electron systems" (AAJD). It should be emphasized that this fortran code realizes a very rough approximation describing only the averaged electron density of the two electron systems. It does not characterize the properties of the individual electrons and has a number of input parameters including the Roothaan orbitals. Running time: ˜10 minutes (depends on basis size and computer speed)
Wolfram technologies as an integrated scalable platform for interactive learning
NASA Astrophysics Data System (ADS)
Kaurov, Vitaliy
2012-02-01
We rely on technology profoundly with the prospect of even greater integration in the future. Well known challenges in education are a technology-inadequate curriculum and many software platforms that are difficult to scale or interconnect. We'll review an integrated technology, much of it free, that addresses these issues for individuals and small schools as well as for universities. Topics include: Mathematica, a programming environment that offers a diverse range of functionality; natural language programming for getting started quickly and accessing data from Wolfram|Alpha; quick and easy construction of interactive courseware and scientific applications; partnering with publishers to create interactive e-textbooks; course assistant apps for mobile platforms; the computable document format (CDF); teacher-student and student-student collaboration on interactive projects and web publishing at the Wolfram Demonstrations site.
NASA Technical Reports Server (NTRS)
Sen, Syamal K.; Shaykhian, Gholam Ali
2011-01-01
MatLab(TradeMark)(MATrix LABoratory) is a numerical computation and simulation tool that is used by thousands Scientists and Engineers in many countries. MatLab does purely numerical calculations, which can be used as a glorified calculator or interpreter programming language; its real strength is in matrix manipulations. Computer algebra functionalities are achieved within the MatLab environment using "symbolic" toolbox. This feature is similar to computer algebra programs, provided by Maple or Mathematica to calculate with mathematical equations using symbolic operations. MatLab in its interpreter programming language form (command interface) is similar with well known programming languages such as C/C++, support data structures and cell arrays to define classes in object oriented programming. As such, MatLab is equipped with most of the essential constructs of a higher programming language. MatLab is packaged with an editor and debugging functionality useful to perform analysis of large MatLab programs and find errors. We believe there are many ways to approach real-world problems; prescribed methods to ensure foregoing solutions are incorporated in design and analysis of data processing and visualization can benefit engineers and scientist in gaining wider insight in actual implementation of their perspective experiments. This presentation will focus on data processing and visualizations aspects of engineering and scientific applications. Specifically, it will discuss methods and techniques to perform intermediate-level data processing covering engineering and scientific problems. MatLab programming techniques including reading various data files formats to produce customized publication-quality graphics, importing engineering and/or scientific data, organizing data in tabular format, exporting data to be used by other software programs such as Microsoft Excel, data presentation and visualization will be discussed.
NASA Astrophysics Data System (ADS)
Miszczak, Jarosław Adam
2013-01-01
The presented package for the Mathematica computing system allows the harnessing of quantum random number generators (QRNG) for investigating the statistical properties of quantum states. The described package implements a number of functions for generating random states. The new version of the package adds the ability to use the on-line quantum random number generator service and implements new functions for retrieving lists of random numbers. Thanks to the introduced improvements, the new version provides faster access to high-quality sources of random numbers and can be used in simulations requiring large amount of random data. New version program summaryProgram title: TRQS Catalogue identifier: AEKA_v2_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEKA_v2_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 18 134 No. of bytes in distributed program, including test data, etc.: 2 520 49 Distribution format: tar.gz Programming language: Mathematica, C. Computer: Any supporting Mathematica in version 7 or higher. Operating system: Any platform supporting Mathematica; tested with GNU/Linux (32 and 64 bit). RAM: Case-dependent Supplementary material: Fig. 1 mentioned below can be downloaded. Classification: 4.15. External routines: Quantis software library (http://www.idquantique.com/support/quantis-trng.html) Catalogue identifier of previous version: AEKA_v1_0 Journal reference of previous version: Comput. Phys. Comm. 183(2012)118 Does the new version supersede the previous version?: Yes Nature of problem: Generation of random density matrices and utilization of high-quality random numbers for the purpose of computer simulation. Solution method: Use of a physical quantum random number generator and an on-line service providing access to the source of true random numbers generated by quantum real number generator. Reasons for new version: Added support for the high-speed on-line quantum random number generator and improved methods for retrieving lists of random numbers. Summary of revisions: The presented version provides two signicant improvements. The first one is the ability to use the on-line Quantum Random Number Generation service developed by PicoQuant GmbH and the Nano-Optics groups at the Department of Physics of Humboldt University. The on-line service supported in the version 2.0 of the TRQS package provides faster access to true randomness sources constructed using the laws of quantum physics. The service is freely available at https://qrng.physik.hu-berlin.de/. The use of this service allows using the presented package with the need of a physical quantum random number generator. The second improvement introduced in this version is the ability to retrieve arrays of random data directly for the used source. This increases the speed of the random number generation, especially in the case of an on-line service, where it reduces the time necessary to establish the connection. Thanks to the speed improvement of the presented version, the package can now be used in simulations requiring larger amounts of random data. Moreover, the functions for generating random numbers provided by the current version of the package more closely follow the pattern of functions for generating pseudo- random numbers provided in Mathematica. Additional comments: Speed comparison: The implementation of the support for the QRNG on-line service provides a noticeable improvement in the speed of random number generation. For the samples of real numbers of size 101; 102,…,107 the times required to generate these samples using Quantis USB device and QRNG service are compared in Fig. 1. The presented results show that the use of the on-line service provides faster access to random numbers. One should note, however, that the speed gain can increase or decrease depending on the connection speed between the computer and the server providing random numbers. Running time: Depends on the used source of randomness and the amount of random data used in the experiment. References: [1] M. Wahl, M. Leifgen, M. Berlin, T. Röhlicke, H.-J. Rahn, O. Benson., An ultrafast quantum random number generator with provably bounded output bias based on photon arrival time measurements, Applied Physics Letters, Vol. 098, 171105 (2011). http://dx.doi.org/10.1063/1.3578456.
NASA Astrophysics Data System (ADS)
Favata, Antonino; Micheletti, Andrea; Ryu, Seunghwa; Pugno, Nicola M.
2016-10-01
An analytical benchmark and a simple consistent Mathematica program are proposed for graphene and carbon nanotubes, that may serve to test any molecular dynamics code implemented with REBO potentials. By exploiting the benchmark, we checked results produced by LAMMPS (Large-scale Atomic/Molecular Massively Parallel Simulator) when adopting the second generation Brenner potential, we made evident that this code in its current implementation produces results which are offset from those of the benchmark by a significant amount, and provide evidence of the reason.
Automatic calculation of supersymmetric renormalization group equations and loop corrections
NASA Astrophysics Data System (ADS)
Staub, Florian
2011-03-01
SARAH is a Mathematica package for studying supersymmetric models. It calculates for a given model the masses, tadpole equations and all vertices at tree-level. This information can be used by SARAH to write model files for CalcHep/ CompHep or FeynArts/ FormCalc. In addition, the second version of SARAH can derive the renormalization group equations for the gauge couplings, parameters of the superpotential and soft-breaking parameters at one- and two-loop level. Furthermore, it calculates the one-loop self-energies and the one-loop corrections to the tadpoles. SARAH can handle all N=1 SUSY models whose gauge sector is a direct product of SU(N) and U(1) gauge groups. The particle content of the model can be an arbitrary number of chiral superfields transforming as any irreducible representation with respect to the gauge groups. To implement a new model, the user has just to define the gauge sector, the particle, the superpotential and the field rotations to mass eigenstates. Program summaryProgram title: SARAH Catalogue identifier: AEIB_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEIB_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 97 577 No. of bytes in distributed program, including test data, etc.: 2 009 769 Distribution format: tar.gz Programming language: Mathematica Computer: All systems that Mathematica is available for Operating system: All systems that Mathematica is available for Classification: 11.1, 11.6 Nature of problem: A supersymmetric model is usually characterized by the particle content, the gauge sector and the superpotential. It is a time consuming process to obtain all necessary information for phenomenological studies from these basic ingredients. Solution method: SARAH calculates the complete Lagrangian for a given model whose gauge sector can be any direct product of SU(N) gauge groups. The chiral superfields can transform as any, irreducible representation with respect to these gauge groups and it is possible to handle an arbitrary number of symmetry breakings or particle rotations. Also the gauge fixing terms can be specified. Using this information, SARAH derives the mass matrices and Feynman rules at tree-level and generates model files for CalcHep/CompHep and FeynArts/FormCalc. In addition, it can calculate the renormalization group equations at one- and two-loop level and the one-loop corrections to the one- and two-point functions. Unusual features: SARAH just needs the superpotential and gauge sector as input and not the complete Lagrangian. Therefore, the complete implementation of new models is done in some minutes. Running time: Measured CPU time for the evaluation of the MSSM on an Intel Q8200 with 2.33 GHz. Calculating the complete Lagrangian: 12 seconds. Calculating all vertices: 75 seconds. Calculating the one- and two-loop RGEs: 50 seconds. Calculating the one-loop corrections: 7 seconds. Writing a FeynArts file: 1 second. Writing a CalcHep/CompHep file: 6 seconds. Writing the LaTeX output: 1 second.
Development of CCSDS DCT to Support Spacecraft Dynamic Events
NASA Technical Reports Server (NTRS)
Sidhwa, Anahita F
2011-01-01
This report discusses the development of Consultative Committee for Space Data Systems (CCSDS) Design Control Table (DCT) to support spacecraft dynamic events. The Consultative Committee for Space Data Systems (CCSDS) Design Control Table (DCT) is a versatile link calculation tool to analyze different kinds of radio frequency links. It started out as an Excel-based program, and is now being evolved into a Mathematica-based link analysis tool. The Mathematica platform offers a rich set of advanced analysis capabilities, and can be easily extended to a web-based architecture. Last year the CCSDS DCT's for the uplink, downlink, two-way, and ranging models were developed as well as the corresponding input and output interfaces. Another significant accomplishment is the integration of the NAIF SPICE library into the Mathematica computation platform.
NASA Astrophysics Data System (ADS)
Heusler, Stefan
2006-12-01
The main focus of the second, enlarged edition of the book Mathematica for Theoretical Physics is on computational examples using the computer program Mathematica in various areas in physics. It is a notebook rather than a textbook. Indeed, the book is just a printout of the Mathematica notebooks included on the CD. The second edition is divided into two volumes, the first covering classical mechanics and nonlinear dynamics, the second dealing with examples in electrodynamics, quantum mechanics, general relativity and fractal geometry. The second volume is not suited for newcomers because basic and simple physical ideas which lead to complex formulas are not explained in detail. Instead, the computer technology makes it possible to write down and manipulate formulas of practically any length. For researchers with experience in computing, the book contains a lot of interesting and non-trivial examples. Most of the examples discussed are standard textbook problems, but the power of Mathematica opens the path to more sophisticated solutions. For example, the exact solution for the perihelion shift of Mercury within general relativity is worked out in detail using elliptic functions. The virial equation of state for molecules' interaction with Lennard-Jones-like potentials is discussed, including both classical and quantum corrections to the second virial coefficient. Interestingly, closed solutions become available using sophisticated computing methods within Mathematica. In my opinion, the textbook should not show formulas in detail which cover three or more pages—these technical data should just be contained on the CD. Instead, the textbook should focus on more detailed explanation of the physical concepts behind the technicalities. The discussion of the virial equation would benefit much from replacing 15 pages of Mathematica output with 15 pages of further explanation and motivation. In this combination, the power of computing merged with physical intuition would be of benefit even for newcomers. In summary, this book shows in a convincing manner how classical problems in physics can be attacked with modern computing technology. The second volume is interesting for experienced users of Mathematica. For students, the textbook can be very useful in combination with a seminar.
NASA Astrophysics Data System (ADS)
McConnell, Sean; Fritzsche, Stephan; Surzhykov, Andrey
2010-03-01
During recent years, the DIRAC package has proved to be an efficient tool for studying the structural properties and dynamic behavior of hydrogen-like ions. Originally designed as a set of MAPLE procedures, this package provides interactive access to the wave and Green's functions in the non-relativistic and relativistic frameworks and supports analytical evaluation of a large number of radial integrals that are required for the construction of transition amplitudes and interaction cross sections. We provide here a new version of the DIRAC program which is developed within the framework of MATHEMATICA (version 6.0). This new version aims to cater to a wider community of researchers that use the MATHEMATICA platform and to take advantage of the generally faster processing times therein. Moreover, the addition of new procedures, a more convenient and detailed help system, as well as source code revisions to overcome identified shortcomings should ensure expanded use of the new DIRAC program over its predecessor. New version program summaryProgram title: DIRAC Catalogue identifier: ADUQ_v2_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADUQ_v2_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC license, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 45 073 No. of bytes in distributed program, including test data, etc.: 285 828 Distribution format: tar.gz Programming language: Mathematica 6.0 or higher Computer: All computers with a license for the computer algebra package Mathematica (version 6.0 or higher) Operating system: Mathematica is O/S independent Classification: 2.1 Catalogue identifier of previous version: ADUQ_v1_0 Journal reference of previous version: Comput. Phys. Comm. 165 (2005) 139 Does the new version supersede the previous version?: Yes Nature of problem: Since the early days of quantum mechanics, the "hydrogen atom" has served as one of the key models for studying the structure and dynamics of various quantum systems. Its analytic solutions are frequently used in case studies in atomic and molecular physics, quantum optics, plasma physics, or even in the field of quantum information and computation. Fast and reliable access to functions and properties of the hydrogenic systems are frequently required, in both the non-relativistic and relativistic frameworks. Despite all the knowledge about one-electron ions, providing such an access is not a simple task, owing to the rather complicated mathematical structure of the Schrödinger and especially Dirac equations. Moreover, for analyzing experimental results as well as for performing advanced theoretical studies one often needs (apart from the detailed information on atomic wave- and Green's functions) to be able to calculate a number of integrals involving these functions. Although for many types of transition operators these integrals can be evaluated analytically in terms of special mathematical functions, such an evaluation is usually rather involved and prone to mistakes. Solution method: A set of Mathematica procedures is developed which provides both the non-relativistic and relativistic solutions of the "Hydrogen atom model". It facilitates, moreover, the symbolic evaluation of integrals involved in the calculations of cross sections and transition amplitudes. These procedures are based on a large number of relations among special mathematical functions, information about their integral representations, recurrence formulae and series expansions. Based on this knowledge, the DIRAC tools provide a fast and reliable algebraic (and if necessary, numeric) manipulation of functions and properties of one-electron systems, thus helping to obtain further insight into the behavior of quantum physical systems. Reasons for new version: The original version of the DIRAC program was developed as a toolbox of Maple procedures and was submitted to the CPC library in 2004 (cf. Ref. [1]). Since then DIRAC has found its niche in advanced theoretical studies carried out in realm of heavy ion physics. With the help of this program detailed analysis has been performed, in particular, for the various excitation and ionization processes occurring in relativistic ion-atom collisions [2], the polarization of the characteristic X-ray radiation following radiative electron capture [3], the correlation properties of the two-photon emission from few-electron heavy ions [4], the spin entanglement phenomena in atomic photoionization [5] and even for exploring the vibrational excitations of the heavy nuclei [6]. Although these studies have conclusively proven the potential of the program, they have also illuminated routes for its further enhancement. Apart from certain source code revisions, demand has grown for a new version of DIRAC compatible with the Mathematica platform. The version presented here includes a wider ranging and more user friendly interactive help system, a number of new procedures and reprogramming for greater computational efficiency. Summary of revisions: The most important new capabilities of the DIRAC program since the previous version are: The utilization of the Mathematica (version 6.0) platform. The addition of a number of new procedures. Since the complete list of the new (and updated) procedures can be found in the interactive help library of the program, we mention here only the most important ones: DiracGlobal[] - Displays a list of the current global settings which specify the framework, nuclear charge and the units which are to be used by the DIRAC program. DiracRadialOrbitalMomentum[] - Returns a non-relativistic radial orbital in momentum space for both, the bound and free electron states. DiracSlaterRadial[] - Evaluates the radial Slater integral both, with the non-relativistic and relativistic wavefunctions. In the previous version of the program this procedure was restricted to the non-relativistic framework only. DiracGreensIntegralRadial[] - Evaluates the two-dimensional radial integrals with the wave- and Green's functions both in non-relativistic and relativistic frameworks. DiracAngularMatrixElement[] - Calculates the angular matrix elements for various irreducible tensor operators. The elimination of some redundant procedures. In particular, the previous version supported evaluation of the spherical Bessel functions, Wigner 3j symbols, Clebsch-Gordan coefficients and spherical harmonics functions. These tools are now superseded by in-built procedures of Mathematica. The development of a full featured interactive help system which follows the style of the Mathematica Help Pages. Extensive revision of the source code in order to correct a number of bugs and inconsistencies that have been identified during use of the previous version of Dirac. The DIRAC package is distributed as a compressed tar file from which the DIRAC root directory can be (re-)generated. The root directory contains the source code and help libraries, a "Readme" file, Dirac_Installation_Instructions, as well as the notebook DemonstrationNotebook.nb that includes a number of test cases to illustrate the use of the program. These test cases, which concern the theoretical analysis of wavefunctions and the fine-structure of hydrogen-like ions, has already been discussed in detail in Ref. [1] and are provided here in order to underline the continuity between the previous (Maple) and new (Mathematica) versions of the DIRAC program. Unusual features: Even though all basic features of the previous Maple version have been retained in as close to the original form as possible, some small syntax changes became necessary in the new version of DIRAC in order to follow Mathematica standards. First of all, these changes concern naming conventions for DIRAC's procedures. As was discussed in Ref. [1], previously rather long names were employed in which each word was separated by an underscore. For example, when running the Maple version of the program one had to call the procedure Dirac_Slater_radial() in order to evaluate the Slater integral. Such a naming convention however, cannot be used in the Mathematica framework where the underscore character is reserved to represent Blank, a built-in symbol. In the new version of DIRAC we therefore follow the Mathematica convention of delimiting each word in a procedure's name by capitalization. Evaluation of the Slater determinant can be accomplished now simply by entering DiracSlaterRadial[]. Besides procedure names, a new convention is introduced to represent fundamental physical constants. In this version of DIRAC the group of (preset) global variables has changed to resemble their conventional symbols, specifically α, a, e, m, c and ℏ, being the fine structure constant, Bohr radius, electron charge, electron mass, speed of light and the Planck constant respectively. If the numerical evaluator N is wrapped around any of these constants, their numerical values are returned. Running time: Although the program replies promptly upon most requests, the running time also depends on the particular task. For example, computation of (radial) matrix elements involving components of relativistic wavefunctions might require a few seconds of a runtime. A number of test calculations performed regarding this and other tasks clearly indicate that the new version of Dirac requires up to 90% less evaluation time compared to its predecessor. References:A. Surzhykov, P. Koval, S. Fritzsche, Comput. Phys. Comm. 165 (2005) 139. H. Ogawa, et al., Phys. Rev. A 75 (2007) 1. A.V. Maiorova, et al., J. Phys. B: At. Mol. Opt. Phys. 42 (2009) 125003. L. Borowska, A. Surzhykov, Th. Stöhlker, S. Fritzsche, Phys. Rev. A 74 (2006) 062516. T. Radtke, S. Fritzsche, A. Surzhykov, Phys. Rev. A 74 (2006) 032709. A. Pálffy, Z. Harman, A. Surzhykov, U.D. Jentschura, Phys. Rev. A 75 (2007) 012712.
Federal Register 2010, 2011, 2012, 2013, 2014
2012-01-04
... Donald Howard, (410) 786-6764, Hospital Value-Based Purchasing (VBP) Program Issues. SUPPLEMENTARY... analyses performed by Brandeis University and Mathematica Policy Research together despite their slightly...
The Plotting Library http://astroplotlib.stsci.edu
NASA Astrophysics Data System (ADS)
Úbeda, L.
2014-05-01
astroplotlib is a multi-language astronomical library of plots. It is a collection of software templates that are useful to create paper-quality figures. All current templates are coded in IDL, some in Python and Mathematica. This free resource supported at Space Telescope Science Institute allows users to download any plot and customize it to their own needs. It is also intended as an educational tool.
NASA Technical Reports Server (NTRS)
Sen, Syamal K.; Shaykhian, Gholam Ali
2011-01-01
MatLab(R) (MATrix LABoratory) is a numerical computation and simulation tool that is used by thousands Scientists and Engineers in many cou ntries. MatLab does purely numerical calculations, which can be used as a glorified calculator or interpreter programming language; its re al strength is in matrix manipulations. Computer algebra functionalities are achieved within the MatLab environment using "symbolic" toolbo x. This feature is similar to computer algebra programs, provided by Maple or Mathematica to calculate with mathematical equations using s ymbolic operations. MatLab in its interpreter programming language fo rm (command interface) is similar with well known programming languag es such as C/C++, support data structures and cell arrays to define c lasses in object oriented programming. As such, MatLab is equipped with most ofthe essential constructs of a higher programming language. M atLab is packaged with an editor and debugging functionality useful t o perform analysis of large MatLab programs and find errors. We belie ve there are many ways to approach real-world problems; prescribed methods to ensure foregoing solutions are incorporated in design and ana lysis of data processing and visualization can benefit engineers and scientist in gaining wider insight in actual implementation of their perspective experiments. This presentation will focus on data processing and visualizations aspects of engineering and scientific applicati ons. Specifically, it will discuss methods and techniques to perform intermediate-level data processing covering engineering and scientifi c problems. MatLab programming techniques including reading various data files formats to produce customized publication-quality graphics, importing engineering and/or scientific data, organizing data in tabu lar format, exporting data to be used by other software programs such as Microsoft Excel, data presentation and visualization will be discussed. The presentation will emphasize creating practIcal scripts (pro grams) that extend the basic features of MatLab TOPICS mclude (1) Ma trix and vector analysis and manipulations (2) Mathematical functions (3) Symbolic calculations & functions (4) Import/export data files (5) Program lOgic and flow control (6) Writing function and passing parameters (7) Test application programs
Abstinence Programs Don't Work, Largest Study to Date Concludes
ERIC Educational Resources Information Center
Freking, Kevin
2007-01-01
This article reports on a study conducted by Mathematica Policy Research Inc. of students in four abstinence programs, as well as peers from the same communities who did not participate in the abstinence programs. A federally mandated report said that students who participated in sexual-abstinence education programs partially funded by the federal…
Regenerable biocide delivery unit, volume 2
NASA Technical Reports Server (NTRS)
Atwater, James E.; Wheeler, Richard R., Jr.
1992-01-01
Source code for programs dealing with the following topics are presented: (1) life cycle test stand-parametric test stand control (in BASIC); (2) simultaneous aqueous iodine equilibria-true equilibrium (in C); (3) simultaneous aqueous iodine equilibria-pseudo-equilibrium (in C); (4) pseudo-(fast)-equilibrium with iodide initially present (in C); (5) solution of simultaneous iodine rate expressions (Mathematica); (6) 2nd order kinetics of I2-formic acid in humidity condensate (Mathematica); (7) prototype RMCV onboard microcontroller (CAMBASIC); (8) prototype RAM data dump to PC (in BASIC); and (9) prototype real time data transfer to PC (in BASIC).
Pycellerator: an arrow-based reaction-like modelling language for biological simulations.
Shapiro, Bruce E; Mjolsness, Eric
2016-02-15
We introduce Pycellerator, a Python library for reading Cellerator arrow notation from standard text files, conversion to differential equations, generating stand-alone Python solvers, and optionally running and plotting the solutions. All of the original Cellerator arrows, which represent reactions ranging from mass action, Michales-Menten-Henri (MMH) and Gene-Regulation (GRN) to Monod-Wyman-Changeaux (MWC), user defined reactions and enzymatic expansions (KMech), were previously represented with the Mathematica extended character set. These are now typed as reaction-like commands in ASCII text files that are read by Pycellerator, which includes a Python command line interface (CLI), a Python application programming interface (API) and an iPython notebook interface. Cellerator reaction arrows are now input in text files. The arrows are parsed by Pycellerator and translated into differential equations in Python, and Python code is automatically generated to solve the system. Time courses are produced by executing the auto-generated Python code. Users have full freedom to modify the solver and utilize the complete set of standard Python tools. The new libraries are completely independent of the old Cellerator software and do not require Mathematica. All software is available (GPL) from the github repository at https://github.com/biomathman/pycellerator/releases. Details, including installation instructions and a glossary of acronyms and terms, are given in the Supplementary information. © The Author 2015. Published by Oxford University Press. All rights reserved. For Permissions, please e-mail: journals.permissions@oup.com.
76 FR 39394 - Notice of Proposed Information Collection Requests
Federal Register 2010, 2011, 2012, 2013, 2014
2011-07-06
... within the U.S. Department of Education (ED) has contracted with Decision Information Resources, Inc. and Mathematica Policy Research, Inc. to assess the procedures for collecting and reporting program performance and evaluation data for eleven ED grant programs. These audits and assessments will provide ED with...
NASA Astrophysics Data System (ADS)
Baskonus, Haci Mehmet; Sulaiman, Tukur Abdulkadir; Bulut, Hasan
2017-10-01
In this paper, with the help of Wolfram Mathematica 9 we employ the powerful sine-Gordon expansion method in investigating the solution structures of the two well known nonlinear evolution equations, namely; Calogero-Bogoyavlenskii-Schiff and Kadomtsev-Petviashvili hierarchy equations. We obtain new solutions with complex, hyperbolic and trigonometric function structures. All the obtained solutions in this paper verified their corresponding equations. We also plot the three- and two-dimensional graphics of all the obtained solutions in this paper by using the same program in Wolfram Mathematica 9. We finally submit a comprehensive conclusion.
Titration Calculations with Computer Algebra Software
ERIC Educational Resources Information Center
Lachance, Russ; Biaglow, Andrew
2012-01-01
This article examines the symbolic algebraic solution of the titration equations for a diprotic acid, as obtained using "Mathematica," "Maple," and "Mathcad." The equilibrium and conservation equations are solved symbolically by the programs to eliminate the approximations that normally would be performed by the student. Of the three programs,…
Interactive Supercomputing’s Star-P Platform
DOE Office of Scientific and Technical Information (OSTI.GOV)
Edelman, Alan; Husbands, Parry; Leibman, Steve
2006-09-19
The thesis of this extended abstract is simple. High productivity comes from high level infrastructures. To measure this, we introduce a methodology that goes beyond the tradition of timing software in serial and tuned parallel modes. We perform a classroom productivity study involving 29 students who have written a homework exercise in a low level language (MPI message passing) and a high level language (Star-P with MATLAB client). Our conclusions indicate what perhaps should be of little surprise: (1) the high level language is always far easier on the students than the low level language. (2) The early versions ofmore » the high level language perform inadequately compared to the tuned low level language, but later versions substantially catch up. Asymptotically, the analogy must hold that message passing is to high level language parallel programming as assembler is to high level environments such as MATLAB, Mathematica, Maple, or even Python. We follow the Kepner method that correctly realizes that traditional speedup numbers without some discussion of the human cost of reaching these numbers can fail to reflect the true human productivity cost of high performance computing. Traditional data compares low level message passing with serial computation. With the benefit of a high level language system in place, in our case Star-P running with MATLAB client, and with the benefit of a large data pool: 29 students, each running the same code ten times on three evolutions of the same platform, we can methodically demonstrate the productivity gains. To date we are not aware of any high level system as extensive and interoperable as Star-P, nor are we aware of an experiment of this kind performed with this volume of data.« less
The Effectiveness of Mandatory-Random Student Drug Testing. NCEE 2010-4025
ERIC Educational Resources Information Center
James-Burdumy, Susanne; Goesling, Brian; Deke, John; Einspruch, Eric
2010-01-01
To help assess the effects of school-based random drug testing programs, the U.S. Department of Education's Institute of Education Sciences (IES) contracted with RMC Research Corporation and Mathematica Policy Research to conduct an experimental evaluation of the Mandatory-Random Student Drug Testing (MRSDT) programs in 36 high schools within…
Interactive Mathematica Simulations in Chemical Engineering Courses
ERIC Educational Resources Information Center
Falconer, John L.; Nicodemus, Garret D.
2014-01-01
Interactive Mathematica simulations with graphical displays of system behavior are an excellent addition to chemical engineering courses. The Manipulate command in Mathematica creates on-screen controls that allow users to change system variables and see the graphical output almost instantaneously. They can be used both in and outside class. More…
A Numerical Method for Predicting Rayleigh Surface Wave Velocity in Anisotropic Crystals (Postprint)
2017-09-05
generalized version of the equations are very difficult to derive, even in symbolic math languages such as Mathematica. As a result, the equations are...formalism, Math . Mech. Solids 9 (1) (2004) 5–15. [8] M. Destrade, The explicit secular equation for surface acoustic waves in monoclinic elastic crystals...Q. J. Mech. Appl. Math . 55 (2) (2002) 297–311. [10] D. Taylor, Surface waves in anisotropic media: the secular equation and its numerical solution
Gas Permeation Computations with Mathematica
ERIC Educational Resources Information Center
Binous, Housam
2006-01-01
We show a new approach, based on the utilization of Mathematica, to solve gas permeation problems using membranes. We start with the design of a membrane unit for the separation of a multicomponent mixture. The built-in Mathematica function, FindRoot, allows one to solve seven simultaneous equations instead of using the iterative approach of…
Advanced Chemistry Collection, 2nd Edition
NASA Astrophysics Data System (ADS)
2001-11-01
Software requirements are given in Table 3. Some programs have additional special requirements. Please see the individual program abstracts at JCE Online or the documentation included on the CD-ROM for more specific information. Table 3. General software requirements for the Advanced Chemistry Collection.
| Computer | System | Other Software(Required by one or more programs) |
| Mac OS compatible | System 7.6.1 or higher | Acrobat Reader (included)Mathcad; Mathematica;MacMolecule2; QuickTime 4; HyperCard Player |
| Windows Compatible | Windows 2000, 98, 95, NT 4 | Acrobat Reader (included)Mathcad; Mathematica;PCMolecule2; QuickTime 4;HyperChem; Excel |
Using Combinatorica/Mathematica for Student Projects in Random Graph Theory
ERIC Educational Resources Information Center
Pfaff, Thomas J.; Zaret, Michele
2006-01-01
We give an example of a student project that experimentally explores a topic in random graph theory. We use the "Combinatorica" package in "Mathematica" to estimate the minimum number of edges needed in a random graph to have a 50 percent chance that the graph is connected. We provide the "Mathematica" code and compare it to the known theoretical…
Advanced compilation techniques in the PARADIGM compiler for distributed-memory multicomputers
NASA Technical Reports Server (NTRS)
Su, Ernesto; Lain, Antonio; Ramaswamy, Shankar; Palermo, Daniel J.; Hodges, Eugene W., IV; Banerjee, Prithviraj
1995-01-01
The PARADIGM compiler project provides an automated means to parallelize programs, written in a serial programming model, for efficient execution on distributed-memory multicomputers. .A previous implementation of the compiler based on the PTD representation allowed symbolic array sizes, affine loop bounds and array subscripts, and variable number of processors, provided that arrays were single or multi-dimensionally block distributed. The techniques presented here extend the compiler to also accept multidimensional cyclic and block-cyclic distributions within a uniform symbolic framework. These extensions demand more sophisticated symbolic manipulation capabilities. A novel aspect of our approach is to meet this demand by interfacing PARADIGM with a powerful off-the-shelf symbolic package, Mathematica. This paper describes some of the Mathematica routines that performs various transformations, shows how they are invoked and used by the compiler to overcome the new challenges, and presents experimental results for code involving cyclic and block-cyclic arrays as evidence of the feasibility of the approach.
ERIC Educational Resources Information Center
Matsumoto, Paul S.
2014-01-01
The article describes the use of Mathematica, a computer algebra system (CAS), in a high school chemistry course. Mathematica was used to generate a graph, where a slider controls the value of parameter(s) in the equation; thus, students can visualize the effect of the parameter(s) on the behavior of the system. Also, Mathematica can show the…
Pedagogical View of Model Metabolic Cycles
ERIC Educational Resources Information Center
García-Herrero, Victor; Sillero, Antonio
2015-01-01
The main purpose of this study was to present a simplified view of model metabolic cycles. Although the models have been elaborated with the "Mathematica" Program, and using a system of differential equations, the main conclusions were presented in a rather intuitive way, easily understandable by students of general courses of…
Simple Analytic Expressions for the Magnetic Field of a Circular Current Loop
NASA Technical Reports Server (NTRS)
Simpson, James C.; Lane, John E.; Immer, Christopher D.; Youngquist, Robert C.
2001-01-01
Analytic expressions for the magnetic induction (magnetic flux density, B) of a simple planar circular current loop have been published in Cartesian and cylindrical coordinates [1,2], and are also known implicitly in spherical coordinates [3]. In this paper, we present explicit analytic expressions for B and its spatial derivatives in Cartesian, cylindrical, and spherical coordinates for a filamentary current loop. These results were obtained with extensive use of Mathematica "TM" and are exact throughout all space outside of the conductor. The field expressions reduce to the well-known limiting cases and satisfy V · B = 0 and V x B = 0 outside the conductor. These results are general and applicable to any model using filamentary circular current loops. Solenoids of arbitrary size may be easily modeled by approximating the total magnetic induction as the sum of those for the individual loops. The inclusion of the spatial derivatives expands their utility to magnetohydrodynamics where the derivatives are required. The equations can be coded into any high-level programming language. It is necessary to numerically evaluate complete elliptic integrals of the first and second kind, but this capability is now available with most programming packages.
VEST: Abstract Vector Calculus Simplification in Mathematica
DOE Office of Scientific and Technical Information (OSTI.GOV)
J. Squire, J. Burby and H. Qin
2013-03-12
We present a new package, VEST (Vector Einstein Summation Tools), that performs abstract vector calculus computations in Mathematica. Through the use of index notation, VEST is able to reduce scalar and vector expressions of a very general type using a systematic canonicalization procedure. In addition, utilizing properties of the Levi-Civita symbol, the program can derive types of multi-term vector identities that are not recognized by canonicalization, subsequently applying these to simplify large expressions. In a companion paper [1], we employ VEST in the automation of the calculation of Lagrangians for the single particle guiding center system in plasma physics, amore » computation which illustrates its ability to handle very large expressions. VEST has been designed to be simple and intuitive to use, both for basic checking of work and more involved computations. __________________________________________________« less
VEST: Abstract vector calculus simplification in Mathematica
NASA Astrophysics Data System (ADS)
Squire, J.; Burby, J.; Qin, H.
2014-01-01
We present a new package, VEST (Vector Einstein Summation Tools), that performs abstract vector calculus computations in Mathematica. Through the use of index notation, VEST is able to reduce three-dimensional scalar and vector expressions of a very general type to a well defined standard form. In addition, utilizing properties of the Levi-Civita symbol, the program can derive types of multi-term vector identities that are not recognized by reduction, subsequently applying these to simplify large expressions. In a companion paper Burby et al. (2013) [12], we employ VEST in the automation of the calculation of high-order Lagrangians for the single particle guiding center system in plasma physics, a computation which illustrates its ability to handle very large expressions. VEST has been designed to be simple and intuitive to use, both for basic checking of work and more involved computations.
ERIC Educational Resources Information Center
Chaplin, Duncan; Bleeker, Martha; Booker, Kevin
2010-01-01
Roads to Success (RTS) is a school and career planning program designed to be implemented for 45 minutes per week in grades 7 through 12. Researchers at Mathematica Policy Research used a random assignment design to estimate the impacts of receiving RTS in grades 7 and 8. More than half of the students in these schools were eligible for free or…
Projectile Motion with Mathematica.
ERIC Educational Resources Information Center
de Alwis, Tilak
2000-01-01
Describes how to use the computer algebra system (CAS) Mathematica to analyze projectile motion with and without air resistance. These experiments result in several conjectures leading to theorems. (Contains 17 references.) (Author/ASK)
Software for the Application of Discrete Latent Structure Models to Item Response Data.
ERIC Educational Resources Information Center
Haertel, Edward H.
These FORTRAN programs and MATHEMATICA routines were developed in the course of a research project titled "Achievement and Assessment in School Science: Modeling and Mapping Ability and Performance." Their use is described in other publications from that project, including "Latent Traits or Latent States? The Role of Discrete Models…
A Comparison Study between a Traditional and Experimental Program.
ERIC Educational Resources Information Center
Dogan, Hamide
This paper is part of a dissertation defended in January 2001 as part of the author's Ph.D. requirement. The study investigated the effects of use of Mathematica, a computer algebra system, in learning basic linear algebra concepts, It was done by means of comparing two first year linear algebra classes, one traditional and one Mathematica…
Evaluating ARRA Programs and Other Educational Reforms: A Guide for States
ERIC Educational Resources Information Center
Perez-Johnson, Irma; Walters, Kirk; Puma, Michael; Herman, Rebecca; Garet, Michael; Heppen, Jessica; Lemke, Mariann; Aladjem, Daniel; Amin, Samia; Burghardt, John
2011-01-01
The American Institutes for Research (AIR) and Mathematica Policy Research (MPR) developed this guide to help you consider evaluation issues likely to arise as you launch ARRA-funded initiatives and other educational reform activities. Many states are already involved in evaluation, so many of the ideas presented here may be familiar. The authors…
ERIC Educational Resources Information Center
Darling-Hammond, Linda
2009-01-01
Recent findings from a Mathematica study comparing the performance of teachers prepared via alternative and traditional routes have been interpreted to suggest that policymakers and practitioners should expand the use of fast-entry alternative routes and seek teachers trained through such programs, as they presumably perform as well in the…
Processing digital images and calculation of beam emittance (pepper-pot method for the Krion source)
NASA Astrophysics Data System (ADS)
Alexandrov, V. S.; Donets, E. E.; Nyukhalova, E. V.; Kaminsky, A. K.; Sedykh, S. N.; Tuzikov, A. V.; Philippov, A. V.
2016-12-01
Programs for the pre-processing of photographs of beam images on the mask based on Wolfram Mathematica and Origin software are described. Angles of rotation around the axis and in the vertical plane are taken into account in the generation of the file with image coordinates. Results of the emittance calculation by the Pep_emit program written in Visual Basic using the generated file in the test mode are presented.
The HCBS Taxonomy: A New Language for Classifying Home- and Community-Based Services
Peebles, Victoria; Bohl, Alex
2014-01-01
Introduction As states make home- and community-based services (HCBS) more accessible, researchers have become more interested in understanding service use and spending. Because state Medicaid programs differ in the types of services they offer and in how they report these services, analyzing HCBS at the national level is challenging. Objective Describe the HCBS taxonomy and present findings on HCBS waiver expenditures and users. Data This brief analyzed fee-for-service claims from 28 approved states in 2010 Medicaid Analytic eXtract (MAX) files. We summed all expenditures and counted the unique number of users across each HCBS taxonomy service and category. Methods The taxonomy was developed jointly by Truven Health (at that time Thomson Reuters) and Mathematica Policy Research, with stakeholder input, and reviewed using procedure codes. Today, the taxonomy is organized by 18 categories and over 60 specific services. Findings For calendar year 2010, 28 states spent almost $23.6 billion on HCBS, with 80 percent of expenditures categorized as round-the-clock, home-based, and day services. Other services, such as case management, or equipment, modifications, and technology were widely used, but are not particularly costly and do not account for a large proportion of expenditures in every state. Conclusions By providing a common language, the taxonomy presents detailed information on services and makes it easier to assess and identify state-level variation for HCBS. PMID:25343057
Sequences, Series, and Mathematica.
ERIC Educational Resources Information Center
Mathews, John H.
1992-01-01
Describes how the computer algebra system Mathematica can be used to enhance the teaching of the topics of sequences and series. Examines its capabilities to find exact, approximate, and graphically generated approximate solutions to problems from these topics and to understand proofs about sequences. (MDH)
ERIC Educational Resources Information Center
Ross, Christine; Sama-Miller, Emily; Roberts, Lily
2018-01-01
The "Integrated Approaches to Supporting Child Development and Improving Family Economic Security" project was conducted by Mathematica Policy Research and Northwestern University for the Office of Planning, Research and Evaluation (OPRE), in the Administration for Children and Families (ACF) at the U.S. Department of Health and Human…
Promoting Active Learning: The Use of Computational Software Programs
NASA Astrophysics Data System (ADS)
Dickinson, Tom
The increased emphasis on active learning in essentially all disciplines is proving beneficial in terms of a student's depth of learning, retention, and completion of challenging courses. Formats labeled flipped, hybrid and blended facilitate face-to-face active learning. To be effective, students need to absorb a significant fraction of the course material prior to class, e.g., using online lectures and reading assignments. Getting students to assimilate and at least partially understand this material prior to class can be extremely difficult. As an aid to achieving this preparation as well as enhancing depth of understanding, we find the use of software programs such as Mathematica®or MatLab®, very helpful. We have written several Mathematica®applications and student exercises for use in a blended format two semester E&M course. Formats include tutorials, simulations, graded and non-graded quizzes, walk-through problems, exploration and interpretation exercises, and numerical solutions of complex problems. A good portion of this activity involves student-written code. We will discuss the efficacy of these applications, their role in promoting active learning, and the range of possible uses of this basic scheme in other classes.
Specialized Color Function for Display of Signed Data
NASA Technical Reports Server (NTRS)
Kalb, Virginia
2008-01-01
This Mathematica script defines a color function to be used with Mathematica's plotting modules for differentiating data attaining both positive and negative values. Positive values are shown as shades of blue, and negative values are shown in red. The intensity of the color reflects the absolute value of the data value.
Equilibrium-Staged Separations Using Matlab and Mathematica
ERIC Educational Resources Information Center
Binous, Housam
2008-01-01
We show a new approach, based on the utilization of Matlab and Mathematica, for solving liquid-liquid extraction and binary distillation problems. In addition, the author shares his experience using these two softwares to teach equilibrium staged separations at the National Institute of Applied Sciences and Technology. (Contains 7 figures.)
By Stuart G. Baker The program requires Mathematica 7.01.0 The key function is Classify [datalist,options] where datalist={data, genename, dataname} data ={matrix for class 0, matrix for class 1}, matrix is gene expression by specimen genename a list of names of genes, dataname ={name of data set, name of class0, name of class1} |
ERIC Educational Resources Information Center
Cohen, Rhoda; KewalRamani, Angelina; Nogales, Renee; Ohls, James; Sinclair, Michael
2004-01-01
This report describes research that Mathematica Policy Research, Inc. (MPR) has conducted for the U.S. Department of Agriculture (USDA), Food and Nutrition Service (FNS), to develop methods to track the use of "competitive foods" in schools over time. Competitive foods are foods from a la carte cafeteria sales, vending machines, school stores,…
Exploring Fourier Series and Gibbs Phenomenon Using Mathematica
ERIC Educational Resources Information Center
Ghosh, Jonaki B.
2011-01-01
This article describes a laboratory module on Fourier series and Gibbs phenomenon which was undertaken by 32 Year 12 students. It shows how the use of CAS played the role of an "amplifier" by making higher level mathematical concepts accessible to students of year 12. Using Mathematica students were able to visualise Fourier series of…
Using Mathematica to Teach Process Units: A Distillation Case Study
ERIC Educational Resources Information Center
Rasteiro, Maria G.; Bernardo, Fernando P.; Saraiva, Pedro M.
2005-01-01
The question addressed here is how to integrate computational tools, namely interactive general-purpose platforms, in the teaching of process units. Mathematica has been selected as a complementary tool to teach distillation processes, with the main objective of leading students to achieve a better understanding of the physical phenomena involved…
ERIC Educational Resources Information Center
Ardiç, Mehmet Alper; Isleyen, Tevfik
2017-01-01
This study aimed at determining the secondary school mathematics teachers' and students' views on computer-assisted mathematics instruction (CAMI) conducted via Mathematica. Accordingly, three mathematics teachers in Adiyaman and nine 10th-grade students participated in the research. Firstly, the researchers trained the mathematics teachers in the…
Image Analysis Using Quantum Entropy Scale Space and Diffusion Concepts
2009-11-01
images using a combination of analytic methods and prototype Matlab and Mathematica programs. We investigated concepts of generalized entropy and...Schmidt strength from quantum logic gate decomposition. This form of entropy gives a measure of the nonlocal content of an entangling logic gate...11 We recall that the Schmidt number is an indicator of entanglement , but not a measure of entanglement . For instance, let us compare
ERIC Educational Resources Information Center
Binous, Housam
2007-01-01
We study four non-Newtonian fluid mechanics problems using Mathematica[R]. Constitutive equations describing the behavior of power-law, Bingham and Carreau models are recalled. The velocity profile is obtained for the horizontal flow of power-law fluids in pipes and annuli. For the vertical laminar film flow of a Bingham fluid we determine the…
ERIC Educational Resources Information Center
Yaacob, Yuzita; Wester, Michael; Steinberg, Stanly
2010-01-01
This paper presents a prototype of a computer learning assistant ILMEV (Interactive Learning-Mathematica Enhanced Vector calculus) package with the purpose of helping students to understand the theory and applications of integration in vector calculus. The main problem for students using Mathematica is to convert a textbook description of a…
Robust blood-glucose control using Mathematica.
Kovács, Levente; Paláncz, Béla; Benyó, Balázs; Török, László; Benyó, Zoltán
2006-01-01
A robust control design on frequency domain using Mathematica is presented for regularization of glucose level in type I diabetes persons under intensive care. The method originally proposed under Mathematica by Helton and Merino, --now with an improved disturbance rejection constraint inequality--is employed, using a three-state minimal patient model. The robustness of the resulted high-order linear controller is demonstrated by nonlinear closed loop simulation in state-space, in case of standard meal disturbances and is compared with H infinity design implemented with the mu-toolbox of Matlab. The controller designed with model parameters represented the most favorable plant dynamics from the point of view of control purposes, can operate properly even in case of parameter values of the worst-case scenario.
Improved Load Alleviation Capability for the KC-135
1997-09-01
software, such as Matlab, Mathematica, Simulink, and Robotica Front End for Mathematica available in the simulation laboratory Overview This thesis report is...outlined in Spong’s text in order to utilize the Robotica system development software which automates the process of calculating the kinematic and...kinematic and dynamic equations can be accomplished using a computer tool called Robotica Front End (RFE) [ 15], developed by Doctor Spong. Boom Root d3
Simple Simulation Algorithms and Sample Applications
NASA Astrophysics Data System (ADS)
Kröger, Martin
This section offers basic recipes and sample applications which allow the reader to immediately start his/her own simulation project on topics we dealt with in this book. Concerning molecular dynamics and Monte Carlo simulation there are, of course, several useful books already available which describe the ‘art of simulation‘ [141, 156, 256] in an exhaustive way. The reason we print some simple codes is that we skipped algorithmic details in the foregoing chapters. Simulations are always performed using dimensionless numbers, and all dimensional quantities can be expressed in terms of reduced units, cf. Sect. 4.3 for conventional Lennard Jones units. In this chapter, we concentrate on the necessary, and skip anything more sophisticated. Codes have been used in classrooms, they are obviously open for modifications and extensions, and offer not only an executable, but all necessary formulas for doing simulations in the correct (which is often essential) order. The overall spirit is as follows: codes are short, run without changes, demonstrate the main principle in a modular fashion, and are thus in particular open regarding efficiency issues and extensions. Algorithms are presented in the MatlabTM language, which is mostly directly portable to programming languages like fortran, c, or MathematicaTM. For an introduction we refer to [423]. Additional commands needed to visualize the results are given in the figure title for each application. Simulation codes, in a less modular fashion, are also available online at www.complexfluids.ethz.ch. Functions are shared over sections, for that reason we begin with an alphabetic list of all (nonbuiltin) functions in this chapter.
MULTIVARIATERESIDUES : A Mathematica package for computing multivariate residues
NASA Astrophysics Data System (ADS)
Larsen, Kasper J.; Rietkerk, Robbert
2018-01-01
Multivariate residues appear in many different contexts in theoretical physics and algebraic geometry. In theoretical physics, they for example give the proper definition of generalized-unitarity cuts, and they play a central role in the Grassmannian formulation of the S-matrix by Arkani-Hamed et al. In realistic cases their evaluation can be non-trivial. In this paper we provide a Mathematica package for efficient evaluation of multivariate residues based on methods from computational algebraic geometry.
Proceedings of the Fourth Annual U.S. Army Conference on Applied Statistics, 21-23 October 1998.
1999-11-01
1833) published a memoir Nouvelles mithodes pour la determination des cometes in which he introduced and named the method of least squares. In 1809...251,1972. 2. Sprott, D. A. "Gauss’s Contributions to Statistics." Historia Mathematica, vol. 5, pp. 183-203,1978. 3. Stigler, S. M. "An Attack on Gauss...Published by Legendre in 1820." Historia Mathematica. vol. 4, pp. 31-35, 1977. 4. Stigler, S. M. "Gauss and the Invention of Least Squares." The
SYMBMAT: Symbolic computation of quantum transition matrix elements
NASA Astrophysics Data System (ADS)
Ciappina, M. F.; Kirchner, T.
2012-08-01
We have developed a set of Mathematica notebooks to compute symbolically quantum transition matrices relevant for atomic ionization processes. The utilization of a symbolic language allows us to obtain analytical expressions for the transition matrix elements required in charged-particle and laser induced ionization of atoms. Additionally, by using a few simple commands, it is possible to export these symbolic expressions to standard programming languages, such as Fortran or C, for the subsequent computation of differential cross sections or other observables. One of the main drawbacks in the calculation of transition matrices is the tedious algebraic work required when initial states other than the simple hydrogenic 1s state need to be considered. Using these notebooks the work is dramatically reduced and it is possible to generate exact expressions for a large set of bound states. We present explicit examples of atomic collisions (in First Born Approximation and Distorted Wave Theory) and laser-matter interactions (within the Dipole and Strong Field Approximations and different gauges) using both hydrogenic wavefunctions and Slater-Type Orbitals with arbitrary nlm quantum numbers as initial states. Catalogue identifier: AEMI_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEMI_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC license, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 71 628 No. of bytes in distributed program, including test data, etc.: 444 195 Distribution format: tar.gz Programming language: Mathematica Computer: Single machines using Linux or Windows (with cores with any clock speed, cache memory and bits in a word) Operating system: Any OS that supports Mathematica. The notebooks have been tested under Windows and Linux and with versions 6.x, 7.x and 8.x Classification: 2.6 Nature of problem: The notebooks generate analytical expressions for quantum transition matrix elements required in diverse atomic processes: ionization by ion, electron, or photon impact and ionization within the framework of strong field physics. In charged-particle collisions approaches based on perturbation theory enjoy widespread utilization. Accordingly, we have chosen the First Born Approximation and Distorted Wave theories as examples. In light-matter interactions, the main ingredient for many types of calculations is the dipole transition matrix in its different formulations, i.e. length, velocity, and acceleration gauges. In all these cases the transitions of interest occur between a bound state and a continuum state which can be described in different ways. With the notebooks developed in the present work it is possible to calculate transition matrix elements analytically for any set of quantum numbers nlm of initial hydrogenic states or Slater-Type Orbitals and for plane waves or Coulomb waves as final continuum states. Solution method: The notebooks employ symbolic computation to generate analytical expressions for transition matrix elements used in both collision and light-matter interaction physics. fba_hyd.nb - This notebook computes analytical expressions for the transition matrix of collision-induced ionization in the First Born Approximation (FBA). The transitions considered are from a bound hydrogenic state with arbitrary quantum numbers nlm to a continuum state represented by a plane wave (PW) or a Coulomb wave (CW). distorted_hyd.nb - This notebook computes analytical expressions for the transition matrix of collision-induced ionization in Distorted Wave (DW) theories. The transitions considered are from a (distorted) bound hydrogenic state with arbitrary quantum numbers nlm to a distorted-wave continuum state. The computations are based on scalar and vectorial integrals (see the text for details). dipoleLength_hyd.nb - This notebook computes analytical expressions for the dipole transition matrix in length gauge. The transitions considered are from a bound hydrogenic state with arbitrary quantum numbers nlm to a continuum state represented by a PW (the Strong Field Approximation (SFA)) or a CW (the Coulomb-Volkov Approximation (CVA)). dipoleVelocity_hyd.nb - This notebook computes analytical expressions for the dipole transition matrix in velocity gauge. The transitions considered are from a bound hydrogenic state with arbitrary quantum numbers nlm to a continuum state represented by a PW (the SFA) or a CW (the CVA). dipoleAcceleration_hyd.nb - This notebook computes analytical expressions for the dipole transition matrix in acceleration gauge. The transitions considered are from a bound hydrogenic state with arbitrary quantum numbers nlm to a continuum state represented by a PW (the SFA). For the case of the CVA we only include the transition from the 1s state to a continuum state represented by a CW. fba_STO.nb - This notebook computes analytical expressions for the transition matrix of collision-induced ionization in the FBA. The transitions considered are from a Slater-Type Orbital (STO) with arbitrary quantum numbers nlm to a continuum state represented by a PW or a CW. distorted_STO.nb - This notebook computes analytical expressions for the transition matrix of collision-induced ionization in DW theories. The transitions considered are from a (distorted) STO with arbitrary quantum numbers nlm to a distorted-wave continuum state. The computations are based on scalar and vectorial integrals (see the text for details). dipoleLength_STO.nb - This notebook computes analytical expressions for the dipole transition matrix in length gauge. The transitions considered are from an STO with arbitrary quantum numbers nlm to a continuum state represented by a PW (the SFA) or a CW (the CVA). dipoleVelocity_STO.nb - This notebook computes analytical expressions for the dipole transition matrix in velocity gauge. The transitions considered are from an STO with arbitrary quantum numbers nlm to a continuum state represented by a PW (the SFA) or a CW (the CVA). dipoleAcceleration_STO.nb - This notebook computes analytical expressions for the dipole transition matrix in acceleration gauge. The transitions considered are from an STO with arbitrary quantum numbers nlm to a continuum state represented by a PW (the SFA). The symbolic expressions obtained within each notebook can be exported to standard programming languages such as Fortran or C using the Format.m package (see the text and Ref. Sofroniou (1993) [16] for details). Running time: Computational times vary according to the transition matrix selected and quantum numbers nlm of the initial state used. The typical running time is several minutes, but it will take longer for large values of nlm.
NASA Astrophysics Data System (ADS)
Wu, Dongmei; Wang, Zhongcheng
2006-03-01
According to Mickens [R.E. Mickens, Comments on a Generalized Galerkin's method for non-linear oscillators, J. Sound Vib. 118 (1987) 563], the general HB (harmonic balance) method is an approximation to the convergent Fourier series representation of the periodic solution of a nonlinear oscillator and not an approximation to an expansion in terms of a small parameter. Consequently, for a nonlinear undamped Duffing equation with a driving force Bcos(ωx), to find a periodic solution when the fundamental frequency is identical to ω, the corresponding Fourier series can be written as y˜(x)=∑n=1m acos[(2n-1)ωx]. How to calculate the coefficients of the Fourier series efficiently with a computer program is still an open problem. For HB method, by substituting approximation y˜(x) into force equation, expanding the resulting expression into a trigonometric series, then letting the coefficients of the resulting lowest-order harmonic be zero, one can obtain approximate coefficients of approximation y˜(x) [R.E. Mickens, Comments on a Generalized Galerkin's method for non-linear oscillators, J. Sound Vib. 118 (1987) 563]. But for nonlinear differential equations such as Duffing equation, it is very difficult to construct higher-order analytical approximations, because the HB method requires solving a set of algebraic equations for a large number of unknowns with very complex nonlinearities. To overcome the difficulty, forty years ago, Urabe derived a computational method for Duffing equation based on Galerkin procedure [M. Urabe, A. Reiter, Numerical computation of nonlinear forced oscillations by Galerkin's procedure, J. Math. Anal. Appl. 14 (1966) 107-140]. Dooren obtained an approximate solution of the Duffing oscillator with a special set of parameters by using Urabe's method [R. van Dooren, Stabilization of Cowell's classic finite difference method for numerical integration, J. Comput. Phys. 16 (1974) 186-192]. In this paper, in the frame of the general HB method, we present a new iteration algorithm to calculate the coefficients of the Fourier series. By using this new method, the iteration procedure starts with a(x)cos(ωx)+b(x)sin(ωx), and the accuracy may be improved gradually by determining new coefficients a,a,… will be produced automatically in an one-by-one manner. In all the stage of calculation, we need only to solve a cubic equation. Using this new algorithm, we develop a Mathematica program, which demonstrates following main advantages over the previous HB method: (1) it avoids solving a set of associate nonlinear equations; (2) it is easier to be implemented into a computer program, and produces a highly accurate solution with analytical expression efficiently. It is interesting to find that, generally, for a given set of parameters, a nonlinear Duffing equation can have three independent oscillation modes. For some sets of the parameters, it can have two modes with complex displacement and one with real displacement. But in some cases, it can have three modes, all of them having real displacement. Therefore, we can divide the parameters into two classes, according to the solution property: there is only one mode with real displacement and there are three modes with real displacement. This program should be useful to study the dynamically periodic behavior of a Duffing oscillator and can provide an approximate analytical solution with high-accuracy for testing the error behavior of newly developed numerical methods with a wide range of parameters. Program summaryTitle of program:AnalyDuffing.nb Catalogue identifier:ADWR_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADWR_v1_0 Program obtainable from: CPC Program Library, Queen's University of Belfast, N. Ireland Licensing provisions:none Computer for which the program is designed and others on which it has been tested:the program has been designed for a microcomputer and been tested on the microcomputer. Computers:IBM PC Installations:the address(es) of your computer(s) Operating systems under which the program has been tested:Windows XP Programming language used:Software Mathematica 4.2, 5.0 and 5.1 No. of lines in distributed program, including test data, etc.:23 663 No. of bytes in distributed program, including test data, etc.:152 321 Distribution format:tar.gz Memory required to execute with typical data:51 712 Bytes No. of bits in a word: No. of processors used:1 Has the code been vectorized?:no Peripherals used:no Program Library subprograms used:no Nature of physical problem:To find an approximate solution with analytical expressions for the undamped nonlinear Duffing equation with periodic driving force when the fundamental frequency is identical to the driving force. Method of solution:In the frame of the general HB method, by using a new iteration algorithm to calculate the coefficients of the Fourier series, we can obtain an approximate analytical solution with high-accuracy efficiently. Restrictions on the complexity of the problem:For problems, which have a large driving frequency, the convergence may be a little slow, because more iterative times are needed. Typical running time:several seconds Unusual features of the program:For an undamped Duffing equation, it can provide all the solutions or the oscillation modes with real displacement for any interesting parameters, for the required accuracy, efficiently. The program can be used to study the dynamically periodic behavior of a nonlinear oscillator, and can provide a high-accurate approximate analytical solution for developing high-accurate numerical method.
NASA Astrophysics Data System (ADS)
Hynes, Shelly
2008-03-01
Research Experiences for Teachers (RET) is an NSF-funded program that provides high school teachers with the opportunity to do research at select institutions across the country in a wide variety of fields. I performed research at two institutions under this program; The National Radio Astronomy Observatory in Green Bank, WV in 2006 and Baylor University in Waco, TX in 2007. My work at NRAO utilized IDL programming to analyze the nonlinearities in the signal processing components of the GBT (Green Bank Telescope). My research at Baylor University required me to write a program in Mathematica to analyze the frequency of pulsation of variable white dwarfs, data that was taken at the Paul and Jane Meyer Observatory in Clifton, TX. I will explain how I have incorporated both research experiences into my courses and how each of these experiences has refocused my teaching.
An Introduction to Quantum Theory
NASA Astrophysics Data System (ADS)
Greensite, Jeff
2017-02-01
Written in a lucid and engaging style, the author takes readers from an overview of classical mechanics and the historical development of quantum theory through to advanced topics. The mathematical aspects of quantum theory necessary for a firm grasp of the subject are developed in the early chapters, but an effort is made to motivate that formalism on physical grounds. Including animated figures and their respective Mathematica® codes, this book provides a complete and comprehensive text for students in physics, maths, chemistry and engineering needing an accessible introduction to quantum mechanics. Supplementary Mathematica codes available within Book Information
Excel spreadsheet in teaching numerical methods
NASA Astrophysics Data System (ADS)
Djamila, Harimi
2017-09-01
One of the important objectives in teaching numerical methods for undergraduates’ students is to bring into the comprehension of numerical methods algorithms. Although, manual calculation is important in understanding the procedure, it is time consuming and prone to error. This is specifically the case when considering the iteration procedure used in many numerical methods. Currently, many commercial programs are useful in teaching numerical methods such as Matlab, Maple, and Mathematica. These are usually not user-friendly by the uninitiated. Excel spreadsheet offers an initial level of programming, which it can be used either in or off campus. The students will not be distracted with writing codes. It must be emphasized that general commercial software is required to be introduced later to more elaborated questions. This article aims to report on a teaching numerical methods strategy for undergraduates engineering programs. It is directed to students, lecturers and researchers in engineering field.
NASA Technical Reports Server (NTRS)
Shapiro, Bruce E.; Levchenko, Andre; Meyerowitz, Elliot M.; Wold, Barbara J.; Mjolsness, Eric D.
2003-01-01
Cellerator describes single and multi-cellular signal transduction networks (STN) with a compact, optionally palette-driven, arrow-based notation to represent biochemical reactions and transcriptional activation. Multi-compartment systems are represented as graphs with STNs embedded in each node. Interactions include mass-action, enzymatic, allosteric and connectionist models. Reactions are translated into differential equations and can be solved numerically to generate predictive time courses or output as systems of equations that can be read by other programs. Cellerator simulations are fully extensible and portable to any operating system that supports Mathematica, and can be indefinitely nested within larger data structures to produce highly scaleable models.
NASA Astrophysics Data System (ADS)
Athron, Peter; Balazs, Csaba; Bringmann, Torsten; Buckley, Andy; Chrząszcz, Marcin; Conrad, Jan; Cornell, Jonathan M.; Dal, Lars A.; Dickinson, Hugh; Edsjö, Joakim; Farmer, Ben; Gonzalo, Tomás E.; Jackson, Paul; Krislock, Abram; Kvellestad, Anders; Lundberg, Johan; McKay, James; Mahmoudi, Farvah; Martinez, Gregory D.; Putze, Antje; Raklev, Are; Ripken, Joachim; Rogan, Christopher; Saavedra, Aldo; Savage, Christopher; Scott, Pat; Seo, Seon-Hee; Serra, Nicola; Weniger, Christoph; White, Martin; Wild, Sebastian
2018-02-01
In Ref. (GAMBIT Collaboration: Athron et. al., Eur. Phys. J. C. arXiv:1705.07908, 2017) we introduced the global-fitting framework GAMBIT. In this addendum, we describe a new minor version increment of this package. GAMBIT 1.1 includes full support for Mathematica backends, which we describe in some detail here. As an example, we backend SUSYHD (Vega and Villadoro, JHEP 07:159, 2015), which calculates the mass of the Higgs boson in the MSSM from effective field theory. We also describe updated likelihoods in PrecisionBit and DarkBit, and updated decay data included in DecayBit.
SARAH 3.2: Dirac gauginos, UFO output, and more
NASA Astrophysics Data System (ADS)
Staub, Florian
2013-07-01
SARAH is a Mathematica package optimized for the fast, efficient and precise study of supersymmetric models beyond the MSSM: a new model can be defined in a short form and all vertices are derived. This allows SARAH to create model files for FeynArts/FormCalc, CalcHep/CompHep and WHIZARD/O'Mega. The newest version of SARAH now provides the possibility to create model files in the UFO format which is supported by MadGraph 5, MadAnalysis 5, GoSam, and soon by Herwig++. Furthermore, SARAH also calculates the mass matrices, RGEs and 1-loop corrections to the mass spectrum. This information is used to write source code for SPheno in order to create a precision spectrum generator for the given model. This spectrum-generator-generator functionality as well as the output of WHIZARD and CalcHep model files has seen further improvement in this version. Also models including Dirac gauginos are supported with the new version of SARAH, and additional checks for the consistency of the implementation of new models have been created. Program summaryProgram title:SARAH Catalogue identifier: AEIB_v2_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEIB_v2_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 3 22 411 No. of bytes in distributed program, including test data, etc.: 3 629 206 Distribution format: tar.gz Programming language: Mathematica. Computer: All for which Mathematica is available. Operating system: All for which Mathematica is available. Classification: 11.1, 11.6. Catalogue identifier of previous version: AEIB_v1_0 Journal reference of previous version: Comput. Phys. Comm. 182 (2011) 808 Does the new version supersede the previous version?: Yes, the new version includes all known features of the previous version but also provides the new features mentioned below. Nature of problem: To use Madgraph for new models it is necessary to provide the corresponding model files which include all information about the interactions of the model. However, the derivation of the vertices for a given model and putting those into model files which can be used with Madgraph is usually very time consuming. Dirac gauginos are not present in the minimal supersymmetric standard model (MSSM) or many extensions of it. Dirac mass terms for vector superfields lead to new structures in the supersymmetric (SUSY) Lagrangian (bilinear mass term between gaugino and matter fermion as well as new D-terms) and modify also the SUSY renormalization group equations (RGEs). The Dirac character of gauginos can change the collider phenomenology. In addition, they come with an extended Higgs sector for which a precise calculation of the 1-loop masses has not happened so far. Solution method: SARAH calculates the complete Lagrangian for a given model whose gauge sector can be any direct product of SU(N) gauge groups. The chiral superfields can transform as any, irreducible representation with respect to these gauge groups and it is possible to handle an arbitrary number of symmetry breakings or particle rotations. Also the gauge fixing is automatically added. Using this information, SARAH derives all vertices for a model. These vertices can be exported to model files in the UFO which is supported by Madgraph and other codes like GoSam, MadAnalysis or ALOHA. The user can also study models with Dirac gauginos. In that case SARAH includes all possible terms in the Lagrangian stemming from the new structures and can also calculate the RGEs. The entire impact of these terms is then taken into account in the output of SARAH to UFO, CalcHep, WHIZARD, FeynArts and SPheno. Reasons for new version: SARAH provides, with this version, the possibility of creating model files in the UFO format. The UFO format is supposed to become a standard format for model files which should be supported by many different tools in the future. Also models with Dirac gauginos were not supported in earlier versions. Summary of revisions: Support of models with Dirac gauginos. Output of model files in the UFO format, speed improvement in the output of WHIZARD model files, CalcHep output supports the internal diagonalization of mass matrices, output of control files for LHPC spectrum plotter, support of generalized PDG numbering scheme PDG.IX, improvement of the calculation of the decay widths and branching ratios with SPheno, the calculation of new low energy observables are added to the SPheno output, the handling of gauge fixing terms has been significantly simplified. Restrictions: SARAH can only derive the Lagrangian in an automatized way for N=1 SUSY models, but not for those with more SUSY generators. Furthermore, SARAH supports only renormalizable operators in the output of model files in the UFO format and also for CalcHep, FeynArts and WHIZARD. Also color sextets are not yet included in the model files for Monte Carlo tools. Dimension 5 operators are only supported in the calculation of the RGEs and mass matrices. Unusual features: SARAH does not need the Lagrangian of a model as input to calculate the vertices. The gauge structure, particle and content and superpotential as well as rotations stemming from gauge symmetry breaking are sufficient. All further information is derived by SARAH on its own. Therefore, the model files are very short and the implementation of new models is fast and easy. In addition, the implementation of a model can be checked for physical and formal consistency. In addition, SARAH can generate Fortran code for a full 1-loop analysis of the mass spectrum in the context for Dirac gauginos. Running time: Measured CPU time for the evaluation of the MSSM using a Lenovo Thinkpad X220 with i7 processor (2.53 GHz). Calculating the complete Lagrangian: 9 s. Calculating all vertices: 51 s. Output of the UFO model files: 49 s.
NASA Astrophysics Data System (ADS)
Flores-Bustamante, Mario C.; Rosete-Aguilar, Martha; Calixto, Sergio
2016-03-01
A lens containing a liquid medium and having at least one elastic membrane as one of its components is known as an elastic membrane lens (EML). The elastic membrane may have a constant or variable thickness. The optical properties of the EML change by modifying the profile of its elastic membrane(s). The EML formed of elastic constant thickness membrane(s) have been studied extensively. However, EML information using elastic membrane of variable thickness is limited. In this work, we present simulation results of the mechanical and optical behavior of two EML with variable thickness membranes (convex-plane membranes). The profile of its surfaces were modified by liquid medium volume increases. The model of the convex-plane membranes, as well as the simulation of its mechanical behavior, were performed using Solidworks® software; and surface's points of the deformed elastic lens were obtained. Experimental stress-strain data, obtained from a silicone rubber simple tensile test, according to ASTM D638 norm, were used in the simulation. Algebraic expressions, (Schwarzschild formula, up to four deformation coefficients, in a cylindrical coordinate system (r, z)), of the meridional profiles of the first and second surfaces of the deformed convex-plane membranes, were obtained using the results from Solidworks® and a program in the software Mathematica®. The optical performance of the EML was obtained by simulation using the software OSLO® and the algebraic expressions obtained in Mathematica®.
NASA Astrophysics Data System (ADS)
Ozbasaran, Hakan
Trusses have an important place amongst engineering structures due to many advantages such as high structural efficiency, fast assembly and easy maintenance. Iterative truss design procedures, which require analysis of a large number of candidate structural systems such as size, shape and topology optimization with stochastic methods, mostly lead the engineer to establish a link between the development platform and external structural analysis software. By increasing number of structural analyses, this (probably slow-response) link may climb to the top of the list of performance issues. This paper introduces a software for static, global member buckling and frequency analysis of 2D and 3D trusses to overcome this problem for Mathematica users.
Numerical simulation of NQR/NMR: Applications in quantum computing.
Possa, Denimar; Gaudio, Anderson C; Freitas, Jair C C
2011-04-01
A numerical simulation program able to simulate nuclear quadrupole resonance (NQR) as well as nuclear magnetic resonance (NMR) experiments is presented, written using the Mathematica package, aiming especially applications in quantum computing. The program makes use of the interaction picture to compute the effect of the relevant nuclear spin interactions, without any assumption about the relative size of each interaction. This makes the program flexible and versatile, being useful in a wide range of experimental situations, going from NQR (at zero or under small applied magnetic field) to high-field NMR experiments. Some conditions specifically required for quantum computing applications are implemented in the program, such as the possibility of use of elliptically polarized radiofrequency and the inclusion of first- and second-order terms in the average Hamiltonian expansion. A number of examples dealing with simple NQR and quadrupole-perturbed NMR experiments are presented, along with the proposal of experiments to create quantum pseudopure states and logic gates using NQR. The program and the various application examples are freely available through the link http://www.profanderson.net/files/nmr_nqr.php. Copyright © 2011 Elsevier Inc. All rights reserved.
NASA Astrophysics Data System (ADS)
Antzutkin, Oleg N.; Lee, Young K.; Levitt, Malcolm H.
1998-11-01
The principal values of the chemical shift tensors of all13C and15N sites in two antibiotics, ampicillin and penicillin-V, were determined by 2-dimensionalphaseadjustedspinningsideband (2D-PASS) and conventional CP/MAS experiments. The13C and15N chemical shift anisotropies (CSA), and their confidence limits, were evaluated using a Mathematica program. The CSA values suggest a revised assignment of the 2-methyl13C sites in the case of ampicillin. We speculate on a relationship between the chemical shift principal values of many of the13C and15N sites and the β-lactam ring conformation.
Serang, Oliver
2012-01-01
Linear programming (LP) problems are commonly used in analysis and resource allocation, frequently surfacing as approximations to more difficult problems. Existing approaches to LP have been dominated by a small group of methods, and randomized algorithms have not enjoyed popularity in practice. This paper introduces a novel randomized method of solving LP problems by moving along the facets and within the interior of the polytope along rays randomly sampled from the polyhedral cones defined by the bounding constraints. This conic sampling method is then applied to randomly sampled LPs, and its runtime performance is shown to compare favorably to the simplex and primal affine-scaling algorithms, especially on polytopes with certain characteristics. The conic sampling method is then adapted and applied to solve a certain quadratic program, which compute a projection onto a polytope; the proposed method is shown to outperform the proprietary software Mathematica on large, sparse QP problems constructed from mass spectometry-based proteomics. PMID:22952741
WiLE: A Mathematica package for weak coupling expansion of Wilson loops in ABJ(M) theory
NASA Astrophysics Data System (ADS)
Preti, M.
2018-06-01
We present WiLE, a Mathematica® package designed to perform the weak coupling expansion of any Wilson loop in ABJ(M) theory at arbitrary perturbative order. For a given set of fields on the loop and internal vertices, the package displays all the possible Feynman diagrams and their integral representations. The user can also choose to exclude non planar diagrams, tadpoles and self-energies. Through the use of interactive input windows, the package should be easily accessible to users with little or no previous experience. The package manual provides some pedagogical examples and the computation of all ladder diagrams at three-loop relevant for the cusp anomalous dimension in ABJ(M). The latter application gives also support to some recent results computed in different contexts.
Automation of the guiding center expansion
NASA Astrophysics Data System (ADS)
Burby, J. W.; Squire, J.; Qin, H.
2013-07-01
We report on the use of the recently developed Mathematica package VEST (Vector Einstein Summation Tools) to automatically derive the guiding center transformation. Our Mathematica code employs a recursive procedure to derive the transformation order-by-order. This procedure has several novel features. (1) It is designed to allow the user to easily explore the guiding center transformation's numerous non-unique forms or representations. (2) The procedure proceeds entirely in cartesian position and velocity coordinates, thereby producing manifestly gyrogauge invariant results; the commonly used perpendicular unit vector fields e1,e2 are never even introduced. (3) It is easy to apply in the derivation of higher-order contributions to the guiding center transformation without fear of human error. Our code therefore stands as a useful tool for exploring subtle issues related to the physics of toroidal momentum conservation in tokamaks.
Automation of The Guiding Center Expansion
DOE Office of Scientific and Technical Information (OSTI.GOV)
J. W. Burby, J. Squire and H. Qin
2013-03-19
We report on the use of the recently-developed Mathematica package VEST (Vector Einstein Summation Tools) to automatically derive the guiding center transformation. Our Mathematica code employs a recursive procedure to derive the transformation order-by-order. This procedure has several novel features. (1) It is designed to allow the user to easily explore the guiding center transformation's numerous nonunique forms or representations. (2) The procedure proceeds entirely in cartesian position and velocity coordinates, thereby producing manifestly gyrogauge invariant results; the commonly-used perpendicular unit vector fields e1, e2 are never even introduced. (3) It is easy to apply in the derivation of higher-ordermore » contributions to the guiding center transformation without fear of human error. Our code therefore stands as a useful tool for exploring subtle issues related to the physics of toroidal momentum conservation in tokamaks« less
Methods for Modeling Brassinosteroid-Mediated Signaling in Plant Development.
Frigola, David; Caño-Delgado, Ana I; Ibañes, Marta
2017-01-01
Mathematical modeling of biological processes is a useful tool to draw conclusions that are contained in the data, but not directly reachable, as well as to make predictions and select the most efficient follow-up experiments. Here we outline a method to model systems of a few proteins that interact transcriptionally and/or posttranscriptionally, by representing the system as Ordinary Differential Equations and to study the model dynamics and stationary states. We exemplify this method by focusing on the regulation by the brassinosteroid (BR) signaling component BRASSINOSTEROID INSENSITIVE1 ETHYL METHYL SULFONATE SUPPRESSOR1 (BES1) of BRAVO, a quiescence-regulating transcription factor expressed in the quiescent cells of Arabidopsis thaliana roots. The method to extract the stationary states and the dynamics is provided as a Mathematica code and requires basic knowledge of the Mathematica software to be executed.
Exploratory analysis of environmental interactions in central California
De Cola, Lee; Falcone, Neil L.
1996-01-01
As part of its global change research program, the United States Geological Survey (USGS) has produced raster data that describe the land cover of the United States using a consistent format. The data consist of elevations, satellite measurements, computed vegetation indices, land cover classes, and ancillary political, topographic and hydrographic information. This open-file report uses some of these data to explore the environment of a (256-km)? region of central California. We present various visualizations of the data, multiscale correlations between topography and vegetation, a path analysis of more complex statistical interactions, and a map that portrays the influence of agriculture on the region's vegetation. An appendix contains C and Mathematica code used to generate the graphics and some of the analysis.
The use of an analytic Hamiltonian matrix for solving the hydrogenic atom
NASA Astrophysics Data System (ADS)
Bhatti, Mohammad
2001-10-01
The non-relativistic Hamiltonian corresponding to the Shrodinger equation is converted into analytic Hamiltonian matrix using the kth order B-splines functions. The Galerkin method is applied to the solution of the Shrodinger equation for bound states of hydrogen-like systems. The program Mathematica is used to create analytic matrix elements and exact integration is performed over the knot-sequence of B-splines and the resulting generalized eigenvalue problem is solved on a specified numerical grid. The complete basis set and the energy spectrum is obtained for the coulomb potential for hydrogenic systems with Z less than 100 with B-splines of order eight. Another application is given to test the Thomas-Reiche-Kuhn sum rule for the hydrogenic systems.
NASA Technical Reports Server (NTRS)
Martin, Russel A.; Ahumada, Albert J., Jr.; Larimer, James O.
1992-01-01
This paper describes the design and operation of a new simulation model for color matrix display development. It models the physical structure, the signal processing, and the visual perception of static displays, to allow optimization of display design parameters through image quality measures. The model is simple, implemented in the Mathematica computer language, and highly modular. Signal processing modules operate on the original image. The hardware modules describe backlights and filters, the pixel shape, and the tiling of the pixels over the display. Small regions of the displayed image can be visualized on a CRT. Visual perception modules assume static foveal images. The image is converted into cone catches and then into luminance, red-green, and blue-yellow images. A Haar transform pyramid separates the three images into spatial frequency and direction-specific channels. The channels are scaled by weights taken from human contrast sensitivity measurements of chromatic and luminance mechanisms at similar frequencies and orientations. Each channel provides a detectability measure. These measures allow the comparison of images displayed on prospective devices and, by that, the optimization of display designs.
Linear homotopy solution of nonlinear systems of equations in geodesy
NASA Astrophysics Data System (ADS)
Paláncz, Béla; Awange, Joseph L.; Zaletnyik, Piroska; Lewis, Robert H.
2010-01-01
A fundamental task in geodesy is solving systems of equations. Many geodetic problems are represented as systems of multivariate polynomials. A common problem in solving such systems is improper initial starting values for iterative methods, leading to convergence to solutions with no physical meaning, or to convergence that requires global methods. Though symbolic methods such as Groebner bases or resultants have been shown to be very efficient, i.e., providing solutions for determined systems such as 3-point problem of 3D affine transformation, the symbolic algebra can be very time consuming, even with special Computer Algebra Systems (CAS). This study proposes the Linear Homotopy method that can be implemented easily in high-level computer languages like C++ and Fortran that are faster than CAS by at least two orders of magnitude. Using Mathematica, the power of Homotopy is demonstrated in solving three nonlinear geodetic problems: resection, GPS positioning, and affine transformation. The method enlarging the domain of convergence is found to be efficient, less sensitive to rounding of numbers, and has lower complexity compared to other local methods like Newton-Raphson.
RSA cryptography and multi prime RSA cryptography
NASA Astrophysics Data System (ADS)
Sani, Nur Atiqah Abdul; Kamarulhaili, Hailiza
2017-08-01
RSA cryptography is one of the most powerful and popular cryptosystem which is being applied until now. There is one variant of RSA cryptography named Multi Prime RSA (MPRSA) cryptography. MPRSA cryptography is the improved version of RSA cryptography. We only need to modify a few steps in key generation part and apply the Chinese Remainder Theorem (CRT) in the decryption part to get the MPRSA algorithm. The focus of this research is to compare between the standard RSA cryptography and MPRSA cryptography in a few aspects. The research shows that MPRSA cryptography is more efficient than the RSA cryptography. Time complexity using Mathematica software is also conducted and it is proven that MPRSA cryptography has shorter time taken. It also implies the computational time is less than RSA cryptography. Mathematica software version 9.0 and a laptop HP ProBook 4331s are used to check the timing and to implement both algorithms.
Spin wave Feynman diagram vertex computation package
NASA Astrophysics Data System (ADS)
Price, Alexander; Javernick, Philip; Datta, Trinanjan
Spin wave theory is a well-established theoretical technique that can correctly predict the physical behavior of ordered magnetic states. However, computing the effects of an interacting spin wave theory incorporating magnons involve a laborious by hand derivation of Feynman diagram vertices. The process is tedious and time consuming. Hence, to improve productivity and have another means to check the analytical calculations, we have devised a Feynman Diagram Vertex Computation package. In this talk, we will describe our research group's effort to implement a Mathematica based symbolic Feynman diagram vertex computation package that computes spin wave vertices. Utilizing the non-commutative algebra package NCAlgebra as an add-on to Mathematica, symbolic expressions for the Feynman diagram vertices of a Heisenberg quantum antiferromagnet are obtained. Our existing code reproduces the well-known expressions of a nearest neighbor square lattice Heisenberg model. We also discuss the case of a triangular lattice Heisenberg model where non collinear terms contribute to the vertex interactions.
Automation of the guiding center expansion
DOE Office of Scientific and Technical Information (OSTI.GOV)
Burby, J. W.; Squire, J.; Qin, H.
2013-07-15
We report on the use of the recently developed Mathematica package VEST (Vector Einstein Summation Tools) to automatically derive the guiding center transformation. Our Mathematica code employs a recursive procedure to derive the transformation order-by-order. This procedure has several novel features. (1) It is designed to allow the user to easily explore the guiding center transformation's numerous non-unique forms or representations. (2) The procedure proceeds entirely in cartesian position and velocity coordinates, thereby producing manifestly gyrogauge invariant results; the commonly used perpendicular unit vector fields e{sub 1},e{sub 2} are never even introduced. (3) It is easy to apply in themore » derivation of higher-order contributions to the guiding center transformation without fear of human error. Our code therefore stands as a useful tool for exploring subtle issues related to the physics of toroidal momentum conservation in tokamaks.« less
Automatic generation of user material subroutines for biomechanical growth analysis.
Young, Jonathan M; Yao, Jiang; Ramasubramanian, Ashok; Taber, Larry A; Perucchio, Renato
2010-10-01
The analysis of the biomechanics of growth and remodeling in soft tissues requires the formulation of specialized pseudoelastic constitutive relations. The nonlinear finite element analysis package ABAQUS allows the user to implement such specialized material responses through the coding of a user material subroutine called UMAT. However, hand coding UMAT subroutines is a challenge even for simple pseudoelastic materials and requires substantial time to debug and test the code. To resolve this issue, we develop an automatic UMAT code generation procedure for pseudoelastic materials using the symbolic mathematics package MATHEMATICA and extend the UMAT generator to include continuum growth. The performance of the automatically coded UMAT is tested by simulating the stress-stretch response of a material defined by a Fung-orthotropic strain energy function, subject to uniaxial stretching, equibiaxial stretching, and simple shear in ABAQUS. The MATHEMATICA UMAT generator is then extended to include continuum growth by adding a growth subroutine to the automatically generated UMAT. The MATHEMATICA UMAT generator correctly derives the variables required in the UMAT code, quickly providing a ready-to-use UMAT. In turn, the UMAT accurately simulates the pseudoelastic response. In order to test the growth UMAT, we simulate the growth-based bending of a bilayered bar with differing fiber directions in a nongrowing passive layer. The anisotropic passive layer, being topologically tied to the growing isotropic layer, causes the bending bar to twist laterally. The results of simulations demonstrate the validity of the automatically coded UMAT, used in both standardized tests of hyperelastic materials and for a biomechanical growth analysis.
By Stuart G. Baker, 2017 Introduction This software fits a zero-intercept random effects linear model to data on surrogate and true endpoints in previous trials. Requirement: Mathematica Version 11 or later. |
Pedagogical view of model metabolic cycles.
García-Herrero, Victor; Sillero, Antonio
2015-01-01
The main purpose of this study was to present a simplified view of model metabolic cycles. Although the models have been elaborated with the Mathematica Program, and using a system of differential equations, the main conclusions were presented in a rather intuitive way, easily understandable by students of general courses of Biochemistry, and without any need of mathematical support. A change in any kinetic constant (Km or Vmax) of only one enzyme affected the metabolic profile of all the substrates of the cycle. In addition, it is shown how an increase in the Km or a decrease in the Vmax values of any particular enzyme promoted an increase of its substrate; the contrary occurred decreasing the Km or increasing the Vmax values. © 2015 The International Union of Biochemistry and Molecular Biology.
The MATHEMATICA economic analysis of the Space Shuttle System
NASA Technical Reports Server (NTRS)
Heiss, K. P.
1973-01-01
Detailed economic analysis shows the Thrust Assisted Orbiter Space Shuttle System (TAOS) to be the most economic Space Shuttle configuration among the systems studied. The development of a TAOS Shuttle system is economically justified within a level of space activities between 300 and 360 Shuttle flights in the 1979-1990 period, or about 25 to 30 flights per year, well within the U.S. Space Program including NASA and DoD missions. If the NASA and DoD models are taken at face value (624 flights), the benefits of the Shuttle system are estimated to be $13.9 billion with a standard deviation of plus or minus $1.45 billion in 1970 dollars (at a 10% social rate of discount). If the expected program is modified to 514 flights (in the 1979-1990 period), the estimated benefits of the Shuttle system are $10.2 billion, with a standard deviation of $940 million (at a 10% social rate of discount).
ERIC Educational Resources Information Center
King, Paul; King, Eva
This language-through-literature program is designed to be used as a native language program (language arts/reading readiness), as a second language program, or as a combined native and second language program in early childhood education. Sequentially developed over the year and within each unit, the program is subdivided into 14 units of about…
ERIC Educational Resources Information Center
Linn, Mary S.; Naranjo, Tessie; Nicholas, Sheilah; Slaughter, Inee; Yamamoto, Akira; Zepeda, Ofelia
The Indigenous Language Institute (ILI) collaborates with indigenous language communities to combat language decline. ILI facilitates community-based language programs, increases public awareness of language endangerment, and disseminates information on language preservation and successful language revitalization programs. In response to numerous…
75 FR 29368 - Agency Information Collection Activities: Comment Request
Federal Register 2010, 2011, 2012, 2013, 2014
2010-05-25
... made available to researchers on CD-ROM and on the World Wide Web. Mathematica Policy Research will... NATIONAL SCIENCE FOUNDATION Agency Information Collection Activities: Comment Request AGENCY: National Science Foundation. ACTION: Submission for OMB review; comment request. SUMMARY: The National...
Truth & Beauty: Mathematics in Literature
ERIC Educational Resources Information Center
Cohen, Marion D.
2013-01-01
Today there are many categories of mathematics literature, including fiction and poetry. Mathematics fiction appears in such anthologies as "Fantasia Mathematica" (Fadiman 1958, 1997) and "The Mathematical Magpie" (Fadiman 1962, 1997). In addition, mathematics fiction is featured at http://kasmana.people.cofc.edu/MATHFICT.…
78 FR 72679 - Submission for OMB Review: Comment Request
Federal Register 2010, 2011, 2012, 2013, 2014
2013-12-03
... OMB Review: Comment Request Title: RPG National Cross-Site Evaluation and Evaluation Technical..., activities, and services designed to increase well-being, improve permanency, and enhance the safety of... Research. The evaluation is being implemented by Mathematica Policy Research and its subcontractors, Walter...
EARL: Exoplanet Analytic Reflected Lightcurves package
NASA Astrophysics Data System (ADS)
Haggard, Hal M.; Cowan, Nicolas B.
2018-05-01
EARL (Exoplanet Analytic Reflected Lightcurves) computes the analytic form of a reflected lightcurve, given a spherical harmonic decomposition of the planet albedo map and the viewing and orbital geometries. The EARL Mathematica notebook allows rapid computation of reflected lightcurves, thus making lightcurve numerical experiments accessible.
Code of Federal Regulations, 2010 CFR
2010-04-01
... 25 Indians 1 2010-04-01 2010-04-01 false Can a school integrate Language Development programs into... Language Development Programs § 39.132 Can a school integrate Language Development programs into its regular instructional program? A school may offer Language Development programs to students as part of its...
Code of Federal Regulations, 2011 CFR
2011-04-01
... 25 Indians 1 2011-04-01 2011-04-01 false Can a school integrate Language Development programs into... Language Development Programs § 39.132 Can a school integrate Language Development programs into its regular instructional program? A school may offer Language Development programs to students as part of its...
DecouplingModes: Passive modes amplitudes
NASA Astrophysics Data System (ADS)
Shaw, J. Richard; Lewis, Antony
2018-01-01
DecouplingModes calculates the amplitude of the passive modes, which requires solving the Einstein equations on superhorizon scales sourced by the anisotropic stress from the magnetic fields (prior to neutrino decoupling), and the magnetic and neutrino stress (after decoupling). The code is available as a Mathematica notebook.
VetPop2001Adj is VA's new official estimate and projection of the veteran population as of 9-30-02. It revises and replaces the estimate and projection in VetPop2001. Mathematica has been actively involved since 1998 in designing and developing an actuarial model, VetPop2001 that...
Remote detection of carbon monoxide by FTIR for simulating field detection in industrial process
NASA Astrophysics Data System (ADS)
Gao, Qiankun; Liu, Wenqing; Zhang, Yujun; Gao, Mingguang; Xu, Liang; Li, Xiangxian; Jin, Ling
2016-10-01
In order to monitor carbon monoxide in industrial production, we developed a passive gas radiation measurement system based on Fourier transform infrared spectroscopy and carried out infrared radiation measurement experiment of carbon monoxide detection in simulated industrial production environment by this system. The principle, condition, device and data processing method of the experiment are introduced in this paper. In order to solve the problem of light path jitter in the actual industrial field, we simulated the noise in the industrial environment. We combine the advantages of MATHEMATICA software in the aspects of graph processing and symbolic computation to data processing to improve the signal noise ratio and noise suppression. Based on the HITRAN database, the nonlinear least square fitting method was used to calculate the concentration of the CO spectra before and after the data processing. By comparing the calculated concentration, the data processed by MATHEMATICA is reliable and necessary in the industrial production environment.
25 CFR 39.136 - What is the WSU for Language Development programs?
Code of Federal Regulations, 2011 CFR
2011-04-01
... 25 Indians 1 2011-04-01 2011-04-01 false What is the WSU for Language Development programs? 39.136... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.136 What is the WSU for Language Development programs? Language Development programs are funded at 0.13 WSUs per student. ...
ERIC Educational Resources Information Center
Teschner, Richard V., Ed.
This collection of papers includes: "Foreign Language Testing Today: Issues in Language Program Direction" (Frank Nuessel); "Assessing the Problems of Assessment" (M. Peter Hagiwara); "Testing in Foreign Language Programs and Testing Programs in Foreign Language Departments: Reflections and Recommendations" (Elizabeth…
25 CFR 39.131 - What is a Language Development Program?
Code of Federal Regulations, 2014 CFR
2014-04-01
... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a Language Development Program? A Language Development program is one that serves students who either: (a...
25 CFR 39.131 - What is a Language Development Program?
Code of Federal Regulations, 2013 CFR
2013-04-01
... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a Language Development Program? A Language Development program is one that serves students who either: (a...
25 CFR 39.131 - What is a Language Development Program?
Code of Federal Regulations, 2012 CFR
2012-04-01
... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a Language Development Program? A Language Development program is one that serves students who either: (a...
ERIC Educational Resources Information Center
Heilenman, L. Kathy, Ed.
This collection of papers is divided into two parts. After "Introduction" (L. Kathy Heilenman), Part 1, "Research and Language Program Directors: The Relationship," includes "Research Domains and Language Program Direction" (Bill VanPatten); "Language Program Direction and the Modernist Agenda" (Celeste…
ERIC Educational Resources Information Center
Eckalbar, John C.
2002-01-01
Illustrates how principles and intermediate microeconomic students can gain an understanding for strategic price setting by playing a relatively large oligopoly game. Explains that the game extends to a continuous price space and outlines appropriate applications. Offers the Mathematica code to instructors so that the assumptions of the game can…
Estimating the Overdiagnosis Fraction in Cancer Screening | Division of Cancer Prevention
By Stuart G. Baker, 2017 Introduction This software supports the mathematical investigation into estimating the fraction of cancers detected on screening that are overdiagnosed. References Baker SG and Prorok PC. Estimating the overdiagnosis fraction in cancer screening. Requirement Mathematica Version 11 or later. |
Fourier Series and Elliptic Functions
ERIC Educational Resources Information Center
Fay, Temple H.
2003-01-01
Non-linear second-order differential equations whose solutions are the elliptic functions "sn"("t, k"), "cn"("t, k") and "dn"("t, k") are investigated. Using "Mathematica", high precision numerical solutions are generated. From these data, Fourier coefficients are determined yielding approximate formulas for these non-elementary functions that are…
Does Your Graphing Software Real-ly Work?
ERIC Educational Resources Information Center
Marchand, R. J.; McDevitt, T. J.; Bosse, Michael J.; Nandakumar, N. R.
2007-01-01
Many popular mathematical software products including Maple, Mathematica, Derive, Mathcad, Matlab, and some of the TI calculators produce incorrect graphs because they use complex arithmetic instead of "real" arithmetic. This article expounds on this issue, provides possible remedies for instructors to share with their students, and demonstrates…
A survey of functional programming language principles
NASA Technical Reports Server (NTRS)
Holloway, C. M.
1986-01-01
Research in the area of functional programming languages has intensified in the 8 years since John Backus' Turing Award Lecture on the topic was published. The purpose of this paper is to present a survey of the ideas of functional programming languages. The paper assumes the reader is comfortable with mathematics and has knowledge of the basic principles of traditional programming languages, but does not assume any prior knowledge of the ideas of functional languages. A simple functional language is defined and used to illustrate the basic ideas. Topics discussed include the reasons for developing functional languages, methods of expressing concurrency, the algebra of functional programming languages, program transformation techniques, and implementations of functional languages. Existing functional languages are also mentioned. The paper concludes with the author's opinions as to the future of functional languages. An annotated bibliography on the subject is also included.
Code of Federal Regulations, 2010 CFR
2010-04-01
... 25 Indians 1 2010-04-01 2010-04-01 false May schools operate a language development program... Formula Language Development Programs § 39.137 May schools operate a language development program without a specific appropriation from Congress? Yes, a school may operate a language development program...
34 CFR 658.1 - What is the Undergraduate International Studies and Foreign Language Program?
Code of Federal Regulations, 2011 CFR
2011-07-01
... Foreign Language Program? 658.1 Section 658.1 Education Regulations of the Offices of the Department of... STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.1 What is the Undergraduate International Studies and Foreign Language Program? The Undergraduate International Studies and Foreign Language Program is designed...
34 CFR 669.1 - What is the Language Resource Centers Program?
Code of Federal Regulations, 2010 CFR
2010-07-01
... 34 Education 3 2010-07-01 2010-07-01 false What is the Language Resource Centers Program? 669.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION LANGUAGE RESOURCE CENTERS PROGRAM General § 669.1 What is the Language Resource Centers Program? The Language Resource Centers Program makes awards, through grants or...
34 CFR 658.1 - What is the Undergraduate International Studies and Foreign Language Program?
Code of Federal Regulations, 2010 CFR
2010-07-01
... Foreign Language Program? 658.1 Section 658.1 Education Regulations of the Offices of the Department of... STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.1 What is the Undergraduate International Studies and Foreign Language Program? The Undergraduate International Studies and Foreign Language Program is designed...
34 CFR 669.1 - What is the Language Resource Centers Program?
Code of Federal Regulations, 2011 CFR
2011-07-01
... 34 Education 3 2011-07-01 2011-07-01 false What is the Language Resource Centers Program? 669.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION LANGUAGE RESOURCE CENTERS PROGRAM General § 669.1 What is the Language Resource Centers Program? The Language Resource Centers Program makes awards, through grants or...
DOE Office of Scientific and Technical Information (OSTI.GOV)
March-Leuba, S.; Jansen, J.F.; Kress, R.L.
A new program package, Symbolic Manipulator Laboratory (SML), for the automatic generation of both kinematic and static manipulator models in symbolic form is presented. Critical design parameters may be identified and optimized using symbolic models as shown in the sample application presented for the Future Armor Rearm System (FARS) arm. The computer-aided development of the symbolic models yields equations with reduced numerical complexity. Important considerations have been placed on the closed form solutions simplification and on the user friendly operation. The main emphasis of this research is the development of a methodology which is implemented in a computer program capablemore » of generating symbolic kinematic and static forces models of manipulators. The fact that the models are obtained trigonometrically reduced is among the most significant results of this work and the most difficult to implement. Mathematica, a commercial program that allows symbolic manipulation, is used to implement the program package. SML is written such that the user can change any of the subroutines or create new ones easily. To assist the user, an on-line help has been written to make of SML a user friendly package. Some sample applications are presented. The design and optimization of the 5-degrees-of-freedom (DOF) FARS manipulator using SML is discussed. Finally, the kinematic and static models of two different 7-DOF manipulators are calculated symbolically.« less
Parallel Curves: Getting There and Getting Back
ERIC Educational Resources Information Center
Agnew, A. F.; Mathews, J. H.
2006-01-01
This note takes up the issue of parallel curves while illustrating the utility of "Mathematica" in computations. This work complements results presented earlier. The presented treatment, considering the more general case of parametric curves, provides an analysis of the appearance of cusp singularities, and emphasizes the utility of symbolic…
ERIC Educational Resources Information Center
Fuchs, Karl Josef; Simonovits, Reinhard; Thaller, Bernd
2008-01-01
This paper describes a high school project where the mathematics teaching and learning software M@th Desktop (MD) based on the Computer Algebra System Mathematica was used for symbolical and numerical calculations and for visualisation. The mathematics teaching and learning software M@th Desktop 2.0 (MD) contains the modules Basics including tools…
Computerized Proof Techniques for Undergraduates
ERIC Educational Resources Information Center
Smith, Christopher J.; Tefera, Akalu; Zeleke, Aklilu
2012-01-01
The use of computer algebra systems such as Maple and Mathematica is becoming increasingly important and widespread in mathematics learning, teaching and research. In this article, we present computerized proof techniques of Gosper, Wilf-Zeilberger and Zeilberger that can be used for enhancing the teaching and learning of topics in discrete…
Student's Lab Assignments in PDE Course with MAPLE.
ERIC Educational Resources Information Center
Ponidi, B. Alhadi
Computer-aided software has been used intensively in many mathematics courses, especially in computational subjects, to solve initial value and boundary value problems in Partial Differential Equations (PDE). Many software packages were used in student lab assignments such as FORTRAN, PASCAL, MATLAB, MATHEMATICA, and MAPLE in order to accelerate…
Combining Interactive Thermodynamics Simulations with Screencasts and Conceptests
ERIC Educational Resources Information Center
Falconer, John L.
2016-01-01
More than 40 interactive "Mathematica" simulations were prepared for chemical engineering thermodynamics, screencasts were prepared that explain how to use each simulation, and more than 100 ConcepTests were prepared that utilize the simulations. They are located on www.LearnChemE.com. The purposes of these simulations are to clarify…
Discrete Mathematics Course Supported by CAS MATHEMATICA
ERIC Educational Resources Information Center
Ivanov, O. A.; Ivanova, V. V.; Saltan, A. A.
2017-01-01
In this paper, we discuss examples of assignments for a course in discrete mathematics for undergraduate students majoring in business informatics. We consider several problems with computer-based solutions and discuss general strategies for using computers in teaching mathematics and its applications. In order to evaluate the effectiveness of our…
Parameter Estimates in Differential Equation Models for Population Growth
ERIC Educational Resources Information Center
Winkel, Brian J.
2011-01-01
We estimate the parameters present in several differential equation models of population growth, specifically logistic growth models and two-species competition models. We discuss student-evolved strategies and offer "Mathematica" code for a gradient search approach. We use historical (1930s) data from microbial studies of the Russian biologist,…
Federal Register 2010, 2011, 2012, 2013, 2014
2013-09-27
... Education Sciences/National Center for Education Statistics (IES), Department of Education (ED). ACTION... Education Sciences (IES) U.S. Department of Education and is being implemented by ICF International and its subcontractor, Mathematica Policy Research. This submission requests approval to recruit districts for the study...
Flight program language requirements. Volume 2: Requirements and evaluations
NASA Technical Reports Server (NTRS)
1972-01-01
The efforts and results are summarized for a study to establish requirements for a flight programming language for future onboard computer applications. Several different languages were available as potential candidates for future NASA flight programming efforts. The study centered around an evaluation of the four most pertinent existing aerospace languages. Evaluation criteria were established, and selected kernels from the current Saturn 5 and Skylab flight programs were used as benchmark problems for sample coding. An independent review of the language specifications incorporated anticipated future programming requirements into the evaluation. A set of detailed language requirements was synthesized from these activities. The details of program language requirements and of the language evaluations are described.
ERIC Educational Resources Information Center
Usborne, Esther; Peck, Josephine; Smith, Donna-Lee; Taylor, Donald M.
2011-01-01
Aboriginal communities across Canada are implementing Aboriginal language programs in their schools. In the present research, we explore the impact of learning through an Aboriginal language on students' English and Aboriginal language skills by contrasting a Mi'kmaq language immersion program with a Mi'kmaq as a second language program. The…
NASA Technical Reports Server (NTRS)
Mathur, F. P.
1972-01-01
Several common higher level program languages are described. FORTRAN, ALGOL, COBOL, PL/1, and LISP 1.5 are summarized and compared. FORTRAN is the most widely used scientific programming language. ALGOL is a more powerful language for scientific programming. COBOL is used for most commercial programming applications. LISP 1.5 is primarily a list-processing language. PL/1 attempts to combine the desirable features of FORTRAN, ALGOL, and COBOL into a single language.
NASA Astrophysics Data System (ADS)
Seadawy, Aly R.
2017-09-01
Nonlinear two-dimensional Kadomtsev-Petviashvili (KP) equation governs the behaviour of nonlinear waves in dusty plasmas with variable dust charge and two temperature ions. By using the reductive perturbation method, the two-dimensional dust-acoustic solitary waves (DASWs) in unmagnetized cold plasma consisting of dust fluid, ions and electrons lead to a KP equation. We derived the solitary travelling wave solutions of the two-dimensional nonlinear KP equation by implementing sech-tanh, sinh-cosh, extended direct algebraic and fraction direct algebraic methods. We found the electrostatic field potential and electric field in the form travelling wave solutions for two-dimensional nonlinear KP equation. The solutions for the KP equation obtained by using these methods can be demonstrated precisely and efficiency. As an illustration, we used the readymade package of Mathematica program 10.1 to solve the original problem. These solutions are in good agreement with the analytical one.
Flexible Automatic Discretization for Finite Differences: Eliminating the Human Factor
NASA Astrophysics Data System (ADS)
Pranger, Casper
2017-04-01
In the geophysical numerical modelling community, finite differences are (in part due to their small footprint) a popular spatial discretization method for PDEs in the regular-shaped continuum that is the earth. However, they rapidly become prone to programming mistakes when physics increase in complexity. To eliminate opportunities for human error, we have designed an automatic discretization algorithm using Wolfram Mathematica, in which the user supplies symbolic PDEs, the number of spatial dimensions, and a choice of symbolic boundary conditions, and the script transforms this information into matrix- and right-hand-side rules ready for use in a C++ code that will accept them. The symbolic PDEs are further used to automatically develop and perform manufactured solution benchmarks, ensuring at all stages physical fidelity while providing pragmatic targets for numerical accuracy. We find that this procedure greatly accelerates code development and provides a great deal of flexibility in ones choice of physics.
High effective inverse dynamics modelling for dual-arm robot
NASA Astrophysics Data System (ADS)
Shen, Haoyu; Liu, Yanli; Wu, Hongtao
2018-05-01
To deal with the problem of inverse dynamics modelling for dual arm robot, a recursive inverse dynamics modelling method based on decoupled natural orthogonal complement is presented. In this model, the concepts and methods of Decoupled Natural Orthogonal Complement matrices are used to eliminate the constraint forces in the Newton-Euler kinematic equations, and the screws is used to express the kinematic and dynamics variables. On this basis, the paper has developed a special simulation program with symbol software of Mathematica and conducted a simulation research on the a dual-arm robot. Simulation results show that the proposed method based on decoupled natural orthogonal complement can save an enormous amount of CPU time that was spent in computing compared with the recursive Newton-Euler kinematic equations and the results is correct and reasonable, which can verify the reliability and efficiency of the method.
Kratzer, Markus; Lasnik, Michael; Röhrig, Sören; Teichert, Christian; Deluca, Marco
2018-01-11
Lead zirconate titanate (PZT) is one of the prominent materials used in polycrystalline piezoelectric devices. Since the ferroelectric domain orientation is the most important parameter affecting the electromechanical performance, analyzing the domain orientation distribution is of great importance for the development and understanding of improved piezoceramic devices. Here, vector piezoresponse force microscopy (vector-PFM) has been applied in order to reconstruct the ferroelectric domain orientation distribution function of polished sections of device-ready polycrystalline lead zirconate titanate (PZT) material. A measurement procedure and a computer program based on the software Mathematica have been developed to automatically evaluate the vector-PFM data for reconstructing the domain orientation function. The method is tested on differently in-plane and out-of-plane poled PZT samples, and the results reveal the expected domain patterns and allow determination of the polarization orientation distribution function at high accuracy.
The effect of gas and fluid flows on nonlinear lateral vibrations of rotating drill strings
NASA Astrophysics Data System (ADS)
Khajiyeva, Lelya; Kudaibergenov, Askar; Kudaibergenov, Askat
2018-06-01
In this work we develop nonlinear mathematical models describing coupled lateral vibrations of a rotating drill string under the effect of external supersonic gas and internal fluid flows. An axial compressive load and a torque also affect the drill string. The mathematical models are derived by the use of Novozhilov's nonlinear theory of elasticity with implementation of Hamilton's variation principle. Expressions for the gas flow pressure are determined according to the piston theory. The fluid flow is considered as added mass inside the curved tube of the drill string. Using an algorithm developed in the Mathematica computation program on the basis of the Galerkin approach and the stiffness switching method the numerical solution of the obtained approximate differential equations is found. Influences of the external loads, drill string angular speed of rotation, parameters of the gas and fluid flows on the drill string vibrations are shown.
Flight program language requirements. Volume 1: Executive summary
NASA Technical Reports Server (NTRS)
1972-01-01
The activities and results of a study for the definition of flight program language requirements are described. A set of detailed requirements are presented for a language capable of supporting onboard application programming for the Marshall Space Flight Center's anticipated future activities in the decade of 1975-85. These requirements are based, in part, on the evaluation of existing flight programming language designs to determine the applicability of these designs to flight programming activities which are anticipated. The coding of benchmark problems in the selected programming languages is discussed. These benchmarks are in the form of program kernels selected from existing flight programs. This approach was taken to insure that the results of the study would reflect state of the art language capabilities, as well as to determine whether an existing language design should be selected for adaptation.
25 CFR 39.130 - Can ISEF funds be used for Language Development Programs?
Code of Federal Regulations, 2010 CFR
2010-04-01
... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.130 Can ISEF funds be used for Language Development Programs? Yes, schools can use ISEF funds to... 25 Indians 1 2010-04-01 2010-04-01 false Can ISEF funds be used for Language Development Programs...
25 CFR 39.130 - Can ISEF funds be used for Language Development Programs?
Code of Federal Regulations, 2011 CFR
2011-04-01
... 25 Indians 1 2011-04-01 2011-04-01 false Can ISEF funds be used for Language Development Programs... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.130 Can ISEF funds be used for Language Development Programs? Yes, schools can use ISEF funds to...
NASA Technical Reports Server (NTRS)
Shaykhian, Gholam Ali
2007-01-01
C++ Programming Language: The C++ seminar covers the fundamentals of C++ programming language. The C++ fundamentals are grouped into three parts where each part includes both concept and programming examples aimed at for hands-on practice. The first part covers the functional aspect of C++ programming language with emphasis on function parameters and efficient memory utilization. The second part covers the essential framework of C++ programming language, the object-oriented aspects. Information necessary to evaluate various features of object-oriented programming; including encapsulation, polymorphism and inheritance will be discussed. The last part of the seminar covers template and generic programming. Examples include both user defined and standard templates.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Yorkey, T.J.
This note describes how to get POSTSCRIPT files into T{sub E}X documents on a Sun computer using psifg. Several applications generating POSTSCRIPT files are used as examples. These applications are: Adobe Illustrator, Mathematica, View, Cricket Graph and MacDraw, and a scanned image. I assume the reader knows nothing about POSTSCRIPT, and does not want to learn anything about it.
Value-Added Models for the Pittsburgh Public Schools
ERIC Educational Resources Information Center
Johnson, Matthew; Lipscomb, Stephen; Gill, Brian; Booker, Kevin; Bruch, Julie
2012-01-01
At the request of Pittsburgh Public Schools (PPS) and the Pittsburgh Federation of Teachers (PFT), Mathematica has developed value-added models (VAMs) that aim to estimate the contributions of individual teachers, teams of teachers, and schools to the achievement growth of their students. The authors' work in estimating value-added in Pittsburgh…
Some Unexpected Results Using Computer Algebra Systems.
ERIC Educational Resources Information Center
Alonso, Felix; Garcia, Alfonsa; Garcia, Francisco; Hoya, Sara; Rodriguez, Gerardo; de la Villa, Agustin
2001-01-01
Shows how teachers can often use unexpected outputs from Computer Algebra Systems (CAS) to reinforce concepts and to show students the importance of thinking about how they use the software and reflecting on their results. Presents different examples where DERIVE, MAPLE, or Mathematica does not work as expected and suggests how to use them as a…
Federal Register 2010, 2011, 2012, 2013, 2014
2010-05-21
... applicant must demonstrate in its application that its proposed PBCS is designed to assist high-need schools... implementation plan developed by the Institute of Education Sciences (IES) evaluator, Mathematica Policy Research...) A letter from the research office or research board of the participating LEA that expresses an...
Applications of the Peng-Robinson Equation of State Using Mathematica
ERIC Educational Resources Information Center
Binous, Housam
2008-01-01
A single equation of state (EOS) such as the Peng-Robinson EOS can accurately describe both the liquid and vapor phase. We present several applications of this equation of state including adiabatic flash calculation, determination of the solubility of methanol in natural gas, and the calculation of high-pressure chemical equilibrium. The problems…
The Mathlet Toolkit: Creating Dynamic Applets for Differential Equations and Dynamical Systems
ERIC Educational Resources Information Center
Decker, Robert
2011-01-01
Dynamic/interactive graphing applets can be used to supplement standard computer algebra systems such as Maple, Mathematica, Derive, or TI calculators, in courses such as Calculus, Differential Equations, and Dynamical Systems. The addition of this type of software can lead to discovery learning, with students developing their own conjectures, and…
Developing a TI-92 Manual Generator Based on Computer Algebra Systems
ERIC Educational Resources Information Center
Jun, Youngcook
2004-01-01
The electronic medium suitable for mathematics learning and teaching is often designed with a notebook interface provided in a computer algebra system. Such a notebook interface facilitates a workspace for mathematical activities along with an online help system. In this paper, the proposed feature is implemented in the Mathematica's notebook…
Analysis of Classes of Superlinear Semipositone Problems with Nonlinear Boundary Conditions
NASA Astrophysics Data System (ADS)
Morris, Quinn A.
We study positive radial solutions for classes of steady state reaction diffusion problems on the exterior of a ball with both Dirichlet and nonlinear boundary conditions. We consider p-Laplacian problems (p > 1) with reaction terms which are superlinear at infinity and semipositone. In the case p = 2, using variational methods, we establish the existence of a solution, and via detailed analysis of the Green's function, we prove the positivity of the solution. In the case p ≠ 2, we again use variational methods to establish the existence of a solution, but the positivity of the solution is achieved via sophisticated a priori estimates. In the case p ≠ 2, the Green's function analysis is no longer available. Our results significantly enhance the literature on superlinear semipositone problems. Finally, we provide algorithms for the numerical generation of exact bifurcation curves for one-dimensional problems. In the autonomous case, we extend and analyze a quadrature method, and using nonlinear solvers in Mathematica, generate bifurcation curves. In the nonautonomous case, we employ shooting methods in Mathematica to generate bifurcation curves.
Introduction to Mathematica® for Physicists
NASA Astrophysics Data System (ADS)
Grozin, Andrey
We were taught at calculus classes that integration is an art, not a science (in contrast to differentiation—even a monkey can be trained to take derivatives). And we were taught wrong. The Risch algorithm (which is known for decades) allows one to find, in a finite number of steps, if a given indefinite integral can be taken in elementary functions, and if so, to calculate it. This algorithm has been constructed in works by an American mathematician Risch near 1970; many cases were not analyzed completely in these works and were later considered by other mathematicians. The algorithm is very complicated, and no computer algebra system implements it fully. Its implementation in Mathematica is rather complete, even with extensions to some classes of special functions, but details are not publicly known. Strictly speaking, it is not quite an algorithm, because it contains algorithmically unsolvable subproblems, such as finding out if a given combination of elementary functions vanishes. But in practice computer algebra systems are quite good in solving such problems. Here we shall consider, at a very elementary level, the main ideas of the Risch algorithm; see [16] for more details.
ERIC Educational Resources Information Center
Liddicoat, Anthony J.; Curnow, Timothy Jowan; Scarino, Angela
2016-01-01
This paper examines the development of the First Language Maintenance and Development (FLMD) program in South Australia. This program is the main language policy activity that specifically focuses on language maintenance in government primary schools and has existed since 1986. During this time, the program has evolved largely as the result of ad…
A Maxwell-Schrödinger solver for quantum optical few-level systems
NASA Astrophysics Data System (ADS)
Fleischhaker, Robert; Evers, Jörg
2011-03-01
The msprop program presented in this work is capable of solving the Maxwell-Schrödinger equations for one or several laser fields propagating through a medium of quantum optical few-level systems in one spatial dimension and in time. In particular, it allows to numerically treat systems in which a laser field interacts with the medium with both its electric and magnetic component at the same time. The internal dynamics of the few-level system is modeled by a quantum optical master equation which includes coherent processes due to optical transitions driven by the laser fields as well as incoherent processes due to decay and dephasing. The propagation dynamics of the laser fields is treated in slowly varying envelope approximation resulting in a first order wave equation for each laser field envelope function. The program employs an Adams predictor formula second order in time to integrate the quantum optical master equation and a Lax-Wendroff scheme second order in space and time to evolve the wave equations for the fields. The source function in the Lax-Wendroff scheme is specifically adapted to allow taking into account the simultaneous coupling of a laser field to the polarization and the magnetization of the medium. To reduce execution time, a customized data structure is implemented and explained. In three examples the features of the program are demonstrated and the treatment of a system with a phase-dependent cross coupling of the electric and magnetic field component of a laser field is shown. Program summaryProgram title: msprop Catalogue identifier: AEHR_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEHR_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 507 625 No. of bytes in distributed program, including test data, etc.: 10 698 552 Distribution format: tar.gz Programming language: C (C99 standard), Mathematica, bash script, gnuplot script Computer: Tested on x86 architecture Operating system: Unix/Linux environment RAM: Less than 30 MB Classification: 2.5 External routines: Standard C math library, accompanying bash script uses gnuplot, bc (basic calculator), and convert (ImageMagick) Nature of problem: We consider a system of quantum optical few-level atoms exposed to several near-resonant continuous-wave or pulsed laser fields. The complexity of the problem arises from the combination of the coherent and incoherent time evolution of the atoms and its dependence on the spatially varying fields. In systems with a coupling to the electric and magnetic field component the simultaneous treatment of both field components poses an additional challenge. Studying the system dynamics requires solving the quantum optical master equation coupled to the wave equations governing the spatio-temporal dynamics of the fields [1,2]. Solution method: We numerically integrate the equations of motion using a second order Adams predictor method for the time evolution of the atomic density matrix and a second order Lax-Wendroff scheme for iterating the fields in space [3]. For the Lax-Wendroff scheme, the source function is adapted such that a simultaneous coupling to the polarization and the magnetization of the medium can be taken into account. Restrictions: The evolution of the fields is treated in slowly varying envelope approximation [2] such that variations of the fields in space and time must be on a scale larger than the wavelength and the optical cycle. Propagation is restricted to the forward direction and to one dimension. Concerning the description of the atomic system, only a finite number of basis states can be treated and the laser-driven transitions have to be near-resonant such that the rotating-wave approximation can be applied [2]. Unusual features: The program allows the dipole interaction of both the electric and the magnetic component of a laser field to be taken into account at the same time. Thus, a system with a phase-dependent cross coupling of electric and magnetic field component can be treated (see Section 4.2 and [4]). Concerning the implementation of the data structure, it has been optimized for faster memory access. Compared to using standard memory allocation methods, shorter run times are achieved (see Section 3.2). Additional comments: Three examples are given. They each include a readme file, a Mathematica notebook to generate the C-code form of the quantum optical master equation, a parameter file, a bash script which runs the program and converts the numerical data into a movie, two gnuplot scripts, and all files that are produced by running the bash script. Running time: For the first two examples the running time is less than a minute, the third example takes about 12 minutes. On a Pentium 4 (3 GHz) system, a rough estimate can be made with a value of 1 second per million grid points and per field variable.
Snowden, Lonnie R; McClellan, Sean R
2013-09-01
We investigated the extent to which implementing language assistance programming through contracting with community-based organizations improved the accessibility of mental health care under Medi-Cal (California's Medicaid program) for Spanish-speaking persons with limited English proficiency, and whether it reduced language-based treatment access disparities. Using a time series nonequivalent control group design, we studied county-level penetration of language assistance programming over 10 years (1997-2006) for Spanish-speaking persons with limited English proficiency covered under Medi-Cal. We used linear regression with county fixed effects to control for ongoing trends and other influences. When county mental health plans contracted with community-based organizations, those implementing language assistance programming increased penetration rates of Spanish-language mental health services under Medi-Cal more than other plans (0.28 percentage points, a 25% increase on average; P < .05). However, the increase was insufficient to significantly reduce language-related disparities. Mental health treatment programs operated by community-based organizations may have moderately improved access after implementing required language assistance programming, but the programming did not reduce entrenched disparities in the accessibility of mental health services.
McClellan, Sean R.
2013-01-01
Objectives. We investigated the extent to which implementing language assistance programming through contracting with community-based organizations improved the accessibility of mental health care under Medi-Cal (California’s Medicaid program) for Spanish-speaking persons with limited English proficiency, and whether it reduced language-based treatment access disparities. Methods. Using a time series nonequivalent control group design, we studied county-level penetration of language assistance programming over 10 years (1997–2006) for Spanish-speaking persons with limited English proficiency covered under Medi-Cal. We used linear regression with county fixed effects to control for ongoing trends and other influences. Results. When county mental health plans contracted with community-based organizations, those implementing language assistance programming increased penetration rates of Spanish-language mental health services under Medi-Cal more than other plans (0.28 percentage points, a 25% increase on average; P < .05). However, the increase was insufficient to significantly reduce language-related disparities. Conclusions. Mental health treatment programs operated by community-based organizations may have moderately improved access after implementing required language assistance programming, but the programming did not reduce entrenched disparities in the accessibility of mental health services. PMID:23865663
ERIC Educational Resources Information Center
Feldman, David
1975-01-01
Stresses the importance of language laboratories and other technical devices used in foreign language teaching, particularly in programed language instruction. Illustrates, by means of taxonomies, the various stages a foreign language learning program should follow. (Text is in Spanish.) (DS)
An IBM 370 assembly language program verifier
NASA Technical Reports Server (NTRS)
Maurer, W. D.
1977-01-01
The paper describes a program written in SNOBOL which verifies the correctness of programs written in assembly language for the IBM 360 and 370 series of computers. The motivation for using assembly language as a source language for a program verifier was the realization that many errors in programs are caused by misunderstanding or ignorance of the characteristics of specific computers. The proof of correctness of a program written in assembly language must take these characteristics into account. The program has been compiled and is currently running at the Center for Academic and Administrative Computing of The George Washington University.
Educator Language Ideologies and a Top-Down Dual Language Program
ERIC Educational Resources Information Center
Fitzsimmons-Doolan, Shannon; Palmer, Deborah; Henderson, Kathryn
2017-01-01
Dual language bilingual education (DLBE) programs are framed to reflect pluralist discourses (de Jong, E. [2013]. "Policy Discourses and U.S. Language in Education Policies." "Peabody Journal of Education" 88 (1): 98-111) and affiliated language ideologies. The continued expansion of DLBE programs not surprisingly brings to…
Teaching Adaptability of Object-Oriented Programming Language Curriculum
ERIC Educational Resources Information Center
Zhu, Xiao-dong
2012-01-01
The evolution of object-oriented programming languages includes update of their own versions, update of development environments, and reform of new languages upon old languages. In this paper, the evolution analysis of object-oriented programming languages is presented in term of the characters and development. The notion of adaptive teaching upon…
Innovative Second Language Education: Bilingual Immersion Programs.
ERIC Educational Resources Information Center
Snow, Marguerite Ann
Bilingual immersion programs combine second language immersion for language majority children and bilingual education for language minority children. The programs are based on the underlying assumption of the immersion model: that a second language is best learned as a medium of instruction, not as the object of instruction. However, they are not…
The BASIC Instructional Program: Conversion into MAINSAIL Language.
ERIC Educational Resources Information Center
Dageforde, Mary L.
This report summarizes the rewriting of the BASIC Instructional Program (BIP) (a "hands-on laboratory" that teaches elementary programming in the BASIC language) from SAIL (a programming language available only on PDP-10 computers) into MAINSAIL (a language designed for portability on a broad class of computers). Four sections contain…
NATAL-74; Towards a Common Programming Language for CAL.
ERIC Educational Resources Information Center
Brahan, J. W.; Colpitts, B. A.
NATAL-74 is a programing language designed for Canadian computer aided learning (CAL) programs. The language has two fundamental elements: the UNIT provides the interface between the student and the subject matter, and the PROCEDURE element embodies teaching strategy. Desirable features of several programing languages have been adapted to cope…
A high level language for a high performance computer
NASA Technical Reports Server (NTRS)
Perrott, R. H.
1978-01-01
The proposed computational aerodynamic facility will join the ranks of the supercomputers due to its architecture and increased execution speed. At present, the languages used to program these supercomputers have been modifications of programming languages which were designed many years ago for sequential machines. A new programming language should be developed based on the techniques which have proved valuable for sequential programming languages and incorporating the algorithmic techniques required for these supercomputers. The design objectives for such a language are outlined.
Survey of Speech-Language Pathology Graduate Program Training in Outer and Middle Ear Screening.
Serpanos, Yula C; Senzer, Deborah
2015-08-01
The purpose of this study was to determine the national training practices of speech-language pathology graduate programs in outer and middle ear screening. Directors of all American Speech-Language-Hearing Association-accredited speech-language pathology graduate programs (N = 254; Council on Academic Accreditation in Audiology and Speech-Language Pathology, 2013) were surveyed on instructional formats in outer and middle ear screening. The graduate speech-language pathology program survey yielded 84 (33.1%) responses. Results indicated that some programs do not provide any training in the areas of conventional screening otoscopy using a handheld otoscope (15.5%; n = 13) or screening tympanometry (11.9%; n = 10), whereas close to one half (46.4%; n = 39) reported no training in screening video otoscopy. Outcomes revealed that approximately one third or more of speech-language pathology graduate programs do not provide experiential opportunities in screening handheld otoscopy (36.9%) or tympanometry (32.1%), and most (78.6%) do not provide experiential opportunities in video otoscopy. The implication from the graduate speech-language pathology program survey findings is that some speech-language pathologists will graduate from academic programs without the acquired knowledge or experiential learning required to establish skill in 1 or more areas of screening otoscopy and tympanometry. Graduate speech-language pathology programs should consider appropriate training opportunities for students to acquire and demonstrate skill in outer and middle ear screening.
ERIC Educational Resources Information Center
Padron, Yolanda N.; Waxman, Hersh C.
2016-01-01
This study examined principals' knowledge and perceptions of second language programs for English language learners (ELLs) operating in their schools. An open-ended survey and in-depth interviews were used to examine elementary school principals' knowledge of the second language programs implemented at their schools. The survey asked principals…
ERIC Educational Resources Information Center
Salgado, Herlinda Arlene Galve
2016-01-01
Elementary Spanish language immersion programs have become more popular in the educational field in the United States to support the academic achievement of minority students. The final goal of immersion programs is to develop proficiency in the home language and dominant language, identified as first language (L1) and second language (L2), to…
Numerical evaluation of multi-loop integrals for arbitrary kinematics with SecDec 2.0
NASA Astrophysics Data System (ADS)
Borowka, Sophia; Carter, Jonathon; Heinrich, Gudrun
2013-02-01
We present the program SecDec 2.0, which contains various new features. First, it allows the numerical evaluation of multi-loop integrals with no restriction on the kinematics. Dimensionally regulated ultraviolet and infrared singularities are isolated via sector decomposition, while threshold singularities are handled by a deformation of the integration contour in the complex plane. As an application, we present numerical results for various massive two-loop four-point diagrams. SecDec 2.0 also contains new useful features for the calculation of more general parameter integrals, related for example to phase space integrals. Program summaryProgram title: SecDec 2.0 Catalogue identifier: AEIR_v2_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEIR_v2_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 156829 No. of bytes in distributed program, including test data, etc.: 2137907 Distribution format: tar.gz Programming language: Wolfram Mathematica, Perl, Fortran/C++. Computer: From a single PC to a cluster, depending on the problem. Operating system: Unix, Linux. RAM: Depending on the complexity of the problem Classification: 4.4, 5, 11.1. Catalogue identifier of previous version: AEIR_v1_0 Journal reference of previous version: Comput. Phys. Comm. 182(2011)1566 Does the new version supersede the previous version?: Yes Nature of problem: Extraction of ultraviolet and infrared singularities from parametric integrals appearing in higher order perturbative calculations in gauge theories. Numerical integration in the presence of integrable singularities (e.g., kinematic thresholds). Solution method: Algebraic extraction of singularities in dimensional regularization using iterated sector decomposition. This leads to a Laurent series in the dimensional regularization parameter ɛ, where the coefficients are finite integrals over the unit hypercube. Those integrals are evaluated numerically by Monte Carlo integration. The integrable singularities are handled by choosing a suitable integration contour in the complex plane, in an automated way. Reasons for new version: In the previous version the calculation of multi-scale integrals was restricted to the Euclidean region. Now multi-loop integrals with arbitrary physical kinematics can be evaluated. Another major improvement is the possibility of full parallelization. Summary of revisions: No restriction on the kinematics for multi-loop integrals. The integrand can be constructed from the topological cuts of the diagram. Possibility of full parallelization. Numerical integration of multi-loop integrals written in C++ rather than Fortran. Possibility to loop over ranges of parameters. Restrictions: Depending on the complexity of the problem, limited by memory and CPU time. The restriction that multi-scale integrals could only be evaluated at Euclidean points is superseded in version 2.0. Running time: Between a few minutes and several days, depending on the complexity of the problem. Test runs provided take only seconds.
NASA Astrophysics Data System (ADS)
Bogdanchikov, A.; Zhaparov, M.; Suliyev, R.
2013-04-01
Today we have a lot of programming languages that can realize our needs, but the most important question is how to teach programming to beginner students. In this paper we suggest using Python for this purpose, because it is a programming language that has neatly organized syntax and powerful tools to solve any task. Moreover it is very close to simple math thinking. Python is chosen as a primary programming language for freshmen in most of leading universities. Writing code in python is easy. In this paper we give some examples of program codes written in Java, C++ and Python language, and we make a comparison between them. Firstly, this paper proposes advantages of Python language in relation to C++ and JAVA. Then it shows the results of a comparison of short program codes written in three different languages, followed by a discussion on how students understand programming. Finally experimental results of students' success in programming courses are shown.
Usability Issues in the Design of Novice Programming Systems,
1996-08-01
lists this as a design principle for novice programming environments. In traditional compiled languages, beginners are also confused by the need to...programming task external knowledge that might interfere with correct under- standing of the language. Most beginner programming errors can be...language for text editing, but [Curtis 1988] found that a textual pseudocode and graphical flowcharts were both bet- ter than natural language in program
ERIC Educational Resources Information Center
Tesler, Lawrence G.
1984-01-01
Discusses the nature of programing languages, considering the features of BASIC, LOGO, PASCAL, COBOL, FORTH, APL, and LISP. Also discusses machine/assembly codes, the operation of a compiler, and trends in the evolution of programing languages (including interest in notational systems called object-oriented languages). (JN)
A Common Programming Language for the Department of Defense--Background and Technical Requirements
1976-06-01
Method Findings I. Introduction A. The Problem 1. Software Costs 2. Programming Language 3. Lack of Comrr.onality 4. Common Language 5...accessible soft- ware tools and aids. There are a number of widely held perceptions about the ill effects of the lack of programming language ...cost- effective (at lea~t during development) than de- velopi~g a new programming language specialized to the project. On the other hand,
ERIC Educational Resources Information Center
Asensio, Daniela A.; Barassi, Francisca J.; Zambon, Mariana T.; Mazza, Germán D.
2010-01-01
This paper describes the results of a pedagogical experience carried out at the University of Comahue, Argentina, with an interactive text (IT) concerning Homogeneous Chemical Reactors Analysis. The IT was built on the frame of the "Mathematica" software with the aim of providing students with a robust computational tool. Students'…
Study Finds Charter Networks Give No Clear Edge on Results
ERIC Educational Resources Information Center
Shah, Nirvi
2011-01-01
The author reports on a national study of middle school students in 40 charter networks which finds that, when it comes to having an impact on student achievement, results vary and, overall, charter students do not learn dramatically more than their counterparts in regular public schools. The findings from the research group Mathematica and the…
ERIC Educational Resources Information Center
Savelsbergh, Elwin R.; Ferguson-Hessler, Monica G. M.; de Jong, Ton
An approach to teaching problem-solving based on using the computer software Mathematica is applied to the study of electrostatics and is compared with the normal approach to the module. Learning outcomes for both approaches were not significantly different. The experimental course successfully addressed a number of misconceptions. Students in the…
A Quantitative Methodology for Vetting Dark Network Intelligence Sources for Social Network Analysis
2012-06-01
first algorithm by Erdös and Rényi (Erdös & Renyi , 1959). This earliest algorithm suffers from the fact that its degree distribution is not scale...Fundamental Media Understanding. Norderstedt: atpress. Erdös, P., & Renyi , A. (1959). On random graphs. Publicationes Mathematicae , 6, 290- 297. Erdös, P
2010-11-30
Erdos- Renyi -Gilbert random graph [Erdos and Renyi , 1959; Gilbert, 1959], the Watts-Strogatz “small world” framework [Watts and Strogatz, 1998], and the...2003). Evolution of Networks. Oxford University Press, USA. Erdos, P. and Renyi , A. (1959). On Random Graphs. Publications Mathematicae, 6 290–297
Examining Variation in Achievement Impacts across the KIPP Network of Charter Schools
ERIC Educational Resources Information Center
Tuttle, Christina Clark; Gleason, Philip; Furgeson, Joshua
2012-01-01
As a condition of its i3 grant, KIPP contracted with an independent evaluator (Mathematica) to address a key research question: does KIPP maintain its demonstrated effectiveness as it scales? While this question sounds simple enough in theory, it poses several methodological and practical challenges. This paper outlines some of those key…
ERIC Educational Resources Information Center
Lipscomb, Stephen; Gill, Brian; Booker, Kevin; Johnson, Matthew
2010-01-01
At the request of Pittsburgh Public Schools (PPS) and the Pittsburgh Federation of Teachers (PFT), Mathematica is developing value-added models (VAMs) that aim to estimate the contributions of individual teachers, teams of teachers, and schools to the achievement growth of their students. The analyses described in this report are intended as an…
ERIC Educational Resources Information Center
Mahavier, W. Ted
2002-01-01
Describes a two-semester numerical methods course that serves as a research experience for undergraduate students without requiring external funding or the modification of current curriculum. Uses an engineering problem to introduce students to constrained optimization via a variation of the traditional isoperimetric problem of finding the curve…
The Logical Heart of a Classic Proof Revisited: A Guide to Godel's "Incompleteness" Theorems
ERIC Educational Resources Information Center
Padula, Janice
2011-01-01
The study of Kurt Godel's proof of the "incompleteness" of a formal system such as "Principia Mathematica" is a great way to stimulate students' thinking and creative processes and interest in mathematics and its important developments. This article describes salient features of the proof together with ways to deal with potential difficulties for…
What Is a Programming Language?
ERIC Educational Resources Information Center
Wold, Allen
1983-01-01
Explains what a computer programing language is in general, the differences between machine language, assembler languages, and high-level languages, and the functions of compilers and interpreters. High-level languages mentioned in the article are: BASIC, FORTRAN, COBOL, PILOT, LOGO, LISP, and SMALLTALK. (EAO)
Total Immersion Language Program: A New Approach to Foreign Language Instruction. Technical Report.
ERIC Educational Resources Information Center
Morel, Stefano
A three-year experimental program established in 1966 in Spanish language instruction at the secondary level is reported in this study. Students at Commack High School North, New York, participated in a total immersion language program in Spanish, taking two to four classes of instruction in the target language per day. Classes included regular…
Code of Federal Regulations, 2010 CFR
2010-07-01
... International Studies and Foreign Language Program? 658.4 Section 658.4 Education Regulations of the Offices of... UNDERGRADUATE INTERNATIONAL STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.4 What definitions apply to the Undergraduate International Studies and Foreign Language Program? The definitions in 34 CFR 655.4 apply to this...
Code of Federal Regulations, 2011 CFR
2011-07-01
... International Studies and Foreign Language Program? 658.4 Section 658.4 Education Regulations of the Offices of... UNDERGRADUATE INTERNATIONAL STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.4 What definitions apply to the Undergraduate International Studies and Foreign Language Program? The definitions in 34 CFR 655.4 apply to this...
Students' Perspective on the First Programming Language: C-Like or Pascal-Like Languages?
ERIC Educational Resources Information Center
Xinogalos, Stelios; Pitner, Tomáš; Ivanovic, Mirjana; Savic, Miloš
2018-01-01
The choice of the first programming language (FPL) has been a controversial issue for several decades. Nearly everyone agrees that the FPL is important and affects students' subsequent education on programming. The study presented in this article investigates the suitability of various C-like and Pascal-like programming languages as a FPL.…
HAL/SM language specification. [programming languages and computer programming for space shuttles
NASA Technical Reports Server (NTRS)
Williams, G. P. W., Jr.; Ross, C.
1975-01-01
A programming language is presented for the flight software of the NASA Space Shuttle program. It is intended to satisfy virtually all of the flight software requirements of the space shuttle. To achieve this, it incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks. It is a higher order language designed to allow programmers, analysts, and engineers to communicate with the computer in a form approximating natural mathematical expression. Parts of the English language are combined with standard notation to provide a tool that readily encourages programming without demanding computer hardware expertise. Block diagrams and flow charts are included. The semantics of the language is discussed.
Artificial intelligence programming languages for computer aided manufacturing
NASA Technical Reports Server (NTRS)
Rieger, C.; Samet, H.; Rosenberg, J.
1979-01-01
Eight Artificial Intelligence programming languages (SAIL, LISP, MICROPLANNER, CONNIVER, MLISP, POP-2, AL, and QLISP) are presented and surveyed, with examples of their use in an automated shop environment. Control structures are compared, and distinctive features of each language are highlighted. A simple programming task is used to illustrate programs in SAIL, LISP, MICROPLANNER, and CONNIVER. The report assumes reader knowledge of programming concepts, but not necessarily of the languages surveyed.
ERIC Educational Resources Information Center
Seals, Corinne A.; Peyton, Joy Kreeft
2017-01-01
This article argues for the value of heritage language programs and the micro-level language policies that support them, focusing on a case study of a program in the USA to make this argument. We also argue for the importance of recognizing students' heritage languages, cultures, and individual goals and identities in mainstream school programs.…
ERIC Educational Resources Information Center
Fox, Janna; Cheng, Liying; Zumbo, Bruno D.
2014-01-01
Few studies have investigated the impact of English language programs on second language (L2) students studying in Canadian universities (Cheng & Fox, 2008; Fox, 2005, 2009). This article reports on questionnaire responses of 641 L2 students studying in 36 English language programs in 26 Canadian universities. The researchers identified…
An Evaluation Framework and Comparative Analysis of the Widely Used First Programming Languages
Farooq, Muhammad Shoaib; Khan, Sher Afzal; Ahmad, Farooq; Islam, Saeed; Abid, Adnan
2014-01-01
Computer programming is the core of computer science curriculum. Several programming languages have been used to teach the first course in computer programming, and such languages are referred to as first programming language (FPL). The pool of programming languages has been evolving with the development of new languages, and from this pool different languages have been used as FPL at different times. Though the selection of an appropriate FPL is very important, yet it has been a controversial issue in the presence of many choices. Many efforts have been made for designing a good FPL, however, there is no ample way to evaluate and compare the existing languages so as to find the most suitable FPL. In this article, we have proposed a framework to evaluate the existing imperative, and object oriented languages for their suitability as an appropriate FPL. Furthermore, based on the proposed framework we have devised a customizable scoring function to compute a quantitative suitability score for a language, which reflects its conformance to the proposed framework. Lastly, we have also evaluated the conformance of the widely used FPLs to the proposed framework, and have also computed their suitability scores. PMID:24586449
An evaluation framework and comparative analysis of the widely used first programming languages.
Farooq, Muhammad Shoaib; Khan, Sher Afzal; Ahmad, Farooq; Islam, Saeed; Abid, Adnan
2014-01-01
Computer programming is the core of computer science curriculum. Several programming languages have been used to teach the first course in computer programming, and such languages are referred to as first programming language (FPL). The pool of programming languages has been evolving with the development of new languages, and from this pool different languages have been used as FPL at different times. Though the selection of an appropriate FPL is very important, yet it has been a controversial issue in the presence of many choices. Many efforts have been made for designing a good FPL, however, there is no ample way to evaluate and compare the existing languages so as to find the most suitable FPL. In this article, we have proposed a framework to evaluate the existing imperative, and object oriented languages for their suitability as an appropriate FPL. Furthermore, based on the proposed framework we have devised a customizable scoring function to compute a quantitative suitability score for a language, which reflects its conformance to the proposed framework. Lastly, we have also evaluated the conformance of the widely used FPLs to the proposed framework, and have also computed their suitability scores.
Knowledge, programming, and programming cultures: LISP, C, and Ada
NASA Technical Reports Server (NTRS)
Rochowiak, Daniel
1990-01-01
The results of research 'Ada as an implementation language for knowledge based systems' are presented. The purpose of the research was to compare Ada to other programming languages. The report focuses on the programming languages Ada, C, and Lisp, the programming cultures that surround them, and the programming paradigms they support.
The African Language Program at Michigan State University.
ERIC Educational Resources Information Center
Dwyer, David
1979-01-01
Describes the African language program at Michigan State University, which provides (1) supervised, individualized instruction for high-demand languages, on two levels; (2) regular classroom instruction for Swahili and Hausa; and (3) non-credit, self-instructional programs for low-demand languages. Sample forms are appended. (AM)
Computer Programming Languages for Health Care
O'Neill, Joseph T.
1979-01-01
This paper advocates the use of standard high level programming languages for medical computing. It recommends that U.S. Government agencies having health care missions implement coordinated policies that encourage the use of existing standard languages and the development of new ones, thereby enabling them and the medical computing community at large to share state-of-the-art application programs. Examples are based on a model that characterizes language and language translator influence upon the specification, development, test, evaluation, and transfer of application programs.
Flight program language requirements. Volume 3: Appendices
NASA Technical Reports Server (NTRS)
1972-01-01
Government-sponsored study and development efforts were directed toward design and implementation of high level programming languages suitable for future aerospace applications. The study centered around an evaluation of the four most pertinent existing aerospace languages. Evaluation criteria were established, and selected kernels from the current Saturn 5 and Skylab flight programs were used as benchmark problems for sample coding. An independent review of the language specifications incorporated anticipated future programming requirements into the evaluation. A set of language requirements was synthesized from these activities.
DOE Office of Scientific and Technical Information (OSTI.GOV)
March-Leuba, S.; Jansen, J.F.; Kress, R.L.
1992-08-01
A new program package, Symbolic Manipulator Laboratory (SML), for the automatic generation of both kinematic and static manipulator models in symbolic form is presented. Critical design parameters may be identified and optimized using symbolic models as shown in the sample application presented for the Future Armor Rearm System (FARS) arm. The computer-aided development of the symbolic models yields equations with reduced numerical complexity. Important considerations have been placed on the closed form solutions simplification and on the user friendly operation. The main emphasis of this research is the development of a methodology which is implemented in a computer program capablemore » of generating symbolic kinematic and static forces models of manipulators. The fact that the models are obtained trigonometrically reduced is among the most significant results of this work and the most difficult to implement. Mathematica, a commercial program that allows symbolic manipulation, is used to implement the program package. SML is written such that the user can change any of the subroutines or create new ones easily. To assist the user, an on-line help has been written to make of SML a user friendly package. Some sample applications are presented. The design and optimization of the 5-degrees-of-freedom (DOF) FARS manipulator using SML is discussed. Finally, the kinematic and static models of two different 7-DOF manipulators are calculated symbolically.« less
Praxis language reference manual
DOE Office of Scientific and Technical Information (OSTI.GOV)
Walker, J.H.
1981-01-01
This document is a language reference manual for the programming language Praxis. The document contains the specifications that must be met by any compiler for the language. The Praxis language was designed for systems programming in real-time process applications. Goals for the language and its implementations are: (1) highly efficient code generated by the compiler; (2) program portability; (3) completeness, that is, all programming requirements can be met by the language without needing an assembler; and (4) separate compilation to aid in design and management of large systems. The language does not provide any facilities for input/output, stack and queuemore » handling, string operations, parallel processing, or coroutine processing. These features can be implemented as routines in the language, using machine-dependent code to take advantage of facilities in the control environment on different machines.« less
Visual Programming: A Programming Tool for Increasing Mathematics Achivement
ERIC Educational Resources Information Center
Swanier, Cheryl A.; Seals, Cheryl D.; Billionniere, Elodie V.
2009-01-01
This paper aims to address the need of increasing student achievement in mathematics using a visual programming language such as Scratch. This visual programming language facilitates creating an environment where students in K-12 education can develop mathematical simulations while learning a visual programming language at the same time.…
Problems for a Sign Language Planning Agency
ERIC Educational Resources Information Center
Covington, Virginia
1977-01-01
American Sign Language is chiefly untaught and nonstandardized. The Communicative Skills Program of the National Association of the Deaf aims to provide sign language classes for hearing personnel and to increase interpreting services. Programs, funding and aims of the Program are outlined. A government sign language planning agency is proposed.…
A Year-Round Professional Development Model for World Language Educators
ERIC Educational Resources Information Center
Steele, Tracy M.; Peterson, Margaret D.; Silva, Duarte M.; Padilla, Amado M.
2009-01-01
The Bay Area Foreign Language Program (BAFLP), one of nine regional sites of the California Foreign Language Project, offers ongoing, year-round professional development programs for world language educators. In addition, its leadership program prepares selected educators to assume leadership positions at their school sites, building capacity for…
Quantitative Model for Choosing Programming Language for Online Instruction
ERIC Educational Resources Information Center
Sherman, Steven J.; Shehane, Ronald F.; Todd, Dewey W.
2018-01-01
Colleges are increasingly offering online courses, including computer programming courses for business school students. Programming languages that are most useful to students are those that are widely used in the job market. However, the most popular computer languages change at least every three years. Therefore, the language used for instruction…
Foreign Language K-12. Program Evaluation 1991-92.
ERIC Educational Resources Information Center
Wadden, Jerry M.
The Des Moines (Iowa) Public Schools foreign language program for K-12 is described and evaluated. The evaluation report focuses on six areas, including: (1) school district mission and philosophy of foreign language instruction; (2) context (state policies and standards, foreign language program overview and enrollment, fiber-optic communication…
Les programmes de base: des principes a la realite (Core Programs: From Principles to Reality).
ERIC Educational Resources Information Center
Calve, Pierre
1985-01-01
The recent evolution of second language teaching theory regarding language, learning, communication, and teaching is summarized, and factors contributing to resistance to core second language programs are examined. They include tradition, school programs, time of instruction, language of instruction, teacher training, attitudes, and…
77 FR 30045 - 30-Day Notice of Proposed Information Collection: English Language Evaluation Surveys
Federal Register 2010, 2011, 2012, 2013, 2014
2012-05-21
...] 30-Day Notice of Proposed Information Collection: English Language Evaluation Surveys ACTION: Notice... clearance will allow ECA/P/V, as part of the English Language Evaluation, to conduct surveys of participants in the ETA Program, E-Teacher Scholarship program, and the English Language Specialist Program...
Listen! Native Radio Can Save Languages.
ERIC Educational Resources Information Center
Martin, Kallen
1996-01-01
In the United States and Canada, the number of radio stations operated by Native Americans has greatly increased in recent years, as have the amount of programming in native languages and the number of native language instructional programs. Such programming can play a role in maintaining vigorous native languages and revitalizing endangered…
Synchronization in Scratch: A Case Study with Education Science Students
ERIC Educational Resources Information Center
Nikolos, Dimitris; Komis, Vassilis
2015-01-01
The Scratch programming language is an introductory programming language for students. It is also a visual concurrent programming language, where multiple threads are executed simultaneously. Synchronization in concurrent languages is a complex task for novices to understand. Our research is focused on strategies and methods applied by novice…
ERIC Educational Resources Information Center
Shaw, Yun
2010-01-01
Many of the commercial Computer-Assisted Language Learning (CALL) programs available today typically take a generic approach. This approach standardizes the program so that it can be used to teach any language merely by translating the content from one language to another. These CALL programs rarely consider the cultural background or preferred…
Towards the Automatic Generation of Programmed Foreign-Language Instructional Materials.
ERIC Educational Resources Information Center
Van Campen, Joseph A.
The purpose of this report is to describe a set of programs which either perform certain tasks useful in the generation of programed foreign-language instructional material or facilitate the writing of such task-oriented programs by other researchers. The programs described are these: (1) a PDP-10 assembly language program for the selection from a…
Programming Language Use in US Academia and Industry
ERIC Educational Resources Information Center
Ben Arfa Rabai, Latifa; Cohen, Barry; Mili, Ali
2015-01-01
In the same way that natural languages influence and shape the way we think, programming languages have a profound impact on the way a programmer analyzes a problem and formulates its solution in the form of a program. To the extent that a first programming course is likely to determine the student's approach to program design, program analysis,…
ERIC Educational Resources Information Center
Henderson, Kathryn I.; Palmer, Deborah K.
2015-01-01
This article provides an in-depth exploration of the language ecologies of two classrooms attempting to implement a two-way dual language (TWDL) program and its mediating conditions. Drawing on ethnographic methods and a sociocultural understanding of language, we examined both teachers' and students' language ideologies and language practices,…
Chief Dull Knife Community Is Strengthening the Northern Cheyenne Language and Culture.
ERIC Educational Resources Information Center
Littlebear, Richard E.
2003-01-01
Language revitalization programs should focus on whether they want to teach the language, teach about the language, teach with the language, or teach the language for academic credit. A program at Chief Dull Knife College (Montana) teaches the Cheyenne language using the Total Physical Response method, which replicates the manner in which first…
Language plus for international graduate students in nursing.
Julian, M A; Keane, A; Davidson, K
1999-01-01
To provide information about an English-language support program that focuses on the needs of international graduate nursing students. The growing presence of these students coincides with the increasing numbers of universities committed to world health. Crucial social and language competence affect the success and progress of international students in graduate nursing programs. Reviewed literature was 1980 to 1998, in nursing and applied linguistic research including second-language acquisition, phonology, discourse analysis, and language pragmatics to identify social and language phenomena. Investigators suggest essential elements such as conventions of academic writing, reading comprehension, vocabulary, and pronunciation skills be included in the supportive Language Plus program. Ongoing development of the Language Plus program can promote collaboration between nurses and linguists and increase the success of international graduate nursing students.
ERIC Educational Resources Information Center
Calinger, Ronald, Ed.
This book brings together papers by scholars from around the globe on the historiography and history of mathematics and their integration with mathematical pedagogy. Of the three articles in Part 1, "Historiography and Sources", one identifies research trends in the history of mathematics, the second discusses the centrality of problems, and the…
ERIC Educational Resources Information Center
Glazerman, Steven; Seif, Elizabeth; Baxter, Gail
2008-01-01
This report examines the career trajectories of those who have successfully completed the Passport to Teaching certification offered by the American Board for Certification of Teacher Excellence (ABCTE) during its first years of existence. To elicit information on the career choices of Passport alumni, Mathematica Policy Research, Inc. (MPR)…
Restricted Closed Shell Hartree Fock Roothaan Matrix Method Applied to Helium Atom Using Mathematica
ERIC Educational Resources Information Center
Acosta, César R.; Tapia, J. Alejandro; Cab, César
2014-01-01
Slater type orbitals were used to construct the overlap and the Hamiltonian core matrices; we also found the values of the bi-electron repulsion integrals. The Hartree Fock Roothaan approximation process starts with setting an initial guess value for the elements of the density matrix; with these matrices we constructed the initial Fock matrix.…
ERIC Educational Resources Information Center
Ardiç, Mehmet Alper; Isleyen, Tevfik
2017-01-01
The purpose of this study is to determine the levels of high school mathematics teachers in achieving mathematics instruction via computer algebra systems and the reflections of these practices in the classroom. Three high school mathematics teachers employed at different types of school participated in the study. In the beginning of this…
The Roles of Visualization and Symbolism in the Potential and Actual Infinity of the Limit Process
ERIC Educational Resources Information Center
Kidron, Ivy; Tall, David
2015-01-01
A teaching experiment-using Mathematica to investigate the convergence of sequence of functions visually as a sequence of objects (graphs) converging onto a fixed object (the graph of the limit function)-is here used to analyze how the approach can support the dynamic blending of visual and symbolic representations that has the potential to lead…
Methods in Symbolic Computation and p-Adic Valuations of Polynomials
NASA Astrophysics Data System (ADS)
Guan, Xiao
Symbolic computation has widely appear in many mathematical fields such as combinatorics, number theory and stochastic processes. The techniques created in the area of experimental mathematics provide us efficient ways of symbolic computing and verification of complicated relations. Part I consists of three problems. The first one focuses on a unimodal sequence derived from a quartic integral. Many of its properties are explored with the help of hypergeometric representations and automatic proofs. The second problem tackles the generating function of the reciprocal of Catalan number. It springs from the closed form given by Mathematica. Furthermore, three methods in special functions are used to justify this result. The third issue addresses the closed form solutions for the moments of products of generalized elliptic integrals , which combines the experimental mathematics and classical analysis. Part II concentrates on the p-adic valuations of polynomials from the perspective of trees. For a given polynomial f( n) indexed in positive integers, the package developed in Mathematica will create certain tree structure following a couple of rules. The evolution of such trees are studied both rigorously and experimentally from the view of field extension, nonparametric statistics and random matrix.
Approximation of the exponential integral (well function) using sampling methods
NASA Astrophysics Data System (ADS)
Baalousha, Husam Musa
2015-04-01
Exponential integral (also known as well function) is often used in hydrogeology to solve Theis and Hantush equations. Many methods have been developed to approximate the exponential integral. Most of these methods are based on numerical approximations and are valid for a certain range of the argument value. This paper presents a new approach to approximate the exponential integral. The new approach is based on sampling methods. Three different sampling methods; Latin Hypercube Sampling (LHS), Orthogonal Array (OA), and Orthogonal Array-based Latin Hypercube (OA-LH) have been used to approximate the function. Different argument values, covering a wide range, have been used. The results of sampling methods were compared with results obtained by Mathematica software, which was used as a benchmark. All three sampling methods converge to the result obtained by Mathematica, at different rates. It was found that the orthogonal array (OA) method has the fastest convergence rate compared with LHS and OA-LH. The root mean square error RMSE of OA was in the order of 1E-08. This method can be used with any argument value, and can be used to solve other integrals in hydrogeology such as the leaky aquifer integral.
A strategy for automatically generating programs in the lucid programming language
NASA Technical Reports Server (NTRS)
Johnson, Sally C.
1987-01-01
A strategy for automatically generating and verifying simple computer programs is described. The programs are specified by a precondition and a postcondition in predicate calculus. The programs generated are in the Lucid programming language, a high-level, data-flow language known for its attractive mathematical properties and ease of program verification. The Lucid programming is described, and the automatic program generation strategy is described and applied to several example problems.
Award-Winning Foreign Language Programs: Prescriptions for Success.
ERIC Educational Resources Information Center
Sims, William D.; Hammond, Sandra B.
The study reviews 50 foreign language programs in the United States that are said to be both inspirational and useful for providing concrete information about the creation and preservation of successful language programs. The programs cited are exemplary and can serve as models for educators and administrators to study and visit. Program selection…
Laboratory automation in a functional programming language.
Runciman, Colin; Clare, Amanda; Harkness, Rob
2014-12-01
After some years of use in academic and research settings, functional languages are starting to enter the mainstream as an alternative to more conventional programming languages. This article explores one way to use Haskell, a functional programming language, in the development of control programs for laboratory automation systems. We give code for an example system, discuss some programming concepts that we need for this example, and demonstrate how the use of functional programming allows us to express and verify properties of the resulting code. © 2014 Society for Laboratory Automation and Screening.
A comparison of common programming languages used in bioinformatics.
Fourment, Mathieu; Gillings, Michael R
2008-02-05
The performance of different programming languages has previously been benchmarked using abstract mathematical algorithms, but not using standard bioinformatics algorithms. We compared the memory usage and speed of execution for three standard bioinformatics methods, implemented in programs using one of six different programming languages. Programs for the Sellers algorithm, the Neighbor-Joining tree construction algorithm and an algorithm for parsing BLAST file outputs were implemented in C, C++, C#, Java, Perl and Python. Implementations in C and C++ were fastest and used the least memory. Programs in these languages generally contained more lines of code. Java and C# appeared to be a compromise between the flexibility of Perl and Python and the fast performance of C and C++. The relative performance of the tested languages did not change from Windows to Linux and no clear evidence of a faster operating system was found. Source code and additional information are available from http://www.bioinformatics.org/benchmark/. This benchmark provides a comparison of six commonly used programming languages under two different operating systems. The overall comparison shows that a developer should choose an appropriate language carefully, taking into account the performance expected and the library availability for each language.
A comparison of common programming languages used in bioinformatics
Fourment, Mathieu; Gillings, Michael R
2008-01-01
Background The performance of different programming languages has previously been benchmarked using abstract mathematical algorithms, but not using standard bioinformatics algorithms. We compared the memory usage and speed of execution for three standard bioinformatics methods, implemented in programs using one of six different programming languages. Programs for the Sellers algorithm, the Neighbor-Joining tree construction algorithm and an algorithm for parsing BLAST file outputs were implemented in C, C++, C#, Java, Perl and Python. Results Implementations in C and C++ were fastest and used the least memory. Programs in these languages generally contained more lines of code. Java and C# appeared to be a compromise between the flexibility of Perl and Python and the fast performance of C and C++. The relative performance of the tested languages did not change from Windows to Linux and no clear evidence of a faster operating system was found. Source code and additional information are available from Conclusion This benchmark provides a comparison of six commonly used programming languages under two different operating systems. The overall comparison shows that a developer should choose an appropriate language carefully, taking into account the performance expected and the library availability for each language. PMID:18251993
ERIC Educational Resources Information Center
Norris, John M.
2016-01-01
Language program evaluation is a pragmatic mode of inquiry that illuminates the complex nature of language-related interventions of various kinds, the factors that foster or constrain them, and the consequences that ensue. Program evaluation enables a variety of evidence-based decisions and actions, from designing programs and implementing…
Testing as a Way to Monitor English as a Foreign Language Learning
ERIC Educational Resources Information Center
Becker, Anthony; Nekrasova-Beker, Tatiana; Petrashova, Tamara
2017-01-01
This study was conducted at a large technical university in Russia, which offers English language courses to students majoring in nine different degree programs. Each degree program develops and delivers its own English language curriculum. While all degree programs followed the same curriculum development model to design language courses, each…
A Program That Acquires Language Using Positive and Negative Feedback.
ERIC Educational Resources Information Center
Brand, James
1987-01-01
Describes the language learning program "Acquire," which is a sample of grammar induction. It is a learning algorithm based on a pattern-matching scheme, using both a positive and negative network to reduce overgeneration. Language learning programs may be useful as tutorials for learning the syntax of a foreign language. (Author/LMO)
The English Language in the School Program.
ERIC Educational Resources Information Center
Hogan, Robert F., Ed.
The 22 papers in this publication, drawn from the 1963 and 1964 NCTE Spring Institutes on Language, Linguistics, and School Programs, concentrate on the relevance of recent scholarship for English language programs in elementary and secondary schools. Language theory is the focus of articles by Harold B. Allen, Sumner Ives, Albert H. Marckwardt,…
ERIC Educational Resources Information Center
Grubesky, Marcia R.
A career-oriented foreign language program is discussed that takes into account marketable skills of foreign language majors for a number of careers. The program is threefold. First, it recognizes the need for language skills to supplement technical, business, and professional skills to expand educational knowledge; capabilities in diplomacy and…
ERIC Educational Resources Information Center
Gençtürk, Abdullah Tarik; Korucu, Agah Tugrul
2017-01-01
It is observed that teacher candidates receiving education in the department of Computer and Instructional Technologies Education are not able to gain enough experience and knowledge in "Programming Languages" lesson. The goal of this study is to analyse the effects of web 2.0 technologies usage in programming languages lesson on the…
The Australian Language Levels (ALL) Project--A Response to Curriculum Needs in Australia.
ERIC Educational Resources Information Center
Scarino, Angela; McKay, Penny
Australia has a unique range of language communities and language education needs. A variety of languages is currently offered to different groups of learners through diverse programs. Language teaching may be provided through bilingual education, limited-exposure programs, or compulsory language instruction. Federal and state education agencies,…
A HyperCard Program for Business German.
ERIC Educational Resources Information Center
Paulsell, Patricia R.
Although the use of computer-assisted language instruction software has been mainly limited to grammatical/syntactical drills, the increasing number of language professionals with programming skills is leading to the development of more sophisticated language education programs. This report describes the generation of such a program using the…
Programming languages for synthetic biology.
Umesh, P; Naveen, F; Rao, Chanchala Uma Maheswara; Nair, Achuthsankar S
2010-12-01
In the backdrop of accelerated efforts for creating synthetic organisms, the nature and scope of an ideal programming language for scripting synthetic organism in-silico has been receiving increasing attention. A few programming languages for synthetic biology capable of defining, constructing, networking, editing and delivering genome scale models of cellular processes have been recently attempted. All these represent important points in a spectrum of possibilities. This paper introduces Kera, a state of the art programming language for synthetic biology which is arguably ahead of similar languages or tools such as GEC, Antimony and GenoCAD. Kera is a full-fledged object oriented programming language which is tempered by biopart rule library named Samhita which captures the knowledge regarding the interaction of genome components and catalytic molecules. Prominent feature of the language are demonstrated through a toy example and the road map for the future development of Kera is also presented.
Software For Least-Squares And Robust Estimation
NASA Technical Reports Server (NTRS)
Jeffreys, William H.; Fitzpatrick, Michael J.; Mcarthur, Barbara E.; Mccartney, James
1990-01-01
GAUSSFIT computer program includes full-featured programming language facilitating creation of mathematical models solving least-squares and robust-estimation problems. Programming language designed to make it easy to specify complex reduction models. Written in 100 percent C language.
ERIC Educational Resources Information Center
Travers, Claudia S.; Reilly, Joseph T. M.
A foreign travel program for eighth grade French language students from Shoreham, New York was developed to provide language speaking practice in Quebec, Canada. The program was designed to allow students to spend as much time as possible speaking the language and interacting with the people. The following "survival through speaking"…
ERIC Educational Resources Information Center
Lahaeye, Marie-Noelle
The University of Pennsylvania's Lauder Institute of Management and International Studies introduced a cultural segment into its second language program in 1986 to enable students to use language purposefully within the foreign culture. During the program's 2 years, students are exposed to eight different cultural segments taught by language…
ERIC Educational Resources Information Center
Strong, Gemma K.; Torgerson, Carole J.; Torgerson, David; Hulme, Charles
2011-01-01
Background: Fast ForWord is a suite of computer-based language intervention programs designed to improve children's reading and oral language skills. The programs are based on the hypothesis that oral language difficulties often arise from a rapid auditory temporal processing deficit that compromises the development of phonological…
New Dimensions in Language Training: The Dartmouth College Experiment.
ERIC Educational Resources Information Center
Rassias, John A.
The expanded foreign study and foreign language programs offered at Dartmouth are examined with emphasis on the influence of Peace Corps language programs during the last half-dozen years on American college campuses. The impact of the programs at Dartmouth since 1964 is discussed in terms of: (1) a brief history of language instruction at…
Uses of Technology in the Instruction of Adult English Language Learners. CAELA Network Brief
ERIC Educational Resources Information Center
Moore, Sarah Catherine K.
2009-01-01
In program year 2006-2007, 46 percent of the adults enrolled in federally funded, state-administered adult education programs in the United States were enrolled in English as a Second Language (ESL) programs. These adult English language learners represent a wide range of ages, nationalities, native languages, and English proficiency levels. In…
NASA Technical Reports Server (NTRS)
Newbold, P. M.
1974-01-01
A programming language for the flight software of the NASA space shuttle program was developed and identified as HAL/S. The language is intended to satisfy virtually all of the flight software requirements of the space shuttle. The language incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks.
ERIC Educational Resources Information Center
Altamura, Marilyn T.
This practicum project exposed seven preschool students with language deficiencies to multicultural experiences and strategies, resulting in improvements in both language and thinking skills. The children were included in a regular preschool program serving low-income families. The program was based on a multicultural awareness curriculum which…
The Dual Language Program Planner: A Guide for Designing and Implementing Dual Language Programs.
ERIC Educational Resources Information Center
Howard, Elizabeth R.; Olague, Natalie; Rogers, David
This guide offers a framework to facilitate the planning process for dual language programs, assuming at least a basic working knowledge of the central characteristics and essential features of dual language models. It provides an overview of the various models that serve linguistically diverse student populations, defining the term dual language…
25 CFR 39.131 - What is a Language Development Program?
Code of Federal Regulations, 2010 CFR
2010-04-01
... 25 Indians 1 2010-04-01 2010-04-01 false What is a Language Development Program? 39.131 Section 39.131 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR EDUCATION THE INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a...
34 CFR 658.11 - What projects and activities may a grantee conduct under this program?
Code of Federal Regulations, 2014 CFR
2014-07-01
... STUDIES AND FOREIGN LANGUAGE PROGRAM What Kinds of Projects Does the Secretary Assist Under This Program... program to improve undergraduate instruction in international studies and foreign languages. These include... studies and foreign languages; (b) Teaching, research, curriculum development, faculty training in the...
34 CFR 658.11 - What projects and activities may a grantee conduct under this program?
Code of Federal Regulations, 2013 CFR
2013-07-01
... STUDIES AND FOREIGN LANGUAGE PROGRAM What Kinds of Projects Does the Secretary Assist Under This Program... program to improve undergraduate instruction in international studies and foreign languages. These include... studies and foreign languages; (b) Teaching, research, curriculum development, faculty training in the...
34 CFR 658.11 - What projects and activities may a grantee conduct under this program?
Code of Federal Regulations, 2012 CFR
2012-07-01
... STUDIES AND FOREIGN LANGUAGE PROGRAM What Kinds of Projects Does the Secretary Assist Under This Program... program to improve undergraduate instruction in international studies and foreign languages. These include... studies and foreign languages; (b) Teaching, research, curriculum development, faculty training in the...
ERIC Educational Resources Information Center
Benseler, David P., Ed.
This collection papers begins with "Introduction: The Dynamics of Successful Leadership in Foreign Language Programs," then features the following: "The Undergraduate Program: Autonomy and Empowerment" (Wilga M. Rivers); "TA Supervision: Are We Preparing a Future Professoriate?" (Cathy Pons); "Applied Scholarship…
[Union-Endicott Schools: Foreign Language Program.
ERIC Educational Resources Information Center
O'Connell, Raymond S.
This brochure describing language programs to both parents and prospective high school language students in Endicott, New York focuses on developing student motivation and interest. Topics discussed include: (1) reasons for studying foreign language, (2) stages of foreign language learning, (3) course offerings, (4) homework, and (5) examinations.…
ERIC Educational Resources Information Center
Sussex, Roland
1991-01-01
Considers how the effectiveness of computer-assisted language learning (CALL) has been hampered by language teachers who lack programing and software engineering expertise, and explores the limitations and potential contributions of author languages, programs, and environments in increasing the range of options for language teachers who are not…
ERIC Educational Resources Information Center
Paskus, Laura
2013-01-01
In North America, and worldwide, Indigenous languages are disappearing at an alarming rate. There are, however, models of success for language revitalization in immersion language programs, usually found in tribal colleges and universities. Whether the language learners are tribal college students greeting one another in their native language,…
Real-Time Multiprocessor Programming Language (RTMPL) user's manual
NASA Technical Reports Server (NTRS)
Arpasi, D. J.
1985-01-01
A real-time multiprocessor programming language (RTMPL) has been developed to provide for high-order programming of real-time simulations on systems of distributed computers. RTMPL is a structured, engineering-oriented language. The RTMPL utility supports a variety of multiprocessor configurations and types by generating assembly language programs according to user-specified targeting information. Many programming functions are assumed by the utility (e.g., data transfer and scaling) to reduce the programming chore. This manual describes RTMPL from a user's viewpoint. Source generation, applications, utility operation, and utility output are detailed. An example simulation is generated to illustrate many RTMPL features.
Should bilingual children learn reading in two languages at the same time or in sequence?
Berens, Melody S.; Kovelman, Ioulia; Petitto, Laura-Ann
2013-01-01
Is it best to learn reading in two languages simultaneously or sequentially? We observed 2nd and 3rd grade children in two-way dual-language learning contexts: (i) 50:50 or Simultaneous dual-language (two languages within same developmental period) and (ii) 90:10 or Sequential dual-language (one language, followed gradually by the other). They were compared to matched monolingual English-only children in single-language English schools. Bilinguals (home language was Spanish only, English-only, or Spanish and English in dual-language schools), were tested in both languages, and monolingual children were tested in English using standardized reading and language tasks. Bilinguals in 50:50 programs performed better than bilinguals in 90:10 programs on English Irregular Words and Passage Comprehension tasks, suggesting language and reading facilitation for underlying grammatical class and linguistic structure analyses. By contrast, bilinguals in 90:10 programs performed better than bilinguals in the 50:50 programs on English Phonological Awareness and Reading Decoding tasks, suggesting language and reading facilitation for surface phonological regularity analysis. Notably, children from English-only homes in dual-language learning contexts performed equally well, or better than, children from monolingual English-only homes in single-language learning contexts. Overall, the findings provide tantalizing evidence that dual-language learning during the same developmental period may provide bilingual reading advantages. PMID:23794952
The Advantages and Disadvantages of Computer Technology in Second Language Acquisition
ERIC Educational Resources Information Center
Lai, Cheng-Chieh; Kritsonis, William Allan
2006-01-01
The purpose of this article is to discuss the advantages and disadvantages of computer technology and Computer Assisted Language Learning (CALL) programs for current second language learning. According to the National Clearinghouse for English Language Acquisition & Language Instruction Educational Programs' report (2002), more than nine million…
Online Collaborative Communities of Learning for Pre-Service Teachers of Languages
ERIC Educational Resources Information Center
Morgan, Anne-Marie
2015-01-01
University programs for preparing preservice teachers of languages for teaching in schools generally involve generic pedagogy, methodology, curriculum, programming and issues foci, that provide a bridge between the study of languages (or recognition of existing language proficiency) and the teaching of languages. There is much territory to cover…
A Whole Language Flight Plan: An Interview with Three Teachers.
ERIC Educational Resources Information Center
Griffith, Priscilla L.; Klesius, Janell
1990-01-01
Provides suggestions to teachers planning to implement a whole language program, based on interviews with three whole language teachers. Focuses on support for the whole language program; decisions about curriculum and evaluation; development of vocabulary and comprehension; strengths and weaknesses of the whole language approach; and preparation…
Programming parallel architectures: The BLAZE family of languages
NASA Technical Reports Server (NTRS)
Mehrotra, Piyush
1988-01-01
Programming multiprocessor architectures is a critical research issue. An overview is given of the various approaches to programming these architectures that are currently being explored. It is argued that two of these approaches, interactive programming environments and functional parallel languages, are particularly attractive since they remove much of the burden of exploiting parallel architectures from the user. Also described is recent work by the author in the design of parallel languages. Research on languages for both shared and nonshared memory multiprocessors is described, as well as the relations of this work to other current language research projects.
2013-02-25
Directive 5160.41E, Defense Language Program . 10GAO-11-456. Page 5 GAO-13-251R Defense Contracting types of foreign language support that DOD has acquired...Language Transformation Roadmap, (January 2005), and Department of Defense Directive 5160.41E, Defense Language Program . Page 15 GAO-13-251R Defense...examines the use of public funds; evaluates federal programs and policies; and provides analyses, recommendations, and other assistance to help
The PlusCal Algorithm Language
NASA Astrophysics Data System (ADS)
Lamport, Leslie
Algorithms are different from programs and should not be described with programming languages. The only simple alternative to programming languages has been pseudo-code. PlusCal is an algorithm language that can be used right now to replace pseudo-code, for both sequential and concurrent algorithms. It is based on the TLA + specification language, and a PlusCal algorithm is automatically translated to a TLA + specification that can be checked with the TLC model checker and reasoned about formally.
ERIC Educational Resources Information Center
Ali, Azad; Smith, David
2014-01-01
This paper presents a debate between two faculty members regarding the teaching of the legacy programming course (COBOL) in a Computer Science (CS) program. Among the two faculty members, one calls for the continuation of teaching this language and the other calls for replacing it with another modern language. Although CS programs are notorious…
NASA Astrophysics Data System (ADS)
Alloul, Adam; Christensen, Neil D.; Degrande, Céline; Duhr, Claude; Fuks, Benjamin
2014-06-01
The program FEYNRULES is a MATHEMATICA package developed to facilitate the implementation of new physics theories into high-energy physics tools. Starting from a minimal set of information such as the model gauge symmetries, its particle content, parameters and Lagrangian, FEYNRULES provides all necessary routines to extract automatically from the Lagrangian (that can also be computed semi-automatically for supersymmetric theories) the associated Feynman rules. These can be further exported to several Monte Carlo event generators through dedicated interfaces, as well as translated into a PYTHON library, under the so-called UFO model format, agnostic of the model complexity, especially in terms of Lorentz and/or color structures appearing in the vertices or of number of external legs. In this work, we briefly report on the most recent new features that have been added to FEYNRULES, including full support for spin-1 fermions, a new module allowing for the automated diagonalization of the particle spectrum and a new set of routines dedicated to decay width calculations.
2003-08-18
Language Study 5c. PROGRAM ELEMENT NUMBER 5d. PROJECT NUMBER 5d. TASK NUMBER 6. AUTHOR(S) Professor Mads Dam, Pablo Giambiagi 5e...Standard Form 298 (Rev. 8/98) Prescribed by ANSI Std. Z39-18 SPC 01-4025 Mobile Language Study Final...smart card applications. Smart cards can be programmed using general-purpose languages ; but because of their limited resources, smart card programs
ERIC Educational Resources Information Center
Wiechmann, JoAnn; Richardson, Martha; Jones, Don
2014-01-01
This program evaluation study addressed the struggle of local elementary school speech-language pathologists (SLPs) in a school district to provide evidence-based intervention in language for students below grade level as required by the U.S. Department of Education. Recently, Language Lab™ was published to address the needs of oral language…
Japan-U.S. Joint Ventures in Higher Education: Language Education in an Uncertain Future.
ERIC Educational Resources Information Center
Clayton, Thomas
1991-01-01
Examines Japanese-U.S. joint venture language or U.S.-style education programs in Japan. These programs offer language and cultural education classes for those interested in English and for students who have failed in the Japanese education system. Problems facing these programs and the need to explore new, English-language education markets are…
ERIC Educational Resources Information Center
Monteverde G., Luisa
1971-01-01
This paper presents ideas on using programed instruction in the language laboratory for second language learning. Linear programing is more suited to language instruction than is branching, because the former more easily allows comparison between the students' and teachers' solutions and is technically less complicated and less expensive to…
C Language Integrated Production System, Ada Version
NASA Technical Reports Server (NTRS)
Culbert, Chris; Riley, Gary; Savely, Robert T.; Melebeck, Clovis J.; White, Wesley A.; Mcgregor, Terry L.; Ferguson, Melisa; Razavipour, Reza
1992-01-01
CLIPS/Ada provides capabilities of CLIPS v4.3 but uses Ada as source language for CLIPS executable code. Implements forward-chaining rule-based language. Program contains inference engine and language syntax providing framework for construction of expert-system program. Also includes features for debugging application program. Based on Rete algorithm which provides efficient method for performing repeated matching of patterns. Written in Ada.
ERIC Educational Resources Information Center
Urbaczewski, Andrew; Urbaczewski, Lise
The objective of this study was to find the answers to two primary research questions: "Do students learn programming languages better when they are offered in a particular order, such as 4th generation languages before 3rd generation languages?"; and "Do students learn programming languages better when they are taken in separate semesters as…
ERIC Educational Resources Information Center
Li, Jennifer J.; Steele, Jennifer L.; Slater, Robert; Bacon, Michael; Miller, Trey
2016-01-01
Dual-language immersion programs--in which students learn core subjects (language arts, math, science, and social studies) in both English and a "partner" language--have been gaining in popularity across the United States. Such programs may use a "two-way model," in which roughly half the students are native speakers of the…
Language Interference and Language Learning Techniques Transfer in L2 and L3 Immersion Programs.
ERIC Educational Resources Information Center
Aronin, Larissa; Toubkin, Lynne
2002-01-01
Examines the relationships between the first (L1), second (L2), and third (L3) language in immersion programs for Russian-speaking students in Israel. Two parallel and similar immersion programs, which were carried out for the same population, but with different target languages (L2 Hebrew and L3 English), are described. Presents tentative…
ERIC Educational Resources Information Center
Palmer, Deborah
2010-01-01
Dual-language education is often lauded for providing high-caliber bilingual instruction in an integrated classroom. This is complicated, however, when a dual-language program does not include all members of a school community. This article examines a "strand" dual-language program that attracts middle-class white students to a predominantly black…
ERIC Educational Resources Information Center
Cohen, Andrew D.
2015-01-01
This paper first considers what it means to become truly proficient in a language other than the native one. It then looks briefly at the evolution of dual language programs. Next, it focuses on the issue of whether the first language (L1) or the second language (L2) serves as the language of mediation. Other dual language program issues are then…
The Value of Foreign Language in Business.
ERIC Educational Resources Information Center
Stebinger, Arnold
The University of South Carolina's Master's Program in International Business began in June 1974, with 43 students studying German and Spanish. The program began with a 9-week intensive language learning program, followed by a nine-month unified business program, with language instruction twice a week; six weeks of area study concentrating on the…
Using Microcomputer Word Processors for Foreign Languages.
ERIC Educational Resources Information Center
Smith, Kim L.
1984-01-01
Describes the programs and modifications needed to do word processing using foreign language characters. One such program, Screenwriter, uses soft character sets -- character sets which can be designed by the program user. This program has a word processing power combined with a foreign language capability that would allow any person to work with…
Language Programs at Villababel High: Rethinking Ideologies of Social Inclusion
ERIC Educational Resources Information Center
Mijares, Laura; Relano Pastor, Ana M.
2011-01-01
This article explores language ideologies underlying two language programs implemented in one secondary school in Madrid (Spain). The Spanish for newcomers immersion program ("Aula de Enlace") is aimed at immigrant origin students who do not know or have a poor command of Spanish; and the Spanish-English bilingual program targets…
Knowledge Intensive Programming: A New Educational Computing Environment.
ERIC Educational Resources Information Center
Seidman, Robert H.
1990-01-01
Comparison of the process of problem solving using a conventional procedural computer programing language (e.g., BASIC, Logo, Pascal), with the process when using a logic programing language (i.e., Prolog), focuses on the potential of the two types of programing languages to facilitate the transfer of problem-solving skills, cognitive development,…
ERIC Educational Resources Information Center
Seftor, Neil S.; Mamun, Arif; Schirm, Allen
2009-01-01
This last report from Mathematica's evaluation of Upward Bound analyzes data from the final round of survey and transcript data collection as well as administrative records from the National Student Clearinghouse and the federal Student Financial Aid files. It provides the first estimates of the effects of Upward Bound on postsecondary completion.…
On the Analysis and Construction of the Butterfly Curve Using "Mathematica"[R
ERIC Educational Resources Information Center
Geum, Y. H.; Kim, Y. I.
2008-01-01
The butterfly curve was introduced by Temple H. Fay in 1989 and defined by the polar curve r = e[superscript cos theta] minus 2 cos 4 theta plus sin[superscript 5] (theta divided by 12). In this article, we develop the mathematical model of the butterfly curve and analyse its geometric properties. In addition, we draw the butterfly curve and…
ERIC Educational Resources Information Center
Glazerman, Steven; Myers, David
2004-01-01
In October 2002, the Institute of Education Sciences (IES) contracted with Mathematica Policy Research, Inc. (MRP) to help identify issues pertinent to the evaluation of Title I and to propose feasible evaluation design strategies. This design effort took its lead from two sources: (1) the Title I Independent Review Panel (IRP); and (2) a more…
ERIC Educational Resources Information Center
Mathematica Policy Research, Inc., 2015
2015-01-01
This master data collection protocol describes the data that Mathematica collected for the Race to the Top-Early Learning Challenge Study of Tiered Quality Rating and Improvement Systems. This study was conducted for the Department of Education's Institute of Education Sciences. The data were collected from reviews of applications, documents, and…
Cognitive characteristics of learning Java, an object-oriented programming language
NASA Astrophysics Data System (ADS)
White, Garry Lynn
Industry and Academia are moving from procedural programming languages (e.g., COBOL) to object-oriented programming languages, such as Java for the Internet. Past studies in the cognitive aspects of programming have focused primarily on procedural programming languages. Some of the languages used have been Pascal, C, Basic, FORTAN, and COBOL. Object-oriented programming (OOP) represents a new paradigm for computing. Industry is finding that programmers are having difficulty shifting to this new programming paradigm. This instruction in OOP is currently starting in colleges and universities across the country. What are the cognitive aspects for this new OOP language Java? When is a student developmentally ready to handle the cognitive characteristics of the OOP language Java? Which cognitive teaching style is best for this OOP language Java? Questions such as the aforementioned are the focus of this research Such research is needed to improve understanding of the learning process and identify students' difficulties with OOP methods. This can enhance academic teaching and industry training (Scholtz, 1993; Sheetz, 1997; Rosson, 1990). Cognitive development as measured by the Propositional Logic Test, cognitive style as measured by the Hemispheric Mode Indicator, and physical hemispheric dominance as measured by a self-report survey were obtained from thirty-six university students studying Java programming. Findings reveal that physical hemispheric dominance is unrelated to cognitive and programming language variables. However, both procedural and object oriented programming require Piaget's formal operation cognitive level as indicated by the Propositional Logic Test. This is consistent with prior research A new finding is that object oriented programming also requires formal operation cognitive level. Another new finding is that object oriented programming appears to be unrelated to hemispheric cognitive style as indicated by the Hemispheric Mode Indicator (HMI). This research suggests that object oriented programming is hemispheric thinking style friendly, while procedural programming is left hemispheric cognitive style. The conclusion is that cognitive characteristics are not the cause for the difficulty in shifting from procedural to this new programming paradigm of object oriented programming. An alternative possibility to the difficulty is proactive interference. Prior learning of procedural programming makes it harder to learning object oriented programming. Further research is needed to determine if proactive interference is the cause for the difficulty in shifting from procedural programming to object oriented programming.
A Proposal for a CA-Integrated English Language Teacher Education Program in Turkey
ERIC Educational Resources Information Center
Sert, Olcay
2010-01-01
This study proposes a comprehensive framework for a Conversation Analysis (CA) informed English language teacher education program in Turkey. By reviewing recent studies in CA, Critical Reflective Practice, Teacher Language Awareness and language teacher education in general; the author calls for a more effective language teacher education program…
Language Training for Trainable Mentally Retarded Children: ITPA, Peabody, and Distar Techniques.
ERIC Educational Resources Information Center
Leiss, Robert H.; Proger, Barton B.
To determine the most effective language training activities for trainable mentally retarded (TMR) children, the variables of degree of previous language training, IQ, Peabody language treatment program versus Distar language treatment program, pretest versus posttest, and sex were examined with 122 TMR Ss (7 to 14 years old). Results of the…
Language and Man: An Exploratory Foreign-Language Program for Grade Six.
ERIC Educational Resources Information Center
Bartos, Marilyn; And Others
This curriculum guide presents a program introducing sixth-grade children to the study of language, of languages other than English, and specifically of French. An initial section includes a variety of activities designed to interest students in the study of language, its peculiarties, complexities, and importance in life. Prior to the first…
Teaching English as a Foreign Language in Primary School. Case Studies in TESOL Practice Series
ERIC Educational Resources Information Center
McCloskey, Mary Lou, Ed.; Orr, Janet, Ed.; Dolitsky, Marlene, Ed.
2006-01-01
Although language specialists do not always agree about the best age at which to introduce English language instruction, policy changes are increasingly mandating earlier introduction of English in foreign language (EFL) settings worldwide. In this volume, language educators and program implementers from various countries describe programs and…
A Case Study of Dual Language Program Administrators: The Teachers We Need
ERIC Educational Resources Information Center
Lachance, Joan R.
2017-01-01
In support of growing numbers of dual language programs nation-wide, dual language school administrators seek to find teachers who are specifically prepared to work with dual language learners for additive biliteracy. For this research the author utilized a case study design to explore practicing dual language administrators' perspectives…
Programming languages for circuit design.
Pedersen, Michael; Yordanov, Boyan
2015-01-01
This chapter provides an overview of a programming language for Genetic Engineering of Cells (GEC). A GEC program specifies a genetic circuit at a high level of abstraction through constraints on otherwise unspecified DNA parts. The GEC compiler then selects parts which satisfy the constraints from a given parts database. GEC further provides more conventional programming language constructs for abstraction, e.g., through modularity. The GEC language and compiler is available through a Web tool which also provides functionality, e.g., for simulation of designed circuits.
76 FR 18538 - Applications for New Awards; National Professional Development Program
Federal Register 2010, 2011, 2012, 2013, 2014
2011-04-04
... DEPARTMENT OF EDUCATION [CFDA 84.195N] Applications for New Awards; National Professional Development Program AGENCY: Office of English Language Acquisition, Language Enhancement, and Academic... Language Acquisition, Language Enhancement and Academic Achievement for Limited English Proficient Students...
A comparative study of programming languages for next-generation astrodynamics systems
NASA Astrophysics Data System (ADS)
Eichhorn, Helge; Cano, Juan Luis; McLean, Frazer; Anderl, Reiner
2018-03-01
Due to the computationally intensive nature of astrodynamics tasks, astrodynamicists have relied on compiled programming languages such as Fortran for the development of astrodynamics software. Interpreted languages such as Python, on the other hand, offer higher flexibility and development speed thereby increasing the productivity of the programmer. While interpreted languages are generally slower than compiled languages, recent developments such as just-in-time (JIT) compilers or transpilers have been able to close this speed gap significantly. Another important factor for the usefulness of a programming language is its wider ecosystem which consists of the available open-source packages and development tools such as integrated development environments or debuggers. This study compares three compiled languages and three interpreted languages, which were selected based on their popularity within the scientific programming community and technical merit. The three compiled candidate languages are Fortran, C++, and Java. Python, Matlab, and Julia were selected as the interpreted candidate languages. All six languages are assessed and compared to each other based on their features, performance, and ease-of-use through the implementation of idiomatic solutions to classical astrodynamics problems. We show that compiled languages still provide the best performance for astrodynamics applications, but JIT-compiled dynamic languages have reached a competitive level of speed and offer an attractive compromise between numerical performance and programmer productivity.
25 CFR 39.136 - What is the WSU for Language Development programs?
Code of Federal Regulations, 2010 CFR
2010-04-01
... 25 Indians 1 2010-04-01 2010-04-01 false What is the WSU for Language Development programs? 39.136 Section 39.136 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR EDUCATION THE INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.136 What is the WSU...
Standing Strong: Maloney Interdistrict Magnet School Japanese Language and Culture Program
ERIC Educational Resources Information Center
Haxhi, Jessica; Yamashita-Iverson, Kazumi
2009-01-01
Maloney Interdistrict Magnet School (MIMS) is the only elementary school in Waterbury that has a world language program and is one of only two elementary Japanese programs in Connecticut. In the past 15 years, more than 1500 students have participated in its Japanese Language and Culture (JLC) Program in grades Prekindergarten through 5th. The JLC…
ERIC Educational Resources Information Center
Samani, Ebrahim; Baki, Roselan; Razali, Abu Bakar
2014-01-01
Success in implementation of computer-assisted language learning (CALL) programs depends on the teachers' understanding of the roles of CALL programs in education. Consequently, it is also important to understand the barriers teachers face in the use of computer-assisted language learning (CALL) programs. The current study was conducted on 14…
Khomtchouk, Bohdan B; Weitz, Edmund; Karp, Peter D; Wahlestedt, Claes
2018-05-01
We present a rationale for expanding the presence of the Lisp family of programming languages in bioinformatics and computational biology research. Put simply, Lisp-family languages enable programmers to more quickly write programs that run faster than in other languages. Languages such as Common Lisp, Scheme and Clojure facilitate the creation of powerful and flexible software that is required for complex and rapidly evolving domains like biology. We will point out several important key features that distinguish languages of the Lisp family from other programming languages, and we will explain how these features can aid researchers in becoming more productive and creating better code. We will also show how these features make these languages ideal tools for artificial intelligence and machine learning applications. We will specifically stress the advantages of domain-specific languages (DSLs): languages that are specialized to a particular area, and thus not only facilitate easier research problem formulation, but also aid in the establishment of standards and best programming practices as applied to the specific research field at hand. DSLs are particularly easy to build in Common Lisp, the most comprehensive Lisp dialect, which is commonly referred to as the 'programmable programming language'. We are convinced that Lisp grants programmers unprecedented power to build increasingly sophisticated artificial intelligence systems that may ultimately transform machine learning and artificial intelligence research in bioinformatics and computational biology.
Adding Concrete Syntax to a Prolog-Based Program Synthesis System
NASA Technical Reports Server (NTRS)
Fischer, Bernd; Visser, Eelco
2004-01-01
Program generation and transformation systems work on two language levels, the object-level (i e., the language of the manipulated programs), and the meta-level (i.e., the implementation language of the system itself). The meta-level representations of object-level program fragments are usually built in an essentially syntax-free fashion using the operations provided by the meta-language. However, syntax matters and a large conceptual distance between the two languages makes it difficult to maintain and extend such systems. Here we describe how an existing Prolog-based system can gradually be retrofitted with concrete object-level syntax, thus shrinking this distance.
NASA Technical Reports Server (NTRS)
1991-01-01
The Engineering Scripting Language (ESL) is a language designed to allow nonprogramming users to write Higher Order Language (HOL) programs by drawing directed graphs to represent the program and having the system generate the corresponding program in HOL. The ESL system supports user generation of HOL programs through the manipulation of directed graphs. The components of this graphs (nodes, ports, and connectors) are objects each of which has its own properties and property values. The purpose of the ESL graphical editor is to allow the user to create or edit graph objects which represent programs.
An experimental comparative analyse between three low capacity PLCs
NASA Astrophysics Data System (ADS)
Popa, G. N.; Diniş, C. M.; lagăr, A.; Popa, I.
2017-01-01
PLCs are used increasingly more often in industrial applications and beyond. PLCs from different companies involved different programming languages. Some of the PLCs can be programmed in all languages, while others do not. For three types of PLCs was made an application for a traffic light with priority. PLCs usually have a general and a special set of instructions that only some of these are found from a PLC to another. Programs were made with specific instruction set of respectively PLC. The programs were carried out in three languages. For a case study, it makes a comparative analysis between three programming languages.
Runtime Verification of C Programs
NASA Technical Reports Server (NTRS)
Havelund, Klaus
2008-01-01
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from the program. The state machine language has been inspired by a graphical state machine language RCAT recently developed at the Jet Propulsion Laboratory, as an alternative to using Linear Temporal Logic (LTL) for requirements capture. Transitions between states are labeled with abstract event names and Boolean expressions over such. The abstract events are connected to code fragments using an aspect-oriented pointcut language similar to ASPECTJ's or ASPECTC's pointcut language. The system is implemented in the C analysis and transformation package CIL, and is programmed in OCAML, the implementation language of CIL. The work is closely related to the notion of stateful aspects within aspect-oriented programming, where pointcut languages are extended with temporal assertions over the execution trace.
Processing sequence annotation data using the Lua programming language.
Ueno, Yutaka; Arita, Masanori; Kumagai, Toshitaka; Asai, Kiyoshi
2003-01-01
The data processing language in a graphical software tool that manages sequence annotation data from genome databases should provide flexible functions for the tasks in molecular biology research. Among currently available languages we adopted the Lua programming language. It fulfills our requirements to perform computational tasks for sequence map layouts, i.e. the handling of data containers, symbolic reference to data, and a simple programming syntax. Upon importing a foreign file, the original data are first decomposed in the Lua language while maintaining the original data schema. The converted data are parsed by the Lua interpreter and the contents are stored in our data warehouse. Then, portions of annotations are selected and arranged into our catalog format to be depicted on the sequence map. Our sequence visualization program was successfully implemented, embedding the Lua language for processing of annotation data and layout script. The program is available at http://staff.aist.go.jp/yutaka.ueno/guppy/.
ERIC Educational Resources Information Center
Carrejo, David J.; Reinhartz, Judy
2012-01-01
Thirty-five elementary teachers participated in a yearlong professional development (PD) program whose goal was to foster science content learning while promoting language literacy for English Language Learners (ELL). The researchers utilized an explanatory design methodology to determine the degree to which science and language literacy…
ERIC Educational Resources Information Center
Murphy, Dianna, Ed.; Evans-Romaine, Karen, Ed.
2016-01-01
A number of reports in the US have highlighted the country's need for improved second language skills for both national security and economic competitiveness. The Language Flagship program, launched in 2002, aims to raise expectations regarding language proficiency levels at the post-secondary level and to address structural gaps in the curricula…
Language Arts for Today's Children. NCTE Curriculum Series, Volume Two.
ERIC Educational Resources Information Center
National Council of Teachers of English, Champaign, IL. Commission on the English Curriculum.
This volume on elementary language programs is divided into four related parts. Part 1 discusses the sources of any effective language program: an understanding of the child's need for language, a knowledge of child development, and an awareness of the continuity essential to growth in language. Part 2 treats the main areas of the language…
English-as-a-Second-Language Programs in Basic Skills Education Program 1
1984-01-01
languages and English as a second language . These theories and findings have led, in turn, to the development of new methods for teaching languages ...INTRODUCTION TO TEACHING TECHNIQUES FOR ENGLISH AS A SECOND LANGUAGE . . . . . . . . . . . . 9 Introduction ............................. 9 Traditional Methods ...instruments. q8 . _. ,’,..8 4% .’ II. A BRIEF INTRODUCTION TO TEACHING TECHNIQUES FOR ENGLISH
ERIC Educational Resources Information Center
US Department of Education, 2010
2010-01-01
The American Speech-Language-Hearing Association, Council on Academic Accreditation in Audiology and Speech-Language Pathology (CAA) is a national accrediting agency of graduate education programs in audiology or speech-language pathology. The CAA currently accredits or or preaccredits 319 programs (247 in speech-language pathology and 72 in…
A North and Far North Queensland Initiative: Rethinking the "Why" When Promoting Languages Education
ERIC Educational Resources Information Center
Boulard, Florence
2015-01-01
Despite the recent Australian Government commitment to supporting schools in growing students into global citizens, language educators cannot rely on this alone to attract new language students. The Young Language Ambassador Program is a new initiative that started in August 2014. The Young Language Ambassador Program is a partnership between…
A Flow-Channel Analysis for the Mars Hopper
DOE Office of Scientific and Technical Information (OSTI.GOV)
W. Spencer Cooley
The Mars Hopper is an exploratory vehicle designed to fly on Mars using carbon dioxide from the Martian atmosphere as a rocket propellant. The propellent gasses are thermally heated while traversing a radioisotope ther- mal rocket (RTR) engine’s core. This core is comprised of a radioisotope surrounded by a heat capacitive material interspersed with tubes for the propellant to travel through. These tubes, or flow channels, can be manu- factured in various cross-sectional shapes such as a special four-point star or the traditional circle. Analytical heat transfer and computational fluid dynamics (CFD) anal- yses were performed using flow channels withmore » either a circle or a star cross- sectional shape. The nominal total inlet pressure was specified at 2,805,000 Pa; and the outlet pressure was set to 2,785,000 Pa. The CO2 inlet tem- perature was 300 K; and the channel wall was 1200 K. The steady-state CFD simulations computed the smooth-walled star shape’s outlet temper- ature to be 959 K on the finest mesh. The smooth-walled circle’s outlet temperature was 902 K. A circle with a surface roughness specification at 0.01 mm gave 946 K and at 0.1 mm yielded 989 K. The The effects of a slightly varied inlet pressure were also examined. The analytical calculations were based on the mass flow rates computed in the CFD simulations and provided significantly higher outlet temperature results while displaying the same comparison trends. Research relating to the flow channel heat transfer studies was also done. Mathematical methods to geometrically match the cross-sectional areas of the circle and star, along with a square and equilateral triangle, were derived. A Wolfram Mathematica 8 module was programmed to analyze CFD results using Richardson Extrapolation and calculate the grid convergence index (GCI). A Mathematica notebook, also composed, computes and graphs the bulk mean temperature along a flow channel’s length while the user dynam- ically provides the input variables, allowing their effects on the temperature to be more easily observed.« less
A Computer Language at the Crossroads: Logo.
ERIC Educational Resources Information Center
Thornburg, David D.
1986-01-01
Reviews Logo programming language's developmental history, including Papert's vision, creation of LISP, and evolution of Logo from LISP; discusses reasons for Logo not becoming a commonplace programming language; describes Logo program design and its utility for serious programmers; and lists sources of further information on Logo. (MBR)
A Compiler and Run-time System for Network Programming Languages
2012-01-01
A Compiler and Run-time System for Network Programming Languages Christopher Monsanto Princeton University Nate Foster Cornell University Rob...Foster, R. Harrison, M. Freedman, C. Monsanto , J. Rexford, A. Story, and D. Walker. Frenetic: A network programming language. In ICFP, Sep 2011. [10] A
Ada--Programming Language of the Future.
ERIC Educational Resources Information Center
Rudd, David
1983-01-01
Ada is a programing language developed for the Department of Defense, with a registered trademark. It was named for Ada Augusta, coworker of Charles Babbage and the world's first programer. The Department of Defense hopes to prevent variations and to establish Ada as a consistent, standardized language. (MNS)
ERIC Educational Resources Information Center
Watkins, Stephen A.
1978-01-01
Olympic View Middle School has established a program designed to stimulate interest in foreign languages and cultures. The course is intended as an introduction to foreign language and culture study, and is required for all 7th and 8th grade students. Program 1 of the course is taught during one semester of 7th grade, Program 2 during one semester…
Annotated Bibliography of Materials for Elementary Foreign Language Programs.
ERIC Educational Resources Information Center
Dobb, Fred
An annotated bibliography contains about 70 citations of instructional materials and materials concerning curriculum development for elementary school foreign language programs. Citations are included for Arabic, classical languages, French, German, Hebrew, Italian, Japanese, and Spanish. Items on exploratory language courses and general works on…
Peterson's Summer Study Abroad: A Guide to Summer Academic and Language Programs. First Edition.
ERIC Educational Resources Information Center
Peterson's Guides, Inc., Princeton, NJ.
This guide provides descriptions of over 900 summer academic and language study-abroad programs in 80 countries that range from 1-week language study courses to full-summer university programs. An introductory section provides general information on study abroad programs and the use of the guide. The bulk of the guide consists of individual…
Scheduling language and algorithm development study. Volume 1: Study summary and overview
NASA Technical Reports Server (NTRS)
1974-01-01
A high level computer programming language and a program library were developed to be used in writing programs for scheduling complex systems such as the space transportation system. The objectives and requirements of the study are summarized and unique features of the specified language and program library are described and related to the why of the objectives and requirements.
Presurgical language fMRI: Clinical practices and patient outcomes in epilepsy surgical planning.
Benjamin, Christopher F A; Li, Alexa X; Blumenfeld, Hal; Constable, R Todd; Alkawadri, Rafeed; Bickel, Stephan; Helmstaedter, Christoph; Meletti, Stefano; Bronen, Richard; Warfield, Simon K; Peters, Jurriaan M; Reutens, David; Połczyńska, Monika; Spencer, Dennis D; Hirsch, Lawrence J
2018-03-12
The goal of this study was to document current clinical practice and report patient outcomes in presurgical language functional MRI (fMRI) for epilepsy surgery. Epilepsy surgical programs worldwide were surveyed as to the utility, implementation, and efficacy of language fMRI in the clinic; 82 programs responded. Respondents were predominantly US (61%) academic programs (85%), and evaluated adults (44%), adults and children (40%), or children only (16%). Nearly all (96%) reported using language fMRI. Surprisingly, fMRI is used to guide surgical margins (44% of programs) as well as lateralize language (100%). Sites using fMRI for localization most often use a distance margin around activation of 10mm. While considered useful, 56% of programs reported at least one instance of disagreement with other measures. Direct brain stimulation typically confirmed fMRI findings (74%) when guiding margins, but instances of unpredicted decline were reported by 17% of programs and 54% reported unexpected preservation of function. Programs reporting unexpected decline did not clearly differ from those which did not. Clinicians using fMRI to guide surgical margins do not typically map known language-critical areas beyond Broca's and Wernicke's. This initial data shows many clinical teams are confident using fMRI not only for language lateralization but also to guide surgical margins. Reported cases of unexpected language preservation when fMRI activation is resected, and cases of language decline when it is not, emphasize a critical need for further validation. Comprehensive studies comparing commonly-used fMRI paradigms to predict stimulation mapping and post-surgical language decline remain of high importance. © 2018 The Authors Human Brain Mapping Published by Wiley Periodicals, Inc.
PILOT: A Programming Language for Beginners.
ERIC Educational Resources Information Center
Schnorr, Janice M.
The presentation describes PILOT (Programmed Inquiry, Learning or Teaching), a special programing language easy for beginners to learn and available for several brands of microcomputers. PILOT is explained to contain substantially fewer commands than most other languages and to be written in an easy to understand manner. Edit commands and their…
An Analysis of Published Preschool Language Programs.
ERIC Educational Resources Information Center
Bartlett, Elsa Jaffe
For purposes of analysis, preschool language programs can be sorted into four general categories according to the dominant type of learning activity (1) Pattern practice, (2) Cognitive verbalization, (3) Discussion, (4) Role play. Along with definitions of language, the program types differ in the kinds of interactions which occur between teacher…
The Language & International Trade Program at Clemson University.
ERIC Educational Resources Information Center
Suarez, Jose I.
Clemson University (South Carolina) has developed an undergraduate Language and International Trade program designed to train students to meet the needs of American firms doing business overseas. Program aims are that graduates know one foreign language, be attuned to cultural differences, have a business training foundation, and have experience…
Federal Register 2010, 2011, 2012, 2013, 2014
2012-12-06
... School Program AGENCY: Office of English Language Acquisition, Department of Education. Overview... participation in language instruction educational programs. Projects funded under the Native American and Alaska... Act of 1965, as amended (ESEA), may support the teaching and studying of Native American languages...
Incidental Foreign-Language Acquisition by Children Watching Subtitled Television Programs
ERIC Educational Resources Information Center
Ina, Lekkai
2014-01-01
Series of international studies have shown that subtitled television programs provide a rich context for foreign language acquisition. This study investigated whether incidental language acquisition occurs from watching a television program with/without subtitles. Children in the experimental conditions watch: (a) a 15 minute snapshot of a well…
Using Problem Solving to Teach a Programming Language.
ERIC Educational Resources Information Center
Milbrandt, George
1995-01-01
Computer studies courses should incorporate as many computer concepts and programming language experiences as possible. A gradual increase in problem difficulty will help the student to understand various computer concepts, and the programming language's syntax and structure. A sidebar provides two examples of how to establish a learning…
A Program for Reading and Language Development. An Adopter's Guide.
ERIC Educational Resources Information Center
Carter, Nancy Hay
"Project SAILS" (Symbolic and Innovative Language Systems) is a special program developed by the Portland, Oregon, public schools for training teachers to work with children who have learning and reading difficulties. Teachers are instructed in the use of the Monterey Reading and Language Programs, highly structured and highly…
Professional Development Programs and English Language Instructors: A Critical-Postmodern Study
ERIC Educational Resources Information Center
Arikan, Arda
2004-01-01
In this completed qualitative dissertation research, the nature of the relationship between professional development programs (in-service training programs) and English language instructors was studied with a critical postmodern lense focusing on the narratives of nine English language instructors on their experiences in their professional…
Professional Development Programs and English Language Instructors: A Critical-Postmodern Study
ERIC Educational Resources Information Center
Arikan, Arda
2004-01-01
In this completed qualitative dissertation research, the nature of the relationship between professional development programs (in-service training programs) and English language instructors was studied with a critical postmodern lens focusing on the narratives of nine English language instructors on their experiences in their professional…
Closing the Gap Between Specification and Programming: VDM++ and SCALA
NASA Technical Reports Server (NTRS)
Havelund, Klaus
2011-01-01
We argue that a modern programming language such as Scala offers a level of succinctness, which makes it suitable for program and systems specification as well as for high-level programming. We illustrate this by comparing the language with the Vdm++ specification language. The comparison also identifies areas where Scala perhaps could be improved, inspired by Vdm++. We furthermore illustrate Scala's potential as a specification language by augmenting it with a combination of parameterized state machines and temporal logic, defined as a library, thereby forming an expressive but simple runtime verification framework.
An Analysis of Application Generators.
1983-03-01
query language OUEL in the programming language C, THESEUS [20], which embeds relational operators in the language Euclid. Schmidt [21] reports some...34The Design and Implementation of INGRES," ACM-TODS, Vol. 1. No. 3, 1976,. 33 £ 20. Shopiro,J.E., " THESEUS -A Programming Language for Relational
Colorado Model Content Standards: Foreign Language.
ERIC Educational Resources Information Center
Colorado State Dept. of Education, Denver.
The model course content standards for foreign language instruction in Colorado's public schools, K-12, provide guidelines, not curriculum, for school districts to design language programs. An introductory section presents some basic considerations in program design. The two general standards for foreign language performance are that: (1) students…
Bilingualism and Special Education: Program and Pedagogical Issues.
ERIC Educational Resources Information Center
Cummins, Jim
1983-01-01
Application of the research-based principle that first and second language cognitive and academic development are interdependent and that language acquisition is largely dependent on students receiving sufficient comprehensible input in the target language is discussed in reference to program planning for academically at risk language minority…
Towards programming languages for genetic engineering of living cells
Pedersen, Michael; Phillips, Andrew
2009-01-01
Synthetic biology aims at producing novel biological systems to carry out some desired and well-defined functions. An ultimate dream is to design these systems at a high level of abstraction using engineering-based tools and programming languages, press a button, and have the design translated to DNA sequences that can be synthesized and put to work in living cells. We introduce such a programming language, which allows logical interactions between potentially undetermined proteins and genes to be expressed in a modular manner. Programs can be translated by a compiler into sequences of standard biological parts, a process that relies on logic programming and prototype databases that contain known biological parts and protein interactions. Programs can also be translated to reactions, allowing simulations to be carried out. While current limitations on available data prevent full use of the language in practical applications, the language can be used to develop formal models of synthetic systems, which are otherwise often presented by informal notations. The language can also serve as a concrete proposal on which future language designs can be discussed, and can help to guide the emerging standard of biological parts which so far has focused on biological, rather than logical, properties of parts. PMID:19369220
Towards programming languages for genetic engineering of living cells.
Pedersen, Michael; Phillips, Andrew
2009-08-06
Synthetic biology aims at producing novel biological systems to carry out some desired and well-defined functions. An ultimate dream is to design these systems at a high level of abstraction using engineering-based tools and programming languages, press a button, and have the design translated to DNA sequences that can be synthesized and put to work in living cells. We introduce such a programming language, which allows logical interactions between potentially undetermined proteins and genes to be expressed in a modular manner. Programs can be translated by a compiler into sequences of standard biological parts, a process that relies on logic programming and prototype databases that contain known biological parts and protein interactions. Programs can also be translated to reactions, allowing simulations to be carried out. While current limitations on available data prevent full use of the language in practical applications, the language can be used to develop formal models of synthetic systems, which are otherwise often presented by informal notations. The language can also serve as a concrete proposal on which future language designs can be discussed, and can help to guide the emerging standard of biological parts which so far has focused on biological, rather than logical, properties of parts.
Khomtchouk, Bohdan B; Weitz, Edmund; Karp, Peter D; Wahlestedt, Claes
2018-01-01
Abstract We present a rationale for expanding the presence of the Lisp family of programming languages in bioinformatics and computational biology research. Put simply, Lisp-family languages enable programmers to more quickly write programs that run faster than in other languages. Languages such as Common Lisp, Scheme and Clojure facilitate the creation of powerful and flexible software that is required for complex and rapidly evolving domains like biology. We will point out several important key features that distinguish languages of the Lisp family from other programming languages, and we will explain how these features can aid researchers in becoming more productive and creating better code. We will also show how these features make these languages ideal tools for artificial intelligence and machine learning applications. We will specifically stress the advantages of domain-specific languages (DSLs): languages that are specialized to a particular area, and thus not only facilitate easier research problem formulation, but also aid in the establishment of standards and best programming practices as applied to the specific research field at hand. DSLs are particularly easy to build in Common Lisp, the most comprehensive Lisp dialect, which is commonly referred to as the ‘programmable programming language’. We are convinced that Lisp grants programmers unprecedented power to build increasingly sophisticated artificial intelligence systems that may ultimately transform machine learning and artificial intelligence research in bioinformatics and computational biology. PMID:28040748
McClellan, Sean R; Wu, Frances M; Snowden, Lonnie R
2012-06-01
Title VI of the 1964 Civil Rights Act prohibits federal funds recipients from providing care to limited English proficiency (LEP) persons more limited in scope or lower in quality than care provided to others. In 1999, the California Department of Mental Health implemented a "threshold language access policy" to meet its Title VI obligations. Under this policy, Medi-Cal agencies must provide language assistance programming in a non-English language where a county's Medical population contains either 3000 residents or 5% speakers of that language. We examine the impact of threshold language policy-required language assistance programming on LEP persons' access to mental health services by analyzing the county-level penetration rate of services for Russian, Spanish, and Vietnamese speakers across 34 California counties, over 10 years of quarterly data. Exploiting a time series with nonequivalent control group study design, we studied this phenomena using linear regression with random county effects to account for trends over time. Threshold language policy-required assistance programming led to an immediate and significant increase in the penetration rate of mental health services for Russian (8.2, P < 0.01) and Vietnamese (3.3, P < 0.01) language speaking persons. Threshold language assistance programming was effective in increasing mental health access for Russian and Vietnamese, but not for Spanish-speaking LEP persons.
Decidability of formal theories and hyperincursivity theory
NASA Astrophysics Data System (ADS)
Grappone, Arturo G.
2000-05-01
This paper shows the limits of the Proof Standard Theory (briefly, PST) and gives some ideas of how to build a proof anticipatory theory (briefly, PAT) that has no such limits. Also, this paper considers that Gödel's proof of the undecidability of Principia Mathematica formal theory is not valid for axiomatic theories that use a PAT to build their proofs because the (hyper)incursive functions are self-representable.
Effective Measurement of Reliability of Repairable USAF Systems
2012-09-01
Hansen presented a course, Concepts and Models for Repairable Systems Reliability, at the 2009 Centro de Investigacion en Mathematicas ( CIMAT ). The...recurrent event by calculating the mean quantity of recurrent events of the population of systems at risk at that point in time. The number of systems at... risk is the number of systems that are operating and providing information. [9] Information can be obscured by data censoring and truncation. One
Digges, Leonard (c 1520-c 1559) and Digges, Thomas (1545/6-95)
NASA Astrophysics Data System (ADS)
Murdin, P.
2000-11-01
Both were English astronomers, opticians and military engineers. Thomas was born in Wotton, Kent, England, and incorporated his father's work on optics and ballistics into his own publications. He was tutored by JOHN DEE. In 1573 Thomas Digges published Alae seu Scalae Mathematicae, a work on the position of the supernova of 1572, showing it had no parallax, i.e. was at a great distance, beyond t...
NASA Astrophysics Data System (ADS)
Gencoglu, Muharrem Tuncay; Baskonus, Haci Mehmet; Bulut, Hasan
2017-01-01
The main aim of this manuscript is to obtain numerical solutions for the nonlinear model of interpersonal relationships with time fractional derivative. The variational iteration method is theoretically implemented and numerically conducted only to yield the desired solutions. Numerical simulations of desired solutions are plotted by using Wolfram Mathematica 9. The authors would like to thank the reviewers for their comments that help improve the manuscript.
ERIC Educational Resources Information Center
Gan, Linda; Chong, Sylvia
1998-01-01
Examined the effectiveness of a year-long integrated language and music program (the Expressive Language and Music Project) to enhance Singaporean kindergartners' English oral-language competency. Found that the natural communicative setting and creative use of resources and activities based on the Orff and Kodaly approaches facilitated language…
Cost/Benefit Evaluation of Three English Language Training Programs for Potential Navy Use.
ERIC Educational Resources Information Center
Swope, William M.; And Others
As part of its plans to recruit Hispanic personnel who speak English as a second language, the U.S. Navy will have to provide English language training as well as technical training to prepare these personnel for fleet duty. A cost/benefit analysis was conducted of three English language training programs: the English Technical Language School…
An Elementary Language Culture Program.
ERIC Educational Resources Information Center
Stones, Valerie
A five-year course sequence focusing on the relationship of language and culture in world history is described. The program, beginning in grade 3, prepares students for later study of foreign and classical languages, develops English language skills, and cultivates general cultural interest. At the first level, students are introduced to some…
Leadership Practice in Elementary School Dual Language Programs: A Collective Case Study
ERIC Educational Resources Information Center
Monroy, Joanie K.
2012-01-01
Research in effective programming for English language learners has demonstrated the efficacy of dual language education as a model for closing persistent achievement gaps for this growing population of students. With goals of high academic achievement, linguistic proficiency in two languages, and cross-cultural proficiency, dual language…
Foreign Language Writing Fellows Programs: A Model for Improving Advanced Writing Skills
ERIC Educational Resources Information Center
Snyder, Delys Waite; Nielson, Rex P.; Kurzer, Kendon
2016-01-01
Within the growing field of scholarly literature on foreign language (FL) writing pedagogy, few studies have addressed pedagogical questions regarding the teaching of writing to advanced language learners. Writing fellows peer tutoring programs, although typically associated with first language writing instruction, likely can benefit and support…
Setting Evidence-Based Language Goals
ERIC Educational Resources Information Center
Goertler, Senta; Kraemer, Angelika; Schenker, Theresa
2016-01-01
The purpose of this project was to identify target language benchmarks for the German program at Michigan State University (MSU) based on national and international guidelines and previous research, to assess language skills across course levels and class sections in the entire German program, and to adjust the language benchmarks as needed based…
Language Arts Program Guide, K-12.
ERIC Educational Resources Information Center
Hawaii State Dept. of Education, Honolulu. Office of Instructional Services.
Intended for use by administrators, teachers, and district and state personnel, this guide provides a framework for Hawaii's kindergarten through grade 12 language arts program. Various sections of the guide contain (1) a statement of beliefs concerning the nature of language, language and learning, the student, and the school climate; (2) program…
Programming Languages, Natural Languages, and Mathematics
ERIC Educational Resources Information Center
Naur, Peter
1975-01-01
Analogies are drawn between the social aspects of programming and similar aspects of mathematics and natural languages. By analogy with the history of auxiliary languages it is suggested that Fortran and Cobol will remain dominant. (Available from the Association of Computing Machinery, 1133 Avenue of the Americas, New York, NY 10036.) (Author/TL)
Computer-Assisted Language Learning: Current Programs and Projects. ERIC Digest.
ERIC Educational Resources Information Center
Higgins, Chris
For many years, foreign language teachers have used the computer to provide supplemental exercises in the instruction of foreign languages. In recent years, advances in computer technology have motivated teachers to reassess the computer and consider it a valuable part of daily foreign language learning. Innovative software programs, authoring…
The English Language Learner Program Survey for Principals. REL 2014-027
ERIC Educational Resources Information Center
Grady, Matthew W.; O'Dwyer, Laura M.
2014-01-01
REL Northeast & Islands at Education Development Center, in partnership with the English Language Learners Alliance, has developed a new survey tool--The English Language Learner Program Survey for Principals--to help state education departments collect consistent data on the education of English language learner students. Designed for school…
A Programming Language Environment for the Unassisted Learner.
ERIC Educational Resources Information Center
Thomas, P. G.; Ince, D. C.
1982-01-01
Describes the computing environment and command language for a new programing language called OUSBASIC which is designed to enable naive users to interact usefully, with little assistance, with a computer system. (Author/CHC)
McClellan, Sean R; Snowden, Lonnie
2015-01-01
This study examined the association between language access programming and quality of psychiatric care received by persons with limited English proficiency (LEP). In 1999, the California Department of Mental Health required county Medicaid agencies to implement a "threshold language access policy" to meet the state's Title VI obligations. This policy required Medi-Cal agencies to provide language access programming, including access to interpreters and translated written material, to speakers of languages other than English if the language was spoken by at least 3,000, or 5%, of the county's Medicaid population. Using a longitudinal study design with a nonequivalent control group, this study examined the quality of care provided to Spanish speakers with LEP and a severe mental illness before and after implementation of mandatory language access programming. Quality was measured by receipt of at least two follow-up medication visits within 90 days or three visits within 180 days of an initial medication visit over a period of 38 quarter-years. On average, only 40% of Spanish-speaking clients received at least three medication follow-up visits within 180 days. In multivariate analyses, language access programming was not associated with receipt of at least two medication follow-up visits within 90 days or at least three visits within 180 days. This study found no evidence that language access programming led to increased rates of follow-up medication visits for clients with LEP.
Real-Time MENTAT programming language and architecture
NASA Technical Reports Server (NTRS)
Grimshaw, Andrew S.; Silberman, Ami; Liu, Jane W. S.
1989-01-01
Real-time MENTAT, a programming environment designed to simplify the task of programming real-time applications in distributed and parallel environments, is described. It is based on the same data-driven computation model and object-oriented programming paradigm as MENTAT. It provides an easy-to-use mechanism to exploit parallelism, language constructs for the expression and enforcement of timing constraints, and run-time support for scheduling and exciting real-time programs. The real-time MENTAT programming language is an extended C++. The extensions are added to facilitate automatic detection of data flow and generation of data flow graphs, to express the timing constraints of individual granules of computation, and to provide scheduling directives for the runtime system. A high-level view of the real-time MENTAT system architecture and programming language constructs is provided.
NASA Technical Reports Server (NTRS)
Klumpp, A. R.; Lawson, C. L.
1988-01-01
Routines provided for common scalar, vector, matrix, and quaternion operations. Computer program extends Ada programming language to include linear-algebra capabilities similar to HAS/S programming language. Designed for such avionics applications as software for Space Station.
Quantification and Formalization of Security
2010-02-01
Quantification of Information Flow . . . . . . . . . . . . . . . . . . 30 2.4 Language Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . 46...system behavior observed by users holding low clearances. This policy, or a variant of it, is enforced by many pro- gramming language -based mechanisms...illustrates with a particular programming language (while-programs plus probabilistic choice). The model is extended in §2.5 to programs in which
US Directory of Foreign Language Education Programs.
ERIC Educational Resources Information Center
Grosse, Christine Uber
The preparation of a directory of foreign language education programs was a response to the lack of an information source for location or curricular content of programs in foreign language pedagogy, and followed the lead of other associations in the United States and abroad in compiling such information. Despite having developed guidelines for…
Language and Culture Immersion: A Winning Enterprise.
ERIC Educational Resources Information Center
Cormier, Raymond
A second language program developed at Wilson College (Chambersburg, Pennsylvania) with a federal grant uses the Rassias Method of theatrical, dramatic language saturation. In the first application of the program at the college, peer tutors (who would be assistant teachers in the subsequent immersion program) were trained in a three-day workshop.…
ERIC Educational Resources Information Center
Feldman, David
1975-01-01
This paper discusses the prerequisites to programed language instruction, the role of the native language and the level of skill, and then explains materials and machines needed for such a program. Particular attention is given to phonetics. (Text is in Spanish.) (CK)
ERIC Educational Resources Information Center
Shaw, Ruey-Shiang
2013-01-01
This study examined the relationships among group size, participation, and learning performance factors when learning a programming language in a computer-supported collaborative learning (CSCL) context. An online forum was used as the CSCL environment for learning the Microsoft ASP.NET programming language. The collaborative-learning experiment…
ERIC Educational Resources Information Center
Cologon, Kathy; Wicks, Lilly; Salvador, Aliza
2017-01-01
This study investigates whether extension of a caregiver-led interactive language program may enhance its effectiveness in supporting communication. Caregiver-led language programs, which focus on establishing responsive interaction patterns to support opportunities for communication between caregivers and young children within natural settings,…
Guide to Conducting a Language Immersion/Homestay Program.
ERIC Educational Resources Information Center
Drysdale, Susan; Killelea, Frances
This handbook, designed to assist foreign language teachers in planning and executing a language immersion/homestay program for their students, is based on a successful program in Switzerland undertaken by Northport (New York) High School French teachers in 1980. The material is presented in three parts: (1) preparation of the exchange, including…
Impact of Augmented Reality on Programming Language Learning: Efficiency and Perception
ERIC Educational Resources Information Center
Teng, Chin-Hung; Chen, Jr-Yi; Chen, Zhi-Hong
2018-01-01
Although the learning of programming language is critical in science and technology education, it might be difficult for some students, especially novices. One possible reason might be the fact that programming language, especially for three-dimensional (3D) applications, is too complex and abstract for these students to understand. Programming…
Master Program in Foreign Language Education at New York University Steinhardt (US)
ERIC Educational Resources Information Center
Ikonnikova, Maryna
2016-01-01
The article deals with master program in foreign language education at New York University Steinhardt (US). Thus, its peculiarities have been revealed. It has been defined that the study program presupposes mastering of foreign language teaching approaches that meet various needs of learners. It has been indicated that students acquire the…
Evaluative Case Study on the Efficacy of the ELPS Program in Mathematics
ERIC Educational Resources Information Center
Perez, Malia Ann
2013-01-01
The English Language Proficiency Standards (ELPS) program was developed to address the need to effectively integrate second language acquisition with quality content area instruction. English language learners (ELLs) have struggled on standardized tests and there has been little empirical evidence regarding the impact of the ELPS program on…
34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?
Code of Federal Regulations, 2013 CFR
2013-07-01
... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...
34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?
Code of Federal Regulations, 2012 CFR
2012-07-01
... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...
34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?
Code of Federal Regulations, 2011 CFR
2011-07-01
... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...
34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?
Code of Federal Regulations, 2014 CFR
2014-07-01
... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...
34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?
Code of Federal Regulations, 2010 CFR
2010-07-01
... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...
Requirements for Programming Languages in Computer-Based Instructional Systems.
ERIC Educational Resources Information Center
Zinn, Karl
The author reviews the instructional programing languages which already exist and describes their methods of presentation, organization, and preparation. He recommends that all research and development projects remain flexible in their choice of programing language for a time yet. He suggests ways to adapt to specific uses and users, to exploit…
ERIC Educational Resources Information Center
Chapman, Jean
The first of five handbooks developed by Project HAPI (Handicapped Achievement Program Improvement), a multimedia staff development program to help teachers and specialists write effective individualized education programs (IEPs), is in looseleaf workbook format and focuses on children with severe disorders of language, including aphasia and other…
ERIC Educational Resources Information Center
Wilson, Leanne; McNeill, Brigid; Gillon, Gail T.
2016-01-01
Ensuring teacher and speech and language pathology graduates are prepared to work collaboratively together to meet the diverse language literacy learning needs of children is an important goal. This study investigated the efficacy of a 3-h inter-professional education program focused on explicit instruction in the language skills that underpin…
ERIC Educational Resources Information Center
Córdoba Zúñiga, Eulices
2016-01-01
This article reports the findings of a qualitative research study conducted with six first semester students of an English as a foreign language program in a public university in Colombia. The aim of the study was to implement task-based language teaching as a way to integrate language skills and help learners to improve their communicative…
A progress report on a NASA research program for embedded computer systems software
NASA Technical Reports Server (NTRS)
Foudriat, E. C.; Senn, E. H.; Will, R. W.; Straeter, T. A.
1979-01-01
The paper presents the results of the second stage of the Multipurpose User-oriented Software Technology (MUST) program. Four primary areas of activities are discussed: programming environment, HAL/S higher-order programming language support, the Integrated Verification and Testing System (IVTS), and distributed system language research. The software development environment is provided by the interactive software invocation system. The higher-order programming language (HOL) support chosen for consideration is HAL/S mainly because at the time it was one of the few HOLs with flight computer experience and it is the language used on the Shuttle program. The overall purpose of IVTS is to provide a 'user-friendly' software testing system which is highly modular, user controlled, and cooperative in nature.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Hohn, Michael; Adams, Paul
2006-09-05
The L3 system is a computational steering environment for image processing and scientific computing. It consists of an interactive graphical language and interface. Its purpose is to help advanced users in controlling their computational software and assist in the management of data accumulated during numerical experiments. L3 provides a combination of features not found in other environments; these are: - textual and graphical construction of programs - persistence of programs and associated data - direct mapping between the scripts, the parameters, and the produced data - implicit hierarchial data organization - full programmability, including conditionals and functions - incremental executionmore » of programs The software includes the l3 language and the graphical environment. The language is a single-assignment functional language; the implementation consists of lexer, parser, interpreter, storage handler, and editing support, The graphical environment is an event-driven nested list viewer/editor providing graphical elements corresponding to the language. These elements are both the represenation of a users program and active interfaces to the values computed by that program.« less
ERIC Educational Resources Information Center
Carroll, John B.; And Others
Concentrating on five ways in which foreign language teaching can be aided by linguistic science, the Committee on Language Programs, established by the American Council of Learned Societies, expresses its support of the National Defense Education Act of 1958, Title VI; and the Language Development Section of the Department of Health, Education,…
ERIC Educational Resources Information Center
Lam, Tri Ly
2011-01-01
The Problem: The purpose of this study was to investigate the impact of Vietnam's globalization on national language education policies and teacher training programs for teachers of English to speakers of other languages. Specifically, this research explored the extent to which the new policies for English language training programs adopted by the…
ERIC Educational Resources Information Center
Mitchell, Douglas E.; Destino, Tom; Karam, Rita
In response to concern about the effectiveness of programs for English-as-a-Second-Language students in California's schools, the Santa Ana Unified School District, in which over 80 percent of students are limited-English-proficient (LEP) conducted a study of both the operations and effectiveness of the district's language development program,…
"Doing Good" in Italian through Student Community Engagement: The Benefits of Language Placements
ERIC Educational Resources Information Center
Bouvet, Eric; Cosmini, Daniela; Palaktsoglou, Maria; Vanzo, Lynn
2017-01-01
This article discusses a community engagement pilot program for language students offered at Flinders University. For a number of years, the "Language in Action" program has provided placement opportunities for language students in a range of community settings such as aged-care agencies and cultural associations. From an educational…
25 CFR 39.133 - Who decides how Language Development funds can be used?
Code of Federal Regulations, 2010 CFR
2010-04-01
... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school... 25 Indians 1 2010-04-01 2010-04-01 false Who decides how Language Development funds can be used...
Responding to the Diversity of Chinese Language Learners in Australian Schools
ERIC Educational Resources Information Center
Scrimgeour, Andrew
2014-01-01
Until recently Chinese language learning in Australian primary and junior secondary schools has been characterised by programs primarily designed for second language learners who have had no prior knowledge of or exposure to Chinese language. Participation in such programs by Australian-born children who speak Putonghua (Mandarin) or another…
Commercial Language, Business Economics, and the Liberal Arts Curriculum.
ERIC Educational Resources Information Center
Sell, John W.; And Others
A program at the College of Wooster (Ohio) in commercial language and international business is described. The program was undertaken with private funds and within the context of a traditional liberal arts college. It has three main curricular goals: (1) additional training of language instructors for language courses that would include the…
ERIC Educational Resources Information Center
Feldman, David
1975-01-01
Presents a computerized program for foreign language learning giving drills for all the major language skills. The drills are followed by an extensive bibliography of documents in some way dealing with computer based instruction, particularly foreign language instruction. (Text is in Spanish.) (TL)
ERIC Educational Resources Information Center
Palandra, Maria
2008-01-01
As interest in the study of foreign languages grows, more and more school and district leaders will be charged with the responsibility of establishing a language program. Some of the questions that they will need to answer include: What language and what model should be selected? How could another program be inserted in a school day already…
African Language Instruction at the University of Wisconsin: A HEA Title VI-Funded Program.
ERIC Educational Resources Information Center
Kuntz, Patricia S.
This paper describes the evolution of African language instruction at the University of Wisconsin, examining how faculty and staff have utilized state and federal funding to promote the national capacity in African language proficiency. Six sections describe the program's evolution: "Language Instruction at Wisconsin"; "Origins of…
25 CFR 39.133 - Who decides how Language Development funds can be used?
Code of Federal Regulations, 2012 CFR
2012-04-01
... SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school boards decide... 25 Indians 1 2012-04-01 2011-04-01 true Who decides how Language Development funds can be used? 39...
25 CFR 39.133 - Who decides how Language Development funds can be used?
Code of Federal Regulations, 2014 CFR
2014-04-01
... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school... 25 Indians 1 2014-04-01 2014-04-01 false Who decides how Language Development funds can be used...
25 CFR 39.133 - Who decides how Language Development funds can be used?
Code of Federal Regulations, 2013 CFR
2013-04-01
... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school... 25 Indians 1 2013-04-01 2013-04-01 false Who decides how Language Development funds can be used...
25 CFR 39.133 - Who decides how Language Development funds can be used?
Code of Federal Regulations, 2011 CFR
2011-04-01
... 25 Indians 1 2011-04-01 2011-04-01 false Who decides how Language Development funds can be used... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school...
Research in Second Language Studies at Michigan State University
ERIC Educational Resources Information Center
White, Benjamin; , Fei, Fei; Russell, Marthe
2009-01-01
The Second Language Studies (SLS) Program was established in 2005 with the express purpose of providing "a firm foundation in the field of Second Language Acquisition and its application to current second language research and teaching" (http://sls.msu.edu). Under the leadership of Professor Susan Gass, the program has grown to include…
Language and Ethnicity: Multiple Literacies in Context, Language Education in Guatemala
ERIC Educational Resources Information Center
Helmberger, Janet L.
2006-01-01
This study focuses on the research literature available in the United States on the evolution of language policy and planning issues involved in bilingual education programs in Mayan communities in Guatemala. I begin with general comments regarding language policy and planning for bilingual programs for ethnic groups within the borders of…
Handbook for Classroom Testing in Peace Corps Language Programs. Manual T0068.
ERIC Educational Resources Information Center
Anderson, Neil J.
This manual provides instructors in Peace Corps language training programs with information about two kinds of classroom testing: formative, ongoing testing and summative testing that occurs at the end of an instructional period. The first of the manual's four chapters on the purposes of language testing, discusses language testing within a…
Computer Languages: A Practical Guide to the Chief Programming Languages.
ERIC Educational Resources Information Center
Sanderson, Peter C.
All the most commonly-used high-level computer languages are discussed in this book. An introductory discussion provides an overview of the basic components of a digital computer, the general planning of a computer programing problem, and the various types of computer languages. Each chapter is self-contained, emphasizes those features of a…
BASIC, Logo, and Pilot: A Comparison of Three Computer Languages.
ERIC Educational Resources Information Center
Maddux, Cleborne D.; Cummings, Rhoda E.
1985-01-01
Following a brief history of Logo, BASIC, and Pilot programing languages, common educational programing tasks (input from keyboard, evaluation of keyboard input, and computation) are presented in each language to illustrate how each can be used to perform the same tasks and to demonstrate each language's strengths and weaknesses. (MBR)
The Marketing of the Business Language Program.
ERIC Educational Resources Information Center
Morello, Joseph G.
The University of Rhode Island, through the cooperation of its College of Business Administration and Department of Languages, has undertaken efforts to market its business language program. The target group consists of the incoming freshman class, all of whom must have completed 2 years of high school language study and do some college work in a…
ERIC Educational Resources Information Center
Hosseinzadeh, Ehsan; Baradaran, Abdollah
2015-01-01
The present study was an attempt to investigate the relationship between English Language Teachers' autonomy and their Neuro-linguistic Programming (NLP). To this end, a group of 200 experienced English language teachers at various language schools in Tehran, inter alia, Asre Zaban Language Academy, were given two questionnaires namely Teaching…
Nofre, David; Priestley, Mark; Alberts, Gerard
2014-01-01
Language is one of the central metaphors around which the discipline of computer science has been built. The language metaphor entered modern computing as part of a cybernetic discourse, but during the second half of the 1950s acquired a more abstract meaning, closely related to the formal languages of logic and linguistics. The article argues that this transformation was related to the appearance of the commercial computer in the mid-1950s. Managers of computing installations and specialists on computer programming in academic computer centers, confronted with an increasing variety of machines, called for the creation of "common" or "universal languages" to enable the migration of computer code from machine to machine. Finally, the article shows how the idea of a universal language was a decisive step in the emergence of programming languages, in the recognition of computer programming as a proper field of knowledge, and eventually in the way we think of the computer.
Cadilhac, Dominique A; Kilkenny, Monique F; Srikanth, Velandai; Lindley, Richard I; Lalor, Erin; Osborne, Richard H; Batterbsy, Malcolm
2016-01-01
Research studies may have limited generalizability when survivors of stroke with physical, language, or cognitive impairments are excluded. To assess whether presence of cognitive, language, or global impairments affects participation in self-management programs. Stroke survivors were recruited in South Australia from seven hospitals or via advertisements into a randomized controlled trial (1:1:1 ratio) of a Stroke Self-Management Program, the Stanford chronic condition self-management program, or standard care. Impairment status was measured using: Cognistat (cognition), Frenchay Aphasia assessment (language), modified Rankin Score (mRS; where score 3-5 = global disability). participation (i.e. booked, accessed, and completed a program (defined as attending ≥ 50% of sessions)) and safety (i.e. adverse events). Outcomes were compared by impairment status. Among 315 people screened 143/149 eligible were randomized (median age 71 years; 41% male; with impairments: 62% cognitive, 34% language, 64% global disability). Participation did not differ by cognitive or language impairment status (cognitive 75%, no cognitive 68%, p = 0.54; language 78%, no language 69%, p = 0.42). However, participation did vary by global impairment status (global disability 61%, no disability 96%, p < 0.001). Participants with cognitive impairment experienced more adverse events (severe n = 9 versus no cognitive impairment n = 1). Survivors of stroke with cognitive, language, or global impairments are able to participate in self-management programs and should be included in these types of research studies or programs. Reduced participation by those with global disability and the possibility of more adverse events in people with cognitive impairments needs to be considered. © 2016 World Stroke Organization.
Algorithm Building and Learning Programming Languages Using a New Educational Paradigm
NASA Astrophysics Data System (ADS)
Jain, Anshul K.; Singhal, Manik; Gupta, Manu Sheel
2011-08-01
This research paper presents a new concept of using a single tool to associate syntax of various programming languages, algorithms and basic coding techniques. A simple framework has been programmed in Python that helps students learn skills to develop algorithms, and implement them in various programming languages. The tool provides an innovative and a unified graphical user interface for development of multimedia objects, educational games and applications. It also aids collaborative learning amongst students and teachers through an integrated mechanism based on Remote Procedure Calls. The paper also elucidates an innovative method for code generation to enable students to learn the basics of programming languages using drag-n-drop methods for image objects.
NASA Technical Reports Server (NTRS)
Seidewitz, Edwin V.; Agresti, William; Ferry, Daniel; Lavallee, David; Maresca, Paul; Nelson, Robert; Quimby, Kelvin; Rosenberg, Jacob; Roy, Daniel; Shell, Allyn
1987-01-01
Ada is a programming language of considerable expressive power. The Ada Language Reference Manual provides a thorough definition of the language. However, it does not offer sufficient guidance on the appropriate use of Ada's powerful features. For this reason, the Goddard Space Flight Center Ada User's Group has produced this style guide which addresses such program style issues. The guide covers three areas of Ada program style: the structural decomposition of a program; the coding and the use of specific Ada features; and the textural formatting of a program.
Towards an agent-oriented programming language based on Scala
NASA Astrophysics Data System (ADS)
Mitrović, Dejan; Ivanović, Mirjana; Budimac, Zoran
2012-09-01
Scala and its multi-threaded model based on actors represent an excellent framework for developing purely reactive agents. This paper presents an early research on extending Scala with declarative programming constructs, which would result in a new agent-oriented programming language suitable for developing more advanced, BDI agent architectures. The main advantage the new language over many other existing solutions for programming BDI agents is a natural and straightforward integration of imperative and declarative programming constructs, fitted under a single development framework.
NASA Astrophysics Data System (ADS)
Smith, Bryan J.
Current research suggests that many students do not know how to program very well at the conclusion of their introductory programming course. We believe that a reason novices have such difficulties learning programming is because engineering novices often learn through a lecture format where someone with programming knowledge lectures to novices, the novices attempt to absorb the content, and then reproduce it during exams. By primarily appealing to programming novices who prefer to understand visually, we research whether programming novices understand programming better if computer science concepts are presented using a visual programming language than if these programs are presented using a text-based programming language. This method builds upon previous research that suggests that most engineering students are visual learners, and we propose that using a flow-based visual programming language will address some of the most important and difficult topics to novices of programming. We use an existing flow-model tool, RAPTOR, to test this method, and share the program understanding results using this theory.
Knowledge-Based Extensible Natural Language Interface Technology Program
1989-11-30
natural language as its own meta-language to explain the meaning and attributes of the words and idioms of the larguage. Educational courses in language...understood and used by Lydia for human-computer dialogue. The KL enables a systems developer or " teacher -user" to build the system to a point where new...language can be "formal" as in a structured educational language program or it can be "informal" as in the case of a person consulting a dictionary for the
A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs
2005-05-24
source code are routinely executed. The source code is written in languages ranging from C/C++/Java to ML/ Ocaml . These languages differ not only in...from the difficulty to model computer programs—due to the complexity of programming languages as compared to hardware description languages —to...intermediate specification language lying between high-level Statechart- like formalisms and transition systems. Actions are encoded as changes in
Code of Federal Regulations, 2012 CFR
2012-04-01
... a specific appropriation from Congress? Yes, a school may operate a language development program... 25 Indians 1 2012-04-01 2011-04-01 true May schools operate a language development program without a specific appropriation from Congress? 39.137 Section 39.137 Indians BUREAU OF INDIAN AFFAIRS...
Code of Federal Regulations, 2013 CFR
2013-04-01
... a specific appropriation from Congress? Yes, a school may operate a language development program... 25 Indians 1 2013-04-01 2013-04-01 false May schools operate a language development program without a specific appropriation from Congress? 39.137 Section 39.137 Indians BUREAU OF INDIAN AFFAIRS...
Code of Federal Regulations, 2011 CFR
2011-04-01
... a specific appropriation from Congress? Yes, a school may operate a language development program... 25 Indians 1 2011-04-01 2011-04-01 false May schools operate a language development program without a specific appropriation from Congress? 39.137 Section 39.137 Indians BUREAU OF INDIAN AFFAIRS...
Code of Federal Regulations, 2014 CFR
2014-04-01
... a specific appropriation from Congress? Yes, a school may operate a language development program... 25 Indians 1 2014-04-01 2014-04-01 false May schools operate a language development program without a specific appropriation from Congress? 39.137 Section 39.137 Indians BUREAU OF INDIAN AFFAIRS...
Native Language Reading Approach Program, 1982-1983. O.E.E. Final Evaluation Report.
ERIC Educational Resources Information Center
Keyes, Jose Luis; And Others
The Native Language Reading Approach Program in New York City was designed as an exemplary approach to on-site training of classroom teachers and their assistants in how to help students transfer reading skills from their native language to English. Program components included support services, teacher training, material/curriculum development,…
Examining the Need for Chinese Language Programs in Mid-Atlantic Community Colleges
ERIC Educational Resources Information Center
Uhey, Ruth Ann Johnson
2012-01-01
Public education reform designed for K-12 and higher education exists to transform teaching and learning within the United States in order to graduate today's student. One specific initiative on the federal, state, and local levels is the implementation of Chinese language programs. Some of the Chinese language programs in the K-12 education…
ERIC Educational Resources Information Center
Timpe, Eugene F.
A model for undergraduate programs designed to integrate foreign language instruction with training for an international public service occupation is outlined. The language component and professional training, taught separately at first, are brought together at the end of the program in an internship in an international public service…
ERIC Educational Resources Information Center
Cunningham, Ann C.; Redmond, Mary Lynn
2002-01-01
Presents the foreign language education program at Wake Forest University as an example of how a content-focused curriculum can be enhanced by a supportive technology program. An emphasis on content, research, and practice supported by integrated, state-of-the-art technology prepares graduates of the foreign language education program to lead…
Middle School Exploratory Foreign Language Programs: A Position Paper.
ERIC Educational Resources Information Center
National Council of State Supervisors of Foreign Language.
Four types of exploratory foreign language programs are described: (1) the language overview course, (2) the trial-study course, (3) the Level I offering, and (4) the course for the non-college bound. It is largely in the middle schools (grades 6-8) and junior high schools (grades 7-9) that exploratory programs are being used. The language…
ERIC Educational Resources Information Center
Kibler, Amanda; Salerno, April; Hardigree, Christine
2014-01-01
Much of the debate regarding outcomes of various types of dual-language programs has focused on linguistic and academic results, and with good reason: improving the educational outcomes of language minorities and supporting societal multilingualism are vital goals. More rarely explored, however, are these programs' ethnolinguistic outcomes: the…
The Languages of the Valencian Educational System: The Results of Two Decades of Language Policy.
ERIC Educational Resources Information Center
Arroyo, Jose Luis Blas
2002-01-01
The compulsory education system in the autonomous Spanish region known as the Comunidad Valenciano has offered a varied program of bilingual education. Spanish and Valenciano, an autochthonous variety of Catalan, alternate according to various curricular programs as the main teaching languages. Examines the objectives of each of these programs, as…
Programming Language Software For Graphics Applications
NASA Technical Reports Server (NTRS)
Beckman, Brian C.
1993-01-01
New approach reduces repetitive development of features common to different applications. High-level programming language and interactive environment with access to graphical hardware and software created by adding graphical commands and other constructs to standardized, general-purpose programming language, "Scheme". Designed for use in developing other software incorporating interactive computer-graphics capabilities into application programs. Provides alternative to programming entire applications in C or FORTRAN, specifically ameliorating design and implementation of complex control and data structures typifying applications with interactive graphics. Enables experimental programming and rapid development of prototype software, and yields high-level programs serving as executable versions of software-design documentation.
The Merits of the Continued Instruction of ADA as a First Language at the Naval Postgraduate School
1994-09-01
H., Ada as a Second Language, McGraw Hill Book Company, 1986. Deitel , H.M. and Deitel P.J., C+ + How to Program , Prentice Hatl, 1994. Fastrack...complex language whose success is dependent on its users knowing how to utilize all of its features to yield good programs . (Fastrack) The addition of...Ada in particular as the first programming language at the Naval Postgraduate School The catch-22 of industry’s dedication to C++ and the Department
Third-rank chromatic aberrations of electron lenses.
Liu, Zhixiong
2018-02-01
In this paper the third-rank chromatic aberration coefficients of round electron lenses are analytically derived and numerically calculated by Mathematica. Furthermore, the numerical results are cross-checked by the differential algebraic (DA) method, which verifies that all the formulas for the third-rank chromatic aberration coefficients are completely correct. It is hoped that this work would be helpful for further chromatic aberration correction in electron microscopy. Copyright © 2017 Elsevier B.V. All rights reserved.
Cuba: Multidimensional numerical integration library
NASA Astrophysics Data System (ADS)
Hahn, Thomas
2016-08-01
The Cuba library offers four independent routines for multidimensional numerical integration: Vegas, Suave, Divonne, and Cuhre. The four algorithms work by very different methods, and can integrate vector integrands and have very similar Fortran, C/C++, and Mathematica interfaces. Their invocation is very similar, making it easy to cross-check by substituting one method by another. For further safeguarding, the output is supplemented by a chi-square probability which quantifies the reliability of the error estimate.
A PARAMETRIC STUDY OF BCS RF SURFACE IMPEDANCE WITH MAGNETIC FIELD USING THE XIAO CODE
DOE Office of Scientific and Technical Information (OSTI.GOV)
Reece, Charles E.; Xiao, Binping
2013-09-01
A recent new analysis of field-dependent BCS rf surface impedance based on moving Cooper pairs has been presented.[1] Using this analysis coded in Mathematica TM, survey calculations have been completed which examine the sensitivities of this surface impedance to variation of the BCS material parameters and temperature. The results present a refined description of the "best theoretical" performance available to potential applications with corresponding materials.
Structured Design Language for Computer Programs
NASA Technical Reports Server (NTRS)
Pace, Walter H., Jr.
1986-01-01
Box language used at all stages of program development. Developed to provide improved productivity in designing, coding, and maintaining computer programs. BOX system written in FORTRAN 77 for batch execution.
The Integration of English Language Development and Science Instruction in Elementary Classrooms
NASA Astrophysics Data System (ADS)
Zwiep, Susan Gomez; Straits, William J.; Stone, Kristin R.; Beltran, Dolores D.; Furtado, Leena
2011-12-01
This paper explores one district's attempt to implement a blended science and English Language Development (ELD) elementary program, designed to provide English language learners opportunities to develop proficiency in English through participation in inquiry-based science. This process resulted in blended program that utilized a combined science/ELD lesson plan format to structure and guide teachers' efforts to use science as the context for language development. Data, collected throughout the first 2 years of the program, include teacher-generated lesson plans, observation notes, and interviews with teachers and principals. The process by which the blended program was developed, the initial implementation of the program, the resulting science/ELD lesson plan format, and teachers' perceptions about the program and its impact on their students are described.
Linguistics, Computers, and the Language Teacher. A Communicative Approach.
ERIC Educational Resources Information Center
Underwood, John H.
This analysis of the state of the art of computer programs and programming for language teaching has two parts. In the first part, an overview of the theory and practice of language teaching, Noam Chomsky's view of language, and the implications and problems of generative theory are presented. The theory behind the input model of language…
WAC: Closing Doors or Opening Doors for Second Language Writers?
ERIC Educational Resources Information Center
Cox, Michelle
2011-01-01
Written by a WAC program director and second language writing studies scholar, this article raises questions about how second language writers are faring in WAC programs and the extent to which the fields of second language writing and WAC are informed by each other's scholarship. In this article, Cox draws from her review of 26 journal articles…
A Concept For a Primary Author's Language (PAL-X)
ERIC Educational Resources Information Center
Ripota, Peter
A Primary Author's Language (PAL-X) has been developed to serve as a documentation language for computer-assisted instructional (CAI) programs. Its development was necessary to permit the dissemination of CAI given the facts that: 1)existing CAI programs were written in over 60 languages; 2)the system for COURSEWRITER II, the most commonly used…
ERIC Educational Resources Information Center
Schmid, Euline Cutrim; Hegelheimer, Volker
2014-01-01
This paper presents research findings of a longitudinal empirical case study that investigated an innovative Computer Assisted Language Learning (CALL) professional development program for pre-service English as Foreign Language (EFL) teachers. The conceptualization of the program was based on the assumption that pre-service language teachers…
Omaha Language Preservation in the Macy, Nebraska Public School.
ERIC Educational Resources Information Center
Rudin, Catherine
A native language renewal program at the Macy, Nebraska Public School is described that is designed to preserve Omaha, a native American Indian language that is only a generation away from extinction. At the time of this research, only about 100 fluent Omaha speakers lived on the Omaha Reservation in Nebraska. The language and culture program,…
DiSalvo, Betsy
2014-01-01
To determine appropriate computer science curricula, educators sought to better understand the different affordances of teaching with a visual programming language (Alice) or a text-based language (Jython). Although students often preferred one language, that language wasn't necessarily the one from which they learned the most.
ERIC Educational Resources Information Center
Gebauer, Sandra Kristina; Zaunbauer, Anna C. M.; Moller, Jens
2013-01-01
Cross-language effects on reading skills are of particular interest in the context of foreign language immersion programs. Although there is an extensive literature on cross-language effects on reading in general, research focusing on immersion students and including different dimensions of reading acquisition such as reading fluency and reading…
ERIC Educational Resources Information Center
Schaetzel, Kirsten; Young, Sarah
2010-01-01
Adult English language learners comprise a substantial proportion of the adult education population in the United States. In program year 2006-2007, 46% of participants enrolled in state-administered adult education programs were in English as a second language (ESL) classes. This percentage does not include English language learners enrolled in…
Collins, Brian A.
2014-01-01
Latino dual language children typically enter school with a wide range of proficiencies in Spanish and English, many with low proficiency in both languages, yet do make gains in one or both languages during their first school years. Dual language development is associated with how language is used at home and school, as well as the type of instructional program children receive at school. The present study investigates how changes in both Spanish and English proficiencies of Latino, second-generation immigrant children (n =163) from kindergarten to second grade relate to instructional program type as well as language use at home and school. A series of MANCOVAs demonstrated significant dual language gains in children who were in bilingual classrooms and schools where Spanish was used among the teachers, students, and staff. Furthermore, only in classrooms where both Spanish and English were used did children reach age-appropriate levels of academic proficiency in both languages. Home language use was also significantly associated with dual language gains as was maternal Spanish vocabulary knowledge before controlling for maternal education. Educational implications and potential benefits associated with bilingualism are discussed. PMID:25264401
Evaluation of verifiability in HAL/S. [programming language for aerospace computers
NASA Technical Reports Server (NTRS)
Young, W. D.; Tripathi, A. R.; Good, D. I.; Browne, J. C.
1979-01-01
The ability of HAL/S to write verifiable programs, a characteristic which is highly desirable in aerospace applications, is lacking since many of the features of HAL/S do not lend themselves to existing verification techniques. The methods of language evaluation are described along with the means in which language features are evaluated for verifiability. These methods are applied in this study to various features of HAL/S to identify specific areas in which the language fails with respect to verifiability. Some conclusions are drawn for the design of programming languages for aerospace applications and ongoing work to identify a verifiable subset of HAL/S is described.
The Army FAO Training Program: Time to Break More Glass
2013-03-01
these five countries, English is the co-national language in the Philippines, a strong second language in Malaysia , and the second language and growing...advanced language studies and develop in-depth knowledge of the region through a program of travel, research, and self -study.” While IRT succeeds in...in providing advanced language training. Furthermore, most IRT FAOs conduct little research, and “ self -study”, when conducted, normally equates to
Dual Language Immersion Program Equity and Access: Is There Equity for All Students?
ERIC Educational Resources Information Center
Fernandez, Patricia Espinoza
2016-01-01
This is a mixed methods study of K-12 school administrators with dual language immersion school leadership expertise. The paramount research focus was to identify equity and access issues in dual language immersion programs serving grades K-12, as identified by school administrators who have led such programs. A total pool of 498 were invited to…
What about a Simple Language? Analyzing the Difficulties in Learning to Program
ERIC Educational Resources Information Center
Mannila, Linda; Peltomaki, Mia; Salakoski, Tapio
2006-01-01
In this paper, we present the results from a two-part study. We analyze 60 programs written by novice programmers aged 16-19 after their first programming course, in either Java or Python. The aim is to find difficulties independent of the language used, and such originating from the language. Second, we analyze the transition from a…
ERIC Educational Resources Information Center
Dworin, Joel
2011-01-01
This study investigated the language and literacy practices of five graduates of a Spanish-English K-12 dual language immersion program through semistructured interviews to understand the residual impact of thirteen years in a Spanish-English bilingual school program. Drawing from sociocultural theory, the interviews also sought to provide an…
Bruhn, Peter; Geyer-Schulz, Andreas
2002-01-01
In this paper, we introduce genetic programming over context-free languages with linear constraints for combinatorial optimization, apply this method to several variants of the multidimensional knapsack problem, and discuss its performance relative to Michalewicz's genetic algorithm with penalty functions. With respect to Michalewicz's approach, we demonstrate that genetic programming over context-free languages with linear constraints improves convergence. A final result is that genetic programming over context-free languages with linear constraints is ideally suited to modeling complementarities between items in a knapsack problem: The more complementarities in the problem, the stronger the performance in comparison to its competitors.
Restrepo, M Adelaida; Castilla, Anny P; Schwanenflugel, Paula J; Neuharth-Pritchett, Stacey; Hamilton, Claire E; Arboleda, Alejandra
2010-01-01
The purpose of this study was to examine the effects of a supplemental Spanish language instruction program for children who spoke Spanish as their native language and were attending English-only preschool programs. Specifically, the study evaluated the program's effects on the children's Spanish sentence length in words, subordination index, and grammaticality of sentences. Forty-five Spanish-speaking children attending English-only prekindergarten classrooms were selected for study. Of those, 15 children received 30 min of Spanish instruction 5 days a week for 16 weeks. The program targeted 5-10 vocabulary words a week, dialogic book reading, phonemic awareness, and letter knowledge. The remaining 30 children participated in regular preschool English instruction. Students were evaluated before intervention, immediately after intervention, and 4 months following intervention. Repeated measures analyses of variance indicated that the children who received the small-group supplemental Spanish language instruction made significant gains in their Spanish sentence length in words and subordination index when compared to those receiving regular English-only classroom instruction. There were no differences in the children's grammaticality of sentences. The findings demonstrate that a daily short native language program has significant effects on sentence length in words and subordination index in English language learners who are attending English-only preschool programs.
A Different Kind of Language: Prolog, Programming in Logic.
ERIC Educational Resources Information Center
Cabrol, D.
1986-01-01
Prolog is one of the most successful "very high level languages." Describes this programming language (a product of artificial intelligence research) and attempts to show how it functions by using some short examples to illustrate its essential features. (JN)
High level language-based robotic control system
NASA Technical Reports Server (NTRS)
Rodriguez, Guillermo (Inventor); Kruetz, Kenneth K. (Inventor); Jain, Abhinandan (Inventor)
1994-01-01
This invention is a robot control system based on a high level language implementing a spatial operator algebra. There are two high level languages included within the system. At the highest level, applications programs can be written in a robot-oriented applications language including broad operators such as MOVE and GRASP. The robot-oriented applications language statements are translated into statements in the spatial operator algebra language. Programming can also take place using the spatial operator algebra language. The statements in the spatial operator algebra language from either source are then translated into machine language statements for execution by a digital control computer. The system also includes the capability of executing the control code sequences in a simulation mode before actual execution to assure proper action at execution time. The robot's environment is checked as part of the process and dynamic reconfiguration is also possible. The languages and system allow the programming and control of multiple arms and the use of inward/outward spatial recursions in which every computational step can be related to a transformation from one point in the mechanical robot to another point to name two major advantages.
High level language-based robotic control system
NASA Technical Reports Server (NTRS)
Rodriguez, Guillermo (Inventor); Kreutz, Kenneth K. (Inventor); Jain, Abhinandan (Inventor)
1996-01-01
This invention is a robot control system based on a high level language implementing a spatial operator algebra. There are two high level languages included within the system. At the highest level, applications programs can be written in a robot-oriented applications language including broad operators such as MOVE and GRASP. The robot-oriented applications language statements are translated into statements in the spatial operator algebra language. Programming can also take place using the spatial operator algebra language. The statements in the spatial operator algebra language from either source are then translated into machine language statements for execution by a digital control computer. The system also includes the capability of executing the control code sequences in a simulation mode before actual execution to assure proper action at execution time. The robot's environment is checked as part of the process and dynamic reconfiguration is also possible. The languages and system allow the programming and control of multiple arms and the use of inward/outward spatial recursions in which every computational step can be related to a transformation from one point in the mechanical robot to another point to name two major advantages.
2011-05-19
recruited through the MAVNI program possess language skills and cultural expertise that can help the commander make sense of what is going on around him...made; (1) further development of the MAVNI program in order to better leverage the language skills and cultural expertise of the Soldiers recruited...describe and direct. Soldiers recruited through the MAVNI program possess language skills and cultural expertise that can help the commander make
Language Magazine: The Journal of Communication & Education, 2003.
ERIC Educational Resources Information Center
Ward, Daniel, Ed.
2003-01-01
Articles are included on such issues as the following: heritage languages; the psychology of language; the Voice of America broadcasts; dual language programs; linguistic autobiography in the language classroom; pronunciation; electronic education; dialects; world languages; bilingual education; language travel; language structure; conceptual…
ERIC Educational Resources Information Center
Bourque, Jane M.
Preparation for study abroad is a valid part of the foreign language program. One advantage of study abroad is the motivational focus it gives to home-based foreign languages programs. The possibility of participating in the foreign culture and actually using the language are incentives. Teaching intercultural communication and understanding is a…
ERIC Educational Resources Information Center
James, Ken
1981-01-01
Discusses psycholinguistic and sociolinguistic questions relevant to the development of language programs for foreigners, such as student motivation, language aptitude, learning styles, cultural differences, language styles, and communicative competence. Focuses particularly on the cultural problems faced by a foreigner, as a student, client, and…
ERIC Educational Resources Information Center
Forman, Stephanie
2016-01-01
Dual language immersion program models represent a potentially effective way to serve growing numbers of English language learners (ELLs) in schools and districts. However, local challenges, such as interpersonal conflict, can impact the process of implementing dual language policies and programs, limiting the extent to which they are able to meet…
ERIC Educational Resources Information Center
Jackson, Carla Wood; Schatschneider, Christopher
2013-01-01
This longitudinal study explored the rate of language growth of children in an early intervention program providing auditory-verbal therapy. A retrospective investigation, the study applied a linear growth model to estimate a mean growth curve and the extent of individual variation in language performance on the Preschool Language Scale, 4th ed.…
Bilingual Language Arts Survival Training: Project BLAST, 1987-88. OREA Evaluation Report.
ERIC Educational Resources Information Center
Berney, Tomi D.; Alvarez, Rosalyn
Project Bilingual Language Arts Survival Training (BLAST) served 254 Spanish-speaking 9th- through 12th-graders at Walton High School in the Bronx in its fifth year of funding. The program's aim was to supplement the school's bilingual program by providing instruction in English as a Second Language (ESL), native language arts (NLA) and culture,…
ERIC Educational Resources Information Center
de Oliveira, Luciana C.
2016-01-01
The number of English language learners (ELLs) in the United States has increased dramatically. Given this increase it is vital for teacher education programs at the pre-service level and professional learning programs at eh in-service level to address the needs of ELLs. This article presents a teacher preparation model--"a language-based…
ERIC Educational Resources Information Center
Scarinci, Nerina; Rose, Tanya; Pee, Jerrine; Webb, Kylie
2015-01-01
Early childhood educators (ECEs) play an important role in fostering language development in young children. In-service education, led by speech-language pathologists (SLPs), has a potential role in educating ECEs about language development. In this pilot study, 42 ECEs attended an in-service education program and completed pre- and…
Introduction to the Atari Computer. A Program Written in the Pilot Programming Language.
ERIC Educational Resources Information Center
Schlenker, Richard M.
Designed to be an introduction to the Atari microcomputers for beginners, the interactive computer program listed in this document is written in the Pilot programing language. Instructions are given for entering and storing the program in the computer memory for use by students. (MES)
34 CFR 656.1 - What is the National Resource Centers Program?
Code of Federal Regulations, 2011 CFR
2011-07-01
... 34 Education 3 2011-07-01 2011-07-01 false What is the National Resource Centers Program? 656.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION NATIONAL RESOURCE CENTERS PROGRAM FOR FOREIGN LANGUAGE AND AREA... Centers Program? Under the National Resource Centers Program for Foreign Language and Areas Studies or...
34 CFR 656.1 - What is the National Resource Centers Program?
Code of Federal Regulations, 2012 CFR
2012-07-01
... 34 Education 3 2012-07-01 2012-07-01 false What is the National Resource Centers Program? 656.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION NATIONAL RESOURCE CENTERS PROGRAM FOR FOREIGN LANGUAGE AND AREA... Centers Program? Under the National Resource Centers Program for Foreign Language and Areas Studies or...
34 CFR 656.1 - What is the National Resource Centers Program?
Code of Federal Regulations, 2010 CFR
2010-07-01
... 34 Education 3 2010-07-01 2010-07-01 false What is the National Resource Centers Program? 656.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION NATIONAL RESOURCE CENTERS PROGRAM FOR FOREIGN LANGUAGE AND AREA... Centers Program? Under the National Resource Centers Program for Foreign Language and Areas Studies or...
34 CFR 656.1 - What is the National Resource Centers Program?
Code of Federal Regulations, 2014 CFR
2014-07-01
... 34 Education 3 2014-07-01 2014-07-01 false What is the National Resource Centers Program? 656.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION NATIONAL RESOURCE CENTERS PROGRAM FOR FOREIGN LANGUAGE AND AREA... Centers Program? Under the National Resource Centers Program for Foreign Language and Areas Studies or...
34 CFR 656.1 - What is the National Resource Centers Program?
Code of Federal Regulations, 2013 CFR
2013-07-01
... 34 Education 3 2013-07-01 2013-07-01 false What is the National Resource Centers Program? 656.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION NATIONAL RESOURCE CENTERS PROGRAM FOR FOREIGN LANGUAGE AND AREA... Centers Program? Under the National Resource Centers Program for Foreign Language and Areas Studies or...
Atlanta Public Schools French Guide.
ERIC Educational Resources Information Center
Atlanta Public Schools, GA.
This teacher's guide specifies language skills and related areas of knowledge needed for communicating in the target language. Discussion of the philosophy governing the Atlanta language program includes an examination of student eligibility, program articulation, teaching methods, testing, teaching materials, resources, and equipment for use in…
HAL/S programmer's guide. [space shuttle flight software language
NASA Technical Reports Server (NTRS)
Newbold, P. M.; Hotz, R. L.
1974-01-01
HAL/S is a programming language developed to satisfy the flight software requirements for the space shuttle program. The user's guide explains pertinent language operating procedures and described the various HAL/S facilities for manipulating integer, scalar, vector, and matrix data types.
ERIC Educational Resources Information Center
Reyhner, Jon
This paper describes the benefits of indigenous mother tongue immersion programs, examining the Total Physical Response approach to immersion for beginning learners and focusing on the development of Maori and Hawaiian mother tongue language immersion programs. The paper discusses the importance of immersing students in a language-risk…
ERIC Educational Resources Information Center
Richmond, Edmun B.
The findings of a study of language and language education policy in each of the three independent nations of Comoros, Mauritius, and the Seychelles are reported in this book. Each country is discussed separately, focusing on the linguistic and educational history, the existing educational system, and current language policies and programs.…
A survey of electric and hybrid vehicle simulation programs
NASA Technical Reports Server (NTRS)
Bevan, J.; Heimburger, D. A.; Metcalfe, M. A.
1978-01-01
Results of a survey conducted within the United States to determine the extent of development and capabilities of automotive performance simulation programs suitable for electric and hybrid vehicle studies are summarized. Altogether, 111 programs were identified as being in a usable state. The complexity of the existing programs spans a range from a page of simple desktop calculator instructions to 300,000 lines of a high-level programming language. The capability to simulate electric vehicles was most common, heat-engines second, and hybrid vehicles least common. Batch-operated programs are slightly more common than interactive ones, and one-third can be operated in either mode. The most commonly used language was FORTRAN, the language typically used by engineers. The higher-level simulation languages (e.g. SIMSCRIPT, GPSS, SIMULA) used by "model builders" were conspicuously lacking.
NASA Technical Reports Server (NTRS)
Knight, J. C.; Hamm, R. W.
1984-01-01
PASCAL/48 is a programming language for the Intel MCS-48 series of microcomputers. In particular, it can be used with the Intel 8748. It is designed to allow the programmer to control most of the instructions being generated and the allocation of storage. The language can be used instead of ASSEMBLY language in most applications while allowing the user the necessary degree of control over hardware resources. Although it is called PASCAL/48, the language differs in many ways from PASCAL. The program structure and statements of the two languages are similar, but the expression mechanism and data types are different. The PASCAL/48 cross-compiler is written in PASCAL and runs on the CDC CYBER NOS system. It generates object code in Intel hexadecimal format that can be used to program the MCS-48 series of microcomputers. This reference manual defines the language, describes the predeclared procedures, lists error messages, illustrates use, and includes language syntax diagrams.
Language Nests and Language Acquisition: An Empirical Analysis
ERIC Educational Resources Information Center
Okura, Eve K.
2017-01-01
This dissertation presents the findings from interviews conducted with language nest workers, teachers, language nest coordinators, administrators of language revitalization programs, principals and directors of language immersion schools that work in close proximity with language nests, and linguists involved in language revitalization efforts.…
ERIC Educational Resources Information Center
Dunn, Lloyd M.; And Others
This Cooperative Language Development Project had two objectives: (1) to provide a modified language program for culturally disadvantaged first graders and (2) to evaluate the effectiveness of the program in terms of academic, intellectual, and linguistic growth. In a 2-year intervention program experimental versions of the Peabody Language…
ERIC Educational Resources Information Center
Darancik, Yasemin
2016-01-01
It has been observed that data-based translation programs are often used both in and outside the class unconsciously and thus there occurs many problems in foreign language learning and teaching. To draw attention to this problem, with this study, whether the program has satisfactory results or not has been revealed by making translations from…
ERIC Educational Resources Information Center
Rojas Tejada, Antonio J.; Cruz Del Pino, Raquel M.; Tatar, Moshe; Jimenez Sayans, Pablo
2012-01-01
The present study focuses on the Temporary Classroom of Linguistic Adaptation program (TCLA program) in which specialist teachers (Spanish as a foreign language teachers--SFL teachers) teach Spanish to immigrants who are not proficient in the language. We suggest that support for immigrant students in Spanish schools should adopt a new inclusive…
ERIC Educational Resources Information Center
Fulkerson, Gregory
2009-01-01
This article describes three big programs from Delaware where the less commonly taught languages find their home in Delaware elementary schools. Odyssey Charter School, located in Wilmington, is one of the very few Greek-language-focused public schools in the nation. The school began in 2006 as a Greek immersion program that concentrated on the…
ERIC Educational Resources Information Center
Brown, Paula M.; Quenin, Cathy
2010-01-01
The specialty preparation program within the speech-language pathology master's degree program at Nazareth College in Rochester, New York, was designed to train speech-language pathologists to work with children who are deaf and hard of hearing, ages 0 to 21. The program is offered in collaboration with the Rochester Institute of Technology,…
ERIC Educational Resources Information Center
Shimpi, Priya M.; Paik, Jae H.; Wanerman, Todd; Johnson, Rebecca; Li, Hui; Duh, Shinchieh
2015-01-01
The current English-language research and educational program was driven by an initiative to create a more interactive, theme-based bilingual language education model for preschools in Chengdu, China. During a 2-week teacher education program centered at the Experimental Kindergarten of the Chinese Academy of Sciences in Chengdu, China, a team of…
Marine Language Exchange Program: A 21st Century International and Interdisciplinary Partnership
NASA Astrophysics Data System (ADS)
Robigou, V.; Nichols-Pecceu, M.
2001-12-01
The ability of scientists to communicate across cultural and linguistic barriers is crucial for the global economic sustainability and protection of the world\\'{}s oceans. Yet students with majors in the sciences and engineering constitute less than 2% of those who study abroad each year. And even rarer are students who study in countries where English is not the first language. The Marine Language Exchange program is a case study of an international and interdisciplinary collaboration between faculties in the languages and the sciences who address this gap. A consortium of U.S. and European institutions including Eckerd College (Florida), University of Washington (Washington), University of Hilo (Hawaii), Université de la Rochelle (France), Université de Liège (Belgium), and Universidad de Las Palmas (Spain) is developing a multilingual, marine sciences exchange program in an effort to internationalize their Marine Sciences departments. The program includes a three-week, intensive "bridge" course designed to reinforce second language skills in the context of marine sciences, and prepare undergraduate students for the cultural and educational differences of their host country. Following this immersion experience students from each institution enroll in courses abroad including marine sciences specialization for full academic credit. This session will review the Marine Language Exchange program activities since 2000 and will discuss the ideological and practical aspects of the program. The program successes, difficulties and future directions will also be presented. Different disciplinary approaches -Second Language Acquisition, English as a Second Language and Marine Science- prepare science students to contribute to the study and the management of the world\\'{}s oceans with an awareness of the cultural issues reflected by national marine policies. Based on this case study, other universities could initiate their own international and interdisciplinary collaboration to facilitate a better understanding of other planetary issues.