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...
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.
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...
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
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…
Compiler writing system detail design specification. Volume 1: Language specification
NASA Technical Reports Server (NTRS)
Arthur, W. J.
1974-01-01
Construction within the Meta language for both language and target machine specification is reported. The elements of the function language as a meaning and syntax are presented, and the structure of the target language is described which represents the target dependent object text representation of applications programs.
Detecting Potential Synchronization Constraint Deadlocks from Formal System Specifications
1992-03-01
family of languages, consisting of the Larch Shared Language and a series of Larch interface languages, specific to particular programming languages...specify sequential (non- concurrent) programs , and explicitly does not include the ability to specify atomic actions (Guttag, 1985). Larch is therefore...synchronized communication between two such agents is ronsidered as a single action. The transitions in CCS trees are labelled to show how they are
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.
Automated benchmark generation based upon a specification language
NASA Technical Reports Server (NTRS)
Rajan, N.; Feteih, S. E.; Saito, J.
1984-01-01
The problem of validating and verifying digital flight control system (DFCS) software is addressed in this paper. A new specification language DIVERS is proposed, and is the keystone of the approach. This language consists of keywords where each keyword represents an element in the block diagram of a DFCS. DIVERS has a dictionary which contains all the keywords a DFCS designer might need. Translator programs convert the system specifications into an executable, high-level language program. The features of translators are discussed and are elucidated by examples. This language is used to describe a typical flight software module.
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.
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
A Functional-Notional Approach for English for Specific Purposes (ESP) Programs.
ERIC Educational Resources Information Center
Kim, Young-Min
English for Specific Purposes (ESP) programs, characterized by the special needs of the language learners, are described and a review of the literature on a functional-notional approach to the syllabus design of ESP programs is presented. It is suggested that effective ESP programs should teach the language skills necessary to function and perform…
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.
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.
Software development without languages
NASA Technical Reports Server (NTRS)
Osborne, Haywood S.
1988-01-01
Automatic programming generally involves the construction of a formal specification; i.e., one which allows unambiguous interpretation by tools for the subsequent production of the corresponding software. Previous practical efforts in this direction have focused on the serious problems of: (1) designing the optimum specification language; and (2) mapping (translating or compiling) from this specification language to the program itself. The approach proposed bypasses the above problems. It postulates that the specification proper should be an intermediate form, with the sole function of containing information sufficient to facilitate construction of programs and also of matching documentation. Thus, the means of forming the intermediary becomes a human factors task rather than a linguistic one; human users will read documents generated from the specification, rather than the specification itself.
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…
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…
HAL/S language specification. Version IR-542
NASA Technical Reports Server (NTRS)
1980-01-01
The formal HAL/S language specification is documented with particular referral to the essentials of HAL/S syntax and semantics. The language is intended to satisfy virtually all of the flight software requirements of NASA programs. To achieve this, HAL/S incorporates a wide range of features, including applications oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks.
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.
NASA Technical Reports Server (NTRS)
Kavelund, Klaus; Barringer, Howard
2012-01-01
TraceContract is an API (Application Programming Interface) for trace analysis. A trace is a sequence of events, and can, for example, be generated by a running program, instrumented appropriately to generate events. An event can be any data object. An example of a trace is a log file containing events that a programmer has found important to record during a program execution. Trace - Contract takes as input such a trace together with a specification formulated using the API and reports on any violations of the specification, potentially calling code (reactions) to be executed when violations are detected. The software is developed as an internal DSL (Domain Specific Language) in the Scala programming language. Scala is a relatively new programming language that is specifically convenient for defining such internal DSLs due to a number of language characteristics. This includes Scala s elegant combination of object-oriented and functional programming, a succinct notation, and an advanced type system. The DSL offers a combination of data-parameterized state machines and temporal logic, which is novel. As an extension of Scala, it is a very expressive and convenient log file analysis framework.
2012-12-01
identity operation SIMD Single instruction, multiple datastream parallel computing Scala A byte-compiled programming language featuring dynamic type...Specific Languages 5a. CONTRACT NUMBER FA8750-10-1-0191 5b. GRANT NUMBER N/A 5c. PROGRAM ELEMENT NUMBER 61101E 6. AUTHOR(S) Armando Fox 5d...application performance, but usually must rely on efficiency programmers who are experts in explicit parallel programming to achieve it. Since such efficiency
ERIC Educational Resources Information Center
Haley, Katarina L.; And Others
1994-01-01
Fifteen preschool children with specific language impairment engaged in typical language intervention activities during conversation-based and imitation-based language programs. A higher number of positive social valence ratings; higher frequency of smiling, laughing, and engagement; and higher rate of verbal initiations were noted within…
Social and Behavioral Correlates of Preschoolers with Specific Language Impairment
ERIC Educational Resources Information Center
McCabe, Paul C.
2005-01-01
The relationship between specific subtypes of speech language impairment (SLI) and concomitant social competence and behavioral adjustment was investigated. Teachers and parents completed behavior ratings of SLI preschoolers enrolled in a language-based intervention program and preschoolers without language impairment, including the Parent-Child…
Language-Specific Attention Treatment for Aphasia: Description and Preliminary Findings.
Peach, Richard K; Nathan, Meghana R; Beck, Katherine M
2017-02-01
The need for a specific, language-based treatment approach to aphasic impairments associated with attentional deficits is well documented. We describe language-specific attention treatment, a specific skill-based approach for aphasia that exploits increasingly complex linguistic tasks that focus attention. The program consists of eight tasks, some with multiple phases, to assess and treat lexical and sentence processing. Validation results demonstrate that these tasks load on six attentional domains: (1) executive attention; (2) attentional switching; (3) visual selective attention/processing speed; (4) sustained attention; (5) auditory-verbal working memory; and (6) auditory processing speed. The program demonstrates excellent inter- and intrarater reliability and adequate test-retest reliability. Two of four people with aphasia exposed to this program demonstrated good language recovery whereas three of the four participants showed improvements in auditory-verbal working memory. The results provide support for this treatment program in patients with aphasia having no greater than a moderate degree of attentional impairment. Thieme Medical Publishers 333 Seventh Avenue, New York, NY 10001, USA.
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…
Some attributes of a language for property-based testing.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Neagoe, Vicentiu; Bishop, Matt
Property-based testing is a testing technique that evaluates executions of a program. The method checks that specifications, called properties, hold throughout the execution of the program. TASpec is a language used to specify these properties. This paper compares some attributes of the language with the specification patterns used for model-checking languages, and then presents some descriptions of properties that can be used to detect common security flaws in programs. This report describes the results of a one year research project at the University of California, Davis, which was funded by a University Collaboration LDRD entitled ''Property-based Testing for Cyber Securitymore » Assurance''.« less
One Approach to Teaching the Specific Language Disabled Adult Language Arts.
ERIC Educational Resources Information Center
Peterson, Binnie L.
1981-01-01
One approach never before used in adult language arts instruction--the Slingerland Simultaneous Multisensory Technique--has been found useful for specific language disabled adults in multisensory programs at Anchorage Community College. The Slingerland method builds from single sight, sound, and feel of letters through combinations, encoding,…
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.
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…
NASA software specification and evaluation system design, part 1
NASA Technical Reports Server (NTRS)
1976-01-01
The research to develop methods for reducing the effort expended in software and verification is reported. The development of a formal software requirements methodology, a formal specifications language, a programming language, a language preprocessor, and code analysis tools are discussed.
Modern & Classical Languages: K-12 Program EValuation 1988-89.
ERIC Educational Resources Information Center
Martinez, Margaret Perea
This evaluation of the modern and classical languages programs, K-12, in the Albuquerque (New Mexico) public school system provides general information on the program's history, philosophy, recognition, curriculum development, teachers, and activities. Specific information is offered on the different program components, namely, the elementary…
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
From Domain Specific Languages to DEVS Components: Application to Cognitive M&S
2011-04-01
AND SUBTITLE From Domain Specific Languages to DEVS Components: Application to Cognitive M&S 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ...that is devoid of any DEVS and programming language constructs (Figure 4). The key idea being domain specialists need not delve in the DEVS world to...DSL. DSLs can be created using many available tools and technologies such as: Generic Modeling Environment (GME) [23], Xtext, Ruby, Scala and many
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…
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.
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
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.
Theoretical foundations for information representation and constraint specification
NASA Technical Reports Server (NTRS)
Menzel, Christopher P.; Mayer, Richard J.
1991-01-01
Research accomplished at the Knowledge Based Systems Laboratory of the Department of Industrial Engineering at Texas A&M University is described. Outlined here are the theoretical foundations necessary to construct a Neutral Information Representation Scheme (NIRS), which will allow for automated data transfer and translation between model languages, procedural programming languages, database languages, transaction and process languages, and knowledge representation and reasoning control languages for information system specification.
World Languages and Cultures Feasibility Study
ERIC Educational Resources Information Center
Sklarz, David P.
2013-01-01
The purpose of the study was to conduct a comprehensive review of the research and best practices of exemplary elementary school World Language and Culture Programs. Specifically, (1) to assess the degree to which various program designs had most closely met the measurable goals of the American Council of Teachers of a Foreign Language, commonly…
Analysis and specification tools in relation to the APSE
NASA Technical Reports Server (NTRS)
Hendricks, John W.
1986-01-01
Ada and the Ada Programming Support Environment (APSE) specifically address the phases of the system/software life cycle which follow after the user's problem was translated into system and software development specifications. The waterfall model of the life cycle identifies the analysis and requirements definition phases as preceeding program design and coding. Since Ada is a programming language and the APSE is a programming support environment, they are primarily targeted to support program (code) development, tecting, and maintenance. The use of Ada based or Ada related specification languages (SLs) and program design languages (PDLs) can extend the use of Ada back into the software design phases of the life cycle. Recall that the standardization of the APSE as a programming support environment is only now happening after many years of evolutionary experience with diverse sets of programming support tools. Restricting consideration to one, or even a few chosen specification and design tools, could be a real mistake for an organization or a major project such as the Space Station, which will need to deal with an increasingly complex level of system problems. To require that everything be Ada-like, be implemented in Ada, run directly under the APSE, and fit into a rigid waterfall model of the life cycle would turn a promising support environment into a straight jacket for progress.
Foreign Language Immersion Programs and School Policy: Conflicting Agendas
ERIC Educational Resources Information Center
Olson Beal, Heather K.; Haj-Broussard, Michelle; Boudreaux, Nicole
2012-01-01
In this position article, we explore what happens when school district policies regarding desegregation, accountability, and foreign language immersion education collide. Specifically, we contrast 2 immersion programs that experienced distinct outcomes as a result of the conflicting agendas underlying these 3 policies. One program, originally…
NASA Technical Reports Server (NTRS)
Owre, Sam; Shankar, Natarajan
1999-01-01
A specification language is a medium for expressing what is computed rather than how it is computed. Specification languages share some features with programming languages but are also different in several important ways. For our purpose, a specification language is a logic within which the behavior of computational systems can be formalized. Although a specification can be used to simulate the behavior of such systems, we mainly use specifications to state and prove system properties with mechanical assistance. We present the formal semantics of the specification language of SRI's Prototype Verification System (PVS). This specification language is based on the simply typed lambda calculus. The novelty in PVS is that it contains very expressive language features whose static analysis (e.g., typechecking) requires the assistance of a theorem prover. The formal semantics illuminates several of the design considerations underlying PVS, the interaction between theorem proving and typechecking.
ERIC Educational Resources Information Center
Farahani, Fahimeh
2018-01-01
Neuro-Linguistic Programming (NLP) has potential to help language learners; however, it has received scant attention. The present study was an attempt to investigate the effect of NLP techniques on reading comprehension of English as a Foreign Language (EFL) learners at an English for Specific Purposes (ESP) course. To achieve this goal, two…
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.
Evaluating TBLT: The Case of a Task-Based Spanish Program
ERIC Educational Resources Information Center
González-Lloret, Marta; Nielson, Katharine B.
2015-01-01
The need for foreign language education in the US has increased in recent years, and teaching methods based on traditional textbooks are unlikely to meet the real-world needs of current learners. As a response, interest in Language for Specific Purposes programs has grown and so has Task-Based Language Teaching (TBLT) methodology. This article…
Japanese Language and Culture: 9-Year Program Classroom Assessment Materials, Grade 4
ERIC Educational Resources Information Center
Alberta Education, 2008
2008-01-01
This document is designed to provide assessment materials for specific Grade 4 outcomes in the Japanese Language and Culture Nine-year Program, Grades 4-5-6. The assessment materials are designed for the beginner level in the context of teaching for communicative competence. Grade 4 learning outcomes from the Japanese Language and Culture…
German Language and Culture: 9-Year Program Classroom Assessment Materials, Grade 4
ERIC Educational Resources Information Center
Alberta Education, 2008
2008-01-01
This document is designed to provide assessment materials for specific Grade 4 outcomes in the German Language and Culture Nine-year Program, Grades 4-5-6. The assessment materials are designed for the beginner level in the context of teaching for communicative competence. Grade 4 learning outcomes from the German Language and Culture Nine-year…
Punjabi Language and Culture: 9-Year Program Classroom Assessment Materials, Grade 4
ERIC Educational Resources Information Center
Alberta Education, 2008
2008-01-01
This document is designed to provide assessment materials for specific Grade 4 outcomes in the Punjabi Language and Culture Nine-year Program, Grades 4-5-6. The assessment materials are designed for the beginner level in the context of teaching for communicative competence. Grade 4 learning outcomes from the Punjabi Language and Culture Nine-year…
A Specification for a Godunov-type Eulerian 2-D Hydrocode, Revision 0
DOE Office of Scientific and Technical Information (OSTI.GOV)
Nystrom, William D; Robey, Jonathan M
2012-05-01
The purpose of this code specification is to describe an algorithm for solving the Euler equations of hydrodynamics in a 2D rectangular region in sufficient detail to allow a software developer to produce an implementation on their target platform using their programming language of choice without requiring detailed knowledge and experience in the field of computational fluid dynamics. It should be possible for a software developer who is proficient in the programming language of choice and is knowledgable of the target hardware to produce an efficient implementation of this specification if they also possess a thorough working knowledge of parallelmore » programming and have some experience in scientific programming using fields and meshes. On modern architectures, it will be important to focus on issues related to the exploitation of the fine grain parallelism and data locality present in this algorithm. This specification aims to make that task easier by presenting the essential details of the algorithm in a systematic and language neutral manner while also avoiding the inclusion of implementation details that would likely be specific to a particular type of programming paradigm or platform architecture.« less
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.
Automatic programming of simulation models
NASA Technical Reports Server (NTRS)
Schroer, Bernard J.; Tseng, Fan T.; Zhang, Shou X.; Dwan, Wen S.
1988-01-01
The objective of automatic programming is to improve the overall environment for describing the program. This improved environment is realized by a reduction in the amount of detail that the programmer needs to know and is exposed to. Furthermore, this improved environment is achieved by a specification language that is more natural to the user's problem domain and to the user's way of thinking and looking at the problem. The goal of this research is to apply the concepts of automatic programming (AP) to modeling discrete event simulation system. Specific emphasis is on the design and development of simulation tools to assist the modeler define or construct a model of the system and to then automatically write the corresponding simulation code in the target simulation language, GPSS/PC. A related goal is to evaluate the feasibility of various languages for constructing automatic programming simulation tools.
ERIC Educational Resources Information Center
Valeo, Antonella
2013-01-01
This comparative, classroom-based study investigated the effect and effectiveness of introducing a focus on form approach to a content-based, occupation-specific language program for adults. Thirty-six adults in two classes participated in a 10-week study. One group of 16 adults received content-based instruction that included a focus on form…
Shaheen, Elham Ahmed; Shohdy, Sahar Saad; Abd Al Raouf, Mahmoud; Mohamed El Abd, Shereen; Abd Elhamid, Asmss
2011-09-01
Specific language impairment is a relatively common developmental condition in which a child fails to develop language at the typical rate despite normal general intellectual abilities, adequate exposure to language, and in the absence of hearing impairments, or neurological or psychiatric disorders. There is much controversy about the extent to which the auditory processing deficits are important in the genesis specific language impairment. The objective of this paper is to assess the higher cortical functions in children with specific language impairment, through assessing neurophysiological changes in order to correlate the results with the clinical picture of the patients to choose the proper rehabilitation training program. This study was carried out on 40 children diagnosed to have specific language impairment and 20 normal children as a control group. All children were subjected to the assessment protocol applied in Kasr El-Aini hospital. They were also subjected to a language test (receptive, expressive and total language items), the audio-vocal items of Illinois test of psycholinguistic (auditory reception, auditory association, verbal expression, grammatical closure, auditory sequential memory and sound blending) as well as audiological assessment that included peripheral audiological and P300 amplitude and latency assessment. The results revealed a highly significant difference in P300 amplitude and latency between specific language impairment group and control group. There is also strong correlations between P300 latency and the grammatical closure, auditory sequential memory and sound blending, while significant correlation between the P300 amplitude and auditory association and verbal expression. Children with specific language impairment, in spite of the normal peripheral hearing, have evidence of cognitive and central auditory processing defects as evidenced by P300 auditory event related potential in the form of prolonged latency which indicate a slow rate of processing and defective memory as evidenced by small amplitude. These findings affect cognitive and language development in specific language impairment children and should be considered during planning the intervention program. Copyright © 2011 Elsevier Ireland Ltd. All rights reserved.
QA4, a language for artificial intelligence.
NASA Technical Reports Server (NTRS)
Derksen, J. A. C.
1973-01-01
Introduction of a language for problem solving and specifically robot planning, program verification, and synthesis and theorem proving. This language, called question-answerer 4 (QA4), embodies many features that have been found useful for constructing problem solvers but have to be programmed explicitly by the user of a conventional language. The most important features of QA4 are described, and examples are provided for most of the material introduced. Language features include backtracking, parallel processing, pattern matching, set manipulation, and pattern-triggered function activation. The language is most convenient for use in an interactive way and has extensive trace and edit facilities.
Foreign Languages for Business in the Secondary School Curriculum.
ERIC Educational Resources Information Center
Grosse, Christine Uber
A survey of the 20 most populous states concerning their secondary school provision of foreign languages for business is reported. State foreign language supervisors were interviewed for information on state policy or planning for the inclusion of foreign language for business or applied language studies, for information about specific programs or…
ERIC Educational Resources Information Center
GRITTNER, FRANK; PAVLAT, RUSSELL
THE KNOWLEDGE ACCUMULATED FROM THE EXPERIENCE OF INSTALLING MANY LANGUAGE LABORATORIES UNDER THE TITLE III, NDEA PROGRAM FORMS THE BASIS FOR THE GUIDELINES PRESENTED IN THIS BULLETIN. THE DOCUMENT INCLUDES A SUMMARY OF CONDITIONS DESIRABLE PRIOR TO THE PURCHASE OF A LABORATORY, SAMPLE SPECIFICATIONS FOR EACH COMPONENT OF THE LAB, SPECIFICATIONS…
Scheduling language and algorithm development study. Appendix: Study approach and activity summary
NASA Technical Reports Server (NTRS)
1974-01-01
The approach and organization of the study to develop a high level computer programming language and a program library are presented. The algorithm and problem modeling analyses are summarized. The approach used to identify and specify the capabilities required in the basic language is described. Results of the analyses used to define specifications for the scheduling module library are presented.
Are You Listening to Your Computer?
ERIC Educational Resources Information Center
Shugg, Alan
1992-01-01
Accepting the great motivational value of computers in second-language learning, this article describes ways to use authentic language recorded on a computer with HyperCard. Graphics, sound, and hardware/software requirements are noted, along with brief descriptions of programing with sound and specific programs. (LB)
ERIC Educational Resources Information Center
Lemke, Laura A.
The guide is designed as a resource to help elementary school administrators and teachers in the Grand Blanc (Michigan) Community School district understand the rationale for beginning an elementary foreign language program, program types, and specifics of the district's model and philosophy. Chapters address the following topics: the rationale…
ERIC Educational Resources Information Center
McCrary, Ronald G.
A discussion of computer software and courseware for second-language instruction outlines considerations for selecting software of various kinds and presents a list of selected computer programs. Suggestions are made for choosing text-specific software, non-text-specific software intended for language instruction, word processors intended for…
Sources of Materials for Minority Languages: A Preliminary List.
ERIC Educational Resources Information Center
National Clearinghouse for Bilingual Education, Arlington, VA.
A list is presented of resources for information on bilingual programs and materials in languages other than Spanish. The entries are arranged in four categories: "East Asian,""Native American,""Territories of the Pacific," and "Other Languages." The specific languages listed are: Cambodian, Chinese, Hmong, Japanese, Korean, Laotian, Thai,…
Moroccan Children and Arabic in Spanish Schools.
ERIC Educational Resources Information Center
Garcia, Bernabe Lopez; Molina, Laura Mijares
This paper discusses classical Arabic as a minority language for Moroccan children in Spanish schools. It highlights programs of "education des langues et cultures d'origine" (ELCO), which specifically target these students. ELCO is the only public program in Spain recognizing Arabic as an immigrant minority language. Intercultural…
ERIC Educational Resources Information Center
Lalande, John F. II, Ed.
Selected papers from the 1988 conference on foreign language issues for the future include: "Articulation for Elementary School Foreign Language Programs: Challenges and Opportunities" (Carol Ann Pesola); "Articulation: A Resolvable Problem?" (Dale L. Lange); "Profiles of Frustration: Second Language Learners with Specific Learning Disabilities"…
Solidify, An LLVM pass to compile LLVM IR into Solidity
DOE Office of Scientific and Technical Information (OSTI.GOV)
Kothapalli, Abhiram
The software currently compiles LLVM IR into Solidity (Ethereum’s dominant programming language) using LLVM’s pass library. Specifically, his compiler allows us to convert an arbitrary DSL into Solidity. We focus specifically on converting Domain Specific Languages into Solidity due to their ease of use, and provable properties. By creating a toolchain to compile lightweight domain-specific languages into Ethereum's dominant language, Solidity, we allow non-specialists to effectively develop safe and useful smart contracts. For example lawyers from a certain firm can have a proprietary DSL that codifies basic laws safely converted to Solidity to be securely executed on the blockchain. Inmore » another example, a simple provenance tracking language can be compiled and securely executed on the blockchain.« less
Declarative language design for interactive visualization.
Heer, Jeffrey; Bostock, Michael
2010-01-01
We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarative languages can simplify development, enable unobtrusive optimization, and support retargeting across platforms. We describe the design of the Protovis specification language and its implementation within an object-oriented, statically-typed programming language (Java). We demonstrate how to support rich visualizations without requiring a toolkit-specific data model and extend Protovis to enable declarative specification of animated transitions. To support cross-platform deployment, we introduce rendering and event-handling infrastructures decoupled from the runtime platform, letting designers retarget visualization specifications (e.g., from desktop to mobile phone) with reduced effort. We also explore optimizations such as runtime compilation of visualization specifications, parallelized execution, and hardware-accelerated rendering. We present benchmark studies measuring the performance gains provided by these optimizations and compare performance to existing Java-based visualization tools, demonstrating scalability improvements exceeding an order of magnitude.
Automated Verification of Design Patterns with LePUS3
NASA Technical Reports Server (NTRS)
Nicholson, Jonathan; Gasparis, Epameinondas; Eden, Ammon H.; Kazman, Rick
2009-01-01
Specification and [visual] modelling languages are expected to combine strong abstraction mechanisms with rigour, scalability, and parsimony. LePUS3 is a visual, object-oriented design description language axiomatized in a decidable subset of the first-order predicate logic. We demonstrate how LePUS3 is used to formally specify a structural design pattern and prove ( verify ) whether any JavaTM 1.4 program satisfies that specification. We also show how LePUS3 specifications (charts) are composed and how they are verified fully automatically in the Two-Tier Programming Toolkit.
ERIC Educational Resources Information Center
Lee, Wona; Lee, Jin Sook
2017-01-01
Two-Way Immersion (TWI) programs have demonstrated positive outcomes in students' academic achievement in English, yet less is known about content teaching and learning in the non-English language in these programs. This study uses math instruction as a lens to identify pedagogical strategies and challenges in the teaching of math in Korean to…
Intensive Summer Institute: Program Evaluation. 1991. NFLRC Research Notes.
ERIC Educational Resources Information Center
Ross, Steven
This report evaluates a 6-week intensive summer program for language teachers at the University of Hawaii. Thirty-two high school or college teachers and teacher trainees of Chinese, Indonesian, Japanese, and Spanish participated. Participants were led by master teachers who provided exemplary teaching, organized language-specific activities,…
ERIC Educational Resources Information Center
Lear, Darcy
2012-01-01
Community service learning (CSL) is a type of experiential learning that blends specific course content with real-world applications and ties them together through structured reflection. It is an ideal pedagogy for 21st-century language for specific purposes (LSP) programs. This article frames that argument around sociocultural theory, moves to a…
Kindlmann, Gordon; Chiw, Charisee; Seltzer, Nicholas; Samuels, Lamont; Reppy, John
2016-01-01
Many algorithms for scientific visualization and image analysis are rooted in the world of continuous scalar, vector, and tensor fields, but are programmed in low-level languages and libraries that obscure their mathematical foundations. Diderot is a parallel domain-specific language that is designed to bridge this semantic gap by providing the programmer with a high-level, mathematical programming notation that allows direct expression of mathematical concepts in code. Furthermore, Diderot provides parallel performance that takes advantage of modern multicore processors and GPUs. The high-level notation allows a concise and natural expression of the algorithms and the parallelism allows efficient execution on real-world datasets.
Programming "Loose Training" as a Strategy to Facilitate Language Generalization.
ERIC Educational Resources Information Center
Campbell, C. Robert; Stremel-Campbell, Kathleen
1982-01-01
Results showed that "loose training" (conducting concurrent language training during an academic task and allowing the student to initiate a language response based on a wide array of naturaly occurring stimulus events) was effective in establishing a specific set of language responses in two moderately retarded 10 and 12 year olds. (Author/CL)
TraceContract: A Scala DSL for Trace Analysis
NASA Technical Reports Server (NTRS)
Barringer, Howard; Havelund, Klaus
2011-01-01
In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the best weapon is a high level programming language augmented with constructs for temporal reasoning. A trace is a sequence of events, which may for example be generated by a running program, instrumented appropriately to generate events. The API supports writing properties in a notation that combines an advanced form of data parameterized state machines with temporal logic. The implementation utilizes SCALA's support for defining internal Domain Specific Languages (DSLs). Furthermore SCALA's combination of object oriented and functional programming features, including partial functions and pattern matching, makes it an ideal host language for such an API.
ERIC Educational Resources Information Center
Lawrence, Geoff
2002-01-01
Outlines reasons why electronic mail, and specifically e-mail exchanges, are valuable tools for promoting authentic target language interaction in the second language (L2) classroom. Research examining the use of e-mail exchanges on the L2 learning process is outlined, followed by one specific example of an e-mail exchange in a secondary core…
ERIC Educational Resources Information Center
Arens, Sheila A.; Stoker, Ginger; Barker, Jane; Shebby, Susan; Wang, Xin; Cicchinelli, Lou F.; Williams, Jean M.
2012-01-01
This study responds to regional and national needs by examining the impact on students' English language proficiency of a particular set of ELL-specific classroom materials in combination with a specific teacher professional development program. The classroom materials used in this study, entitled On Our Way to English (OWE), were authored by…
ERIC Educational Resources Information Center
Ryal, Robyn R.
2016-01-01
The purpose of this quantitative comparative descriptive study was to analyze the effect of an after school program on high school at-risk students' English/language arts and mathematics achievement on state standardized tests. This investigation examined the effects of out-of-school time support, specifically a nationwide after school program,…
ERIC Educational Resources Information Center
Kaplan, Harriet, Comp.; Lloyd, Lyle L., Comp.
Programs of agencies within the Department of Health, Education, and Welfare that support research, training, and clinical service projects in hearing, speech, and language development are reviewed. Information on each program usually includes areas of communication development and disorders specific to each agency; the funding mechanism used by…
Descriptions of Selected Career-Related College Language Courses
ERIC Educational Resources Information Center
Knodel, Arthur J.; And Others
1977-01-01
Seven courses or programs at different colleges emphasizing specific career applications of languages are described. They include: Technical French; Spanish for Law Enforcement and Correctional Personnel; Executive German; Proyecto Desarrollo Economico; Spanish for Medical Professions; Elements of Foreign Language, and Business French and Business…
THE LANGUAGE LABORATORY--WORK SHEET.
ERIC Educational Resources Information Center
CROSBIE, KEITH
DESIGNED FOR TEACHERS AND ADMINISTRATORS, THIS WORK SHEET PROVIDES GENERAL AND SPECIFIC INFORMATION ABOUT THE PHILOSOPHY, TYPES, AND USES OF LANGUAGE LABORATORIES IN SECONDARY SCHOOL LANGUAGE PROGRAMS. THE FIRST SECTION DISCUSSES THE ADVANTAGES OF USING THE LABORATORY EFFECTIVELY TO REINFORCE AND CONSOLIDATE CLASSROOM LEARNING, AND MENTIONS SOME…
Student Computer Dialogs Without Special Purpose Languages.
ERIC Educational Resources Information Center
Bork, Alfred
The phrase "student computer dialogs" refers to interactive sessions between the student and the computer. Rather than using programing languages specifically designed for computer assisted instruction (CAI), existing general purpose languages should be emphasized in the future development of student computer dialogs, as the power and…
Interpreting beyond Syntactics: A Semiotic Learning Model for Computer Programming Languages
ERIC Educational Resources Information Center
May, Jeffrey; Dhillon, Gurpreet
2009-01-01
In the information systems field there are numerous programming languages that can be used in specifying the behavior of concurrent and distributed systems. In the literature it has been argued that a lack of pragmatic and semantic consideration decreases the effectiveness of such specifications. In other words, to simply understand the syntactic…
Some Connections between Bilingual Education and ESL Programs.
ERIC Educational Resources Information Center
Duran, Luisa
It is proposed that as both bilingual education (BE) and English-as-a-Second-Language (ESL) programs continue to define their specific philosophies more clearly, the definitions are beginning to overlap in significant ways. In differing degrees, they are beginning to understand and appreciate the complexity of dual language learning and teaching.…
Globalisation of English Language Programs for Young Children in Viet Nam
ERIC Educational Resources Information Center
Hall, Beverley
2008-01-01
The specific purpose of education is to "prepare" children so that they are able to maximise their potential and participate in the society or community around them. In order for many Third World nations to access information technology, the provision of language programs, particularly English, has become necessary. However, in the…
Estonian Language Competencies for Peace Corps Volunteers in the Republic of Estonia.
ERIC Educational Resources Information Center
Ets, Tiina K.
This guide is designed for Estonian language training of Peace Corps workers in Estonia, is intended for use in a competency-based language training program, and reflects daily communication needs in that context. It consists of 52 lessons, each addressing a specific language competency, organized in 14 topical units. An introductory section gives…
ERIC Educational Resources Information Center
Saalbach, Henrik; Eckstein, Doris; Andri, Nicoletta; Hobi, Reto; Grabner, Roland H.
2013-01-01
Bilingual education programs implicitly assume that the acquired knowledge is represented in a language-independent way. This assumption, however, stands in strong contrast to research findings showing that information may be represented in a way closely tied to the specific language of instruction and learning. The present study aims to examine…
Predictors of second language acquisition in Latino children with specific language impairment.
Gutiérrez-Clellen, Vera; Simon-Cereijido, Gabriela; Sweet, Monica
2012-02-01
This study evaluated the extent to which the language of intervention, the child's development in Spanish, and the effects of English vocabulary, use, proficiency, and exposure predict differences in the rates of acquisition of English in Latino children with specific language impairment (SLI). In this randomized controlled trial, 188 Latino preschoolers with SLI participated in a small-group academic enrichment program for 12 weeks and were followed up 3 and 5 months later. Children were randomly assigned to either a bilingual or an English-only program. Predictors of English growth included measures of Spanish language skills and English vocabulary, use, proficiency, and exposure. Performance on English outcomes (i.e., picture description and narrative sample) was assessed over time. A series of longitudinal models were tested via multilevel modeling with baseline and posttreatment measures nested within child. Children demonstrated growth on the English outcomes over time. The language of intervention, Spanish skills, English vocabulary, and English use significantly predicted differences in rates of growth across children for specific measures of English development. This study underscores the role of the child's first language skills, the child's level of English vocabulary development, and level of English use for predicting differences in English acquisition in Latino preschoolers with SLI. These factors should be carefully considered in making clinical decisions.
TESOL Technology Standards: Description, Implementation, Integration
ERIC Educational Resources Information Center
Teachers of English to Speakers of Other Languages, Inc. (TESOL), 2011
2011-01-01
The "TESOL Technology Standards" are applicable in a wide range of contexts: foreign language, second language, child, teen, adult, higher education, vocational education, language for specific purposes, and fully online programs; and in settings with low, medium, or high resources and access to communication technologies. Students, teachers,…
34 CFR 669.22 - What priorities may the Secretary establish?
Code of Federal Regulations, 2010 CFR
2010-07-01
.... (2) Specific foreign languages for study or materials development. (3) Levels of education, for... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION LANGUAGE RESOURCE CENTERS PROGRAM How Does the Secretary Make a...
ERIC Educational Resources Information Center
Artesia Public Schools, NM.
This volume contains suggested curriculum guidelines for an effective bilingual program, with specific focus on Spanish language skills for the third grade level. The philosophy of the program views bilingual education as a vehicle and pedagogical tool to be used to better prepare all children to function in society. The point of departure for…
ERIC Educational Resources Information Center
Artesia Public Schools, NM.
This volume contains suggested curriculum guidelines for an effective bilingual program, with specific focus on Spanish language skills for the second grade level. The philosophy of the program views bilingual education as a vehicle and pedagogical tool to be used to better prepare all children to function in society. The point of departure for…
PS: A nonprocedural language with data types and modules
NASA Technical Reports Server (NTRS)
Gokhale, M. B.
1986-01-01
The Problem Specification (PS) nonprocedural language is a very high level language for algorithm specification. PS is suitable for nonprogrammers, who can specify a problem using mathematically-oriented equations; for expert programmers, who can prototype different versions of a software system for evaluation; and for those who wish to use specifications for portions (if not all) of a program. PS has data types and modules similar to Modula-2. The compiler generates C code. PS is first shown by example, and then efficiency issues in scheduling and code generation are discussed.
Establish Best Practices for Supervision of Instructors
2012-09-01
633. Christen, W. L., & Murphy, T. J. (1987). Inservice training and peer evaluation: An integrated program for faculty development. NASSP...describes the current state of instructional supervision in Special Operations Forces (SOF) initial acquisition training (IAT) language schools. This...leadership and Command Language Program Managers (CLPMs) related to selection, training , and resourcing. Finally, specific recommendations are provided for
ERIC Educational Resources Information Center
Shea, Lauren M.
2012-01-01
Most teachers of English language learners (ELLs) have had virtually no specialized, in-service training in adapting instruction for their students. Prior research fails to investigate the impact of professional development (PD) specifically designed for teachers of ELLs. This dissertation examines a PD program that attempted to prepare teachers…
Early Education of the Language-Learning Handicapped Child.
ERIC Educational Resources Information Center
Easter Seal Treatment Center of Montgomery County, Rockville, MD.
The brochure descrbies a demonstration program on the early education of the language learning handicapped preschool child. Discussed are symptoms of the language learning problem (such as misunderstanding what is said), a remedial approach based on specific disability intervention, the Easter Seal Treatment Center, project objectives (such as the…
ERIC Educational Resources Information Center
Liskin-Gasparro, Judith E.
1995-01-01
Discusses specific instruments and procedures that university-level foreign languages and literatures departments can use in outcomes-assessment of their undergraduate majors, including standardized tests, oral assessments, questionnaires, and portfolios. Case studies of outcomes-assessment programs in language departments at the University of…
MatLab Script and Functional Programming
NASA Technical Reports Server (NTRS)
Shaykhian, Gholam Ali
2007-01-01
MatLab Script and Functional Programming: MatLab is one of the most widely used very high level programming languages for scientific and engineering computations. It is very user-friendly and needs practically no formal programming knowledge. Presented here are MatLab programming aspects and not just the MatLab commands for scientists and engineers who do not have formal programming training and also have no significant time to spare for learning programming to solve their real world problems. Specifically provided are programs for visualization. The MatLab seminar covers the functional and script programming aspect of MatLab language. Specific expectations are: a) Recognize MatLab commands, script and function. b) Create, and run a MatLab function. c) Read, recognize, and describe MatLab syntax. d) Recognize decisions, loops and matrix operators. e) Evaluate scope among multiple files, and multiple functions within a file. f) Declare, define and use scalar variables, vectors and matrices.
ERIC Educational Resources Information Center
Paribakht, T. Sima; Wesche, Marjorie Bingham
A study investigated the role of comprehension of meaningful language input in young adults' second language learning, focusing on: (1) what kinds of measurement instruments and procedures can be used in tracking student gains in specific aspects of target language proficiency; (2) development of a reliable self-report scale capturing different…
DOE Office of Scientific and Technical Information (OSTI.GOV)
Bachan, John
Chisel is a new open-source hardware construction language developed at UC Berkeley that supports advanced hardware design using highly parameterized generators and layered domain-specific hardware languages. Chisel is embedded in the Scala programming language, which raises the level of hardware design abstraction by providing concepts including object orientation, functional programming, parameterized types, and type inference. From the same source, Chisel can generate a high-speed C++-based cycle-accurate software simulator, or low-level Verilog designed to pass on to standard ASIC or FPGA tools for synthesis and place and route.
The FORCE - A highly portable parallel programming language
NASA Technical Reports Server (NTRS)
Jordan, Harry F.; Benten, Muhammad S.; Alaghband, Gita; Jakob, Ruediger
1989-01-01
This paper explains why the FORCE parallel programming language is easily portable among six different shared-memory multiprocessors, and how a two-level macro preprocessor makes it possible to hide low-level machine dependencies and to build machine-independent high-level constructs on top of them. These FORCE constructs make it possible to write portable parallel programs largely independent of the number of processes and the specific shared-memory multiprocessor executing them.
The FORCE: A highly portable parallel programming language
NASA Technical Reports Server (NTRS)
Jordan, Harry F.; Benten, Muhammad S.; Alaghband, Gita; Jakob, Ruediger
1989-01-01
Here, it is explained why the FORCE parallel programming language is easily portable among six different shared-memory microprocessors, and how a two-level macro preprocessor makes it possible to hide low level machine dependencies and to build machine-independent high level constructs on top of them. These FORCE constructs make it possible to write portable parallel programs largely independent of the number of processes and the specific shared memory multiprocessor executing them.
Adaptation of a Control Center Development Environment for Industrial Process Control
NASA Technical Reports Server (NTRS)
Killough, Ronnie L.; Malik, James M.
1994-01-01
In the control center, raw telemetry data is received for storage, display, and analysis. This raw data must be combined and manipulated in various ways by mathematical computations to facilitate analysis, provide diversified fault detection mechanisms, and enhance display readability. A development tool called the Graphical Computation Builder (GCB) has been implemented which provides flight controllers with the capability to implement computations for use in the control center. The GCB provides a language that contains both general programming constructs and language elements specifically tailored for the control center environment. The GCB concept allows staff who are not skilled in computer programming to author and maintain computer programs. The GCB user is isolated from the details of external subsystem interfaces and has access to high-level functions such as matrix operators, trigonometric functions, and unit conversion macros. The GCB provides a high level of feedback during computation development that improves upon the often cryptic errors produced by computer language compilers. An equivalent need can be identified in the industrial data acquisition and process control domain: that of an integrated graphical development tool tailored to the application to hide the operating system, computer language, and data acquisition interface details. The GCB features a modular design which makes it suitable for technology transfer without significant rework. Control center-specific language elements can be replaced by elements specific to industrial process control.
NASA Technical Reports Server (NTRS)
Chien, Andrew A.; Karamcheti, Vijay; Plevyak, John; Sahrawat, Deepak
1993-01-01
Concurrent object-oriented languages, particularly fine-grained approaches, reduce the difficulty of large scale concurrent programming by providing modularity through encapsulation while exposing large degrees of concurrency. Despite these programmability advantages, such languages have historically suffered from poor efficiency. This paper describes the Concert project whose goal is to develop portable, efficient implementations of fine-grained concurrent object-oriented languages. Our approach incorporates aggressive program analysis and program transformation with careful information management at every stage from the compiler to the runtime system. The paper discusses the basic elements of the Concert approach along with a description of the potential payoffs. Initial performance results and specific plans for system development are also detailed.
Parallel language constructs for tensor product computations on loosely coupled architectures
NASA Technical Reports Server (NTRS)
Mehrotra, Piyush; Vanrosendale, John
1989-01-01
Distributed memory architectures offer high levels of performance and flexibility, but have proven awkard to program. Current languages for nonshared memory architectures provide a relatively low level programming environment, and are poorly suited to modular programming, and to the construction of libraries. A set of language primitives designed to allow the specification of parallel numerical algorithms at a higher level is described. Tensor product array computations are focused on along with a simple but important class of numerical algorithms. The problem of programming 1-D kernal routines is focused on first, such as parallel tridiagonal solvers, and then how such parallel kernels can be combined to form parallel tensor product algorithms is examined.
The BLAZE language: A parallel language for scientific programming
NASA Technical Reports Server (NTRS)
Mehrotra, P.; Vanrosendale, J.
1985-01-01
A Pascal-like scientific programming language, Blaze, is described. Blaze contains array arithmetic, forall loops, and APL-style accumulation operators, which allow natural expression of fine grained parallelism. It also employs an applicative or functional procedure invocation mechanism, which makes it easy for compilers to extract coarse grained parallelism using machine specific program restructuring. Thus Blaze should allow one to achieve highly parallel execution on multiprocessor architectures, while still providing the user with onceptually sequential control flow. A central goal in the design of Blaze is portability across a broad range of parallel architectures. The multiple levels of parallelism present in Blaze code, in principle, allow a compiler to extract the types of parallelism appropriate for the given architecture while neglecting the remainder. The features of Blaze are described and shows how this language would be used in typical scientific programming.
Spot: A Programming Language for Verified Flight Software
NASA Technical Reports Server (NTRS)
Bocchino, Robert L., Jr.; Gamble, Edward; Gostelow, Kim P.; Some, Raphael R.
2014-01-01
The C programming language is widely used for programming space flight software and other safety-critical real time systems. C, however, is far from ideal for this purpose: as is well known, it is both low-level and unsafe. This paper describes Spot, a language derived from C for programming space flight systems. Spot aims to maintain compatibility with existing C code while improving the language and supporting verification with the SPIN model checker. The major features of Spot include actor-based concurrency, distributed state with message passing and transactional updates, and annotations for testing and verification. Spot also supports domain-specific annotations for managing spacecraft state, e.g., communicating telemetry information to the ground. We describe the motivation and design rationale for Spot, give an overview of the design, provide examples of Spot's capabilities, and discuss the current status of the implementation.
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.
Visual Teaching Model for Introducing Programming Languages
ERIC Educational Resources Information Center
Shehane, Ronald; Sherman, Steven
2014-01-01
This study examines detailed usage of online training videos that were designed to address specific course problems that were encountered in an online computer programming course. The study presents the specifics of a programming course where training videos were used to provide students with a quick start path to learning a new programming…
ERIC Educational Resources Information Center
Illinois State Office of the Superintendent of Public Instruction, Springfield.
THE INFORMATION INCLUDED IN THIS VERY DETAILED DOCUMENT IS INTENDED FOR TEACHERS AND ADMINISTRATORS PLANNING AND IMPLEMENTING PROGRAMS TO IMPROVE FOREIGN LANGUAGE INSTRUCTION. THE SPECIFICATIONS PRESENTED ARE MINIMUM, BUT THEY MEET THE REQUIREMENTS UNDER THE PROVISIONS OF TITLE III, NDEA. THE FIRST PART OUTLINES PROCEDURES FOR THE SELECTION AND…
A Comparison of Argentinean and Turkish English Language Teacher Education Curricula
ERIC Educational Resources Information Center
Diaz, Andrea Paola; Arikan, Arda
2016-01-01
In this study, we look at the education of English language teachers in two countries, namely, Argentina and Turkey. We specifically discuss the curricula of the teacher education programs by focusing on the specific courses taken by prospective teachers of English in each country and the steps they have to take to start teaching officially.…
A Case Study on Use of One-to-One Laptops in English as Second Language Classrooms
ERIC Educational Resources Information Center
Turgut, Guliz
2012-01-01
One-to-one laptop programs, where each student has their own laptop to use in classroom, are becoming popular in schools especially in Australia and the United States. The purpose of the study was to contribute to the limited knowledge base explaining the implementation of laptop programs specifically with English language learners. Four ESL…
NASA software specification and evaluation system: Software verification/validation techniques
NASA Technical Reports Server (NTRS)
1977-01-01
NASA software requirement specifications were used in the development of a system for validating and verifying computer programs. The software specification and evaluation system (SSES) provides for the effective and efficient specification, implementation, and testing of computer software programs. The system as implemented will produce structured FORTRAN or ANSI FORTRAN programs, but the principles upon which SSES is designed allow it to be easily adapted to other high order languages.
Predictors of Second Language Acquisition in Latino Children With Specific Language Impairment
Gutiérrez-Clellen, Vera; Simon-Cereijido, Gabriela; Sweet, Monica
2012-01-01
Purpose This study evaluated the extent to which the language of intervention, the child’s development in Spanish, and the effects of English vocabulary, use, proficiency, and exposure predict differences in the rates of acquisition of English in Latino children with specific language impairment (SLI). Method In this randomized controlled trial, 188 Latino preschoolers with SLI participated in a small-group academic enrichment program for 12 weeks and were followed up 3 and 5 months later. Children were randomly assigned to either a bilingual or an English-only program. Predictors of English growth included measures of Spanish language skills and English vocabulary, use, proficiency, and exposure. Performance on English outcomes (i.e., picture description and narrative sample) was assessed over time. A series of longitudinal models were tested via multilevel modeling with baseline and posttreatment measures nested within child. Results Children demonstrated growth on the English outcomes over time. The language of intervention, Spanish skills, English vocabulary, and English use significantly predicted differences in rates of growth across children for specific measures of English development. Conclusions This study underscores the role of the child’s first language skills, the child’s level of English vocabulary development, and level of English use for predicting differences in English acquisition in Latino preschoolers with SLI. These factors should be carefully considered in making clinical decisions. PMID:22230174
NASA Technical Reports Server (NTRS)
Elrad, Tzilla (Editor); Filman, Robert E. (Editor); Bader, Atef (Editor)
2001-01-01
Computer science has experienced an evolution in programming languages and systems from the crude assembly and machine codes of the earliest computers through concepts such as formula translation, procedural programming, structured programming, functional programming, logic programming, and programming with abstract data types. Each of these steps in programming technology has advanced our ability to achieve clear separation of concerns at the source code level. Currently, the dominant programming paradigm is object-oriented programming - the idea that one builds a software system by decomposing a problem into objects and then writing the code of those objects. Such objects abstract together behavior and data into a single conceptual and physical entity. Object-orientation is reflected in the entire spectrum of current software development methodologies and tools - we have OO methodologies, analysis and design tools, and OO programming languages. Writing complex applications such as graphical user interfaces, operating systems, and distributed applications while maintaining comprehensible source code has been made possible with OOP. Success at developing simpler systems leads to aspirations for greater complexity. Object orientation is a clever idea, but has certain limitations. We are now seeing that many requirements do not decompose neatly into behavior centered on a single locus. Object technology has difficulty localizing concerns invoking global constraints and pandemic behaviors, appropriately segregating concerns, and applying domain-specific knowledge. Post-object programming (POP) mechanisms that look to increase the expressiveness of the OO paradigm are a fertile arena for current research. Examples of POP technologies include domain-specific languages, generative programming, generic programming, constraint languages, reflection and metaprogramming, feature-oriented development, views/viewpoints, and asynchronous message brokering. (Czarneclu and Eisenecker s book includes a good survey of many of these technologies).
Software engineering with application-specific languages
NASA Technical Reports Server (NTRS)
Campbell, David J.; Barker, Linda; Mitchell, Deborah; Pollack, Robert H.
1993-01-01
Application-Specific Languages (ASL's) are small, special-purpose languages that are targeted to solve a specific class of problems. Using ASL's on software development projects can provide considerable cost savings, reduce risk, and enhance quality and reliability. ASL's provide a platform for reuse within a project or across many projects and enable less-experienced programmers to tap into the expertise of application-area experts. ASL's have been used on several software development projects for the Space Shuttle Program. On these projects, the use of ASL's resulted in considerable cost savings over conventional development techniques. Two of these projects are described.
Concept-based query language approach to enterprise information systems
NASA Astrophysics Data System (ADS)
Niemi, Timo; Junkkari, Marko; Järvelin, Kalervo
2014-01-01
In enterprise information systems (EISs) it is necessary to model, integrate and compute very diverse data. In advanced EISs the stored data often are based both on structured (e.g. relational) and semi-structured (e.g. XML) data models. In addition, the ad hoc information needs of end-users may require the manipulation of data-oriented (structural), behavioural and deductive aspects of data. Contemporary languages capable of treating this kind of diversity suit only persons with good programming skills. In this paper we present a concept-oriented query language approach to manipulate this diversity so that the programming skill requirements are considerably reduced. In our query language, the features which need technical knowledge are hidden in application-specific concepts and structures. Therefore, users need not be aware of the underlying technology. Application-specific concepts and structures are represented by the modelling primitives of the extended RDOOM (relational deductive object-oriented modelling) which contains primitives for all crucial real world relationships (is-a relationship, part-of relationship, association), XML documents and views. Our query language also supports intensional and extensional-intensional queries, in addition to conventional extensional queries. In its query formulation, the end-user combines available application-specific concepts and structures through shared variables.
Formal semantic specifications as implementation blueprints for real-time programming languages
NASA Technical Reports Server (NTRS)
Feyock, S.
1981-01-01
Formal definitions of language and system semantics provide highly desirable checks on the correctness of implementations of programming languages and their runtime support systems. If these definitions can give concrete guidance to the implementor, major increases in implementation accuracy and decreases in implementation effort can be achieved. It is shown that of the wide variety of available methods the Hgraph (hypergraph) definitional technique (Pratt, 1975), is best suited to serve as such an implementation blueprint. A discussion and example of the Hgraph technique is presented, as well as an overview of the growing body of implementation experience of real-time languages based on Hgraph semantic definitions.
Emerald: an object-based language for distributed programming
DOE Office of Scientific and Technical Information (OSTI.GOV)
Hutchinson, N.C.
1987-01-01
Distributed systems have become more common, however constructing distributed applications remains a very difficult task. Numerous operating systems and programming languages have been proposed that attempt to simplify the programming of distributed applications. Here a programing language called Emerald is presented that simplifies distributed programming by extending the concepts of object-based languages to the distributed environment. Emerald supports a single model of computation: the object. Emerald objects include private entities such as integers and Booleans, as well as shared, distributed entities such as compilers, directories, and entire file systems. Emerald objects may move between machines in the system, but objectmore » invocation is location independent. The uniform semantic model used for describing all Emerald objects makes the construction of distributed applications in Emerald much simpler than in systems where the differences in implementation between local and remote entities are visible in the language semantics. Emerald incorporates a type system that deals only with the specification of objects - ignoring differences in implementation. Thus, two different implementations of the same abstraction may be freely mixed.« less
ERIC Educational Resources Information Center
Washington, Karla N.; Warr-Leeper, Genese; Thomas-Stonell, Nancy
2011-01-01
Purpose: The impact of a newly designed computer-assisted treatment ("C-AT") program, "My Sentence Builder", for the remediation of expressive-grammar deficits in children with specific language impairment (SLI) was explored. This program was specifically designed with features to directly address expressive-grammar difficulties, thought to be…
The BLAZE language - A parallel language for scientific programming
NASA Technical Reports Server (NTRS)
Mehrotra, Piyush; Van Rosendale, John
1987-01-01
A Pascal-like scientific programming language, BLAZE, is described. BLAZE contains array arithmetic, forall loops, and APL-style accumulation operators, which allow natural expression of fine grained parallelism. It also employs an applicative or functional procedure invocation mechanism, which makes it easy for compilers to extract coarse grained parallelism using machine specific program restructuring. Thus BLAZE should allow one to achieve highly parallel execution on multiprocessor architectures, while still providing the user with conceptually sequential control flow. A central goal in the design of BLAZE is portability across a broad range of parallel architectures. The multiple levels of parallelism present in BLAZE code, in principle, allow a compiler to extract the types of parallelism appropriate for the given architecture while neglecting the remainder. The features of BLAZE are described and it is shown how this language would be used in typical scientific programming.
ERIC Educational Resources Information Center
Cordice, Kurt
2009-01-01
This paper discussed both the theoretical and practical implications of using a first aid training course, specifically the Emergency First Response (EFR) program, as a tool for the teaching and practice of English as a Foreign Language (EFL). The conceptual origins of the idea are discusses through comparisons with theories of learning found in…
An engineering approach to automatic programming
NASA Technical Reports Server (NTRS)
Rubin, Stuart H.
1990-01-01
An exploratory study of the automatic generation and optimization of symbolic programs using DECOM - a prototypical requirement specification model implemented in pure LISP was undertaken. It was concluded, on the basis of this study, that symbolic processing languages such as LISP can support a style of programming based upon formal transformation and dependent upon the expression of constraints in an object-oriented environment. Such languages can represent all aspects of the software generation process (including heuristic algorithms for effecting parallel search) as dynamic processes since data and program are represented in a uniform format.
English as a Second Language Instructors as Providers of Educational Brokering Services for Adults.
ERIC Educational Resources Information Center
Stockwell, Dorothy B.
This study was undertaken in an effort to understand the role English as a second language (ESL) instructors and program coordinators play in assisting their adult students apart from providing specific language instruction. This role has been defined as that of an educational broker--one who may provide information, counseling, assessment,…
Pragmatics in the Post-TESL Certificate Course "Language Teaching for Employment"
ERIC Educational Resources Information Center
Bartel, Joan
2013-01-01
For those immigrants to Canada who need some language training in order to access employment in their field, occupational ESL classes have been available in Ontario for several years. Recent additions to Occupation-Specific Language Training and Bridging programs, as well as a new emphasis on work-related content in LINC classes, have created a…
ERIC Educational Resources Information Center
Trescases, Pierre
A computer system developed as a database access facilitator for the blind is found to have application to foreign language instruction, specifically in teaching French to speakers of English. The computer is programmed to translate symbols from the International Phonetic Alphabet (IPA) into appropriate phonemes for whatever language is being…
ERIC Educational Resources Information Center
Ebert, Kerry Danahy; Kohnert, Kathryn; Pham, Giang; Disher, Jill Rentmeester; Payesteh, Bita
2014-01-01
Purpose: This study examines the absolute and relative effects of 3 different treatment programs for school-age bilingual children with primary or specific language impairment (PLI). It serves to expand the evidence base on which service providers can base treatment decisions. It also explores hypothesized relations between languages and cognition…
DOE Office of Scientific and Technical Information (OSTI.GOV)
Erez, Mattan; Yelick, Katherine; Sarkar, Vivek
The Dynamic, Exascale Global Address Space programming environment (DEGAS) project will develop the next generation of programming models and runtime systems to meet the challenges of Exascale computing. Our approach is to provide an efficient and scalable programming model that can be adapted to application needs through the use of dynamic runtime features and domain-specific languages for computational kernels. We address the following technical challenges: Programmability: Rich set of programming constructs based on a Hierarchical Partitioned Global Address Space (HPGAS) model, demonstrated in UPC++. Scalability: Hierarchical locality control, lightweight communication (extended GASNet), and ef- ficient synchronization mechanisms (Phasers). Performance Portability:more » Just-in-time specialization (SEJITS) for generating hardware-specific code and scheduling libraries for domain-specific adaptive runtimes (Habanero). Energy Efficiency: Communication-optimal code generation to optimize energy efficiency by re- ducing data movement. Resilience: Containment Domains for flexible, domain-specific resilience, using state capture mechanisms and lightweight, asynchronous recovery mechanisms. Interoperability: Runtime and language interoperability with MPI and OpenMP to encourage broad adoption.« less
JASPAR RESTful API: accessing JASPAR data from any programming language.
Khan, Aziz; Mathelier, Anthony
2018-05-01
JASPAR is a widely used open-access database of curated, non-redundant transcription factor binding profiles. Currently, data from JASPAR can be retrieved as flat files or by using programming language-specific interfaces. Here, we present a programming language-independent application programming interface (API) to access JASPAR data using the Representational State Transfer (REST) architecture. The REST API enables programmatic access to JASPAR by most programming languages and returns data in eight widely used formats. Several endpoints are available to access the data and an endpoint is available to infer the TF binding profile(s) likely bound by a given DNA binding domain protein sequence. Additionally, it provides an interactive browsable interface for bioinformatics tool developers. This REST API is implemented in Python using the Django REST Framework. It is accessible at http://jaspar.genereg.net/api/ and the source code is freely available at https://bitbucket.org/CBGR/jaspar under GPL v3 license. aziz.khan@ncmm.uio.no or anthony.mathelier@ncmm.uio.no. Supplementary data are available at Bioinformatics online.
QUARTERLY TECHNICAL PROGRESS REPORT, JULY, AUGUST, SEPTEMBER 1966.
Contents: Circuit research program; Hardware systems research; Software systems research program; Numerical methods, computer arithmetic and...artificial languages; Library automation; Illiac II service , use, and program development; IBM service , use, and program development; Problem specifications; Switching theory and logical design; General laboratory information.
Developing Formal Correctness Properties from Natural Language Requirements
NASA Technical Reports Server (NTRS)
Nikora, Allen P.
2006-01-01
This viewgraph presentation reviews the rationale of the program to transform natural language specifications into formal notation.Specifically, automate generation of Linear Temporal Logic (LTL)correctness properties from natural language temporal specifications. There are several reasons for this approach (1) Model-based techniques becoming more widely accepted, (2) Analytical verification techniques (e.g., model checking, theorem proving) significantly more effective at detecting types of specification design errors (e.g., race conditions, deadlock) than manual inspection, (3) Many requirements still written in natural language, which results in a high learning curve for specification languages, associated tools and increased schedule and budget pressure on projects reduce training opportunities for engineers, and (4) Formulation of correctness properties for system models can be a difficult problem. This has relevance to NASA in that it would simplify development of formal correctness properties, lead to more widespread use of model-based specification, design techniques, assist in earlier identification of defects and reduce residual defect content for space mission software systems. The presentation also discusses: potential applications, accomplishments and/or technological transfer potential and the next steps.
NASA Technical Reports Server (NTRS)
Havelund, Klaus
2014-01-01
The field of runtime verification has during the last decade seen a multitude of systems for monitoring event sequences (traces) emitted by a running system. The objective is to ensure correctness of a system by checking its execution traces against formal specifications representing requirements. A special challenge is data parameterized events, where monitors have to keep track of the combination of control states as well as data constraints, relating events and the data they carry across time points. This poses a challenge wrt. efficiency of monitors, as well as expressiveness of logics. Data automata is a form of automata where states are parameterized with data, supporting monitoring of data parameterized events. We describe the full details of a very simple API in the Scala programming language, an internal DSL (Domain-Specific Language), implementing data automata. The small implementation suggests a design pattern. Data automata allow transition conditions to refer to other states than the source state, and allow target states of transitions to be inlined, offering a temporal logic flavored notation. An embedding of a logic in a high-level language like Scala in addition allows monitors to be programmed using all of Scala's language constructs, offering the full flexibility of a programming language. The framework is demonstrated on an XML processing scenario previously addressed in related work.
AMPS/PC - AUTOMATIC MANUFACTURING PROGRAMMING SYSTEM
NASA Technical Reports Server (NTRS)
Schroer, B. J.
1994-01-01
The AMPS/PC system is a simulation tool designed to aid the user in defining the specifications of a manufacturing environment and then automatically writing code for the target simulation language, GPSS/PC. The domain of problems that AMPS/PC can simulate are manufacturing assembly lines with subassembly lines and manufacturing cells. The user defines the problem domain by responding to the questions from the interface program. Based on the responses, the interface program creates an internal problem specification file. This file includes the manufacturing process network flow and the attributes for all stations, cells, and stock points. AMPS then uses the problem specification file as input for the automatic code generator program to produce a simulation program in the target language GPSS. The output of the generator program is the source code of the corresponding GPSS/PC simulation program. The system runs entirely on an IBM PC running PC DOS Version 2.0 or higher and is written in Turbo Pascal Version 4 requiring 640K memory and one 360K disk drive. To execute the GPSS program, the PC must have resident the GPSS/PC System Version 2.0 from Minuteman Software. The AMPS/PC program was developed in 1988.
Constraints in Genetic Programming
NASA Technical Reports Server (NTRS)
Janikow, Cezary Z.
1996-01-01
Genetic programming refers to a class of genetic algorithms utilizing generic representation in the form of program trees. For a particular application, one needs to provide the set of functions, whose compositions determine the space of program structures being evolved, and the set of terminals, which determine the space of specific instances of those programs. The algorithm searches the space for the best program for a given problem, applying evolutionary mechanisms borrowed from nature. Genetic algorithms have shown great capabilities in approximately solving optimization problems which could not be approximated or solved with other methods. Genetic programming extends their capabilities to deal with a broader variety of problems. However, it also extends the size of the search space, which often becomes too large to be effectively searched even by evolutionary methods. Therefore, our objective is to utilize problem constraints, if such can be identified, to restrict this space. In this publication, we propose a generic constraint specification language, powerful enough for a broad class of problem constraints. This language has two elements -- one reduces only the number of program instances, the other reduces both the space of program structures as well as their instances. With this language, we define the minimal set of complete constraints, and a set of operators guaranteeing offspring validity from valid parents. We also show that these operators are not less efficient than the standard genetic programming operators if one preprocesses the constraints - the necessary mechanisms are identified.
Estimating aquifer transmissivity from specific capacity using MATLAB.
McLin, Stephen G
2005-01-01
Historically, specific capacity information has been used to calculate aquifer transmissivity when pumping test data are unavailable. This paper presents a simple computer program written in the MATLAB programming language that estimates transmissivity from specific capacity data while correcting for aquifer partial penetration and well efficiency. The program graphically plots transmissivity as a function of these factors so that the user can visually estimate their relative importance in a particular application. The program is compatible with any computer operating system running MATLAB, including Windows, Macintosh OS, Linux, and Unix. Two simple examples illustrate program usage.
Learning with a Missing Sense: What Can We Learn from the Interaction of a Deaf Child with a Turtle?
ERIC Educational Resources Information Center
Miller, Paul
2009-01-01
This case study reports on the progress of Navon, a 13-year-old boy with prelingual deafness, over a 3-month period following exposure to Logo, a computer programming language that visualizes specific programming commands by means of a virtual drawing tool called the Turtle. Despite an almost complete lack of skills in spoken and sign language,…
ERIC Educational Resources Information Center
Pekel, Haci Ahmet
2014-01-01
Foreign language, computer programs and social network applications or web sites are widely used by many people nowadays for various aims. In the literature, the number of studies investigating over university departments of physical education or more specifically to say, taking sports students' and teachers' foreign language and social networking…
The Effect of Specific Language Features on the Complexity of Systems for Automated Essay Scoring.
ERIC Educational Resources Information Center
Cohen, Yoav; Ben-Simon, Anat; Hovav, Myra
This paper focuses on the relationship between different aspects of the linguistic structure of a given language and the complexity of the computer program, whether existing or prospective, that is to be used for the scoring of essays in that language. The first part of the paper discusses common scales used to assess writing products, then…
ERIC Educational Resources Information Center
Alberta Learning, Edmonton. Direction de l'education francaise.
This teacher's guide is intended for the instruction of both French as a first language and French as a second language in immersion programs. It provides a host of strategies for teaching listening skills in the classroom in Grades 1 through 7. The first section is designed to bring the teacher's awareness to the training procedure. It discusses…
Specifications and programs for computer software validation
NASA Technical Reports Server (NTRS)
Browne, J. C.; Kleir, R.; Davis, T.; Henneman, M.; Haller, A.; Lasseter, G. L.
1973-01-01
Three software products developed during the study are reported and include: (1) FORTRAN Automatic Code Evaluation System, (2) the Specification Language System, and (3) the Array Index Validation System.
In vivo language intervention: unanticipated general effects.
Hart, B; Risley, T R
1980-01-01
After observing the lack of generalization of language trained in highly structured training sessions using established behavior modification techniques, "incidental teaching" procedures were developed to change the use of specified language behaviors in the natural environment. This paper reports an analysis of the general changes in the language, other than that specifically targeted by the incidental teaching procedures, used by disadvantaged preschool children. The daily language samples of disadvantaged children involved in a previously reported experiment to increase compound sentence usage were reexamined and compared to comparable records of other disadvantaged children and of middle-class children of college parents in order to assess possible general effects of the intervention program. Whereas the language that both groups of comparison children used changed little across the preschool year, the amount of talking by the children in the experimental program increased markedly. Their use of more elaborate vocabulary and more elaborate sentences also increased in direct proportion to the increases in overall language use, such that both language use and language elaboration in the experimental group of children changed from a pattern simlar to the comparison group of disadvantaged children to a pattern similar to the comparison group of middleclass children. It is argued that some general features of the incidental teaching procedure--differentially attending to child overtures and responding relative to the child's selected topic (reinforcer)--contributed to the increase in overall language use beyond the specific language behavior targeted, and that this increase in the probability of children's talking itself resulted in the substantial increases in elaboration seen in the children's spontaneous language. Because, at least in children with fairly well-developed language repertoires, language use is contextually controlled, talking more involves talking in more varied and complex contexts, which inevitably produces the use of more elaborate language.
In vivo language intervention: unanticipated general effects.
Hart, B; Risley, T R
1980-01-01
After observing the lack of generalization of language trained in highly structured training sessions using established behavior modification techniques, "incidental teaching" procedures were developed to change the use of specified language behaviors in the natural environment. This paper reports an analysis of the general changes in the language, other than that specifically targeted by the incidental teaching procedures, used by disadvantaged preschool children. The daily language samples of disadvantaged children involved in a previously reported experiment to increase compound sentence usage were reexamined and compared to comparable records of other disadvantaged children and of middle-class children of college parents in order to assess possible general effects of the intervention program. Whereas the language that both groups of comparison children used changed little across the preschool year, the amount of talking by the children in the experimental program increased markedly. Their use of more elaborate vocabulary and more elaborate sentences also increased in direct proportion to the increases in overall language use, such that both language use and language elaboration in the experimental group of children changed from a pattern simlar to the comparison group of disadvantaged children to a pattern similar to the comparison group of middleclass children. It is argued that some general features of the incidental teaching procedure--differentially attending to child overtures and responding relative to the child's selected topic (reinforcer)--contributed to the increase in overall language use beyond the specific language behavior targeted, and that this increase in the probability of children's talking itself resulted in the substantial increases in elaboration seen in the children's spontaneous language. Because, at least in children with fairly well-developed language repertoires, language use is contextually controlled, talking more involves talking in more varied and complex contexts, which inevitably produces the use of more elaborate language. PMID:7430003
DESIGN: a program to create data entry programs
J. Michael Wuerth; David R. Weise
1994-01-01
Scientific data entry can be an exacting process. The specific information needs change from investigation to investigation. A computer program to design custom data screens is described. The program, DESIGN, generates the necessary C programming language source code to create a basic data entry program. Data entry screens can contain multiple nested screens. Users can...
Proving the correctness of the flight director program EADIFD, volume 1
NASA Technical Reports Server (NTRS)
Lee, F. J.; Maurer, W. D.
1977-01-01
EADIFD is written in symbolic assembly language for execution on the C4000 airborne computer. It is a subprogram of an aircraft navigation and guidance program and is used to generate pitch and roll command signals for use in terminal airspace. The proof of EADIFD was carried out by an inductive assertion method consisting of two parts, a verification condition generator and a source language independent proof checker. With the specifications provided by NASA, EADIFD was proved correct. The termination of the program is guaranteed and the program contains no instructions that can modify it under any conditions.
Supporting Immersion Teachers: An Autoethnography
ERIC Educational Resources Information Center
Speece, Lauren
2017-01-01
Immersion programs face a variety of challenges that are common to the field, such as lack of materials appropriate for students' language abilities, assessment, teacher recruitment and retention, balancing content and language, and relevant, high quality professional development for teachers. However, within specific micro-contexts, other issues…
Formalizing Knowledge in Multi-Scale Agent-Based Simulations
Somogyi, Endre; Sluka, James P.; Glazier, James A.
2017-01-01
Multi-scale, agent-based simulations of cellular and tissue biology are increasingly common. These simulations combine and integrate a range of components from different domains. Simulations continuously create, destroy and reorganize constituent elements causing their interactions to dynamically change. For example, the multi-cellular tissue development process coordinates molecular, cellular and tissue scale objects with biochemical, biomechanical, spatial and behavioral processes to form a dynamic network. Different domain specific languages can describe these components in isolation, but cannot describe their interactions. No current programming language is designed to represent in human readable and reusable form the domain specific knowledge contained in these components and interactions. We present a new hybrid programming language paradigm that naturally expresses the complex multi-scale objects and dynamic interactions in a unified way and allows domain knowledge to be captured, searched, formalized, extracted and reused. PMID:29338063
Formalizing Knowledge in Multi-Scale Agent-Based Simulations.
Somogyi, Endre; Sluka, James P; Glazier, James A
2016-10-01
Multi-scale, agent-based simulations of cellular and tissue biology are increasingly common. These simulations combine and integrate a range of components from different domains. Simulations continuously create, destroy and reorganize constituent elements causing their interactions to dynamically change. For example, the multi-cellular tissue development process coordinates molecular, cellular and tissue scale objects with biochemical, biomechanical, spatial and behavioral processes to form a dynamic network. Different domain specific languages can describe these components in isolation, but cannot describe their interactions. No current programming language is designed to represent in human readable and reusable form the domain specific knowledge contained in these components and interactions. We present a new hybrid programming language paradigm that naturally expresses the complex multi-scale objects and dynamic interactions in a unified way and allows domain knowledge to be captured, searched, formalized, extracted and reused.
Dynamic visualization techniques for high consequence software
DOE Office of Scientific and Technical Information (OSTI.GOV)
Pollock, G.M.
1998-02-01
This report documents a prototype tool developed to investigate the use of visualization and virtual reality technologies for improving software surety confidence. The tool is utilized within the execution phase of the software life cycle. It provides a capability to monitor an executing program against prespecified requirements constraints provided in a program written in the requirements specification language SAGE. The resulting Software Attribute Visual Analysis Tool (SAVAnT) also provides a technique to assess the completeness of a software specification. The prototype tool is described along with the requirements constraint language after a brief literature review is presented. Examples of howmore » the tool can be used are also presented. In conclusion, the most significant advantage of this tool is to provide a first step in evaluating specification completeness, and to provide a more productive method for program comprehension and debugging. The expected payoff is increased software surety confidence, increased program comprehension, and reduced development and debugging time.« less
The Development of a Graphical Notation for the Formal Specification of Software
1990-12-01
the language. A detailed user survey should be performed after the language implementation is complete to determine the effectiveness of the graphical...productivity. ’Ihere is no better way to improve programmer productivity than to help the programmer to avoid performing the work in the first place. This is...optional prototyping phase is performed ) to develop a computer program (2:40). In 1985, Robert Balzer proposed the program transformation lifecycle
Automating software design system DESTA
NASA Technical Reports Server (NTRS)
Lovitsky, Vladimir A.; Pearce, Patricia D.
1992-01-01
'DESTA' is the acronym for the Dialogue Evolutionary Synthesizer of Turnkey Algorithms by means of a natural language (Russian or English) functional specification of algorithms or software being developed. DESTA represents the computer-aided and/or automatic artificial intelligence 'forgiving' system which provides users with software tools support for algorithm and/or structured program development. The DESTA system is intended to provide support for the higher levels and earlier stages of engineering design of software in contrast to conventional Computer Aided Design (CAD) systems which provide low level tools for use at a stage when the major planning and structuring decisions have already been taken. DESTA is a knowledge-intensive system. The main features of the knowledge are procedures, functions, modules, operating system commands, batch files, their natural language specifications, and their interlinks. The specific domain for the DESTA system is a high level programming language like Turbo Pascal 6.0. The DESTA system is operational and runs on an IBM PC computer.
NASA Technical Reports Server (NTRS)
Weeks, Cindy Lou
1986-01-01
Experiments were conducted at NASA Ames Research Center to define multi-tasking software requirements for multiple-instruction, multiple-data stream (MIMD) computer architectures. The focus was on specifying solutions for algorithms in the field of computational fluid dynamics (CFD). The program objectives were to allow researchers to produce usable parallel application software as soon as possible after acquiring MIMD computer equipment, to provide researchers with an easy-to-learn and easy-to-use parallel software language which could be implemented on several different MIMD machines, and to enable researchers to list preferred design specifications for future MIMD computer architectures. Analysis of CFD algorithms indicated that extensions of an existing programming language, adaptable to new computer architectures, provided the best solution to meeting program objectives. The CoFORTRAN Language was written in response to these objectives and to provide researchers a means to experiment with parallel software solutions to CFD algorithms on machines with parallel architectures.
C-Language Integrated Production System, Version 6.0
NASA Technical Reports Server (NTRS)
Riley, Gary; Donnell, Brian; Ly, Huyen-Anh Bebe; Ortiz, Chris
1995-01-01
C Language Integrated Production System (CLIPS) computer programs are specifically intended to model human expertise or other knowledge. CLIPS is designed to enable research on, and development and delivery of, artificial intelligence on conventional computers. CLIPS 6.0 provides cohesive software tool for handling wide variety of knowledge with support for three different programming paradigms: rule-based, object-oriented, and procedural. Rule-based programming: representation of knowledge as heuristics - essentially, rules of thumb that specify set of actions performed in given situation. Object-oriented programming: modeling of complex systems comprised of modular components easily reused to model other systems or create new components. Procedural-programming: representation of knowledge in ways similar to those of such languages as C, Pascal, Ada, and LISP. Version of CLIPS 6.0 for IBM PC-compatible computers requires DOS v3.3 or later and/or Windows 3.1 or later.
Peru: Institutionalizing Quechua
ERIC Educational Resources Information Center
Lagoria, Consuelo Alfaro; Ballon, Lourdes Zegarra
1976-01-01
Discusses the 1975 decision of the Peruvian government to designate Quechua as an official language. Specific programs carried out as a result of this law are analyzed and assessed with respect to their effects and implications. The problems encountered in producing instructional materials for languages which are fragmented into dialects are…
Space Station Mission Planning System (MPS) development study. Volume 2
NASA Technical Reports Server (NTRS)
Klus, W. J.
1987-01-01
The process and existing software used for Spacelab payload mission planning were studied. A complete baseline definition of the Spacelab payload mission planning process was established, along with a definition of existing software capabilities for potential extrapolation to the Space Station. This information was used as a basis for defining system requirements to support Space Station mission planning. The Space Station mission planning concept was reviewed for the purpose of identifying areas where artificial intelligence concepts might offer substantially improved capability. Three specific artificial intelligence concepts were to be investigated for applicability: natural language interfaces; expert systems; and automatic programming. The advantages and disadvantages of interfacing an artificial intelligence language with existing FORTRAN programs or of converting totally to a new programming language were identified.
Learning with a missing sense: what can we learn from the interaction of a deaf child with a turtle?
Miller, Paul
2009-01-01
This case study reports on the progress of Navon, a 13-year-old boy with prelingual deafness, over a 3-month period following exposure to Logo, a computer programming language that visualizes specific programming commands by means of a virtual drawing tool called the Turtle. Despite an almost complete lack of skills in spoken and sign language, Navon made impressive progress in his programming skills, including acquisition of a notable active written vocabulary, which he learned to apply in a purposeful, rule-based manner. His achievements are discussed with reference to commonly held assumptions about the relationship between language and thought, in general, and the prerequisite of proper spoken language skills for the acquisition of reading and writing, in particular. Highlighted are the central principles responsible for Navon's unexpected cognitive and linguistic development, including the way it affected his social relations with peers and teachers.
Domain Specific Language Support for Exascale
DOE Office of Scientific and Technical Information (OSTI.GOV)
Mellor-Crummey, John
A multi-institutional project known as D-TEC (short for “Domain- specific Technology for Exascale Computing”) set out to explore technologies to support the construction of Domain Specific Languages (DSLs) to map application programs to exascale architectures. DSLs employ automated code transformation to shift the burden of delivering portable performance from application programmers to compilers. Two chief properties contribute: DSLs permit expression at a high level of abstraction so that a programmer’s intent is clear to a compiler and DSL implementations encapsulate human domain-specific optimization knowledge so that a compiler can be smart enough to achieve good results on specific hardware. Domainmore » specificity is what makes these properties possible in a programming language. If leveraging domain specificity is the key to keep exascale software tractable, a corollary is that many different DSLs will be needed to encompass the full range of exascale computing applications; moreover, a single application may well need to use several different DSLs in conjunction. As a result, developing a general toolkit for building domain-specific languages was a key goal for the D-TEC project. Different aspects of the D-TEC research portfolio were the focus of work at each of the partner institutions in the multi-institutional project. D-TEC research and development work at Rice University focused on on three principal topics: understanding how to automate the tuning of code for complex architectures, research and development of the Rosebud DSL engine, and compiler technology to support complex execution platforms. This report provides a summary of the research and development work on the D-TEC project at Rice University.« less
From General Game Descriptions to a Market Specification Language for General Trading Agents
NASA Astrophysics Data System (ADS)
Thielscher, Michael; Zhang, Dongmo
The idea behind General Game Playing is to build systems that, instead of being programmed for one specific task, are intelligent and flexible enough to negotiate an unknown environment solely on the basis of the rules which govern it. In this paper, we argue that this principle has the great potential to bring to a new level artificially intelligent systems in other application areas as well. Our specific interest lies in General Trading Agents, which are able to understand the rules of unknown markets and then to actively participate in them without human intervention. To this end, we extend the general Game Description Language into a language that allows to formally describe arbitrary markets in such a way that these specifications can be automatically processed by a computer. We present both syntax and a transition-based semantics for this Market Specification Language and illustrate its expressive power by presenting axiomatizations of several well-known auction types.
NASA Astrophysics Data System (ADS)
Bucks, Gregory Warren
Computers have become an integral part of how engineers complete their work, allowing them to collect and analyze data, model potential solutions and aiding in production through automation and robotics. In addition, computers are essential elements of the products themselves, from tennis shoes to construction materials. An understanding of how computers function, both at the hardware and software level, is essential for the next generation of engineers. Despite the need for engineers to develop a strong background in computing, little opportunity is given for engineering students to develop these skills. Learning to program is widely seen as a difficult task, requiring students to develop not only an understanding of specific concepts, but also a way of thinking. In addition, students are forced to learn a new tool, in the form of the programming environment employed, along with these concepts and thought processes. Because of this, many students will not develop a sufficient proficiency in programming, even after progressing through the traditional introductory programming sequence. This is a significant problem, especially in the engineering disciplines, where very few students receive more than one or two semesters' worth of instruction in an already crowded engineering curriculum. To address these issues, new pedagogical techniques must be investigated in an effort to enhance the ability of engineering students to develop strong computing skills. However, these efforts are hindered by the lack of published assessment instruments available for probing an individual's understanding of programming concepts across programming languages. Traditionally, programming knowledge has been assessed by producing written code in a specific language. This can be an effective method, but does not lend itself well to comparing the pedagogical impact of different programming environments, languages or paradigms. This dissertation presents a phenomenographic research study exploring the different ways of understanding held by individuals of two programming concepts: conditional structures and repetition structures. This work lays the foundation for the development of language independent assessment instruments, which can ultimately be used to assess the pedagogical implications of various programming environments.
ERIC Educational Resources Information Center
Turner, Solveig M., Ed.
The general focus of the papers in these proceedings is communication and the specific purpose for which persons study a foreign language. The following papers are included: (1) "Marketing Your Innovative Language Program," by S. Sadow; (2) "The Implementation of Taped Interviews in Foreign Language Courses," by J. Frommer and M. Collins Weitz;…
Participatory arts programs in residential dementia care: Playing with language differences.
Swinnen, Aagje; de Medeiros, Kate
2017-01-01
This article examines connections between language, identity, and cultural difference in the context of participatory arts in residential dementia care. Specifically, it looks at how language differences become instruments for the language play that characterizes the participatory arts programs, TimeSlips and the Alzheimer's Poetry Project. These are two approaches that are predominantly spoken-word driven. Although people living with dementia experience cognitive decline that affects language, they are linguistic agents capable of participating in ongoing negotiation processes of connection, belonging, and in- and exclusion through language use. The analysis of two ethnographic vignettes, based on extensive fieldwork in the closed wards of two Dutch nursing homes, illustrates how TimeSlips and the Alzheimer's Poetry Project support them in this agency. The theoretical framework of the analysis consists of literature on the linguistic agency of people living with dementia, the notions of the homo ludens (or man the player) and ludic language, as well as linguistic strategies of belonging in relation to place.
Reading Strategies: Issues in the Computerization of Machiavelli's "Il demonio che prese moglie".
ERIC Educational Resources Information Center
Morgan, Leslie Zarker
1994-01-01
The ideal computer-based foreign language reading program must include cognitive background, a learning taxonomy, sound computer design, and knowledge of what is needed for the specific language. Machiavelli's "Il demonia che prese moglie" is chosen for study due to its historical interest. (63 references) (CK)
Setting up an Adult ESL Program in the Fiji Islands.
ERIC Educational Resources Information Center
Thorkelson, Myra
1987-01-01
The author describes an English as a Second Language (ESL) course she taught in Fiji (where English is the official language of commerce and government) for adult speakers of a Hindi dialect or Fijian. She discusses evaluation of student needs and specific exercises for adult ESL classes. (CH)
ERIC Educational Resources Information Center
Hagler, Howard
This curriculum guide is divided into two parts, genre and language skills. Genre involves the specific explorations of the spoken and written word: drama, public speaking, non-fiction, the short story, the novel, and creative expression. Language skills directs itself to the mastery of the mechanics of English. For each course outline included in…
English Language Learners Utilizing the Accelerated Reader Program
ERIC Educational Resources Information Center
Gomez, Frank, II
2009-01-01
The purpose of this study was to evaluate the impact (positive, negative, or neutral) of Accelerated Readers (AR), a standard based intervention, on the academic achievement of English Language Learners at Carolina Herrera Elementary School. Carolina Herrera Elementary School, was analyzed using these specific lenses: (1) curriculum and…
Computer-Aided Advisement Language at the University of South Carolina.
ERIC Educational Resources Information Center
Bays, Carter
1984-01-01
A passive computer application using student course transcripts to group and arrange specific degree requirements to produce an advising worksheet is described, and the language used by a math department for this purpose is outlined. A sample advisement form resulting from the program is reproduced. (MSE)
Discrimination of Arabic Contrasts by American Learners
ERIC Educational Resources Information Center
Al Mahmoud, Mahmoud S.
2013-01-01
This article reports on second language perception of non-native contrasts. The study specifically tests the perceptual assimilation model (PAM) by examining American learners' ability to discriminate Arabic contrasts. Twenty two native American speakers enrolled in a university level Arabic language program took part in a forced choice AXB…
ERIC Educational Resources Information Center
Education Commission of the States, Denver, CO.
This paper provides an overview of the Wilson Reading System, which teaches students word structure and language through a carefully sequenced, 12-step system that helps them master decoding and spelling. The program targets the needs of students at all levels (K-12), specifically students with language learning disabilities such as dyslexia;…
On the design of script languages for neural simulation.
Brette, Romain
2012-01-01
In neural network simulators, models are specified according to a language, either specific or based on a general programming language (e.g. Python). There are also ongoing efforts to develop standardized languages, for example NeuroML. When designing these languages, efforts are often focused on expressivity, that is, on maximizing the number of model types than can be described and simulated. I argue that a complementary goal should be to minimize the cognitive effort required on the part of the user to use the language. I try to formalize this notion with the concept of "language entropy", and I propose a few practical guidelines to minimize the entropy of languages for neural simulation.
Programming "loose training" as a strategy to facilitate language generalization.
Campbell, C R; Stremel-Campbell, K
1982-01-01
This study investigated the generalization of spontaneous complex language behavior across a nontraining setting and the durability of generalization as a result of programming and "loose training" strategy. A within-subject, across-behaviors multiple-baseline design was used to examine the performance of two moderately retarded students in the use of is/are across three syntactic structures (i.e., "wh" questions, "yes/no" reversal questions, and statements). The language training procedure used in this study represented a functional example of programming "loose training." The procedure involved conducting concurrent language training within the context of an academic training task, and establishing a functional reduction in stimulus control by permitting the student to initiate a language response based on a wide array of naturally occurring stimulus events. Concurrent probes were conducted in the free play setting to assess the immediate generalization and the durability of the language behaviors. The results demonstrated that "loose training" was effective in establishing a specific set of language responses with the participants of this investigation. Further, both students demonstrated spontaneous use of the language behavior in the free play generalization setting and a trend was clearly evident for generalization to continue across time. Thus, the methods used appear to be successful for training the use of is/are in three syntactic structures. PMID:7118759
Applying and evaluating computer-animated tutors
NASA Astrophysics Data System (ADS)
Massaro, Dominic W.; Bosseler, Alexis; Stone, Patrick S.; Connors, Pamela
2002-05-01
We have developed computer-assisted speech and language tutors for deaf, hard of hearing, and autistic children. Our language-training program utilizes our computer-animated talking head, Baldi, as the conversational agent, who guides students through a variety of exercises designed to teach vocabulary and grammer, to improve speech articulation, and to develop linguistic and phonological awareness. Baldi is an accurate three-dimensional animated talking head appropriately aligned with either synthesized or natural speech. Baldi has a tongue and palate, which can be displayed by making his skin transparent. Two specific language-training programs have been evaluated to determine if they improve word learning and speech articulation. The results indicate that the programs are effective in teaching receptive and productive language. Advantages of utilizing a computer-animated agent as a language tutor are the popularity of computers and embodied conversational agents with autistic kids, the perpetual availability of the program, and individualized instruction. Students enjoy working with Baldi because he offers extreme patience, he doesn't become angry, tired, or bored, and he is in effect a perpetual teaching machine. The results indicate that the psychology and technology of Baldi holds great promise in language learning and speech therapy. [Work supported by NSF Grant Nos. CDA-9726363 and BCS-9905176 and Public Health Service Grant No. PHS R01 DC00236.
The Ensembl REST API: Ensembl Data for Any Language.
Yates, Andrew; Beal, Kathryn; Keenan, Stephen; McLaren, William; Pignatelli, Miguel; Ritchie, Graham R S; Ruffier, Magali; Taylor, Kieron; Vullo, Alessandro; Flicek, Paul
2015-01-01
We present a Web service to access Ensembl data using Representational State Transfer (REST). The Ensembl REST server enables the easy retrieval of a wide range of Ensembl data by most programming languages, using standard formats such as JSON and FASTA while minimizing client work. We also introduce bindings to the popular Ensembl Variant Effect Predictor tool permitting large-scale programmatic variant analysis independent of any specific programming language. The Ensembl REST API can be accessed at http://rest.ensembl.org and source code is freely available under an Apache 2.0 license from http://github.com/Ensembl/ensembl-rest. © The Author 2014. Published by Oxford University Press.
Programming with non-heap memory in the real time specification for Java
NASA Technical Reports Server (NTRS)
Bollella, G.; Canham, T.; Carson, V.; Champlin, V.; Dvorak, D.; Giovannoni, B.; Indictor, M.; Meyer, K.; Reinholtz, A.; Murray, K.
2003-01-01
The Real-Time Specification for Java (RTSJ) provides facilities for deterministic, real-time execution in a language that is otherwise subject to variable latencies in memory allocation and garbage collection.
ERIC Educational Resources Information Center
Napa Valley Unified School District, Napa, CA.
The materials include a handbook for development of worksite, job-specific literacy programs and a sample curriculum for vineyard workers in California. The handbook describes the Literacy Line! project, a mobile unit to carry English-as-a-Second-Language (ESL) and job-specific literacy instruction to employees at wineries and vineyards in the…
Billoud, B; Kontic, M; Viari, A
1996-01-01
At the DNA/RNA level, biological signals are defined by a combination of spatial structures and sequence motifs. Until now, few attempts had been made in writing general purpose search programs that take into account both sequence and structure criteria. Indeed, the most successful structure scanning programs are usually dedicated to particular structures and are written using general purpose programming languages through a complex and time consuming process where the biological problem of defining the structure and the computer engineering problem of looking for it are intimately intertwined. In this paper, we describe a general representation of structures, suitable for database scanning, together with a programming language, Palingol, designed to manipulate it. Palingol has specific data types, corresponding to structural elements-basically helices-that can be arranged in any way to form a complex structure. As a consequence of the declarative approach used in Palingol, the user should only focus on 'what to search for' while the language engine takes care of 'how to look for it'. Therefore, it becomes simpler to write a scanning program and the structural constraints that define the required structure are more clearly identified. PMID:8628670
Adapting Curriculum for Augumentative Communication.
ERIC Educational Resources Information Center
Moos, Karen L.; Hartwig, Shirley K.
This paper describes a program for adapting literature for augmentative and alternative communication (AAC) users and students with other disabilities. The program is designed to teach specific language skills that will meet the students' Individualized Education Program goals and to be implemented on a daily basis by classroom instructors. The…
Assessment of short-term memory in Arabic speaking children with specific language impairment.
Kaddah, F A; Shoeib, R M; Mahmoud, H E
2010-12-15
Children with Specific Language Impairment (SLI) may have some kind of memory disorder that could increase their linguistic impairment. This study assessed the short-term memory skills in Arabic speaking children with either Expressive Language Impairment (ELI) or Receptive/Expressive Language Impairment (R/ELI) in comparison to controls in order to estimate the nature and extent of any specific deficits in these children that could explain the different prognostic results of language intervention. Eighteen children were included in each group. Receptive, expressive and total language quotients were calculated using the Arabic language test. Assessment of auditory and visual short-term memory was done using the Arabic version of the Illinois Test of Psycholinguistic Abilities. Both groups of SLI performed significantly lower linguistic abilities and poorer auditory and visual short-term memory in comparison to normal children. The R/ELI group presented an inferior performance than the ELI group in all measured parameters. Strong association was found between most tasks of auditory and visual short-term memory and linguistic abilities. The results of this study highlighted a specific degree of deficit of auditory and visual short-term memories in both groups of SLI. These deficits were more prominent in R/ELI group. Moreover, the strong association between the different auditory and visual short-term memories and language abilities in children with SLI must be taken into account when planning an intervention program for these children.
Programming an offline-analyzer of motor imagery signals via python language.
Alonso-Valerdi, Luz María; Sepulveda, Francisco
2011-01-01
Brain Computer Interface (BCI) systems control the user's environment via his/her brain signals. Brain signals related to motor imagery (MI) have become a widespread method employed by the BCI community. Despite the large number of references describing the MI signal treatment, there is not enough information related to the available programming languages that could be suitable to develop a specific-purpose MI-based BCI. The present paper describes the development of an offline-analysis system based on MI-EEG signals via open-source programming languages, and the assessment of the system using electrical activity recorded from three subjects. The analyzer recognized at least 63% of the MI signals corresponding to three classes. The results of the offline analysis showed a promising performance considering that the subjects have never undergone MI trainings.
Towards a behavioral-matching based compilation of synthetic biology functions.
Basso-Blandin, Adrien; Delaplace, Franck
2015-09-01
The field of synthetic biology is looking forward engineering framework for safely designing reliable de-novo biological functions. In this undertaking, Computer-Aided-Design (CAD) environments should play a central role for facilitating the design. Although, CAD environment is widely used to engineer artificial systems the application in synthetic biology is still in its infancy. In this article we address the problem of the design of a high level language which at the core of CAD environment. More specifically the Gubs (Genomic Unified Behavioural Specification) language is a specification language used to describe the observations of the expected behaviour. The compiler appropriately selects components such that the observation of the synthetic biological function resulting to their assembly complies to the programmed behaviour.
ERIC Educational Resources Information Center
Proud, Jim
This bibliography lists 168 articles, books, and instructional materials for anyone interested in learning more about the LOGO programming language. Items listed range from research reports and program descriptions to lesson plans and activities. Specific titles include "A Beginner's Guide to LOGO"; "LOGO Music"; "Printing…
Software design and documentation language, revision 1
NASA Technical Reports Server (NTRS)
Kleine, H.
1979-01-01
The Software Design and Documentation Language (SDDL) developed to provide an effective communications medium to support the design and documentation of complex software applications is described. Features of the system include: (1) a processor which can convert design specifications into an intelligible, informative machine-reproducible document; (2) a design and documentation language with forms and syntax that are simple, unrestrictive, and communicative; and (3) methodology for effective use of the language and processor. The SDDL processor is written in the SIMSCRIPT II programming language and is implemented on the UNIVAC 1108, the IBM 360/370, and Control Data machines.
Research in mathematical theory of computation. [computer programming applications
NASA Technical Reports Server (NTRS)
Mccarthy, J.
1973-01-01
Research progress in the following areas is reviewed: (1) new version of computer program LCF (logic for computable functions) including a facility to search for proofs automatically; (2) the description of the language PASCAL in terms of both LCF and in first order logic; (3) discussion of LISP semantics in LCF and attempt to prove the correctness of the London compilers in a formal way; (4) design of both special purpose and domain independent proving procedures specifically program correctness in mind; (5) design of languages for describing such proof procedures; and (6) the embedding of ideas in the first order checker.
Hardware description languages
NASA Technical Reports Server (NTRS)
Tucker, Jerry H.
1994-01-01
Hardware description languages are special purpose programming languages. They are primarily used to specify the behavior of digital systems and are rapidly replacing traditional digital system design techniques. This is because they allow the designer to concentrate on how the system should operate rather than on implementation details. Hardware description languages allow a digital system to be described with a wide range of abstraction, and they support top down design techniques. A key feature of any hardware description language environment is its ability to simulate the modeled system. The two most important hardware description languages are Verilog and VHDL. Verilog has been the dominant language for the design of application specific integrated circuits (ASIC's). However, VHDL is rapidly gaining in popularity.
Ulpan: Functional ESOL Immersion Program for Special Education Students.
ERIC Educational Resources Information Center
Frantz, Roger S.; Wexler, Jane
A program of English instruction to speakers of other languages (ESOL) designed specifically for students with disabilities is described. The program is based on the Ulpan philosophy, developed in Israel to teach Hebrew culture to immigrants. It is operated by a private organization serving individuals with disabilities, in two Philadelphia…
77 FR 74178 - Notice of Intent To Grant Exclusive Patent License: Kismet Management Fund LLC
Federal Register 2010, 2011, 2012, 2013, 2014
2012-12-13
...,248: Program Control for Resource Management Architecture and Corresponding Programs//U.S. Patent No. 7,171,654: System Specification Language for Resource Management Architecture and Corresponding... Architecture and Corresponding Programs//U.S. Patent No. 7,552,438: Resource Management Device. DATES: Anyone...
TEACHER TRAINING AND THE CLASSICS.
ERIC Educational Resources Information Center
REXINE, JOHN E.
WITH THE STUDY OF MODERN FOREIGN LANGUAGES FAR OUTSTRIPPING THE STUDY OF LATIN, IT BEHOOVES LATIN TEACHERS TO REVITALIZE THEIR TEACHER EDUCATION PROGRAMS. MORE SPECIFICALLY, NEW PROGRAMS SHOULD REFLECT THE IDEAS AND RECOMMENDATIONS OF JAMES B. CONANT, THE PLANS OF FIVE EXPLORATORY PROGRAMS IN TEACHER PREPARATION INITIATED BY THE N.Y. STATE…
Multitasking runtime systems for the Cedar Multiprocessor
DOE Office of Scientific and Technical Information (OSTI.GOV)
Guzzi, M.D.
1986-07-01
The programming of a MIMD machine is more complex than for SISD and SIMD machines. The multiple computational resources of the machine must be made available to the programming language compiler and to the programmer so that multitasking programs may be written. This thesis will explore the additional complexity of programming a MIMD machine, the Cedar Multiprocessor specifically, and the multitasking runtime system necessary to provide multitasking resources to the user. First, the problem will be well defined: the Cedar machine, its operating system, the programming language, and multitasking concepts will be described. Second, a solution to the problem, calledmore » macrotasking, will be proposed. This solution provides multitasking facilities to the programmer at a very coarse level with many visible machine dependencies. Third, an alternate solution, called microtasking, will be proposed. This solution provides multitasking facilities of a much finer grain. This solution does not depend so rigidly on the specific architecture of the machine. Finally, the two solutions will be compared for effectiveness. 12 refs., 16 figs.« less
Career Education at the College Level: A Modest Proposal.
ERIC Educational Resources Information Center
Reschke, Claus
Foreign language programs in America have not tried to meet the specific needs of undergraduate and graduate students enrolled in professional schools who are preparing for an international career in law, marketing, accounting, hotel management, or engineering. These students need to be able to use the language in the performance of their…
Phonetic Training in the Foreign Language Curriculum
ERIC Educational Resources Information Center
Burnham, Kevin R.
2014-01-01
In this experiment we evaluate phonetic training as a tool for language learning. Specifically, we take a group of native speakers (NS) of English (n=24) currently enrolled in Arabic classes at American universities, and evaluate the effectiveness of a high variability phonetic training program (HVPT) to improve their perception of a difficult…
Phonetic Training in the Foreign Language Curriculum
ERIC Educational Resources Information Center
Burnham, Kevin R.
2014-01-01
In this experiment we evaluate phonetic training as a tool for language learning. Specifically, we take a group of native speakers (NS) of English (n = 24) currently enrolled in Arabic classes at American universities, and evaluate the effectiveness of a high variability phonetic training program (HVPT) to improve their perception of a difficult…
Situational Dialogues in a Community College: English as a Second Language Curriculum
ERIC Educational Resources Information Center
Klinghoffer, Curtis L.
2008-01-01
A tuition-free, vocational, English as a second language (ESL) program offered at a large community college suffers from high attrition as well as student dissatisfaction with curriculum. The purpose of this quasi-experimental, longitudinal study was to assess the effectiveness of a specific ESL curriculum supplement as an intervention to…
A Functional Specification for a Programming Language for Computer Aided Learning Applications.
ERIC Educational Resources Information Center
National Research Council of Canada, Ottawa (Ontario).
In 1972 there were at least six different course authoring languages in use in Canada with little exchange of course materials between Computer Assisted Learning (CAL) centers. In order to improve facilities for producing "transportable" computer based course materials, a working panel undertook the definition of functional requirements of a user…
Manual Tape Scripts: German, Level 2. Curriculum Bulletin, 1969-70 Series, Number 19.
ERIC Educational Resources Information Center
Lipton, Gladys; And Others
This manual of tape scripts, together with a set of foreign language tapes for Level 2 German, was prepared to support the curriculum bulletin "New York City Foreign Language Program for Schools: German, Levels 1-4." Vocabulary, repetition, transformation, and recombination drills on specific grammatical features allow further development of…
Productive High Performance Parallel Programming with Auto-tuned Domain-Specific Embedded Languages
2013-01-02
Compilation JVM Java Virtual Machine KB Kilobyte KDT Knowledge Discovery Toolbox LAPACK Linear Algebra Package LLVM Low-Level Virtual Machine LOC Lines...different starting points. Leo Meyerovich also helped solidify some of the ideas here in discussions during Par Lab retreats. I would also like to thank...multi-timestep computations by blocking in both time and space. 88 Implementation Output Approx DSL Type Language Language Parallelism LoC Graphite
Implementing a Domain Specific Language to configure and run LHCb Continuous Integration builds
NASA Astrophysics Data System (ADS)
Clemencic, M.; Couturier, B.
2015-12-01
The new LHCb nightly build system described at CHEP 2013 was limited by the use of JSON files for its configuration. JSON had been chosen as a temporary solution to maintain backward compatibility towards the old XML format by means of a translation function. Modern languages like Python leverage on meta-programming techniques to enable the development of Domain Specific Languages (DSLs). In this contribution we will present the advantages of such techniques and how they have been used to implement a DSL that can be used to both describe the configuration of the LHCb Nightly Builds and actually operate them.
An Abstract Plan Preparation Language
NASA Technical Reports Server (NTRS)
Butler, Ricky W.; Munoz, Cesar A.
2006-01-01
This paper presents a new planning language that is more abstract than most existing planning languages such as the Planning Domain Definition Language (PDDL) or the New Domain Description Language (NDDL). The goal of this language is to simplify the formal analysis and specification of planning problems that are intended for safety-critical applications such as power management or automated rendezvous in future manned spacecraft. The new language has been named the Abstract Plan Preparation Language (APPL). A translator from APPL to NDDL has been developed in support of the Spacecraft Autonomy for Vehicles and Habitats Project (SAVH) sponsored by the Explorations Technology Development Program, which is seeking to mature autonomy technology for application to the new Crew Exploration Vehicle (CEV) that will replace the Space Shuttle.
A Language for Specifying Compiler Optimizations for Generic Software
DOE Office of Scientific and Technical Information (OSTI.GOV)
Willcock, Jeremiah J.
2007-01-01
Compiler optimization is important to software performance, and modern processor architectures make optimization even more critical. However, many modern software applications use libraries providing high levels of abstraction. Such libraries often hinder effective optimization — the libraries are difficult to analyze using current compiler technology. For example, high-level libraries often use dynamic memory allocation and indirectly expressed control structures, such as iteratorbased loops. Programs using these libraries often cannot achieve an optimal level of performance. On the other hand, software libraries have also been recognized as potentially aiding in program optimization. One proposed implementation of library-based optimization is to allowmore » the library author, or a library user, to define custom analyses and optimizations. Only limited systems have been created to take advantage of this potential, however. One problem in creating a framework for defining new optimizations and analyses is how users are to specify them: implementing them by hand inside a compiler is difficult and prone to errors. Thus, a domain-specific language for librarybased compiler optimizations would be beneficial. Many optimization specification languages have appeared in the literature, but they tend to be either limited in power or unnecessarily difficult to use. Therefore, I have designed, implemented, and evaluated the Pavilion language for specifying program analyses and optimizations, designed for library authors and users. These analyses and optimizations can be based on the implementation of a particular library, its use in a specific program, or on the properties of a broad range of types, expressed through concepts. The new system is intended to provide a high level of expressiveness, even though the intended users are unlikely to be compiler experts.« less
OVERVIEW OF THE WORLD-OF-WORK TRAINING PROGRAM AND AN EXPLANATION OF THE CADET TRAINING PROGRAM.
ERIC Educational Resources Information Center
FANTINI, MARIO D.
TO CURTAIL THE NUMBER OF SCHOOL DROPOUTS THE PROGRAM HAS BEEN DEVELOPED TO PROVIDE FOR STUDENT NEEDS FROM THE PRESCHOOL LEVEL THROUGH HIGH SCHOOL. IN THE PRESCHOOL PROGRAM, THE CURRICULUM IS STRUCTURED TO PROVIDE INCREASED EDUCATIONAL MOTIVATION AND LANGUAGE DEVELOPMENT DEPENDING UPON THE SPECIFIC NEEDS OF THE CHILD. IN THE ELEMENTARY PROGRAM,…
ihear[R] Internet Therapy Program: A Program by St. Joseph Institute for the Deaf
ERIC Educational Resources Information Center
Broekelmann, Cheryl
2012-01-01
The ihear[R] Internet Therapy Program (ihear) provides effective, individualized, and interactive therapy that is tailored to each child's specific needs through a secure, high-quality Internet connection. The program brings listening and spoken language services directly to schools and families. The foundation for ihear is based on the St. Joseph…
ERIC Educational Resources Information Center
Kazakoff, Elizabeth R.; Sullivan, Amanda; Bers, Marina U.
2013-01-01
This paper examines the impact of programming robots on sequencing ability during a 1-week intensive robotics workshop at an early childhood STEM magnet school in the Harlem area of New York City. Children participated in computer programming activities using a developmentally appropriate tangible programming language CHERP, specifically designed…
PrismTech Data Distribution Service Java API Evaluation
NASA Technical Reports Server (NTRS)
Riggs, Cortney
2008-01-01
My internship duties with Launch Control Systems required me to start performance testing of an Object Management Group's (OMG) Data Distribution Service (DDS) specification implementation by PrismTech Limited through the Java programming language application programming interface (API). DDS is a networking middleware for Real-Time Data Distribution. The performance testing involves latency, redundant publishers, extended duration, redundant failover, and read performance. Time constraints allowed only for a data throughput test. I have designed the testing applications to perform all performance tests when time is allowed. Performance evaluation data such as megabits per second and central processing unit (CPU) time consumption were not easily attainable through the Java programming language; they required new methods and classes created in the test applications. Evaluation of this product showed the rate that data can be sent across the network. Performance rates are better on Linux platforms than AIX and Sun platforms. Compared to previous C++ programming language API, the performance evaluation also shows the language differences for the implementation. The Java API of the DDS has a lower throughput performance than the C++ API.
ERIC Educational Resources Information Center
Kunkle, Wanda M.
2010-01-01
Many students experience difficulties learning to program. They find learning to program in the object-oriented paradigm particularly challenging. As a result, computing educators have tried a variety of instructional methods to assist beginning programmers. These include developing approaches geared specifically toward novices and experimenting…
ERIC Educational Resources Information Center
Ramanayake, Selena; Williams, Cheri
2017-01-01
Despite the increase of English learners in the U.S. and of standards for linguistically responsive teaching practices, teacher education programs often fall short of preparing preservice teachers to teach diverse learners. In this case study, specifically designed to improve a pedagogical course on English language development, the researchers…
ERIC Educational Resources Information Center
Atai, Mahmood Reza; Shoja, Leila
2011-01-01
Even though English for Specific Academic Purposes (ESAP) courses constitute a significant part of the Iranian university curriculum, curriculum developers have generally developed the programs based on intuition. This study assessed the present and target situation academic language needs of undergraduate students of computer engineering. To this…
Six-Year Ukrainian as a Second Language Program, Grade 11 Teaching Unit.
ERIC Educational Resources Information Center
Boruszczak, Bohdan
The teaching unit provides materials for the fifth year of the six-year secondary school curriculum in Ukrainian as a second language. It focuses on basic vocabulary and communications skills related to the theme of "the restaurant" including: the development of listening, speaking, reading, and writing skills; specific elements of grammar (verb…
Syilx Language House: How and Why We Are Delivering 2,000 Decolonizing Hours in Nsyilxcn
ERIC Educational Resources Information Center
Johnson, S?ímla?xw Michele K.
2017-01-01
The Syilx Language House has completed two years of a four-year, 2,000-hour program to create new adult Nsyilxcn speakers, based on Syilx communities' specific priorities. Our critically endangered status requires radically decolonizing teaching techniques. Nsyilxcn (Okanagan) teachers are learners, trained to deliver sequenced curriculum in full…
Software Independent Verification and Validation (SIV&V) Simplified
2006-12-01
Configuration Item I/O Input/Output I2V2 Independent Integrated Verification and Validation IBM International Business Machines ICD Interface...IPT Integrated Product Team IRS Interface Requirements Specification ISD Integrated System Diagram ITD Integrated Test Description ITP ...programming languages such as COBOL (Common Business Oriented Language) (Codasyl committee 1960), and FORTRAN (FORmula TRANslator) ( IBM 1952) (Robat 11
Looking at the Results. The ACTFL Foreign Language Education Series, Vol. 10.
ERIC Educational Resources Information Center
Omaggio, Alice C.; And Others
This paper attempts to provide a synthesis of the best available knowledge on ways to evaluate the effectiveness of foreiqn language programs. Procedures that have worked well are outlined, an evaluation model is suggested, and a list of specific guidelines, checklists, and other resources is provided. The results of a survey designed to get…
Computers in the Foreign Language Classroom: Not Just Another "Fad or Frill."
ERIC Educational Resources Information Center
Cox, Ruth
Designed to assist foreign language teachers to become more computer literate, this paper discusses five major types of educational software currently on the market: (1) drill and practice; (2) tutorials; (3) simulations; (4) computer games; and (5) problem solvers. Possible uses for each type of program are given; in addition, specific programs…
Manual of Tape Scripts: Spanish, Level 2. Curriculum Bulletin, 1968-69 Series, Number 13.
ERIC Educational Resources Information Center
Lipton, Gladys; And Others
This second manual of tape scripts, together with a set of foreign language audio tapes for level 2 Spanish, was prepared to support the curriculum bulletin, New York City Foreign Language Program for Secondary Schools: Spanish, Levels 1-5. Vocabulary, repetition, transformation, and recombination drills on specific grammatical features allow…
Manual of Tape Scripts: German, Level 1. Curriculum Bulletin, 1968-69 Series, Number 11.
ERIC Educational Resources Information Center
Lipton, Gladys; And Others
This manual of tape scripts, together with a set of foreign language audio tapes for level 1 German, was prepared to support the curriculum bulletin, New York City Foreign Language Program for Secondary Schools: German, Levels 1-4. Vocabulary, repetition, transformation, and recombination drills on specific grammatical features allow further…
Manual of Tape Scripts: Italian, Level 1. Curriculum Bulletin, 1968-69 Series, Number 12.
ERIC Educational Resources Information Center
Lipton, Gladys; And Others
This manual of tape scripts, together with a set of foreign language audio tapes for level 1 Italian, was prepared to support the curriculum bulletin, New York City Foreign Language Program for Schools: Italian, Levels 1-4. Vocabulary, repetition, transformation, and recombination drills on specific grammatical features allow further development…
Manual of Tape Scripts: Russian, Levels 1 and 2. Curriculum Bulletin, 1969-70 Series, Number 18.
ERIC Educational Resources Information Center
Lipton, Gladys; And Others
This manual of tape scripts, together with a set of foreign language audio tapes for Levels 1 and 2 Russian, was prepared to support the curriculum bulletin, "New York City Foreign Language Program for Schools: Russian, Levels 1-4." Vocabulary, repetition, transformation, and recombination drills on specific grammatical features allow further…
Manual of Tape Scripts: French, Level 2. Curriculum Bulletin, 1968-69 Series, Number 10.
ERIC Educational Resources Information Center
Lipton, Gladys; And Others
This second manual of tape scripts, together with a set of foreign language audio tapes for level 2 French, was prepared to support the curriculum bulletin, New York City Foreign Language Program for Secondary Schools: French, Levels 1-5. Vocabulary, repetition, transformation, and recombination drills on specific grammatical features allow…
Manual of Tape Scripts: Italian, Level 2. Curriculum Bulletin, 1969-70 Series, Number 20.
ERIC Educational Resources Information Center
Lipton, Gladys; And Others
This manual of tape scripts, together with a set of foreign language audio tapes for Level 2 Italian, was prepared to support the curriculum bulletin, "New York City Foreign Language Program for Schools: Italian, Levels 1-4." Vocabulary, repetition, transformation, and recombination drills on specific grammatical features allow further development…
Domain Specific Language Support for Exascale. Final Project Report
DOE Office of Scientific and Technical Information (OSTI.GOV)
Baden, Scott
The project developed a domain specific translator enable legacy MPI source code to tolerate communication delays, which are increasing over time due to technological factors. The translator performs source-to-source translation that incorporates semantic information into the translation process. The output of the translator is a C program runs as a data driven program, and uses an existing run time to overlap communication automatically
User interfaces for computational science: A domain specific language for OOMMF embedded in Python
NASA Astrophysics Data System (ADS)
Beg, Marijan; Pepper, Ryan A.; Fangohr, Hans
2017-05-01
Computer simulations are used widely across the engineering and science disciplines, including in the research and development of magnetic devices using computational micromagnetics. In this work, we identify and review different approaches to configuring simulation runs: (i) the re-compilation of source code, (ii) the use of configuration files, (iii) the graphical user interface, and (iv) embedding the simulation specification in an existing programming language to express the computational problem. We identify the advantages and disadvantages of different approaches and discuss their implications on effectiveness and reproducibility of computational studies and results. Following on from this, we design and describe a domain specific language for micromagnetics that is embedded in the Python language, and allows users to define the micromagnetic simulations they want to carry out in a flexible way. We have implemented this micromagnetic simulation description language together with a computational backend that executes the simulation task using the Object Oriented MicroMagnetic Framework (OOMMF). We illustrate the use of this Python interface for OOMMF by solving the micromagnetic standard problem 4. All the code is publicly available and is open source.
Decision blocks: A tool for automating decision making in CLIPS
NASA Technical Reports Server (NTRS)
Eick, Christoph F.; Mehta, Nikhil N.
1991-01-01
The human capability of making complex decision is one of the most fascinating facets of human intelligence, especially if vague, judgemental, default or uncertain knowledge is involved. Unfortunately, most existing rule based forward chaining languages are not very suitable to simulate this aspect of human intelligence, because of their lack of support for approximate reasoning techniques needed for this task, and due to the lack of specific constructs to facilitate the coding of frequently reoccurring decision block to provide better support for the design and implementation of rule based decision support systems. A language called BIRBAL, which is defined on the top of CLIPS, for the specification of decision blocks, is introduced. Empirical experiments involving the comparison of the length of CLIPS program with the corresponding BIRBAL program for three different applications are surveyed. The results of these experiments suggest that for decision making intensive applications, a CLIPS program tends to be about three times longer than the corresponding BIRBAL program.
Real-time Java for flight applications: an update
NASA Technical Reports Server (NTRS)
Dvorak, D.
2003-01-01
The RTSJ is a specification for supporting real-time execution in the Java programming language. The specification has been shaped by several guiding principles, particularly: predictable execution as the first priority in all tradeoffs, no syntactic extensions to Java, and backward compatibility.
ERIC Educational Resources Information Center
Baldovi, Josep Ramon Torres
1994-01-01
Ideas for French instruction are offered, including a grammar exercise on pronouns; exploration of a comic strip's language and culture; use of a taped program on fashion; and an activity to help French language teachers cope with unfamiliar discipline-specific texts, whose topics (but not language) are familiar to their students. (MSE)
NASA Technical Reports Server (NTRS)
Hinchey, Michael G. (Inventor); Rouff, Christopher A. (Inventor); Rash, James L. (Inventor); Erickson, John D. (Inventor); Gracinin, Denis (Inventor)
2010-01-01
Systems, methods and apparatus are provided through which in some embodiments an informal specification is translated without human intervention into a formal specification. In some embodiments the formal specification is a process-based specification. In some embodiments, the formal specification is translated into a high-level computer programming language which is further compiled into a set of executable computer instructions.
ERIC Educational Resources Information Center
Friedenberg, Joan E.
An external evaluation was conducted of the Workplace Literacy Program at Chinatown Manpower Project, Inc., which provided oral and written job-specific instruction in English as a second language to Chinese garment workers. The program was designed for underemployed garment industry workers with low English proficiency, including seamstresses,…
ERIC Educational Resources Information Center
Lewis, Traschell S.
2012-01-01
The purpose of this study was to examine the effectiveness of selected Advanced Placement (AP) programs on the academic performance and college readiness of high school students. Specifically, the researcher was concerned with ascertaining the effectiveness of social science, math, science, English, music/art and language AP programs on the…
The Ensembl REST API: Ensembl Data for Any Language
Yates, Andrew; Beal, Kathryn; Keenan, Stephen; McLaren, William; Pignatelli, Miguel; Ritchie, Graham R. S.; Ruffier, Magali; Taylor, Kieron; Vullo, Alessandro; Flicek, Paul
2015-01-01
Motivation: We present a Web service to access Ensembl data using Representational State Transfer (REST). The Ensembl REST server enables the easy retrieval of a wide range of Ensembl data by most programming languages, using standard formats such as JSON and FASTA while minimizing client work. We also introduce bindings to the popular Ensembl Variant Effect Predictor tool permitting large-scale programmatic variant analysis independent of any specific programming language. Availability and implementation: The Ensembl REST API can be accessed at http://rest.ensembl.org and source code is freely available under an Apache 2.0 license from http://github.com/Ensembl/ensembl-rest. Contact: ayates@ebi.ac.uk or flicek@ebi.ac.uk Supplementary information: Supplementary data are available at Bioinformatics online. PMID:25236461
Reactive system verification case study: Fault-tolerant transputer communication
NASA Technical Reports Server (NTRS)
Crane, D. Francis; Hamory, Philip J.
1993-01-01
A reactive program is one which engages in an ongoing interaction with its environment. A system which is controlled by an embedded reactive program is called a reactive system. Examples of reactive systems are aircraft flight management systems, bank automatic teller machine (ATM) networks, airline reservation systems, and computer operating systems. Reactive systems are often naturally modeled (for logical design purposes) as a composition of autonomous processes which progress concurrently and which communicate to share information and/or to coordinate activities. Formal (i.e., mathematical) frameworks for system verification are tools used to increase the users' confidence that a system design satisfies its specification. A framework for reactive system verification includes formal languages for system modeling and for behavior specification and decision procedures and/or proof-systems for verifying that the system model satisfies the system specifications. Using the Ostroff framework for reactive system verification, an approach to achieving fault-tolerant communication between transputers was shown to be effective. The key components of the design, the decoupler processes, may be viewed as discrete-event-controllers introduced to constrain system behavior such that system specifications are satisfied. The Ostroff framework was also effective. The expressiveness of the modeling language permitted construction of a faithful model of the transputer network. The relevant specifications were readily expressed in the specification language. The set of decision procedures provided was adequate to verify the specifications of interest. The need for improved support for system behavior visualization is emphasized.
Integration of an expert system into a user interface language demonstration
NASA Technical Reports Server (NTRS)
Stclair, D. C.
1986-01-01
The need for a User Interface Language (UIL) has been recognized by the Space Station Program Office as a necessary tool to aid in minimizing the cost of software generation by multiple users. Previous history in the Space Shuttle Program has shown that many different areas of software generation, such as operations, integration, testing, etc., have each used a different user command language although the types of operations being performed were similar in many respects. Since the Space Station represents a much more complex software task, a common user command language--a user interface language--is required to support the large spectrum of space station software developers and users. To assist in the selection of an appropriate set of definitions for a UIL, a series of demonstration programs was generated with which to test UIL concepts against specific Space Station scenarios using operators for the astronaut and scientific community. Because of the importance of expert system in the space station, it was decided that an expert system should be embedded in the UIL. This would not only provide insight into the UIL components required but would indicate the effectiveness with which an expert system could function in such an environment.
PROGRAMMED INSTRUCTION AND LANGUAGE LEARNING.
ERIC Educational Resources Information Center
LUELSDORFF, PHILIP A.
PROGRAMED INSTRUCTION, A TEACHING METHOD WHICH INCORPORATES (1) A DETAILED SPECIFICATION OF TERMINAL BEHAVIOR, (2) A CAREFUL SEQUENCING OF THE MATERIAL INTO GRADED STEPS, AND (3) THE REINFORCEMENT OF STUDENT RESPONSE, WORKS MORE FAVORABLY IN CERTAIN INSTRUCTIONAL MEDIA THAN IN OTHERS. CARROLL AND SKINNER BELIEVE THAT SUCCESS IN PROGRAMED…
ERIC Educational Resources Information Center
Finney, Frank
Monster Moose (MM) Reading is a program specifically aimed at improving children's language, beginning reading, and self-concept development through the creation and utilization of student-authored reading materials which feature a series of wordless picture books about a magical moose. The MM Program is based on the following general principles…
Curriculum Considerations for Enhancing Baccalaureate Learning for International Students.
ERIC Educational Resources Information Center
Pardue, Karen T.; Haas, Barbara
2003-01-01
A nursing education program for Israeli students included a final semester in the United States. Program adjustments were made to address English-language fluency, cultural orientation to collectivism, support services for academic writing, and other issues related to the specific learning needs of this population. (SK)
ERIC Educational Resources Information Center
Aubrecht, Amy; Eames-Sheavly, Marica
2012-01-01
Addressing needs of the increasing Latino population in the United States necessitates adequate support and resources for Extension educators. Even if a program has identified the need for resources and programming, how does it determine the specifics of that need and better understand the perceptions of educators engaged in programming? What is…
PC Software for Artificial Intelligence Applications.
Epp, H; Kalin, M; Miller, D
1988-05-06
Our review has emphasized that AI tools are programming languages inspired by some problem-solving paradigm. We want to underscore their status as programming languages; even if an AI tool seems to fit a problem perfectly, its proficient use still requires the training and practice associated with any programming language. The programming manuals for PC-Plus, Smalltalk/ V, and Nexpert Object are all tutorial in nature, and the corresponding software packages come with sample applications. We find the manuals to be uniformly good introductions that try to anticipate the problems of a user who is new to the technology. All three vendors offer free technical support by telephone to licensed users. AI tools are sometimes oversold as a way to make programming easy or to avoid it altogether. The truth is that AI tools demand programming-but programming that allows you to concentrate on the essentials of the problem. If we had to implement a diagnostic system, we would look first to a product such as PC-Plus rather than BASIC or C, because PC-Plus is designed specifically for such a problem, whereas these conventional languages are not. If we had to implement a system that required graphical interfaces and could benefit from inheritance, we would look first to an object-oriented system such as Smalltalk/V that provides built-in mechanisms for both. If we had to implement an expert system that called for some mix of AI and conventional techniques, we would look first to a product such as Nexpert Object that integrates various problem-solving technologies. Finally, we might use FORTRAN if we were concerned primarily with programming a well-defined numerical algorithm. AI tools are a valuable complement to traditional languages.
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…
Writing and reading: connections between language by hand and language by eye.
Berninger, Virginia W; Abbott, Robert D; Abbott, Sylvia P; Graham, Steve; Richards, Todd
2002-01-01
Four approaches to the investigation of connections between language by hand and language by eye are described and illustrated with studies from a decade-long research program. In the first approach, multigroup structural equation modeling is applied to reading and writing measures given to typically developing writers to examine unidirectional and bidirectional relationships between specific components of the reading and writing systems. In the second approach, structural equation modeling is applied to a multivariate set of language measures given to children and adults with reading and writing disabilities to examine how the same set of language processes is orchestrated differently to accomplish specific reading or writing goals, and correlations between factors are evaluated to examine the level at which the language-by-hand system and the language-by-eye system communicate most easily. In the third approach, mode of instruction and mode of response are systematically varied in evaluating effectiveness of treating reading disability with and without a writing component. In the fourth approach, functional brain imaging is used to investigate residual spelling problems in students whose problems with word decoding have been remediated. The four approaches support a model in which language by hand and language by eye are separate systems that interact in predictable ways.
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…
Formal Specification and Verification of Concurrent Programs
1993-02-01
of examples from the emerging theory of This book describes operating systems in general programming languages. via the construction of MINIX , a UNIX...look-alike that runs on IBM-PC compatibles. The book con- Wegner72 tains a complete MINIX manual and a complete Wegnerflisting of its C codie. egner
Literacy, Language and Social Interaction in Special Schools
ERIC Educational Resources Information Center
Reichenberg, Monica
2015-01-01
The present study is a follow up study to a quantitative intervention study where two intervention programs, Reciprocal Teaching and Inference Training, were practiced. This study aims at capturing the potentials benefits and qualitative aspects of one of the programs evaluated, Reciprocal Teaching. More specifically, I have investigated the video…
47 CFR 76.124 - Requirements for invocation of protection.
Code of Federal Regulations, 2011 CFR
2011-10-01
... station licensee or distributor of syndicated programming to be eligible to invoke the provisions of § 76... against duplication of programming imported under the Statutory Copyright License, as provided in § 76.122... foregoing language plus a clear and specific reference to the licensee's authority to exercise exclusivity...
47 CFR 76.124 - Requirements for invocation of protection.
Code of Federal Regulations, 2010 CFR
2010-10-01
... station licensee or distributor of syndicated programming to be eligible to invoke the provisions of § 76... against duplication of programming imported under the Statutory Copyright License, as provided in § 76.122... foregoing language plus a clear and specific reference to the licensee's authority to exercise exclusivity...
Costas-Muniz, R; Amir, J; Paris, M; Spratt, D; Arevalo-Perez, J; Fareedy, S; González, CJ; Gany, F; Camacho-Rivera, M; Osborne, JR
2017-01-01
Addressing language and cultural nuance is required to improve the quality of care among all patients. The tenth version of the National Standards for Culturally and Linguistically Appropriate Services in Health Care (CLAS) recommends implementing ongoing assessments to integrate specific actions into measurement and continuous quality improvement activities. To this end, we have created the Interventional Cultural and Language Assistance Program (ICLAP). As part of ICLAP, we conducted a cross-sectional needs assessment survey with 564 consecutive patients receiving outpatient Positron emission tomography-computed tomography (PET/CT) imaging at a comprehensive cancer center in the five most prevalent languages of New York City: English, Spanish, Russian, Chinese, and Arabic. The purpose of this study is to describe the language assistance characteristics and needs of a sample of patients receiving care in the cancer center. We examined the relationship between race, ethnicity, birthplace, communication and language assistance characteristics and the satisfaction with the care received. Our results show that race and ethnicity, birthplace, cultural beliefs, language assistance, and communication characteristics were all factors associated with patients’ satisfaction with care, illustrating that there is an unmet need among cancer patients to have cultural and linguistic sensitive services. PMID:29423339
Automating Traceability for Generated Software Artifacts
NASA Technical Reports Server (NTRS)
Richardson, Julian; Green, Jeffrey
2004-01-01
Program synthesis automatically derives programs from specifications of their behavior. One advantage of program synthesis, as opposed to manual coding, is that there is a direct link between the specification and the derived program. This link is, however, not very fine-grained: it can be best characterized as Program is-derived- from Specification. When the generated program needs to be understood or modified, more $ne-grained linking is useful. In this paper, we present a novel technique for automatically deriving traceability relations between parts of a specification and parts of the synthesized program. The technique is very lightweight and works -- with varying degrees of success - for any process in which one artifact is automatically derived from another. We illustrate the generality of the technique by applying it to two kinds of automatic generation: synthesis of Kalman Filter programs from speci3cations using the Aut- oFilter program synthesis system, and generation of assembly language programs from C source code using the GCC C compilel: We evaluate the effectiveness of the technique in the latter application.
Goodman, Thomas C.; Hardies, Stephen C.; Cortez, Carlos; Hillen, Wolfgang
1981-01-01
Computer programs are described that direct the collection, processing, and graphical display of numerical data obtained from high resolution thermal denaturation (1-3) and circular dichroism (4) studies. Besides these specific applications, the programs may also be useful, either directly or as programming models, in other types of spectrophotometric studies employing computers, programming languages, or instruments similar to those described here (see Materials and Methods). PMID:7335498
ERIC Educational Resources Information Center
PSI Associates, Inc., Washington, DC.
The Peace Corps stateside training program for secondary school teachers in Liberia trained 37 volunteers in several subject area groups--language arts, mathematics and science, and health. Because many of the teachers had never taught before, their 4-week training program concentrated on teaching and learning theories and specific teaching…
System Specification for ADA Integrated Environment Type A AIE(1).
1982-11-12
includes program library support tools and the linker. The program library is the means by which the AIE supports independent, modular program development...KAPSE TUOL COMMUNICATION Package KAPSE-KAPS ECOMMUNICATION (KAPSE.RTS) (Most of it, except the "Language-Defined Packages" CPC) The overall...including classification of errors by severity; 5. perform optimizations for timing and/or space, without changing the functional meaning of a program by the
Increasing productivity of the McAuto CAD/CAE system by user-specific applications programming
NASA Technical Reports Server (NTRS)
Plotrowski, S. M.; Vu, T. H.
1985-01-01
Significant improvements in the productivity of the McAuto Computer-Aided Design/Computer-Aided Engineering (CAD/CAE) system were achieved by applications programming using the system's own Graphics Interactive Programming language (GRIP) and the interface capabilities with the main computer on which the system resides. The GRIP programs for creating springs, bar charts, finite element model representations and aiding management planning are presented as examples.
NASA Astrophysics Data System (ADS)
Rivera Maulucci, Maria S.
2008-04-01
This study reports a subset of findings from a larger, ongoing study aimed at exploring interactions between teacher identity, learning, and classroom practices in a social justice teacher education program at a selective liberal arts college in New York. This case-study explores the journey of Elena, as an immigrant, a student, and a pre-service teacher candidate towards becoming a social justice educator. Elena reflects upon her school language experiences as an immigrant youth, her learning in a social justice teacher education program, and her field experiences in an international high school. The analysis spans macro-, meso-, and microlevels to explore the ways globalization, particularly immigration, as well as schooling policies for English language learners interact with aspects of Elena's core identity, particularly in school settings. The findings show some of the ways language and literacy verified and/or denied aspects of Elena's core identity; specific instances where second language proficiency was cast as power and privilege versus disadvantage according to ethnic, language, and class categorizations; and the struggles Elena, and other immigrant youth may face given the focus on English language acquisition and high stakes accountability in schools, at the expense of students' primary language proficiency and affirmation of core identity markers.
Nogueira, Débora Manzano; Cárnio, Maria Silvia
2018-01-01
Purpose Prepare a Speech-language Pathology Program for Reading Comprehension and Orthography and verify its effects on the reading comprehension and spelling of students with Developmental Dyslexia. Methods The study sample was composed of eleven individuals (eight males), diagnosed with Developmental Dyslexia, aged 09-11 years. All participants underwent a Speech-language Pathology Program in Reading Comprehension and Orthography comprising 16 individual weekly sessions. In each session, tasks of reading comprehension of texts and orthography were developed. At the beginning and end of the Program, the participants were submitted to a specific assessment (pre- and post-test). Results The individuals presented difficulty in reading comprehension, but the Cloze technique proved to be a useful remediation tool, and significant improvement in their performance was observed in the post-test evaluation. The dyslexic individuals showed poor performance for their educational level in the spelling assessment. At the end of the program, their performance evolved, but it remained below the expected, showing the same error pattern at the pre- and post-tests, with errors in both natural and arbitrary spelling. Conclusion The proposed Speech-language Pathology Program for Reading Comprehension and Orthography produced positive effects on the reading comprehension, spelling, and motivation to reading and writing of the participants. This study presents an unprecedented contribution by proposing joint stimulation of reading and writing by means of a program easy to apply and analyze in individuals with Developmental Dyslexia.
Can space station software be specified through Ada?
NASA Technical Reports Server (NTRS)
Knoebel, Arthur
1987-01-01
Programming of the space station is to be done in the Ada programming language. A breadboard of selected parts of the work package for Marshall Space Flight Center is to be built, and programming this small part will be a good testing ground for Ada. One coding of the upper levels of the design brings out several problems with top-down design when it is to be carried out strictly within the language. Ada is evaluated on the basis of this experience, and the points raised are compared with other experience as related in the literature. Rapid prototyping is another approach to the initial programming; several different types of prototypes are discussed, and compared with the art of specification. Some solutions are proposed and a number of recommendations presented.
Analysis of high-order languages for use on space station application software
NASA Technical Reports Server (NTRS)
Knoebel, A.
1986-01-01
Considered in this study is the general and not easily resolved problem of how to choose the right programming language for a particular task. This is specialized to the question of which versions of what languages should be chosen for the multitude of tasks that the Marshall Space Flight Center will be responsible for in the Space Station. Four criteria are presented: theoretical considerations, quantitative matrices, qualitative benchmarks, and the monitoring of programmers. Specific recommendations for future studies are given to resolve these questions for the Space Station.
SOL - SIZING AND OPTIMIZATION LANGUAGE COMPILER
NASA Technical Reports Server (NTRS)
Scotti, S. J.
1994-01-01
SOL is a computer language which is geared to solving design problems. SOL includes the mathematical modeling and logical capabilities of a computer language like FORTRAN but also includes the additional power of non-linear mathematical programming methods (i.e. numerical optimization) at the language level (as opposed to the subroutine level). The language-level use of optimization has several advantages over the traditional, subroutine-calling method of using an optimizer: first, the optimization problem is described in a concise and clear manner which closely parallels the mathematical description of optimization; second, a seamless interface is automatically established between the optimizer subroutines and the mathematical model of the system being optimized; third, the results of an optimization (objective, design variables, constraints, termination criteria, and some or all of the optimization history) are output in a form directly related to the optimization description; and finally, automatic error checking and recovery from an ill-defined system model or optimization description is facilitated by the language-level specification of the optimization problem. Thus, SOL enables rapid generation of models and solutions for optimum design problems with greater confidence that the problem is posed correctly. The SOL compiler takes SOL-language statements and generates the equivalent FORTRAN code and system calls. Because of this approach, the modeling capabilities of SOL are extended by the ability to incorporate existing FORTRAN code into a SOL program. In addition, SOL has a powerful MACRO capability. The MACRO capability of the SOL compiler effectively gives the user the ability to extend the SOL language and can be used to develop easy-to-use shorthand methods of generating complex models and solution strategies. The SOL compiler provides syntactic and semantic error-checking, error recovery, and detailed reports containing cross-references to show where each variable was used. The listings summarize all optimizations, listing the objective functions, design variables, and constraints. The compiler offers error-checking specific to optimization problems, so that simple mistakes will not cost hours of debugging time. The optimization engine used by and included with the SOL compiler is a version of Vanderplatt's ADS system (Version 1.1) modified specifically to work with the SOL compiler. SOL allows the use of the over 100 ADS optimization choices such as Sequential Quadratic Programming, Modified Feasible Directions, interior and exterior penalty function and variable metric methods. Default choices of the many control parameters of ADS are made for the user, however, the user can override any of the ADS control parameters desired for each individual optimization. The SOL language and compiler were developed with an advanced compiler-generation system to ensure correctness and simplify program maintenance. Thus, SOL's syntax was defined precisely by a LALR(1) grammar and the SOL compiler's parser was generated automatically from the LALR(1) grammar with a parser-generator. Hence unlike ad hoc, manually coded interfaces, the SOL compiler's lexical analysis insures that the SOL compiler recognizes all legal SOL programs, can recover from and correct for many errors and report the location of errors to the user. This version of the SOL compiler has been implemented on VAX/VMS computer systems and requires 204 KB of virtual memory to execute. Since the SOL compiler produces FORTRAN code, it requires the VAX FORTRAN compiler to produce an executable program. The SOL compiler consists of 13,000 lines of Pascal code. It was developed in 1986 and last updated in 1988. The ADS and other utility subroutines amount to 14,000 lines of FORTRAN code and were also updated in 1988.
34 CFR 656.23 - What priorities may the Secretary establish?
Code of Federal Regulations, 2010 CFR
2010-07-01
... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION NATIONAL RESOURCE CENTERS PROGRAM FOR FOREIGN LANGUAGE AND AREA... priorities: (1) Specific countries or world areas, such as, for example, East Asia, Africa, or the Middle East. (2) Specific focus of a Center, such as, for example, a single world area; international studies...
Pizzo, Lianna; Chilvers, Amanda
2016-01-01
The authors address considerations and promising practices relating to assessment of d/Deaf and Hard of Hearing Multilingual Learners. DMLs' unique culture(s), language(s), and learning needs must be considered when assessments of this population are being planned, conducted, and interpreted. The authors address theory and research on (a) general considerations for the overarching assessment process, (b) specific assessment approaches used to assess DMLs, and (c) assessment of language proficiency for diverse language learners. In addition, basic recommendations for the assessment of DMLs are made, including increased availability of assessments in various languages, use of multiple sources of individual and family data, assessment of all languages, and incorporation of a strong assessment component (that includes nondiscrimination practices) into teacher preparation programs.
Programming the social computer.
Robertson, David; Giunchiglia, Fausto
2013-03-28
The aim of 'programming the global computer' was identified by Milner and others as one of the grand challenges of computing research. At the time this phrase was coined, it was natural to assume that this objective might be achieved primarily through extending programming and specification languages. The Internet, however, has brought with it a different style of computation that (although harnessing variants of traditional programming languages) operates in a style different to those with which we are familiar. The 'computer' on which we are running these computations is a social computer in the sense that many of the elementary functions of the computations it runs are performed by humans, and successful execution of a program often depends on properties of the human society over which the program operates. These sorts of programs are not programmed in a traditional way and may have to be understood in a way that is different from the traditional view of programming. This shift in perspective raises new challenges for the science of the Web and for computing in general.
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...
Enhancing Problem-Solving Capabilities Using Object-Oriented Programming Language
ERIC Educational Resources Information Center
Unuakhalu, Mike F.
2009-01-01
This study integrated object-oriented programming instruction with transfer training activities in everyday tasks, which might provide a mechanism that can be used for efficient problem solving. Specifically, a Visual BASIC embedded with everyday tasks group was compared to another group exposed to Visual BASIC instruction only. Subjects were 40…
Good Talking Words: A Social Communications Skills Program for Preschool and Kindergarten Classes.
ERIC Educational Resources Information Center
Paulson, Lucy Hart; van den Pol, Rick
The "Good Talking Words" program aims to help children develop and demonstrate the social communication skills that are vital to school and life success. It uses an active, direct instructional approach for preschool and kindergarten students that uses language experiences to teach specific, prosocial behaviors that will help children…
Immersion francaise precoce: Francais I (Early French Immersion: French I).
ERIC Educational Resources Information Center
Burt, Andy; And Others
This manual for first grade French instruction accompanies the early French immersion program. It is based on general and specific learning objectives for the four language skills the child needs to develop (listening, speaking, reading, and writing). The introduction to the manual provides an overview of the program for the primary grades and…
Toward real-time performance benchmarks for Ada
NASA Technical Reports Server (NTRS)
Clapp, Russell M.; Duchesneau, Louis; Volz, Richard A.; Mudge, Trevor N.; Schultze, Timothy
1986-01-01
The issue of real-time performance measurements for the Ada programming language through the use of benchmarks is addressed. First, the Ada notion of time is examined and a set of basic measurement techniques are developed. Then a set of Ada language features believed to be important for real-time performance are presented and specific measurement methods discussed. In addition, other important time related features which are not explicitly part of the language but are part of the run-time related features which are not explicitly part of the language but are part of the run-time system are also identified and measurement techniques developed. The measurement techniques are applied to the language and run-time system features and the results are presented.
Software attribute visualization for high integrity software
DOE Office of Scientific and Technical Information (OSTI.GOV)
Pollock, G.M.
1998-03-01
This report documents a prototype tool developed to investigate the use of visualization and virtual reality technologies for improving software surety confidence. The tool is utilized within the execution phase of the software life cycle. It provides a capability to monitor an executing program against prespecified requirements constraints provided in a program written in the requirements specification language SAGE. The resulting Software Attribute Visual Analysis Tool (SAVAnT) also provides a technique to assess the completeness of a software specification.
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. ...
Sobie, Eric A
2011-09-13
This two-part lecture introduces students to the scientific computing language MATLAB. Prior computer programming experience is not required. The lectures present basic concepts of computer programming logic that tend to cause difficulties for beginners in addition to concepts that relate specifically to the MATLAB language syntax. The lectures begin with a discussion of vectors, matrices, and arrays. Because many types of biological data, such as fluorescence images and DNA microarrays, are stored as two-dimensional objects, processing these data is a form of array manipulation, and MATLAB is especially adept at handling such array objects. The students are introduced to basic commands in MATLAB, as well as built-in functions that provide useful shortcuts. The second lecture focuses on the differences between MATLAB scripts and MATLAB functions and describes when one method of programming organization might be preferable to the other. The principles are illustrated through the analysis of experimental data, specifically measurements of intracellular calcium concentration in live cells obtained using confocal microscopy.
Sobie, Eric A.
2014-01-01
This two-part lecture introduces students to the scientific computing language MATLAB. Prior computer programming experience is not required. The lectures present basic concepts of computer programming logic that tend to cause difficulties for beginners in addition to concepts that relate specifically to the MATLAB language syntax. The lectures begin with a discussion of vectors, matrices, and arrays. Because many types of biological data, such as fluorescence images and DNA microarrays, are stored as two-dimensional objects, processing these data is a form of array manipulation, and MATLAB is especially adept at handling such array objects. The students are introduced to basic commands in MATLAB, as well as built-in functions that provide useful shortcuts. The second lecture focuses on the differences between MATLAB scripts and MATLAB functions and describes when one method of programming organization might be preferable to the other. The principles are illustrated through the analysis of experimental data, specifically measurements of intracellular calcium concentration in live cells obtained using confocal microscopy. PMID:21934110
Composable languages for bioinformatics: the NYoSh experiment
Simi, Manuele
2014-01-01
Language WorkBenches (LWBs) are software engineering tools that help domain experts develop solutions to various classes of problems. Some of these tools focus on non-technical users and provide languages to help organize knowledge while other workbenches provide means to create new programming languages. A key advantage of language workbenches is that they support the seamless composition of independently developed languages. This capability is useful when developing programs that can benefit from different levels of abstraction. We reasoned that language workbenches could be useful to develop bioinformatics software solutions. In order to evaluate the potential of language workbenches in bioinformatics, we tested a prominent workbench by developing an alternative to shell scripting. To illustrate what LWBs and Language Composition can bring to bioinformatics, we report on our design and development of NYoSh (Not Your ordinary Shell). NYoSh was implemented as a collection of languages that can be composed to write programs as expressive and concise as shell scripts. This manuscript offers a concrete illustration of the advantages and current minor drawbacks of using the MPS LWB. For instance, we found that we could implement an environment-aware editor for NYoSh that can assist the programmers when developing scripts for specific execution environments. This editor further provides semantic error detection and can be compiled interactively with an automatic build and deployment system. In contrast to shell scripts, NYoSh scripts can be written in a modern development environment, supporting context dependent intentions and can be extended seamlessly by end-users with new abstractions and language constructs. We further illustrate language extension and composition with LWBs by presenting a tight integration of NYoSh scripts with the GobyWeb system. The NYoSh Workbench prototype, which implements a fully featured integrated development environment for NYoSh is distributed at http://nyosh.campagnelab.org. PMID:24482760
Composable languages for bioinformatics: the NYoSh experiment.
Simi, Manuele; Campagne, Fabien
2014-01-01
Language WorkBenches (LWBs) are software engineering tools that help domain experts develop solutions to various classes of problems. Some of these tools focus on non-technical users and provide languages to help organize knowledge while other workbenches provide means to create new programming languages. A key advantage of language workbenches is that they support the seamless composition of independently developed languages. This capability is useful when developing programs that can benefit from different levels of abstraction. We reasoned that language workbenches could be useful to develop bioinformatics software solutions. In order to evaluate the potential of language workbenches in bioinformatics, we tested a prominent workbench by developing an alternative to shell scripting. To illustrate what LWBs and Language Composition can bring to bioinformatics, we report on our design and development of NYoSh (Not Your ordinary Shell). NYoSh was implemented as a collection of languages that can be composed to write programs as expressive and concise as shell scripts. This manuscript offers a concrete illustration of the advantages and current minor drawbacks of using the MPS LWB. For instance, we found that we could implement an environment-aware editor for NYoSh that can assist the programmers when developing scripts for specific execution environments. This editor further provides semantic error detection and can be compiled interactively with an automatic build and deployment system. In contrast to shell scripts, NYoSh scripts can be written in a modern development environment, supporting context dependent intentions and can be extended seamlessly by end-users with new abstractions and language constructs. We further illustrate language extension and composition with LWBs by presenting a tight integration of NYoSh scripts with the GobyWeb system. The NYoSh Workbench prototype, which implements a fully featured integrated development environment for NYoSh is distributed at http://nyosh.campagnelab.org.
1989-08-01
Programming Languages Used: AUTOCAD Command, AUTOLISP Type of Commercial Program Used: CAD Specific Commercial Program Used: AUTOCAD Version: 1.0...collection which the system can directly translate into printed reports. This eliminates the need for filling data collection forms and manual compiling of
ERIC Educational Resources Information Center
Wong, Gary
2017-01-01
Decision making is a cornerstone of quality leadership. However, specific research is needed in areas pertaining to education and programs used towards state test scores. In this study, the researcher has investigated the scores from the New York State English Language Arts exam; the effect two literacy programs had on the exam, Teacher's College…
Domain Specific Language Support for Exascale
DOE Office of Scientific and Technical Information (OSTI.GOV)
Sadayappan, Ponnuswamy
Domain-Specific Languages (DSLs) offer an attractive path to Exascale software since they provide expressive power through appropriate abstractions and enable domain-specific optimizations. But the advantages of a DSL compete with the difficulties of implementing a DSL, even for a narrowly defined domain. The DTEC project addresses how a variety of DSLs can be easily implemented to leverage existing compiler analysis and transformation capabilities within the ROSE open source compiler as part of a research program focusing on Exascale challenges. The OSU contributions to the DTEC project are in the area of code generation from high-level DSL descriptions, as well asmore » verification of the automatically-generated code.« less
Tsiriotakis, Ioanna K.; Vassilaki, Eleni; Spantidakis, Ioannis; Stavrou, Nektarios A. M.
2017-01-01
Empirical studies have shown that anxiety and negative emotion can hinder language acquisition. The present study implemented a writing instructional model so as to investigate its effects on the writing anxiety levels of English Foreign Language learners. The study was conducted with 177 participants, who were administered the Second Language Writing Anxiety Inventory (SLWAI; Cheng, 2004) that assesses somatic, cognitive and behavioral anxiety, both at baseline and following the implementation of a writing instructional model. The hypothesis stated that the participant's writing anxiety levels would lessen following the provision of a writing strategy-based procedural facilitative environment that fosters cognitive apprenticeship. The initial hypothesis was supported by the findings. Specifically, in the final measurement statistical significant differences appeared where participants in the experimental group showed notable lower mean values of the three factors of anxiety, a factor that largely can be attributed to the content of the intervention program applied to this specific group. The findings validate that Foreign Language writing anxiety negatively effects Foreign Language learning and performance. The findings also support the effectiveness of strategy-based procedural facilitative writing environments that foster cognitive apprenticeship, so as to enhance language skill development and reduce feelings of Foreign Language writing anxiety. PMID:28119658
Tsiriotakis, Ioanna K; Vassilaki, Eleni; Spantidakis, Ioannis; Stavrou, Nektarios A M
2016-01-01
Empirical studies have shown that anxiety and negative emotion can hinder language acquisition. The present study implemented a writing instructional model so as to investigate its effects on the writing anxiety levels of English Foreign Language learners. The study was conducted with 177 participants, who were administered the Second Language Writing Anxiety Inventory (SLWAI; Cheng, 2004) that assesses somatic, cognitive and behavioral anxiety, both at baseline and following the implementation of a writing instructional model. The hypothesis stated that the participant's writing anxiety levels would lessen following the provision of a writing strategy-based procedural facilitative environment that fosters cognitive apprenticeship. The initial hypothesis was supported by the findings. Specifically, in the final measurement statistical significant differences appeared where participants in the experimental group showed notable lower mean values of the three factors of anxiety, a factor that largely can be attributed to the content of the intervention program applied to this specific group. The findings validate that Foreign Language writing anxiety negatively effects Foreign Language learning and performance. The findings also support the effectiveness of strategy-based procedural facilitative writing environments that foster cognitive apprenticeship, so as to enhance language skill development and reduce feelings of Foreign Language writing anxiety.
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…
Multiprocessor architecture: Synthesis and evaluation
NASA Technical Reports Server (NTRS)
Standley, Hilda M.
1990-01-01
Multiprocessor computed architecture evaluation for structural computations is the focus of the research effort described. Results obtained are expected to lead to more efficient use of existing architectures and to suggest designs for new, application specific, architectures. The brief descriptions given outline a number of related efforts directed toward this purpose. The difficulty is analyzing an existing architecture or in designing a new computer architecture lies in the fact that the performance of a particular architecture, within the context of a given application, is determined by a number of factors. These include, but are not limited to, the efficiency of the computation algorithm, the programming language and support environment, the quality of the program written in the programming language, the multiplicity of the processing elements, the characteristics of the individual processing elements, the interconnection network connecting processors and non-local memories, and the shared memory organization covering the spectrum from no shared memory (all local memory) to one global access memory. These performance determiners may be loosely classified as being software or hardware related. This distinction is not clear or even appropriate in many cases. The effect of the choice of algorithm is ignored by assuming that the algorithm is specified as given. Effort directed toward the removal of the effect of the programming language and program resulted in the design of a high-level parallel programming language. Two characteristics of the fundamental structure of the architecture (memory organization and interconnection network) are examined.
Synthesizing Safety Conditions for Code Certification Using Meta-Level Programming
NASA Technical Reports Server (NTRS)
Eusterbrock, Jutta
2004-01-01
In code certification the code consumer publishes a safety policy and the code producer generates a proof that the produced code is in compliance with the published safety policy. In this paper, a novel viewpoint approach towards an implementational re-use oriented framework for code certification is taken. It adopts ingredients from Necula's approach for proof-carrying code, but in this work safety properties can be analyzed on a higher code level than assembly language instructions. It consists of three parts: (1) The specification language is extended to include generic pre-conditions that shall ensure safety at all states that can be reached during program execution. Actual safety requirements can be expressed by providing domain-specific definitions for the generic predicates which act as interface to the environment. (2) The Floyd-Hoare inductive assertion method is refined to obtain proof rules that allow the derivation of the proof obligations in terms of the generic safety predicates. (3) A meta-interpreter is designed and experimentally implemented that enables automatic synthesis of proof obligations for submitted programs by applying the modified Floyd-Hoare rules. The proof obligations have two separate conjuncts, one for functional correctness and another for the generic safety obligations. Proof of the generic obligations, having provided the actual safety definitions as context, ensures domain-specific safety of program execution in a particular environment and is simpler than full program verification.
Report on the formal specification and partial verification of the VIPER microprocessor
NASA Technical Reports Server (NTRS)
Brock, Bishop; Hunt, Warren A., Jr.
1991-01-01
The VIPER microprocessor chip is partitioned into four levels of abstractions. At the highest level, VIPER is described with decreasingly abstract sets of functions in LCF-LSM. At the lowest level are the gate-level models in proprietary CAD languages. The block-level and gate-level specifications are also given in the ELLA simulation language. Among VIPER's deficiencies are the fact that there is no notion of external events in the top-level specification, and it is impossible to use the top-level specifications to prove abstract properties of programs running on VIPER computers. There is no complete proof that the gate-level specifications implement the top-level specifications. Cohn's proof that the major-state machine correctly implements the top-level specifications has no formal connection with any of the other proof attempts. None of the latter address resetting the machine, memory timeout, forced error, or single step modes.
Building Career and Educational Pathways through Partnerships and Education
ERIC Educational Resources Information Center
Martinez, Sara; Savino, Ann; Tollefson, Susan
2009-01-01
The Texas Industry-Specific English as a Second Language (TIESL) Curricula Project was developed by the El Paso Community College under an initiative with Texas LEARNS (the management group for the Texas education agency's adult education programs across the state). It created a unique career-specific exploration curricula and opened new pathways…
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.
Schreibman, Laura; Stahmer, Aubyn C
2014-05-01
Presently there is no consensus on the specific behavioral treatment of choice for targeting language in young nonverbal children with autism. This randomized clinical trial compared the effectiveness of a verbally-based intervention, Pivotal Response Training (PRT) to a pictorially-based behavioral intervention, the Picture Exchange Communication System (PECS) on the acquisition of spoken language by young (2-4 years), nonverbal or minimally verbal (≤9 words) children with autism. Thirty-nine children were randomly assigned to either the PRT or PECS condition. Participants received on average 247 h of intervention across 23 weeks. Dependent measures included overall communication, expressive vocabulary, pictorial communication and parent satisfaction. Children in both intervention groups demonstrated increases in spoken language skills, with no significant difference between the two conditions. Seventy-eight percent of all children exited the program with more than 10 functional words. Parents were very satisfied with both programs but indicated PECS was more difficult to implement.
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...
NASA Technical Reports Server (NTRS)
Johnson, Sally C.; Boerschlein, David P.
1995-01-01
Semi-Markov models can be used to analyze the reliability of virtually any fault-tolerant system. However, the process of delineating all the states and transitions in a complex system model can be devastatingly tedious and error prone. The Abstract Semi-Markov Specification Interface to the SURE Tool (ASSIST) computer program allows the user to describe the semi-Markov model in a high-level language. Instead of listing the individual model states, the user specifies the rules governing the behavior of the system, and these are used to generate the model automatically. A few statements in the abstract language can describe a very large, complex model. Because no assumptions are made about the system being modeled, ASSIST can be used to generate models describing the behavior of any system. The ASSIST program and its input language are described and illustrated by examples.
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.
ERIC Educational Resources Information Center
Alberta Learning, Edmonton. Direction de l'education francaise.
This teacher's guide is intended for the instruction of both French as a first language and French as a second language in an immersion setting. It provides a host of strategies for teaching listening skills in the classroom in Grades 6 through 12. The first section is designed to bring the teacher's awareness to the training procedure. It…
ERIC Educational Resources Information Center
Northwest Territories Dept. of Education, Culture and Employment, Yellowknife.
This teacher's guide is intended for the instruction of both French as a first language and French as a second language in an immersion setting. It provides a host of strategies for teaching reading skills in the classroom in Grades 6 through 12. The first section is designed to bring the teacher's awareness to the training procedure. It discusses…
ERIC Educational Resources Information Center
Northwest Territories Dept. of Education, Culture and Employment, Yellowknife.
This teacher's guide, intended for the instruction of both French as a first language and French as a second language in an immersion setting, provides a host of strategies for teaching reading skills in the classroom (Grades 1 through 7). Section 1 is designed to bring the teacher's awareness to the training procedure, discussing the motivation…
ERIC Educational Resources Information Center
Alberta Learning, Edmonton. Direction de l'education francaise.
This teacher's guide, intended for the instruction of both French as a first language and French as a second language in an immersion setting, provides a host of strategies for teaching writing skills in the classroom (Grades 6 through 12). Section 1 is designed to bring the teacher's awareness to the training procedure, discussing the motivation…
ERIC Educational Resources Information Center
Alberta Learning, Edmonton. Direction de l'education francaise.
This teacher's guide, written in French, intended for the instruction of both French as a first language and French as a second language (immersion), provides a host of strategies for teaching writing skills in the classroom (grades 1 through 7). Section 1 is designed to bring the teacher's awareness to the training procedure, discussing the…
General specifications for the development of a PC-based simulator of the NASA RECON system
NASA Technical Reports Server (NTRS)
Dominick, Wayne D. (Editor); Triantafyllopoulos, Spiros
1984-01-01
The general specifications for the design and implementation of an IBM PC/XT-based simulator of the NASA RECON system, including record designs, file structure designs, command language analysis, program design issues, error recovery considerations, and usage monitoring facilities are discussed. Once implemented, such a simulator will be utilized to evaluate the effectiveness of simulated information system access in addition to actual system usage as part of the total educational programs being developed within the NASA contract.
The programming language HAL: A specification
NASA Technical Reports Server (NTRS)
1971-01-01
HAL accomplishes three significant objectives: (1) increased readability, through the use of a natural two-dimensional mathematical format; (2) increased reliability, by providing for selective recognition of common data and subroutines, and by incorporating specific data-protect features; (3) real-time control facility, by including a comprehensive set of real-time control commands and signal conditions. Although HAL is designed primarily for programming on-board computers, it is general enough to meet nearly all the needs in the production, verification and support of aerospace, and other real-time applications.
Stevens, Kimberly A; Ronan, Prof Kevin; Davies, Gene
2017-05-01
This paper reports on a new family-centred, feedback-informed intervention focused on evaluating therapeutic outcomes and language changes across treatment for conduct disorder (CD). The study included 26 youth and families from a larger randomised, controlled trial (Ronan et al., in preparation). Outcome measures reflected family functioning/youth compliance, delinquency, and family goal attainment. First- and last-treatment session audio files were transcribed into more than 286,000 words and evaluated through the Linguistic Inquiry and Word Count Analysis program (Pennebaker et al., 2007). Significant outcomes across family functioning/youth compliance, delinquency, goal attainment and word usage reflected moderate-strong effect sizes. Benchmarking findings also revealed reduced time of treatment delivery compared to a gold standard approach. Linguistic analysis revealed specific language changes across treatment. For caregivers, increased first person, action-oriented, present tense, and assent type words and decreased sadness words were found; for youth, significant reduction in use of leisure words. This study is the first using lexical analyses of natural language to assess change across treatment for conduct disordered youth and families. Such findings provided strong support for program tenets; others, more speculative support. Copyright © 2016. Published by Elsevier B.V.
NASA Astrophysics Data System (ADS)
Chakaveh, Sepideh; Skaley, Detlef; Laine, Patricia; Haeger, Ralf; Maad, Soha
2003-01-01
Today, interactive multimedia educational systems are well established, as they prove useful instruments to enhance one's learning capabilities. Hitherto, the main difficulty with almost all E-Learning systems was latent in the rich media implementation techniques. This meant that each and every system should be created individually as reapplying the media, be it only a part, or the whole content was not directly possible, as everything must be applied mechanically i.e. by hand. Consequently making E-learning systems exceedingly expensive to generate, both in time and money terms. Media-3D or M3D is a new platform independent programming language, developed at the Fraunhofer Institute Media Communication to enable visualisation and simulation of E-Learning multimedia content. M3D is an XML-based language, which is capable of distinguishing between the3D models from that of the 3D scenes, as well as handling provisions for animations, within the programme. Here we give a technical account of M3D programming language and briefly describe two specific application scenarios where M3D is applied to create virtual reality E-Learning content for training of technical personnel.
Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior
NASA Technical Reports Server (NTRS)
Havelund, Klaus; Joshi, Rajeev
2014-01-01
A key challenge in operating remote spacecraft is that ground operators must rely on the limited visibility available through spacecraft telemetry in order to assess spacecraft health and operational status. We describe a tool for processing spacecraft telemetry that allows ground operators to impose structure on received telemetry in order to achieve a better comprehension of system state. A key element of our approach is the design of a domain-specific language that allows operators to express models of expected system behavior using partial specifications. The language allows behavior specifications with data fields, similar to other recent runtime verification systems. What is notable about our approach is the ability to develop hierarchical specifications of behavior. The language is implemented as an internal DSL in the Scala programming language that synthesizes rules from patterns of specification behavior. The rules are automatically applied to received telemetry and the inferred behaviors are available to ground operators using a visualization interface that makes it easier to understand and track spacecraft state. We describe initial results from applying our tool to telemetry received from the Curiosity rover currently roving the surface of Mars, where the visualizations are being used to trend subsystem behaviors, in order to identify potential problems before they happen. However, the technology is completely general and can be applied to any system that generates telemetry such as event logs.
ERIC Educational Resources Information Center
Moody, Janet L.
The program provided learning experiences for 112 children aged 3 to 10 (approximately 62 percent of whom were East Indian), some of whom had specific learning difficulties. The experiences were intended to improve language abilities, motor-perceptual skills, socialization, enhance self-concepts, and evoke more positive feelings toward school.…
The Cutting Edge: Workplace English. Section I: Project Handbook.
ERIC Educational Resources Information Center
El Paso Community Coll., TX. Literacy Center.
A model workplace literacy program of El Paso Community College (Texas), in cooperation with Levi Strauss and Company, is described. The partnership designed a three-part, job-specific, video-based curriculum in English as a Second Language (ESL) for garment industry workers, implemented in seven local plants. The 18-month program had these goals:…
Human factors in software development
DOE Office of Scientific and Technical Information (OSTI.GOV)
Curtis, B.
1986-01-01
This book presents an overview of ergonomics/human factors in software development, recent research, and classic papers. Articles are drawn from the following areas of psychological research on programming: cognitive ergonomics, cognitive psychology, and psycholinguistics. Topics examined include: theoretical models of how programmers solve technical problems, the characteristics of programming languages, specification formats in behavioral research and psychological aspects of fault diagnosis.
ERIC Educational Resources Information Center
Imani, Sahar Sadat Afshar
2013-01-01
Modular EFL Educational Program has managed to offer specialized language education in two specific fields: Audio-visual Materials Translation and Translation of Deeds and Documents. However, no explicit empirical studies can be traced on both internal and external validity measures as well as the extent of compatibility of both courses with the…
ZettaBricks: A Language Compiler and Runtime System for Anyscale Computing
DOE Office of Scientific and Technical Information (OSTI.GOV)
Amarasinghe, Saman
This grant supported the ZettaBricks and OpenTuner projects. ZettaBricks is a new implicitly parallel language and compiler where defining multiple implementations of multiple algorithms to solve a problem is the natural way of programming. ZettaBricks makes algorithmic choice a first class construct of the language. Choices are provided in a way that also allows our compiler to tune at a finer granularity. The ZettaBricks compiler autotunes programs by making both fine-grained as well as algorithmic choices. Choices also include different automatic parallelization techniques, data distributions, algorithmic parameters, transformations, and blocking. Additionally, ZettaBricks introduces novel techniques to autotune algorithms for differentmore » convergence criteria. When choosing between various direct and iterative methods, the ZettaBricks compiler is able to tune a program in such a way that delivers near-optimal efficiency for any desired level of accuracy. The compiler has the flexibility of utilizing different convergence criteria for the various components within a single algorithm, providing the user with accuracy choice alongside algorithmic choice. OpenTuner is a generalization of the experience gained in building an autotuner for ZettaBricks. OpenTuner is a new open source framework for building domain-specific multi-objective program autotuners. OpenTuner supports fully-customizable configuration representations, an extensible technique representation to allow for domain-specific techniques, and an easy to use interface for communicating with the program to be autotuned. A key capability inside OpenTuner is the use of ensembles of disparate search techniques simultaneously; techniques that perform well will dynamically be allocated a larger proportion of tests.« less
The scheme machine: A case study in progress in design derivation at system levels
NASA Technical Reports Server (NTRS)
Johnson, Steven D.
1995-01-01
The Scheme Machine is one of several design projects of the Digital Design Derivation group at Indiana University. It differs from the other projects in its focus on issues of system design and its connection to surrounding research in programming language semantics, compiler construction, and programming methodology underway at Indiana and elsewhere. The genesis of the project dates to the early 1980's, when digital design derivation research branched from the surrounding research effort in programming languages. Both branches have continued to develop in parallel, with this particular project serving as a bridge. However, by 1990 there remained little real interaction between the branches and recently we have undertaken to reintegrate them. On the software side, researchers have refined a mathematically rigorous (but not mechanized) treatment starting with the fully abstract semantic definition of Scheme and resulting in an efficient implementation consisting of a compiler and virtual machine model, the latter typically realized with a general purpose microprocessor. The derivation includes a number of sophisticated factorizations and representations and is also deep example of the underlying engineering methodology. The hardware research has created a mechanized algebra supporting the tedious and massive transformations often seen at lower levels of design. This work has progressed to the point that large scale devices, such as processors, can be derived from first-order finite state machine specifications. This is roughly where the language oriented research stops; thus, together, the two efforts establish a thread from the highest levels of abstract specification to detailed digital implementation. The Scheme Machine project challenges hardware derivation research in several ways, although the individual components of the system are of a similar scale to those we have worked with before. The machine has a custom dual-ported memory to support garbage collection. It consists of four tightly coupled processes--processor, collector, allocator, memory--with a very non-trivial synchronization relationship. Finally, there are deep issues of representation for the run-time objects of a symbolic processing language. The research centers on verification through integrated formal reasoning systems, but is also involved with modeling and prototyping environments. Since the derivation algebra is basd on an executable modeling language, there is opportunity to incorporate design animation in the design process. We are looking for ways to move smoothly and incrementally from executable specifications into hardware realization. For example, we can run the garbage collector specification, a Scheme program, directly against the physical memory prototype, and similarly, the instruction processor model against the heap implementation.
Prototyping with Data Dictionaries for Requirements Analysis.
1985-03-01
statistical packages and software for screen layout. These items work at a higher level than another category of prototyping tool, program generators... Program generators are software packages which, when given specifications, produce source listings, usually in a high order language such as COBCL...with users and this will not happen if he must stop to develcp a detailed program . [Ref. 241] Hardware as well as software should be considered in
MSR 2.0: Language Definition and Programming Environment
2011-11-01
this version, was also used in foundational studies for crypto - protocols [14, 19]. An implementation of MSR 2.0 which adheres to the definition...describing non-standard ways to parse oc- currences of this symbol. A unary constant f can be declared either prefixed or postfixed by means of the...Information Technology — MFCSIT’00, pages 1–43, Cork, Ireland, 2000. Elsevier ENTCS 40. [6] Iliano Cervesato. A Specification Language for Crypto
Parallel language constructs for tensor product computations on loosely coupled architectures
NASA Technical Reports Server (NTRS)
Mehrotra, Piyush; Van Rosendale, John
1989-01-01
A set of language primitives designed to allow the specification of parallel numerical algorithms at a higher level is described. The authors focus on tensor product array computations, a simple but important class of numerical algorithms. They consider first the problem of programming one-dimensional kernel routines, such as parallel tridiagonal solvers, and then look at how such parallel kernels can be combined to form parallel tensor product algorithms.
A Concept for Run-Time Support of the Chapel Language
NASA Technical Reports Server (NTRS)
James, Mark
2006-01-01
A document presents a concept for run-time implementation of other concepts embodied in the Chapel programming language. (Now undergoing development, Chapel is intended to become a standard language for parallel computing that would surpass older such languages in both computational performance in the efficiency with which pre-existing code can be reused and new code written.) The aforementioned other concepts are those of distributions, domains, allocations, and access, as defined in a separate document called "A Semantic Framework for Domains and Distributions in Chapel" and linked to a language specification defined in another separate document called "Chapel Specification 0.3." The concept presented in the instant report is recognition that a data domain that was invented for Chapel offers a novel approach to distributing and processing data in a massively parallel environment. The concept is offered as a starting point for development of working descriptions of functions and data structures that would be necessary to implement interfaces to a compiler for transforming the aforementioned other concepts from their representations in Chapel source code to their run-time implementations.
ASSIST - THE ABSTRACT SEMI-MARKOV SPECIFICATION INTERFACE TO THE SURE TOOL PROGRAM (SUN VERSION)
NASA Technical Reports Server (NTRS)
Johnson, S. C.
1994-01-01
ASSIST, the Abstract Semi-Markov Specification Interface to the SURE Tool program, is an interface that will enable reliability engineers to accurately design large semi-Markov models. The user describes the failure behavior of a fault-tolerant computer system in an abstract, high-level language. The ASSIST program then automatically generates a corresponding semi-Markov model. The abstract language allows efficient description of large, complex systems; a one-page ASSIST-language description may result in a semi-Markov model with thousands of states and transitions. The ASSIST program also includes model-reduction techniques to facilitate efficient modeling of large systems. Instead of listing the individual states of the Markov model, reliability engineers can specify the rules governing the behavior of a system, and these are used to automatically generate the model. ASSIST reads an input file describing the failure behavior of a system in an abstract language and generates a Markov model in the format needed for input to SURE, the semi-Markov Unreliability Range Evaluator program, and PAWS/STEM, the Pade Approximation with Scaling program and Scaled Taylor Exponential Matrix. A Markov model consists of a number of system states and transitions between them. Each state in the model represents a possible state of the system in terms of which components have failed, which ones have been removed, etc. Within ASSIST, each state is defined by a state vector, where each element of the vector takes on an integer value within a defined range. An element can represent any meaningful characteristic, such as the number of working components of one type in the system, or the number of faulty components of another type in use. Statements representing transitions between states in the model have three parts: a condition expression, a destination expression, and a rate expression. The first expression is a Boolean expression describing the state space variable values of states for which the transition is valid. The second expression defines the destination state for the transition in terms of state space variable values. The third expression defines the distribution of elapsed time for the transition. The mathematical approach chosen to solve a reliability problem may vary with the size and nature of the problem. Although different solution techniques are utilized on different programs, it is possible to have a common input language. The Systems Validation Methods group at NASA Langley Research Center has created a set of programs that form the basis for a reliability analysis workstation. The set of programs are: SURE reliability analysis program (COSMIC program LAR-13789, LAR-14921); the ASSIST specification interface program (LAR-14193, LAR-14923), PAWS/STEM reliability analysis programs (LAR-14165, LAR-14920); and the FTC fault tree tool (LAR-14586, LAR-14922). FTC is used to calculate the top-event probability for a fault tree. PAWS/STEM and SURE are programs which interpret the same SURE language, but utilize different solution methods. ASSIST is a preprocessor that generates SURE language from a more abstract definition. SURE, ASSIST, and PAWS/STEM are also offered as a bundle. Please see the abstract for COS-10039/COS-10041, SARA - SURE/ASSIST Reliability Analysis Workstation, for pricing details. ASSIST was originally developed for DEC VAX series computers running VMS and was later ported for use on Sun computers running SunOS. The VMS version (LAR14193) is written in C-language and can be compiled with the VAX C compiler. The standard distribution medium for the VMS version of ASSIST is a 9-track 1600 BPI magnetic tape in VMSINSTAL format. It is also available on a TK50 tape cartridge in VMSINSTAL format. Executables are included. The Sun version (LAR14923) is written in ANSI C-language. An ANSI compliant C compiler is required in order to compile this package. The standard distribution medium for the Sun version of ASSIST is a .25 inch streaming magnetic tape cartridge in UNIX tar format. Both Sun3 and Sun4 executables are included. Electronic copies of the documentation in PostScript, TeX, and DVI formats are provided on the distribution medium. (The VMS distribution lacks the .DVI format files, however.) ASSIST was developed in 1986 and last updated in 1992. DEC, VAX, VMS, and TK50 are trademarks of Digital Equipment Corporation. SunOS, Sun3, and Sun4 are trademarks of Sun Microsystems, Inc. UNIX is a registered trademark of AT&T Bell Laboratories.
ASSIST - THE ABSTRACT SEMI-MARKOV SPECIFICATION INTERFACE TO THE SURE TOOL PROGRAM (VAX VMS VERSION)
NASA Technical Reports Server (NTRS)
Johnson, S. C.
1994-01-01
ASSIST, the Abstract Semi-Markov Specification Interface to the SURE Tool program, is an interface that will enable reliability engineers to accurately design large semi-Markov models. The user describes the failure behavior of a fault-tolerant computer system in an abstract, high-level language. The ASSIST program then automatically generates a corresponding semi-Markov model. The abstract language allows efficient description of large, complex systems; a one-page ASSIST-language description may result in a semi-Markov model with thousands of states and transitions. The ASSIST program also includes model-reduction techniques to facilitate efficient modeling of large systems. Instead of listing the individual states of the Markov model, reliability engineers can specify the rules governing the behavior of a system, and these are used to automatically generate the model. ASSIST reads an input file describing the failure behavior of a system in an abstract language and generates a Markov model in the format needed for input to SURE, the semi-Markov Unreliability Range Evaluator program, and PAWS/STEM, the Pade Approximation with Scaling program and Scaled Taylor Exponential Matrix. A Markov model consists of a number of system states and transitions between them. Each state in the model represents a possible state of the system in terms of which components have failed, which ones have been removed, etc. Within ASSIST, each state is defined by a state vector, where each element of the vector takes on an integer value within a defined range. An element can represent any meaningful characteristic, such as the number of working components of one type in the system, or the number of faulty components of another type in use. Statements representing transitions between states in the model have three parts: a condition expression, a destination expression, and a rate expression. The first expression is a Boolean expression describing the state space variable values of states for which the transition is valid. The second expression defines the destination state for the transition in terms of state space variable values. The third expression defines the distribution of elapsed time for the transition. The mathematical approach chosen to solve a reliability problem may vary with the size and nature of the problem. Although different solution techniques are utilized on different programs, it is possible to have a common input language. The Systems Validation Methods group at NASA Langley Research Center has created a set of programs that form the basis for a reliability analysis workstation. The set of programs are: SURE reliability analysis program (COSMIC program LAR-13789, LAR-14921); the ASSIST specification interface program (LAR-14193, LAR-14923), PAWS/STEM reliability analysis programs (LAR-14165, LAR-14920); and the FTC fault tree tool (LAR-14586, LAR-14922). FTC is used to calculate the top-event probability for a fault tree. PAWS/STEM and SURE are programs which interpret the same SURE language, but utilize different solution methods. ASSIST is a preprocessor that generates SURE language from a more abstract definition. SURE, ASSIST, and PAWS/STEM are also offered as a bundle. Please see the abstract for COS-10039/COS-10041, SARA - SURE/ASSIST Reliability Analysis Workstation, for pricing details. ASSIST was originally developed for DEC VAX series computers running VMS and was later ported for use on Sun computers running SunOS. The VMS version (LAR14193) is written in C-language and can be compiled with the VAX C compiler. The standard distribution medium for the VMS version of ASSIST is a 9-track 1600 BPI magnetic tape in VMSINSTAL format. It is also available on a TK50 tape cartridge in VMSINSTAL format. Executables are included. The Sun version (LAR14923) is written in ANSI C-language. An ANSI compliant C compiler is required in order to compile this package. The standard distribution medium for the Sun version of ASSIST is a .25 inch streaming magnetic tape cartridge in UNIX tar format. Both Sun3 and Sun4 executables are included. Electronic copies of the documentation in PostScript, TeX, and DVI formats are provided on the distribution medium. (The VMS distribution lacks the .DVI format files, however.) ASSIST was developed in 1986 and last updated in 1992. DEC, VAX, VMS, and TK50 are trademarks of Digital Equipment Corporation. SunOS, Sun3, and Sun4 are trademarks of Sun Microsystems, Inc. UNIX is a registered trademark of AT&T Bell Laboratories.
Hoffman, Michael F.; Quittner, Alexandra L.; Cejas, Ivette
2015-01-01
This study compared levels of social competence and language development in 74 young children with hearing loss and 38 hearing peers aged 2.5–5.3 years. This study was the first to examine the relationship between oral language and social competence using a dynamic systems framework in children with and without hearing loss. We hypothesized that, due to deficits in oral language, children who were deaf would display lower levels of social competence than their hearing peers. Furthermore, language age would predict social competence scores. Social competence was measured with a general and deaf-specific measure. Results showed that children with hearing loss performed significantly worse than hearing peers on the general measure but better than the norms on the deaf-specific measure. Controlling for maternal education and income, regression analyses indicated that hearing status and language age predicted social competence in both groups. Among children with hearing loss, correlations were also found between age at diagnosis, age at amplification, and two of the general social competence measures. Results supported our hypothesis that deficits in language would have cascading negative effects on the development of social competence in young deaf children. Development of early intervention programs that target both language and social skills are needed for this population. PMID:25583707
Database interfaces on NASA's heterogeneous distributed database system
NASA Technical Reports Server (NTRS)
Huang, Shou-Hsuan Stephen
1987-01-01
The purpose of Distributed Access View Integrated Database (DAVID) interface module (Module 9: Resident Primitive Processing Package) is to provide data transfer between local DAVID systems and resident Data Base Management Systems (DBMSs). The result of current research is summarized. A detailed description of the interface module is provided. Several Pascal templates were constructed. The Resident Processor program was also developed. Even though it is designed for the Pascal templates, it can be modified for templates in other languages, such as C, without much difficulty. The Resident Processor itself can be written in any programming language. Since Module 5 routines are not ready yet, there is no way to test the interface module. However, simulation shows that the data base access programs produced by the Resident Processor do work according to the specifications.
A Module Language for Typing by Contracts
NASA Technical Reports Server (NTRS)
Glouche, Yann; Talpin, Jean-Pierre; LeGuernic, Paul; Gautier, Thierry
2009-01-01
Assume-guarantee reasoning is a popular and expressive paradigm for modular and compositional specification of programs. It is becoming a fundamental concept in some computer-aided design tools for embedded system design. In this paper, we elaborate foundations for contract-based embedded system design by proposing a general-purpose module language based on a Boolean algebra allowing to define contracts. In this framework, contracts are used to negotiate the correctness of assumptions made on the definition of a component at the point where it is used and provides guarantees to its environment. We illustrate this presentation with the specification of a simplified 4-stroke engine model.
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.
Why we should consider pragmatics when planning treatment for children who stutter.
Weiss, Amy L
2004-01-01
Pragmatics, the use of language in context, has been investigated only recently in the language used by children who stutter (CWS). Historically researchers compared the length and complexity of the syntactic constructions produced by these children with those of children who do not stutter (CWNS) and generally found the CWS to be relatively deficient. More recently, some investigators have begun to address how the language and fluency of CWS are influenced in different communicative settings. This article describes several findings concerning the pragmatic competencies of CWS set against the traditional famework of pragmatic language development. Most studies have shown no significant differences between the CWS and CWNS groups, although some aspects of pagmatic language use have yielded an exacerbation of stuttering for CWS. These findings have suggested specific ways of incorporating a pragmatic focus in the treatment programming for CWS where the degree of difficulty of language use is increased gradually.
2011-01-01
Background Indo-Asians in Canada are at increased risk for cardiovascular diseases. There is a need for cultural and language specific educational materials relating to this risk. During this project we developed and field tested the acceptability of a hypertension public education pamphlet tailored to fit the needs of an at risk local Indo-Asian population, in Calgary, Alberta, Canada. Methods A community health board representing Calgary's Indo-Asian communities identified the culturally specific educational needs and language preferences of the local population. An adaptation of an existing English language Canadian Public Hypertension Recommendations pamphlet was created considering the literacy and translation challenges. The adapted pamphlet was translated into four Indo-Asian languages. The adapted pamphlets were disseminated as part of the initial educational component of a community-based culturally and language-sensitive cardiovascular risk factor screening and management program. Field testing of the materials was undertaken when participants returned for program follow-up seven to 12 months later. Results Fifty-nine English-speaking participants evaluated and confirmed the concept validity of the English adapted version. 28 non-English speaking participants evaluated the Gujarati (N = 13) and Punjabi (N = 15) translated versions of the adapted pamphlets. All participants found the pamphlets acceptable and felt they had improved their understanding of hypertension. Conclusions Involving the target community to identify health issues as well as help to create culturally, language and literacy sensitive health education materials ensures resources are highly acceptable to that community. Minor changes to the materials will be needed prior to formal testing of hypertension knowledge and health decision-making on a larger scale within this at risk community. PMID:21223580
Jones, Charlotte A; Mawani, Shefina; King, Kathryn M; Allu, Selina Omar; Smith, Megan; Mohan, Sailesh; Campbell, Norman R C
2011-01-11
Indo-Asians in Canada are at increased risk for cardiovascular diseases. There is a need for cultural and language specific educational materials relating to this risk. During this project we developed and field tested the acceptability of a hypertension public education pamphlet tailored to fit the needs of an at risk local Indo-Asian population, in Calgary, Alberta, Canada. A community health board representing Calgary's Indo-Asian communities identified the culturally specific educational needs and language preferences of the local population. An adaptation of an existing English language Canadian Public Hypertension Recommendations pamphlet was created considering the literacy and translation challenges. The adapted pamphlet was translated into four Indo-Asian languages. The adapted pamphlets were disseminated as part of the initial educational component of a community-based culturally and language-sensitive cardiovascular risk factor screening and management program. Field testing of the materials was undertaken when participants returned for program follow-up seven to 12 months later. Fifty-nine English-speaking participants evaluated and confirmed the concept validity of the English adapted version. 28 non-English speaking participants evaluated the Gujarati (N = 13) and Punjabi (N = 15) translated versions of the adapted pamphlets. All participants found the pamphlets acceptable and felt they had improved their understanding of hypertension. Involving the target community to identify health issues as well as help to create culturally, language and literacy sensitive health education materials ensures resources are highly acceptable to that community. Minor changes to the materials will be needed prior to formal testing of hypertension knowledge and health decision-making on a larger scale within this at risk community.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Kartsaklis, Christos; Hernandez, Oscar R
Interrogating the structure of a program for patterns of interest is attractive to the broader spectrum of software engineering. The very approach by which a pattern is constructed remains a concern for the source code mining community. This paper presents a pattern programming model, for the C and Fortran programming languages, using a compiler directives approach. We discuss our specification, called HERCULES/PL, throughout a number of examples and show how different patterns can be constructed, plus some preliminary results.
Ada programming guidelines for deterministic storage management
NASA Technical Reports Server (NTRS)
Auty, David
1988-01-01
Previous reports have established that a program can be written in the Ada language such that the program's storage management requirements are determinable prior to its execution. Specific guidelines for ensuring such deterministic usage of Ada dynamic storage requirements are described. Because requirements may vary from one application to another, guidelines are presented in a most-restrictive to least-restrictive fashion to allow the reader to match appropriate restrictions to the particular application area under investigation.
Rapid Prototyping of Application Specific Signal Processors (RASSP)
1993-12-23
Compilers 2-9 - Cadre Teamwork 2-13 - CodeCenter (Centerline) 2-15 - dbx/dbxtool (UNIXm) 2-17 - Falcon (Mentor) 2-19 - FrameMaker (Frame Tech) 2-21 - gprof...UNIXm C debuggers Falcon Mentor ECAD Framework FrameMaker Frame Tech Word Processing gcc GNU CIC++ compiler gprof GNU Software profiling tool...organization can put their own documentation on-line using the BOLD Com- poser for Framemaker . " The AMPLE programming language is a C like language used for
ERIC Educational Resources Information Center
Dakin, Jee Wha
2010-01-01
In the context of adult learners with low English proficiency enrolled in an organization offering instruction in both language and civics content, the purpose of the study was to determine. (1) the nature of grammatical knowledge in the context in the learners' second language (L2) and the nature of civics content knowledge in the learners' first…
High-Level Operations in Nonprocedural Programming Languages.
1983-12-01
defining type specific operators. Abstract data type has been applied to the nonprocedural language NOPAL [Sang8O]. It was primarily used as a tool...level operation is transformed using the integral operation MATINV as follows: 1 GA IS GROUP, 2 GRA(*) IS GROUP, 3 AUX(*) IS FIELD (DEC FLOAT); I GI...IS GROUP, 2 GRI(*) IS GROUP, 3 INV(*) IS FIELD (DEC FLOAT); AUX = A; GI = MATINV( GA ); C = INV; In code generation, the assertion GI=MATINV( GA ) is
Sending Foreign Language Word Processor Files over Networks.
ERIC Educational Resources Information Center
Feustle, Joseph A., Jr.
1992-01-01
Advantages of using online systems are described, and specific techniques for successfully transmitting computer text files are described. Topics covered include Microsoft's Rich TextFile, WordPerfect encoding, text compression, and especially encoding and decoding with UNIX programs. (LB)
Hartman, Marieke A; Nierkens, Vera; Cremer, Stephan W; Stronks, Karien; Verhoeff, Arnoud P
2013-08-19
Ethnic minority women from low-income countries who live in high-income countries are more physically inactive than ethnic majority women in those countries. At the same time, they can be harder to reach with health promotion programs. Targeting recruitment channels and execution to ethnic groups could increase reach and receptivity to program participation. We explored using ethnically specific channels and key figures to reach Ghanaian, Antillean, and Surinamese mothers with an invitation for an exercise program, and subsequently, to determine the mothers' receptivity and participation. We conducted a mixed methods process evaluation in Amsterdam, The Netherlands. To recruit mothers, we employed ethnically specific community organizations and ethnically matched key figures as recruiters over Dutch health educators. Reach and participation were measured using reply cards and the attendance records from the exercise programs. Observations were made of the recruitment process. We interviewed 14 key figures and 32 mothers to respond to the recruitment channel and recruiter used. Content analysis was used to analyze qualitative data. Recruitment through ethnically specific community channels was successful among Ghanaian mothers, but less so among Antillean and Surinamese mothers. The more close-knit an ethnic community was, retaining their own culture and having poorer comprehension of the Dutch language, the more likely we were to reach mothers through ethnically specific organizations. Furthermore, we found that using ethnically matched recruiters resulted in higher receptivity to the program and, among the Ghanaian mothers in particular, in greater participation. This was because the ethnically matched recruiter was a familiar, trusted person, a translator, and a motivator who was enthusiastic, encouraging, and able to adapt her message (targeting/tailoring). Using a health expert was preferred in order to increase the credibility and professionalism of the recruitment. Recruitment for an exercise program through ethnically specific organizations seems to contribute to its reach, particularly in close-knit, highly organized ethnic communities with limited fluency in the local language. Using ethnically matched recruiters as motivator, translator, and trusted person seems to enhance receptivity of a health promotion program. An expert is likely to be needed for effective information delivery.
ERIC Educational Resources Information Center
Alberta Learning, Edmonton. Direction de l'education francaise.
This teacher's guide, intended for the instruction of both French as a first language and French as a second language in an immersion setting, provides a host of strategies for teaching interactive oral presentation skills in the classroom (Grades 1 through 7). Section 1 is designed to bring the teacher's awareness to the training procedure,…
ERIC Educational Resources Information Center
Northwest Territories Dept. of Education, Culture and Employment, Yellowknife.
This teacher's guide, intended for the instruction of both French as a first language and French as a second language in an immersion setting, provides a host of strategies for teaching interactive oral presentation skills in the classroom (Grades 6 through 12). Section 1 is designed to bring the teacher's awareness to the training procedure,…
Deaf-And-Mute Sign Language Generation System
NASA Astrophysics Data System (ADS)
Kawai, Hideo; Tamura, Shinichi
1984-08-01
We have developed a system which can recognize speech and generate the corresponding animation-like sign language sequence. The system is implemented in a popular personal computer. This has three video-RAM's and a voice recognition board which can recognize only registered voice of a specific speaker. Presently, fourty sign language patterns and fifty finger spellings are stored in two floppy disks. Each sign pattern is composed of one to four sub-patterns. That is, if the pattern is composed of one sub-pattern, it is displayed as a still pattern. If not, it is displayed as a motion pattern. This system will help communications between deaf-and-mute persons and healthy persons. In order to display in high speed, almost programs are written in a machine language.
FTC - THE FAULT-TREE COMPILER (SUN VERSION)
NASA Technical Reports Server (NTRS)
Butler, R. W.
1994-01-01
FTC, the Fault-Tree Compiler program, is a tool used to calculate the top-event probability for a fault-tree. Five different gate types are allowed in the fault tree: AND, OR, EXCLUSIVE OR, INVERT, and M OF N. The high-level input language is easy to understand and use. In addition, the program supports a hierarchical fault tree definition feature which simplifies the tree-description process and reduces execution time. A rigorous error bound is derived for the solution technique. This bound enables the program to supply an answer precisely (within the limits of double precision floating point arithmetic) at a user-specified number of digits accuracy. The program also facilitates sensitivity analysis with respect to any specified parameter of the fault tree such as a component failure rate or a specific event probability by allowing the user to vary one failure rate or the failure probability over a range of values and plot the results. The mathematical approach chosen to solve a reliability problem may vary with the size and nature of the problem. Although different solution techniques are utilized on different programs, it is possible to have a common input language. The Systems Validation Methods group at NASA Langley Research Center has created a set of programs that form the basis for a reliability analysis workstation. The set of programs are: SURE reliability analysis program (COSMIC program LAR-13789, LAR-14921); the ASSIST specification interface program (LAR-14193, LAR-14923), PAWS/STEM reliability analysis programs (LAR-14165, LAR-14920); and the FTC fault tree tool (LAR-14586, LAR-14922). FTC is used to calculate the top-event probability for a fault tree. PAWS/STEM and SURE are programs which interpret the same SURE language, but utilize different solution methods. ASSIST is a preprocessor that generates SURE language from a more abstract definition. SURE, ASSIST, and PAWS/STEM are also offered as a bundle. Please see the abstract for COS-10039/COS-10041, SARA - SURE/ASSIST Reliability Analysis Workstation, for pricing details. FTC was originally developed for DEC VAX series computers running VMS and was later ported for use on Sun computers running SunOS. The program is written in PASCAL, ANSI compliant C-language, and FORTRAN 77. The TEMPLATE graphics library is required to obtain graphical output. The standard distribution medium for the VMS version of FTC (LAR-14586) is a 9-track 1600 BPI magnetic tape in VMSINSTAL format. It is also available on a TK50 tape cartridge in VMSINSTAL format. Executables are included. The standard distribution medium for the Sun version of FTC (LAR-14922) is a .25 inch streaming magnetic tape cartridge in UNIX tar format. Both Sun3 and Sun4 executables are included. FTC was developed in 1989 and last updated in 1992. DEC, VAX, VMS, and TK50 are trademarks of Digital Equipment Corporation. UNIX is a registered trademark of AT&T Bell Laboratories. SunOS is a trademark of Sun Microsystems, Inc.
FTC - THE FAULT-TREE COMPILER (VAX VMS VERSION)
NASA Technical Reports Server (NTRS)
Butler, R. W.
1994-01-01
FTC, the Fault-Tree Compiler program, is a tool used to calculate the top-event probability for a fault-tree. Five different gate types are allowed in the fault tree: AND, OR, EXCLUSIVE OR, INVERT, and M OF N. The high-level input language is easy to understand and use. In addition, the program supports a hierarchical fault tree definition feature which simplifies the tree-description process and reduces execution time. A rigorous error bound is derived for the solution technique. This bound enables the program to supply an answer precisely (within the limits of double precision floating point arithmetic) at a user-specified number of digits accuracy. The program also facilitates sensitivity analysis with respect to any specified parameter of the fault tree such as a component failure rate or a specific event probability by allowing the user to vary one failure rate or the failure probability over a range of values and plot the results. The mathematical approach chosen to solve a reliability problem may vary with the size and nature of the problem. Although different solution techniques are utilized on different programs, it is possible to have a common input language. The Systems Validation Methods group at NASA Langley Research Center has created a set of programs that form the basis for a reliability analysis workstation. The set of programs are: SURE reliability analysis program (COSMIC program LAR-13789, LAR-14921); the ASSIST specification interface program (LAR-14193, LAR-14923), PAWS/STEM reliability analysis programs (LAR-14165, LAR-14920); and the FTC fault tree tool (LAR-14586, LAR-14922). FTC is used to calculate the top-event probability for a fault tree. PAWS/STEM and SURE are programs which interpret the same SURE language, but utilize different solution methods. ASSIST is a preprocessor that generates SURE language from a more abstract definition. SURE, ASSIST, and PAWS/STEM are also offered as a bundle. Please see the abstract for COS-10039/COS-10041, SARA - SURE/ASSIST Reliability Analysis Workstation, for pricing details. FTC was originally developed for DEC VAX series computers running VMS and was later ported for use on Sun computers running SunOS. The program is written in PASCAL, ANSI compliant C-language, and FORTRAN 77. The TEMPLATE graphics library is required to obtain graphical output. The standard distribution medium for the VMS version of FTC (LAR-14586) is a 9-track 1600 BPI magnetic tape in VMSINSTAL format. It is also available on a TK50 tape cartridge in VMSINSTAL format. Executables are included. The standard distribution medium for the Sun version of FTC (LAR-14922) is a .25 inch streaming magnetic tape cartridge in UNIX tar format. Both Sun3 and Sun4 executables are included. FTC was developed in 1989 and last updated in 1992. DEC, VAX, VMS, and TK50 are trademarks of Digital Equipment Corporation. UNIX is a registered trademark of AT&T Bell Laboratories. SunOS is a trademark of Sun Microsystems, Inc.
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.
Numerical aerodynamic simulation facility. Preliminary study extension
NASA Technical Reports Server (NTRS)
1978-01-01
The production of an optimized design of key elements of the candidate facility was the primary objective of this report. This was accomplished by effort in the following tasks: (1) to further develop, optimize and describe the function description of the custom hardware; (2) to delineate trade off areas between performance, reliability, availability, serviceability, and programmability; (3) to develop metrics and models for validation of the candidate systems performance; (4) to conduct a functional simulation of the system design; (5) to perform a reliability analysis of the system design; and (6) to develop the software specifications to include a user level high level programming language, a correspondence between the programming language and instruction set and outline the operation system requirements.
Logic programming and metadata specifications
NASA Technical Reports Server (NTRS)
Lopez, Antonio M., Jr.; Saacks, Marguerite E.
1992-01-01
Artificial intelligence (AI) ideas and techniques are critical to the development of intelligent information systems that will be used to collect, manipulate, and retrieve the vast amounts of space data produced by 'Missions to Planet Earth.' Natural language processing, inference, and expert systems are at the core of this space application of AI. This paper presents logic programming as an AI tool that can support inference (the ability to draw conclusions from a set of complicated and interrelated facts). It reports on the use of logic programming in the study of metadata specifications for a small problem domain of airborne sensors, and the dataset characteristics and pointers that are needed for data access.
Trends in Programming Languages for Neuroscience Simulations
Davison, Andrew P.; Hines, Michael L.; Muller, Eilif
2009-01-01
Neuroscience simulators allow scientists to express models in terms of biological concepts, without having to concern themselves with low-level computational details of their implementation. The expressiveness, power and ease-of-use of the simulator interface is critical in efficiently and accurately translating ideas into a working simulation. We review long-term trends in the development of programmable simulator interfaces, and examine the benefits of moving from proprietary, domain-specific languages to modern dynamic general-purpose languages, in particular Python, which provide neuroscientists with an interactive and expressive simulation development environment and easy access to state-of-the-art general-purpose tools for scientific computing. PMID:20198154
Trends in programming languages for neuroscience simulations.
Davison, Andrew P; Hines, Michael L; Muller, Eilif
2009-01-01
Neuroscience simulators allow scientists to express models in terms of biological concepts, without having to concern themselves with low-level computational details of their implementation. The expressiveness, power and ease-of-use of the simulator interface is critical in efficiently and accurately translating ideas into a working simulation. We review long-term trends in the development of programmable simulator interfaces, and examine the benefits of moving from proprietary, domain-specific languages to modern dynamic general-purpose languages, in particular Python, which provide neuroscientists with an interactive and expressive simulation development environment and easy access to state-of-the-art general-purpose tools for scientific computing.
Space station: The role of software
NASA Technical Reports Server (NTRS)
Hall, D.
1985-01-01
Software will play a critical role throughout the Space Station Program. This presentation sets the stage and prompts participant interaction at the Software Issues Forum. The presentation is structured into three major topics: (1) an overview of the concept and status of the Space Station Program; (2) several charts designed to lay out the scope and role of software; and (3) information addressing the four specific areas selected for focus at the forum, specifically: software management, the software development environment, languages, and standards. NASA's current thinking is highlighted and some of the relevant critical issues are raised.
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)
Dediu, Dan
2011-04-01
It is generally accepted that the relationship between human genes and language is very complex and multifaceted. This has its roots in the “regular” complexity governing the interplay among genes and between genes and environment for most phenotypes, but with the added layer of supraontogenetic and supra-individual processes defining culture. At the coarsest level, focusing on the species, it is clear that human-specific--but not necessarily faculty-specific--genetic factors subtend our capacity for language and a currently very productive research program is aiming at uncovering them. At the other end of the spectrum, it is uncontroversial that individual-level variations in different aspects related to speech and language have an important genetic component and their discovery and detailed characterization have already started to revolutionize the way we think about human nature. However, at the intermediate, glossogenetic/population level, the relationship becomes controversial, partly due to deeply ingrained beliefs about language acquisition and universality and partly because of confusions with a different type of gene-languages correlation due to shared history. Nevertheless, conceptual, mathematical and computational models--and, recently, experimental evidence from artificial languages and songbirds--have repeatedly shown that genetic biases affecting the acquisition or processing of aspects of language and speech can be amplified by population-level intergenerational cultural processes and made manifest either as fixed “universal” properties of language or as structured linguistic diversity. Here, I review several such models as well as the recently proposed case of a causal relationship between the distribution of tone languages and two genes related to brain growth and development, ASPM and Microcephalin, and I discuss the relevance of such genetic biasing for language evolution, change, and diversity.
2013-01-01
hostile work environment. Here, the root cause of the controversy was the lack of statutory USERRA Overview 25 language specifically protecting... language with that of similar antidiscrimination laws (Pub. L. 112-56). Such revision was recommended by DOL in a 2010 report to Congress (DOL, 2011...with more than 2,000 employees) revealed that, due to the small proportion of the employee base they constitute, canine handlers and motorcycle patrol
A Code Generation Approach for Auto-Vectorization in the Spade Compiler
NASA Astrophysics Data System (ADS)
Wang, Huayong; Andrade, Henrique; Gedik, Buğra; Wu, Kun-Lung
We describe an auto-vectorization approach for the Spade stream processing programming language, comprising two ideas. First, we provide support for vectors as a primitive data type. Second, we provide a C++ library with architecture-specific implementations of a large number of pre-vectorized operations as the means to support language extensions. We evaluate our approach with several stream processing operators, contrasting Spade's auto-vectorization with the native auto-vectorization provided by the GNU gcc and Intel icc compilers.
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 Layer-Oriented Approach to Declarative Languages for Biological Modeling
Raikov, Ivan; De Schutter, Erik
2012-01-01
We present a new approach to modeling languages for computational biology, which we call the layer-oriented approach. The approach stems from the observation that many diverse biological phenomena are described using a small set of mathematical formalisms (e.g. differential equations), while at the same time different domains and subdomains of computational biology require that models are structured according to the accepted terminology and classification of that domain. Our approach uses distinct semantic layers to represent the domain-specific biological concepts and the underlying mathematical formalisms. Additional functionality can be transparently added to the language by adding more layers. This approach is specifically concerned with declarative languages, and throughout the paper we note some of the limitations inherent to declarative approaches. The layer-oriented approach is a way to specify explicitly how high-level biological modeling concepts are mapped to a computational representation, while abstracting away details of particular programming languages and simulation environments. To illustrate this process, we define an example language for describing models of ionic currents, and use a general mathematical notation for semantic transformations to show how to generate model simulation code for various simulation environments. We use the example language to describe a Purkinje neuron model and demonstrate how the layer-oriented approach can be used for solving several practical issues of computational neuroscience model development. We discuss the advantages and limitations of the approach in comparison with other modeling language efforts in the domain of computational biology and outline some principles for extensible, flexible modeling language design. We conclude by describing in detail the semantic transformations defined for our language. PMID:22615554
The layer-oriented approach to declarative languages for biological modeling.
Raikov, Ivan; De Schutter, Erik
2012-01-01
We present a new approach to modeling languages for computational biology, which we call the layer-oriented approach. The approach stems from the observation that many diverse biological phenomena are described using a small set of mathematical formalisms (e.g. differential equations), while at the same time different domains and subdomains of computational biology require that models are structured according to the accepted terminology and classification of that domain. Our approach uses distinct semantic layers to represent the domain-specific biological concepts and the underlying mathematical formalisms. Additional functionality can be transparently added to the language by adding more layers. This approach is specifically concerned with declarative languages, and throughout the paper we note some of the limitations inherent to declarative approaches. The layer-oriented approach is a way to specify explicitly how high-level biological modeling concepts are mapped to a computational representation, while abstracting away details of particular programming languages and simulation environments. To illustrate this process, we define an example language for describing models of ionic currents, and use a general mathematical notation for semantic transformations to show how to generate model simulation code for various simulation environments. We use the example language to describe a Purkinje neuron model and demonstrate how the layer-oriented approach can be used for solving several practical issues of computational neuroscience model development. We discuss the advantages and limitations of the approach in comparison with other modeling language efforts in the domain of computational biology and outline some principles for extensible, flexible modeling language design. We conclude by describing in detail the semantic transformations defined for our language.
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…
PCG: A prototype incremental compilation facility for the SAGA environment, appendix F
NASA Technical Reports Server (NTRS)
Kimball, Joseph John
1985-01-01
A programming environment supports the activity of developing and maintaining software. New environments provide language-oriented tools such as syntax-directed editors, whose usefulness is enhanced because they embody language-specific knowledge. When syntactic and semantic analysis occur early in the cycle of program production, that is, during editing, the use of a standard compiler is inefficient, for it must re-analyze the program before generating code. Likewise, it is inefficient to recompile an entire file, when the editor can determine that only portions of it need updating. The pcg, or Pascal code generation, facility described here generates code directly from the syntax trees produced by the SAGA syntax directed Pascal editor. By preserving the intermediate code used in the previous compilation, it can limit recompilation to the routines actually modified by editing.
Migration of legacy mumps applications to relational database servers.
O'Kane, K C
2001-07-01
An extended implementation of the Mumps language is described that facilitates vendor neutral migration of legacy Mumps applications to SQL-based relational database servers. Implemented as a compiler, this system translates Mumps programs to operating system independent, standard C code for subsequent compilation to fully stand-alone, binary executables. Added built-in functions and support modules extend the native hierarchical Mumps database with access to industry standard, networked, relational database management servers (RDBMS) thus freeing Mumps applications from dependence upon vendor specific, proprietary, unstandardized database models. Unlike Mumps systems that have added captive, proprietary RDMBS access, the programs generated by this development environment can be used with any RDBMS system that supports common network access protocols. Additional features include a built-in web server interface and the ability to interoperate directly with programs and functions written in other languages.
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.
Language learning, socioeconomic status, and child-directed speech.
Schwab, Jessica F; Lew-Williams, Casey
2016-07-01
Young children's language experiences and language outcomes are highly variable. Research in recent decades has focused on understanding the extent to which family socioeconomic status (SES) relates to parents' language input to their children and, subsequently, children's language learning. Here, we first review research demonstrating differences in the quantity and quality of language that children hear across low-, mid-, and high-SES groups, but also-and perhaps more importantly-research showing that differences in input and learning also exist within SES groups. Second, in order to better understand the defining features of 'high-quality' input, we highlight findings from laboratory studies examining specific characteristics of the sounds, words, sentences, and social contexts of child-directed speech (CDS) that influence children's learning. Finally, after narrowing in on these particular features of CDS, we broaden our discussion by considering family and community factors that may constrain parents' ability to participate in high-quality interactions with their young children. A unification of research on SES and CDS will facilitate a more complete understanding of the specific means by which input shapes learning, as well as generate ideas for crafting policies and programs designed to promote children's language outcomes. WIREs Cogn Sci 2016, 7:264-275. doi: 10.1002/wcs.1393 For further resources related to this article, please visit the WIREs website. © 2016 Wiley Periodicals, Inc.
Federal Library Programs for Acquisition of Foreign Materials.
ERIC Educational Resources Information Center
Cylke, Frank Kurt
Sixteen libraries representing those agencies holding membership on the Federal Library Committee were surveyed to determine library foreign language or imprint holdings, acquisitions techniques, procedures and/or problems. Specific questions, relating to holdings, staff, budget and the acquisition, processing, reference and translation services…
Rockin' Readers Coordinator Handbook.
ERIC Educational Resources Information Center
Alachua County Schools, Gainesville, FL.
This coordinator's handbook describes the "Rockin' Readers" program, in which senior-citizen volunteers are matched with specifically targeted at-risk children (usually of kindergarten age or slightly older) in Alachua County, Florida, who tested below their peer group in language development and reading readiness skills. The handbook…
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…
MatLab Programming for Engineers Having No Formal Programming Knowledge
NASA Technical Reports Server (NTRS)
Shaykhian, Linda H.; Shaykhian, Gholam Ali
2007-01-01
MatLab is one of the most widely used very high level programming languages for Scientific and engineering computations. It is very user-friendly and needs practically no formal programming knowledge. Presented here are MatLab programming aspects and not just the MatLab commands for scientists and engineers who do not have formal programming training and also have no significant time to spare for learning programming to solve their real world problems. Specifically provided are programs for visualization. Also, stated are the current limitations of the MatLab, which possibly can be taken care of by Mathworks Inc. in a future version to make MatLab more versatile.
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
From Petascale to Exascale: Eight Focus Areas of R&D Challenges for HPC Simulation Environments
DOE Office of Scientific and Technical Information (OSTI.GOV)
Springmeyer, R; Still, C; Schulz, M
2011-03-17
Programming models bridge the gap between the underlying hardware architecture and the supporting layers of software available to applications. Programming models are different from both programming languages and application programming interfaces (APIs). Specifically, a programming model is an abstraction of the underlying computer system that allows for the expression of both algorithms and data structures. In comparison, languages and APIs provide implementations of these abstractions and allow the algorithms and data structures to be put into practice - a programming model exists independently of the choice of both the programming language and the supporting APIs. Programming models are typically focusedmore » on achieving increased developer productivity, performance, and portability to other system designs. The rapidly changing nature of processor architectures and the complexity of designing an exascale platform provide significant challenges for these goals. Several other factors are likely to impact the design of future programming models. In particular, the representation and management of increasing levels of parallelism, concurrency and memory hierarchies, combined with the ability to maintain a progressive level of interoperability with today's applications are of significant concern. Overall the design of a programming model is inherently tied not only to the underlying hardware architecture, but also to the requirements of applications and libraries including data analysis, visualization, and uncertainty quantification. Furthermore, the successful implementation of a programming model is dependent on exposed features of the runtime software layers and features of the operating system. Successful use of a programming model also requires effective presentation to the software developer within the context of traditional and new software development tools. Consideration must also be given to the impact of programming models on both languages and the associated compiler infrastructure. Exascale programming models must reflect several, often competing, design goals. These design goals include desirable features such as abstraction and separation of concerns. However, some aspects are unique to large-scale computing. For example, interoperability and composability with existing implementations will prove critical. In particular, performance is the essential underlying goal for large-scale systems. A key evaluation metric for exascale models will be the extent to which they support these goals rather than merely enable them.« less
HAL/S-FC and HAL/S-360 compiler system program description
NASA Technical Reports Server (NTRS)
1976-01-01
The compiler is a large multi-phase design and can be broken into four phases: Phase 1 inputs the source language and does a syntactic and semantic analysis generating the source listing, a file of instructions in an internal format (HALMAT) and a collection of tables to be used in subsequent phases. Phase 1.5 massages the code produced by Phase 1, performing machine independent optimization. Phase 2 inputs the HALMAT produced by Phase 1 and outputs machine language object modules in a form suitable for the OS-360 or FCOS linkage editor. Phase 3 produces the SDF tables. The four phases described are written in XPL, a language specifically designed for compiler implementation. In addition to the compiler, there is a large library containing all the routines that can be explicitly called by the source language programmer plus a large collection of routines for implementing various facilities of the language.
A high-level language for rule-based modelling.
Pedersen, Michael; Phillips, Andrew; Plotkin, Gordon D
2015-01-01
Rule-based languages such as Kappa excel in their support for handling the combinatorial complexities prevalent in many biological systems, including signalling pathways. But Kappa provides little structure for organising rules, and large models can therefore be hard to read and maintain. This paper introduces a high-level, modular extension of Kappa called LBS-κ. We demonstrate the constructs of the language through examples and three case studies: a chemotaxis switch ring, a MAPK cascade, and an insulin signalling pathway. We then provide a formal definition of LBS-κ through an abstract syntax and a translation to plain Kappa. The translation is implemented in a compiler tool which is available as a web application. We finally demonstrate how to increase the expressivity of LBS-κ through embedded scripts in a general-purpose programming language, a technique which we view as generally applicable to other domain specific languages.
A High-Level Language for Rule-Based Modelling
Pedersen, Michael; Phillips, Andrew; Plotkin, Gordon D.
2015-01-01
Rule-based languages such as Kappa excel in their support for handling the combinatorial complexities prevalent in many biological systems, including signalling pathways. But Kappa provides little structure for organising rules, and large models can therefore be hard to read and maintain. This paper introduces a high-level, modular extension of Kappa called LBS-κ. We demonstrate the constructs of the language through examples and three case studies: a chemotaxis switch ring, a MAPK cascade, and an insulin signalling pathway. We then provide a formal definition of LBS-κ through an abstract syntax and a translation to plain Kappa. The translation is implemented in a compiler tool which is available as a web application. We finally demonstrate how to increase the expressivity of LBS-κ through embedded scripts in a general-purpose programming language, a technique which we view as generally applicable to other domain specific languages. PMID:26043208
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,
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…
1988-09-01
software programs capable of being used on a microcomputer will be considered for analysis. No software intended for use on a miniframe or mainframe...Dial-A-Log consists of a program written in a computer language called L-10 that is run on a DEC-20 miniframe . The combination of the specific...proliferation of software dealing with microcomputers. Instead, they were geared more towards managing the use of miniframe or mainframe computer
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.…
Closed Loop Analysis Meta-Language Program (CLAMP)
2012-05-01
formats of Spreadsheets, XML, MCPML, or something else should be the ( anthropometry or other) experts’ productivity in: 1) crafting data 2) applying...FORCE MATERIEL COMMAND UNITED STATES AIR FORCE NOTICE AND SIGNATURE PAGE Using Government drawings, specifications, or other data included in...formulated or supplied the drawings, specifications, or other data does not license the holder or any other person or corporation; or convey any rights or
Configurable software for satellite graphics
DOE Office of Scientific and Technical Information (OSTI.GOV)
Hartzman, P D
An important goal in interactive computer graphics is to provide users with both quick system responses for basic graphics functions and enough computing power for complex calculations. One solution is to have a distributed graphics system in which a minicomputer and a powerful large computer share the work. The most versatile type of distributed system is an intelligent satellite system in which the minicomputer is programmable by the application user and can do most of the work while the large remote machine is used for difficult computations. At New York University, the hardware was configured from available equipment. The levelmore » of system intelligence resulted almost completely from software development. Unlike previous work with intelligent satellites, the resulting system had system control centered in the satellite. It also had the ability to reconfigure software during realtime operation. The design of the system was done at a very high level using set theoretic language. The specification clearly illustrated processor boundaries and interfaces. The high-level specification also produced a compact, machine-independent virtual graphics data structure for picture representation. The software was written in a systems implementation language; thus, only one set of programs was needed for both machines. A user can program both machines in a single language. Tests of the system with an application program indicate that is has very high potential. A major result of this work is the demonstration that a gigantic investment in new hardware is not necessary for computing facilities interested in graphics.« less
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.
Implementing corporate wellness programs: a business approach to program planning.
Helmer, D C; Dunn, L M; Eaton, K; Macedonio, C; Lubritz, L
1995-11-01
1. Support of key decision makers is critical to the successful implementation of a corporate wellness program. Therefore, the program implementation plan must be communicated in a format and language readily understood by business people. 2. A business approach to corporate wellness program planning provides a standardized way to communicate the implementation plan. 3. A business approach incorporates the program planning components in a format that ranges from general to specific. This approach allows for flexibility and responsiveness to changes in program planning. 4. Components of the business approach are the executive summary, purpose, background, ground rules, approach, requirements, scope of work, schedule, and financials.
Choi, Hyungsuk; Choi, Woohyuk; Quan, Tran Minh; Hildebrand, David G C; Pfister, Hanspeter; Jeong, Won-Ki
2014-12-01
As the size of image data from microscopes and telescopes increases, the need for high-throughput processing and visualization of large volumetric data has become more pressing. At the same time, many-core processors and GPU accelerators are commonplace, making high-performance distributed heterogeneous computing systems affordable. However, effectively utilizing GPU clusters is difficult for novice programmers, and even experienced programmers often fail to fully leverage the computing power of new parallel architectures due to their steep learning curve and programming complexity. In this paper, we propose Vivaldi, a new domain-specific language for volume processing and visualization on distributed heterogeneous computing systems. Vivaldi's Python-like grammar and parallel processing abstractions provide flexible programming tools for non-experts to easily write high-performance parallel computing code. Vivaldi provides commonly used functions and numerical operators for customized visualization and high-throughput image processing applications. We demonstrate the performance and usability of Vivaldi on several examples ranging from volume rendering to image segmentation.
A software methodology for compiling quantum programs
NASA Astrophysics Data System (ADS)
Häner, Thomas; Steiger, Damian S.; Svore, Krysta; Troyer, Matthias
2018-04-01
Quantum computers promise to transform our notions of computation by offering a completely new paradigm. To achieve scalable quantum computation, optimizing compilers and a corresponding software design flow will be essential. We present a software architecture for compiling quantum programs from a high-level language program to hardware-specific instructions. We describe the necessary layers of abstraction and their differences and similarities to classical layers of a computer-aided design flow. For each layer of the stack, we discuss the underlying methods for compilation and optimization. Our software methodology facilitates more rapid innovation among quantum algorithm designers, quantum hardware engineers, and experimentalists. It enables scalable compilation of complex quantum algorithms and can be targeted to any specific quantum hardware implementation.
1982-06-01
libary packages which support machine dependent physical interfaces, interrupt structures or special devices. Thus, programs and libraries written in...obtains real-time data, makes and imple- ments decisions and receives and originates digital messages. The major equipment items which are appropriate...maintenance. g. Provide digital communications access processing. Each microcomputer can be programmed to perform a specific set of functions using prepared
NASA Technical Reports Server (NTRS)
Shoham, Yoav
1994-01-01
The goal of our research is a methodology for creating robust software in distributed and dynamic environments. The approach taken is to endow software objects with explicit information about one another, to have them interact through a commitment mechanism, and to equip them with a speech-acty communication language. System-level applications include software interoperation and compositionality. A government application of specific interest is an infrastructure for coordination among multiple planners. Daily activity applications include personal software assistants, such as programmable email, scheduling, and new group agents. Research topics include definition of mental state of agents, design of agent languages as well as interpreters for those languages, and mechanisms for coordination within agent societies such as artificial social laws and conventions.
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.
Web Program for Development of GUIs for Cluster Computers
NASA Technical Reports Server (NTRS)
Czikmantory, Akos; Cwik, Thomas; Klimeck, Gerhard; Hua, Hook; Oyafuso, Fabiano; Vinyard, Edward
2003-01-01
WIGLAF (a Web Interface Generator and Legacy Application Facade) is a computer program that provides a Web-based, distributed, graphical-user-interface (GUI) framework that can be adapted to any of a broad range of application programs, written in any programming language, that are executed remotely on any cluster computer system. WIGLAF enables the rapid development of a GUI for controlling and monitoring a specific application program running on the cluster and for transferring data to and from the application program. The only prerequisite for the execution of WIGLAF is a Web-browser program on a user's personal computer connected with the cluster via the Internet. WIGLAF has a client/server architecture: The server component is executed on the cluster system, where it controls the application program and serves data to the client component. The client component is an applet that runs in the Web browser. WIGLAF utilizes the Extensible Markup Language to hold all data associated with the application software, Java to enable platform-independent execution on the cluster system and the display of a GUI generator through the browser, and the Java Remote Method Invocation software package to provide simple, effective client/server networking.
chemf: A purely functional chemistry toolkit.
Höck, Stefan; Riedl, Rainer
2012-12-20
Although programming in a type-safe and referentially transparent style offers several advantages over working with mutable data structures and side effects, this style of programming has not seen much use in chemistry-related software. Since functional programming languages were designed with referential transparency in mind, these languages offer a lot of support when writing immutable data structures and side-effects free code. We therefore started implementing our own toolkit based on the above programming paradigms in a modern, versatile programming language. We present our initial results with functional programming in chemistry by first describing an immutable data structure for molecular graphs together with a couple of simple algorithms to calculate basic molecular properties before writing a complete SMILES parser in accordance with the OpenSMILES specification. Along the way we show how to deal with input validation, error handling, bulk operations, and parallelization in a purely functional way. At the end we also analyze and improve our algorithms and data structures in terms of performance and compare it to existing toolkits both object-oriented and purely functional. All code was written in Scala, a modern multi-paradigm programming language with a strong support for functional programming and a highly sophisticated type system. We have successfully made the first important steps towards a purely functional chemistry toolkit. The data structures and algorithms presented in this article perform well while at the same time they can be safely used in parallelized applications, such as computer aided drug design experiments, without further adjustments. This stands in contrast to existing object-oriented toolkits where thread safety of data structures and algorithms is a deliberate design decision that can be hard to implement. Finally, the level of type-safety achieved by Scala highly increased the reliability of our code as well as the productivity of the programmers involved in this project.
chemf: A purely functional chemistry toolkit
2012-01-01
Background Although programming in a type-safe and referentially transparent style offers several advantages over working with mutable data structures and side effects, this style of programming has not seen much use in chemistry-related software. Since functional programming languages were designed with referential transparency in mind, these languages offer a lot of support when writing immutable data structures and side-effects free code. We therefore started implementing our own toolkit based on the above programming paradigms in a modern, versatile programming language. Results We present our initial results with functional programming in chemistry by first describing an immutable data structure for molecular graphs together with a couple of simple algorithms to calculate basic molecular properties before writing a complete SMILES parser in accordance with the OpenSMILES specification. Along the way we show how to deal with input validation, error handling, bulk operations, and parallelization in a purely functional way. At the end we also analyze and improve our algorithms and data structures in terms of performance and compare it to existing toolkits both object-oriented and purely functional. All code was written in Scala, a modern multi-paradigm programming language with a strong support for functional programming and a highly sophisticated type system. Conclusions We have successfully made the first important steps towards a purely functional chemistry toolkit. The data structures and algorithms presented in this article perform well while at the same time they can be safely used in parallelized applications, such as computer aided drug design experiments, without further adjustments. This stands in contrast to existing object-oriented toolkits where thread safety of data structures and algorithms is a deliberate design decision that can be hard to implement. Finally, the level of type-safety achieved by Scala highly increased the reliability of our code as well as the productivity of the programmers involved in this project. PMID:23253942
NASA Astrophysics Data System (ADS)
Wang, Pengyao; Chen, Xiangguang; Yang, Kai; Liu, Xuejiao
2017-01-01
To improve the measuring efficiency of width and thickness of tire tread in the process of automobile tire production, the actual condition for the tire production process is analyzed, and a fast online measurement system based on moving tire tread of tire specifications is established in this paper. The coordinate data of tire tread profile is acquired by 3D laser sensor, and we use C# language for programming which is an object-oriented programming language to complete the development of client program. The system with laser sensor can provide real-time display of tire tread profile and the data to require in the process of tire production. Experimental results demonstrate that the measuring precision of the system is <= 1mm, it can meet the measurement requirements of the production process, and the system has the characteristics of convenient installation and testing, system stable operation.
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)
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.…
dREL: a relational expression language for dictionary methods.
Spadaccini, Nick; Castleden, Ian R; du Boulay, Doug; Hall, Sydney R
2012-08-27
The provision of precise metadata is an important but a largely underrated challenge for modern science [Nature 2009, 461, 145]. We describe here a dictionary methods language dREL that has been designed to enable complex data relationships to be expressed as formulaic scripts in data dictionaries written in DDLm [Spadaccini and Hall J. Chem. Inf. Model.2012 doi:10.1021/ci300075z]. dREL describes data relationships in a simple but powerful canonical form that is easy to read and understand and can be executed computationally to evaluate or validate data. The execution of dREL expressions is not a substitute for traditional scientific computation; it is to provide precise data dependency information to domain-specific definitions and a means for cross-validating data. Some scientific fields apply conventional programming languages to methods scripts but these tend to inhibit both dictionary development and accessibility. dREL removes the programming barrier and encourages the production of the metadata needed for seamless data archiving and exchange in science.
Helping Students Develop Learning Strategies: Some Theoretical and Practical Considerations.
ERIC Educational Resources Information Center
Harrison, Ian D.
The collaborative curriculum development process in a postsecondary language education program in Japan is described, looking specifically at the work of five curriculum development teams, or focus groups: needs assessment; curriculum aims, goals, and objectives; cognitive development and learner strategies; materials development; and learner…
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…
The multilingual videotape project: community involvement in a unique health education program.
Clabots, R B; Dolphin, D
1992-01-01
The large number of Southeast Asian, Hispanic, and Portuguese immigrants in Rhode Island face formidable language and cultural barriers in gaining access to the health care that they need. As the funding for refugee-specific programs diminishes, the focus is on programs that encourage self-sufficiency, assist in gaining access to mainstream health care, and involve a collaboration among service agencies and the communities they serve. On behalf of a coalition of health care and community agencies, Women and Infants Hospital of Rhode Island received a private foundation grant to produce nine multilingual videotapes that would educate immigrants and refugees about health issues specific to them and help them access the health care system. The project was structured to maximize the involvement of the various communities and to "empower" community members in working with mainstream service agencies. Coalition and other community members provided input into topic selection, script content, and presentation methods for the videotapes that would be culturally appropriate. During the 2-year project, nine videotapes were produced with narration in seven languages. Copies of the videotapes were distributed free of charge to coalition members. PMID:1738812
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…
2013-01-01
Background Ethnic minority women from low-income countries who live in high-income countries are more physically inactive than ethnic majority women in those countries. At the same time, they can be harder to reach with health promotion programs. Targeting recruitment channels and execution to ethnic groups could increase reach and receptivity to program participation. We explored using ethnically specific channels and key figures to reach Ghanaian, Antillean, and Surinamese mothers with an invitation for an exercise program, and subsequently, to determine the mothers’ receptivity and participation. Methods We conducted a mixed methods process evaluation in Amsterdam, the Netherlands. To recruit mothers, we employed ethnically specific community organizations and ethnically matched key figures as recruiters over Dutch health educators. Reach and participation were measured using reply cards and the attendance records from the exercise programs. Observations were made of the recruitment process. We interviewed 14 key figures and 32 mothers to respond to the recruitment channel and recruiter used. Content analysis was used to analyze qualitative data. Results Recruitment through ethnically specific community channels was successful among Ghanaian mothers, but less so among Antillean and Surinamese mothers. The more close-knit an ethnic community was, retaining their own culture and having poorer comprehension of the Dutch language, the more likely we were to reach mothers through ethnically specific organizations. Furthermore, we found that using ethnically matched recruiters resulted in higher receptivity to the program and, among the Ghanaian mothers in particular, in greater participation. This was because the ethnically matched recruiter was a familiar, trusted person, a translator, and a motivator who was enthusiastic, encouraging, and able to adapt her message (targeting/tailoring). Using a health expert was preferred in order to increase the credibility and professionalism of the recruitment. Conclusions Recruitment for an exercise program through ethnically specific organizations seems to contribute to its reach, particularly in close-knit, highly organized ethnic communities with limited fluency in the local language. Using ethnically matched recruiters as motivator, translator, and trusted person seems to enhance receptivity of a health promotion program. An expert is likely to be needed for effective information delivery. PMID:23957695
Two functions of early language experience.
Arshavsky, Yuri I
2009-05-01
The unique human ability of linguistic communication, defined as the ability to produce a practically infinite number of meaningful messages using a finite number of lexical items, is determined by an array of "linguistic" genes, which are expressed in neurons forming domain-specific linguistic centers in the brain. In this review, I discuss the idea that infants' early language experience performs two complementary functions. In addition to allowing infants to assimilate the words and grammar rules of their mother language, early language experience initiates genetic programs underlying language production and comprehension. This hypothesis explains many puzzling characteristics of language acquisition, such as the existence of a critical period for acquiring the first language and the absence of a critical period for the acquisition of additional language(s), a similar timetable for language acquisition in children belonging to families of different social and cultural status, the strikingly similar timetables in the acquisition of oral and sign languages, and the surprisingly small correlation between individuals' final linguistic competence and the intensity of their training. Based on the studies of microcephalic individuals, I argue that genetic factors determine not only the number of neurons and organization of interneural connections within linguistic centers, but also the putative internal properties of neurons that are not limited to their electrophysiological and synaptic properties.
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.
From Verified Models to Verifiable Code
NASA Technical Reports Server (NTRS)
Lensink, Leonard; Munoz, Cesar A.; Goodloe, Alwyn E.
2009-01-01
Declarative specifications of digital systems often contain parts that can be automatically translated into executable code. Automated code generation may reduce or eliminate the kinds of errors typically introduced through manual code writing. For this approach to be effective, the generated code should be reasonably efficient and, more importantly, verifiable. This paper presents a prototype code generator for the Prototype Verification System (PVS) that translates a subset of PVS functional specifications into an intermediate language and subsequently to multiple target programming languages. Several case studies are presented to illustrate the tool's functionality. The generated code can be analyzed by software verification tools such as verification condition generators, static analyzers, and software model-checkers to increase the confidence that the generated code is correct.
d/Deaf and Hard of Hearing Multilingual Learners: The Development of Communication and Language.
Pizzo, Lianna
2016-01-01
The author examines the theory and research relevant to educating d/Deaf and Hard of Hearing Multilingual Learners (DMLs). There is minimal research on this population, yet a synthesis of related theory, research, and practice on spoken-language bilinguals can be used to add to the body of knowledge on these learners. Specifically, the author reports on three major areas: (a) population characteristics of DMLs, (b) theories relevant to understanding the language development of DMLs, and (c) considerations for programs in designing and implementing educational services for DMLs. In the interest of ensuring that children receive the foundation for linguistic success, aspects of linguistically responsive teaching (Lucas & Villegas, 2013) are addressed, with a focus on adopting an asset-based perspective on educating DMLs that honors all of a child's language, identity, and cultural memberships.
Software engineering and Ada in design
NASA Technical Reports Server (NTRS)
Oneill, Don
1986-01-01
Modern software engineering promises significant reductions in software costs and improvements in software quality. The Ada language is the focus for these software methodology and tool improvements. The IBM FSD approach, including the software engineering practices that guide the systematic design and development of software products and the management of the software process are examined. The revised Ada design language adaptation is revealed. This four level design methodology is detailed including the purpose of each level, the management strategy that integrates the software design activity with the program milestones, and the technical strategy that maps the Ada constructs to each level of design. A complete description of each design level is provided along with specific design language recording guidelines for each level. Finally, some testimony is offered on education, tools, architecture, and metrics resulting from project use of the four level Ada design language adaptation.
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
ERIC Educational Resources Information Center
Ahmed, Mustafa Shazali Mustafa
2009-01-01
The study investigated the importance of two elements in the process of syllabus design (ends / means specifications, program implementation) in the faculty of Islamic and Arabic studies, Nile Valley University, designed in 1995. Results indicate that the ends/means specifications stage is used to present the general aims and the objective of each…
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.
Musical plus phonological input for young foreign language readers
Fonseca-Mora, M. C.; Jara-Jiménez, Pilar; Gómez-Domínguez, María
2015-01-01
Based on previous studies showing that phonological awareness is related to reading abilities and that music training improves phonological processing, the aim of the present study was to test for the efficiency of a new method for teaching to read in a foreign language. Specifically, we tested the efficacy of a phonological training program, with and without musical support that aimed at improving early reading skills in 7–8-year-old Spanish children (n = 63) learning English as a foreign language. Of interest was also to explore the impact of this training program on working memory and decoding skills. To achieve these goals we tested three groups of children before and after training: a control group, an experimental group with phonological non-musical intervention (active control), and an experimental group with musical intervention. Results clearly point to the beneficial effects of the phonological teaching approach but the further impact of the music support was not demonstrated. Moreover, while children in the music group showed low musical aptitudes before training, they nevertheless performed better than the control group. Therefore, the phonological training program with and without music support seem to have significant effects on early reading skills. PMID:25852604
Musical plus phonological input for young foreign language readers.
Fonseca-Mora, M C; Jara-Jiménez, Pilar; Gómez-Domínguez, María
2015-01-01
Based on previous studies showing that phonological awareness is related to reading abilities and that music training improves phonological processing, the aim of the present study was to test for the efficiency of a new method for teaching to read in a foreign language. Specifically, we tested the efficacy of a phonological training program, with and without musical support that aimed at improving early reading skills in 7-8-year-old Spanish children (n = 63) learning English as a foreign language. Of interest was also to explore the impact of this training program on working memory and decoding skills. To achieve these goals we tested three groups of children before and after training: a control group, an experimental group with phonological non-musical intervention (active control), and an experimental group with musical intervention. Results clearly point to the beneficial effects of the phonological teaching approach but the further impact of the music support was not demonstrated. Moreover, while children in the music group showed low musical aptitudes before training, they nevertheless performed better than the control group. Therefore, the phonological training program with and without music support seem to have significant effects on early reading skills.
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…
DOE Office of Scientific and Technical Information (OSTI.GOV)
Jones, T.
2000-07-01
The Write One, Run Many (WORM) site (worm.csirc.net) is the on-line home of the WORM language and is hosted by the Criticality Safety Information Resource Center (CSIRC) (www.csirc.net). The purpose of this web site is to create an on-line community for WORM users to gather, share, and archive WORM-related information. WORM is an embedded, functional, programming language designed to facilitate the creation of input decks for computer codes that take standard ASCII text files as input. A functional programming language is one that emphasizes the evaluation of expressions, rather than execution of commands. The simplest and perhaps most common examplemore » of a functional language is a spreadsheet such as Microsoft Excel. The spreadsheet user specifies expressions to be evaluated, while the spreadsheet itself determines the commands to execute, as well as the order of execution/evaluation. WORM functions in a similar fashion and, as a result, is very simple to use and easy to learn. WORM improves the efficiency of today's criticality safety analyst by allowing: (1) input decks for parameter studies to be created quickly and easily; (2) calculations and variables to be embedded into any input deck, thus allowing for meaningful parameter specifications; (3) problems to be specified using any combination of units; and (4) complex mathematically defined models to be created. WORM is completely written in Perl. Running on all variants of UNIX, Windows, MS-DOS, MacOS, and many other operating systems, Perl is one of the most portable programming languages available. As such, WORM works on practically any computer platform.« less
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,…
ERIC Educational Resources Information Center
Ananyeva, Maria
2014-01-01
This article introduces the concept of a learning curriculum that places adult English as a second language (ESL) students' needs in the center and encourages the engagement of ESL learners in curriculum design. The study is based on contemporary research in the field of adult ESL program planning. It summarizes key components of a learning…
ERIC Educational Resources Information Center
Balabakgil, Burcin; Mede, Enisa
2016-01-01
The purpose of this research study is to find out and compare the use of L1 as a teaching strategy by native and nonnative instructors in elementary level EFL classrooms at a preparatory program of a foundation (non-profit, private) university in Istanbul, Turkey. Specifically, the study aims to investigate the perceptions of native and non-native…
Project BILLET Curriculum Package. Bilingual Vocational Skill Training Program 1986-1987.
ERIC Educational Resources Information Center
Community Coll. of Rhode Island, Warwick.
This document describes a project that provided vocational skills and job-specific English-as-a-second-language (ESL) training to Spanish-speaking adults in Lincoln, Rhode Island. Project BILLET (Bilingual Learning and Employment Training) offered training in five vocational skill areas: machine technology, welding technology, geriatric nursing…
Model for Characterizing and Creating Certificate Programs in Technology-Specific Areas,
1996-05-01
the TOEFL for applicants whose first language is not English. • GRE general and subject test. • Demonstrated competency in <prerequisites for...least 2.75 • English competency as demonstrated by TOEFL • Competence in data structures • Introductory level course in software engineering Course
Becoming Adult Learners: Principles and Practices for Effective Development
ERIC Educational Resources Information Center
Drago-Severson, Eleanor
2004-01-01
This book offers a new and promising way to support adults in Adult Basic Education (ABE) and English for speakers of other languages (ESOL) programs specifically, and learners in adult education, in general. Applying renowned Harvard University psychologist Robert Kegan's constructive-development theory, Drago-Severson depicts an in-depth…
Recommending a Nursing-Specific Passing Standard for the IELTS Examination
ERIC Educational Resources Information Center
O'Neill, Thomas R.; Buckendahl, Chad W.; Plake, Barbara S.; Taylor, Lynda
2007-01-01
Licensure testing programs in the United States (e.g., nursing) face an increasing challenge of measuring the competency of internationally trained candidates, both in relation to their clinical competence and their English language competence. To assist with the latter, professional licensing bodies often adopt well-established and widely…
Development of Intelligent Method for Differential Diagnosis of Specific Language Impairment
2001-10-25
Grant Number Program Element Number Author(s) Project Number Task Number Work Unit Number Performing Organization Name(s) and Address(es) Dept...Development in a Grammatical SLI boy: Modularity and Innateness, Journal of Neurolinguistics 10, (1997) 75-107. [8] J.P. Craiger, D.F. Goodman, R.J
A DDC Bibliography on Computers in Information Sciences. Volume II. Information Sciences Series.
ERIC Educational Resources Information Center
Defense Documentation Center, Alexandria, VA.
The unclassified and unlimited bibliography compiles references dealing specifically with the role of computers in information sciences. The volume contains 239 annotated references grouped under three major headings: Artificial and Programming Languages, Computer Processing of Analog Data, and Computer Processing of Digital Data. The references…
Discipline-Specific Practica for International Teaching Assistants
ERIC Educational Resources Information Center
Gorsuch, Greta J.
2006-01-01
A topic of continued discussion has been whether international teaching assistant (ITA) education is best done within academic departments, or within university-wide programs organized by English as a Second Language (ESL) specialists. This report describes a pilot ITA practicum which may potentially combine the best of both approaches: Academic…
The Administration of Eligibility for Community Long-Term Care.
ERIC Educational Resources Information Center
Leutz, Walter; And Others
1993-01-01
Eligibility assessment systems for community long-term care vary widely across programs funded by states and Medicaid and in proposals to expand federal funding. Improved equity and efficiency will require better specification of eligibility criteria, timing and setting of assessments, language of assessment items, training of assessors,…
Unheard Voices: A Section 353 Special Project. Final Report.
ERIC Educational Resources Information Center
Strunk, Sandra J.
"Unheard Voices" was a project designed to provide adult educators with specific guidelines and ideas for integrating a creative writing component into an existing program of adult basic education, General Educational Development, or English as a second language. The project also collected and published student poetry and fiction in…
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.
Synthesizing information-update functions using off-line symbolic processing
NASA Technical Reports Server (NTRS)
Rosenschein, Stanley J.
1990-01-01
This paper explores the synthesis of programs that track dynamic conditions in their environment. An approach is proposed in which the designer specifies, in a declarative language, aspects of the environment in which the program will be embedded. This specification is then automatically compiled into a program that, when executed, updates internal data structures so as to maintain as an invariant a desired correspondence between internal data structures and states of the external environment. This approach retains much of the flexibility of declarative programming while guaranteeing a hard bound on the execution time of information-update functions.
The Language of Ageism: Why We Need to Use Words Carefully.
Gendron, Tracey L; Welleford, E Ayn; Inker, Jennifer; White, John T
2016-12-01
Language carries and conveys meaning which feeds assumptions and judgments that can lead to the development of stereotypes and discrimination. As a result, this study closely examined the specific language that is used to communicate attitudes and perceptions of aging and older adults. We conducted a qualitative study of a twitter assignment for 236 students participating in a senior mentoring program. Three hundred fifty-four tweets were qualitatively analyzed to explore language-based age discrimination using a thematic analytic approach. Twelve percent of the tweets (n = 43) were found to contain discriminatory language. Thematic analysis of the biased tweets identified 8 broad themes describing language-based age discrimination: assumptions and judgments, older people as different, uncharacteristic characteristics, old as negative, young as positive, infantilization, internalized ageism, and internalized microaggression. The language of ageism is rooted in both explicit actions and implicit attitudes which make it highly complex and difficult to identify. Continued examination of linguistic encoding is needed in order to recognize and rectify language-based age discrimination. © The Author 2015. Published by Oxford University Press on behalf of The Gerontological Society of America. All rights reserved. For permissions, please e-mail: journals.permissions@oup.com.
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…
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,…
Infrastructure for Rapid Development of Java GUI Programs
NASA Technical Reports Server (NTRS)
Jones, Jeremy; Hostetter, Carl F.; Wheeler, Philip
2006-01-01
The Java Application Shell (JAS) is a software framework that accelerates the development of Java graphical-user-interface (GUI) application programs by enabling the reuse of common, proven GUI elements, as distinguished from writing custom code for GUI elements. JAS is a software infrastructure upon which Java interactive application programs and graphical user interfaces (GUIs) for those programs can be built as sets of plug-ins. JAS provides an application- programming interface that is extensible by application-specific plugins that describe and encapsulate both specifications of a GUI and application-specific functionality tied to the specified GUI elements. The desired GUI elements are specified in Extensible Markup Language (XML) descriptions instead of in compiled code. JAS reads and interprets these descriptions, then creates and configures a corresponding GUI from a standard set of generic, reusable GUI elements. These elements are then attached (again, according to the XML descriptions) to application-specific compiled code and scripts. An application program constructed by use of JAS as its core can be extended by writing new plug-ins and replacing existing plug-ins. Thus, JAS solves many problems that Java programmers generally solve anew for each project, thereby reducing development and testing time.
A learning apprentice for software parts composition
NASA Technical Reports Server (NTRS)
Allen, Bradley P.; Holtzman, Peter L.
1987-01-01
An overview of the knowledge acquisition component of the Bauhaus, a prototype computer aided software engineering (CASE) workstation for the development of domain-specific automatic programming systems (D-SAPS) is given. D-SAPS use domain knowledge in the refinement of a description of an application program into a compilable implementation. The approach to the construction of D-SAPS was to automate the process of refining a description of a program, expressed in an object-oriented domain language, into a configuration of software parts that implement the behavior of the domain objects.
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
Generic command interpreter for robot controllers
DOE Office of Scientific and Technical Information (OSTI.GOV)
Werner, J.
1991-04-09
Generic command interpreter programs have been written for robot controllers at Sandia National Laboratories (SNL). Each interpreter program resides on a robot controller and interfaces the controller with a supervisory program on another (host) computer. We call these interpreter programs monitors because they wait, monitoring a communication line, for commands from the supervisory program. These monitors are designed to interface with the object-oriented software structure of the supervisory programs. The functions of the monitor programs are written in each robot controller's native language but reflect the object-oriented functions of the supervisory programs. These functions and other specifics of the monitormore » programs written for three different robots at SNL will be discussed. 4 refs., 4 figs.« less
Khomtchouk, Bohdan B; Van Booven, Derek J; Wahlestedt, Claes
2014-01-01
The graphical visualization of gene expression data using heatmaps has become an integral component of modern-day medical research. Heatmaps are used extensively to plot quantitative differences in gene expression levels, such as those measured with RNAseq and microarray experiments, to provide qualitative large-scale views of the transcriptonomic landscape. Creating high-quality heatmaps is a computationally intensive task, often requiring considerable programming experience, particularly for customizing features to a specific dataset at hand. Software to create publication-quality heatmaps is developed with the R programming language, C++ programming language, and OpenGL application programming interface (API) to create industry-grade high performance graphics. We create a graphical user interface (GUI) software package called HeatmapGenerator for Windows OS and Mac OS X as an intuitive, user-friendly alternative to researchers with minimal prior coding experience to allow them to create publication-quality heatmaps using R graphics without sacrificing their desired level of customization. The simplicity of HeatmapGenerator is that it only requires the user to upload a preformatted input file and download the publicly available R software language, among a few other operating system-specific requirements. Advanced features such as color, text labels, scaling, legend construction, and even database storage can be easily customized with no prior programming knowledge. We provide an intuitive and user-friendly software package, HeatmapGenerator, to create high-quality, customizable heatmaps generated using the high-resolution color graphics capabilities of R. The software is available for Microsoft Windows and Apple Mac OS X. HeatmapGenerator is released under the GNU General Public License and publicly available at: http://sourceforge.net/projects/heatmapgenerator/. The Mac OS X direct download is available at: http://sourceforge.net/projects/heatmapgenerator/files/HeatmapGenerator_MAC_OSX.tar.gz/download. The Windows OS direct download is available at: http://sourceforge.net/projects/heatmapgenerator/files/HeatmapGenerator_WINDOWS.zip/download.
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
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…
Specific Language Impairments in Children.
ERIC Educational Resources Information Center
Watkins, Ruth V., Ed.; Rice, Mabel L., Ed.
The fourth volume in a series on communication and language intervention focuses on specific language impairments in children, and contains papers presented at a 1992 conference. Papers include the following: "Specific Language Impairments in Children: An Introduction" (Ruth V. Watkins); "Studies of Genetics of Specific Language Impairment" (J.…
1983-11-03
capability. An intelligent library management system will be supported by knowledge-based techniques. In fact, until a formal specification of library...from artificial intelligence and information science 2 might also be useful, for example automatic indexing and cataloging schemes, methods for fast...Artificial Intelligence 5:1045-1058, 1977. [Burstall & Goguen 801 Burstall, R. M., and Goguen, J. A. The Semantics of Clear, a Specification Language. In
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,…
Vertical Interaction in Open Software Engineering Communities
2009-03-01
Program in CASOS (NSF,DGE-9972762), the Office of Naval Research under Dynamic Network Analysis program (N00014-02-1-0973, the Air Force Office of...W91WAW07C0063) for research in the area of dynamic network analysis. Additional support was provided by CASOS - the center for Computational Analysis of Social...methods across the domain. For a given project, de - velopers can choose from dozens of models, tools, platforms, and languages for specification, design
Tempo: A Toolkit for the Timed Input/Output Automata Formalism
2008-01-30
generation of distributed code from specifications. F .4.3 [Formal Languages]: Tempo;, D.3 [Programming Many distributed systems involve a combination of...and require The chek (i) transition is enabled when process i’s program the simulator to check the assertions after every single step counter is set to...output foo (n:Int) The Tempo simulator addresses this issue by putting the states x: Int : = 10;transitions modeler in charge of resolving the non
Specifying and Verifying Concurrent Programs.
1985-02-01
for Verification and Specification of Concurrent Systems, held in La - Colle - Sur - Loup , France in October, 1984. Work Supported in part by the National...Proc. ACM Symposium on Princi- 0 ples of Programming Languages, Las Vegas, (January 1980), 251-261. [7] J. V. Guttag and J. J. Horning. An Introduction...names in ’V(S). However, the two formulas behave differently under a renaming mapping p. In particu- lar. p(Vv :A( LA )) equals Vv :p(A(v)), so the
NASA Astrophysics Data System (ADS)
Faiyetole, Ayodele Adekunle
2008-12-01
The world is made up of people of varied cultures who speak different languages. In Africa and, to be more specific, in Nigeria, there is a wide diversity of languages and customs. Nigeria has about 250 ethnic social units, to the extent that just a few of the populace have an effective understanding of English, the nation’s official language. Hence, most communications are carried out in the local languages. To efficiently communicate the heliophysical and other scientific and technological phenomena to the general public, quite a lot would have to be done in the cultural and language context. There is a need to adequately involve social scientists in the education and public outreach programs relating to space science and technology. This paper looks at various ways in which languages and diversity in cultures could be harnessed more effectively to communicate science. The paper also discusses how the various International Heliophysical Year education resources could be adapted to a multi-cultural society, therefore, able to reach more people in the world.
CPP-TRS(C): On using visual cognitive symbols to enhance communication effectiveness
NASA Technical Reports Server (NTRS)
Tonfoni, Graziella
1994-01-01
Communicative Positioning Program/Text Representation Systems (CPP-TRS) is a visual language based on a system of 12 canvasses, 10 signals and 14 symbols. CPP-TRS is based on the fact that every communication action is the result of a set of cognitive processes and the whole system is based on the concept that you can enhance communication by visually perceiving text. With a simple syntax, CPP-TRS is capable of representing meaning and intention as well as communication functions visually. Those are precisely invisible aspects of natural language that are most relevant to getting the global meaning of a text. CPP-TRS reinforces natural language in human machine interaction systems. It complements natural language by adding certain important elements that are not represented by natural language by itself. These include communication intention and function of the text expressed by the sender, as well as the role the reader is supposed to play. The communication intention and function of a text and the reader's role are invisible in natural language because neither specific words nor punctuation conveys them sufficiently and unambiguously; they are therefore non-transparent.
Characterization of the space shuttle reaction control system engine
NASA Technical Reports Server (NTRS)
Wilson, M. S.; Stechman, R. C.; Edelman, R. B.; Fortune, O. F.; Economos, C.
1972-01-01
A computer program was developed and written in FORTRAN 5 which predicts the transient and steady state performance and heat transfer characteristics of a pulsing GO2/GH2 rocket engine. This program predicts the dynamic flow and ignition characteristics which, when combined in a quasi-steady state manner with the combustion and mixing analysis program, will provide the thrust and specific impulse of the engine as a function of time. The program also predicts the transient and steady state heat transfer characteristics of the engine using various cooling concepts. The computer program, test case, and documentation are presented. The program is applicable to any system capable of utilizing the FORTRAN 4 or FORTRAN 5 language.
Ramus, Franck; Marshall, Chloe R.; Rosen, Stuart
2013-01-01
An on-going debate surrounds the relationship between specific language impairment and developmental dyslexia, in particular with respect to their phonological abilities. Are these distinct disorders? To what extent do they overlap? Which cognitive and linguistic profiles correspond to specific language impairment, dyslexia and comorbid cases? At least three different models have been proposed: the severity model, the additional deficit model and the component model. We address this issue by comparing children with specific language impairment only, those with dyslexia-only, those with specific language impairment and dyslexia and those with no impairment, using a broad test battery of language skills. We find that specific language impairment and dyslexia do not always co-occur, and that some children with specific language impairment do not have a phonological deficit. Using factor analysis, we find that language abilities across the four groups of children have at least three independent sources of variance: one for non-phonological language skills and two for distinct sets of phonological abilities (which we term phonological skills versus phonological representations). Furthermore, children with specific language impairment and dyslexia show partly distinct profiles of phonological deficit along these two dimensions. We conclude that a multiple-component model of language abilities best explains the relationship between specific language impairment and dyslexia and the different profiles of impairment that are observed. PMID:23413264
Mamouras, Konstantinos; Raghothaman, Mukund; Alur, Rajeev; Ives, Zachary G; Khanna, Sanjeev
2017-06-01
Real-time decision making in emerging IoT applications typically relies on computing quantitative summaries of large data streams in an efficient and incremental manner. To simplify the task of programming the desired logic, we propose StreamQRE, which provides natural and high-level constructs for processing streaming data. Our language has a novel integration of linguistic constructs from two distinct programming paradigms: streaming extensions of relational query languages and quantitative extensions of regular expressions. The former allows the programmer to employ relational constructs to partition the input data by keys and to integrate data streams from different sources, while the latter can be used to exploit the logical hierarchy in the input stream for modular specifications. We first present the core language with a small set of combinators, formal semantics, and a decidable type system. We then show how to express a number of common patterns with illustrative examples. Our compilation algorithm translates the high-level query into a streaming algorithm with precise complexity bounds on per-item processing time and total memory footprint. We also show how to integrate approximation algorithms into our framework. We report on an implementation in Java, and evaluate it with respect to existing high-performance engines for processing streaming data. Our experimental evaluation shows that (1) StreamQRE allows more natural and succinct specification of queries compared to existing frameworks, (2) the throughput of our implementation is higher than comparable systems (for example, two-to-four times greater than RxJava), and (3) the approximation algorithms supported by our implementation can lead to substantial memory savings.
Mamouras, Konstantinos; Raghothaman, Mukund; Alur, Rajeev; Ives, Zachary G.; Khanna, Sanjeev
2017-01-01
Real-time decision making in emerging IoT applications typically relies on computing quantitative summaries of large data streams in an efficient and incremental manner. To simplify the task of programming the desired logic, we propose StreamQRE, which provides natural and high-level constructs for processing streaming data. Our language has a novel integration of linguistic constructs from two distinct programming paradigms: streaming extensions of relational query languages and quantitative extensions of regular expressions. The former allows the programmer to employ relational constructs to partition the input data by keys and to integrate data streams from different sources, while the latter can be used to exploit the logical hierarchy in the input stream for modular specifications. We first present the core language with a small set of combinators, formal semantics, and a decidable type system. We then show how to express a number of common patterns with illustrative examples. Our compilation algorithm translates the high-level query into a streaming algorithm with precise complexity bounds on per-item processing time and total memory footprint. We also show how to integrate approximation algorithms into our framework. We report on an implementation in Java, and evaluate it with respect to existing high-performance engines for processing streaming data. Our experimental evaluation shows that (1) StreamQRE allows more natural and succinct specification of queries compared to existing frameworks, (2) the throughput of our implementation is higher than comparable systems (for example, two-to-four times greater than RxJava), and (3) the approximation algorithms supported by our implementation can lead to substantial memory savings. PMID:29151821