Biculturalism through Experiential Language Learning.

ERIC Educational Resources Information Center

Brennan, Pamela; Donoghue, Anna Acitelli

This paper describes the English as a Second Language Program developed for educationally disadvantaged Mexican-American adults as part of the educational offerings of Project Step-Up, an OEO-funded demonstration program in San Diego. Project Step-Up features a multifold methodological approach incorporating techniques from (1) life skills…

Communicative Competence of the Fourth Year Students: Basis for Proposed English Language Program

ERIC Educational Resources Information Center

Tuan, Vu Van

2017-01-01

This study on level of communicative competence covering linguistic/grammatical and discourse has aimed at constructing a proposed English language program for 5 key universities in Vietnam. The descriptive method utilized was scientifically employed with comparative techniques and correlational analysis. The researcher treated the surveyed data…

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.

A common distributed language approach to software integration

NASA Technical Reports Server (NTRS)

Antonelli, Charles J.; Volz, Richard A.; Mudge, Trevor N.

1989-01-01

An important objective in software integration is the development of techniques to allow programs written in different languages to function together. Several approaches are discussed toward achieving this objective and the Common Distributed Language Approach is presented as the approach of choice.

Introduction to Computational Physics for Undergraduates

NASA Astrophysics Data System (ADS)

Zubairi, Omair; Weber, Fridolin

2018-03-01

This is an introductory textbook on computational methods and techniques intended for undergraduates at the sophomore or junior level in the fields of science, mathematics, and engineering. It provides an introduction to programming languages such as FORTRAN 90/95/2000 and covers numerical techniques such as differentiation, integration, root finding, and data fitting. The textbook also entails the use of the Linux/Unix operating system and other relevant software such as plotting programs, text editors, and mark up languages such as LaTeX. It includes multiple homework assignments.

Anthropology and Language Science in Educational Development Newsletter, No. 2/3.

ERIC Educational Resources Information Center

United Nations Educational, Scientific, and Cultural Organization, Paris (France). Div. of Structures and Content of Life-Long Education.

This issue of the ALSED newsletter contains: (1) a description of the Anthropology and Language Science in Educational Development (ALSED) program; (2) information on the meeting of experts on diversification of methods and techniques for teaching a second language or foreign languages (Paris, Unesco, 15-20 September, 1975), which discussed such…

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.

TECHNIQUES OF TAPE PREPARATION AND DUPLICATION, WITH SUGGESTIONS FOR A LANGUAGE LABORATORY.

ERIC Educational Resources Information Center

Kansas State Dept. of Public Instruction, Topeka.

PART ONE OF THIS BULLETIN PROVIDES HELP IN THE TWO CRITICAL AREAS OF MASTER TAPE PREPARATION AND DUPLICATION. SUPPLEMENTED BY NUMEROUS PHOTOGRAPHS AND DIAGRAMS OF EQUIPMENT AND DUPLICATION TECHNIQUES, THE BULLETIN DESCRIBES MASTER PROGRAM DUPLICATION USING LANGUAGE LABORATORY EQUIPMENT, A PROFESSIONAL MASS DUPLICATOR, A TAPE RECORDER, A RECORD…

Functional programming interpreter. M. S. thesis

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

Robison, A.D.

1987-03-01

Functional Programming (FP) sup BAC87 is an alternative to conventional imperative programming languages. This thesis describes an FP interpreter implementation. Superficially, FP appears to be a simple, but very inefficient language. Its simplicity, however, allows it to be interpreted quickly. Much of the inefficiency can be removed by simple interpreter techniques. This thesis describes the Illinois Functional Programming (IFP) interpreter, an interactive functional programming implementation which runs under both MS-DOS and UNIX. The IFP interpreter allows functions to be created, executed, and debugged in an environment very similar to UNIX. IFP's speed is competitive with other interpreted languages such asmore » BASIC.« less

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

Toward Better Classroom Teaching.

ERIC Educational Resources Information Center

Grew, James H.

1964-01-01

Designed for the inexperienced language teacher, this summary of effective language teaching techniques is based on observations made in high school French classes, but is applicable also to elementary school and beginning college language programs. Consideration is given to maintaining interest and classroom control, using realia, and giving each…

A CLOSE LOOK AT THE IMPORTANCE AND PLACE OF TESTING IN THE FOREIGN LANGUAGE PROGRAM.

ERIC Educational Resources Information Center

BARRUTIA, RICHARD

TESTING IS ESPECIALLY IMPORTANT IN FOREIGN LANGUAGE PROGRAMS BECAUSE THE NATURE OF AUDIOLINGUAL TEACHING REQUIRES GREAT AMOUNTS OF FEEDBACK, REINFORCEMENT, AND VERIFICATION. TESTS CAN MEASURE APTITUDE AND ACHIEVEMENT, CAN DIAGNOSE, AND, MOST IMPORTANT, CAN BE AN EFFECTIVE TEACHING TOOL. MANY TEACHING TECHNIQUES ARE EXCELLENT FOR TESTING AND SOME…

Classroom Practices in Teaching English, 1968-1969: A Sixth Report of the NCTE Committee on Promising Practices.

ERIC Educational Resources Information Center

National Council of Teachers of English, Champaign, IL.

Twenty-five articles describing techniques for teaching English are organized under four headings: language, literature, composition, and miscellany. Included in the language section are discussions of an oral language program for 3- to 5-year-old disadvantaged children, of language development through creative dramatics, of a junior high school…

USING THE LANGUAGE LABORATORY.

ERIC Educational Resources Information Center

LADU, TORA TUVE

TO ENCOURAGE UTILIZATION OF THE LANGUAGE LABORATORY AS A TEACHING TECHNIQUE, THIS BULLETIN DESCRIBES SUCH POSSIBLE USES OF THE LABORATORY AS PROGRAMING LESSONS, RECORDING, AND TESTING LANGUAGE SKILL DEVELOPMENT. ONE OF THE MOST IMPORTANT FUNCTIONS OF THE LABORATORY IS THE PATTERN DRILL, DESCRIBED HERE FOR FRENCH, GERMAN, AND SPANISH. EXAMPLES ARE…

"On the Hurricane Deck of a Mule": Teaching Adults To Read Using Language-Experience and Oral History Techniques.

ERIC Educational Resources Information Center

Bear, Donald R.

Designed to instruct adult literacy teachers in using Language-Experience and Oral History techniques and distributed statewide to teachers in Nevada, this manual presents reading materials, diagnostic packages, and guidelines for adult literacy program organization. The first of three chapters begins with an introduction to the manual, and…

Some Techniques for Teaching Vocabulary. ERIC Focus Reports on the Teaching of Foreign Languages, Number 27.

ERIC Educational Resources Information Center

Michel, Joseph; Patin, Paul

Discussion of techniques for teaching vocabulary in language programs centers on five major areas: (1) "knowing" the word, (2) selection of vocabulary, (3) grading vocabulary for presentation, (4) teaching methods, and (5) vocabulary expansion in advanced levels. Theory of vocabulary instruction is largely supported by writings of Nelson Brooks,…

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

Analysis and Defense of Vulnerabilities in Binary Code

DTIC Science & Technology

2008-09-29

language . We demonstrate our techniques by automatically generating input filters from vulnerable binary programs. vi Acknowledgments I thank my wife, family...21 2.2 The Vine Intermediate Language . . . . . . . . . . . . . . . . . . . . . . 21 ix 2.2.1 Normalized Memory...The Traditional Weakest Precondition Semantics . . . . . . . . . . . . . 44 3.2.1 The Guarded Command Language . . . . . . . . . . . . . . . . . 44

Software techniques for a distributed real-time processing system. [for spacecraft

NASA Technical Reports Server (NTRS)

Lesh, F.; Lecoq, P.

1976-01-01

The paper describes software techniques developed for the Unified Data System (UDS), a distributed processor network for control and data handling onboard a planetary spacecraft. These techniques include a structured language for specifying the programs contained in each module, and a small executive program in each module which performs scheduling and implements the module task.

Generation of development environments for the Arden Syntax.

PubMed Central

Bång, M.; Eriksson, H.

1997-01-01

Providing appropriate development environments for specialized languages requires a significant development and maintenance effort. Specialized environments are therefore expensive when compared to their general-language counterparts. The Arden Syntax for Medical Logic Modules (MLM) is a standardized language for representing medical knowledge. We have used PROTEGE-II, a knowledge-engineering environment, to generate a number of experimental development environments for the Arden Syntax. MEDAILLE is the resulting MLM editor, which provides a user-friendly environment that allows users to create and modify MLM definitions. Although MEDAILLE is a generated editor, it has similar functionality, while reducing the programming effort, as compared to other MLM editors developed using traditional programming techniques. We discuss how developers can use PROTEGE-II to generate development environments for other standardized languages and for general programming languages. PMID:9357639

Multiprocessor programming environment

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

Smith, M.B.; Fornaro, R.

Programming tools and techniques have been well developed for traditional uniprocessor computer systems. The focus of this research project is on the development of a programming environment for a high speed real time heterogeneous multiprocessor system, with special emphasis on languages and compilers. The new tools and techniques will allow a smooth transition for programmers with experience only on single processor systems.

Techniques for Increasing Slavic Program Enrollments.

ERIC Educational Resources Information Center

Jarvis, Donald K.

1978-01-01

Examines the following factors, cited as important for building enrollments in a report on successful slavic language programs: (1) speaking and listening skills; (2) individual attention; (3) outreach activities; and (4) extracurricular programs. (AM)

Traffic Pattern Detection Using the Hough Transformation for Anomaly Detection to Improve Maritime Domain Awareness

DTIC Science & Technology

2013-12-01

Programming code in the Python language used in AIS data preprocessing is contained in Appendix A. The MATLAB programming code used to apply the Hough...described in Chapter III is applied to archived AIS data in this chapter. The implementation of the method, including programming techniques used, is...is contained in the second. To provide a proof of concept for the algorithm described in Chapter III, the PYTHON programming language was used for

English Language Teachers' Ideology of ELT Assessment Literacy

ERIC Educational Resources Information Center

Hakim, Badia

2015-01-01

Deep understanding, clear perception and accurate use of assessment methodology play an integral role in the success of a language program. Use of various assessment techniques to evaluate and improve the performance of learners has been the focal point of interest in the field of English Language Teaching (ELT). Equally researchers are interested…

Cognition, Corpora, and Computing: Triangulating Research in Usage-Based Language Learning

ERIC Educational Resources Information Center

Ellis, Nick C.

2017-01-01

Usage-based approaches explore how we learn language from our experience of language. Related research thus involves the analysis of the usage from which learners learn and of learner usage as it develops. This program involves considerable data recording, transcription, and analysis, using a variety of corpus and computational techniques, many of…

Total Physical Response: An Instructional Strategy for Second-Language Learners Who Are Visually Impaired.

ERIC Educational Resources Information Center

Conroy, Paula

1999-01-01

Describes Total Physical Response, a teaching technique that teachers of English-as-a-Second-Language (ESL) use to instruct students who are in the process of learning a second language and modifications that can be made to the program to teach students with visual impairments. (CR)

The Effect of Neuro-Linguistic Programming (NLP) on Reading Comprehension in English for Specific Purposes Courses

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…

FORTRAN programming - A self-taught course

NASA Technical Reports Server (NTRS)

Blecher, S.; Butler, R. V.; Horton, M.; Norrod, V.

1971-01-01

Comprehensive programming course begins with numerical systems and basic concepts, proceeds systematically through FORTRAN language elements, and concludes with discussion of programming techniques. Course is suitable either for individual study or for group study on informal basis.

Cultural and social change of foreign students in Indonesia: The influence of Javanese Culture in Teaching Indonesian to Speakers of Other Languages (TISOL)

NASA Astrophysics Data System (ADS)

Saddhono, Kundharu

2018-03-01

Teaching Indonesian to Speakers of Other Languages (TISOL) program is increasingly in demand by people in various parts of the world. Foreign students learn a lot of Indonesian language in major cities in Indonesia. The purpose of this study is to explain the cultural and social changes of foreign students in Indonesia, especially in Java, which is following TISOL program. This study focused on the influence of Javanese culture on foreign students studying Indonesian in Java. Research method used is descriptive qualitative with ethnography approach. This research was conducted in TISOL program organized by in Central Java, East Java, and Yogyakarta. Sources of data used are documents and informants. The sampling technique used is purposive sampling. Purposive sampling is considered more capable to obtain complete data in the face of various realities. Data collection techniques are done by reviewing documents or records using content analysis techniques. Other techniques used are interview techniques with some students and lecturers to get data about the factors that affect the cultural and social changes of foreign students in Indonesia. Also, interviews were also conducted with teachers to request a different process in TISOL. The most common way used to improve validity in qualitative research is the triangulation technique. In this study used triangulation theory, triangulation method, and review of informants. The results show that using Javanese culture is very influential in the cultural and social changes of foreign students in Indonesia. Students become more enthusiastic and active in responding to learning in TISOL that is influenced by Javanese culture. The change comes from internal and external students. This change helps foreign students to understand Indonesian language and culture more comprehensively.

Sketchcode: A Documentation Technique for Computer Hobbyists and Programmers

ERIC Educational Resources Information Center

Voros, Todd, L.

1978-01-01

Sketchcode is a metaprograming pseudo-language documentation technique intended to simplify the process of program writing and debugging for both high and low-level users. Helpful hints and examples for the use of the technique are included. (CMV)

Semantic definitions of space flight control center languages using the hierarchical graph technique

NASA Technical Reports Server (NTRS)

Zaghloul, M. E.; Truszkowski, W.

1981-01-01

In this paper a method is described by which the semantic definitions of the Goddard Space Flight Control Center Command Languages can be specified. The semantic modeling facility used is an extension of the hierarchical graph technique, which has a major benefit of supporting a variety of data structures and a variety of control structures. It is particularly suited for the semantic descriptions of such types of languages where the detailed separation between the underlying operating system and the command language system is system dependent. These definitions were used in the definition of the Systems Test and Operation Language (STOL) of the Goddard Space Flight Center which is a command language that provides means for the user to communicate with payloads, application programs, and other ground system elements.

An Advanced Programming Technique for a Cost-Effective Hardware-Independent Realization of Naval Software Systems. Final Technical Report, Part II.

ERIC Educational Resources Information Center

Computer Symbolic, Inc., Washington, DC.

A pseudo assembly language, PAL, was developed and specified for use as the lowest level in a general, multilevel programing system for the realization of cost-effective, hardware-independent Naval software. The language was developed as part of the system called FIRMS (Fast Iterative Recursive Macro System) and is sufficiently general to allow…

Performance Tasks: An Assessment Technique Used at TOSTP.

ERIC Educational Resources Information Center

Galway, Janis; Whittington, Andrew

1984-01-01

Discusses evolution of task performance assessment technique of the Toronto Office Skills Training Project (TOSTP), a 45-week training program for women from Vietnam, Laos, and Cambodia. Training in office skills, language, and life skills is uniquely integrated in a program designed to enable the women to overcome the obstacles of language…

Process-oriented Approach to Designing Immersion Assessments

DTIC Science & Technology

2014-02-01

Command (USSOCOM) Command Language Program Manager (CLPM) Advanced Competencies Course in a presentation titled, The Language Needs Assessment Process and...Techniques can be very similar • Physical v. psychological fidelity • Johns (2006) Discrete Context—task, social and physical • 4Ps : Purpose

Languages for artificial intelligence: Implementing a scheduler in LISP and in Ada

NASA Technical Reports Server (NTRS)

Hays, Dan

1988-01-01

A prototype scheduler for space experiments originally programmed in a dialect of LISP using some of the more traditional techniques of that language, was recast using an object-oriented LISP, Common LISP with Flavors on the Symbolics. This object-structured version was in turn partially implemented in Ada. The Flavors version showed a decided improvement in both speed of execution and readability of code. The recasting into Ada involved various practical problems of implementation as well as certain challenges of reconceptualization in going from one language to the other. Advantages were realized, however, in greater clarity of the code, especially where more standard flow of control was used. This exercise raised issues about the influence of programming language on the design of flexible and sensitive programs such as schedule planners, and called attention to the importance of factors external to the languages themselves such as system embeddedness, hardware context, and programmer practice.

Proceedings of the Eastern Michigan University Conference on Languages for Business and the Professions (4th, Dearborn, MI, May 2-4, 1985).

ERIC Educational Resources Information Center

Voght, Geoffrey M., Comp.

The proceedings of this conference include 56 papers on program design, classroom techniques, and ideas for second language instruction for business and the professions. The papers are presented in eight groups: (1) "International Business: The Language and Culture Connection," which includes papers on multinational business, marketing,…

An Ada Object Oriented Missile Flight Simulation

DTIC Science & Technology

1991-09-01

identify by block number) This thesis uses the Ada programming language in the design and development of an air-to-air missile flight simulation with...object oriented techniques and sound software engineering principles. The simulation is designed to be more understandable, modifiable, efficient and...Department of Computer Science ii ABSTRACT This thesis uses the Ada programming language in the design and development of an air-to-air missile flight

CDC to CRAY FORTRAN conversion manual

NASA Technical Reports Server (NTRS)

Mcgary, C.; Diebert, D.

1983-01-01

Documentation describing software differences between two general purpose computers for scientific applications is presented. Descriptions of the use of the FORTRAN and FORTRAN 77 high level programming language on a CDC 7600 under SCOPE and a CRAY XMP under COS are offered. Itemized differences of the FORTRAN language sets of the two machines are also included. The material is accompanied by numerous examples of preferred programming techniques for the two machines.

MetaJC++: A flexible and automatic program transformation technique using meta framework

NASA Astrophysics Data System (ADS)

Beevi, Nadera S.; Reghu, M.; Chitraprasad, D.; Vinodchandra, S. S.

2014-09-01

Compiler is a tool to translate abstract code containing natural language terms to machine code. Meta compilers are available to compile more than one languages. We have developed a meta framework intends to combine two dissimilar programming languages, namely C++ and Java to provide a flexible object oriented programming platform for the user. Suitable constructs from both the languages have been combined, thereby forming a new and stronger Meta-Language. The framework is developed using the compiler writing tools, Flex and Yacc to design the front end of the compiler. The lexer and parser have been developed to accommodate the complete keyword set and syntax set of both the languages. Two intermediate representations have been used in between the translation of the source program to machine code. Abstract Syntax Tree has been used as a high level intermediate representation that preserves the hierarchical properties of the source program. A new machine-independent stack-based byte-code has also been devised to act as a low level intermediate representation. The byte-code is essentially organised into an output class file that can be used to produce an interpreted output. The results especially in the spheres of providing C++ concepts in Java have given an insight regarding the potential strong features of the resultant meta-language.

Evaluation of automated decisionmaking methodologies and development of an integrated robotic system simulation. Volume 1: Study results

NASA Technical Reports Server (NTRS)

Lowrie, J. W.; Fermelia, A. J.; Haley, D. C.; Gremban, K. D.; Vanbaalen, J.; Walsh, R. W.

1982-01-01

A variety of artificial intelligence techniques which could be used with regard to NASA space applications and robotics were evaluated. The techniques studied were decision tree manipulators, problem solvers, rule based systems, logic programming languages, representation language languages, and expert systems. The overall structure of a robotic simulation tool was defined and a framework for that tool developed. Nonlinear and linearized dynamics equations were formulated for n link manipulator configurations. A framework for the robotic simulation was established which uses validated manipulator component models connected according to a user defined configuration.

Ground Operations Aerospace Language (GOAL). Volume 2: Compiler

NASA Technical Reports Server (NTRS)

1973-01-01

The principal elements and functions of the Ground Operations Aerospace Language (GOAL) compiler are presented. The technique used to transcribe the syntax diagrams into machine processable format for use by the parsing routines is described. An explanation of the parsing technique used to process GOAL source statements is included. The compiler diagnostics and the output reports generated during a GOAL compilation are explained. A description of the GOAL program package is provided.

Design and Development of a Nonverbal Program

ERIC Educational Resources Information Center

Thiagarajan, S.

1973-01-01

Problems were encountered in designing an illustrated program on contraceptive techniques for India's rural population where illiteracy is high and hundreds of different languages are spoken. Field trials of a picture program indicated the ability to "read" a picture is an acquired skill. (Author)

Advanced software techniques for data management systems. Volume 3: Programming language characteristics and comparison reference

NASA Technical Reports Server (NTRS)

James, T. A.; Hall, B. C.; Newbold, P. M.

1972-01-01

A comparative evaluation was made of eight higher order languages of general interest in the aerospace field: PL/1; HAL; JOVIAL/J3; SPL/J6; CLASP; ALGOL 60; FORTRAN 4; and MAC360. A summary of the functional requirements for a language for general use in manned aerodynamic applications is presented. The evaluation supplies background material to be used in assessing the worth of each language for some particular application.

A rigorous approach to self-checking programming

NASA Technical Reports Server (NTRS)

Hua, Kien A.; Abraham, Jacob A.

1986-01-01

Self-checking programming is shown to be an effective concurrent error detection technique. The reliability of a self-checking program however relies on the quality of its assertion statements. A self-checking program written without formal guidelines could provide a poor coverage of the errors. A constructive technique for self-checking programming is presented. A Structured Program Design Language (SPDL) suitable for self-checking software development is defined. A set of formal rules, was also developed, that allows the transfromation of SPDL designs into self-checking designs to be done in a systematic manner.

Module Cluster: TLA-004.00 (GSC) Teaching Language Arts in the Elementary School.

ERIC Educational Resources Information Center

Mignogna, William D.

The purpose of this module cluster is to enable students to a) identify the areas that the language arts focus on in the elementary school; b) analyze and synthesize expressive and receptive skills as they relate to the language arts program; c) demonstrate a knowledge of and skill in the use of a variety of techniques and materials for teaching…

Engineering and Scientific Applications: Using MatLab(Registered Trademark) for Data Processing and Visualization

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.

Improving Demonstration Using Better Interaction Techniques

DTIC Science & Technology

1997-01-14

Programming by demonstration (PBD) can be used to create tools and methods that eliminate the need to learn difficult computer languages. Gamut is a...do this, Gamut uses advanced interaction techniques that make it easier for a software author to express all needed aspects of one’s program. These...techniques include a simplified way to demonstrate new examples, called nudges, and a way to highlight objects to show they are important. Also, Gamut

Diagnostic Teaching of the Language Arts.

ERIC Educational Resources Information Center

Burns, Paul C.

This book is based on the premise that learning can best be facilitated when the teacher takes a diagnostic view of the instructional process. To further this end, each chapter contains materials, models, and techniques designed to implement diagnostic teaching in the language arts program. The seven chapters are "Foundations for Diagnostic…

Leveraging Code Comments to Improve Software Reliability

ERIC Educational Resources Information Center

Tan, Lin

2009-01-01

Commenting source code has long been a common practice in software development. This thesis, consisting of three pieces of work, made novel use of the code comments written in natural language to improve software reliability. Our solution combines Natural Language Processing (NLP), Machine Learning, Statistics, and Program Analysis techniques to…

PTA and TPR: A Comprehension Based Approach in a Public Elementary School.

ERIC Educational Resources Information Center

Schneider, Judith Morganroth

1984-01-01

Describes a pilot program offering conversational Spanish to elementary school students. The "Total Physical Response" technique was used initially, followed by an emphasis on comprehension and the creation of a natural language environment, all as means of facilitating second language acquisition at the children's level. (SL)

A Comprehensive Program for Autistic Children.

ERIC Educational Resources Information Center

Lowrance, Larry; And Others

The Memphis (Tennessee) City Schools Program for Autistic Children offers a comprehensive program which includes a day school and a residential training center with emphasis on language training. The primary objective of the day school is establlshing and maintaining behavioral control through opearant conditioning techniques. Other aspects of the…

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.

DI: An interactive debugging interpreter for applicative languages

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

Skedzielewski, S.K.; Yates, R.K.; Oldehoeft, R.R.

1987-03-12

The DI interpreter is both a debugger and interpreter of SISLAL programs. Its use as a program interpreter is only a small part of its role; it is designed to be a tool for studying compilation techniques for applicative languages. DI interprets dataflow graphs expressed in the IF1 and IF2 languages, and is heavily instrumented to report the activity of dynamic storage activity, reference counting, copying and updating of structured data values. It also aids the SISAL language evaluation by providing an interim execution vehicle for SISAL programs. DI provides determinate, sequential interpretation of graph nodes for sequential and parallelmore » operations in a canonical order. As a debugging aid, DI allows tracing, breakpointing, and interactive display of program data values. DI handles creation of SISAL and IF1 error values for each data type and propagates them according to a well-defined algebra. We have begun to implement IF1 optimizers and have measured the improvements with DI.« less

From OO to FPGA :

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

Kou, Stephen; Palsberg, Jens; Brooks, Jeffrey

Consumer electronics today such as cell phones often have one or more low-power FPGAs to assist with energy-intensive operations in order to reduce overall energy consumption and increase battery life. However, current techniques for programming FPGAs require people to be specially trained to do so. Ideally, software engineers can more readily take advantage of the benefits FPGAs offer by being able to program them using their existing skills, a common one being object-oriented programming. However, traditional techniques for compiling object-oriented languages are at odds with todays FPGA tools, which support neither pointers nor complex data structures. Open until now ismore » the problem of compiling an object-oriented language to an FPGA in a way that harnesses this potential for huge energy savings. In this paper, we present a new compilation technique that feeds into an existing FPGA tool chain and produces FPGAs with up to almost an order of magnitude in energy savings compared to a low-power microprocessor while still retaining comparable performance and area usage.« less

Analytical learning and term-rewriting systems

NASA Technical Reports Server (NTRS)

Laird, Philip; Gamble, Evan

1990-01-01

Analytical learning is a set of machine learning techniques for revising the representation of a theory based on a small set of examples of that theory. When the representation of the theory is correct and complete but perhaps inefficient, an important objective of such analysis is to improve the computational efficiency of the representation. Several algorithms with this purpose have been suggested, most of which are closely tied to a first order logical language and are variants of goal regression, such as the familiar explanation based generalization (EBG) procedure. But because predicate calculus is a poor representation for some domains, these learning algorithms are extended to apply to other computational models. It is shown that the goal regression technique applies to a large family of programming languages, all based on a kind of term rewriting system. Included in this family are three language families of importance to artificial intelligence: logic programming, such as Prolog; lambda calculus, such as LISP; and combinatorial based languages, such as FP. A new analytical learning algorithm, AL-2, is exhibited that learns from success but is otherwise quite different from EBG. These results suggest that term rewriting systems are a good framework for analytical learning research in general, and that further research should be directed toward developing new techniques.

[Application of virtual instrumentation technique in toxicological studies].

PubMed

Moczko, Jerzy A

2005-01-01

Research investigations require frequently direct connection of measuring equipment to the computer. Virtual instrumentation technique considerably facilitates programming of sophisticated acquisition-and-analysis procedures. In standard approach these two steps are performed subsequently with separate software tools. The acquired data are transfered with export / import procedures of particular program to the another one which executes next step of analysis. The described procedure is cumbersome, time consuming and may be potential source of the errors. In 1987 National Instruments Corporation introduced LabVIEW language based on the concept of graphical programming. Contrary to conventional textual languages it allows the researcher to concentrate on the resolved problem and omit all syntactical rules. Programs developed in LabVIEW are called as virtual instruments (VI) and are portable among different computer platforms as PCs, Macintoshes, Sun SPARCstations, Concurrent PowerMAX stations, HP PA/RISK workstations. This flexibility warrants that the programs prepared for one particular platform would be also appropriate to another one. In presented paper basic principles of connection of research equipment to computer systems were described.

Computer Programming Languages and Expertise Needed by Practicing Engineers.

ERIC Educational Resources Information Center

Doelling, Irvin

1980-01-01

Discussed is the present engineering computer environment of a large aerospace company recognized as a leader in the application and development of computer-aided design and computer-aided manufacturing techniques. A review is given of the exposure spectrum of engineers to the world of computing, the computer languages used, and the career impacts…

Reading?...Pah! (I Got It!): Innovative Reading Techniques for Successful Deaf Readers.

ERIC Educational Resources Information Center

Schimmel, Connie (Ruth) S.; Edwards, Sandra G.; Prickett, Hugh T.

1999-01-01

A reading program utilizing five components (a shortcut to phonemic awareness, Adapted Dolch words, Bridge lists and the Bridging process, reading comprehension, and American Sign Language development/language experience stories) resulted in dramatic gains in the reading levels of 48 elementary students at a residential school for the deaf.…

Research in advanced formal theorem-proving techniques

NASA Technical Reports Server (NTRS)

Rulifson, J. F.

1971-01-01

The present status is summarized of a continuing research program aimed at the design and implementation of a language for expressing problem-solving procedures in several areas of artificial intelligence, including program synthesis, robot planning, and theorem proving. Notations, concepts, and procedures common to the representation and solution of many of these problems were abstracted and incorporated as features into the language. The areas of research covered are described, and abstracts of six papers that contain extensive description and technical detail of the work are presented.

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.

Program user's manual for optimizing the design of a liquid or gaseous propellant rocket engine with the automated combustor design code AUTOCOM

NASA Technical Reports Server (NTRS)

Reichel, R. H.; Hague, D. S.; Jones, R. T.; Glatt, C. R.

1973-01-01

This computer program manual describes in two parts the automated combustor design optimization code AUTOCOM. The program code is written in the FORTRAN 4 language. The input data setup and the program outputs are described, and a sample engine case is discussed. The program structure and programming techniques are also described, along with AUTOCOM program analysis.

User-Defined Data Distributions in High-Level Programming Languages

NASA Technical Reports Server (NTRS)

Diaconescu, Roxana E.; Zima, Hans P.

2006-01-01

One of the characteristic features of today s high performance computing systems is a physically distributed memory. Efficient management of locality is essential for meeting key performance requirements for these architectures. The standard technique for dealing with this issue has involved the extension of traditional sequential programming languages with explicit message passing, in the context of a processor-centric view of parallel computation. This has resulted in complex and error-prone assembly-style codes in which algorithms and communication are inextricably interwoven. This paper presents a high-level approach to the design and implementation of data distributions. Our work is motivated by the need to improve the current parallel programming methodology by introducing a paradigm supporting the development of efficient and reusable parallel code. This approach is currently being implemented in the context of a new programming language called Chapel, which is designed in the HPCS project Cascade.

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…

New York City Foreign Language Program for Secondary Schools: Chinese Levels 1. and 2.

ERIC Educational Resources Information Center

New York City Board of Education, Brooklyn, NY. Bureau of Curriculum Development.

This curriculum bulletin is intended to serve as a guide to teachers and supervisors in teaching the fundamental Chinese language skills, in using audiolingual techniques, and in developing an understanding of China, its people and its civilization. Information and guidelines are presented for the following areas: (1) aims, content, and scope of…

An Information-Systems Program for the Language Sciences. Final Report on Survey-and-Analysis Stage, 1967-1968.

ERIC Educational Resources Information Center

Freeman, Robert R.; And Others

The main results of the survey-and-analysis stage include a substantial collection of preliminary data on the language-sciences information user community, its professional specialties and information channels, its indexing tools, and its terminologies. The prospects and techniques for the development of a modern, discipline-based information…

Proceedings of the workshop on Compilation of (Symbolic) Languages for Parallel Computers

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

Foster, I.; Tick, E.

1991-11-01

This report comprises the abstracts and papers for the talks presented at the Workshop on Compilation of (Symbolic) Languages for Parallel Computers, held October 31--November 1, 1991, in San Diego. These unreferred contributions were provided by the participants for the purpose of this workshop; many of them will be published elsewhere in peer-reviewed conferences and publications. Our goal is planning this workshop was to bring together researchers from different disciplines with common problems in compilation. In particular, we wished to encourage interaction between researchers working in compilation of symbolic languages and those working on compilation of conventional, imperative languages. Themore » fundamental problems facing researchers interested in compilation of logic, functional, and procedural programming languages for parallel computers are essentially the same. However, differences in the basic programming paradigms have led to different communities emphasizing different species of the parallel compilation problem. For example, parallel logic and functional languages provide dataflow-like formalisms in which control dependencies are unimportant. Hence, a major focus of research in compilation has been on techniques that try to infer when sequential control flow can safely be imposed. Granularity analysis for scheduling is a related problem. The single- assignment property leads to a need for analysis of memory use in order to detect opportunities for reuse. Much of the work in each of these areas relies on the use of abstract interpretation techniques.« less

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

A SCILAB Program for Computing Rotating Magnetic Compact Objects

NASA Astrophysics Data System (ADS)

Papasotiriou, P. J.; Geroyannis, V. S.

We implement the so-called ``complex-plane iterative technique'' (CIT) to the computation of classical differentially rotating magnetic white dwarf and neutron star models. The program has been written in SCILAB (© INRIA-ENPC), a matrix-oriented high-level programming language, which can be downloaded free of charge from the site http://www-rocq.inria.fr/scilab. Due to the advanced capabilities of this language, the code is short and understandable. Highlights of the program are: (a) time-saving character, (b) easy use due to the built-in graphics user interface, (c) easy interfacing with Fortran via online dynamic link. We interpret our numerical results in various ways by extensively using the graphics environment of SCILAB.

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.

Legacy model integration for enhancing hydrologic interdisciplinary research

NASA Astrophysics Data System (ADS)

Dozier, A.; Arabi, M.; David, O.

2013-12-01

Many challenges are introduced to interdisciplinary research in and around the hydrologic science community due to advances in computing technology and modeling capabilities in different programming languages, across different platforms and frameworks by researchers in a variety of fields with a variety of experience in computer programming. Many new hydrologic models as well as optimization, parameter estimation, and uncertainty characterization techniques are developed in scripting languages such as Matlab, R, Python, or in newer languages such as Java and the .Net languages, whereas many legacy models have been written in FORTRAN and C, which complicates inter-model communication for two-way feedbacks. However, most hydrologic researchers and industry personnel have little knowledge of the computing technologies that are available to address the model integration process. Therefore, the goal of this study is to address these new challenges by utilizing a novel approach based on a publish-subscribe-type system to enhance modeling capabilities of legacy socio-economic, hydrologic, and ecologic software. Enhancements include massive parallelization of executions and access to legacy model variables at any point during the simulation process by another program without having to compile all the models together into an inseparable 'super-model'. Thus, this study provides two-way feedback mechanisms between multiple different process models that can be written in various programming languages and can run on different machines and operating systems. Additionally, a level of abstraction is given to the model integration process that allows researchers and other technical personnel to perform more detailed and interactive modeling, visualization, optimization, calibration, and uncertainty analysis without requiring deep understanding of inter-process communication. To be compatible, a program must be written in a programming language with bindings to a common implementation of the message passing interface (MPI), which includes FORTRAN, C, Java, the .NET languages, Python, R, Matlab, and many others. The system is tested on a longstanding legacy hydrologic model, the Soil and Water Assessment Tool (SWAT), to observe and enhance speed-up capabilities for various optimization, parameter estimation, and model uncertainty characterization techniques, which is particularly important for computationally intensive hydrologic simulations. Initial results indicate that the legacy extension system significantly decreases developer time, computation time, and the cost of purchasing commercial parallel processing licenses, while enhancing interdisciplinary research by providing detailed two-way feedback mechanisms between various process models with minimal changes to legacy code.

Building Enrollment Through Curriculum Change: The Implementation of a Comprehension-Based Program in Spanish.

ERIC Educational Resources Information Center

Long, Donna R.

1985-01-01

Describes the implementation of a first-year comprehension-based Spanish language program at New Mexico State University. Includes a discussion of the history of the program and of the problems encountered in changing a traditional curriculum. Also describes the materials, classroom practice, and testing and evaluation techniques used in the…

PROGRAMED SELF-INSTRUCTION IN MANDARIN CHINESE, OBSERVATIONS OF STUDENT PROGRESS WITH AN AUTOMATED AUDIO-VISUAL INSTRUCTIONAL DEVICE.

ERIC Educational Resources Information Center

CARROLL, JOHN B.

RESEARCH WAS UNDERTAKEN TO DETERMINE WHETHER SPOKEN AND WRITTEN FOREIGN LANGUAGE SKILLS COULD BE TAUGHT BY PROGRAMED SELF-INSTRUCTION USING THE MOST PRACTICAL AND WELL-DESIGNED AUDIOVISUAL TECHNIQUES AVAILABLE. THE PRESENTATION DEVICE, OR TEACHING MACHINE, WAS DESIGNED AND CONSTRUCTED TO SERVE THE SPECIAL REQUIREMENTS OF PROGRAMED SELF-INSTRUCTION…

Java PathFinder: A Translator From Java to Promela

NASA Technical Reports Server (NTRS)

Havelund, Klaus

1999-01-01

JAVA PATHFINDER, JPF, is a prototype translator from JAVA to PROMELA, the modeling language of the SPIN model checker. JPF is a product of a major effort by the Automated Software Engineering group at NASA Ames to make model checking technology part of the software process. Experience has shown that severe bugs can be found in final code using this technique, and that automated translation from a programming language to a modeling language like PROMELA can help reducing the effort required.

Evaluation of Natural Language Processors.

DTIC Science & Technology

1980-11-01

techniques described. Common practice in describing natural language processors is to describe the programs, then give about 20 examples of correctly...make a decision based on performance as to which approaches are most promising for further research and development. The lack of evaluation leaves...successively more difficult problems. This approach might be compared to children taking achievement tests in school. A 90% score on problems involving

Capable Reader Program: Language Arts. Volume II. Objectives for Units B2 through B4. Bulletin No. 335.

ERIC Educational Resources Information Center

Long, Sandra; And Others

Part of a curriculum series for academically gifted elementary students in the area of reading, the document presents objectives and activities for language arts instruction. There are three major objectives: (1) recognizing persuasive use of words, vague and imprecise words, multiple meanings conveyed by a single word, and propaganda techniques;…

THE SOUNDS OF ENGLISH AND ITALIAN, A SYSTEMATIC ANALYSIS OF THE CONTRASTS BETWEEN THE SOUND SYSTEMS. CONTRASTIVE STRUCTURE SERIES.

ERIC Educational Resources Information Center

AGARD, FREDERICK B.; DI PIETRO, ROBERT J.

DESIGNED AS A SOURCE OF INFORMATION FOR PROFESSIONALS PREPARING INSTRUCTIONAL MATERIALS, PLANNING COURSES, OR DEVELOPING CLASSROOM TECHNIQUES FOR FOREIGN LANGUAGE PROGRAMS, A SERIES OF STUDIES HAS BEEN PREPARED THAT CONTRASTS, IN TWO VOLUMES FOR EACH OF THE FIVE MOST COMMONLY TAUGHT FOREIGN LANGUAGES IN THE UNITED STATES, THE SOUND AND GRAMMATICAL…

Teaching Techniques for the ESL Literacy Classroom. [Videotape.

ERIC Educational Resources Information Center

Gati, Sally

This 71-minute videotape presents a three-part program of classroom teaching techniques for teachers of English-as-a-Second-Language (ESL) literacy students. It shows students interacting with ESL literacy teachers, and focuses on: (1) essential teaching tools (chalkboard, easel, overhead projector, butcher paper, realia, pictures, flash cards,…

"Intelligent" Computer Assisted Instruction (CAI) Applications. Interim Report.

ERIC Educational Resources Information Center

Brown, John Seely; And Others

Interim work is documented describing efforts to modify computer techniques used to recognize and process English language requests to an instructional simulator. The conversion from a hand-coded to a table driven technique are described in detail. Other modifications to a simulation based computer assisted instruction program to allow a gaming…

ILGWU Worker-Family Education Program Curriculum Guide, 1989-1990.

ERIC Educational Resources Information Center

Freeman, Deidre; LaMar, Maureen

This teacher's guide for the International Ladies' Garment Workers' Union (ILGWU) educational program provides background information, instructional materials, and instructional techniques for teaching a course in job skills and issues, with emphasis on the development of English language skills. The course is made available to union members and…

310 Individualized Teacher Practicum. Final Report, 1979-80.

ERIC Educational Resources Information Center

Barabe, Rosemeri, Comp.; And Others

Objectives and program descriptions are presented for the Scottsdale Adult Learning Center (Arizona) which in 1979-80 conducted a number of practicums for adult educators on individualized techniques, Adult Basic Education (ABE), High School Equivalency (GED), and English as a Second Language (ESL). First described is a paid internship program for…

English in the Work Place for School Custodians. Manual and Curriculum Guide.

ERIC Educational Resources Information Center

Cruz, Jane; And Others

This manual is intended to assist in the development of programs in vocational English as a Second Language (VESL) for limited-English-speaking individuals working as school custodians. The manual describes steps in program development, offers methods for needs assessment, specifies instructional objectives, discusses techniques for lesson…

Design of a verifiable subset for HAL/S

NASA Technical Reports Server (NTRS)

Browne, J. C.; Good, D. I.; Tripathi, A. R.; Young, W. D.

1979-01-01

An attempt to evaluate the applicability of program verification techniques to the existing programming language, HAL/S is discussed. HAL/S is a general purpose high level language designed to accommodate the software needs of the NASA Space Shuttle project. A diversity of features for scientific computing, concurrent and real-time programming, and error handling are discussed. The criteria by which features were evaluated for inclusion into the verifiable subset are described. Individual features of HAL/S with respect to these criteria are examined and justification for the omission of various features from the subset is provided. Conclusions drawn from the research are presented along with recommendations made for the use of HAL/S with respect to the area of program verification.

Engineering and Scientific Applications: Using MatLab(Registered Trademark) for Data Processing and Visualization

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

Teaching English through Open Non-Formal Education (ONFE) in Bangladesh with an Effective Integration of ICT to Support Learning

ERIC Educational Resources Information Center

Rahman, Md. Mizanoor; Panda, Santosh

2012-01-01

The program entitled "English in Action (EIA)", 9 year period DFID funded project in Bangladesh, was launched in 2008, for the desire to bring a change in the learning of English language. EIA works to reach a total of 25 million primary and secondary students and adult learners through communicative language learning techniques and the…

Generating realistic images using Kray

NASA Astrophysics Data System (ADS)

Tanski, Grzegorz

2004-07-01

Kray is an application for creating realistic images. It is written in C++ programming language, has a text-based interface, solves global illumination problem using techniques such as radiosity, path tracing and photon mapping.

Modern Language Classroom Techniques. A Handbook.

ERIC Educational Resources Information Center

Allen, Edward David; Valette, Rebecca M.

The aim of this handbook is to show the teacher ways of implementing and supplementing existing materials. The suggested teaching procedures may be used in classes of varying sizes and levels, and with any method. Although the emphasis is on teacher-made materials, many of the techniques suggested may be implemented with commercial programs,…

Abstractions for DNA circuit design.

PubMed

Lakin, Matthew R; Youssef, Simon; Cardelli, Luca; Phillips, Andrew

2012-03-07

DNA strand displacement techniques have been used to implement a broad range of information processing devices, from logic gates, to chemical reaction networks, to architectures for universal computation. Strand displacement techniques enable computational devices to be implemented in DNA without the need for additional components, allowing computation to be programmed solely in terms of nucleotide sequences. A major challenge in the design of strand displacement devices has been to enable rapid analysis of high-level designs while also supporting detailed simulations that include known forms of interference. Another challenge has been to design devices capable of sustaining precise reaction kinetics over long periods, without relying on complex experimental equipment to continually replenish depleted species over time. In this paper, we present a programming language for designing DNA strand displacement devices, which supports progressively increasing levels of molecular detail. The language allows device designs to be programmed using a common syntax and then analysed at varying levels of detail, with or without interference, without needing to modify the program. This allows a trade-off to be made between the level of molecular detail and the computational cost of analysis. We use the language to design a buffered architecture for DNA devices, capable of maintaining precise reaction kinetics for a potentially unbounded period. We test the effectiveness of buffered gates to support long-running computation by designing a DNA strand displacement system capable of sustained oscillations.

Storage management in Ada. Three reports. Volume 1: Storage management in Ada as a risk to the development of reliable software. Volume 2: Relevant aspects of language. Volume 3: Requirements of the language versus manifestations of current implementations

NASA Technical Reports Server (NTRS)

Auty, David

1988-01-01

The risk to the development of program reliability is derived from the use of a new language and from the potential use of new storage management techniques. With Ada and associated support software, there is a lack of established guidelines and procedures, drawn from experience and common usage, which assume reliable behavior. The risk is identified and clarified. In order to provide a framework for future consideration of dynamic storage management on Ada, a description of the relevant aspects of the language is presented in two sections: Program data sources, and declaration and allocation in Ada. Storage-management characteristics of the Ada language and storage-management characteristics of Ada implementations are differentiated. Terms that are used are defined in a narrow and precise sense. The storage-management implications of the Ada language are described. The storage-management options available to the Ada implementor and the implications of the implementor's choice for the Ada programmer are also described.

Parallel Performance of a Combustion Chemistry Simulation

DOE PAGES

Skinner, Gregg; Eigenmann, Rudolf

1995-01-01

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

Course Outline Workshop III: Paraprofessional Training.

ERIC Educational Resources Information Center

Burron, Arni, Comp.; Santopietro, Kathy, Comp.

The materials in this teaching guide represent the third quarter of a community college program designed to teach paraprofessionals how to tutor in an adult literacy program. Techniques for teaching reading and English as a second language are included. Lesson plans for five classes cover the informal reading inventory, review and practice in the…

Testing framework for embedded languages

NASA Astrophysics Data System (ADS)

Leskó, Dániel; Tejfel, Máté

2012-09-01

Embedding a new programming language into an existing one is a widely used technique, because it fastens the development process and gives a part of a language infrastructure for free (e.g. lexical, syntactical analyzers). In this paper we are presenting a new advantage of this development approach regarding to adding testing support for these new languages. Tool support for testing is a crucial point for a newly designed programming language. It could be done in the hard way by creating a testing tool from scratch, or we could try to reuse existing testing tools by extending them with an interface to our new language. The second approach requires less work, and also it fits very well for the embedded approach. The problem is that the creation of such interfaces is not straightforward at all, because the existing testing tools were mostly not designed to be extendable and to be able to deal with new languages. This paper presents an extendable and modular model of a testing framework, in which the most basic design decision was to keep the - previously mentioned - interface creation simple and straightforward. Other important aspects of our model are the test data generation, the oracle problem and the customizability of the whole testing phase.

Eliminating Fear of the Blank Page: A Thematic Approach, aka Squeezing the California Department of Education's 1992 ESL Model Standards for Adult Education Programs into One Tidy Package.

ERIC Educational Resources Information Center

DesRoches, Diane

An approach to teaching integrated language skills in adult English-as-a-Second-Language (ESL) instruction is described. The technique uses a combination of classroom drama and role-playing, writing about the event, revision, publication, and follow-up activities to develop speaking, listening, reading, and writing skills. Eight stages are defined…

PC Software for Artificial Intelligence Applications.

PubMed

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.

Exploiting loop level parallelism in nonprocedural dataflow programs

NASA Technical Reports Server (NTRS)

Gokhale, Maya B.

1987-01-01

Discussed are how loop level parallelism is detected in a nonprocedural dataflow program, and how a procedural program with concurrent loops is scheduled. Also discussed is a program restructuring technique which may be applied to recursive equations so that concurrent loops may be generated for a seemingly iterative computation. A compiler which generates C code for the language described below has been implemented. The scheduling component of the compiler and the restructuring transformation are described.

STAR (Simple Tool for Automated Reasoning): Tutorial guide and reference manual

NASA Technical Reports Server (NTRS)

Borchardt, G. C.

1985-01-01

STAR is an interactive, interpreted programming language for the development and operation of Artificial Intelligence application systems. The language is intended for use primarily in the development of software application systems which rely on a combination of symbolic processing, central to the vast majority of AI algorithms, with routines and data structures defined in compiled languages such as C, FORTRAN and PASCAL. References to routines and data structures defined in compiled languages are intermixed with symbolic structures in STAR, resulting in a hybrid operating environment in which symbolic and non-symbolic processing and organization of data may interact to a high degree within the execution of particular application systems. The STAR language was developed in the course of a project involving AI techniques in the interpretation of imaging spectrometer data and is derived in part from a previous language called CLIP. The interpreter for STAR is implemented as a program defined in the language C and has been made available for distribution in source code form through NASA's Computer Software Management and Information Center (COSMIC). Contained within this report are the STAR Tutorial Guide, which introduces the language in a step-by-step manner, and the STAR Reference Manual, which provides a detailed summary of the features of STAR.

Summary of the Panel Discussion on Modern Language Teaching Methods and Techniques.

ERIC Educational Resources Information Center

White, Ruth; And Others

Each panelist described the program in his school or district. Donald Fraser discussed the elementary school French program in North Vancouver which started in October 1974 and includes ten pilot schools. Classes are held for twenty minutes each day. The materials used were written by Canadian authors and have considerable Canadian content.…

A Staff-Training Program to Increase Spontaneous Vocal Requests in Children With Autism

PubMed Central

Karp, Rebecca

2013-01-01

This study evaluated a staff-training and feedback program to increase (a) staff use of naturalistic language training techniques, and (b) child production of spontaneous vocal requests in a school setting for young children with autism. Training was conducted in integrated preschool centers and in an art group. The results revealed that the training and feedback procedure was successful in increasing staff use of naturalistic language training techniques. Further, these increased strategies were associated with corresponding increases in spontaneous vocal requests for all children during embedded training and ongoing feedback conditions. In addition, probes collected by an unobtrusive observer revealed durability of child requesting when staff feedback was discontinued. Social validity measures from front-line staff regarding the intervention revealed positive ratings. The results are discussed in relation to the continued search for effective service-delivery systems to improve communication for children with autism in the public school setting. PMID:27999635

Speech-language pathology program for reading comprehension and orthography: effects on the spelling of dyslexic individuals.

PubMed

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.

The New ROSIE Reference Manual and User’s Guide

DTIC Science & Technology

1987-06-01

control structures found in most symbolic languages Features such as rulesets and the pattern matcher blend with the naturalness of ROSIE’s English-like...tasks and does not embody any particular problem-solving techniques or paradigms. Because of its "general-purpose" flavor, it is less structured and... structure . Some operations required special arguments, others performed actions that were considered expedient in n programming language. As the number of

Software and languages for microprocessors

NASA Astrophysics Data System (ADS)

Williams, David O.

1986-08-01

This paper forms the basis for lectures given at the 6th Summer School on Computing Techniques in Physics, organised by the Computational Physics group of the European Physics Society, and held at the Hotel Ski, Nové Město na Moravě, Czechoslovakia, on 17-26 September 1985. Various types of microprocessor applications are discussed and the main emphasis of the paper is devoted to 'embedded' systems, where the software development is not carried out on the target microprocessor. Some information is provided on the general characteristics of microprocessor hardware. Various types of microprocessor operating system are compared and contrasted. The selection of appropriate languages and software environments for use with microprocessors is discussed. Mechanisms for interworking between different languages, including reasonable error handling, are treated. The CERN developed cross-software suite for the Motorola 68000 family is described. Some remarks are made concerning program tools applicable to microprocessors. PILS, a Portable Interactive Language System, which can be interpreted or compiled for a range of microprocessors, is described in some detail, and the implementation techniques are discussed.

Construction of dynamic stochastic simulation models using knowledge-based techniques

NASA Technical Reports Server (NTRS)

Williams, M. Douglas; Shiva, Sajjan G.

1990-01-01

Over the past three decades, computer-based simulation models have proven themselves to be cost-effective alternatives to the more structured deterministic methods of systems analysis. During this time, many techniques, tools and languages for constructing computer-based simulation models have been developed. More recently, advances in knowledge-based system technology have led many researchers to note the similarities between knowledge-based programming and simulation technologies and to investigate the potential application of knowledge-based programming techniques to simulation modeling. The integration of conventional simulation techniques with knowledge-based programming techniques is discussed to provide a development environment for constructing knowledge-based simulation models. A comparison of the techniques used in the construction of dynamic stochastic simulation models and those used in the construction of knowledge-based systems provides the requirements for the environment. This leads to the design and implementation of a knowledge-based simulation development environment. These techniques were used in the construction of several knowledge-based simulation models including the Advanced Launch System Model (ALSYM).

First stage identification of syntactic elements in an extra-terrestrial signal

NASA Astrophysics Data System (ADS)

Elliott, John

2011-02-01

By investigating the generic attributes of a representative set of terrestrial languages at varying levels of abstraction, it is our endeavour to try and isolate elements of the signal universe, which are computationally tractable for its detection and structural decipherment. Ultimately, our aim is to contribute in some way to the understanding of what 'languageness' actually is. This paper describes algorithms and software developed to characterise and detect generic intelligent language-like features in an input signal, using natural language learning techniques: looking for characteristic statistical "language-signatures" in test corpora. As a first step towards such species-independent language-detection, we present a suite of programs to analyse digital representations of a range of data, and use the results to extrapolate whether or not there are language-like structures which distinguish this data from other sources, such as music, images, and white noise.

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.

Functional Programming with C++ Template Metaprograms

NASA Astrophysics Data System (ADS)

Porkoláb, Zoltán

Template metaprogramming is an emerging new direction of generative programming. With the clever definitions of templates we can force the C++ compiler to execute algorithms at compilation time. Among the application areas of template metaprograms are the expression templates, static interface checking, code optimization with adaption, language embedding and active libraries. However, as template metaprogramming was not an original design goal, the C++ language is not capable of elegant expression of metaprograms. The complicated syntax leads to the creation of code that is hard to write, understand and maintain. Although template metaprogramming has a strong relationship with functional programming, this is not reflected in the language syntax and existing libraries. In this paper we give a short and incomplete introduction to C++ templates and the basics of template metaprogramming. We will enlight the role of template metaprograms, and some important and widely used idioms. We give an overview of the possible application areas as well as debugging and profiling techniques. We suggest a pure functional style programming interface for C++ template metaprograms in the form of embedded Haskell code which is transformed to standard compliant C++ source.

The PAWS and STEM reliability analysis programs

NASA Technical Reports Server (NTRS)

Butler, Ricky W.; Stevenson, Philip H.

1988-01-01

The PAWS and STEM programs are new design/validation tools. These programs provide a flexible, user-friendly, language-based interface for the input of Markov models describing the behavior of fault-tolerant computer systems. These programs produce exact solutions of the probability of system failure and provide a conservative estimate of the number of significant digits in the solution. PAWS uses a Pade approximation as a solution technique; STEM uses a Taylor series as a solution technique. Both programs have the capability to solve numerically stiff models. PAWS and STEM possess complementary properties with regard to their input space; and, an additional strength of these programs is that they accept input compatible with the SURE program. If used in conjunction with SURE, PAWS and STEM provide a powerful suite of programs to analyze the reliability of fault-tolerant computer systems.

New Directions in Special Education.

ERIC Educational Resources Information Center

Jones, Reginald L., Ed.

The text presents a collection of articles dealing with new research and developments relevant to special education. Discussions include automation, teaching machines, programed instruction, psycholinguistic testing, differential diagnosis, language development and testing, and remediation techniques. Other topics consider measurement of behavior,…

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)

Graphs and Enhancing Maple Multiplication.

ERIC Educational Resources Information Center

Cecil, David R.; Wang, Rongdong

2002-01-01

Description of a technique in Maple programming language that automatically prints all paths of any desired length along with the name of each vertex, proceeding in order from the beginning vertex to the ending vertex for a given graph. (Author/MM)

Sawja: Static Analysis Workshop for Java

NASA Astrophysics Data System (ADS)

Hubert, Laurent; Barré, Nicolas; Besson, Frédéric; Demange, Delphine; Jensen, Thomas; Monfort, Vincent; Pichardie, David; Turpin, Tiphaine

Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. Efficiency and precision of such a tool rely partly on low level components which only depend on the syntactic structure of the language and therefore should not be redesigned for each implementation of a new static analysis. This paper describes the Sawja library: a static analysis workshop fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including i) efficient functional data-structures for representing a program with implicit sharing and lazy parsing, ii) an intermediate stack-less representation, and iii) fast computation and manipulation of complete programs. We provide experimental evaluations of the different features with respect to time, memory and precision.

Users guide for information retrieval using APL

NASA Technical Reports Server (NTRS)

Shapiro, A.

1974-01-01

A Programming Language (APL) is a precise, concise, and powerful computer programming language. Several features make APL useful to managers and other potential computer users. APL is interactive; therefore, the user can communicate with his program or data base in near real-time. This, coupled with the fact that APL has excellent debugging features, reduces program checkout time to minutes or hours rather than days or months. Of particular importance is the fact that APL can be utilized as a management science tool using such techniques as operations research, statistical analysis, and forecasting. The gap between the scientist and the manager could be narrowed by showing how APL can be used to do what the scientists and the manager each need to do, retrieve information. Sometimes, the information needs to be retrieved rapidly. In this case APL is ideally suited for this challenge.

Cooperative analysis expert situation assessment research

NASA Technical Reports Server (NTRS)

Mccown, Michael G.

1987-01-01

For the past few decades, Rome Air Development Center (RADC) has been conducting research in Artificial Intelligence (AI). When the recent advances in hardware technology made many AI techniques practical, the Intelligence and Reconnaissance Directorate of RADC initiated an applications program entitled Knowledge Based Intelligence Systems (KBIS). The goal of the program is the development of a generic Intelligent Analyst System, an open machine with the framework for intelligence analysis, natural language processing, and man-machine interface techniques, needing only the specific problem domain knowledge to be operationally useful. The development of KBIS is described.

Parents' views on engaging families of middle school students in obesity prevention and control in a multiethnic population.

PubMed

Cowgill, Burton O; Chung, Paul J; Thompson, Lindsey R; Elijah, Jacinta; Lamb, Sheila; Garcia, Vanessa P; Bastani, Roshan

2014-04-04

Overweight and obesity remain significant public health risks for youth in the United States, particularly among racial/ethnic minority groups. Efforts at obesity prevention and control have targeted youth and family members in diverse settings. Although involving parents in obesity prevention programs for youth may improve the potential of these programs, less is known about parents' preferred methods of engagement, especially among racial/ethnic minority parents and parents whose primary language is not English. In this qualitative study, parents of middle-school-aged children were asked how best to engage their children in obesity prevention and control efforts. We recruited 38 parents whose children attended Los Angeles middle schools to participate in focus groups. Two English-language focus groups with 14 parents of different racial/ethnic backgrounds and 2 Spanish language groups with 24 Latino parents were conducted from 2010 through 2011. We analyzed focus group transcripts by using content analysis using inductive and deductive techniques. Findings from focus groups confirmed that parents want to help their children avoid obesity but feel constrained in their ability to take action. Participants identified an overarching desire to become better parents as a potential incentive to engage in obesity prevention efforts. Parents advocated for family-focused approaches in obesity prevention programs, including family sports leagues and cooking classes. Most findings were consistent between language groups, but parents in the Spanish language groups cited language-related barriers. The development and testing of simple programs that are sustainable, community-based, and family-focused may empower families to address obesity prevention and control.

Program Analysis Techniques for Efficient Software Model Checking

DTIC Science & Technology

2011-02-28

MIT Press, 1986. [29] D. Marinov, A . Andoni, D. Daniliuc, S . Khurshid, and M . Rinard. An evaluation of exhaustive testing for data structures...such as reading, writing, creating, or deleting a file or a directory) on a file system state s , it uses its analyses to identify other file system...ples of Programming Languages (POPL), January 2003. [6] C. Boyapati and M . Rinard. A parameterized type system for race-free Java programs. In

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.

Research in advanced formal theorem-proving techniques. [design and implementation of computer languages

NASA Technical Reports Server (NTRS)

Raphael, B.; Fikes, R.; Waldinger, R.

1973-01-01

The results are summarised of a project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot planning. The principal results of the project were the design and implementation of two complete systems, QA4 and QLISP, and their preliminary experimental use. The various applications of both QA4 and QLISP are given.

Discrim: a computer program using an interactive approach to dissect a mixture of normal or lognormal distributions

USGS Publications Warehouse

Bridges, N.J.; McCammon, R.B.

1980-01-01

DISCRIM is an interactive computer graphics program that dissects mixtures of normal or lognormal distributions. The program was written in an effort to obtain a more satisfactory solution to the dissection problem than that offered by a graphical or numerical approach alone. It combines graphic and analytic techniques using a Tektronix1 terminal in a time-share computing environment. The main program and subroutines were written in the FORTRAN language. ?? 1980.

M3D (Media 3D): a new programming language for web-based virtual reality in E-Learning and Edutainment

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.

In vivo language intervention: unanticipated general effects.

PubMed

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.

PubMed Central

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

Study of fault-tolerant software technology

NASA Technical Reports Server (NTRS)

Slivinski, T.; Broglio, C.; Wild, C.; Goldberg, J.; Levitt, K.; Hitt, E.; Webb, J.

1984-01-01

Presented is an overview of the current state of the art of fault-tolerant software and an analysis of quantitative techniques and models developed to assess its impact. It examines research efforts as well as experience gained from commercial application of these techniques. The paper also addresses the computer architecture and design implications on hardware, operating systems and programming languages (including Ada) of using fault-tolerant software in real-time aerospace applications. It concludes that fault-tolerant software has progressed beyond the pure research state. The paper also finds that, although not perfectly matched, newer architectural and language capabilities provide many of the notations and functions needed to effectively and efficiently implement software fault-tolerance.

Interactive radio in the classroom: ten years of proven success.

PubMed

Imhoof, M

1985-01-01

Interactive instructional radio programming is an innovative, inexpensive, and highly effective educational tool. In interactive radio programming, lessons are provided by a radio instructor, but unlike other radio education programs, the instructor prompts responses from the radio audience, provides pauses for audience responses, and then supplies the correct response to the prompt. The lessons are generally supervised by a classroom teacher, and the students respond to the radio prompts either orally or in writing. The lessons encourage student participation, and the programs frequently require more than 100 audience responses for each 1/2 hour of radio programing. The US Agency for International Development's Office of Education in the Bureau for Science and Technology researched and developed the tool during the last 10 years, and conducted highly successful experimental projects with it in Kenya, Nicaragua, and the Dominican Republic. In September 1984 a conference, jointly sponsored by the agency and Kenya's Ministry of Education, Science, and Technology, was held in Nairobi to demonstrate the new tool and to encourage other countries to utilize the approach. Participants visited rural classrooms in Kenya where they had an opportunity to observe how the technique was being successfully used in Kenya's Radio Language Arts Project. In view of the successful results attained in the experimental projects of the 3 countries noted above, the conference participants recommended that the technique should immediately be integrated into the national curricula of these countries, and that the approach should be more widely used in other countries. They noted that the technique is especially appropriate for use in primary schools and in nonformal adult education programs and that the tool is especially useful for teaching mathematics and second languages. They recommended that educators in developing countries develop interactive instructional radio programs, evaluate these programs, and then integrate the approach in the school curriculum. The participants noted that the technique can serve to upgrade the quality of classroom teaching and that the approach can be also used to provide teachers with inservice training. They further recommended that administrators and parents should be provided with information about the technique and its advantages, and that efforts should be made to immediately promote its use.

Commitment language and homework completion in a behavioral employment program for gang-affiliated youth.

PubMed

Smith, Caitlin; Huey, Stanley J; McDaniel, Dawn D

2015-05-01

Research with substance-abusing samples suggests that eliciting commitment language during treatment may improve motivation to change, increase treatment engagement, and promote positive treatment outcomes. However, the relationship between in-session client language and treatment success is not well-understood for youth offender populations. This study evaluated the relationship between commitment language, treatment engagement (i.e., homework completion), and weekly employment outcomes for six gang-affiliated juvenile offenders participating in an employment counseling intervention. Weekly counseling sessions were audio-recorded, transcribed, and coded for commitment language strength. Multilevel models were fit to the data to examine the relationship between commitment language and counseling homework or employment outcomes within participants over time. Commitment language strength predicted subsequent homework completion but not weekly employment. These findings imply that gang-affiliated delinquent youth who express motivation to change during employment counseling will be more likely to comply with counselor-initiated homework. Further research on counselor techniques for promoting commitment language among juvenile gang offenders is needed. © The Author(s) 2013.

A data reduction technique and associated computer program for obtaining vehicle attitudes with a single onboard camera

NASA Technical Reports Server (NTRS)

Bendura, R. J.; Renfroe, P. G.

1974-01-01

A detailed discussion of the application of a previously method to determine vehicle flight attitude using a single camera onboard the vehicle is presented with emphasis on the digital computer program format and data reduction techniques. Application requirements include film and earth-related coordinates of at least two landmarks (or features), location of the flight vehicle with respect to the earth, and camera characteristics. Included in this report are a detailed discussion of the program input and output format, a computer program listing, a discussion of modifications made to the initial method, a step-by-step basic data reduction procedure, and several example applications. The computer program is written in FORTRAN 4 language for the Control Data 6000 series digital computer.

Standards guide for space and earth sciences computer software

NASA Technical Reports Server (NTRS)

Mason, G.; Chapman, R.; Klinglesmith, D.; Linnekin, J.; Putney, W.; Shaffer, F.; Dapice, R.

1972-01-01

Guidelines for the preparation of systems analysis and programming work statements are presented. The data is geared toward the efficient administration of available monetary and equipment resources. Language standards and the application of good management techniques to software development are emphasized.

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…

AN INTERACTIVE INQUIRER.

ERIC Educational Resources Information Center

STONE, PHILIP J.

AUTOMATED LANGUAGE PROCESSING (CONTENT ANALYSIS) IS ENGAGED IN NEW VENTURES IN COMPUTER DIALOG AS A RESULT OF NEW TECHNIQUES IN CATEGORIZING RESPONSES. A COMPUTER "NEED-ACHIEVEMENT" SCORING SYSTEM HAS BEEN DEVELOPED. A SET OF COMPUTER PROGRAMS, LABELED "THE GENERAL INQUIRER," WILL SCORE COMPUTER INPUTS WITH RESPONSES FED FROM…

Integrating Title I and Title VII: The Evolving Model of Dearborn Public Schools, Michigan. NCBE Program Information Guide Series No. 21.

ERIC Educational Resources Information Center

Arraf, Shereen; And Others

This report offers insights on the experiences and techniques used in the Dearborn Public Schools effort to integrate Title VII and Chapter 1 programs prior to their reauthorization. The school system is located near metropolitan Detroit, Michigan, and has over 14,500 students representing 24 languages, many from the Middle East, Romania, and…

The Implementation of a Multi-Backend Database System (MDBS). Part I. Software Engineering Strategies and Efforts Towards a Prototype MDBS.

DTIC Science & Technology

1983-06-01

for DEC PDPll systems. MAINSAIL was developed and is marketed with a set of integrated tools for program development. The syntax of the language is...stack, and to test for stack-full and stack-empty conditions. This technique is useful in enforcing data integrity and in con- trolling concurrent...and market MAINSAIL. The language is distinguished by its portability. The same compiler and runtime system, both written in MAINSAIL, are the basis

The Impact of Changing International Relations on the Scientific and Technical Community (Incidence sur la Communaute Scientifique et Technique des Transformations en cours dans les Relations Internationales.

DTIC Science & Technology

1993-04-01

Processing of special formats (diagrams, tables) - Determination of words to be Pre-analysis Programs added to system dictionary Dictionary ...language Lexicon combinations, via a standardized interface (MIR) which maps METAL operates -n both monolingual lexicons and one the results of analyses...in uniform ways. transfer lexicon for each language pair. The monolingual lexi- Unfortunately, there is at present no linguistic theory which cons

Parents’ Views on Engaging Families of Middle School Students in Obesity Prevention and Control in a Multiethnic Population

PubMed Central

Chung, Paul. J.; Thompson, Lindsey R.; Elijah, Jacinta; Lamb, Sheila; Garcia, Vanessa P.; Bastani, Roshan

2014-01-01

Introduction Overweight and obesity remain significant public health risks for youth in the United States, particularly among racial/ethnic minority groups. Efforts at obesity prevention and control have targeted youth and family members in diverse settings. Although involving parents in obesity prevention programs for youth may improve the potential of these programs, less is known about parents’ preferred methods of engagement, especially among racial/ethnic minority parents and parents whose primary language is not English. In this qualitative study, parents of middle-school–aged children were asked how best to engage their children in obesity prevention and control efforts. Methods We recruited 38 parents whose children attended Los Angeles middle schools to participate in focus groups. Two English-language focus groups with 14 parents of different racial/ethnic backgrounds and 2 Spanish language groups with 24 Latino parents were conducted from 2010 through 2011. We analyzed focus group transcripts by using content analysis using inductive and deductive techniques. Results Findings from focus groups confirmed that parents want to help their children avoid obesity but feel constrained in their ability to take action. Participants identified an overarching desire to become better parents as a potential incentive to engage in obesity prevention efforts. Parents advocated for family-focused approaches in obesity prevention programs, including family sports leagues and cooking classes. Most findings were consistent between language groups, but parents in the Spanish language groups cited language-related barriers. Conclusion The development and testing of simple programs that are sustainable, community-based, and family-focused may empower families to address obesity prevention and control. PMID:24698532

Bellman's GAP--a language and compiler for dynamic programming in sequence analysis.

PubMed

Sauthoff, Georg; Möhl, Mathias; Janssen, Stefan; Giegerich, Robert

2013-03-01

Dynamic programming is ubiquitous in bioinformatics. Developing and implementing non-trivial dynamic programming algorithms is often error prone and tedious. Bellman's GAP is a new programming system, designed to ease the development of bioinformatics tools based on the dynamic programming technique. In Bellman's GAP, dynamic programming algorithms are described in a declarative style by tree grammars, evaluation algebras and products formed thereof. This bypasses the design of explicit dynamic programming recurrences and yields programs that are free of subscript errors, modular and easy to modify. The declarative modules are compiled into C++ code that is competitive to carefully hand-crafted implementations. This article introduces the Bellman's GAP system and its language, GAP-L. It then demonstrates the ease of development and the degree of re-use by creating variants of two common bioinformatics algorithms. Finally, it evaluates Bellman's GAP as an implementation platform of 'real-world' bioinformatics tools. Bellman's GAP is available under GPL license from http://bibiserv.cebitec.uni-bielefeld.de/bellmansgap. This Web site includes a repository of re-usable modules for RNA folding based on thermodynamics.

Language-Through-Literature; A Literary Language/Language Arts Program for Bilingual Education, ESL and Other Activities in Early Childhood. Books 1 and 2.

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…

A Simplified Shuttle Payload Thermal Analyzer /SSPTA/ program

NASA Technical Reports Server (NTRS)

Bartoszek, J. T.; Huckins, B.; Coyle, M.

1979-01-01

A simple thermal analysis program for Space Shuttle payloads has been developed to accommodate the user who requires an easily understood but dependable analytical tool. The thermal analysis program includes several thermal subprograms traditionally employed in spacecraft thermal studies, a data management system for data generated by the subprograms, and a master program to coordinate the data files and thermal subprograms. The language and logic used to run the thermal analysis program are designed for the small user. In addition, analytical and storage techniques which conserve computer time and minimize core requirements are incorporated into the program.

Interactive Pedagogy in a Literature Based Classroom.

ERIC Educational Resources Information Center

Mayer, Virginia

1993-01-01

Preserving a literary-based curriculum, creating a sensitivity to the literature, and encouraging communicative skills relative to the literature are significant goals in foreign language study. Therefore, a program involving strategic interaction and cooperative learning techniques applied to the study of literature fosters communication and…

C style guide

NASA Technical Reports Server (NTRS)

Doland, Jerry; Valett, Jon

1994-01-01

This document discusses recommended practices and style for programmers using the C language in the Flight Dynamics Division environment. Guidelines are based on generally recommended software engineering techniques, industry resources, and local convention. The Guide offers preferred solutions to common C programming issues and illustrates through examples of C Code.

Knowledge Representation: A Brief Review.

ERIC Educational Resources Information Center

Vickery, B. C.

1986-01-01

Reviews different structures and techniques of knowledge representation: structure of database records and files, data structures in computer programming, syntatic and semantic structure of natural language, knowledge representation in artificial intelligence, and models of human memory. A prototype expert system that makes use of some of these…

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.

A phenomenographic study of the ways of understanding conditional and repetition structures in computer programming languages

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.

STAR- A SIMPLE TOOL FOR AUTOMATED REASONING SUPPORTING HYBRID APPLICATIONS OF ARTIFICIAL INTELLIGENCE (DEC VAX VERSION)

NASA Technical Reports Server (NTRS)

Borchardt, G. C.

1994-01-01

The Simple Tool for Automated Reasoning program (STAR) is an interactive, interpreted programming language for the development and operation of artificial intelligence (AI) application systems. STAR provides an environment for integrating traditional AI symbolic processing with functions and data structures defined in compiled languages such as C, FORTRAN and PASCAL. This type of integration occurs in a number of AI applications including interpretation of numerical sensor data, construction of intelligent user interfaces to existing compiled software packages, and coupling AI techniques with numerical simulation techniques and control systems software. The STAR language was created as part of an AI project for the evaluation of imaging spectrometer data at NASA's Jet Propulsion Laboratory. Programming in STAR is similar to other symbolic processing languages such as LISP and CLIP. STAR includes seven primitive data types and associated operations for the manipulation of these structures. A semantic network is used to organize data in STAR, with capabilities for inheritance of values and generation of side effects. The AI knowledge base of STAR can be a simple repository of records or it can be a highly interdependent association of implicit and explicit components. The symbolic processing environment of STAR may be extended by linking the interpreter with functions defined in conventional compiled languages. These external routines interact with STAR through function calls in either direction, and through the exchange of references to data structures. The hybrid knowledge base may thus be accessed and processed in general by either side of the application. STAR is initially used to link externally compiled routines and data structures. It is then invoked to interpret the STAR rules and symbolic structures. In a typical interactive session, the user enters an expression to be evaluated, STAR parses the input, evaluates the expression, performs any file input/output required, and displays the results. The STAR interpreter is written in the C language for interactive execution. It has been implemented on a VAX 11/780 computer operating under VMS, and the UNIX version has been implemented on a Sun Microsystems 2/170 workstation. STAR has a memory requirement of approximately 200K of 8 bit bytes, excluding externally compiled functions and application-dependent symbolic definitions. This program was developed in 1985.

STAR- A SIMPLE TOOL FOR AUTOMATED REASONING SUPPORTING HYBRID APPLICATIONS OF ARTIFICIAL INTELLIGENCE (UNIX VERSION)

NASA Technical Reports Server (NTRS)

Borchardt, G. C.

1994-01-01

The Simple Tool for Automated Reasoning program (STAR) is an interactive, interpreted programming language for the development and operation of artificial intelligence (AI) application systems. STAR provides an environment for integrating traditional AI symbolic processing with functions and data structures defined in compiled languages such as C, FORTRAN and PASCAL. This type of integration occurs in a number of AI applications including interpretation of numerical sensor data, construction of intelligent user interfaces to existing compiled software packages, and coupling AI techniques with numerical simulation techniques and control systems software. The STAR language was created as part of an AI project for the evaluation of imaging spectrometer data at NASA's Jet Propulsion Laboratory. Programming in STAR is similar to other symbolic processing languages such as LISP and CLIP. STAR includes seven primitive data types and associated operations for the manipulation of these structures. A semantic network is used to organize data in STAR, with capabilities for inheritance of values and generation of side effects. The AI knowledge base of STAR can be a simple repository of records or it can be a highly interdependent association of implicit and explicit components. The symbolic processing environment of STAR may be extended by linking the interpreter with functions defined in conventional compiled languages. These external routines interact with STAR through function calls in either direction, and through the exchange of references to data structures. The hybrid knowledge base may thus be accessed and processed in general by either side of the application. STAR is initially used to link externally compiled routines and data structures. It is then invoked to interpret the STAR rules and symbolic structures. In a typical interactive session, the user enters an expression to be evaluated, STAR parses the input, evaluates the expression, performs any file input/output required, and displays the results. The STAR interpreter is written in the C language for interactive execution. It has been implemented on a VAX 11/780 computer operating under VMS, and the UNIX version has been implemented on a Sun Microsystems 2/170 workstation. STAR has a memory requirement of approximately 200K of 8 bit bytes, excluding externally compiled functions and application-dependent symbolic definitions. This program was developed in 1985.

Awakening the Languages. Challenges of Enduring Language Programs: Field Reports from 15 Programs from Arizona, New Mexico and Oklahoma.

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…

An Open-Source Sandbox for Increasing the Accessibility of Functional Programming to the Bioinformatics and Scientific Communities

PubMed Central

Fenwick, Matthew; Sesanker, Colbert; Schiller, Martin R.; Ellis, Heidi JC; Hinman, M. Lee; Vyas, Jay; Gryk, Michael R.

2012-01-01

Scientists are continually faced with the need to express complex mathematical notions in code. The renaissance of functional languages such as LISP and Haskell is often credited to their ability to implement complex data operations and mathematical constructs in an expressive and natural idiom. The slow adoption of functional computing in the scientific community does not, however, reflect the congeniality of these fields. Unfortunately, the learning curve for adoption of functional programming techniques is steeper than that for more traditional languages in the scientific community, such as Python and Java, and this is partially due to the relative sparseness of available learning resources. To fill this gap, we demonstrate and provide applied, scientifically substantial examples of functional programming, We present a multi-language source-code repository for software integration and algorithm development, which generally focuses on the fields of machine learning, data processing, bioinformatics. We encourage scientists who are interested in learning the basics of functional programming to adopt, reuse, and learn from these examples. The source code is available at: https://github.com/CONNJUR/CONNJUR-Sandbox (see also http://www.connjur.org). PMID:25328913

An Open-Source Sandbox for Increasing the Accessibility of Functional Programming to the Bioinformatics and Scientific Communities.

PubMed

Fenwick, Matthew; Sesanker, Colbert; Schiller, Martin R; Ellis, Heidi Jc; Hinman, M Lee; Vyas, Jay; Gryk, Michael R

2012-01-01

Scientists are continually faced with the need to express complex mathematical notions in code. The renaissance of functional languages such as LISP and Haskell is often credited to their ability to implement complex data operations and mathematical constructs in an expressive and natural idiom. The slow adoption of functional computing in the scientific community does not, however, reflect the congeniality of these fields. Unfortunately, the learning curve for adoption of functional programming techniques is steeper than that for more traditional languages in the scientific community, such as Python and Java, and this is partially due to the relative sparseness of available learning resources. To fill this gap, we demonstrate and provide applied, scientifically substantial examples of functional programming, We present a multi-language source-code repository for software integration and algorithm development, which generally focuses on the fields of machine learning, data processing, bioinformatics. We encourage scientists who are interested in learning the basics of functional programming to adopt, reuse, and learn from these examples. The source code is available at: https://github.com/CONNJUR/CONNJUR-Sandbox (see also http://www.connjur.org).

Design of a Syntax Validation Tool for Requirements Analysis Using Structured Analysis and Design Technique (SADT)

DTIC Science & Technology

1988-09-01

analysis phase of the software life cycle (16:1-1). While editing a SADT diagram, the tool should be able to check whether or not structured analysis...diag-ams are valid for the SADT’s syntax, produce error messages, do error recovery, and perform editing suggestions. Thus, this tool must have the...directed editors are editors which use the syn- tax of the programming language while editing a program. While text editors treat programs as text, syntax

Fault-Tree Compiler Program

NASA Technical Reports Server (NTRS)

Butler, Ricky W.; Martensen, Anna L.

1992-01-01

FTC, Fault-Tree Compiler program, is reliability-analysis software tool used to calculate probability of top event of fault tree. Five different types of gates allowed in fault tree: AND, OR, EXCLUSIVE OR, INVERT, and M OF N. High-level input language of FTC easy to understand and use. Program supports hierarchical fault-tree-definition feature simplifying process of description of tree and reduces execution time. Solution technique implemented in FORTRAN, and user interface in Pascal. Written to run on DEC VAX computer operating under VMS operating system.

A Bibliography of Externally Published Works by the SEI Engineering Techniques Program

DTIC Science & Technology

1992-08-01

media, and virtual reality * model- based engineering * programming languages * reuse * software architectures * software engineering as a discipline...Knowledge- Based Engineering Environments." IEEE Expert 3, 2 (May 1988): 18-23, 26-32. Audience: Practitioner [Klein89b] Klein, D.V. "Comparison of...Terms with Software Reuse Terminology: A Model- Based Approach." ACM SIGSOFT Software Engineering Notes 16, 2 (April 1991): 45-51. Audience: Practitioner

Graphical programming interface: A development environment for MRI methods.

PubMed

Zwart, Nicholas R; Pipe, James G

2015-11-01

To introduce a multiplatform, Python language-based, development environment called graphical programming interface for prototyping MRI techniques. The interface allows developers to interact with their scientific algorithm prototypes visually in an event-driven environment making tasks such as parameterization, algorithm testing, data manipulation, and visualization an integrated part of the work-flow. Algorithm developers extend the built-in functionality through simple code interfaces designed to facilitate rapid implementation. This article shows several examples of algorithms developed in graphical programming interface including the non-Cartesian MR reconstruction algorithms for PROPELLER and spiral as well as spin simulation and trajectory visualization of a FLORET example. The graphical programming interface framework is shown to be a versatile prototyping environment for developing numeric algorithms used in the latest MR techniques. © 2014 Wiley Periodicals, Inc.

76 FR 36562 - Agency Information Collection Activities; Extension of a Currently Approved Information...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-06-22

... academic or language-training institution, to include approved private elementary and secondary schools and... appropriate automated, electronic, mechanical, or other technological collection techniques or other forms of... Secretary of Education, to develop and conduct a program to collect information on nonimmigrant foreign...

Process Management and Exception Handling in Multiprocessor Operating Systems Using Object-Oriented Design Techniques. Revised Sep. 1988

NASA Technical Reports Server (NTRS)

Russo, Vincent; Johnston, Gary; Campbell, Roy

1988-01-01

The programming of the interrupt handling mechanisms, process switching primitives, scheduling mechanism, and synchronization primitives of an operating system for a multiprocessor require both efficient code in order to support the needs of high- performance or real-time applications and careful organization to facilitate maintenance. Although many advantages have been claimed for object-oriented class hierarchical languages and their corresponding design methodologies, the application of these techniques to the design of the primitives within an operating system has not been widely demonstrated. To investigate the role of class hierarchical design in systems programming, the authors have constructed the Choices multiprocessor operating system architecture the C++ programming language. During the implementation, it was found that many operating system design concerns can be represented advantageously using a class hierarchical approach, including: the separation of mechanism and policy; the organization of an operating system into layers, each of which represents an abstract machine; and the notions of process and exception management. In this paper, we discuss an implementation of the low-level primitives of this system and outline the strategy by which we developed our solution.

A high-level language for rule-based modelling.

PubMed

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

PubMed Central

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

25 CFR 39.132 - Can a school integrate Language Development programs into its regular instructional program?

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

25 CFR 39.132 - Can a school integrate Language Development programs into its regular instructional program?

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

The Teaching and Learning Environment SAIDA: Some Features and Lessons.

ERIC Educational Resources Information Center

Grandbastien, Monique; Morinet-Lambert, Josette

Written in ADA language, SAIDA, a Help System for Data Implementation, is an experimental teaching and learning environment which uses artificial intelligence techniques to teach a computer science course on abstract data representations. The application domain is teaching advanced programming concepts which have not received much attention from…

Health Education by Open Broadcast.

ERIC Educational Resources Information Center

ICIT Report, 1976

1976-01-01

This issue focuses on uses and techniques of radio for educational purposes in developing nations. Two health education projects are described which are utilizing open broadcasting to attract a mass audience of listeners not committed to a structured radio education program. Kenya's Swahili language radio serial, "Giving Birth and Caring for your…

Software Engineering Techniques for Computer-Aided Learning.

ERIC Educational Resources Information Center

Ibrahim, Bertrand

1989-01-01

Describes the process for developing tutorials for computer-aided learning (CAL) using a programing language rather than an authoring system. The workstation used is described, the use of graphics is discussed, the role of a local area network (LAN) is explained, and future plans are discussed. (five references) (LRW)

Multiprocessor smalltalk: Implementation, performance, and analysis

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

Pallas, J.I.

1990-01-01

Multiprocessor Smalltalk demonstrates the value of object-oriented programming on a multiprocessor. Its implementation and analysis shed light on three areas: concurrent programming in an object oriented language without special extensions, implementation techniques for adapting to multiprocessors, and performance factors in the resulting system. Adding parallelism to Smalltalk code is easy, because programs already use control abstractions like iterators. Smalltalk's basic control and concurrency primitives (lambda expressions, processes and semaphores) can be used to build parallel control abstractions, including parallel iterators, parallel objects, atomic objects, and futures. Language extensions for concurrency are not required. This implementation demonstrates that it is possiblemore » to build an efficient parallel object-oriented programming system and illustrates techniques for doing so. Three modification tools-serialization, replication, and reorganization-adapted the Berkeley Smalltalk interpreter to the Firefly multiprocessor. Multiprocessor Smalltalk's performance shows that the combination of multiprocessing and object-oriented programming can be effective: speedups (relative to the original serial version) exceed 2.0 for five processors on all the benchmarks; the median efficiency is 48%. Analysis shows both where performance is lost and how to improve and generalize the experimental results. Changes in the interpreter to support concurrency add at most 12% overhead; better access to per-process variables could eliminate much of that. Changes in the user code to express concurrency add as much as 70% overhead; this overhead could be reduced to 54% if blocks (lambda expressions) were reentrant. Performance is also lost when the program cannot keep all five processors busy.« less

Plain Language to Communicate Physical Activity Information: A Website Content Analysis.

PubMed

Paige, Samantha R; Black, David R; Mattson, Marifran; Coster, Daniel C; Stellefson, Michael

2018-04-01

Plain language techniques are health literacy universal precautions intended to enhance health care system navigation and health outcomes. Physical activity (PA) is a popular topic on the Internet, yet it is unknown if information is communicated in plain language. This study examined how plain language techniques are included in PA websites, and if the use of plain language techniques varies according to search procedures (keyword, search engine) and website host source (government, commercial, educational/organizational). Three keywords ("physical activity," "fitness," and "exercise") were independently entered into three search engines (Google, Bing, and Yahoo) to locate a nonprobability sample of websites ( N = 61). Fourteen plain language techniques were coded within each website to examine content formatting, clarity and conciseness, and multimedia use. Approximately half ( M = 6.59; SD = 1.68) of the plain language techniques were included in each website. Keyword physical activity resulted in websites with fewer clear and concise plain language techniques ( p < .05), whereas fitness resulted in websites with more clear and concise techniques ( p < .01). Plain language techniques did not vary by search engine or the website host source. Accessing PA information that is easy to understand and behaviorally oriented may remain a challenge for users. Transdisciplinary collaborations are needed to optimize plain language techniques while communicating online PA information.

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

Storyboard method of end-user programming with natural language configuration

DOEpatents

Bouchard, Ann M; Osbourn, Gordon C

2013-11-19

A technique for end-user programming includes populating a template with graphically illustrated actions and then invoking a command to generate a screen element based on the template. The screen element is rendered within a computing environment and provides a mechanism for triggering execution of a sequence of user actions. The sequence of user actions is based at least in part on the graphically illustrated actions populated into the template.

Assessing Foreign Language Proficiency of Undergraduates. Issues in Language Program Direction: A Series of Annual Volumes.

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…

The Fault Tree Compiler (FTC): Program and mathematics

NASA Technical Reports Server (NTRS)

Butler, Ricky W.; Martensen, Anna L.

1989-01-01

The Fault Tree Compiler Program is a new reliability tool used to predict 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 gates. The high-level input language is easy to understand and use when describing the system tree. In addition, the use of the hierarchical fault tree capability can simplify the tree description and decrease program execution time. The current solution technique provides an answer precisely (within the limits of double precision floating point arithmetic) within a user specified number of digits accuracy. The user may vary one failure rate or failure probability over a range of values and plot the results for sensitivity analyses. The solution technique is implemented in FORTRAN; the remaining program code is implemented in Pascal. The program is written to run on a Digital Equipment Corporation (DEC) VAX computer with the VMS operation system.

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

Research Issues and Language Program Direction. Issues in Language Program Direction: A Series of Annual Volumes.

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…

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.

Assessing the relationship between computational speed and precision: a case study comparing an interpreted versus compiled programming language using a stochastic simulation model in diabetes care.

PubMed

McEwan, Phil; Bergenheim, Klas; Yuan, Yong; Tetlow, Anthony P; Gordon, Jason P

2010-01-01

Simulation techniques are well suited to modelling diseases yet can be computationally intensive. This study explores the relationship between modelled effect size, statistical precision, and efficiency gains achieved using variance reduction and an executable programming language. A published simulation model designed to model a population with type 2 diabetes mellitus based on the UKPDS 68 outcomes equations was coded in both Visual Basic for Applications (VBA) and C++. Efficiency gains due to the programming language were evaluated, as was the impact of antithetic variates to reduce variance, using predicted QALYs over a 40-year time horizon. The use of C++ provided a 75- and 90-fold reduction in simulation run time when using mean and sampled input values, respectively. For a series of 50 one-way sensitivity analyses, this would yield a total run time of 2 minutes when using C++, compared with 155 minutes for VBA when using mean input values. The use of antithetic variates typically resulted in a 53% reduction in the number of simulation replications and run time required. When drawing all input values to the model from distributions, the use of C++ and variance reduction resulted in a 246-fold improvement in computation time compared with VBA - for which the evaluation of 50 scenarios would correspondingly require 3.8 hours (C++) and approximately 14.5 days (VBA). The choice of programming language used in an economic model, as well as the methods for improving precision of model output can have profound effects on computation time. When constructing complex models, more computationally efficient approaches such as C++ and variance reduction should be considered; concerns regarding model transparency using compiled languages are best addressed via thorough documentation and model validation.

25 CFR 39.137 - May schools operate a language development program without a specific appropriation from Congress?

Code of Federal Regulations, 2010 CFR

2010-04-01

... 25 Indians 1 2010-04-01 2010-04-01 false May schools operate a language development program... Formula Language Development Programs § 39.137 May schools operate a language development program without a specific appropriation from Congress? Yes, a school may operate a language development program...

34 CFR 658.1 - What is the Undergraduate International Studies and Foreign Language Program?

Code of Federal Regulations, 2011 CFR

2011-07-01

... Foreign Language Program? 658.1 Section 658.1 Education Regulations of the Offices of the Department of... STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.1 What is the Undergraduate International Studies and Foreign Language Program? The Undergraduate International Studies and Foreign Language Program is designed...

34 CFR 669.1 - What is the Language Resource Centers Program?

Code of Federal Regulations, 2010 CFR

2010-07-01

... 34 Education 3 2010-07-01 2010-07-01 false What is the Language Resource Centers Program? 669.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION LANGUAGE RESOURCE CENTERS PROGRAM General § 669.1 What is the Language Resource Centers Program? The Language Resource Centers Program makes awards, through grants or...

34 CFR 658.1 - What is the Undergraduate International Studies and Foreign Language Program?

Code of Federal Regulations, 2010 CFR

2010-07-01

... Foreign Language Program? 658.1 Section 658.1 Education Regulations of the Offices of the Department of... STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.1 What is the Undergraduate International Studies and Foreign Language Program? The Undergraduate International Studies and Foreign Language Program is designed...

34 CFR 669.1 - What is the Language Resource Centers Program?

Code of Federal Regulations, 2011 CFR

2011-07-01

... 34 Education 3 2011-07-01 2011-07-01 false What is the Language Resource Centers Program? 669.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION LANGUAGE RESOURCE CENTERS PROGRAM General § 669.1 What is the Language Resource Centers Program? The Language Resource Centers Program makes awards, through grants or...

FORMAC integration program: A special applications package used in developing techniques of orbital decay and long term ephemeris prediction for satellites in earth orbit

NASA Technical Reports Server (NTRS)

Rowe, C. K.

1971-01-01

The symbolic manipulation capabilities of the FORMAC (Formula Manipulation Compiler) language are employed to expand and analytically evaluate integrals. The program integration is effected by expanding the integral(s) into a series of subintegrals and then substituting a pre-derived and pre-coded solution for that particular subintegral. Derivation of the integral solutions necessary for precoding is included, as is a discussion of the FORMAC system limitations encountered in the programming effort.

A heterogeneous hierarchical architecture for real-time computing

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

Skroch, D.A.; Fornaro, R.J.

The need for high-speed data acquisition and control algorithms has prompted continued research in the area of multiprocessor systems and related programming techniques. The result presented here is a unique hardware and software architecture for high-speed real-time computer systems. The implementation of a prototype of this architecture has required the integration of architecture, operating systems and programming languages into a cohesive unit. This report describes a Heterogeneous Hierarchial Architecture for Real-Time (H{sup 2} ART) and system software for program loading and interprocessor communication.

Test-driven programming

NASA Astrophysics Data System (ADS)

Georgiev, Bozhidar; Georgieva, Adriana

2013-12-01

In this paper, are presented some possibilities concerning the implementation of a test-driven development as a programming method. Here is offered a different point of view for creation of advanced programming techniques (build tests before programming source with all necessary software tools and modules respectively). Therefore, this nontraditional approach for easier programmer's work through building tests at first is preferable way of software development. This approach allows comparatively simple programming (applied with different object-oriented programming languages as for example JAVA, XML, PYTHON etc.). It is predictable way to develop software tools and to provide help about creating better software that is also easier to maintain. Test-driven programming is able to replace more complicated casual paradigms, used by many programmers.

Improving Student Writing through a Language Rich Environment.

ERIC Educational Resources Information Center

Corona, Cathy; Spangenberger, Sandra; Venet, Iris

A program developed interventions for improving student writing in the areas of technique and creativity. The targeted population consisted of students in the first through fourth grades in three different school sites, all being similar upper-middle class communities, located in the suburbs of a mid-western city. The problems that some students…

Exploring the Synergies between the Object Oriented Paradigm and Mathematics: A Java Led Approach

ERIC Educational Resources Information Center

Conrad, Marc; French, Tim

2004-01-01

While the object oriented paradigm and its instantiation within programming languages such as Java has become a ubiquitous part of both the commercial and educational landscapes, its usage as a visualization technique within mathematics undergraduate programmes of study has perhaps been somewhat underestimated. By regarding the object oriented…

Technical Writing and Beginning ESL Students: A Workshop Approach.

ERIC Educational Resources Information Center

Southard, Sherry G.

Many international students who come to the United States to improve their research techniques and their written and oral presentations have little or no training in the English language. Such students might benefit from a program similar to that held at Oklahoma State University (Stillwater) in September 1981 for 12 Ecuadorian technicians. This…

Elasticizing Language - Techniques in Vocabulary Development.

ERIC Educational Resources Information Center

Shepherd, Richard C.

Noting that a rich vocabulary comes from experiences and from the organizing and reorganizing of these experiences, this paper suggests ways that students may be helped to improve their vocabulary at an accelerated pace. The paper first argues that vocabulary development must be a planned program beginning in the early grades and explores some of…

The Role of NLP in Teachers' Classroom Discourse

ERIC Educational Resources Information Center

Millrood, Radislav

2004-01-01

Neuro-linguistic programming (NLP) is an approach to language teaching which is claimed to help achieve excellence in learner performance. Yet there is little evidence of the impact that NLP techniques in teachers' discourse can have on learners. The article draws on workshops with teachers where classroom simulations were used to raise teachers'…

Design and analysis of DNA strand displacement devices using probabilistic model checking

PubMed Central

Lakin, Matthew R.; Parker, David; Cardelli, Luca; Kwiatkowska, Marta; Phillips, Andrew

2012-01-01

Designing correct, robust DNA devices is difficult because of the many possibilities for unwanted interference between molecules in the system. DNA strand displacement has been proposed as a design paradigm for DNA devices, and the DNA strand displacement (DSD) programming language has been developed as a means of formally programming and analysing these devices to check for unwanted interference. We demonstrate, for the first time, the use of probabilistic verification techniques to analyse the correctness, reliability and performance of DNA devices during the design phase. We use the probabilistic model checker prism, in combination with the DSD language, to design and debug DNA strand displacement components and to investigate their kinetics. We show how our techniques can be used to identify design flaws and to evaluate the merits of contrasting design decisions, even on devices comprising relatively few inputs. We then demonstrate the use of these components to construct a DNA strand displacement device for approximate majority voting. Finally, we discuss some of the challenges and possible directions for applying these methods to more complex designs. PMID:22219398

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.

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.

Learning through an Aboriginal Language: The Impact on Students' English and Aboriginal Language Skills

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…

A brief description and comparison of programming languages FORTRAN, ALGOL, COBOL, PL/1, and LISP 1.5 from a critical standpoint

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.

The fault-tree compiler

NASA Technical Reports Server (NTRS)

Martensen, Anna L.; Butler, Ricky W.

1987-01-01

The Fault Tree Compiler Program is a new reliability tool used to predict 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 gates. The high level input language is easy to understand and use when describing the system tree. In addition, the use of the hierarchical fault tree capability can simplify the tree description and decrease program execution time. The current solution technique provides an answer precise (within the limits of double precision floating point arithmetic) to the five digits in the answer. The user may vary one failure rate or failure probability over a range of values and plot the results for sensitivity analyses. The solution technique is implemented in FORTRAN; the remaining program code is implemented in Pascal. The program is written to run on a Digital Corporation VAX with the VMS operation system.

Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level

NASA Astrophysics Data System (ADS)

Christiansen, Henning

2004-09-01

Theoretical issues of computer science are traditionally taught in a way that presupposes a solid mathematical background and are usually considered more or less inaccessible for students without this. An effective methodology is described which has been developed for a target group of university students with different backgrounds such as natural science or humanities. It has been developed for a course that integrates theoretical material on computer languages and abstract machines with practical programming techniques. Prolog used as meta-language for describing language issues is the central instrument in the approach: Formal descriptions become running prototypes that are easy and appealing to test and modify, and can be extended into analyzers, interpreters, and tools such as tracers and debuggers. Experience shows a high learning curve, especially when the principles are extended into a learning-by-doing approach having the students to develop such descriptions themselves from an informal introduction.

Accelerated Learning Techniques for the Foreign Language Class: A Personal View.

ERIC Educational Resources Information Center

Bancroft, W. Jane

Foreign language instructors cope with problems of learner anxiety in the classroom, fossilization of language use and language skill loss. Relaxation and concentration techniques can alleviate stress and fatigue and improve students' capabilities. Three categories of accelerated learning techniques are: (1) those that serve as a preliminary to…

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.

Optimization of thermal protection systems for the space vehicle. Volume 2: User's manual

NASA Technical Reports Server (NTRS)

1972-01-01

The development of the computational techniques for the design optimization of thermal protection systems for the space shuttle vehicle are discussed. The resulting computer program was then used to perform initial optimization and sensitivity studies on a typical thermal protection system (TPS) to demonstrate its application to the space shuttle TPS design. The program was developed in FORTRAN IV for CDC 6400 computer, but it was subsequently converted to the FORTRAN V language to be used on the Univac 1108.

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.

General object-oriented software development

NASA Technical Reports Server (NTRS)

Seidewitz, Edwin V.; Stark, Mike

1986-01-01

Object-oriented design techniques are gaining increasing popularity for use with the Ada programming language. A general approach to object-oriented design which synthesizes the principles of previous object-oriented methods into the overall software life-cycle, providing transitions from specification to design and from design to code. It therefore provides the basis for a general object-oriented development methodology.

Systems Prototyping with Fourth Generation Tools: One Answer to the Productivity Puzzle? AIR 1983 Annual Forum Paper.

ERIC Educational Resources Information Center

Sholtys, Phyllis A.

The development of information systems using an engineering approach employing both traditional programming techniques and nonprocedural languages is described. A fourth generation application tool is used to develop a prototype system that is revised and expanded as the user clarifies individual requirements. When fully defined, a combination of…

Computing the Power-Density Spectrum for an Engineering Model

NASA Technical Reports Server (NTRS)

Dunn, H. J.

1982-01-01

Computer program for calculating of power-density spectrum (PDS) from data base generated by Advanced Continuous Simulation Language (ACSL) uses algorithm that employs fast Fourier transform (FFT) to calculate PDS of variable. Accomplished by first estimating autocovariance function of variable and then taking FFT of smoothed autocovariance function to obtain PDS. Fast-Fourier-transform technique conserves computer resources.

Integration of Multimedia Courseware into ESP Instruction for Technological Purposes in Higher Technical Education

ERIC Educational Resources Information Center

Tsai, Shu-Chiao

2012-01-01

This study reports on integrating ESP (English for specific purposes) multimedia courseware for semiconductor technology into instruction of three different language programs in higher education by using it as a silent partner. It focuses primarily on techniques and tools to motivate retention of under-prepared students in an EFL setting. The…

Rural Speech-Language Pathologists' Perceptions and Knowledge of Emergent Literacy Instructional Pratices: A Mixed Methods Study

ERIC Educational Resources Information Center

Ellis, Kellie Coldiron

2012-01-01

The acquisition of emergent literacy skills has become a prominent focus of early childhood education programs in recent years as research has demonstrated the significance of emergent literacy ability in the process of learning to read. The effectiveness of use of varied instructional techniques targeting the emergent literacy domains of…

Eye vs. Text Movement: Which Technique Leads to Faster Reading Comprehension?

ERIC Educational Resources Information Center

Abdellah, Antar Solhy

2009-01-01

Eye fixation is a frequent problem that faces foreign language learners and hinders the flow of their reading comprehension. Although students are usually advised to read fast/skim to overcome this problem, eye fixation persists. The present study investigates the effect of using a paper-based program as compared to a computer-based software in…

Innovative Language-Based & Object-Oriented Structured AMR Using Fortran 90 and OpenMP

NASA Technical Reports Server (NTRS)

Norton, C.; Balsara, D.

1999-01-01

Parallel adaptive mesh refinement (AMR) is an important numerical technique that leads to the efficient solution of many physical and engineering problems. In this paper, we describe how AMR programing can be performed in an object-oreinted way using the modern aspects of Fortran 90 combined with the parallelization features of OpenMP.

A Demonstration of Techniques in the Identification, Diagnosis, and Treatment of Children with Learning Disabilities. Final Report.

ERIC Educational Resources Information Center

Skokie School District 68, IL.

A Chicago suburban public school with approximately 450 children per grade level demonstrated a system-wide program for identification, diagnosis, and educational treatment of children with learning disabilities in grades 2 through 6. Children were judged to underachieve when achievement measures in language or mathematics fell more than 10% below…

NERVA dynamic analysis methodology, SPRVIB

NASA Technical Reports Server (NTRS)

Vronay, D. F.

1972-01-01

The general dynamic computer code called SPRVIB (Spring Vib) developed in support of the NERVA (nuclear engine for rocket vehicle application) program is described. Using normal mode techniques, the program computes kinematical responses of a structure caused by various combinations of harmonic and elliptic forcing functions or base excitations. Provision is made for a graphical type of force or base excitation input to the structure. A description of the required input format and a listing of the program are presented, along with several examples illustrating the use of the program. SPRVIB is written in FORTRAN 4 computer language for use on the CDC 6600 or the IBM 360/75 computers.

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

C++ Programming Language

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.

Advanced LabVIEW Labs

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

Jones, Eric D.

1999-06-17

In the world of computer-based data acquisition and control, the graphical interface program LabVIEW from National Instruments is so ubiquitous that in many ways it has almost become the laboratory standard. To date, there have been approximately fifteen books concerning LabVIEW, but Professor Essick's treatise takes on a completely different tack than all of the previous discussions. In the more standard treatments of the ways and wherefores of LabVIEW such as LabVIEW Graphical Programming: Practical Applications in Instrumentation and Control by Gary W. Johnson (McGraw Hill, NY 1997), the emphasis has been instructing the reader how to program LabVIEW tomore » create a Virtual Instrument (VI) on the computer for interfacing to a particular instruments. LabVIEW is written in G a graphical programming language developed by National Instruments. In the past the emphasis has been on training the experimenter to learn G . Without going into details here, G incorporates the usual loops, arithmetic expressions, etc., found in many programming languages, but in an icon (graphical) environment. The net result being that LabVIEW contains all of the standard methods needed for interfacing to instruments, data acquisition, data analysis, graphics, and also methodology to incorporate programs written in other languages into LabVIEW. Historically, according to Professor Essick, he developed a series of experiments for an upper division laboratory course for computer-based instrumentation. His observation was that while many students had the necessary background in computer programming languages, there were students who had virtually no concept about writing a computer program let alone a computer- based interfacing program. Thus the beginnings of a concept for not only teaching computer- based instrumentation techniques, but aiso a method for the beginner to experience writing a com- puter program. Professor Essick saw LabVIEW as the perfect environment in which to teach computer-based research skills. With this goal in mind, he has succeeded admirably. Advanced LabVIEW Labs presents a series of chapters devoted to not only introducing the reader to LabVIEW, but also to the concepts necessary for writing a successful computer pro- gram. Each chapter is an assignment for the student and is suitable for a ten week course. The first topic introduces the while loop and waveform chart VI'S. After learning how to launch LabVIEW, the student then leans how to use LabVIEW functions such as sine and cosine. The beauty of thk and subsequent chapters, the student is introduced immediately to computer-based instruction by learning how to display the results in graph form on the screen. At each point along the way, the student is not only introduced to another LabVIEW operation, but also to such subjects as spread sheets for data storage, numerical integration, Fourier transformations', curve fitting algorithms, etc. The last few chapters conclude with the purpose of the learning module, and that is, com- puter-based instrumentation. Computer-based laboratory projects such as analog-to-digital con- version, digitizing oscilloscopes treated. Advanced Lab VIEW Labs finishes with a treatment on GPIB interfacing and finally, the student is asked to create an operating VI for temperature con- trol. This is an excellent text, not only as an treatise on LabVIEW but also as an introduction to computer programming logic. All programmers, who are struggling to not only learning how interface computers to instruments, but also trying understand top down programming and other programming language techniques, should add Advanced Lab-VIEW Labs to their computer library.« less

Advanced LabVIEW Labs

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

Jones, Eric D.

1999-06-17

In the world of computer-based data acquisition and control, the graphical interface program LabVIEW from National Instruments is so ubiquitous that in many ways it has almost become the laboratory standard. To date, there have been approximately fifteen books concerning LabVIEW, but Professor Essick's treatise takes on a completely different tack than all of the previous discussions. In the more standard treatments of the ways and wherefores of LabVIEW such as LabVIEW Graphical Programming: Practical Applications in Instrumentation and Control by Gary W. Johnson (McGraw Hill, NY 1997), the emphasis has been instructing the reader how to program LabVIEW tomore » create a Virtual Instrument (VI) on the computer for interfacing to a particular instruments. LabVIEW is written in "G" a graphical programming language developed by National Instruments. In the past the emphasis has been on training the experimenter to learn "G". Without going into details here, "G" incorporates the usual loops, arithmetic expressions, etc., found in many programming languages, but in an icon (graphical) environment. The net result being that LabVIEW contains all of the standard methods needed for interfacing to instruments, data acquisition, data analysis, graphics, and also methodology to incorporate programs written in other languages into LabVIEW. Historically, according to Professor Essick, he developed a series of experiments for an upper division laboratory course for computer-based instrumentation. His observation was that while many students had the necessary background in computer programming languages, there were students who had virtually no concept about writing a computer program let alone a computer- based interfacing program. Thus the beginnings of a concept for not only teaching computer- based instrumentation techniques, but aiso a method for the beginner to experience writing a com- puter program. Professor Essick saw LabVIEW as the "perfect environment in which to teach computer-based research skills." With this goal in mind, he has succeeded admirably. Advanced LabVIEW Labs presents a series of chapters devoted to not only introducing the reader to LabVIEW, but also to the concepts necessary for writing a successful computer pro- gram. Each chapter is an assignment for the student and is suitable for a ten week course. The first topic introduces the while loop and waveform chart VI'S. After learning how to launch LabVIEW, the student then leans how to use LabVIEW functions such as sine and cosine. The beauty of thk and subsequent chapters, the student is introduced immediately to computer-based instruction by learning how to display the results in graph form on the screen. At each point along the way, the student is not only introduced to another LabVIEW operation, but also to such subjects as spread sheets for data storage, numerical integration, Fourier transformations', curve fitting algorithms, etc. The last few chapters conclude with the purpose of the learning module, and that is, com- puter-based instrumentation. Computer-based laboratory projects such as analog-to-digital con- version, digitizing oscilloscopes treated. Advanced Lab VIEW Labs finishes with a treatment on GPIB interfacing and finally, the student is asked to create an operating VI for temperature con- trol. This is an excellent text, not only as an treatise on LabVIEW but also as an introduction to computer programming logic. All programmers, who are struggling to not only learning how interface computers to instruments, but also trying understand top down programming and other programming language techniques, should add Advanced Lab-VIEW Labs to their computer library.« less

The Trajectory of Language Policy: The First Language Maintenance and Development Program in South Australia

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…

Bellman’s GAP—a language and compiler for dynamic programming in sequence analysis

PubMed Central

Sauthoff, Georg; Möhl, Mathias; Janssen, Stefan; Giegerich, Robert

2013-01-01

Motivation: Dynamic programming is ubiquitous in bioinformatics. Developing and implementing non-trivial dynamic programming algorithms is often error prone and tedious. Bellman’s GAP is a new programming system, designed to ease the development of bioinformatics tools based on the dynamic programming technique. Results: In Bellman’s GAP, dynamic programming algorithms are described in a declarative style by tree grammars, evaluation algebras and products formed thereof. This bypasses the design of explicit dynamic programming recurrences and yields programs that are free of subscript errors, modular and easy to modify. The declarative modules are compiled into C++ code that is competitive to carefully hand-crafted implementations. This article introduces the Bellman’s GAP system and its language, GAP-L. It then demonstrates the ease of development and the degree of re-use by creating variants of two common bioinformatics algorithms. Finally, it evaluates Bellman’s GAP as an implementation platform of ‘real-world’ bioinformatics tools. Availability: Bellman’s GAP is available under GPL license from http://bibiserv.cebitec.uni-bielefeld.de/bellmansgap. This Web site includes a repository of re-usable modules for RNA folding based on thermodynamics. Contact: robert@techfak.uni-bielefeld.de Supplementary information: Supplementary data are available at Bioinformatics online PMID:23355290

SYSTID - A flexible tool for the analysis of communication systems.

NASA Technical Reports Server (NTRS)

Dawson, C. T.; Tranter, W. H.

1972-01-01

Description of the System Time Domain Simulation (SYSTID) computer-aided analysis program which is specifically structured for communication systems analysis. The SYSTID program is user oriented so that very little knowledge of computer techniques and very little programming ability are required for proper application. The program is designed so that the user can go from a system block diagram to an accurate simulation by simply programming a single English language statement for each block in the system. The mathematical and functional models available in the SYSTID library are presented. An example problem is given which illustrates the ease of modeling communication systems. Examples of the outputs available are presented, and proposed improvements are summarized.

Specification and Error Pattern Based Program Monitoring

NASA Technical Reports Server (NTRS)

Havelund, Klaus; Johnson, Scott; Rosu, Grigore; Clancy, Daniel (Technical Monitor)

2001-01-01

We briefly present Java PathExplorer (JPAX), a tool developed at NASA Ames for monitoring the execution of Java programs. JPAX can be used not only during program testing to reveal subtle errors, but also can be applied during operation to survey safety critical systems. The tool facilitates automated instrumentation of a program in order to properly observe its execution. The instrumentation can be either at the bytecode level or at the source level when the source code is available. JPaX is an instance of a more general project, called PathExplorer (PAX), which is a basis for experiments rather than a fixed system, capable of monitoring various programming languages and experimenting with other logics and analysis techniques

Scala Roles: Reusable Object Collaborations in a Library

NASA Astrophysics Data System (ADS)

Pradel, Michael; Odersky, Martin

Purely class-based implementations of object-oriented software are often inappropriate for reuse. In contrast, the notion of objects playing roles in a collaboration has been proven to be a valuable reuse abstraction. However, existing solutions to enable role-based programming tend to require vast extensions of the underlying programming language, and thus, are difficult to use in every day work. We present a programming technique, based on dynamic proxies, that allows to augment an object’s type at runtime while preserving strong static type safety. It enables role-based implementations that lead to more reuse and better separation of concerns.

Spanish-language community-based mental health treatment programs, policy-required language-assistance programming, and mental health treatment access among Spanish-speaking clients.

PubMed

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.

Spanish-Language Community-Based Mental Health Treatment Programs, Policy-Required Language-Assistance Programming, and Mental Health Treatment Access Among Spanish-Speaking Clients

PubMed Central

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

Nociones de la programacion de lenguas extranjeras (Ensayo metodologico) (Programming Foreign Languages [A Methodological Study])

ERIC Educational Resources Information Center

Feldman, David

1975-01-01

Stresses the importance of language laboratories and other technical devices used in foreign language teaching, particularly in programed language instruction. Illustrates, by means of taxonomies, the various stages a foreign language learning program should follow. (Text is in Spanish.) (DS)

An object-oriented approach to nested data parallelism

NASA Technical Reports Server (NTRS)

Sheffler, Thomas J.; Chatterjee, Siddhartha

1994-01-01

This paper describes an implementation technique for integrating nested data parallelism into an object-oriented language. Data-parallel programming employs sets of data called 'collections' and expresses parallelism as operations performed over the elements of a collection. When the elements of a collection are also collections, then there is the possibility for 'nested data parallelism.' Few current programming languages support nested data parallelism however. In an object-oriented framework, a collection is a single object. Its type defines the parallel operations that may be applied to it. Our goal is to design and build an object-oriented data-parallel programming environment supporting nested data parallelism. Our initial approach is built upon three fundamental additions to C++. We add new parallel base types by implementing them as classes, and add a new parallel collection type called a 'vector' that is implemented as a template. Only one new language feature is introduced: the 'foreach' construct, which is the basis for exploiting elementwise parallelism over collections. The strength of the method lies in the compilation strategy, which translates nested data-parallel C++ into ordinary C++. Extracting the potential parallelism in nested 'foreach' constructs is called 'flattening' nested parallelism. We show how to flatten 'foreach' constructs using a simple program transformation. Our prototype system produces vector code which has been successfully run on workstations, a CM-2, and a CM-5.

Guidelines for developing vectorizable computer programs

NASA Technical Reports Server (NTRS)

Miner, E. W.

1982-01-01

Some fundamental principles for developing computer programs which are compatible with array-oriented computers are presented. The emphasis is on basic techniques for structuring computer codes which are applicable in FORTRAN and do not require a special programming language or exact a significant penalty on a scalar computer. Researchers who are using numerical techniques to solve problems in engineering can apply these basic principles and thus develop transportable computer programs (in FORTRAN) which contain much vectorizable code. The vector architecture of the ASC is discussed so that the requirements of array processing can be better appreciated. The "vectorization" of a finite-difference viscous shock-layer code is used as an example to illustrate the benefits and some of the difficulties involved. Increases in computing speed with vectorization are illustrated with results from the viscous shock-layer code and from a finite-element shock tube code. The applicability of these principles was substantiated through running programs on other computers with array-associated computing characteristics, such as the Hewlett-Packard (H-P) 1000-F.

An IBM 370 assembly language program verifier

NASA Technical Reports Server (NTRS)

Maurer, W. D.

1977-01-01

The paper describes a program written in SNOBOL which verifies the correctness of programs written in assembly language for the IBM 360 and 370 series of computers. The motivation for using assembly language as a source language for a program verifier was the realization that many errors in programs are caused by misunderstanding or ignorance of the characteristics of specific computers. The proof of correctness of a program written in assembly language must take these characteristics into account. The program has been compiled and is currently running at the Center for Academic and Administrative Computing of The George Washington University.

Educator Language Ideologies and a Top-Down Dual Language Program

ERIC Educational Resources Information Center

Fitzsimmons-Doolan, Shannon; Palmer, Deborah; Henderson, Kathryn

2017-01-01

Dual language bilingual education (DLBE) programs are framed to reflect pluralist discourses (de Jong, E. [2013]. "Policy Discourses and U.S. Language in Education Policies." "Peabody Journal of Education" 88 (1): 98-111) and affiliated language ideologies. The continued expansion of DLBE programs not surprisingly brings to…

Teaching Adaptability of Object-Oriented Programming Language Curriculum

ERIC Educational Resources Information Center

Zhu, Xiao-dong

2012-01-01

The evolution of object-oriented programming languages includes update of their own versions, update of development environments, and reform of new languages upon old languages. In this paper, the evolution analysis of object-oriented programming languages is presented in term of the characters and development. The notion of adaptive teaching upon…

Innovative Second Language Education: Bilingual Immersion Programs.

ERIC Educational Resources Information Center

Snow, Marguerite Ann

Bilingual immersion programs combine second language immersion for language majority children and bilingual education for language minority children. The programs are based on the underlying assumption of the immersion model: that a second language is best learned as a medium of instruction, not as the object of instruction. However, they are not…

The BASIC Instructional Program: Conversion into MAINSAIL Language.

ERIC Educational Resources Information Center

Dageforde, Mary L.

This report summarizes the rewriting of the BASIC Instructional Program (BIP) (a "hands-on laboratory" that teaches elementary programming in the BASIC language) from SAIL (a programming language available only on PDP-10 computers) into MAINSAIL (a language designed for portability on a broad class of computers). Four sections contain…

NATAL-74; Towards a Common Programming Language for CAL.

ERIC Educational Resources Information Center

Brahan, J. W.; Colpitts, B. A.

NATAL-74 is a programing language designed for Canadian computer aided learning (CAL) programs. The language has two fundamental elements: the UNIT provides the interface between the student and the subject matter, and the PROCEDURE element embodies teaching strategy. Desirable features of several programing languages have been adapted to cope…

Computational techniques for design optimization of thermal protection systems for the space shuttle vehicle. Volume 1: Final report

NASA Technical Reports Server (NTRS)

1971-01-01

Computational techniques were developed and assimilated for the design optimization. The resulting computer program was then used to perform initial optimization and sensitivity studies on a typical thermal protection system (TPS) to demonstrate its application to the space shuttle TPS design. The program was developed in Fortran IV for the CDC 6400 but was subsequently converted to the Fortran V language to be used on the Univac 1108. The program allows for improvement and update of the performance prediction techniques. The program logic involves subroutines which handle the following basic functions: (1) a driver which calls for input, output, and communication between program and user and between the subroutines themselves; (2) thermodynamic analysis; (3) thermal stress analysis; (4) acoustic fatigue analysis; and (5) weights/cost analysis. In addition, a system total cost is predicted based on system weight and historical cost data of similar systems. Two basic types of input are provided, both of which are based on trajectory data. These are vehicle attitude (altitude, velocity, and angles of attack and sideslip), for external heat and pressure loads calculation, and heating rates and pressure loads as a function of time.

Survey of Speech-Language Pathology Graduate Program Training in Outer and Middle Ear Screening.

PubMed

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.

Investigating Principals' Knowledge and Perceptions of Second Language Programs for English Language Learners

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…

Rubus: A compiler for seamless and extensible parallelism.

PubMed

Adnan, Muhammad; Aslam, Faisal; Nawaz, Zubair; Sarwar, Syed Mansoor

2017-01-01

Nowadays, a typical processor may have multiple processing cores on a single chip. Furthermore, a special purpose processing unit called Graphic Processing Unit (GPU), originally designed for 2D/3D games, is now available for general purpose use in computers and mobile devices. However, the traditional programming languages which were designed to work with machines having single core CPUs, cannot utilize the parallelism available on multi-core processors efficiently. Therefore, to exploit the extraordinary processing power of multi-core processors, researchers are working on new tools and techniques to facilitate parallel programming. To this end, languages like CUDA and OpenCL have been introduced, which can be used to write code with parallelism. The main shortcoming of these languages is that programmer needs to specify all the complex details manually in order to parallelize the code across multiple cores. Therefore, the code written in these languages is difficult to understand, debug and maintain. Furthermore, to parallelize legacy code can require rewriting a significant portion of code in CUDA or OpenCL, which can consume significant time and resources. Thus, the amount of parallelism achieved is proportional to the skills of the programmer and the time spent in code optimizations. This paper proposes a new open source compiler, Rubus, to achieve seamless parallelism. The Rubus compiler relieves the programmer from manually specifying the low-level details. It analyses and transforms a sequential program into a parallel program automatically, without any user intervention. This achieves massive speedup and better utilization of the underlying hardware without a programmer's expertise in parallel programming. For five different benchmarks, on average a speedup of 34.54 times has been achieved by Rubus as compared to Java on a basic GPU having only 96 cores. Whereas, for a matrix multiplication benchmark the average execution speedup of 84 times has been achieved by Rubus on the same GPU. Moreover, Rubus achieves this performance without drastically increasing the memory footprint of a program.

Rubus: A compiler for seamless and extensible parallelism

PubMed Central

Adnan, Muhammad; Aslam, Faisal; Sarwar, Syed Mansoor

2017-01-01

Nowadays, a typical processor may have multiple processing cores on a single chip. Furthermore, a special purpose processing unit called Graphic Processing Unit (GPU), originally designed for 2D/3D games, is now available for general purpose use in computers and mobile devices. However, the traditional programming languages which were designed to work with machines having single core CPUs, cannot utilize the parallelism available on multi-core processors efficiently. Therefore, to exploit the extraordinary processing power of multi-core processors, researchers are working on new tools and techniques to facilitate parallel programming. To this end, languages like CUDA and OpenCL have been introduced, which can be used to write code with parallelism. The main shortcoming of these languages is that programmer needs to specify all the complex details manually in order to parallelize the code across multiple cores. Therefore, the code written in these languages is difficult to understand, debug and maintain. Furthermore, to parallelize legacy code can require rewriting a significant portion of code in CUDA or OpenCL, which can consume significant time and resources. Thus, the amount of parallelism achieved is proportional to the skills of the programmer and the time spent in code optimizations. This paper proposes a new open source compiler, Rubus, to achieve seamless parallelism. The Rubus compiler relieves the programmer from manually specifying the low-level details. It analyses and transforms a sequential program into a parallel program automatically, without any user intervention. This achieves massive speedup and better utilization of the underlying hardware without a programmer’s expertise in parallel programming. For five different benchmarks, on average a speedup of 34.54 times has been achieved by Rubus as compared to Java on a basic GPU having only 96 cores. Whereas, for a matrix multiplication benchmark the average execution speedup of 84 times has been achieved by Rubus on the same GPU. Moreover, Rubus achieves this performance without drastically increasing the memory footprint of a program. PMID:29211758

Teachers' Perspectives on Academic Achievement and Educational Growth of U.S.-Born Hispanic Students in a Midwestern Spanish Language Immersion Program

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…

Melodic Intonation Therapy: Back to Basics for Future Research

PubMed Central

Zumbansen, Anna; Peretz, Isabelle; Hébert, Sylvie

2014-01-01

We present a critical review of the literature on melodic intonation therapy (MIT), one of the most formalized treatments used by speech-language therapist in Broca’s aphasia. We suggest basic clarifications to enhance the scientific support of this promising treatment. First, therapeutic protocols using singing as a speech facilitation technique are not necessarily MIT. The goal of MIT is to restore propositional speech. The rationale is that patients can learn a new way to speak through singing by using language-capable regions of the right cerebral hemisphere. Eventually, patients are supposed to use this way of speaking permanently but not to sing overtly. We argue that many treatment programs covered in systematic reviews on MIT’s efficacy do not match MIT’s therapeutic goal and rationale. Critically, we identified two main variations of MIT: the French thérapie mélodique et rythmée (TMR) that trains patients to use singing overtly as a facilitation technique in case of speech struggle and palliative versions of MIT that help patients with the most severe expressive deficits produce a limited set of useful, readymade phrases. Second, we distinguish between the immediate effect of singing on speech production and the long-term effect of the entire program on language recovery. Many results in the MIT literature can be explained by this temporal perspective. Finally, we propose that MIT can be viewed as a treatment of apraxia of speech more than aphasia. This issue should be explored in future experimental studies. PMID:24478754

The SeaHorn Verification Framework

NASA Technical Reports Server (NTRS)

Gurfinkel, Arie; Kahsai, Temesghen; Komuravelli, Anvesh; Navas, Jorge A.

2015-01-01

In this paper, we present SeaHorn, a software verification framework. The key distinguishing feature of SeaHorn is its modular design that separates the concerns of the syntax of the programming language, its operational semantics, and the verification semantics. SeaHorn encompasses several novelties: it (a) encodes verification conditions using an efficient yet precise inter-procedural technique, (b) provides flexibility in the verification semantics to allow different levels of precision, (c) leverages the state-of-the-art in software model checking and abstract interpretation for verification, and (d) uses Horn-clauses as an intermediate language to represent verification conditions which simplifies interfacing with multiple verification tools based on Horn-clauses. SeaHorn provides users with a powerful verification tool and researchers with an extensible and customizable framework for experimenting with new software verification techniques. The effectiveness and scalability of SeaHorn are demonstrated by an extensive experimental evaluation using benchmarks from SV-COMP 2015 and real avionics code.

Python to learn programming

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.

Sexual Self-Schemas in the Real World: Investigating the Ecological Validity of Language-Based Markers of Childhood Sexual Abuse

PubMed Central

Stanton, Amelia M.; Meston, Cindy M.

2017-01-01

Abstract This is the first study to examine language use and sexual self-schemas in natural language data extracted from posts to a large online forum. Recently, two studies applied advanced text analysis techniques to examine differences in language use and sexual self-schemas between women with and without a history of childhood sexual abuse. The aim of the current study was to test the ecological validity of the differences in language use and sexual self-schema themes that emerged between these two groups of women in the laboratory. Archival natural language data were extracted from a social media website and analyzed using LIWC2015, a computerized text analysis program, and other word counting approaches. The differences in both language use and sexual self-schema themes that manifested in recent laboratory research were replicated and validated in the large online sample. To our knowledge, these results provide the first empirical examination of sexual cognitions as they occur in the real world. These results also suggest that natural language analysis of text extracted from social media sites may be a potentially viable precursor or alternative to laboratory measurement of sexual trauma phenomena, as well as clinical phenomena, more generally. PMID:28570129

Performance evaluation using SYSTID time domain simulation. [computer-aid design and analysis for communication systems

NASA Technical Reports Server (NTRS)

Tranter, W. H.; Ziemer, R. E.; Fashano, M. J.

1975-01-01

This paper reviews the SYSTID technique for performance evaluation of communication systems using time-domain computer simulation. An example program illustrates the language. The inclusion of both Gaussian and impulse noise models make accurate simulation possible in a wide variety of environments. A very flexible postprocessor makes possible accurate and efficient performance evaluation.

Techniques to Bring Humor and Create a Pleasant Learning Environment in Adult ESL Classrooms

ERIC Educational Resources Information Center

Vu, Phu; Vu, Lan

2012-01-01

According to the U.S. Department of Education (2004), more than 40% of approximately three million learners in the federally-funded adult education programs are in the area of English as a second language (ESL). These learners, the majority of whom are immigrants and refugees, represent a huge diversity of cultural backgrounds and nationalities,…

The Use of Videotape Recordings to Teach Clinical Skills (Evaluation and Remediation) In the Fields of Communicative Disorders.

ERIC Educational Resources Information Center

Billeaud, Frances P.

A study was undertaken to evaluate the benefits derived by speech and language pathology students who used video tape recordings to learn diagnosis of communication disorders, to observe professional therapists and therapy programs, and to improve their own clinical techniques through self-observation. The use of video tapes to teach clinical…

E.S.L. Video Recording Project at Martin Luther King, Jr. High School, Spring 1988. OREA Report.

ERIC Educational Resources Information Center

Berney, Tomi D.; Schlau, Beth

The English-as-a-Second-Language (ESL) video recording project was designed to use student-produced videotape recordings to help 120 limited-English-speaking students learn to speak, read, and write English. Staff participated in a series of workshops on video program development and production techniques. Four classes developed video productions,…

Short Stories via Computers in EFL Classrooms: An Empirical Study for Reading and Writing Skills

ERIC Educational Resources Information Center

Yilmaz, Adnan

2015-01-01

The present empirical study scrutinizes the use of short stories via computer technologies in teaching and learning English language. The objective of the study is two-fold: to examine how short stories could be used through computer programs in teaching and learning English and to collect data about students' perceptions of this technique via…

Usability Issues in the Design of Novice Programming Systems,

DTIC Science & Technology

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

Programming Languages.

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

DTIC Science & Technology

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,

Nonlinear dynamic macromodeling techniques for audio systems

NASA Astrophysics Data System (ADS)

Ogrodzki, Jan; Bieńkowski, Piotr

2015-09-01

This paper develops a modelling method and a models identification technique for the nonlinear dynamic audio systems. Identification is performed by means of a behavioral approach based on a polynomial approximation. This approach makes use of Discrete Fourier Transform and Harmonic Balance Method. A model of an audio system is first created and identified and then it is simulated in real time using an algorithm of low computational complexity. The algorithm consists in real time emulation of the system response rather than in simulation of the system itself. The proposed software is written in Python language using object oriented programming techniques. The code is optimized for a multithreads environment.

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…

STICAP: A linear circuit analysis program with stiff systems capability. Volume 1: Theory manual. [network analysis

NASA Technical Reports Server (NTRS)

Cooke, C. H.

1975-01-01

STICAP (Stiff Circuit Analysis Program) is a FORTRAN 4 computer program written for the CDC-6400-6600 computer series and SCOPE 3.0 operating system. It provides the circuit analyst a tool for automatically computing the transient responses and frequency responses of large linear time invariant networks, both stiff and nonstiff (algorithms and numerical integration techniques are described). The circuit description and user's program input language is engineer-oriented, making simple the task of using the program. Engineering theories underlying STICAP are examined. A user's manual is included which explains user interaction with the program and gives results of typical circuit design applications. Also, the program structure from a systems programmer's viewpoint is depicted and flow charts and other software documentation are given.

Large-scale hydropower system optimization using dynamic programming and object-oriented programming: the case of the Northeast China Power Grid.

PubMed

Li, Ji-Qing; Zhang, Yu-Shan; Ji, Chang-Ming; Wang, Ai-Jing; Lund, Jay R

2013-01-01

This paper examines long-term optimal operation using dynamic programming for a large hydropower system of 10 reservoirs in Northeast China. Besides considering flow and hydraulic head, the optimization explicitly includes time-varying electricity market prices to maximize benefit. Two techniques are used to reduce the 'curse of dimensionality' of dynamic programming with many reservoirs. Discrete differential dynamic programming (DDDP) reduces the search space and computer memory needed. Object-oriented programming (OOP) and the ability to dynamically allocate and release memory with the C++ language greatly reduces the cumulative effect of computer memory for solving multi-dimensional dynamic programming models. The case study shows that the model can reduce the 'curse of dimensionality' and achieve satisfactory results.

34 CFR 658.4 - What definitions apply to the Undergraduate International Studies and Foreign Language Program?

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

34 CFR 658.4 - What definitions apply to the Undergraduate International Studies and Foreign Language Program?

Code of Federal Regulations, 2011 CFR

2011-07-01

... International Studies and Foreign Language Program? 658.4 Section 658.4 Education Regulations of the Offices of... UNDERGRADUATE INTERNATIONAL STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.4 What definitions apply to the Undergraduate International Studies and Foreign Language Program? The definitions in 34 CFR 655.4 apply to this...

Students' Perspective on the First Programming Language: C-Like or Pascal-Like Languages?

ERIC Educational Resources Information Center

Xinogalos, Stelios; Pitner, Tomáš; Ivanovic, Mirjana; Savic, Miloš

2018-01-01

The choice of the first programming language (FPL) has been a controversial issue for several decades. Nearly everyone agrees that the FPL is important and affects students' subsequent education on programming. The study presented in this article investigates the suitability of various C-like and Pascal-like programming languages as a FPL.…

HAL/SM language specification. [programming languages and computer programming for space shuttles

NASA Technical Reports Server (NTRS)

Williams, G. P. W., Jr.; Ross, C.

1975-01-01

A programming language is presented for the flight software of the NASA Space Shuttle program. It is intended to satisfy virtually all of the flight software requirements of the space shuttle. To achieve this, it incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks. It is a higher order language designed to allow programmers, analysts, and engineers to communicate with the computer in a form approximating natural mathematical expression. Parts of the English language are combined with standard notation to provide a tool that readily encourages programming without demanding computer hardware expertise. Block diagrams and flow charts are included. The semantics of the language is discussed.

Language Sample Analysis and Elicitation Technique Effects in Bilingual Children With and Without Language Impairment.

PubMed

Kapantzoglou, Maria; Fergadiotis, Gerasimos; Restrepo, M Adelaida

2017-10-17

This study examined whether the language sample elicitation technique (i.e., storytelling and story-retelling tasks with pictorial support) affects lexical diversity (D), grammaticality (grammatical errors per communication unit [GE/CU]), sentence length (mean length of utterance in words [MLUw]), and sentence complexity (subordination index [SI]), which are commonly used indices for diagnosing primary language impairment in Spanish-English-speaking children in the United States. Twenty bilingual Spanish-English-speaking children with typical language development and 20 with primary language impairment participated in the study. Four analyses of variance were conducted to evaluate the effect of language elicitation technique and group on D, GE/CU, MLUw, and SI. Also, 2 discriminant analyses were conducted to assess which indices were more effective for story retelling and storytelling and their classification accuracy across elicitation techniques. D, MLUw, and SI were influenced by the type of elicitation technique, but GE/CU was not. The classification accuracy of language sample analysis was greater in story retelling than in storytelling, with GE/CU and D being useful indicators of language abilities in story retelling and GE/CU and SI in storytelling. Two indices in language sample analysis may be sufficient for diagnosis in 4- to 5-year-old bilingual Spanish-English-speaking children.

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.

Effective approach to spectroscopy and spectral analysis techniques using Matlab

NASA Astrophysics Data System (ADS)

Li, Xiang; Lv, Yong

2017-08-01

With the development of electronic information, computer and network, modern education technology has entered new era, which would give a great impact on teaching process. Spectroscopy and spectral analysis is an elective course for Optoelectronic Information Science and engineering. The teaching objective of this course is to master the basic concepts and principles of spectroscopy, spectral analysis and testing of basic technical means. Then, let the students learn the principle and technology of the spectrum to study the structure and state of the material and the developing process of the technology. MATLAB (matrix laboratory) is a multi-paradigm numerical computing environment and fourth-generation programming language. A proprietary programming language developed by MathWorks, MATLAB allows matrix manipulations, plotting of functions and data, Based on the teaching practice, this paper summarizes the new situation of applying Matlab to the teaching of spectroscopy. This would be suitable for most of the current school multimedia assisted teaching

NVSIM: UNIX-based thermal imaging system simulator

NASA Astrophysics Data System (ADS)

Horger, John D.

1993-08-01

For several years the Night Vision and Electronic Sensors Directorate (NVESD) has been using an internally developed forward looking infrared (FLIR) simulation program. In response to interest in the simulation part of these projects by other organizations, NVESD has been working on a new version of the simulation, NVSIM, that will be made generally available to the FLIR using community. NVSIM uses basic FLIR specification data, high resolution thermal input imagery and spatial domain image processing techniques to produce simulated image outputs from a broad variety of FLIRs. It is being built around modular programming techniques to allow simpler addition of more sensor effects. The modularity also allows selective inclusion and exclusion of individual sensor effects at run time. The simulation has been written in the industry standard ANSI C programming language under the widely used UNIX operating system to make it easily portable to a wide variety of computer platforms.

Improved Real-Time Monitoring Using Multiple Expert Systems

NASA Technical Reports Server (NTRS)

Schwuttke, Ursula M.; Angelino, Robert; Quan, Alan G.; Veregge, John; Childs, Cynthia

1993-01-01

Monitor/Analyzer of Real-Time Voyager Engineering Link (MARVEL) computer program implements combination of techniques of both conventional automation and artificial intelligence to improve monitoring of complicated engineering system. Designed to support ground-based operations of Voyager spacecraft, also adapted to other systems. Enables more-accurate monitoring and analysis of telemetry, enhances productivity of monitoring personnel, reduces required number of such personnel by performing routine monitoring tasks, and helps ensure consistency in face of turnover of personnel. Programmed in C language and includes commercial expert-system software shell also written in C.

Integrating an object system into CLIPS: Language design and implementation issues

NASA Technical Reports Server (NTRS)

Auburn, Mark

1990-01-01

This paper describes the reasons why an object system with integrated pattern-matching and object-oriented programming facilities is desirable for CLIPS and how it is possible to integrate such a system into CLIPS while maintaining the run-time performance and the low memory usage for which CLIPS is known. The requirements for an object system in CLIPS that includes object-oriented programming and integrated pattern-matching are discussed and various techniques for optimizing the object system and its integration with the pattern-matcher are presented.

Natural language processing, pragmatics, and verbal behavior

PubMed Central

Cherpas, Chris

1992-01-01

Natural Language Processing (NLP) is that part of Artificial Intelligence (AI) concerned with endowing computers with verbal and listener repertoires, so that people can interact with them more easily. Most attention has been given to accurately parsing and generating syntactic structures, although NLP researchers are finding ways of handling the semantic content of language as well. It is increasingly apparent that understanding the pragmatic (contextual and consequential) dimension of natural language is critical for producing effective NLP systems. While there are some techniques for applying pragmatics in computer systems, they are piecemeal, crude, and lack an integrated theoretical foundation. Unfortunately, there is little awareness that Skinner's (1957) Verbal Behavior provides an extensive, principled pragmatic analysis of language. The implications of Skinner's functional analysis for NLP and for verbal aspects of epistemology lead to a proposal for a “user expert”—a computer system whose area of expertise is the long-term computer user. The evolutionary nature of behavior suggests an AI technology known as genetic algorithms/programming for implementing such a system. ImagesFig. 1 PMID:22477052

Heritage Language Education: Valuing the Languages, Literacies, and Cultural Competencies of Immigrant Youth

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

Do They Make a Difference? The Impact of English Language Programs on Second Language Students in Canadian Universities

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

PubMed Central

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.

PubMed

Farooq, Muhammad Shoaib; Khan, Sher Afzal; Ahmad, Farooq; Islam, Saeed; Abid, Adnan

2014-01-01

Computer programming is the core of computer science curriculum. Several programming languages have been used to teach the first course in computer programming, and such languages are referred to as first programming language (FPL). The pool of programming languages has been evolving with the development of new languages, and from this pool different languages have been used as FPL at different times. Though the selection of an appropriate FPL is very important, yet it has been a controversial issue in the presence of many choices. Many efforts have been made for designing a good FPL, however, there is no ample way to evaluate and compare the existing languages so as to find the most suitable FPL. In this article, we have proposed a framework to evaluate the existing imperative, and object oriented languages for their suitability as an appropriate FPL. Furthermore, based on the proposed framework we have devised a customizable scoring function to compute a quantitative suitability score for a language, which reflects its conformance to the proposed framework. Lastly, we have also evaluated the conformance of the widely used FPLs to the proposed framework, and have also computed their suitability scores.

Knowledge, programming, and programming cultures: LISP, C, and Ada

NASA Technical Reports Server (NTRS)

Rochowiak, Daniel

1990-01-01

The results of research 'Ada as an implementation language for knowledge based systems' are presented. The purpose of the research was to compare Ada to other programming languages. The report focuses on the programming languages Ada, C, and Lisp, the programming cultures that surround them, and the programming paradigms they support.

The African Language Program at Michigan State University.

ERIC Educational Resources Information Center

Dwyer, David

1979-01-01

Describes the African language program at Michigan State University, which provides (1) supervised, individualized instruction for high-demand languages, on two levels; (2) regular classroom instruction for Swahili and Hausa; and (3) non-credit, self-instructional programs for low-demand languages. Sample forms are appended. (AM)

PAWS/STEM - PADE APPROXIMATION WITH SCALING AND SCALED TAYLOR EXPONENTIAL MATRIX (VAX VMS VERSION)

NASA Technical Reports Server (NTRS)

Butler, R. W.

1994-01-01

Traditional fault-tree techniques for analyzing the reliability of large, complex systems fail to model the dynamic reconfiguration capabilities of modern computer systems. Markov models, on the other hand, can describe fault-recovery (via system reconfiguration) as well as fault-occurrence. The Pade Approximation with Scaling (PAWS) and Scaled Taylor Exponential Matrix (STEM) programs provide a flexible, user-friendly, language-based interface for the creation and evaluation of Markov models describing the behavior of fault-tolerant reconfigurable computer systems. PAWS and STEM produce exact solutions for the probability of system failure and provide a conservative estimate of the number of significant digits in the solution. The calculation of the probability of entering a death state of a Markov model (representing system failure) requires the solution of a set of coupled differential equations. Because of the large disparity between the rates of fault arrivals and system recoveries, Markov models of fault-tolerant architectures inevitably lead to numerically stiff differential equations. Both PAWS and STEM have the capability to solve numerically stiff models. These complementary programs use separate methods to determine the matrix exponential in the solution of the model's system of differential equations. In general, PAWS is better suited to evaluate small and dense models. STEM operates at lower precision, but works faster than PAWS for larger models. 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. PAWS/STEM was originally developed for DEC VAX series computers running VMS and was later ported for use on Sun computers running SunOS. The package is written in PASCAL, ANSI compliant C-language, and FORTRAN 77. The standard distribution medium for the VMS version of PAWS/STEM (LAR-14165) 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 PAWS/STEM (LAR-14920) is a .25 inch streaming magnetic tape cartridge in UNIX tar format. Both Sun3 and Sun4 executables are included. PAWS/STEM was developed in 1989 and last updated in 1991. 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.

PAWS/STEM - PADE APPROXIMATION WITH SCALING AND SCALED TAYLOR EXPONENTIAL MATRIX (SUN VERSION)

NASA Technical Reports Server (NTRS)

Butler, R. W.

1994-01-01

Traditional fault-tree techniques for analyzing the reliability of large, complex systems fail to model the dynamic reconfiguration capabilities of modern computer systems. Markov models, on the other hand, can describe fault-recovery (via system reconfiguration) as well as fault-occurrence. The Pade Approximation with Scaling (PAWS) and Scaled Taylor Exponential Matrix (STEM) programs provide a flexible, user-friendly, language-based interface for the creation and evaluation of Markov models describing the behavior of fault-tolerant reconfigurable computer systems. PAWS and STEM produce exact solutions for the probability of system failure and provide a conservative estimate of the number of significant digits in the solution. The calculation of the probability of entering a death state of a Markov model (representing system failure) requires the solution of a set of coupled differential equations. Because of the large disparity between the rates of fault arrivals and system recoveries, Markov models of fault-tolerant architectures inevitably lead to numerically stiff differential equations. Both PAWS and STEM have the capability to solve numerically stiff models. These complementary programs use separate methods to determine the matrix exponential in the solution of the model's system of differential equations. In general, PAWS is better suited to evaluate small and dense models. STEM operates at lower precision, but works faster than PAWS for larger models. 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. PAWS/STEM was originally developed for DEC VAX series computers running VMS and was later ported for use on Sun computers running SunOS. The package is written in PASCAL, ANSI compliant C-language, and FORTRAN 77. The standard distribution medium for the VMS version of PAWS/STEM (LAR-14165) 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 PAWS/STEM (LAR-14920) is a .25 inch streaming magnetic tape cartridge in UNIX tar format. Both Sun3 and Sun4 executables are included. PAWS/STEM was developed in 1989 and last updated in 1991. 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.

Computer Programming Languages for Health Care

PubMed Central

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.

English Language Teachers' Perceptions on Knowing and Applying Contemporary Language Teaching Techniques

ERIC Educational Resources Information Center

Sucuoglu, Esen

2017-01-01

The aim of this study is to determine the perceptions of English language teachers teaching at a preparatory school in relation to their knowing and applying contemporary language teaching techniques in their lessons. An investigation was conducted of 21 English language teachers at a preparatory school in North Cyprus. The SPSS statistical…

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.

Process description language: an experiment in robust programming for manufacturing systems

NASA Astrophysics Data System (ADS)

Spooner, Natalie R.; Creak, G. Alan

1998-10-01

Maintaining stable, robust, and consistent software is difficult in face of the increasing rate of change of customers' preferences, materials, manufacturing techniques, computer equipment, and other characteristic features of manufacturing systems. It is argued that software is commonly difficult to keep up to date because many of the implications of these changing features on software details are obscure. A possible solution is to use a software generation system in which the transformation of system properties into system software is made explicit. The proposed generation system stores the system properties, such as machine properties, product properties and information on manufacturing techniques, in databases. As a result this information, on which system control is based, can also be made available to other programs. In particular, artificial intelligence programs such as fault diagnosis programs, can benefit from using the same information as the control system, rather than a separate database which must be developed and maintained separately to ensure consistency. Experience in developing a simplified model of such a system is presented.

Praxis language reference manual

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

Walker, J.H.

1981-01-01

This document is a language reference manual for the programming language Praxis. The document contains the specifications that must be met by any compiler for the language. The Praxis language was designed for systems programming in real-time process applications. Goals for the language and its implementations are: (1) highly efficient code generated by the compiler; (2) program portability; (3) completeness, that is, all programming requirements can be met by the language without needing an assembler; and (4) separate compilation to aid in design and management of large systems. The language does not provide any facilities for input/output, stack and queuemore » handling, string operations, parallel processing, or coroutine processing. These features can be implemented as routines in the language, using machine-dependent code to take advantage of facilities in the control environment on different machines.« less

Visual Programming: A Programming Tool for Increasing Mathematics Achivement

ERIC Educational Resources Information Center

Swanier, Cheryl A.; Seals, Cheryl D.; Billionniere, Elodie V.

2009-01-01

This paper aims to address the need of increasing student achievement in mathematics using a visual programming language such as Scratch. This visual programming language facilitates creating an environment where students in K-12 education can develop mathematical simulations while learning a visual programming language at the same time.…

Problems for a Sign Language Planning Agency

ERIC Educational Resources Information Center

Covington, Virginia

1977-01-01

American Sign Language is chiefly untaught and nonstandardized. The Communicative Skills Program of the National Association of the Deaf aims to provide sign language classes for hearing personnel and to increase interpreting services. Programs, funding and aims of the Program are outlined. A government sign language planning agency is proposed.…

A Year-Round Professional Development Model for World Language Educators

ERIC Educational Resources Information Center

Steele, Tracy M.; Peterson, Margaret D.; Silva, Duarte M.; Padilla, Amado M.

2009-01-01

The Bay Area Foreign Language Program (BAFLP), one of nine regional sites of the California Foreign Language Project, offers ongoing, year-round professional development programs for world language educators. In addition, its leadership program prepares selected educators to assume leadership positions at their school sites, building capacity for…

Quantitative Model for Choosing Programming Language for Online Instruction

ERIC Educational Resources Information Center

Sherman, Steven J.; Shehane, Ronald F.; Todd, Dewey W.

2018-01-01

Colleges are increasingly offering online courses, including computer programming courses for business school students. Programming languages that are most useful to students are those that are widely used in the job market. However, the most popular computer languages change at least every three years. Therefore, the language used for instruction…

Foreign Language K-12. Program Evaluation 1991-92.

ERIC Educational Resources Information Center

Wadden, Jerry M.

The Des Moines (Iowa) Public Schools foreign language program for K-12 is described and evaluated. The evaluation report focuses on six areas, including: (1) school district mission and philosophy of foreign language instruction; (2) context (state policies and standards, foreign language program overview and enrollment, fiber-optic communication…

Les programmes de base: des principes a la realite (Core Programs: From Principles to Reality).

ERIC Educational Resources Information Center

Calve, Pierre

1985-01-01

The recent evolution of second language teaching theory regarding language, learning, communication, and teaching is summarized, and factors contributing to resistance to core second language programs are examined. They include tradition, school programs, time of instruction, language of instruction, teacher training, attitudes, and…

77 FR 30045 - 30-Day Notice of Proposed Information Collection: English Language Evaluation Surveys

Federal Register 2010, 2011, 2012, 2013, 2014

2012-05-21

...] 30-Day Notice of Proposed Information Collection: English Language Evaluation Surveys ACTION: Notice... clearance will allow ECA/P/V, as part of the English Language Evaluation, to conduct surveys of participants in the ETA Program, E-Teacher Scholarship program, and the English Language Specialist Program...

Listen! Native Radio Can Save Languages.

ERIC Educational Resources Information Center

Martin, Kallen

1996-01-01

In the United States and Canada, the number of radio stations operated by Native Americans has greatly increased in recent years, as have the amount of programming in native languages and the number of native language instructional programs. Such programming can play a role in maintaining vigorous native languages and revitalizing endangered…

Synchronization in Scratch: A Case Study with Education Science Students

ERIC Educational Resources Information Center

Nikolos, Dimitris; Komis, Vassilis

2015-01-01

The Scratch programming language is an introductory programming language for students. It is also a visual concurrent programming language, where multiple threads are executed simultaneously. Synchronization in concurrent languages is a complex task for novices to understand. Our research is focused on strategies and methods applied by novice…

At the Crossroads of Learning and Culture: Identifying a Construct for Effective Computer-Assisted Language Learning for English Language Learners

ERIC Educational Resources Information Center

Shaw, Yun

2010-01-01

Many of the commercial Computer-Assisted Language Learning (CALL) programs available today typically take a generic approach. This approach standardizes the program so that it can be used to teach any language merely by translating the content from one language to another. These CALL programs rarely consider the cultural background or preferred…

Towards the Automatic Generation of Programmed Foreign-Language Instructional Materials.

ERIC Educational Resources Information Center

Van Campen, Joseph A.

The purpose of this report is to describe a set of programs which either perform certain tasks useful in the generation of programed foreign-language instructional material or facilitate the writing of such task-oriented programs by other researchers. The programs described are these: (1) a PDP-10 assembly language program for the selection from a…

Programming Language Use in US Academia and Industry

ERIC Educational Resources Information Center

Ben Arfa Rabai, Latifa; Cohen, Barry; Mili, Ali

2015-01-01

In the same way that natural languages influence and shape the way we think, programming languages have a profound impact on the way a programmer analyzes a problem and formulates its solution in the form of a program. To the extent that a first programming course is likely to determine the student's approach to program design, program analysis,…

Teacher and Student Language Practices and Ideologies in a Third-Grade Two-Way Dual Language Program Implementation

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.

PubMed

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.

Training and Personnel Systems Technology R and D Program Description FY 93

DTIC Science & Technology

1992-07-24

instructional strategies provide the best training in ICAT applications, and (c) demonstration of microcomputer authoring techniques for rapid development...learning strategies for language training, (b) develop a behavioral taxonomy to evaluate Military Intelligence (MI) performance and to characterize the...training requirements for collective tasks. In FY93, plans are to: (a) develop training strategies for sustaining command and control skills, and (b

Promises and Obstacles of L1 Use in Language Classrooms: A State-of-the-Art Review

ERIC Educational Resources Information Center

Ghobadi, Mehdi; Ghasemi, Hadi

2015-01-01

Translation and language teaching techniques which take language learners' first language (L1) as point of reference for teaching the second language (L2) have been long discouraged on the ground that these teaching techniques would end in the fossilization of L2 structure forms in the learner's Interlanguage system. However, in recent years, the…

A strategy for automatically generating programs in the lucid programming language

NASA Technical Reports Server (NTRS)

Johnson, Sally C.

1987-01-01

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

Award-Winning Foreign Language Programs: Prescriptions for Success.

ERIC Educational Resources Information Center

Sims, William D.; Hammond, Sandra B.

The study reviews 50 foreign language programs in the United States that are said to be both inspirational and useful for providing concrete information about the creation and preservation of successful language programs. The programs cited are exemplary and can serve as models for educators and administrators to study and visit. Program selection…

Laboratory automation in a functional programming language.

PubMed

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.

Applying Jlint to Space Exploration Software

NASA Technical Reports Server (NTRS)

Artho, Cyrille; Havelund, Klaus

2004-01-01

Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly efficient static analyzer that checks a Java program for several common errors, such as null pointer exceptions, and overflow errors. It also includes checks for multi-threading problems, such as deadlocks and data races. The case study described here shows the effectiveness of Jlint in find-false positives in the multi-threading warnings gives an insight into design patterns commonly used in multi-threaded code. The results show that a few analysis techniques are sufficient to avoid almost all false positives. These techniques include investigating all possible callers and a few code idioms. Verifying the correct application of these patterns is still crucial, because their correct usage is not trivial.

A comparison of common programming languages used in bioinformatics.

PubMed

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

PubMed Central

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

The Language-Culture Interface in German Advertisements.

ERIC Educational Resources Information Center

Gramberg, Anne-Katrin

A comparison of German and American advertising reveals differences in technique and structures. Persuasion is central in both, but the grammatical structures and illocutionary devices available in each language vary. The culture is also reflected in the type and degree to which each language uses techniques of persuasive language. The findings…

Teaching Reading through Language. TECHNIQUES.

ERIC Educational Resources Information Center

Jones, Edward V.

1986-01-01

Because reading is first and foremost a language comprehension process focusing on the visual form of spoken language, such teaching strategies as language experience and assisted reading have much to offer beginning readers. These techniques have been slow to become accepted by many adult literacy instructors; however, the two strategies,…

Language Program Evaluation

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

A Career-Oriented Foreign Language Program for Keystone Oaks School District, Pittsburgh, Pennsylvania.

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…

The Effects of Web 2.0 Technologies Usage in Programming Languages Lesson on the Academic Success, Interrogative Learning Skills and Attitudes of Students towards Programming Languages

ERIC Educational Resources Information Center

Gençtürk, Abdullah Tarik; Korucu, Agah Tugrul

2017-01-01

It is observed that teacher candidates receiving education in the department of Computer and Instructional Technologies Education are not able to gain enough experience and knowledge in "Programming Languages" lesson. The goal of this study is to analyse the effects of web 2.0 technologies usage in programming languages lesson on the…

The Australian Language Levels (ALL) Project--A Response to Curriculum Needs in Australia.

ERIC Educational Resources Information Center

Scarino, Angela; McKay, Penny

Australia has a unique range of language communities and language education needs. A variety of languages is currently offered to different groups of learners through diverse programs. Language teaching may be provided through bilingual education, limited-exposure programs, or compulsory language instruction. Federal and state education agencies,…

A HyperCard Program for Business German.

ERIC Educational Resources Information Center

Paulsell, Patricia R.

Although the use of computer-assisted language instruction software has been mainly limited to grammatical/syntactical drills, the increasing number of language professionals with programming skills is leading to the development of more sophisticated language education programs. This report describes the generation of such a program using the…

Programming languages for synthetic biology.

PubMed

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.

New Version of SeismicHandler (SHX) based on ObsPy

NASA Astrophysics Data System (ADS)

Stammler, Klaus; Walther, Marcus

2016-04-01

The command line version of SeismicHandler (SH), a scientific analysis tool for seismic waveform data developed around 1990, has been redesigned in the recent years, based on a project funded by the Deutsche Forschungsgemeinschaft (DFG). The aim was to address new data access techniques, simplified metadata handling and a modularized software design. As a result the program was rewritten in Python in its main parts, taking advantage of simplicity of this script language and its variety of well developed software libraries, including ObsPy. SHX provides an easy access to waveforms and metadata via arclink and FDSN webservice protocols, also access to event catalogs is implemented. With single commands whole networks or stations within a certain area may be read in, the metadata are retrieved from the servers and stored in a local database. For data processing the large set of SH commands is available, as well as the SH scripting language. Via this SH language scripts or additional Python modules the command set of SHX is easily extendable. The program is open source, tested on Linux operating systems, documentation and download is found at URL "https://www.seismic-handler.org/".

Practical Techniques for Language Design and Prototyping

DTIC Science & Technology

2005-01-01

Practical Techniques for Language Design and Prototyping Mark-Oliver Stehr1 and Carolyn L. Talcott2 1 University of Illinois at Urbana-Champaign...cs.stanford.edu Abstract. Global computing involves the interplay of a vast variety of languages , but practially useful foundations for language ...framework, namely rewriting logic, that allows us to express (1) and (2) and, in addition, language aspects such as concurrency and non-determinism. We

A distributed computing environment with support for constraint-based task scheduling and scientific experimentation

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

Ahrens, J.P.; Shapiro, L.G.; Tanimoto, S.L.

1997-04-01

This paper describes a computing environment which supports computer-based scientific research work. Key features include support for automatic distributed scheduling and execution and computer-based scientific experimentation. A new flexible and extensible scheduling technique that is responsive to a user`s scheduling constraints, such as the ordering of program results and the specification of task assignments and processor utilization levels, is presented. An easy-to-use constraint language for specifying scheduling constraints, based on the relational database query language SQL, is described along with a search-based algorithm for fulfilling these constraints. A set of performance studies show that the environment can schedule and executemore » program graphs on a network of workstations as the user requests. A method for automatically generating computer-based scientific experiments is described. Experiments provide a concise method of specifying a large collection of parameterized program executions. The environment achieved significant speedups when executing experiments; for a large collection of scientific experiments an average speedup of 3.4 on an average of 5.5 scheduled processors was obtained.« less

Software platform for rapid prototyping of NIRS brain computer interfacing techniques.

PubMed

Matthews, Fiachra; Soraghan, Christopher; Ward, Tomas E; Markham, Charles; Pearlmutter, Barak A

2008-01-01

This paper describes the control system of a next-generation optical brain-computer interface (BCI). Using functional near-infrared spectroscopy (fNIRS) as a BCI modality is a relatively new concept, and research has only begun to explore approaches for its implementation. It is necessary to have a system by which it is possible to investigate the signal processing and classification techniques available in the BCI community. Most importantly, these techniques must be easily testable in real-time applications. The system we describe was built using LABVIEW, a graphical programming language designed for interaction with National Instruments hardware. This platform allows complete configurability from hardware control and regulation, testing and filtering in a graphical interface environment.

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.

Learning Through Survival: An Approach to Foreign Language Teaching. A Program Description and Evaluation.

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

Linking Language and Culture in the Language and Cultural Program of the Lauder Institute: The French Perspective.

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…

A Systematic Meta-Analytic Review of Evidence for the Effectiveness of the "Fast ForWord" Language Intervention Program

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…

HAL/S language specification

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.

A Multicultural Awareness Program To Improve Language and Thinking Skills to a Group of Language Deficient Preschool Students.

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

The Dynamics of Language Program Direction. Issues in Language Program Direction: A Series of Annual Volumes.

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

Author Languages, Authoring Systems, and Their Relation to the Changing Focus of Computer-Aided Language Learning.

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…

More than Words, A Way of Life: Language Restoration Programs Reach beyond Tribal Colleges and Universities

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

Microcontroller-based locking in optics experiments.

PubMed

Huang, K; Le Jeannic, H; Ruaudel, J; Morin, O; Laurat, J

2014-12-01

Optics experiments critically require the stable and accurate locking of relative phases between light beams or the stabilization of Fabry-Perot cavity lengths. Here, we present a simple and inexpensive technique based on a stand-alone microcontroller unit to perform such tasks. Easily programmed in C language, this reconfigurable digital locking system also enables automatic relocking and sequential functioning. Different algorithms are detailed and applied to fringe locking and to low- and high-finesse optical cavity stabilization, without the need of external modulations or error signals. This technique can readily replace a number of analog locking systems advantageously in a variety of optical experiments.

Portable parallel portfolio optimization in the Aurora Financial Management System

NASA Astrophysics Data System (ADS)

Laure, Erwin; Moritsch, Hans

2001-07-01

Financial planning problems are formulated as large scale, stochastic, multiperiod, tree structured optimization problems. An efficient technique for solving this kind of problems is the nested Benders decomposition method. In this paper we present a parallel, portable, asynchronous implementation of this technique. To achieve our portability goals we elected the programming language Java for our implementation and used a high level Java based framework, called OpusJava, for expressing the parallelism potential as well as synchronization constraints. Our implementation is embedded within a modular decision support tool for portfolio and asset liability management, the Aurora Financial Management System.

Vehicle System Management Modeling in UML for Ares I

NASA Technical Reports Server (NTRS)

Pearson, Newton W.; Biehn, Bradley A.; Curry, Tristan D.; Martinez, Mario R.

2011-01-01

The Spacecraft & Vehicle Systems Department of Marshall Space Flight Center is responsible for modeling the Vehicle System Management for the Ares I vehicle which was a part of the now canceled Constellation Program. An approach to generating the requirements for the Vehicle System Management was to use the Unified Modeling Language technique to build and test a model that would fulfill the Vehicle System Management requirements. UML has been used on past projects (flight software) in the design phase of the effort but this was the first attempt to use the UML technique from a top down requirements perspective.

Applications of NLP Techniques to Computer-Assisted Authoring of Test Items for Elementary Chinese

ERIC Educational Resources Information Center

Liu, Chao-Lin; Lin, Jen-Hsiang; Wang, Yu-Chun

2010-01-01

The authors report an implemented environment for computer-assisted authoring of test items and provide a brief discussion about the applications of NLP techniques for computer assisted language learning. Test items can serve as a tool for language learners to examine their competence in the target language. The authors apply techniques for…

Linear combination reading program for capture gamma rays

USGS Publications Warehouse

Tanner, Allan B.

1971-01-01

This program computes a weighting function, Qj, which gives a scalar output value of unity when applied to the spectrum of a desired element and a minimum value (considering statistics) when applied to spectra of materials not containing the desired element. Intermediate values are obtained for materials containing the desired element, in proportion to the amount of the element they contain. The program is written in the BASIC language in a format specific to the Hewlett-Packard 2000A Time-Sharing System, and is an adaptation of an earlier program for linear combination reading for X-ray fluorescence analysis (Tanner and Brinkerhoff, 1971). Following the program is a sample run from a study of the application of the linear combination technique to capture-gamma-ray analysis for calcium (report in preparation).

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?

PubMed Central

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

Second Language Word Learning through Repetition and Imitation: Functional Networks as a Function of Learning Phase and Language Distance.

PubMed

Ghazi-Saidi, Ladan; Ansaldo, Ana Ines

2017-01-01

Introduction and Aim : Repetition and imitation are among the oldest second language (L2) teaching approaches and are frequently used in the context of L2 learning and language therapy, despite some heavy criticism. Current neuroimaging techniques allow the neural mechanisms underlying repetition and imitation to be examined. This fMRI study examines the influence of verbal repetition and imitation on network configuration. Integration changes within and between the cognitive control and language networks were studied, in a pair of linguistically close languages (Spanish and French), and compared to our previous work on a distant language pair (Ghazi-Saidi et al., 2013). Methods : Twelve healthy native Spanish-speaking (L1) adults, and 12 healthy native Persian-speaking adults learned 130 new French (L2) words, through a computerized audiovisual repetition and imitation program. The program presented colored photos of objects. Participants were instructed to look at each photo and pronounce its name as closely as possible to the native template (imitate). Repetition was encouraged as many times as necessary to learn the object's name; phonological cues were provided if necessary. Participants practiced for 15 min, over 30 days, and were tested while naming the same items during fMRI scanning, at week 1 (shallow learning phase) and week 4 (consolidation phase) of training. To compare this set of data with our previous work on Persian speakers, a similar data analysis plan including accuracy rates (AR), response times (RT), and functional integration values for the language and cognitive control network at each measure point was included, with further L1-L2 direct comparisons across the two populations. Results and Discussion : The evidence shows that learning L2 words through repetition induces neuroplasticity at the network level. Specifically, L2 word learners showed increased network integration after 3 weeks of training, with both close and distant language pairs. Moreover, higher network integration was observed in the learners with the close language pair, suggesting that repetition effects on network configuration vary as a function of task complexity.

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.

Defense Contracting: Actions Needed to Explore Additional Opportunities to Gain Efficiencies in Acquiring Foreign Language Support

DTIC Science & Technology

2013-02-25

Directive 5160.41E, Defense Language Program . 10GAO-11-456. Page 5 GAO-13-251R Defense Contracting types of foreign language support that DOD has acquired...Language Transformation Roadmap, (January 2005), and Department of Defense Directive 5160.41E, Defense Language Program . Page 15 GAO-13-251R Defense...examines the use of public funds; evaluates federal programs and policies; and provides analyses, recommendations, and other assistance to help

The PlusCal Algorithm Language

NASA Astrophysics Data System (ADS)

Lamport, Leslie

Algorithms are different from programs and should not be described with programming languages. The only simple alternative to programming languages has been pseudo-code. PlusCal is an algorithm language that can be used right now to replace pseudo-code, for both sequential and concurrent algorithms. It is based on the TLA + specification language, and a PlusCal algorithm is automatically translated to a TLA + specification that can be checked with the TLC model checker and reasoned about formally.

A Debate over the Teaching of a Legacy Programming Language in an Information Technology (IT) Program

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…

Cross-Platform Development Techniques for Mobile Devices

DTIC Science & Technology

2013-09-01

many other platforms including Windows, Blackberry , and Symbian. Each of these platforms has their own distinct architecture and programming language...sales of iPhones and the increasing use of Android-based devices have forced less successful competitors such as Microsoft, Blackberry , and Symbian... Blackberry and Windows Phone are planned [12] in this tool’s attempt to reuse code with a unified JavaScript API while at the same time supporting unique

Mobile Language Study

DTIC Science & Technology

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

A Program Evaluation of the Language Lab™: Response to Intervention Program for Teaching Grammar, Vocabulary, and Storytelling

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…

Algunos aspectos sicolinguisticos de la Instruccion Programada en el laboratorio de idiomas (Some Psycholinguistic Aspects of Programed Instruction in the Language Laboratory).

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.

Beyond Course Availability: An Investigation into Order and Concurrency Effects of Undergraduate Programming Courses on Learning.

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…

Implementing Two-Way Dual-Language Immersion Programs: Classroom Insights from an Urban District. Research Brief. RB-9921

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…

Race, Power, and Equity in a Multiethnic Urban Elementary School with a Dual-Language "Strand" Program

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…

Achieving Academic Control in Two Languages: Drawing on the Psychology of Language Learning in Considering the Past, the Present, and Prospects for the Future

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

A joint university-government technical editing program

NASA Technical Reports Server (NTRS)

Stohrer, Freda F.; Pinelli, Thomas E.

1978-01-01

The NASA Langley Research Center (LaRC) and Old Dominion University have designed a mutually useful technical editing program. A university team made up of an English instructor and two graduate students - one from English, one from engineering - works with a senior editor from LaRC to prepare technical reports for publication. A round-robin technique gives the university team editorial commentary from both language and technical specialists; the senior editor from LaRC supervises reports through final publication. To date, the system has provided LaRC with a respectable product and university students with valuable on-the-job training.

Cognitive characteristics of learning Java, an object-oriented programming language

NASA Astrophysics Data System (ADS)

White, Garry Lynn

Industry and Academia are moving from procedural programming languages (e.g., COBOL) to object-oriented programming languages, such as Java for the Internet. Past studies in the cognitive aspects of programming have focused primarily on procedural programming languages. Some of the languages used have been Pascal, C, Basic, FORTAN, and COBOL. Object-oriented programming (OOP) represents a new paradigm for computing. Industry is finding that programmers are having difficulty shifting to this new programming paradigm. This instruction in OOP is currently starting in colleges and universities across the country. What are the cognitive aspects for this new OOP language Java? When is a student developmentally ready to handle the cognitive characteristics of the OOP language Java? Which cognitive teaching style is best for this OOP language Java? Questions such as the aforementioned are the focus of this research Such research is needed to improve understanding of the learning process and identify students' difficulties with OOP methods. This can enhance academic teaching and industry training (Scholtz, 1993; Sheetz, 1997; Rosson, 1990). Cognitive development as measured by the Propositional Logic Test, cognitive style as measured by the Hemispheric Mode Indicator, and physical hemispheric dominance as measured by a self-report survey were obtained from thirty-six university students studying Java programming. Findings reveal that physical hemispheric dominance is unrelated to cognitive and programming language variables. However, both procedural and object oriented programming require Piaget's formal operation cognitive level as indicated by the Propositional Logic Test. This is consistent with prior research A new finding is that object oriented programming also requires formal operation cognitive level. Another new finding is that object oriented programming appears to be unrelated to hemispheric cognitive style as indicated by the Hemispheric Mode Indicator (HMI). This research suggests that object oriented programming is hemispheric thinking style friendly, while procedural programming is left hemispheric cognitive style. The conclusion is that cognitive characteristics are not the cause for the difficulty in shifting from procedural to this new programming paradigm of object oriented programming. An alternative possibility to the difficulty is proactive interference. Prior learning of procedural programming makes it harder to learning object oriented programming. Further research is needed to determine if proactive interference is the cause for the difficulty in shifting from procedural programming to object oriented programming.

A Proposal for a CA-Integrated English Language Teacher Education Program in Turkey

ERIC Educational Resources Information Center

Sert, Olcay

2010-01-01

This study proposes a comprehensive framework for a Conversation Analysis (CA) informed English language teacher education program in Turkey. By reviewing recent studies in CA, Critical Reflective Practice, Teacher Language Awareness and language teacher education in general; the author calls for a more effective language teacher education program…

Language and Man: An Exploratory Foreign-Language Program for Grade Six.

ERIC Educational Resources Information Center

Bartos, Marilyn; And Others

This curriculum guide presents a program introducing sixth-grade children to the study of language, of languages other than English, and specifically of French. An initial section includes a variety of activities designed to interest students in the study of language, its peculiarties, complexities, and importance in life. Prior to the first…

Teaching English as a Foreign Language in Primary School. Case Studies in TESOL Practice Series

ERIC Educational Resources Information Center

McCloskey, Mary Lou, Ed.; Orr, Janet, Ed.; Dolitsky, Marlene, Ed.

2006-01-01

Although language specialists do not always agree about the best age at which to introduce English language instruction, policy changes are increasingly mandating earlier introduction of English in foreign language (EFL) settings worldwide. In this volume, language educators and program implementers from various countries describe programs and…

A Case Study of Dual Language Program Administrators: The Teachers We Need

ERIC Educational Resources Information Center

Lachance, Joan R.

2017-01-01

In support of growing numbers of dual language programs nation-wide, dual language school administrators seek to find teachers who are specifically prepared to work with dual language learners for additive biliteracy. For this research the author utilized a case study design to explore practicing dual language administrators' perspectives…

Programming languages for circuit design.

PubMed

Pedersen, Michael; Yordanov, Boyan

2015-01-01

This chapter provides an overview of a programming language for Genetic Engineering of Cells (GEC). A GEC program specifies a genetic circuit at a high level of abstraction through constraints on otherwise unspecified DNA parts. The GEC compiler then selects parts which satisfy the constraints from a given parts database. GEC further provides more conventional programming language constructs for abstraction, e.g., through modularity. The GEC language and compiler is available through a Web tool which also provides functionality, e.g., for simulation of designed circuits.

76 FR 18538 - Applications for New Awards; National Professional Development Program

Federal Register 2010, 2011, 2012, 2013, 2014

2011-04-04

... DEPARTMENT OF EDUCATION [CFDA 84.195N] Applications for New Awards; National Professional Development Program AGENCY: Office of English Language Acquisition, Language Enhancement, and Academic... Language Acquisition, Language Enhancement and Academic Achievement for Limited English Proficient Students...

Towards Implementation of a Generalized Architecture for High-Level Quantum Programming Language

NASA Astrophysics Data System (ADS)

Ameen, El-Mahdy M.; Ali, Hesham A.; Salem, Mofreh M.; Badawy, Mahmoud

2017-08-01

This paper investigates a novel architecture to the problem of quantum computer programming. A generalized architecture for a high-level quantum programming language has been proposed. Therefore, the programming evolution from the complicated quantum-based programming to the high-level quantum independent programming will be achieved. The proposed architecture receives the high-level source code and, automatically transforms it into the equivalent quantum representation. This architecture involves two layers which are the programmer layer and the compilation layer. These layers have been implemented in the state of the art of three main stages; pre-classification, classification, and post-classification stages respectively. The basic building block of each stage has been divided into subsequent phases. Each phase has been implemented to perform the required transformations from one representation to another. A verification process was exposed using a case study to investigate the ability of the compiler to perform all transformation processes. Experimental results showed that the efficacy of the proposed compiler achieves a correspondence correlation coefficient about R ≈ 1 between outputs and the targets. Also, an obvious achievement has been utilized with respect to the consumed time in the optimization process compared to other techniques. In the online optimization process, the consumed time has increased exponentially against the amount of accuracy needed. However, in the proposed offline optimization process has increased gradually.

A comparative study of programming languages for next-generation astrodynamics systems

NASA Astrophysics Data System (ADS)

Eichhorn, Helge; Cano, Juan Luis; McLean, Frazer; Anderl, Reiner

2018-03-01

Due to the computationally intensive nature of astrodynamics tasks, astrodynamicists have relied on compiled programming languages such as Fortran for the development of astrodynamics software. Interpreted languages such as Python, on the other hand, offer higher flexibility and development speed thereby increasing the productivity of the programmer. While interpreted languages are generally slower than compiled languages, recent developments such as just-in-time (JIT) compilers or transpilers have been able to close this speed gap significantly. Another important factor for the usefulness of a programming language is its wider ecosystem which consists of the available open-source packages and development tools such as integrated development environments or debuggers. This study compares three compiled languages and three interpreted languages, which were selected based on their popularity within the scientific programming community and technical merit. The three compiled candidate languages are Fortran, C++, and Java. Python, Matlab, and Julia were selected as the interpreted candidate languages. All six languages are assessed and compared to each other based on their features, performance, and ease-of-use through the implementation of idiomatic solutions to classical astrodynamics problems. We show that compiled languages still provide the best performance for astrodynamics applications, but JIT-compiled dynamic languages have reached a competitive level of speed and offer an attractive compromise between numerical performance and programmer productivity.

25 CFR 39.136 - What is the WSU for Language Development programs?

Code of Federal Regulations, 2010 CFR

2010-04-01

... 25 Indians 1 2010-04-01 2010-04-01 false What is the WSU for Language Development programs? 39.136 Section 39.136 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR EDUCATION THE INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.136 What is the WSU...

Standing Strong: Maloney Interdistrict Magnet School Japanese Language and Culture Program

ERIC Educational Resources Information Center

Haxhi, Jessica; Yamashita-Iverson, Kazumi

2009-01-01

Maloney Interdistrict Magnet School (MIMS) is the only elementary school in Waterbury that has a world language program and is one of only two elementary Japanese programs in Connecticut. In the past 15 years, more than 1500 students have participated in its Japanese Language and Culture (JLC) Program in grades Prekindergarten through 5th. The JLC…

Pre-Service Teachers' Uses of and Barriers from Adopting Computer-Assisted Language Learning (CALL) Programs

ERIC Educational Resources Information Center

Samani, Ebrahim; Baki, Roselan; Razali, Abu Bakar

2014-01-01

Success in implementation of computer-assisted language learning (CALL) programs depends on the teachers' understanding of the roles of CALL programs in education. Consequently, it is also important to understand the barriers teachers face in the use of computer-assisted language learning (CALL) programs. The current study was conducted on 14…

How the strengths of Lisp-family languages facilitate building complex and flexible bioinformatics applications.

PubMed

Khomtchouk, Bohdan B; Weitz, Edmund; Karp, Peter D; Wahlestedt, Claes

2018-05-01

We present a rationale for expanding the presence of the Lisp family of programming languages in bioinformatics and computational biology research. Put simply, Lisp-family languages enable programmers to more quickly write programs that run faster than in other languages. Languages such as Common Lisp, Scheme and Clojure facilitate the creation of powerful and flexible software that is required for complex and rapidly evolving domains like biology. We will point out several important key features that distinguish languages of the Lisp family from other programming languages, and we will explain how these features can aid researchers in becoming more productive and creating better code. We will also show how these features make these languages ideal tools for artificial intelligence and machine learning applications. We will specifically stress the advantages of domain-specific languages (DSLs): languages that are specialized to a particular area, and thus not only facilitate easier research problem formulation, but also aid in the establishment of standards and best programming practices as applied to the specific research field at hand. DSLs are particularly easy to build in Common Lisp, the most comprehensive Lisp dialect, which is commonly referred to as the 'programmable programming language'. We are convinced that Lisp grants programmers unprecedented power to build increasingly sophisticated artificial intelligence systems that may ultimately transform machine learning and artificial intelligence research in bioinformatics and computational biology.

Adding Concrete Syntax to a Prolog-Based Program Synthesis System

NASA Technical Reports Server (NTRS)

Fischer, Bernd; Visser, Eelco

2004-01-01

Program generation and transformation systems work on two language levels, the object-level (i e., the language of the manipulated programs), and the meta-level (i.e., the implementation language of the system itself). The meta-level representations of object-level program fragments are usually built in an essentially syntax-free fashion using the operations provided by the meta-language. However, syntax matters and a large conceptual distance between the two languages makes it difficult to maintain and extend such systems. Here we describe how an existing Prolog-based system can gradually be retrofitted with concrete object-level syntax, thus shrinking this distance.

Advanced software development workstation. Engineering scripting language graphical editor: DRAFT design document

NASA Technical Reports Server (NTRS)

1991-01-01

The Engineering Scripting Language (ESL) is a language designed to allow nonprogramming users to write Higher Order Language (HOL) programs by drawing directed graphs to represent the program and having the system generate the corresponding program in HOL. The ESL system supports user generation of HOL programs through the manipulation of directed graphs. The components of this graphs (nodes, ports, and connectors) are objects each of which has its own properties and property values. The purpose of the ESL graphical editor is to allow the user to create or edit graph objects which represent programs.

An experimental comparative analyse between three low capacity PLCs

NASA Astrophysics Data System (ADS)

Popa, G. N.; Diniş, C. M.; lagăr, A.; Popa, I.

2017-01-01

PLCs are used increasingly more often in industrial applications and beyond. PLCs from different companies involved different programming languages. Some of the PLCs can be programmed in all languages, while others do not. For three types of PLCs was made an application for a traffic light with priority. PLCs usually have a general and a special set of instructions that only some of these are found from a PLC to another. Programs were made with specific instruction set of respectively PLC. The programs were carried out in three languages. For a case study, it makes a comparative analysis between three programming languages.

A Component Approach to Collaborative Scientific Software Development: Tools and Techniques Utilized by the Quantum Chemistry Science Application Partnership

DOE PAGES

Kenny, Joseph P.; Janssen, Curtis L.; Gordon, Mark S.; ...

2008-01-01

Cutting-edge scientific computing software is complex, increasingly involving the coupling of multiple packages to combine advanced algorithms or simulations at multiple physical scales. Component-based software engineering (CBSE) has been advanced as a technique for managing this complexity, and complex component applications have been created in the quantum chemistry domain, as well as several other simulation areas, using the component model advocated by the Common Component Architecture (CCA) Forum. While programming models do indeed enable sound software engineering practices, the selection of programming model is just one building block in a comprehensive approach to large-scale collaborative development which must also addressmore » interface and data standardization, and language and package interoperability. We provide an overview of the development approach utilized within the Quantum Chemistry Science Application Partnership, identifying design challenges, describing the techniques which we have adopted to address these challenges and highlighting the advantages which the CCA approach offers for collaborative development.« less

Runtime Verification of C Programs

NASA Technical Reports Server (NTRS)

Havelund, Klaus

2008-01-01

We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from the program. The state machine language has been inspired by a graphical state machine language RCAT recently developed at the Jet Propulsion Laboratory, as an alternative to using Linear Temporal Logic (LTL) for requirements capture. Transitions between states are labeled with abstract event names and Boolean expressions over such. The abstract events are connected to code fragments using an aspect-oriented pointcut language similar to ASPECTJ's or ASPECTC's pointcut language. The system is implemented in the C analysis and transformation package CIL, and is programmed in OCAML, the implementation language of CIL. The work is closely related to the notion of stateful aspects within aspect-oriented programming, where pointcut languages are extended with temporal assertions over the execution trace.

Processing sequence annotation data using the Lua programming language.

PubMed

Ueno, Yutaka; Arita, Masanori; Kumagai, Toshitaka; Asai, Kiyoshi

2003-01-01

The data processing language in a graphical software tool that manages sequence annotation data from genome databases should provide flexible functions for the tasks in molecular biology research. Among currently available languages we adopted the Lua programming language. It fulfills our requirements to perform computational tasks for sequence map layouts, i.e. the handling of data containers, symbolic reference to data, and a simple programming syntax. Upon importing a foreign file, the original data are first decomposed in the Lua language while maintaining the original data schema. The converted data are parsed by the Lua interpreter and the contents are stored in our data warehouse. Then, portions of annotations are selected and arranged into our catalog format to be depicted on the sequence map. Our sequence visualization program was successfully implemented, embedding the Lua language for processing of annotation data and layout script. The program is available at http://staff.aist.go.jp/yutaka.ueno/guppy/.

A View into Successful Teaching Techniques: Teaching Malay Language as a Foreign Language in Malaysia

ERIC Educational Resources Information Center

Baharudin, Mazlina; Sadik, Azlina Md

2016-01-01

This paper will highlight successful teaching techniques used in class in teaching the Malay Language 1 course in Universiti Sains Malaysia (USM). The course is to equip foreign students for their studies and also as means of basic communication with the locals in Malaysia. In Malaysia, the emphasis in Malay language teaching are focused to…

Training Secondary School Teachers in Instructional Language Modification Techniques to Support Adolescents with Language Impairment: A Randomized Controlled Trial

ERIC Educational Resources Information Center

Starling, Julia; Munro, Natalie; Togher, Leanne; Arciuli, Joanne

2012-01-01

Purpose: This study evaluated the efficacy of a collaborative intervention where a speech-language pathologist (SLP) trained mainstream secondary school teachers to make modifications to their oral and written instructional language. The trained teachers' uptake of techniques in their whole-class teaching practices and the impact this had on the…

Exploring the Language of Films.

ERIC Educational Resources Information Center

Roller, George E.

A film study course written for the Dade County, Fla. public schools is described which covers techniques of motion pictures and their historical development. Techniques include the "language of pictures" (distance shots, angle shots, color, lighting, arrangement), the "language of motion" (camera movement, subject movement),…

Exploring the Synergy between Science Literacy and Language Literacy with English Language Learners: Lessons Learned within a Sustained Professional Development Program

ERIC Educational Resources Information Center

Carrejo, David J.; Reinhartz, Judy

2012-01-01

Thirty-five elementary teachers participated in a yearlong professional development (PD) program whose goal was to foster science content learning while promoting language literacy for English Language Learners (ELL). The researchers utilized an explanatory design methodology to determine the degree to which science and language literacy…

Exploring the US Language Flagship Program: Professional Competence in a Second Language by Graduation

ERIC Educational Resources Information Center

Murphy, Dianna, Ed.; Evans-Romaine, Karen, Ed.

2016-01-01

A number of reports in the US have highlighted the country's need for improved second language skills for both national security and economic competitiveness. The Language Flagship program, launched in 2002, aims to raise expectations regarding language proficiency levels at the post-secondary level and to address structural gaps in the curricula…

Language Arts for Today's Children. NCTE Curriculum Series, Volume Two.

ERIC Educational Resources Information Center

National Council of Teachers of English, Champaign, IL. Commission on the English Curriculum.

This volume on elementary language programs is divided into four related parts. Part 1 discusses the sources of any effective language program: an understanding of the child's need for language, a knowledge of child development, and an awareness of the continuity essential to growth in language. Part 2 treats the main areas of the language…

Staff Report to the Senior Department Official on Recognition Compliance Issues. Recommendation Page: American Speech-Language-Hearing Association

ERIC Educational Resources Information Center

US Department of Education, 2010

2010-01-01

The American Speech-Language-Hearing Association, Council on Academic Accreditation in Audiology and Speech-Language Pathology (CAA) is a national accrediting agency of graduate education programs in audiology or speech-language pathology. The CAA currently accredits or or preaccredits 319 programs (247 in speech-language pathology and 72 in…

A North and Far North Queensland Initiative: Rethinking the "Why" When Promoting Languages Education

ERIC Educational Resources Information Center

Boulard, Florence

2015-01-01

Despite the recent Australian Government commitment to supporting schools in growing students into global citizens, language educators cannot rely on this alone to attract new language students. The Young Language Ambassador Program is a new initiative that started in August 2014. The Young Language Ambassador Program is a partnership between…

Ada and the rapid development lifecycle

NASA Technical Reports Server (NTRS)

Deforrest, Lloyd; Gref, Lynn

1991-01-01

JPL is under contract, through NASA, with the US Army to develop a state-of-the-art Command Center System for the US European Command (USEUCOM). The Command Center System will receive, process, and integrate force status information from various sources and provide this integrated information to staff officers and decision makers in a format designed to enhance user comprehension and utility. The system is based on distributed workstation class microcomputers, VAX- and SUN-based data servers, and interfaces to existing military mainframe systems and communication networks. JPL is developing the Command Center System utilizing an incremental delivery methodology called the Rapid Development Methodology with adherence to government and industry standards including the UNIX operating system, X Windows, OSF/Motif, and the Ada programming language. Through a combination of software engineering techniques specific to the Ada programming language and the Rapid Development Approach, JPL was able to deliver capability to the military user incrementally, with comparable quality and improved economies of projects developed under more traditional software intensive system implementation methodologies.

ASTEC and MODEL: Controls software development at Goddard Space Flight Center

NASA Technical Reports Server (NTRS)

Downing, John P.; Bauer, Frank H.; Surber, Jeffrey L.

1993-01-01

The ASTEC (Analysis and Simulation Tools for Engineering Controls) software is under development at the Goddard Space Flight Center (GSFC). The design goal is to provide a wide selection of controls analysis tools at the personal computer level, as well as the capability to upload compute-intensive jobs to a mainframe or supercomputer. In the last three years the ASTEC (Analysis and Simulation Tools for Engineering Controls) software has been under development. ASTEC is meant to be an integrated collection of controls analysis tools for use at the desktop level. MODEL (Multi-Optimal Differential Equation Language) is a translator that converts programs written in the MODEL language to FORTRAN. An upgraded version of the MODEL program will be merged into ASTEC. MODEL has not been modified since 1981 and has not kept with changes in computers or user interface techniques. This paper describes the changes made to MODEL in order to make it useful in the 90's and how it relates to ASTEC.

A Computer Language at the Crossroads: Logo.

ERIC Educational Resources Information Center

Thornburg, David D.

1986-01-01

Reviews Logo programming language's developmental history, including Papert's vision, creation of LISP, and evolution of Logo from LISP; discusses reasons for Logo not becoming a commonplace programming language; describes Logo program design and its utility for serious programmers; and lists sources of further information on Logo. (MBR)

A Compiler and Run-time System for Network Programming Languages

DTIC Science & Technology

2012-01-01

A Compiler and Run-time System for Network Programming Languages Christopher Monsanto Princeton University Nate Foster Cornell University Rob...Foster, R. Harrison, M. Freedman, C. Monsanto , J. Rexford, A. Story, and D. Walker. Frenetic: A network programming language. In ICFP, Sep 2011. [10] A

Ada--Programming Language of the Future.

ERIC Educational Resources Information Center

Rudd, David

1983-01-01

Ada is a programing language developed for the Department of Defense, with a registered trademark. It was named for Ada Augusta, coworker of Charles Babbage and the world's first programer. The Department of Defense hopes to prevent variations and to establish Ada as a consistent, standardized language. (MNS)

Introduction to Foreign Languages and Cultures: A New Course to Stimulate Second Language Learning in the Public Schools.

ERIC Educational Resources Information Center

Watkins, Stephen A.

1978-01-01

Olympic View Middle School has established a program designed to stimulate interest in foreign languages and cultures. The course is intended as an introduction to foreign language and culture study, and is required for all 7th and 8th grade students. Program 1 of the course is taught during one semester of 7th grade, Program 2 during one semester…

Digital techniques for processing Landsat imagery

NASA Technical Reports Server (NTRS)

Green, W. B.

1978-01-01

An overview of the basic techniques used to process Landsat images with a digital computer, and the VICAR image processing software developed at JPL and available to users through the NASA sponsored COSMIC computer program distribution center is presented. Examples of subjective processing performed to improve the information display for the human observer, such as contrast enhancement, pseudocolor display and band rationing, and of quantitative processing using mathematical models, such as classification based on multispectral signatures of different areas within a given scene and geometric transformation of imagery into standard mapping projections are given. Examples are illustrated by Landsat scenes of the Andes mountains and Altyn-Tagh fault zone in China before and after contrast enhancement and classification of land use in Portland, Oregon. The VICAR image processing software system which consists of a language translator that simplifies execution of image processing programs and provides a general purpose format so that imagery from a variety of sources can be processed by the same basic set of general applications programs is described.

Annotated Bibliography of Materials for Elementary Foreign Language Programs.

ERIC Educational Resources Information Center

Dobb, Fred

An annotated bibliography contains about 70 citations of instructional materials and materials concerning curriculum development for elementary school foreign language programs. Citations are included for Arabic, classical languages, French, German, Hebrew, Italian, Japanese, and Spanish. Items on exploratory language courses and general works on…

Peterson's Summer Study Abroad: A Guide to Summer Academic and Language Programs. First Edition.

ERIC Educational Resources Information Center

Peterson's Guides, Inc., Princeton, NJ.

This guide provides descriptions of over 900 summer academic and language study-abroad programs in 80 countries that range from 1-week language study courses to full-summer university programs. An introductory section provides general information on study abroad programs and the use of the guide. The bulk of the guide consists of individual…

Scheduling language and algorithm development study. Volume 1: Study summary and overview

NASA Technical Reports Server (NTRS)

1974-01-01

A high level computer programming language and a program library were developed to be used in writing programs for scheduling complex systems such as the space transportation system. The objectives and requirements of the study are summarized and unique features of the specified language and program library are described and related to the why of the objectives and requirements.

On representing the prognostic value of continuous gene expression biomarkers with the restricted mean survival curve.

PubMed

Eng, Kevin H; Schiller, Emily; Morrell, Kayla

2015-11-03

Researchers developing biomarkers for cancer prognosis from quantitative gene expression data are often faced with an odd methodological discrepancy: while Cox's proportional hazards model, the appropriate and popular technique, produces a continuous and relative risk score, it is hard to cast the estimate in clear clinical terms like median months of survival and percent of patients affected. To produce a familiar Kaplan-Meier plot, researchers commonly make the decision to dichotomize a continuous (often unimodal and symmetric) score. It is well known in the statistical literature that this procedure induces significant bias. We illustrate the liabilities of common techniques for categorizing a risk score and discuss alternative approaches. We promote the use of the restricted mean survival (RMS) and the corresponding RMS curve that may be thought of as an analog to the best fit line from simple linear regression. Continuous biomarker workflows should be modified to include the more rigorous statistical techniques and descriptive plots described in this article. All statistics discussed can be computed via standard functions in the Survival package of the R statistical programming language. Example R language code for the RMS curve is presented in the appendix.

Cochlear Implantation in the Very Young Child: Issues Unique to the Under-1 Population

PubMed Central

Cosetti, Maura; Roland, J. Thomas

2010-01-01

Since the advent of cochlear implantation, candidacy criteria have slowly broadened to include increasingly younger patients. Spurred by evidence demonstrating both perioperative safety and significantly increased speech and language benefit with early auditory intervention, children younger than 12 months of age are now being successfully implanted at many centers. This review highlights the unique challenges involved in cochlear implantation in the very young child, specifically diagnosis and certainty of testing, anesthetic risk, surgical technique, intraoperative testing and postoperative programming, long-term safety, development of receptive and expressive language, and outcomes of speech perception. Overall, the current body of literature indicates that cochlear implantation prior to 1 year of age is both safe and efficacious. PMID:20483813

Automatic recognition of vector and parallel operations in a higher level language

NASA Technical Reports Server (NTRS)

Schneck, P. B.

1971-01-01

A compiler for recognizing statements of a FORTRAN program which are suited for fast execution on a parallel or pipeline machine such as Illiac-4, Star or ASC is described. The technique employs interval analysis to provide flow information to the vector/parallel recognizer. Where profitable the compiler changes scalar variables to subscripted variables. The output of the compiler is an extension to FORTRAN which shows parallel and vector operations explicitly.

Elementary and Advanced Computer Projects for the Physics Classroom and Laboratory

DTIC Science & Technology

1992-12-01

are SPF/PC, MS Word, n3, Symphony, Mathematics, and FORTRAN. The authors’ programs assist data analysis in particular laboratory experiments and make...assist data analysis in particular laboratory experiments and make use of the Monte Carlo and other numerical techniques in computer simulation and...the language of science and engineering in industry and government laboratories (alth..4h C is becoming a powerful competitor ). RM/FORTRAN (cost $400

Report on Ada (Trademark) Program Libraries Workshop Held at Monterey, California on November 1-3, 1983,

DTIC Science & Technology

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

Presurgical language fMRI: Clinical practices and patient outcomes in epilepsy surgical planning.

PubMed

Benjamin, Christopher F A; Li, Alexa X; Blumenfeld, Hal; Constable, R Todd; Alkawadri, Rafeed; Bickel, Stephan; Helmstaedter, Christoph; Meletti, Stefano; Bronen, Richard; Warfield, Simon K; Peters, Jurriaan M; Reutens, David; Połczyńska, Monika; Spencer, Dennis D; Hirsch, Lawrence J

2018-03-12

The goal of this study was to document current clinical practice and report patient outcomes in presurgical language functional MRI (fMRI) for epilepsy surgery. Epilepsy surgical programs worldwide were surveyed as to the utility, implementation, and efficacy of language fMRI in the clinic; 82 programs responded. Respondents were predominantly US (61%) academic programs (85%), and evaluated adults (44%), adults and children (40%), or children only (16%). Nearly all (96%) reported using language fMRI. Surprisingly, fMRI is used to guide surgical margins (44% of programs) as well as lateralize language (100%). Sites using fMRI for localization most often use a distance margin around activation of 10mm. While considered useful, 56% of programs reported at least one instance of disagreement with other measures. Direct brain stimulation typically confirmed fMRI findings (74%) when guiding margins, but instances of unpredicted decline were reported by 17% of programs and 54% reported unexpected preservation of function. Programs reporting unexpected decline did not clearly differ from those which did not. Clinicians using fMRI to guide surgical margins do not typically map known language-critical areas beyond Broca's and Wernicke's. This initial data shows many clinical teams are confident using fMRI not only for language lateralization but also to guide surgical margins. Reported cases of unexpected language preservation when fMRI activation is resected, and cases of language decline when it is not, emphasize a critical need for further validation. Comprehensive studies comparing commonly-used fMRI paradigms to predict stimulation mapping and post-surgical language decline remain of high importance. © 2018 The Authors Human Brain Mapping Published by Wiley Periodicals, Inc.

PILOT: A Programming Language for Beginners.

ERIC Educational Resources Information Center

Schnorr, Janice M.

The presentation describes PILOT (Programmed Inquiry, Learning or Teaching), a special programing language easy for beginners to learn and available for several brands of microcomputers. PILOT is explained to contain substantially fewer commands than most other languages and to be written in an easy to understand manner. Edit commands and their…

An Analysis of Published Preschool Language Programs.

ERIC Educational Resources Information Center

Bartlett, Elsa Jaffe

For purposes of analysis, preschool language programs can be sorted into four general categories according to the dominant type of learning activity (1) Pattern practice, (2) Cognitive verbalization, (3) Discussion, (4) Role play. Along with definitions of language, the program types differ in the kinds of interactions which occur between teacher…

The Language & International Trade Program at Clemson University.

ERIC Educational Resources Information Center

Suarez, Jose I.

Clemson University (South Carolina) has developed an undergraduate Language and International Trade program designed to train students to meet the needs of American firms doing business overseas. Program aims are that graduates know one foreign language, be attuned to cultural differences, have a business training foundation, and have experience…

77 FR 72832 - Applications for New Awards; Native American and Alaska Native Children in School Program

Federal Register 2010, 2011, 2012, 2013, 2014

2012-12-06

... School Program AGENCY: Office of English Language Acquisition, Department of Education. Overview... participation in language instruction educational programs. Projects funded under the Native American and Alaska... Act of 1965, as amended (ESEA), may support the teaching and studying of Native American languages...

Incidental Foreign-Language Acquisition by Children Watching Subtitled Television Programs

ERIC Educational Resources Information Center

Ina, Lekkai

2014-01-01

Series of international studies have shown that subtitled television programs provide a rich context for foreign language acquisition. This study investigated whether incidental language acquisition occurs from watching a television program with/without subtitles. Children in the experimental conditions watch: (a) a 15 minute snapshot of a well…

Using Problem Solving to Teach a Programming Language.

ERIC Educational Resources Information Center

Milbrandt, George

1995-01-01

Computer studies courses should incorporate as many computer concepts and programming language experiences as possible. A gradual increase in problem difficulty will help the student to understand various computer concepts, and the programming language's syntax and structure. A sidebar provides two examples of how to establish a learning…

A Program for Reading and Language Development. An Adopter's Guide.

ERIC Educational Resources Information Center

Carter, Nancy Hay

"Project SAILS" (Symbolic and Innovative Language Systems) is a special program developed by the Portland, Oregon, public schools for training teachers to work with children who have learning and reading difficulties. Teachers are instructed in the use of the Monterey Reading and Language Programs, highly structured and highly…

Professional Development Programs and English Language Instructors: A Critical-Postmodern Study

ERIC Educational Resources Information Center

Arikan, Arda

2004-01-01

In this completed qualitative dissertation research, the nature of the relationship between professional development programs (in-service training programs) and English language instructors was studied with a critical postmodern lense focusing on the narratives of nine English language instructors on their experiences in their professional…

Professional Development Programs and English Language Instructors: A Critical-Postmodern Study

ERIC Educational Resources Information Center

Arikan, Arda

2004-01-01

In this completed qualitative dissertation research, the nature of the relationship between professional development programs (in-service training programs) and English language instructors was studied with a critical postmodern lens focusing on the narratives of nine English language instructors on their experiences in their professional…

Closing the Gap Between Specification and Programming: VDM++ and SCALA

NASA Technical Reports Server (NTRS)

Havelund, Klaus

2011-01-01

We argue that a modern programming language such as Scala offers a level of succinctness, which makes it suitable for program and systems specification as well as for high-level programming. We illustrate this by comparing the language with the Vdm++ specification language. The comparison also identifies areas where Scala perhaps could be improved, inspired by Vdm++. We furthermore illustrate Scala's potential as a specification language by augmenting it with a combination of parameterized state machines and temporal logic, defined as a library, thereby forming an expressive but simple runtime verification framework.

An Analysis of Application Generators.

DTIC Science & Technology

1983-03-01

query language OUEL in the programming language C, THESEUS [20], which embeds relational operators in the language Euclid. Schmidt [21] reports some...34The Design and Implementation of INGRES," ACM-TODS, Vol. 1. No. 3, 1976,. 33 £ 20. Shopiro,J.E., " THESEUS -A Programming Language for Relational

Colorado Model Content Standards: Foreign Language.

ERIC Educational Resources Information Center

Colorado State Dept. of Education, Denver.

The model course content standards for foreign language instruction in Colorado's public schools, K-12, provide guidelines, not curriculum, for school districts to design language programs. An introductory section presents some basic considerations in program design. The two general standards for foreign language performance are that: (1) students…

Bilingualism and Special Education: Program and Pedagogical Issues.

ERIC Educational Resources Information Center

Cummins, Jim

1983-01-01

Application of the research-based principle that first and second language cognitive and academic development are interdependent and that language acquisition is largely dependent on students receiving sufficient comprehensible input in the target language is discussed in reference to program planning for academically at risk language minority…

Towards programming languages for genetic engineering of living cells

PubMed Central

Pedersen, Michael; Phillips, Andrew

2009-01-01

Synthetic biology aims at producing novel biological systems to carry out some desired and well-defined functions. An ultimate dream is to design these systems at a high level of abstraction using engineering-based tools and programming languages, press a button, and have the design translated to DNA sequences that can be synthesized and put to work in living cells. We introduce such a programming language, which allows logical interactions between potentially undetermined proteins and genes to be expressed in a modular manner. Programs can be translated by a compiler into sequences of standard biological parts, a process that relies on logic programming and prototype databases that contain known biological parts and protein interactions. Programs can also be translated to reactions, allowing simulations to be carried out. While current limitations on available data prevent full use of the language in practical applications, the language can be used to develop formal models of synthetic systems, which are otherwise often presented by informal notations. The language can also serve as a concrete proposal on which future language designs can be discussed, and can help to guide the emerging standard of biological parts which so far has focused on biological, rather than logical, properties of parts. PMID:19369220

Towards programming languages for genetic engineering of living cells.

PubMed

Pedersen, Michael; Phillips, Andrew

2009-08-06

Synthetic biology aims at producing novel biological systems to carry out some desired and well-defined functions. An ultimate dream is to design these systems at a high level of abstraction using engineering-based tools and programming languages, press a button, and have the design translated to DNA sequences that can be synthesized and put to work in living cells. We introduce such a programming language, which allows logical interactions between potentially undetermined proteins and genes to be expressed in a modular manner. Programs can be translated by a compiler into sequences of standard biological parts, a process that relies on logic programming and prototype databases that contain known biological parts and protein interactions. Programs can also be translated to reactions, allowing simulations to be carried out. While current limitations on available data prevent full use of the language in practical applications, the language can be used to develop formal models of synthetic systems, which are otherwise often presented by informal notations. The language can also serve as a concrete proposal on which future language designs can be discussed, and can help to guide the emerging standard of biological parts which so far has focused on biological, rather than logical, properties of parts.

How the strengths of Lisp-family languages facilitate building complex and flexible bioinformatics applications

PubMed Central

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

The impact of threshold language assistance programming on the accessibility of mental health services for persons with limited English proficiency in the Medi-Cal setting.

PubMed

McClellan, Sean R; Wu, Frances M; Snowden, Lonnie R

2012-06-01

Title VI of the 1964 Civil Rights Act prohibits federal funds recipients from providing care to limited English proficiency (LEP) persons more limited in scope or lower in quality than care provided to others. In 1999, the California Department of Mental Health implemented a "threshold language access policy" to meet its Title VI obligations. Under this policy, Medi-Cal agencies must provide language assistance programming in a non-English language where a county's Medical population contains either 3000 residents or 5% speakers of that language. We examine the impact of threshold language policy-required language assistance programming on LEP persons' access to mental health services by analyzing the county-level penetration rate of services for Russian, Spanish, and Vietnamese speakers across 34 California counties, over 10 years of quarterly data. Exploiting a time series with nonequivalent control group study design, we studied this phenomena using linear regression with random county effects to account for trends over time. Threshold language policy-required assistance programming led to an immediate and significant increase in the penetration rate of mental health services for Russian (8.2, P < 0.01) and Vietnamese (3.3, P < 0.01) language speaking persons. Threshold language assistance programming was effective in increasing mental health access for Russian and Vietnamese, but not for Spanish-speaking LEP persons.

The Rhythm of Language: Fostering Oral and Listening Skills in Singapore Pre-School Children through an Integrated Music and Language Arts Program.

ERIC Educational Resources Information Center

Gan, Linda; Chong, Sylvia

1998-01-01

Examined the effectiveness of a year-long integrated language and music program (the Expressive Language and Music Project) to enhance Singaporean kindergartners' English oral-language competency. Found that the natural communicative setting and creative use of resources and activities based on the Orff and Kodaly approaches facilitated language…

Cost/Benefit Evaluation of Three English Language Training Programs for Potential Navy Use.

ERIC Educational Resources Information Center

Swope, William M.; And Others

As part of its plans to recruit Hispanic personnel who speak English as a second language, the U.S. Navy will have to provide English language training as well as technical training to prepare these personnel for fleet duty. A cost/benefit analysis was conducted of three English language training programs: the English Technical Language School…

Genetic Programming as Alternative for Predicting Development Effort of Individual Software Projects

PubMed Central

Chavoya, Arturo; Lopez-Martin, Cuauhtemoc; Andalon-Garcia, Irma R.; Meda-Campaña, M. E.

2012-01-01

Statistical and genetic programming techniques have been used to predict the software development effort of large software projects. In this paper, a genetic programming model was used for predicting the effort required in individually developed projects. Accuracy obtained from a genetic programming model was compared against one generated from the application of a statistical regression model. A sample of 219 projects developed by 71 practitioners was used for generating the two models, whereas another sample of 130 projects developed by 38 practitioners was used for validating them. The models used two kinds of lines of code as well as programming language experience as independent variables. Accuracy results from the model obtained with genetic programming suggest that it could be used to predict the software development effort of individual projects when these projects have been developed in a disciplined manner within a development-controlled environment. PMID:23226305

An Elementary Language Culture Program.

ERIC Educational Resources Information Center

Stones, Valerie

A five-year course sequence focusing on the relationship of language and culture in world history is described. The program, beginning in grade 3, prepares students for later study of foreign and classical languages, develops English language skills, and cultivates general cultural interest. At the first level, students are introduced to some…

Leadership Practice in Elementary School Dual Language Programs: A Collective Case Study

ERIC Educational Resources Information Center

Monroy, Joanie K.

2012-01-01

Research in effective programming for English language learners has demonstrated the efficacy of dual language education as a model for closing persistent achievement gaps for this growing population of students. With goals of high academic achievement, linguistic proficiency in two languages, and cross-cultural proficiency, dual language…

Foreign Language Writing Fellows Programs: A Model for Improving Advanced Writing Skills

ERIC Educational Resources Information Center

Snyder, Delys Waite; Nielson, Rex P.; Kurzer, Kendon

2016-01-01

Within the growing field of scholarly literature on foreign language (FL) writing pedagogy, few studies have addressed pedagogical questions regarding the teaching of writing to advanced language learners. Writing fellows peer tutoring programs, although typically associated with first language writing instruction, likely can benefit and support…

Setting Evidence-Based Language Goals

ERIC Educational Resources Information Center

Goertler, Senta; Kraemer, Angelika; Schenker, Theresa

2016-01-01

The purpose of this project was to identify target language benchmarks for the German program at Michigan State University (MSU) based on national and international guidelines and previous research, to assess language skills across course levels and class sections in the entire German program, and to adjust the language benchmarks as needed based…

Language Arts Program Guide, K-12.

ERIC Educational Resources Information Center

Hawaii State Dept. of Education, Honolulu. Office of Instructional Services.

Intended for use by administrators, teachers, and district and state personnel, this guide provides a framework for Hawaii's kindergarten through grade 12 language arts program. Various sections of the guide contain (1) a statement of beliefs concerning the nature of language, language and learning, the student, and the school climate; (2) program…

Programming Languages, Natural Languages, and Mathematics

ERIC Educational Resources Information Center

Naur, Peter

1975-01-01

Analogies are drawn between the social aspects of programming and similar aspects of mathematics and natural languages. By analogy with the history of auxiliary languages it is suggested that Fortran and Cobol will remain dominant. (Available from the Association of Computing Machinery, 1133 Avenue of the Americas, New York, NY 10036.) (Author/TL)

Computer-Assisted Language Learning: Current Programs and Projects. ERIC Digest.

ERIC Educational Resources Information Center

Higgins, Chris

For many years, foreign language teachers have used the computer to provide supplemental exercises in the instruction of foreign languages. In recent years, advances in computer technology have motivated teachers to reassess the computer and consider it a valuable part of daily foreign language learning. Innovative software programs, authoring…

The English Language Learner Program Survey for Principals. REL 2014-027

ERIC Educational Resources Information Center

Grady, Matthew W.; O'Dwyer, Laura M.

2014-01-01

REL Northeast & Islands at Education Development Center, in partnership with the English Language Learners Alliance, has developed a new survey tool--The English Language Learner Program Survey for Principals--to help state education departments collect consistent data on the education of English language learner students. Designed for school…

Automatic Dissection Of Plantlets

NASA Astrophysics Data System (ADS)

Batchelor, B. G.; Harris, I. P.; Marchant, J. A.; Tillett, R. D.

1989-03-01

Micropropagation is a technique used in horticulture for generating a monoclonal colony of plants. A tiny plantlet is cut into several parts, each of which is then replanted. At the moment, the cutting is performed manually. Automating this task would have significant economic benefits. A robot designed to dissect plants would need to be equipped with intelligent visual sensing. This article is concerned with the image acquisition and processing techniques which such a machine might use. A program, which can calculate where to cut a plant with an "open" structure, is presented. This is expressed in the ProVision language, which is described in another article presented at this conference. (Article 1002-65)

Microcontroller-based locking in optics experiments

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

Huang, K.; State Key Laboratory of Precision Spectroscopy, East China Normal University, Shanghai 200062; Le Jeannic, H.

2014-12-15

Optics experiments critically require the stable and accurate locking of relative phases between light beams or the stabilization of Fabry-Perot cavity lengths. Here, we present a simple and inexpensive technique based on a stand-alone microcontroller unit to perform such tasks. Easily programmed in C language, this reconfigurable digital locking system also enables automatic relocking and sequential functioning. Different algorithms are detailed and applied to fringe locking and to low- and high-finesse optical cavity stabilization, without the need of external modulations or error signals. This technique can readily replace a number of analog locking systems advantageously in a variety of opticalmore » experiments.« less

Vertical Object Layout and Compression for Fixed Heaps

NASA Astrophysics Data System (ADS)

Titzer, Ben L.; Palsberg, Jens

Research into embedded sensor networks has placed increased focus on the problem of developing reliable and flexible software for microcontroller-class devices. Languages such as nesC [10] and Virgil [20] have brought higher-level programming idioms to this lowest layer of software, thereby adding expressiveness. Both languages are marked by the absence of dynamic memory allocation, which removes the need for a runtime system to manage memory. While nesC offers code modules with statically allocated fields, arrays and structs, Virgil allows the application to allocate and initialize arbitrary objects during compilation, producing a fixed object heap for runtime. This paper explores techniques for compressing fixed object heaps with the goal of reducing the RAM footprint of a program. We explore table-based compression and introduce a novel form of object layout called vertical object layout. We provide experimental results that measure the impact on RAM size, code size, and execution time for a set of Virgil programs. Our results show that compressed vertical layout has better execution time and code size than table-based compression while achieving more than 20% heap reduction on 6 of 12 benchmark programs and 2-17% heap reduction on the remaining 6. We also present a formalization of vertical object layout and prove tight relationships between three styles of object layout.

A Programming Language Environment for the Unassisted Learner.

ERIC Educational Resources Information Center

Thomas, P. G.; Ince, D. C.

1982-01-01

Describes the computing environment and command language for a new programing language called OUSBASIC which is designed to enable naive users to interact usefully, with little assistance, with a computer system. (Author/CHC)

Association of mandated language access programming and quality of care provided by mental health agencies.

PubMed

McClellan, Sean R; Snowden, Lonnie

2015-01-01

This study examined the association between language access programming and quality of psychiatric care received by persons with limited English proficiency (LEP). In 1999, the California Department of Mental Health required county Medicaid agencies to implement a "threshold language access policy" to meet the state's Title VI obligations. This policy required Medi-Cal agencies to provide language access programming, including access to interpreters and translated written material, to speakers of languages other than English if the language was spoken by at least 3,000, or 5%, of the county's Medicaid population. Using a longitudinal study design with a nonequivalent control group, this study examined the quality of care provided to Spanish speakers with LEP and a severe mental illness before and after implementation of mandatory language access programming. Quality was measured by receipt of at least two follow-up medication visits within 90 days or three visits within 180 days of an initial medication visit over a period of 38 quarter-years. On average, only 40% of Spanish-speaking clients received at least three medication follow-up visits within 180 days. In multivariate analyses, language access programming was not associated with receipt of at least two medication follow-up visits within 90 days or at least three visits within 180 days. This study found no evidence that language access programming led to increased rates of follow-up medication visits for clients with LEP.

MATERIALS AND TECHNIQUES FOR THE LANGUAGE LABORATORY.

ERIC Educational Resources Information Center

NAJAM, EDWARD W.

THE PROCEEDINGS OF THE SECOND ANNUAL INDIANA-PURDUE LANGUAGE LABORATORY CONFERENCE ARE ORGANIZED, AFTER INTRODUCTORY STATEMENTS BY NAJAM AND LARSEN ON CONTEMPORARY TRENDS IN LANGUAGE INSTRUCTION, UNDER THREE GENERAL HEADINGS PLUS APPENDIXES. IN THE FIRST SECTION DEVOTED TO MATERIALS AND TECHNIQUES ARE ARTICLES BY HYER, GARIMALDI, EDDY, AND SMITH…

Real-Time MENTAT programming language and architecture

NASA Technical Reports Server (NTRS)

Grimshaw, Andrew S.; Silberman, Ami; Liu, Jane W. S.

1989-01-01

Real-time MENTAT, a programming environment designed to simplify the task of programming real-time applications in distributed and parallel environments, is described. It is based on the same data-driven computation model and object-oriented programming paradigm as MENTAT. It provides an easy-to-use mechanism to exploit parallelism, language constructs for the expression and enforcement of timing constraints, and run-time support for scheduling and exciting real-time programs. The real-time MENTAT programming language is an extended C++. The extensions are added to facilitate automatic detection of data flow and generation of data flow graphs, to express the timing constraints of individual granules of computation, and to provide scheduling directives for the runtime system. A high-level view of the real-time MENTAT system architecture and programming language constructs is provided.

Ada Linear-Algebra Program

NASA Technical Reports Server (NTRS)

Klumpp, A. R.; Lawson, C. L.

1988-01-01

Routines provided for common scalar, vector, matrix, and quaternion operations. Computer program extends Ada programming language to include linear-algebra capabilities similar to HAS/S programming language. Designed for such avionics applications as software for Space Station.

Language mapping in children using resting-state functional connectivity: comparison with a task-based approach

NASA Astrophysics Data System (ADS)

Gallagher, Anne; Tremblay, Julie; Vannasing, Phetsamone

2016-12-01

Patients with brain tumor or refractory epilepsy may be candidates for neurosurgery. Presurgical evaluation often includes language investigation to prevent or reduce the risk of postsurgical language deficits. Current techniques involve significant limitations with pediatric populations. Recently, near-infrared spectroscopy (NIRS) has been shown to be a valuable neuroimaging technique for language localization in children. However, it typically requires the child to perform a task (task-based NIRS), which may constitute a significant limitation. Resting-state functional connectivity NIRS (fcNIRS) is an approach that can be used to identify language networks at rest. This study aims to assess the utility of fcNIRS in children by comparing fcNIRS to more conventional task-based NIRS for language mapping in 33 healthy participants: 25 children (ages 3 to 16) and 8 adults. Data were acquired at rest and during a language task. Results show very good concordance between both approaches for language localization (Dice similarity coefficient=0.81±0.13) and hemispheric language dominance (kappa=0.86, p<0.006). The fcNIRS technique may be a valuable tool for language mapping in clinical populations, including children and patients with cognitive and behavioral impairments.

Quantification and Formalization of Security

DTIC Science & Technology

2010-02-01

Quantification of Information Flow . . . . . . . . . . . . . . . . . . 30 2.4 Language Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . 46...system behavior observed by users holding low clearances. This policy, or a variant of it, is enforced by many pro- gramming language -based mechanisms...illustrates with a particular programming language (while-programs plus probabilistic choice). The model is extended in §2.5 to programs in which

US Directory of Foreign Language Education Programs.

ERIC Educational Resources Information Center

Grosse, Christine Uber

The preparation of a directory of foreign language education programs was a response to the lack of an information source for location or curricular content of programs in foreign language pedagogy, and followed the lead of other associations in the United States and abroad in compiling such information. Despite having developed guidelines for…

Language and Culture Immersion: A Winning Enterprise.

ERIC Educational Resources Information Center

Cormier, Raymond

A second language program developed at Wilson College (Chambersburg, Pennsylvania) with a federal grant uses the Rassias Method of theatrical, dramatic language saturation. In the first application of the program at the college, peer tutors (who would be assistant teachers in the subsequent immersion program) were trained in a three-day workshop.…

Nociones de la programacion de lenguas extranjeras; Ensayo metodologico (II) (Notions on Programed Instruction in Foreign Languages; Methodological Essay II)

ERIC Educational Resources Information Center

Feldman, David

1975-01-01

This paper discusses the prerequisites to programed language instruction, the role of the native language and the level of skill, and then explains materials and machines needed for such a program. Particular attention is given to phonetics. (Text is in Spanish.) (CK)

The Relationships among Group Size, Participation, and Performance of Programming Language Learning Supported with Online Forums

ERIC Educational Resources Information Center

Shaw, Ruey-Shiang

2013-01-01

This study examined the relationships among group size, participation, and learning performance factors when learning a programming language in a computer-supported collaborative learning (CSCL) context. An online forum was used as the CSCL environment for learning the Microsoft ASP.NET programming language. The collaborative-learning experiment…

Supporting Caregivers in Developing Responsive Communication Partnerships with Their Children: Extending a Caregiver-Led Interactive Language Program

ERIC Educational Resources Information Center

Cologon, Kathy; Wicks, Lilly; Salvador, Aliza

2017-01-01

This study investigates whether extension of a caregiver-led interactive language program may enhance its effectiveness in supporting communication. Caregiver-led language programs, which focus on establishing responsive interaction patterns to support opportunities for communication between caregivers and young children within natural settings,…

Guide to Conducting a Language Immersion/Homestay Program.

ERIC Educational Resources Information Center

Drysdale, Susan; Killelea, Frances

This handbook, designed to assist foreign language teachers in planning and executing a language immersion/homestay program for their students, is based on a successful program in Switzerland undertaken by Northport (New York) High School French teachers in 1980. The material is presented in three parts: (1) preparation of the exchange, including…

Impact of Augmented Reality on Programming Language Learning: Efficiency and Perception

ERIC Educational Resources Information Center

Teng, Chin-Hung; Chen, Jr-Yi; Chen, Zhi-Hong

2018-01-01

Although the learning of programming language is critical in science and technology education, it might be difficult for some students, especially novices. One possible reason might be the fact that programming language, especially for three-dimensional (3D) applications, is too complex and abstract for these students to understand. Programming…

Master Program in Foreign Language Education at New York University Steinhardt (US)

ERIC Educational Resources Information Center

Ikonnikova, Maryna

2016-01-01

The article deals with master program in foreign language education at New York University Steinhardt (US). Thus, its peculiarities have been revealed. It has been defined that the study program presupposes mastering of foreign language teaching approaches that meet various needs of learners. It has been indicated that students acquire the…

Evaluative Case Study on the Efficacy of the ELPS Program in Mathematics

ERIC Educational Resources Information Center

Perez, Malia Ann

2013-01-01

The English Language Proficiency Standards (ELPS) program was developed to address the need to effectively integrate second language acquisition with quality content area instruction. English language learners (ELLs) have struggled on standardized tests and there has been little empirical evidence regarding the impact of the ELPS program on…

34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?

Code of Federal Regulations, 2013 CFR

2013-07-01

... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...

34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?

Code of Federal Regulations, 2012 CFR

2012-07-01

... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...

34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?

Code of Federal Regulations, 2011 CFR

2011-07-01

... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...

34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?

Code of Federal Regulations, 2014 CFR

2014-07-01

... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...

34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?

Code of Federal Regulations, 2010 CFR

2010-07-01

... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...

Requirements for Programming Languages in Computer-Based Instructional Systems.

ERIC Educational Resources Information Center

Zinn, Karl

The author reviews the instructional programing languages which already exist and describes their methods of presentation, organization, and preparation. He recommends that all research and development projects remain flexible in their choice of programing language for a time yet. He suggests ways to adapt to specific uses and users, to exploit…

Project HAPI (Handicapped Achievement Program Improvement): Assessment plus Intervention equal I.E.P. A Handbook on How To Write an Individualized Education Program for Severe Disorders of Language, Including Aphasia and Other Speech-Language Handicapped (Communication Disorders). Book One.

ERIC Educational Resources Information Center

Chapman, Jean

The first of five handbooks developed by Project HAPI (Handicapped Achievement Program Improvement), a multimedia staff development program to help teachers and specialists write effective individualized education programs (IEPs), is in looseleaf workbook format and focuses on children with severe disorders of language, including aphasia and other…

Role-Play Technique as an Antecedent of Performance in English Language: Evidence from Secondary Schools in Wareng District, Uasin Gishu County, Kenya

ERIC Educational Resources Information Center

Julius, Kemboi; Osman, Ahmed

2015-01-01

In Kenya, there is a national concern over English language dismal performance over the years in Kenya Certificate of Secondary Education (K.C.S.E). Blame has been put on teachers of English language for relying on techniques that favor them at the expense of their students. This article therefore sought to assess the use of role-play technique as…

A Comparison of Inter-Professional Education Programs in Preparing Prospective Teachers and Speech and Language Pathologists for Collaborative Language-Literacy Instruction

ERIC Educational Resources Information Center

Wilson, Leanne; McNeill, Brigid; Gillon, Gail T.

2016-01-01

Ensuring teacher and speech and language pathology graduates are prepared to work collaboratively together to meet the diverse language literacy learning needs of children is an important goal. This study investigated the efficacy of a 3-h inter-professional education program focused on explicit instruction in the language skills that underpin…

Implementing Task-Based Language Teaching to Integrate Language Skills in an EFL Program at a Colombian University

ERIC Educational Resources Information Center

Córdoba Zúñiga, Eulices

2016-01-01

This article reports the findings of a qualitative research study conducted with six first semester students of an English as a foreign language program in a public university in Colombia. The aim of the study was to implement task-based language teaching as a way to integrate language skills and help learners to improve their communicative…

A progress report on a NASA research program for embedded computer systems software

NASA Technical Reports Server (NTRS)

Foudriat, E. C.; Senn, E. H.; Will, R. W.; Straeter, T. A.

1979-01-01

The paper presents the results of the second stage of the Multipurpose User-oriented Software Technology (MUST) program. Four primary areas of activities are discussed: programming environment, HAL/S higher-order programming language support, the Integrated Verification and Testing System (IVTS), and distributed system language research. The software development environment is provided by the interactive software invocation system. The higher-order programming language (HOL) support chosen for consideration is HAL/S mainly because at the time it was one of the few HOLs with flight computer experience and it is the language used on the Shuttle program. The overall purpose of IVTS is to provide a 'user-friendly' software testing system which is highly modular, user controlled, and cooperative in nature.

L3 Interactive Data Language

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

Hohn, Michael; Adams, Paul

2006-09-05

The L3 system is a computational steering environment for image processing and scientific computing. It consists of an interactive graphical language and interface. Its purpose is to help advanced users in controlling their computational software and assist in the management of data accumulated during numerical experiments. L3 provides a combination of features not found in other environments; these are: - textual and graphical construction of programs - persistence of programs and associated data - direct mapping between the scripts, the parameters, and the produced data - implicit hierarchial data organization - full programmability, including conditionals and functions - incremental executionmore » of programs The software includes the l3 language and the graphical environment. The language is a single-assignment functional language; the implementation consists of lexer, parser, interpreter, storage handler, and editing support, The graphical environment is an event-driven nested list viewer/editor providing graphical elements corresponding to the language. These elements are both the represenation of a users program and active interfaces to the values computed by that program.« less

The Role of Linguistics and Linguistic Analysis in Programs under Title VI of the National Defense Education Act of 1958: A Statement by the Committee on Language Programs, American Council of Learned Societies.

ERIC Educational Resources Information Center

Carroll, John B.; And Others

Concentrating on five ways in which foreign language teaching can be aided by linguistic science, the Committee on Language Programs, established by the American Council of Learned Societies, expresses its support of the National Defense Education Act of 1958, Title VI; and the Language Development Section of the Department of Health, Education,…

The Impact of Vietnam's Globalization on National Education Policies and Teacher Training Programs for Teachers of English as an International Language: A Case Study of the University of Pedagogy in Ho Chi Minh City

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…

Mad-X a worthy successor for MAD8?

NASA Astrophysics Data System (ADS)

Schmidt, F.

2006-03-01

MAD-X is the successor at CERN to MAD8, a program for accelerator design and simulation with a long history. We had to give up on MAD8 since the code had evolved in such a way that the maintenance and upgrades had become increasingly difficult. In particular, the memory management with the Zebra banks seemed outdated. MAD-X was first released in June, 2002. It offers most of the MAD8 functionality, with some additions, corrections, and extensions. The most important of these extensions is the interface to PTC, the Polymorphic Tracking Code by E. Forest. The most relevant new features of MAD-X are: languages: C, Fortran77, and Fortran90; dynamic memory allocation: in the core program written in C; strictly modular organization, modified and extended input language; symplectic and arbitrary exact description of all elements via PTC; Taylor Maps and Normal Form techniques using PTC. It is also important to note that we have adopted a new style for program development and maintenance that relies heavily on active maintenance of modules by the users themselves. Proposals for collaboration as with KEK, Japan and GSI, Germany are therefore very welcome.

Techniques and implementation of the embedded rule-based expert system using Ada

NASA Technical Reports Server (NTRS)

Liberman, Eugene M.; Jones, Robert E.

1991-01-01

Ada is becoming an increasingly popular programming language for large Government-funded software projects. Ada with its portability, transportability, and maintainability lends itself well to today's complex programming environment. In addition, expert systems have also assured a growing role in providing human-like reasoning capability and expertise for computer systems. The integration of expert system technology with Ada programming language, specifically a rule-based expert system using an ART-Ada (Automated Reasoning Tool for Ada) system shell is discussed. The NASA Lewis Research Center was chosen as a beta test site for ART-Ada. The test was conducted by implementing the existing Autonomous Power EXpert System (APEX), a Lisp-base power expert system, in ART-Ada. Three components, the rule-based expert system, a graphics user interface, and communications software make up SMART-Ada (Systems fault Management with ART-Ada). The main objective, to conduct a beta test on the ART-Ada rule-based expert system shell, was achieved. The system is operational. New Ada tools will assist in future successful projects. ART-Ada is one such tool and is a viable alternative to the straight Ada code when an application requires a rule-based or knowledge-based approach.

Spacecraft Avionics Software Development Then and Now: Different but the Same

NASA Technical Reports Server (NTRS)

Mangieri, Mark L.; Garman, John (Jack); Vice, Jason

2012-01-01

NASA has always been in the business of balancing new technologies and techniques to achieve human space travel objectives. NASA s historic Software Production Facility (SPF) was developed to serve complex avionics software solutions during an era dominated by mainframes, tape drives, and lower level programming languages. These systems have proven themselves resilient enough to serve the Shuttle Orbiter Avionics life cycle for decades. The SPF and its predecessor the Software Development Lab (SDL) at NASA s Johnson Space Center (JSC) hosted flight software (FSW) engineering, development, simulation, and test. It was active from the beginning of Shuttle Orbiter development in 1972 through the end of the shuttle program in the summer of 2011 almost 40 years. NASA s Kedalion engineering analysis lab is on the forefront of validating and using many contemporary avionics HW/SW development and integration techniques, which represent new paradigms to NASA s heritage culture in avionics software engineering. Kedalion has validated many of the Orion project s HW/SW engineering techniques borrowed from the adjacent commercial aircraft avionics environment, inserting new techniques and skills into the Multi-Purpose Crew Vehicle (MPCV) Orion program. Using contemporary agile techniques, COTS products, early rapid prototyping, in-house expertise and tools, and customer collaboration, NASA has adopted a cost effective paradigm that is currently serving Orion effectively. This paper will explore and contrast differences in technology employed over the years of NASA s space program, due largely to technological advances in hardware and software systems, while acknowledging that the basic software engineering and integration paradigms share many similarities.

Evaluation of English Language Development Programs in the Santa Ana Unified School District. A Report on Data System Reliability and Statistical Modeling of Program Impacts.

ERIC Educational Resources Information Center

Mitchell, Douglas E.; Destino, Tom; Karam, Rita

In response to concern about the effectiveness of programs for English-as-a-Second-Language students in California's schools, the Santa Ana Unified School District, in which over 80 percent of students are limited-English-proficient (LEP) conducted a study of both the operations and effectiveness of the district's language development program,…

Small Interactive Image Processing System (SMIPS) system description

NASA Technical Reports Server (NTRS)

Moik, J. G.

1973-01-01

The Small Interactive Image Processing System (SMIPS) operates under control of the IBM-OS/MVT operating system and uses an IBM-2250 model 1 display unit as interactive graphic device. The input language in the form of character strings or attentions from keys and light pen is interpreted and causes processing of built-in image processing functions as well as execution of a variable number of application programs kept on a private disk file. A description of design considerations is given and characteristics, structure and logic flow of SMIPS are summarized. Data management and graphic programming techniques used for the interactive manipulation and display of digital pictures are also discussed.

"Doing Good" in Italian through Student Community Engagement: The Benefits of Language Placements

ERIC Educational Resources Information Center

Bouvet, Eric; Cosmini, Daniela; Palaktsoglou, Maria; Vanzo, Lynn

2017-01-01

This article discusses a community engagement pilot program for language students offered at Flinders University. For a number of years, the "Language in Action" program has provided placement opportunities for language students in a range of community settings such as aged-care agencies and cultural associations. From an educational…

25 CFR 39.133 - Who decides how Language Development funds can be used?

Code of Federal Regulations, 2010 CFR

2010-04-01

... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school... 25 Indians 1 2010-04-01 2010-04-01 false Who decides how Language Development funds can be used...

Responding to the Diversity of Chinese Language Learners in Australian Schools

ERIC Educational Resources Information Center

Scrimgeour, Andrew

2014-01-01

Until recently Chinese language learning in Australian primary and junior secondary schools has been characterised by programs primarily designed for second language learners who have had no prior knowledge of or exposure to Chinese language. Participation in such programs by Australian-born children who speak Putonghua (Mandarin) or another…

Commercial Language, Business Economics, and the Liberal Arts Curriculum.

ERIC Educational Resources Information Center

Sell, John W.; And Others

A program at the College of Wooster (Ohio) in commercial language and international business is described. The program was undertaken with private funds and within the context of a traditional liberal arts college. It has three main curricular goals: (1) additional training of language instructors for language courses that would include the…

Nociones de la programacion de lenguas extranjeras: ensayo metodologico (Notions on the Programming of Foreign Languages: Methodological Experiment)

ERIC Educational Resources Information Center

Feldman, David

1975-01-01

Presents a computerized program for foreign language learning giving drills for all the major language skills. The drills are followed by an extensive bibliography of documents in some way dealing with computer based instruction, particularly foreign language instruction. (Text is in Spanish.) (TL)

Foreign Language Academy

ERIC Educational Resources Information Center

Palandra, Maria

2008-01-01

As interest in the study of foreign languages grows, more and more school and district leaders will be charged with the responsibility of establishing a language program. Some of the questions that they will need to answer include: What language and what model should be selected? How could another program be inserted in a school day already…

African Language Instruction at the University of Wisconsin: A HEA Title VI-Funded Program.

ERIC Educational Resources Information Center

Kuntz, Patricia S.

This paper describes the evolution of African language instruction at the University of Wisconsin, examining how faculty and staff have utilized state and federal funding to promote the national capacity in African language proficiency. Six sections describe the program's evolution: "Language Instruction at Wisconsin"; "Origins of…

25 CFR 39.133 - Who decides how Language Development funds can be used?

Code of Federal Regulations, 2012 CFR

2012-04-01

... SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school boards decide... 25 Indians 1 2012-04-01 2011-04-01 true Who decides how Language Development funds can be used? 39...

25 CFR 39.133 - Who decides how Language Development funds can be used?

Code of Federal Regulations, 2014 CFR

2014-04-01

... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school... 25 Indians 1 2014-04-01 2014-04-01 false Who decides how Language Development funds can be used...

25 CFR 39.133 - Who decides how Language Development funds can be used?

Code of Federal Regulations, 2013 CFR

2013-04-01

... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school... 25 Indians 1 2013-04-01 2013-04-01 false Who decides how Language Development funds can be used...

25 CFR 39.133 - Who decides how Language Development funds can be used?

Code of Federal Regulations, 2011 CFR

2011-04-01

... 25 Indians 1 2011-04-01 2011-04-01 false Who decides how Language Development funds can be used... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school...

Research in Second Language Studies at Michigan State University

ERIC Educational Resources Information Center

White, Benjamin; , Fei, Fei; Russell, Marthe

2009-01-01

The Second Language Studies (SLS) Program was established in 2005 with the express purpose of providing "a firm foundation in the field of Second Language Acquisition and its application to current second language research and teaching" (http://sls.msu.edu). Under the leadership of Professor Susan Gass, the program has grown to include…

Language and Ethnicity: Multiple Literacies in Context, Language Education in Guatemala

ERIC Educational Resources Information Center

Helmberger, Janet L.

2006-01-01

This study focuses on the research literature available in the United States on the evolution of language policy and planning issues involved in bilingual education programs in Mayan communities in Guatemala. I begin with general comments regarding language policy and planning for bilingual programs for ethnic groups within the borders of…

Handbook for Classroom Testing in Peace Corps Language Programs. Manual T0068.

ERIC Educational Resources Information Center

Anderson, Neil J.

This manual provides instructors in Peace Corps language training programs with information about two kinds of classroom testing: formative, ongoing testing and summative testing that occurs at the end of an instructional period. The first of the manual's four chapters on the purposes of language testing, discusses language testing within a…