NASA Technical Reports Server (NTRS)
Loftin, Richard B.
1987-01-01
Turbo Prolog is a recently available, compiled version of the programming language Prolog. Turbo Prolog is designed to provide not only a Prolog compiler, but also a program development environment for the IBM Personal Computer family. An evaluation of Turbo Prolog was made, comparing its features to other versions of Prolog and to the community of languages commonly used in artificial intelligence (AI) research and development. Three programs were employed to determine the execution speed of Turbo Prolog applied to various problems. The results of this evaluation demonstrated that Turbo Prolog can perform much better than many commonly employed AI languages for numerically intensive problems and can equal the speed of development languages such as OPS5+ and CLIPS, running on the IBM PC. Applications for which Turbo Prolog is best suited include those which (1) lend themselves naturally to backward-chaining approaches, (2) require extensive use of mathematics, (3) contain few rules, (4) seek to make use of the window/color graphics capabilities of the IBM PC, and (5) require linkage to programs in other languages to form a complete executable image.
DOE Office of Scientific and Technical Information (OSTI.GOV)
McHale, M.L.
The field of artificial Intelligence strives to produce computer programs that exhibit intelligent behavior. One of the areas of interest is the processing of natural language. This report discusses the role of the computer language PROLOG in Natural Language Processing (NLP) both from theoretic and pragmatic viewpoints. The reasons for using PROLOG for NLP are numerous. First, linguists can write natural-language grammars almost directly as PROLOG programs; this allows fast-prototyping of NLP systems and facilitates analysis of NLP theories. Second, semantic representations of natural-language texts that use logic formalisms are readily produced in PROLOG because of PROLOG's logical foundations. Third,more » PROLOG's built-in inferencing mechanisms are often sufficient for inferences on the logical forms produced by NLPs. Fourth, the logical, declarative nature of PROLOG may make it the language of choice for parallel computing systems. Finally, the fact that PROLOG has a de facto standard (Edinburgh) makes the porting of code from one computer system to another virtually trouble free. Perhaps the strongest tie one could make between NLP and PROLOG was stated by John Stuart Mill in his inaugural Address at St. Andrews: The structure of every sentence is a lesson in logic.« less
PROLOG to the Future: A Glimpse of Things to Come in Artificial Intelligence.
ERIC Educational Resources Information Center
Herther, Nancy K.
1986-01-01
Briefly introduces the programming languages of artificial intelligence and presents information on some of the new versions of these languages available for microcomputers. A tutorial for PROLOG-86, a new microcomputer version of PROLOG, is given. Information on other microcomputer versions of these programs and a bibliography are included.…
A Different Kind of Language: Prolog, Programming in Logic.
ERIC Educational Resources Information Center
Cabrol, D.
1986-01-01
Prolog is one of the most successful "very high level languages." Describes this programming language (a product of artificial intelligence research) and attempts to show how it functions by using some short examples to illustrate its essential features. (JN)
ERIC Educational Resources Information Center
Lopez, Antonio M., Jr.
1989-01-01
Provides background material on logic programing and presents PROLOG as a high-level artificial intelligence programing language that borrows its basic constructs from logic. Suggests the language is one which will help the educator to achieve various goals, particularly the promotion of problem solving ability. (MVL)
Prolog as a Teaching Tool for Relational Database Interrogation.
ERIC Educational Resources Information Center
Collier, P. A.; Samson, W. B.
1982-01-01
The use of the Prolog programing language is promoted as the language to use by anyone teaching a course in relational databases. A short introduction to Prolog is followed by a series of examples of queries. Several references are noted for anyone wishing to gain a deeper understanding. (MP)
Implementing embedded artificial intelligence rules within algorithmic programming languages
NASA Technical Reports Server (NTRS)
Feyock, Stefan
1988-01-01
Most integrations of artificial intelligence (AI) capabilities with non-AI (usually FORTRAN-based) application programs require the latter to execute separately to run as a subprogram or, at best, as a coroutine, of the AI system. In many cases, this organization is unacceptable; instead, the requirement is for an AI facility that runs in embedded mode; i.e., is called as subprogram by the application program. The design and implementation of a Prolog-based AI capability that can be invoked in embedded mode are described. The significance of this system is twofold: Provision of Prolog-based symbol-manipulation and deduction facilities makes a powerful symbolic reasoning mechanism available to applications programs written in non-AI languages. The power of the deductive and non-procedural descriptive capabilities of Prolog, which allow the user to describe the problem to be solved, rather than the solution, is to a large extent vitiated by the absence of the standard control structures provided by other languages. Embedding invocations of Prolog rule bases in programs written in non-AI languages makes it possible to put Prolog calls inside DO loops and similar control constructs. The resulting merger of non-AI and AI languages thus results in a symbiotic system in which the advantages of both programming systems are retained, and their deficiencies largely remedied.
Procedural and Logic Programming: A Comparison.
ERIC Educational Resources Information Center
Watkins, Will; And Others
1988-01-01
Examines the similarities and fundamental differences between procedural programing and logic programing by comparing LogoWriter and PROLOG. Suggests that PROLOG may be a good first programing language for students to learn. (MVL)
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.
Networked vision system using a Prolog controller
NASA Astrophysics Data System (ADS)
Batchelor, B. G.; Caton, S. J.; Chatburn, L. T.; Crowther, R. A.; Miller, J. W. V.
2005-11-01
Prolog offers a very different style of programming compared to conventional languages; it can define object properties and abstract relationships in a way that Java, C, C++, etc. find awkward. In an accompanying paper, the authors describe how a distributed web-based vision systems can be built using elements that may even be located on different continents. One particular system of this general type is described here. The top-level controller is a Prolog program, which operates one, or more, image processing engines. This type of function is natural to Prolog, since it is able to reason logically using symbolic (non-numeric) data. Although Prolog is not suitable for programming image processing functions directly, it is ideal for analysing the results derived by an image processor. This article describes the implementation of two systems, in which a Prolog program controls several image processing engines, a simple robot, a pneumatic pick-and-place arm), LED illumination modules and a various mains-powered devices.
Software architecture for intelligent image processing using Prolog
NASA Astrophysics Data System (ADS)
Jones, Andrew C.; Batchelor, Bruce G.
1994-10-01
We describe a prototype system for interactive image processing using Prolog, implemented by the first author on an Apple Macintosh computer. This system is inspired by Prolog+, but differs from it in two particularly important respects. The first is that whereas Prolog+ assumes the availability of dedicated image processing hardware, with which the Prolog system communicates, our present system implements image processing functions in software using the C programming language. The second difference is that although our present system supports Prolog+ commands, these are implemented in terms of lower-level Prolog predicates which provide a more flexible approach to image manipulation. We discuss the impact of the Apple Macintosh operating system upon the implementation of the image-processing functions, and the interface between these functions and the Prolog system. We also explain how the Prolog+ commands have been implemented. The system described in this paper is a fairly early prototype, and we outline how we intend to develop the system, a task which is expedited by the extensible architecture we have implemented.
Planning for Multiagent Using ASP-Prolog
NASA Astrophysics Data System (ADS)
Son, Tran Cao; Pontelli, Enrico; Nguyen, Ngoc-Hieu
This paper presents an Answer Set Programming based approach to multiagent planning. The proposed methodology extends the action language \\cal B in [12] to represent and reason about plans with cooperative actions of an individual agent operating in a multiagent environment. This language is used to formalize multiagent planning problems and the notion of a joint plan for multiagent in the presence of cooperative actions. Finally, the paper presents a system for computing joint plans based on the ASP-Prolog system.
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,…
Deciding alternative left turn signal phases using expert systems
DOE Office of Scientific and Technical Information (OSTI.GOV)
Chang, E.C.P.
1988-01-01
The Texas Transportation Institute (TTI) conducted a study to investigate the feasibility of applying artificial intelligence (AI) technology and expert systems (ES) design concepts to a traffic engineering problem. Prototype systems were developed to analyze user input, evaluate various reasoning, and suggest suitable left turn phase treatment. These systems were developed using AI programming tools on IBM PC/XT/AT-compatible microcomputers. Two slightly different systems were designed using AI languages; another was built with a knowledge engineering tool. These systems include the PD PROLOG and TURBO PROLOG AI programs, as well as the INSIGHT Production Rule Language.
Adding Concrete Syntax to a Prolog-Based Program Synthesis System
NASA Technical Reports Server (NTRS)
Fischer, Bernd; Visser, Eelco
2003-01-01
Program generation and transformation systems manipulate large, pa- rameterized object language fragments. Support for user-definable concrete syntax makes this easier but is typically restricted to certain object and meta languages. We show how Prolog can be retrofitted with concrete syntax and describe how a seamless interaction of concrete syntax fragments with an existing legacy meta-programming system based on abstract syntax is achieved. We apply the approach to gradually migrate the schemas of the AUTOBAYES program synthesis system to concrete syntax. Fit experiences show that this can result in a considerable reduction of the code size and an improved readability of the code. In particular, abstracting out fresh-variable generation and second-order term construction allows the formulation of larger continuous fragments and improves the locality in the schemas.
Designing a Software Tool for Fuzzy Logic Programming
NASA Astrophysics Data System (ADS)
Abietar, José M.; Morcillo, Pedro J.; Moreno, Ginés
2007-12-01
Fuzzy Logic Programming is an interesting and still growing research area that agglutinates the efforts for introducing fuzzy logic into logic programming (LP), in order to incorporate more expressive resources on such languages for dealing with uncertainty and approximated reasoning. The multi-adjoint logic programming approach is a recent and extremely flexible fuzzy logic paradigm for which, unfortunately, we have not found practical tools implemented so far. In this work, we describe a prototype system which is able to directly translate fuzzy logic programs into Prolog code in order to safely execute these residual programs inside any standard Prolog interpreter in a completely transparent way for the final user. We think that the development of such fuzzy languages and programing tools might play an important role in the design of advanced software applications for computational physics, chemistry, mathematics, medicine, industrial control and so on.
Programming Languages or Generic Software Tools, for Beginners' Courses in Computer Literacy?
ERIC Educational Resources Information Center
Neuwirth, Erich
1987-01-01
Discussion of methods that can be used to teach beginner courses in computer literacy focuses on students aged 10-12. The value of using a programing language versus using a generic software package is highlighted; Logo and Prolog are reviewed; and the use of databases is discussed. (LRW)
Robot vision system programmed in Prolog
NASA Astrophysics Data System (ADS)
Batchelor, Bruce G.; Hack, Ralf
1995-10-01
This is the latest in a series of publications which develop the theme of programming a machine vision system using the artificial intelligence language Prolog. The article states the long-term objective of the research program of which this work forms part. Many but not yet all of the goals laid out in this plan have already been achieved in an integrated system, which uses a multi-layer control hierarchy. The purpose of the present paper is to demonstrate that a system based upon a Prolog controller is capable of making complex decisions and operating a standard robot. The authors chose, as a vehicle for this exercise, the task of playing dominoes against a human opponent. This game was selected for this demonstration since it models a range of industrial assembly tasks, where parts are to be mated together. (For example, a 'daisy chain' of electronic equipment and the interconnecting cables/adapters may be likened to a chain of dominoes.)
Development and Evaluation of a Thai Learning System on the Web Using Natural Language Processing.
ERIC Educational Resources Information Center
Dansuwan, Suyada; Nishina, Kikuko; Akahori, Kanji; Shimizu, Yasutaka
2001-01-01
Describes the Thai Learning System, which is designed to help learners acquire the Thai word order system. The system facilitates the lessons on the Web using HyperText Markup Language and Perl programming, which interfaces with natural language processing by means of Prolog. (Author/VWL)
Integrated Processing in Planning and Understanding.
1986-12-01
to language analysis seemed necessary. The second observation was the rather commonsense one that it is easier to understand a foreign language ...syntactic analysis Probably the most widely employed method for natural language analysis is augmea ted transition network parsing, or ATNs (Thorne, Bratley...accomplished. It is for this reason that the programming language Prolog, which implements that general method , has proven so well-stilted to writing ATN
Clips as a knowledge based language
NASA Technical Reports Server (NTRS)
Harrington, James B.
1987-01-01
CLIPS is a language for writing expert systems applications on a personal or small computer. Here, the CLIPS programming language is described and compared to three other artificial intelligence (AI) languages (LISP, Prolog, and OPS5) with regard to the processing they provide for the implementation of a knowledge based system (KBS). A discussion is given on how CLIPS would be used in a control system.
Solving Constraint-Satisfaction Problems In Prolog Language
NASA Technical Reports Server (NTRS)
Nachtsheim, Philip R.
1991-01-01
Technique for solution of constraint-satisfaction problems uses definite-clause grammars of Prolog computer language. Exploits fact that grammar-rule notation viewed as "state-change notation". Facilitates development of dynamic representation performing informed as well as blind searches. Applicable to design, scheduling, and planning problems.
Benchmarks of programming languages for special purposes in the space station
NASA Technical Reports Server (NTRS)
Knoebel, Arthur
1986-01-01
Although Ada is likely to be chosen as the principal programming language for the Space Station, certain needs, such as expert systems and robotics, may be better developed in special languages. The languages, LISP and Prolog, are studied and some benchmarks derived. The mathematical foundations for these languages are reviewed. Likely areas of the space station are sought out where automation and robotics might be applicable. Benchmarks are designed which are functional, mathematical, relational, and expert in nature. The coding will depend on the particular versions of the languages which become available for testing.
NASA Astrophysics Data System (ADS)
Tošić, Saša; Mitrović, Dejan; Ivanović, Mirjana
2013-10-01
Agent-oriented programming languages are designed to simplify the development of software agents, especially those that exhibit complex, intelligent behavior. This paper presents recent improvements of AgScala, an agent-oriented programming language based on Scala. AgScala includes declarative constructs for managing beliefs, actions and goals of intelligent agents. Combined with object-oriented and functional programming paradigms offered by Scala, it aims to be an efficient framework for developing both purely reactive, and more complex, deliberate agents. Instead of the Prolog back-end used initially, the new version of AgScala relies on Agent Planning Package, a more advanced system for automated planning and reasoning.
1991-03-01
Cliffs, New Jersey, 1989. Merritt, Dennis, "Forward Chaining in Prolog," Al Expert, v.7 November 1986. Minsky , Marvin ., "A Framework for Representing... Minsky , Marvin , (editor), Semantic Information Processing, MIT Press, 1968. Rychener, M. D., Production Systems as a Programming Language for Artificial
P-KIMMO: A Prolog Implementation of the Two Level Model.
ERIC Educational Resources Information Center
Lee, Kang-Hyuk
Implementation of a computer-based model for morphological analysis and synthesis of language, entitled P-KIMMO, is discussed. The model was implemented in Quintus Prolog on a Sun Workstation and exported to a Macintosh computer. This model has two levels of morphophonological representation, lexical and surface levels, associated by…
ERIC Educational Resources Information Center
Eisenstadt, Marc; Brayshaw, Mike
This paper describes a Prolog execution model which serves as the uniform basis of textbook material, video-based teaching material, and an advanced graphical user interface for Prolog programmers. The model, based upon an augmented AND/OR tree representation of Prolog programs, uses an enriched "status box" in place of the traditional…
Efficient reordering of PROLOG programs
NASA Technical Reports Server (NTRS)
Gooley, Markian M.; Wah, Benjamin W.
1989-01-01
PROLOG programs are often inefficient: execution corresponds to a depth-first traversal of an AND/OR graph; traversing subgraphs in another order can be less expensive. It is shown how the reordering of clauses within PROLOG predicates, and especially of goals within clauses, can prevent unnecessary search. The characterization and detection of restrictions on reordering is discussed. A system of calling modes for PROLOG, geared to reordering, is proposed, and ways to infer them automatically are discussed. The information needed for safe reordering is summarized, and which types can be inferred automatically and which must be provided by the user are considered. An improved method for determining a good order for the goals of PROLOG clauses is presented and used as the basis for a reordering system.
Automated knowledge-base refinement
NASA Technical Reports Server (NTRS)
Mooney, Raymond J.
1994-01-01
Over the last several years, we have developed several systems for automatically refining incomplete and incorrect knowledge bases. These systems are given an imperfect rule base and a set of training examples and minimally modify the knowledge base to make it consistent with the examples. One of our most recent systems, FORTE, revises first-order Horn-clause knowledge bases. This system can be viewed as automatically debugging Prolog programs based on examples of correct and incorrect I/O pairs. In fact, we have already used the system to debug simple Prolog programs written by students in a programming language course. FORTE has also been used to automatically induce and revise qualitative models of several continuous dynamic devices from qualitative behavior traces. For example, it has been used to induce and revise a qualitative model of a portion of the Reaction Control System (RCS) of the NASA Space Shuttle. By fitting a correct model of this portion of the RCS to simulated qualitative data from a faulty system, FORTE was also able to correctly diagnose simple faults in this system.
United States Air Force Summer Faculty Research Program, 1988. Program Technical Report. Volume 4
1988-12-01
Professor SDecialty: Gas Phase Ion-Molecule Chem. Dept. of Chemistry Assigned: Air Force Geophysics Lab. Louisiana State University Choppin Hall...For Lucid Dr. Darin DeForest 55 Pre-Sort Processor Phase Distortion Dr. Paul Dingman Evaluation 56 A PROLOG Natural Language Front End Dr. Hugh...analysis in the electron impact mode. The column used was 25m x 0.25am ID bonded phase FSOT capillary column (#952525 Alltech and Associates), coated with
NASA Technical Reports Server (NTRS)
Paloski, William H.; Odette, Louis L.; Krever, Alfred J.; West, Allison K.
1987-01-01
A real-time expert system is being developed to serve as the astronaut interface for a series of Spacelab vestibular experiments. This expert system is written in a version of Prolog that is itself written in Forth. The Prolog contains a predicate that can be used to execute Forth definitions; thus, the Forth becomes an embedded real-time operating system within the Prolog programming environment. The expert system consists of a data base containing detailed operational instructions for each experiment, a rule base containing Prolog clauses used to determine the next step in an experiment sequence, and a procedure base containing Prolog goals formed from real-time routines coded in Forth. In this paper, we demonstrate and describe the techniques and considerations used to develop this real-time expert system, and we conclude that Forth-based Prolog provides a viable implementation vehicle for this and similar applications.
A rule based computer aided design system
NASA Technical Reports Server (NTRS)
Premack, T.
1986-01-01
A Computer Aided Design (CAD) system is presented which supports the iterative process of design, the dimensional continuity between mating parts, and the hierarchical structure of the parts in their assembled configuration. Prolog, an interactive logic programming language, is used to represent and interpret the data base. The solid geometry representing the parts is defined in parameterized form using the swept volume method. The system is demonstrated with a design of a spring piston.
Model-Driven Engineering of Machine Executable Code
NASA Astrophysics Data System (ADS)
Eichberg, Michael; Monperrus, Martin; Kloppenburg, Sven; Mezini, Mira
Implementing static analyses of machine-level executable code is labor intensive and complex. We show how to leverage model-driven engineering to facilitate the design and implementation of programs doing static analyses. Further, we report on important lessons learned on the benefits and drawbacks while using the following technologies: using the Scala programming language as target of code generation, using XML-Schema to express a metamodel, and using XSLT to implement (a) transformations and (b) a lint like tool. Finally, we report on the use of Prolog for writing model transformations.
1991-05-31
benchmarks ............ .... . .. .. . . .. 220 Appendix G : Source code of the Aquarius Prolog compiler ........ . 224 Chapter I Introduction "You’re given...notation, a tool that is used throughout the compiler’s implementation. Appendix F lists the source code of the C and Prolog benchmarks. Appendix G lists the...source code of the compilcr. 5 "- standard form Prolog / a-sfomadon / head umrvln Convert to tmeikernel Prol g vrans~fonaon 1symbolic execution
WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation
NASA Astrophysics Data System (ADS)
Boley, Harold; Osmun, Taylor Michael; Craig, Benjamin Larry
An interoperation study, WellnessRules, is described, where rules about wellness opportunities are created by participants in rule languages such as Prolog and N3, and translated within a wellness community using RuleML/XML. The wellness rules are centered around participants, as profiles, encoding knowledge about their activities conditional on the season, the time-of-day, the weather, etc. This distributed knowledge base extends FOAF profiles with a vocabulary and rules about wellness group networking. The communication between participants is organized through Rule Responder, permitting wellness-profile translation and distributed querying across engines. WellnessRules interoperates between rules and queries in the relational (Datalog) paradigm of the pure-Prolog subset of POSL and in the frame (F-logic) paradigm of N3. An evaluation of Rule Responder instantiated for WellnessRules revealed acceptable Web response times.
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.
Software implementation of the SKIPSM paradigm under PIP
NASA Astrophysics Data System (ADS)
Hack, Ralf; Waltz, Frederick M.; Batchelor, Bruce G.
1997-09-01
SKIPSM (separated-kernel image processing using finite state machines) is a technique for implementing large-kernel binary- morphology operators and many other operations. While earlier papers on SKIPSM concentrated mainly on implementations using pipelined hardware, there is considerable scope for achieving major speed improvements in software systems. Using identical control software, one-pass binary erosion and dilation structuring elements (SEs) ranging from the trivial (3 by 3) to the gigantic (51 by 51, or even larger), are readily available. Processing speed is independent of the size of the SE, making the SKIPSM approach practical for work with very large SEs on ordinary desktop computers. PIP (prolog image processing) is an interactive machine vision prototyping environment developed at the University of Wales Cardiff. It consists of a large number of image processing operators embedded within the standard AI language Prolog. This paper describes the SKIPSM implementation of binary morphology operators within PIP. A large set of binary erosion and dilation operations (circles, squares, diamonds, octagons, etc.) is available to the user through a command-line driven dialogue, via pull-down menus, or incorporated into standard (Prolog) programs. Little has been done thus far to optimize speed on this first software implementation of SKIPSM. Nevertheless, the results are impressive. The paper describes sample applications and presents timing figures. Readers have the opportunity to try out these operations on demonstration software written by the University of Wales, or via their WWW home page at http://bruce.cs.cf.ac.uk/bruce/index.html .
Development of the Diagnostic Expert System for Tea Processing
NASA Astrophysics Data System (ADS)
Yoshitomi, Hitoshi; Yamaguchi, Yuichi
A diagnostic expert system for tea processing which can presume the cause of the defect of the processed tea was developed to contribute to the improvement of tea processing. This system that consists of some programs can be used through the Internet. The inference engine, the core of the system adopts production system which is well used on artificial intelligence, and is coded by Prolog as the artificial intelligence oriented language. At present, 176 rules for inference have been registered on this system. The system will be able to presume better if more rules are added to the system.
NASA Technical Reports Server (NTRS)
Tick, Evan
1987-01-01
This note describes an efficient software emulator for the Warren Abstract Machine (WAM) Prolog architecture. The version of the WAM implemented is called Lcode. The Lcode emulator, written in C, executes the 'naive reverse' benchmark at 3900 LIPS. The emulator is one of a set of tools used to measure the memory-referencing characteristics and performance of Prolog programs. These tools include a compiler, assembler, and memory simulators. An overview of the Lcode architecture is given here, followed by a description and listing of the emulator code implementing each Lcode instruction. This note will be of special interest to those studying the WAM and its performance characteristics. In general, this note will be of interest to those creating efficient software emulators for abstract machine architectures.
BioMake: a GNU make-compatible utility for declarative workflow management.
Holmes, Ian H; Mungall, Christopher J
2017-11-01
The Unix 'make' program is widely used in bioinformatics pipelines, but suffers from problems that limit its application to large analysis datasets. These include reliance on file modification times to determine whether a target is stale, lack of support for parallel execution on clusters, and restricted flexibility to extend the underlying logic program. We present BioMake, a make-like utility that is compatible with most features of GNU Make and adds support for popular cluster-based job-queue engines, MD5 signatures as an alternative to timestamps, and logic programming extensions in Prolog. BioMake is available for MacOSX and Linux systems from https://github.com/evoldoers/biomake under the BSD3 license. The only dependency is SWI-Prolog (version 7), available from http://www.swi-prolog.org/. ihholmes + biomake@gmail.com or cmungall + biomake@gmail.com. Feature table comparing BioMake to similar tools. Supplementary data are available at Bioinformatics online. © The Author (2017). Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oup.com
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax
NASA Technical Reports Server (NTRS)
Fischer, Bernd; Visser, Eelco
2004-01-01
AutoBayes is a fully automatic, schema-based program synthesis system for statistical data analysis applications. Its core component is a schema library. i.e., a collection of generic code templates with associated applicability constraints which are instantiated in a problem-specific way during synthesis. Currently, AutoBayes is implemented in Prolog; the schemas thus use abstract syntax (i.e., Prolog terms) to formulate the templates. However, the conceptual distance between this abstract representation and the concrete syntax of the generated programs makes the schemas hard to create and maintain. In this paper we describe how AutoBayes is retrofitted with concrete syntax. We show how it is integrated into Prolog and describe how the seamless interaction of concrete syntax fragments with AutoBayes's remaining legacy meta-programming kernel based on abstract syntax is achieved. We apply the approach to gradually mitigate individual schemas without forcing a disruptive migration of the entire system to a different First experiences show that a smooth migration can be achieved. Moreover, it can result in a considerable reduction of the code size and improved readability of the code. In particular, abstracting out fresh-variable generation and second-order term construction allows the formulation of larger continuous fragments.
Implementation and performance of parallel Prolog interpreter
DOE Office of Scientific and Technical Information (OSTI.GOV)
Wei, S.; Kale, L.V.; Balkrishna, R.
1988-01-01
In this paper, the authors discuss the implementation of a parallel Prolog interpreter on different parallel machines. The implementation is based on the REDUCE--OR process model which exploits both AND and OR parallelism in logic programs. It is machine independent as it runs on top of the chare-kernel--a machine-independent parallel programming system. The authors also give the performance of the interpreter running a diverse set of benchmark pargrams on parallel machines including shared memory systems: an Alliant FX/8, Sequent and a MultiMax, and a non-shared memory systems: Intel iPSC/32 hypercube, in addition to its performance on a multiprocessor simulation system.
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.
SIRE: A Simple Interactive Rule Editor for NICBES
NASA Technical Reports Server (NTRS)
Bykat, Alex
1988-01-01
To support evolution of domain expertise, and its representation in an expert system knowledge base, a user-friendly rule base editor is mandatory. The Nickel Cadmium Battery Expert System (NICBES), a prototype of an expert system for the Hubble Space Telescope power storage management system, does not provide such an editor. In the following, a description of a Simple Interactive Rule Base Editor (SIRE) for NICBES is described. The SIRE provides a consistent internal representation of the NICBES knowledge base. It supports knowledge presentation and provides a user-friendly and code language independent medium for rule addition and modification. The SIRE is integrated with NICBES via an interface module. This module provides translation of the internal representation to Prolog-type rules (Horn clauses), latter rule assertion, and a simple mechanism for rule selection for its Prolog inference engine.
1988-06-27
de olf nessse end Id e ;-tl Sb ieeI smleo) ,Optical Artificial Intellegence ; Optical inference engines; Optical logic; Optical informationprocessing...common. They arise in areas such as expert systems and other artificial intelligence systems. In recent years, the computer science language PROLOG has...cal processors should in principle be well suited for : I artificial intelligence applications. In recent years, symbolic logic processing. , the
Expert system validation in prolog
NASA Technical Reports Server (NTRS)
Stock, Todd; Stachowitz, Rolf; Chang, Chin-Liang; Combs, Jacqueline
1988-01-01
An overview of the Expert System Validation Assistant (EVA) is being implemented in Prolog at the Lockheed AI Center. Prolog was chosen to facilitate rapid prototyping of the structure and logic checkers and since February 1987, we have implemented code to check for irrelevance, subsumption, duplication, deadends, unreachability, and cycles. The architecture chosen is extremely flexible and expansible, yet concise and complementary with the normal interactive style of Prolog. The foundation of the system is in the connection graph representation. Rules and facts are modeled as nodes in the graph and arcs indicate common patterns between rules. The basic activity of the validation system is then a traversal of the connection graph, searching for various patterns the system recognizes as erroneous. To aid in specifying these patterns, a metalanguage is developed, providing the user with the basic facilities required to reason about the expert system. Using the metalanguage, the user can, for example, give the Prolog inference engine the goal of finding inconsistent conclusions among the rules, and Prolog will search the graph intantiations which can match the definition of inconsistency. Examples of code for some of the checkers are provided and the algorithms explained. Technical highlights include automatic construction of a connection graph, demonstration of the use of metalanguage, the A* algorithm modified to detect all unique cycles, general-purpose stacks in Prolog, and a general-purpose database browser with pattern completion.
Software organization for a prolog-based prototyping system for machine vision
NASA Astrophysics Data System (ADS)
Jones, Andrew C.; Hack, Ralf; Batchelor, Bruce G.
1996-11-01
We describe PIP (prolog image processing)--a prototype system for interactive image processing using Prolog, implemented on an Apple Macintosh computer. PIP is the latest in a series of products that the third author has been involved in the implementation of, under the collective title Prolog+. PIP differs from our previous systems in two particularly important respects. The first is that whereas we previously required dedicated image processing hardware, the present system implements image processing routines using software. The second difference is that our present system is hierarchical in structure, where the top level of the hierarchy emulates Prolog+, but there is a flexible infrastructure which supports more sophisticated image manipulation which we will be able to exploit in due course . We discuss the impact of the Apple Macintosh operating system upon the implementation of the image processing functions, and the interface between these functions and the Prolog system. We also explain how the existing set of Prolog+ commands has been implemented. PIP is now nearing maturity, and we will make a version of it generally available in the near future. However, although the represent version of PIP constitutes a complete image processing tool, there are a number of ways in which we are intending to enhance future versions, with a view to added flexibility and efficiency: we discuss these ideas briefly near the end of the present paper.
Enhancing the Dependability of Complex Missions Through Automated Analysis
2013-09-01
triangular or self - referential relationships. The Semantic Web Rule Language (SWRL)—a W3C-approved OWL extension—addresses some of these limitations by...SWRL extends OWL with Horn-like rules that can model complex relational structures and self - referential relationships; Prolog extends OWL+SWRL with the...8]. Additionally, multi-agent model checking has been used to verify OWL-S process models [9]. OWL is a powerful knowledge representation formalism
ERIC Educational Resources Information Center
Vosinakis, Spyros; Anastassakis, George; Koutsabasis, Panayiotis
2018-01-01
Logic Programming (LP) follows the declarative programming paradigm, which novice students often find hard to grasp. The limited availability of visual teaching aids for LP can lead to low motivation for learning. In this paper, we present a platform for teaching and learning Prolog in Virtual Worlds, which enables the visual interpretation and…
A technique for solving constraint satisfaction problems using Prolog's definite clause grammars
NASA Technical Reports Server (NTRS)
Nachtsheim, Philip R.
1988-01-01
A new technique for solving constraint satisfaction problems using Prolog's definite clause grammars is presented. It exploits the fact that the grammar rule notation can be viewed as a state exchange notation. The novel feature of the technique is that it can perform informed as well as blind search. It provides the Prolog programmer with a new technique for application to a wide range of design, scheduling, and planning problems.
Knowledge-based simulation for aerospace systems
NASA Technical Reports Server (NTRS)
Will, Ralph W.; Sliwa, Nancy E.; Harrison, F. Wallace, Jr.
1988-01-01
Knowledge-based techniques, which offer many features that are desirable in the simulation and development of aerospace vehicle operations, exhibit many similarities to traditional simulation packages. The eventual solution of these systems' current symbolic processing/numeric processing interface problem will lead to continuous and discrete-event simulation capabilities in a single language, such as TS-PROLOG. Qualitative, totally-symbolic simulation methods are noted to possess several intrinsic characteristics that are especially revelatory of the system being simulated, and capable of insuring that all possible behaviors are considered.
The rid-redundant procedure in C-Prolog
NASA Technical Reports Server (NTRS)
Chen, Huo-Yan; Wah, Benjamin W.
1987-01-01
C-Prolog can conveniently be used for logical inferences on knowledge bases. However, as similar to many search methods using backward chaining, a large number of redundant computation may be produced in recursive calls. To overcome this problem, the 'rid-redundant' procedure was designed to rid all redundant computations in running multi-recursive procedures. Experimental results obtained for C-Prolog on the Vax 11/780 computer show that there is an order of magnitude improvement in the running time and solvable problem size.
AI in the Elementary, Middle, and Secondary Classroom.
ERIC Educational Resources Information Center
Kirkpatrick, Susan N.; Biglan, Barbara
1990-01-01
Describes activities that present concepts and applications of artificial intelligence (AI) for elementary and secondary school students. The use of Logo with elementary students is discussed; appropriate software is described; programing activities using Logo, BASIC, and Prolog are examined; and the field of robotics is discussed. (four…
ERIC Educational Resources Information Center
Fox, Edward A.
1987-01-01
Discusses the CODER system, which was developed to investigate the application of artificial intelligence methods to increase the effectiveness of information retrieval systems, particularly those involving heterogeneous documents. Highlights include the use of PROLOG programing, blackboard-based designs, knowledge engineering, lexicological…
Unified Engineering Software System
NASA Technical Reports Server (NTRS)
Purves, L. R.; Gordon, S.; Peltzman, A.; Dube, M.
1989-01-01
Collection of computer programs performs diverse functions in prototype engineering. NEXUS, NASA Engineering Extendible Unified Software system, is research set of computer programs designed to support full sequence of activities encountered in NASA engineering projects. Sequence spans preliminary design, design analysis, detailed design, manufacturing, assembly, and testing. Primarily addresses process of prototype engineering, task of getting single or small number of copies of product to work. Written in FORTRAN 77 and PROLOG.
Geneho Kim; Donald Nute; H. Michael Rauscher; David L. Loftis
2000-01-01
A programming environment for developing complex decision support systems (DSSs) should support rapid prototyping and modular design, feature a flexible knowledge representation scheme and sound inference mechanisms, provide project management, and be domain independent. We have previously developed DSSTools (Decision Support System Tools), a reusable, domain-...
Artificial Intelligence in a German Adventure Game: Spion in PROLOG.
ERIC Educational Resources Information Center
Molla, Steven R.; And Others
1988-01-01
Spion, an adventure game for intermediate and advanced college German students, requires players to communicate with a fictitious agent in complete, correct German sentences. The spy game was written in PROLOG, runs on an IBM-PC, and is available at no cost for noncommercial purposes. (Author/CB)
NASA Technical Reports Server (NTRS)
Oreilly, Daniel; Williams, Robert; Yarborough, Kevin
1988-01-01
This is a tutorial/diagnostic system for training personnel in the use of the Space Shuttle Main Engine Controller (SSMEC) Simulation Lab. It also provides a diagnostic capable of isolating lab failures at least to the major lab component. The system was implemented using Hypercard, which is an program of hypermedia running on Apple Macintosh computers. Hypercard proved to be a viable platform for the development and use of sophisticated tutorial systems and moderately capable diagnostic systems. This tutorial/diagnostic system uses the basic Hypercard tools to provide the tutorial. The diagnostic part of the system uses a simple interpreter written in the Hypercard language (Hypertalk) to implement the backward chaining rule based logic commonly found in diagnostic systems using Prolog. Some of the advantages of Hypercard in developing this type of system include sophisticated graphics, animation, sound and voice capabilities, its ability as a hypermedia tool, and its ability to include digitized pictures. The major disadvantage is the slow execution time for evaluation of rules (due to the interpretive processing of the language). Other disadvantages include the limitation on the size of the cards, that color is not supported, that it does not support grey scale graphics, and its lack of selectable fonts for text fields.
Experiments with microcomputer-based artificial intelligence environments
Summers, E.G.; MacDonald, R.A.
1988-01-01
The U.S. Geological Survey (USGS) has been experimenting with the use of relatively inexpensive microcomputers as artificial intelligence (AI) development environments. Several AI languages are available that perform fairly well on desk-top personal computers, as are low-to-medium cost expert system packages. Although performance of these systems is respectable, their speed and capacity limitations are questionable for serious earth science applications foreseen by the USGS. The most capable artificial intelligence applications currently are concentrated on what is known as the "artificial intelligence computer," and include Xerox D-series, Tektronix 4400 series, Symbolics 3600, VAX, LMI, and Texas Instruments Explorer. The artificial intelligence computer runs expert system shells and Lisp, Prolog, and Smalltalk programming languages. However, these AI environments are expensive. Recently, inexpensive 32-bit hardware has become available for the IBM/AT microcomputer. USGS has acquired and recently completed Beta-testing of the Gold Hill Systems 80386 Hummingboard, which runs Common Lisp on an IBM/AT microcomputer. Hummingboard appears to have the potential to overcome many of the speed/capacity limitations observed with AI-applications on standard personal computers. USGS is a Beta-test site for the Gold Hill Systems GoldWorks expert system. GoldWorks combines some high-end expert system shell capabilities in a medium-cost package. This shell is developed in Common Lisp, runs on the 80386 Hummingboard, and provides some expert system features formerly available only on AI-computers including frame and rule-based reasoning, on-line tutorial, multiple inheritance, and object-programming. ?? 1988 International Association for Mathematical Geology.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Taylor, R.C.
This thesis involved the construction of (1) a grammar that incorporates knowledge on base invariancy and secondary structure in a molecule and (2) a parser engine that uses the grammar to position bases into the structural subunits of the molecule. These concepts were combined with a novel pinning technique to form a tool that semi-automates insertion of a new species into the alignment for the 16S rRNA molecule (a component of the ribosome) maintained by Dr. Carl Woese's group at the University of Illinois at Urbana. The tool was tested on species extracted from the alignment and on a groupmore » of entirely new species. The results were very encouraging, and the tool should be substantial aid to the curators of the 16S alignment. The construction of the grammar was itself automated, allowing application of the tool to alignments for other molecules. The logic programming language Prolog was used to construct all programs involved. The computational linguistics approach used here was found to be a useful way to attach the problem of insertion into an alignment.« less
DOE Office of Scientific and Technical Information (OSTI.GOV)
Taylor, Ronald C.
This thesis involved the construction of (1) a grammar that incorporates knowledge on base invariancy and secondary structure in a molecule and (2) a parser engine that uses the grammar to position bases into the structural subunits of the molecule. These concepts were combined with a novel pinning technique to form a tool that semi-automates insertion of a new species into the alignment for the 16S rRNA molecule (a component of the ribosome) maintained by Dr. Carl Woese`s group at the University of Illinois at Urbana. The tool was tested on species extracted from the alignment and on a groupmore » of entirely new species. The results were very encouraging, and the tool should be substantial aid to the curators of the 16S alignment. The construction of the grammar was itself automated, allowing application of the tool to alignments for other molecules. The logic programming language Prolog was used to construct all programs involved. The computational linguistics approach used here was found to be a useful way to attach the problem of insertion into an alignment.« less
Towards Just-In-Time Partial Evaluation of Prolog
NASA Astrophysics Data System (ADS)
Bolz, Carl Friedrich; Leuschel, Michael; Rigo, Armin
We introduce a just-in-time specializer for Prolog. Just-in-time specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time (JIT) compilation. It is a variant of PE that occurs purely at runtime, which lazily generates residual code and is constantly driven by runtime feedback.
Parallel Logic Programming and Parallel Systems Software and Hardware
1989-07-29
Conference, Dallas TX. January 1985. (55) [Rous75] Roussel, P., "PROLOG: Manuel de Reference et d’Uilisation", Group d’ Intelligence Artificielle , Universite d...completed. Tools were provided for software development using artificial intelligence techniques. Al software for massively parallel architectures was...using artificial intelligence tech- niques. Al software for massively parallel architectures was started. 1. Introduction We describe research conducted
A prototype system for perinatal knowledge engineering using an artificial intelligence tool.
Sokol, R J; Chik, L
1988-01-01
Though several perinatal expert systems are extant, the use of artificial intelligence has, as yet, had minimal impact in medical computing. In this evaluation of the potential of AI techniques in the development of a computer based "Perinatal Consultant," a "top down" approach to the development of a perinatal knowledge base was taken, using as a source for such a knowledge base a 30-page manuscript of a chapter concerning high risk pregnancy. The UNIX utility "style" was used to parse sentences and obtain key words and phrases, both as part of a natural language interface and to identify key perinatal concepts. Compared with the "gold standard" of sentences containing key facts as chosen by the experts, a semiautomated method using a nonmedical speller to identify key words and phrases in context functioned with a sensitivity of 79%, i.e., approximately 8 in 10 key sentences were detected as the basis for PROLOG, rules and facts for the knowledge base. These encouraging results suggest that functional perinatal expert systems may well be expedited by using programming utilities in conjunction with AI tools and published literature.
Microprogrammable Integrated Data Acquisition System-Fatigue Life Data Application
1976-03-01
Lt. James W. Sturges, successfully applied the Midas general system [Sturges, 1975] to the fatigue life data monitoring problem and proved its...life data problem . The Midas FLD system computer program generates the required signals in the proper sequence for effectively sampling the 8-channel...Integrated Data Acquisition System- Fatigue Life Data Application" ( Midas FLD) is a microprocessor based data acquisition system. It incorporates a Pro-Log
Process Materialization Using Templates and Rules to Design Flexible Process Models
NASA Astrophysics Data System (ADS)
Kumar, Akhil; Yao, Wen
The main idea in this paper is to show how flexible processes can be designed by combining generic process templates and business rules. We instantiate a process by applying rules to specific case data, and running a materialization algorithm. The customized process instance is then executed in an existing workflow engine. We present an architecture and also give an algorithm for process materialization. The rules are written in a logic-based language like Prolog. Our focus is on capturing deeper process knowledge and achieving a holistic approach to robust process design that encompasses control flow, resources and data, as well as makes it easier to accommodate changes to business policy.
Comprehensive Reproductive System Care Program - Clinical Breast Care Project (CRSCP-CBCP)
2013-01-01
biomedical informatics group here, the ProLogic team, and the MDR Global leader. This Pathology Checklist tablet data capturing system development with...initiative in developing a prototype tablet application using the Pathology Checklist as the first example following a decision made at the last CBCP...enabling surgery within the center. The Breast Imaging Center has a designated Aurora Breast MRI machine. The merging of the Army and Navy Breast
Hybrid Memory Management for Parallel Execution of Prolog on Shared Memory Multiprocessors
1990-06-01
organizing data to increase locality. The stack structure exhibits greater locality than the heap structure. Tradeoff decisions can also be made on...PROGRAM ELEMENT NUMBER 6. AUTHOR(S) 5d. PROJECT NUMBER 5e. TASK NUMBER 5f. WORK UNIT NUMBER 7. PERFORMING ORGANIZATION NAME(S) AND ADDRESS(ES...University of California at Berkeley,Department of Electrical Engineering and Computer Sciences,Berkeley,CA,94720 8. PERFORMING ORGANIZATION REPORT
Exploiting Constraints in Design Synthesis
1987-04-01
viewed as a sequence of implicit or explicit, decisions. Heuristic Dendral [8], REF-ARF [24] and Stefik’s MOLGEN planner [93,92] are important examples of...8217 early papers [39,38,37] on declarativism were also seminal. A declarativist view is part and parcel of logic programming, and such a view has been...embodied in such systems as Prolog [78] and MRS [27,79. See also Kowalski [48,47] for early expressions of declarativism as it related to logic
NASA Technical Reports Server (NTRS)
Laird, Philip
1992-01-01
We distinguish static and dynamic optimization of programs: whereas static optimization modifies a program before runtime and is based only on its syntactical structure, dynamic optimization is based on the statistical properties of the input source and examples of program execution. Explanation-based generalization is a commonly used dynamic optimization method, but its effectiveness as a speedup-learning method is limited, in part because it fails to separate the learning process from the program transformation process. This paper describes a dynamic optimization technique called a learn-optimize cycle that first uses a learning element to uncover predictable patterns in the program execution and then uses an optimization algorithm to map these patterns into beneficial transformations. The technique has been used successfully for dynamic optimization of pure Prolog.
Development Of Knowledge Systems For Trouble Shooting Complex Production Machinery
NASA Astrophysics Data System (ADS)
Sanford, Richard L.; Novak, Thomas; Meigs, James R.
1987-05-01
This paper discusses the use of knowledge base system software for microcomputers to aid repairmen in diagnosing electrical failures in complex mining machinery. The knowledge base is constructed to allow the user to input initial symptoms of the failed machine, and the most probable cause of failure is traced through the knowledge base, with the software requesting additional information such as voltage or resistance measurements as needed. Although the case study presented is for an underground mining machine, results have application to any industry using complex machinery. Two commercial expert-system development tools (M1 TM and Insight 2+TM) and an Al language (Turbo PrologTM) are discussed with emphasis on ease of application and suitability for this study.
Expert System for ASIC Imaging
NASA Astrophysics Data System (ADS)
Gupta, Shri N.; Arshak, Khalil I.; McDonnell, Pearse; Boyce, Conor; Duggan, Andrew
1989-07-01
With the developments in the techniques of artificial intelligence over the last few years, development of advisory, scheduling and similar class of problems has become very convenient using tools such as PROLOG. In this paper an expert system has been described which helps lithographers and process engineers in several ways. The methodology used is to model each work station according to its input, output and control parameters, combine these work stations in a logical sequence based on past experience and work out process schedule for a job. In addition, all the requirements vis-a-vis a particular job parameters are converted into decision rules. One example is the exposure time, develop time for a wafer with different feature sizes would be different. This expert system has been written in Turbo Prolog. By building up a large number of rules, one can tune the program to any facility and use it for as diverse applications as advisory help, trouble shooting etc. Leitner (1) has described an advisory expert system that is being used at National Semiconductor. This system is quite different from the one being reported in the present paper. The approach is quite different for one. There is stress on job flow and process for another.
A Prototype Silicon Compiler in Prolog
1988-12-01
A Prototype Silicon Compiler in Prolog 04 William Bush Gino Cheng Partrick C. McGeer Alvin M. Despain DTIC ELECTV JUL 281989 B Report No. UCB/CSD 88...the same register to variables in the same positions in invo- cation and head. Thus in ... g(A, B ),.. and g(X, Y) A and X share one register, and B ...example for a one-bit adder is given below. x = compl(or(and(c,or(a, b )),and(a, b ))). y = compl(or(and(x,or(a, b ,c)),and(a2b,c))). sum = compl(y). carry
A prototype knowledge-based simulation support system
DOE Office of Scientific and Technical Information (OSTI.GOV)
Hill, T.R.; Roberts, S.D.
1987-04-01
As a preliminary step toward the goal of an intelligent automated system for simulation modeling support, we explore the feasibility of the overall concept by generating and testing a prototypical framework. A prototype knowledge-based computer system was developed to support a senior level course in industrial engineering so that the overall feasibility of an expert simulation support system could be studied in a controlled and observable setting. The system behavior mimics the diagnostic (intelligent) process performed by the course instructor and teaching assistants, finding logical errors in INSIGHT simulation models and recommending appropriate corrective measures. The system was programmed inmore » a non-procedural language (PROLOG) and designed to run interactively with students working on course homework and projects. The knowledge-based structure supports intelligent behavior, providing its users with access to an evolving accumulation of expert diagnostic knowledge. The non-procedural approach facilitates the maintenance of the system and helps merge the roles of expert and knowledge engineer by allowing new knowledge to be easily incorporated without regard to the existing flow of control. The background, features and design of the system are describe and preliminary results are reported. Initial success is judged to demonstrate the utility of the reported approach and support the ultimate goal of an intelligent modeling system which can support simulation modelers outside the classroom environment. Finally, future extensions are suggested.« less
NASA Technical Reports Server (NTRS)
Davis, Robert P.; Underwood, Ian M.
1987-01-01
The use of database management systems (DBMS) and AI to minimize human involvement in the planning of optical navigation pictures for interplanetary space probes is discussed, with application to the Galileo mission. Parameters characterizing the desirability of candidate pictures, and the program generating them, are described. How these parameters automatically build picture records in a database, and the definition of the database structure, are then discussed. The various rules, priorities, and constraints used in selecting pictures are also described. An example is provided of an expert system, written in Prolog, for automatically performing the selection process.
NASA Technical Reports Server (NTRS)
Hockaday, Stephen; Kuhlenschmidt, Sharon (Editor)
1991-01-01
The objective of the workshop was to explore the role of human factors in facilitating the introduction of artificial intelligence (AI) to advanced air traffic control (ATC) automation concepts. AI is an umbrella term which is continually expanding to cover a variety of techniques where machines are performing actions taken based upon dynamic, external stimuli. AI methods can be implemented using more traditional programming languages such as LISP or PROLOG, or they can be implemented using state-of-the-art techniques such as object-oriented programming, neural nets (hardware or software), and knowledge based expert systems. As this technology advances and as increasingly powerful computing platforms become available, the use of AI to enhance ATC systems can be realized. Substantial efforts along these lines are already being undertaken at the FAA Technical Center, NASA Ames Research Center, academic institutions, industry, and elsewhere. Although it is clear that the technology is ripe for bringing computer automation to ATC systems, the proper scope and role of automation are not at all apparent. The major concern is how to combine human controllers with computer technology. A wide spectrum of options exists, ranging from using automation only to provide extra tools to augment decision making by human controllers to turning over moment-by-moment control to automated systems and using humans as supervisors and system managers. Across this spectrum, it is now obvious that the difficulties that occur when tying human and automated systems together must be resolved so that automation can be introduced safely and effectively. The focus of the workshop was to further explore the role of injecting AI into ATC systems and to identify the human factors that need to be considered for successful application of the technology to present and future ATC systems.
Falomir, Zoe; Kluth, Thomas
2017-06-24
The challenge of describing 3D real scenes is tackled in this paper using qualitative spatial descriptors. A key point to study is which qualitative descriptors to use and how these qualitative descriptors must be organized to produce a suitable cognitive explanation. In order to find answers, a survey test was carried out with human participants which openly described a scene containing some pieces of furniture. The data obtained in this survey are analysed, and taking this into account, the QSn3D computational approach was developed which uses a XBox 360 Kinect to obtain 3D data from a real indoor scene. Object features are computed on these 3D data to identify objects in indoor scenes. The object orientation is computed, and qualitative spatial relations between the objects are extracted. These qualitative spatial relations are the input to a grammar which applies saliency rules obtained from the survey study and generates cognitive natural language descriptions of scenes. Moreover, these qualitative descriptors can be expressed as first-order logical facts in Prolog for further reasoning. Finally, a validation study is carried out to test whether the descriptions provided by QSn3D approach are human readable. The obtained results show that their acceptability is higher than 82%.
Prediction of distribution coefficient from structure. 1. Estimation method.
Csizmadia, F; Tsantili-Kakoulidou, A; Panderi, I; Darvas, F
1997-07-01
A method has been developed for the estimation of the distribution coefficient (D), which considers the microspecies of a compound. D is calculated from the microscopic dissociation constants (microconstants), the partition coefficients of the microspecies, and the counterion concentration. A general equation for the calculation of D at a given pH is presented. The microconstants are calculated from the structure using Hammett and Taft equations. The partition coefficients of the ionic microspecies are predicted by empirical equations using the dissociation constants and the partition coefficient of the uncharged species, which are estimated from the structure by a Linear Free Energy Relationship method. The algorithm is implemented in a program module called PrologD.
War of Ontology Worlds: Mathematics, Computer Code, or Esperanto?
Rzhetsky, Andrey; Evans, James A.
2011-01-01
The use of structured knowledge representations—ontologies and terminologies—has become standard in biomedicine. Definitions of ontologies vary widely, as do the values and philosophies that underlie them. In seeking to make these views explicit, we conducted and summarized interviews with a dozen leading ontologists. Their views clustered into three broad perspectives that we summarize as mathematics, computer code, and Esperanto. Ontology as mathematics puts the ultimate premium on rigor and logic, symmetry and consistency of representation across scientific subfields, and the inclusion of only established, non-contradictory knowledge. Ontology as computer code focuses on utility and cultivates diversity, fitting ontologies to their purpose. Like computer languages C++, Prolog, and HTML, the code perspective holds that diverse applications warrant custom designed ontologies. Ontology as Esperanto focuses on facilitating cross-disciplinary communication, knowledge cross-referencing, and computation across datasets from diverse communities. We show how these views align with classical divides in science and suggest how a synthesis of their concerns could strengthen the next generation of biomedical ontologies. PMID:21980276
Expert systems for fault diagnosis in nuclear reactor control
NASA Astrophysics Data System (ADS)
Jalel, N. A.; Nicholson, H.
1990-11-01
An expert system for accident analysis and fault diagnosis for the Loss Of Fluid Test (LOFT) reactor, a small scale pressurized water reactor, was developed for a personal computer. The knowledge of the system is presented using a production rule approach with a backward chaining inference engine. The data base of the system includes simulated dependent state variables of the LOFT reactor model. Another system is designed to assist the operator in choosing the appropriate cooling mode and to diagnose the fault in the selected cooling system. The response tree, which is used to provide the link between a list of very specific accident sequences and a set of generic emergency procedures which help the operator in monitoring system status, and to differentiate between different accident sequences and select the correct procedures, is used to build the system knowledge base. Both systems are written in TURBO PROLOG language and can be run on an IBM PC compatible with 640k RAM, 40 Mbyte hard disk and color graphics.
War of ontology worlds: mathematics, computer code, or Esperanto?
Rzhetsky, Andrey; Evans, James A
2011-09-01
The use of structured knowledge representations-ontologies and terminologies-has become standard in biomedicine. Definitions of ontologies vary widely, as do the values and philosophies that underlie them. In seeking to make these views explicit, we conducted and summarized interviews with a dozen leading ontologists. Their views clustered into three broad perspectives that we summarize as mathematics, computer code, and Esperanto. Ontology as mathematics puts the ultimate premium on rigor and logic, symmetry and consistency of representation across scientific subfields, and the inclusion of only established, non-contradictory knowledge. Ontology as computer code focuses on utility and cultivates diversity, fitting ontologies to their purpose. Like computer languages C++, Prolog, and HTML, the code perspective holds that diverse applications warrant custom designed ontologies. Ontology as Esperanto focuses on facilitating cross-disciplinary communication, knowledge cross-referencing, and computation across datasets from diverse communities. We show how these views align with classical divides in science and suggest how a synthesis of their concerns could strengthen the next generation of biomedical ontologies.
PVEX: An expert system for producibility/value engineering
NASA Technical Reports Server (NTRS)
Lam, Chun S.; Moseley, Warren
1991-01-01
PVEX is described as an expert system that solves the problem of selection of the material and process in missile manufacturing. The producibility and the value problem has been deeply studied in the past years, and was written in dBase III and PROLOG before. A new approach is presented in that the solution is achieved by introducing hypothetical reasoning, heuristic criteria integrated with a simple hypertext system and shell programming. PVEX combines KMS with Unix scripts which graphically depicts decision trees. The decision trees convey high level qualitative problem solving knowledge to users, and a stand-alone help facility and technical documentation is available through KMS. The system developed is considerably less development costly than any other comparable expert system.
Evaluating bacterial gene-finding HMM structures as probabilistic logic programs.
Mørk, Søren; Holmes, Ian
2012-03-01
Probabilistic logic programming offers a powerful way to describe and evaluate structured statistical models. To investigate the practicality of probabilistic logic programming for structure learning in bioinformatics, we undertook a simplified bacterial gene-finding benchmark in PRISM, a probabilistic dialect of Prolog. We evaluate Hidden Markov Model structures for bacterial protein-coding gene potential, including a simple null model structure, three structures based on existing bacterial gene finders and two novel model structures. We test standard versions as well as ADPH length modeling and three-state versions of the five model structures. The models are all represented as probabilistic logic programs and evaluated using the PRISM machine learning system in terms of statistical information criteria and gene-finding prediction accuracy, in two bacterial genomes. Neither of our implementations of the two currently most used model structures are best performing in terms of statistical information criteria or prediction performances, suggesting that better-fitting models might be achievable. The source code of all PRISM models, data and additional scripts are freely available for download at: http://github.com/somork/codonhmm. Supplementary data are available at Bioinformatics online.
The concept of aging in ayurveda.
Dwivedi, K K; Paul, M; Behere, P B; Singh, R H
1993-01-01
The present study reveals that the process of aging was elaborately described in Ayurveda. In order to prology the life span and to promote longevity a separate discipline called Rasayana Tantra was also developed. The sailent feature of this discipline are described in this article.
A Logic Basis for Information Retrieval.
ERIC Educational Resources Information Center
Watters, C. R.; Shepherd, M. A.
1987-01-01
Discusses the potential of recent work in artificial intelligence, especially expert systems, for the development of more effective information retrieval systems. Highlights include the role of an expert bibliographic retrieval system and a prototype expert retrieval system, PROBIB-2, that uses MicroProlog to provide deductive reasoning…
AutoBayes Program Synthesis System System Internals
NASA Technical Reports Server (NTRS)
Schumann, Johann Martin
2011-01-01
This lecture combines the theoretical background of schema based program synthesis with the hands-on study of a powerful, open-source program synthesis system (Auto-Bayes). Schema-based program synthesis is a popular approach toward program synthesis. The lecture will provide an introduction into this topic and discuss how this technology can be used to generate customized algorithms. The synthesis of advanced numerical algorithms requires the availability of a powerful symbolic (algebra) system. Its task is to symbolically solve equations, simplify expressions, or to symbolically calculate derivatives (among others) such that the synthesized algorithms become as efficient as possible. We will discuss the use and importance of the symbolic system for synthesis. Any synthesis system is a large and complex piece of code. In this lecture, we will study Autobayes in detail. AutoBayes has been developed at NASA Ames and has been made open source. It takes a compact statistical specification and generates a customized data analysis algorithm (in C/C++) from it. AutoBayes is written in SWI Prolog and many concepts from rewriting, logic, functional, and symbolic programming. We will discuss the system architecture, the schema libary and the extensive support infra-structure. Practical hands-on experiments and exercises will enable the student to get insight into a realistic program synthesis system and provides knowledge to use, modify, and extend Autobayes.
Ontology and medical diagnosis.
Bertaud-Gounot, Valérie; Duvauferrier, Régis; Burgun, Anita
2012-03-01
Ontology and associated generic tools are appropriate for knowledge modeling and reasoning, but most of the time, disease definitions in existing description logic (DL) ontology are not sufficient to classify patient's characteristics under a particular disease because they do not formalize operational definitions of diseases (association of signs and symptoms=diagnostic criteria). The main objective of this study is to propose an ontological representation which takes into account the diagnostic criteria on which specific patient conditions may be classified under a specific disease. This method needs as a prerequisite a clear list of necessary and sufficient diagnostic criteria as defined for lots of diseases by learned societies. It does not include probability/uncertainty which Web Ontology Language (OWL 2.0) cannot handle. We illustrate it with spondyloarthritis (SpA). Ontology has been designed in Protégé 4.1 OWL-DL2.0. Several kinds of criteria were formalized: (1) mandatory criteria, (2) picking two criteria among several diagnostic criteria, (3) numeric criteria. Thirty real patient cases were successfully classified with the reasoner. This study shows that it is possible to represent operational definitions of diseases with OWL and successfully classify real patient cases. Representing diagnostic criteria as descriptive knowledge (instead of rules in Semantic Web Rule Language or Prolog) allows us to take advantage of tools already available for OWL. While we focused on Assessment of SpondyloArthritis international Society SpA criteria, we believe that many of the representation issues addressed here are relevant to using OWL-DL for operational definition of other diseases in ontology.
Using Vector and Extended Boolean Matching in an Expert System for Selecting Foster Homes.
ERIC Educational Resources Information Center
Fox, Edward A.; Winett, Sheila G.
1990-01-01
Describes FOCES (Foster Care Expert System), a prototype expert system for choosing foster care placements for children which integrates information retrieval techniques with artificial intelligence. The use of prototypes and queries in Prolog routines, extended Boolean matching, and vector correlation are explained, as well as evaluation by…
NASA Astrophysics Data System (ADS)
Ionita, C.; Carena, F.
2014-06-01
The ALICE experiment at CERN employs a number of human operators (shifters), who have to make sure that the experiment is always in a state compatible with taking Physics data. Given the complexity of the system and the myriad of errors that can arise, this is not always a trivial task. The aim of this paper is to describe an expert system that is capable of assisting human shifters in the ALICE control room. The system diagnoses potential issues and attempts to make smart recommendations for troubleshooting. At its core, a Prolog engine infers whether a Physics or a technical run can be started based on the current state of the underlying sub-systems. A separate C++ component queries certain SMI objects and stores their state as facts in a Prolog knowledge base. By mining the data stored in different system logs, the expert system can also diagnose errors arising during a run. Currently the system is used by the on-call experts for faster response times, but we expect it to be adopted as a standard tool by regular shifters during the next data taking period.
Workshop on data acquisition and trigger system simulations for high energy physics
DOE Office of Scientific and Technical Information (OSTI.GOV)
NONE
1992-12-31
This report discusses the following topics: DAQSIM: A data acquisition system simulation tool; Front end and DCC Simulations for the SDC Straw Tube System; Simulation of Non-Blocklng Data Acquisition Architectures; Simulation Studies of the SDC Data Collection Chip; Correlation Studies of the Data Collection Circuit & The Design of a Queue for this Circuit; Fast Data Compression & Transmission from a Silicon Strip Wafer; Simulation of SCI Protocols in Modsim; Visual Design with vVHDL; Stochastic Simulation of Asynchronous Buffers; SDC Trigger Simulations; Trigger Rates, DAQ & Online Processing at the SSC; Planned Enhancements to MODSEM II & SIMOBJECT -- anmore » Overview -- R.; DAGAR -- A synthesis system; Proposed Silicon Compiler for Physics Applications; Timed -- LOTOS in a PROLOG Environment: an Algebraic language for Simulation; Modeling and Simulation of an Event Builder for High Energy Physics Data Acquisition Systems; A Verilog Simulation for the CDF DAQ; Simulation to Design with Verilog; The DZero Data Acquisition System: Model and Measurements; DZero Trigger Level 1.5 Modeling; Strategies Optimizing Data Load in the DZero Triggers; Simulation of the DZero Level 2 Data Acquisition System; A Fast Method for Calculating DZero Level 1 Jet Trigger Properties and Physics Input to DAQ Studies.« less
An Implementation in Pascal: Translation of Prolog into Pascal.
1985-06-01
for i:=1 to px do begin ifr (proc .i..relativity=O) then continue; if proc .. ) .ptype=6) hen continue;if (proc (...abegin<>O) then continue; passname...forj:=reitorn do if (j0) then continue; if (par (.>) ppe <>1) then continue; if (par .. .namie<>par(.i.).name) parle nO ype:par C.’ ntype; par Inblnd
TARA: Tool Assisted Requirements Analysis
1988-05-01
provided during the project and to aid tool integration . Chapter 6 provides a brief discussion of the experience of specifying the ASET case study in CORE...set of Prolog clauses. This includes the context-free grammar rules depicted in Figure 2.1, integrity constraints such as those defining the binding...Jeremaes (1986). This was developed originally for specifying database management ". semantics (for example, the preservation of integrity constraints
Abductive Equivalential Translation and its application to Natural Language Database Interfacing
NASA Astrophysics Data System (ADS)
Rayner, Manny
1994-05-01
The thesis describes a logical formalization of natural-language database interfacing. We assume the existence of a ``natural language engine'' capable of mediating between surface linguistic string and their representations as ``literal'' logical forms: the focus of interest will be the question of relating ``literal'' logical forms to representations in terms of primitives meaningful to the underlying database engine. We begin by describing the nature of the problem, and show how a variety of interface functionalities can be considered as instances of a type of formal inference task which we call ``Abductive Equivalential Translation'' (AET); functionalities which can be reduced to this form include answering questions, responding to commands, reasoning about the completeness of answers, answering meta-questions of type ``Do you know...'', and generating assertions and questions. In each case, a ``linguistic domain theory'' (LDT) Γ and an input formula F are given, and the goal is to construct a formula with certain properties which is equivalent to F, given Γ and a set of permitted assumptions. If the LDT is of a certain specified type, whose formulas are either conditional equivalences or Horn-clauses, we show that the AET problem can be reduced to a goal-directed inference method. We present an abstract description of this method, and sketch its realization in Prolog. The relationship between AET and several problems previously discussed in the literature is discussed. In particular, we show how AET can provide a simple and elegant solution to the so-called ``Doctor on Board'' problem, and in effect allows a ``relativization'' of the Closed World Assumption. The ideas in the thesis have all been implemented concretely within the SRI CLARE project, using a real projects and payments database. The LDT for the example database is described in detail, and examples of the types of functionality that can be achieved within the example domain are presented.
NASA Technical Reports Server (NTRS)
Culbert, Chris
1990-01-01
Although they have reached a point of commercial viability, expert systems were originally developed in artificial intelligence (AI) research environments. Many of the available tools still work best in such environments. These environments typically utilize special hardware such as LISP machines and relatively unfamiliar languages such as LISP or Prolog. Space Station applications will require deep integration of expert system technology with applications developed in conventional languages, specifically Ada. The ability to apply automation to Space Station functions could be greatly enhanced by widespread availability of state-of-the-art expert system tools based on Ada. Although there have been some efforts to examine the use of Ada for AI applications, there are few, if any, existing products which provide state-of-the-art AI capabilities in an Ada tool. The goal of the ART/Ada Design Project is to conduct research into the implementation in Ada of state-of-the-art hybrid expert systems building tools (ESBT's). This project takes the following approach: using the existing design of the ART-IM ESBT as a starting point, analyze the impact of the Ada language and Ada development methodologies on that design; redesign the system in Ada; and analyze its performance. The research project will attempt to achieve a comprehensive understanding of the potential for embedding expert systems in Ada systems for eventual application in future Space Station Freedom projects. During Phase 1 of the project, initial requirements analysis, design, and implementation of the kernel subset of ART-IM functionality was completed. During Phase 2, the effort has been focused on the implementation and performance analysis of several versions with increasing functionality. Since production quality ART/Ada tools will not be available for a considerable time, and additional subtask of this project will be the completion of an Ada version of the CLIPS expert system shell developed by NASA. This tool will provide full syntactic compatibility with any eventual products of the ART/Ada design while allowing SSFP developers early access to this technology.
NEXUS/NASCAD- NASA ENGINEERING EXTENDIBLE UNIFIED SOFTWARE SYSTEM WITH NASA COMPUTER AIDED DESIGN
NASA Technical Reports Server (NTRS)
Purves, L. R.
1994-01-01
NEXUS, the NASA Engineering Extendible Unified Software system, is a research set of computer programs designed to support the full sequence of activities encountered in NASA engineering projects. This sequence spans preliminary design, design analysis, detailed design, manufacturing, assembly, and testing. NEXUS primarily addresses the process of prototype engineering, the task of getting a single or small number of copies of a product to work. Prototype engineering is a critical element of large scale industrial production. The time and cost needed to introduce a new product are heavily dependent on two factors: 1) how efficiently required product prototypes can be developed, and 2) how efficiently required production facilities, also a prototype engineering development, can be completed. NEXUS extendibility and unification are achieved by organizing the system as an arbitrarily large set of computer programs accessed in a common manner through a standard user interface. The NEXUS interface is a multipurpose interactive graphics interface called NASCAD (NASA Computer Aided Design). NASCAD can be used to build and display two and three-dimensional geometries, to annotate models with dimension lines, text strings, etc., and to store and retrieve design related information such as names, masses, and power requirements of components used in the design. From the user's standpoint, NASCAD allows the construction, viewing, modification, and other processing of data structures that represent the design. Four basic types of data structures are supported by NASCAD: 1) three-dimensional geometric models of the object being designed, 2) alphanumeric arrays to hold data ranging from numeric scalars to multidimensional arrays of numbers or characters, 3) tabular data sets that provide a relational data base capability, and 4) procedure definitions to combine groups of system commands or other user procedures to create more powerful functions. NASCAD has extensive abilities to handle IGES format data, including proposed solid geometry formats. This facilitates interfacing with other CAD systems. NEXUS/NASCAD supports the activities encountered in various engineering projects as follows: 1) Preliminary Design - Geometric models can be built from points, lines, arcs, splines, polygons, drive surfaces, ruled surfaces, and bicubic spline surfaces. Geometric models can be displayed in any view (including hidden line and hidden surface removal) to check design features, 2) Design Analysis - Geometric models and related data structures can be used to build a NASTRAN data deck. Calculated stress data can be added to model data structures and displayed as color variations on the geometric model, 3) Detailed Design - This phase consists of dimensioning and annotating the geometric model and generating manufacturing and assembly drawings, 4) Manufacturing - NASCAD developed geometric model and related data structures can be used to build input for the APT program which generates a cutter location (CL) file describing required tool motions, 5) Assembly - Generation of a robot plan for putting together or taking apart (repair) of a mechanical assembly based on an IGES solid geometry description, and 6) Testing - Correlation of test data can be made with predictions made during the design analysis phase. NEXUS/NASCAD is available by license for a period of ten (10) years to approved licensees. The licensed program product includes the source, executable code, command streams, and one set of documentation. Additional documentation may be purchased separately at any time. The NASTRAN and APT programs are distributed separately from the NEXUS/NASCAD system (contact COSMIC for details). The NEXUS/NASCAD system is written in FORTRAN 77 and PROLOG, with command streams in DEC Control Language (DCL), for interactive execution under VMS on a DEC VAX series computer. All of the PROLOG code deals with the robot strategy planner feature. A minimum recommended configuration is a DEC VAX with 1 megabyte of real memory, 100 megabytes of disk storage, and a floating point accelerator. For interactive graphics, NEXUS/NASCAD currently supports Tektronix 4114, 4016, 4115, & 4095 terminal, Lexidata Solidview terminals, and Ramtek 9400 terminals. Most features are supported on the VT 125, and the non-graphics features are available from any text terminal. The NEXUS/NASCAD system was first released in 1984 and was last updated in 1986.
A Prolog System for Converting VHDL-Based Models to Generalized Extraction System (GES) Rules
1991-06-01
NOTICE When Government drawings, specifications, or other data are used for any purpose other than in connection with a definitely Government-related...any way supplied the said drawings, specifications, or other data , is not to be regarded by implication, or otherwise in any manner construed, as...information is estimated to average I hour per response, including the time for reviewilng instuctions. searching existing data souarces, qthprinq ted
PUP: An Architecture to Exploit Parallel Unification in Prolog
1988-03-01
environment stacking mo del similar to the Warren Abstract Machine [23] since it has been shown to be super ior to other known models (see [21]). The storage...execute in groups of independent operations. Unifications belonging to different group s may not overlap. Also unification operations belonging to the...since all parallel operations on the unification units must complete before any of the units can star t executing the next group of parallel
The Role of Ontologies in Schema-based Program Synthesis
NASA Technical Reports Server (NTRS)
Bures, Tomas; Denney, Ewen; Fischer, Bernd; Nistor, Eugen C.
2004-01-01
Program synthesis is the process of automatically deriving executable code from (non-executable) high-level specifications. It is more flexible and powerful than conventional code generation techniques that simply translate algorithmic specifications into lower-level code or only create code skeletons from structural specifications (such as UML class diagrams). Key to building a successful synthesis system is specializing to an appropriate application domain. The AUTOBAYES and AUTOFILTER systems, under development at NASA Ames, operate in the two domains of data analysis and state estimation, respectively. The central concept of both systems is the schema, a representation of reusable computational knowledge. This can take various forms, including high-level algorithm templates, code optimizations, datatype refinements, or architectural information. A schema also contains applicability conditions that are used to determine when it can be applied safely. These conditions can refer to the initial specification, to intermediate results, or to elements of the partially-instantiated code. Schema-based synthesis uses AI technology to recursively apply schemas to gradually refine a specification into executable code. This process proceeds in two main phases. A front-end gradually transforms the problem specification into a program represented in an abstract intermediate code. A backend then compiles this further down into a concrete target programming language of choice. A core engine applies schemas on the initial problem specification, then uses the output of those schemas as the input for other schemas, until the full implementation is generated. Since there might be different schemas that implement different solutions to the same problem this process can generate an entire solution tree. AUTOBAYES and AUTOFILTER have reached the level of maturity where they enable users to solve interesting application problems, e.g., the analysis of Hubble Space Telescope images. They are large (in total around 100kLoC Prolog), knowledge intensive systems that employ complex symbolic reasoning to generate a wide range of non-trivial programs for complex application do- mains. Their schemas can have complex interactions, which make it hard to change them in isolation or even understand what an existing schema actually does. Adding more capabilities by increasing the number of schemas will only worsen this situation, ultimately leading to the entropy death of the synthesis system. The root came of this problem is that the domain knowledge is scattered throughout the entire system and only represented implicitly in the schema implementations. In our current work, we are addressing this problem by making explicit the knowledge from Merent parts of the synthesis system. Here; we discuss how Gruber's definition of an ontology as an explicit specification of a conceptualization matches our efforts in identifying and explicating the domain-specific concepts. We outline the dual role ontologies play in schema-based synthesis and argue that they address different audiences and serve different purposes. Their first role is descriptive: they serve as explicit documentation, and help to understand the internal structure of the system. Their second role is prescriptive: they provide the formal basis against which the other parts of the system (e.g., schemas) can be checked. Their final role is referential: ontologies also provide semantically meaningful "hooks" which allow schemas and tools to access the internal state of the program derivation process (e.g., fragments of the generated code) in domain-specific rather than language-specific terms, and thus to modify it in a controlled fashion. For discussion purposes we use AUTOLINEAR, a small synthesis system we are currently experimenting with, which can generate code for solving a system of linear equations, Az = b.
NASA Technical Reports Server (NTRS)
Colombano, Silvano; Norvig, Peter (Technical Monitor)
2000-01-01
Few human endeavors can be viewed both as extremely successful and unsuccessful at the same time. This is typically the case when goals have not been well defined or have been shifting in time. This has certainly been true of Artificial Intelligence (AI). The nature of intelligence has been the object of much thought and speculation throughout the history of philosophy. It is in the nature of philosophy that real headway is sometimes made only when appropriate tools become available. Similarly the computer, coupled with the ability to program (at least in principle) any function, appeared to be the tool that could tackle the notion of intelligence. To suit the tool, the problem of the nature of intelligence was soon sidestepped in favor of this notion: If a probing conversation with a computer could not be distinguished from a conversation with a human, then AI had been achieved. This notion became known as the Turing test, after the mathematician Alan Turing who proposed it in 1950. Conceptually rich and interesting, these early efforts gave rise to a large portion of the field's framework. Key to AI, rather than the 'number crunching' typical of computers until then, was viewed as the ability to manipulate symbols and make logical inferences. To facilitate these tasks, AI languages such as LISP and Prolog were invented and used widely in the field. One idea that emerged and enabled some success with real world problems was the notion that 'most intelligence' really resided in knowledge. A phrase attributed to Feigenbaum, one of the pioneers, was 'knowledge is the power.' With this premise, the problem is shifted from 'how do we solve problems' to 'how do we represent knowledge.' A good knowledge representation scheme could allow one to draw conclusions from given premises. Such schemes took forms such as rules,frames and scripts. It allowed the building of what became known as expert systems or knowledge based systems (KBS).
Formal Verification of Digital Logic
1991-12-01
INVERT circuit was based upon VHDL code provided in the Zycad Reference Manual [32:Ch 10,73]. The other circuits were based upon VHtDL code written...HALFADD.PL /* This file implements a simple half-adder that * /* is built from inverters and 2 input nand gates. * /* It is based upon a Zycad VHDL file...It is based upon a Zycad VHDL file written by * /* Capt Dave Banton, which is attached below the * /* Prolog code . *load..in(primitive). %h get nor2
A Comparison Between the PLM and the MC68020 as Prolog Processors
1988-01-01
Continnt &OII P0111ter CP Memory X6_ofset(MP) A11ument Register 6 A6 Memory X7_ofset(MP) A11ument Register 7 A7 Memory X6_ofaet(MP) Tempor&ry Register 6...get_vuia.ble_Y iaput. Permeunt nria.ble Yi &Dd &rgumeat ~Jl8ler XJ output: fuDctioD move the content of Xj iato Yi get_va.na.ble_Y: move.! Xi.·4
Design and Implementation of a CMOS Chip for a Prolog
1988-03-01
generation scheme . We use the P -circuit [9] with pre-conditioning and post- conditioning 12,3] circuits to generate the carry. The implementation of...system generates vertical microcode for a general purpose processor, the NCR 9300 sys- S tem, from W- code [7]. Three significant pieces of software are...calculation block generating the pro- pagate ( P ) and generate (G) signals needed for carry calculation, and a sum block supplying the final result. The top
Architecture studies and system demonstrations for optical parallel processor for AI and NI
NASA Astrophysics Data System (ADS)
Lee, Sing H.
1988-03-01
In solving deterministic AI problems the data search for matching the arguments of a PROLOG expression causes serious bottleneck when implemented sequentially by electronic systems. To overcome this bottleneck we have developed the concepts for an optical expert system based on matrix-algebraic formulation, which will be suitable for parallel optical implementation. The optical AI system based on matrix-algebraic formation will offer distinct advantages for parallel search, adult learning, etc.
ERIC Educational Resources Information Center
King, Paul; King, Eva
This language-through-literature program is designed to be used as a native language program (language arts/reading readiness), as a second language program, or as a combined native and second language program in early childhood education. Sequentially developed over the year and within each unit, the program is subdivided into 14 units of about…
ERIC Educational Resources Information Center
Linn, Mary S.; Naranjo, Tessie; Nicholas, Sheilah; Slaughter, Inee; Yamamoto, Akira; Zepeda, Ofelia
The Indigenous Language Institute (ILI) collaborates with indigenous language communities to combat language decline. ILI facilitates community-based language programs, increases public awareness of language endangerment, and disseminates information on language preservation and successful language revitalization programs. In response to numerous…
Code of Federal Regulations, 2010 CFR
2010-04-01
... 25 Indians 1 2010-04-01 2010-04-01 false Can a school integrate Language Development programs into... Language Development Programs § 39.132 Can a school integrate Language Development programs into its regular instructional program? A school may offer Language Development programs to students as part of its...
Code of Federal Regulations, 2011 CFR
2011-04-01
... 25 Indians 1 2011-04-01 2011-04-01 false Can a school integrate Language Development programs into... Language Development Programs § 39.132 Can a school integrate Language Development programs into its regular instructional program? A school may offer Language Development programs to students as part of its...
25 CFR 39.136 - What is the WSU for Language Development programs?
Code of Federal Regulations, 2011 CFR
2011-04-01
... 25 Indians 1 2011-04-01 2011-04-01 false What is the WSU for Language Development programs? 39.136... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.136 What is the WSU for Language Development programs? Language Development programs are funded at 0.13 WSUs per student. ...
ERIC Educational Resources Information Center
Teschner, Richard V., Ed.
This collection of papers includes: "Foreign Language Testing Today: Issues in Language Program Direction" (Frank Nuessel); "Assessing the Problems of Assessment" (M. Peter Hagiwara); "Testing in Foreign Language Programs and Testing Programs in Foreign Language Departments: Reflections and Recommendations" (Elizabeth…
25 CFR 39.131 - What is a Language Development Program?
Code of Federal Regulations, 2014 CFR
2014-04-01
... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a Language Development Program? A Language Development program is one that serves students who either: (a...
25 CFR 39.131 - What is a Language Development Program?
Code of Federal Regulations, 2013 CFR
2013-04-01
... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a Language Development Program? A Language Development program is one that serves students who either: (a...
25 CFR 39.131 - What is a Language Development Program?
Code of Federal Regulations, 2012 CFR
2012-04-01
... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a Language Development Program? A Language Development program is one that serves students who either: (a...
ERIC Educational Resources Information Center
Heilenman, L. Kathy, Ed.
This collection of papers is divided into two parts. After "Introduction" (L. Kathy Heilenman), Part 1, "Research and Language Program Directors: The Relationship," includes "Research Domains and Language Program Direction" (Bill VanPatten); "Language Program Direction and the Modernist Agenda" (Celeste…
A survey of functional programming language principles
NASA Technical Reports Server (NTRS)
Holloway, C. M.
1986-01-01
Research in the area of functional programming languages has intensified in the 8 years since John Backus' Turing Award Lecture on the topic was published. The purpose of this paper is to present a survey of the ideas of functional programming languages. The paper assumes the reader is comfortable with mathematics and has knowledge of the basic principles of traditional programming languages, but does not assume any prior knowledge of the ideas of functional languages. A simple functional language is defined and used to illustrate the basic ideas. Topics discussed include the reasons for developing functional languages, methods of expressing concurrency, the algebra of functional programming languages, program transformation techniques, and implementations of functional languages. Existing functional languages are also mentioned. The paper concludes with the author's opinions as to the future of functional languages. An annotated bibliography on the subject is also included.
Code of Federal Regulations, 2010 CFR
2010-04-01
... 25 Indians 1 2010-04-01 2010-04-01 false May schools operate a language development program... Formula Language Development Programs § 39.137 May schools operate a language development program without a specific appropriation from Congress? Yes, a school may operate a language development program...
34 CFR 658.1 - What is the Undergraduate International Studies and Foreign Language Program?
Code of Federal Regulations, 2011 CFR
2011-07-01
... Foreign Language Program? 658.1 Section 658.1 Education Regulations of the Offices of the Department of... STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.1 What is the Undergraduate International Studies and Foreign Language Program? The Undergraduate International Studies and Foreign Language Program is designed...
34 CFR 669.1 - What is the Language Resource Centers Program?
Code of Federal Regulations, 2010 CFR
2010-07-01
... 34 Education 3 2010-07-01 2010-07-01 false What is the Language Resource Centers Program? 669.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION LANGUAGE RESOURCE CENTERS PROGRAM General § 669.1 What is the Language Resource Centers Program? The Language Resource Centers Program makes awards, through grants or...
34 CFR 658.1 - What is the Undergraduate International Studies and Foreign Language Program?
Code of Federal Regulations, 2010 CFR
2010-07-01
... Foreign Language Program? 658.1 Section 658.1 Education Regulations of the Offices of the Department of... STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.1 What is the Undergraduate International Studies and Foreign Language Program? The Undergraduate International Studies and Foreign Language Program is designed...
34 CFR 669.1 - What is the Language Resource Centers Program?
Code of Federal Regulations, 2011 CFR
2011-07-01
... 34 Education 3 2011-07-01 2011-07-01 false What is the Language Resource Centers Program? 669.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION LANGUAGE RESOURCE CENTERS PROGRAM General § 669.1 What is the Language Resource Centers Program? The Language Resource Centers Program makes awards, through grants or...
Flight program language requirements. Volume 2: Requirements and evaluations
NASA Technical Reports Server (NTRS)
1972-01-01
The efforts and results are summarized for a study to establish requirements for a flight programming language for future onboard computer applications. Several different languages were available as potential candidates for future NASA flight programming efforts. The study centered around an evaluation of the four most pertinent existing aerospace languages. Evaluation criteria were established, and selected kernels from the current Saturn 5 and Skylab flight programs were used as benchmark problems for sample coding. An independent review of the language specifications incorporated anticipated future programming requirements into the evaluation. A set of detailed language requirements was synthesized from these activities. The details of program language requirements and of the language evaluations are described.
ERIC Educational Resources Information Center
Usborne, Esther; Peck, Josephine; Smith, Donna-Lee; Taylor, Donald M.
2011-01-01
Aboriginal communities across Canada are implementing Aboriginal language programs in their schools. In the present research, we explore the impact of learning through an Aboriginal language on students' English and Aboriginal language skills by contrasting a Mi'kmaq language immersion program with a Mi'kmaq as a second language program. The…
NASA Technical Reports Server (NTRS)
Mathur, F. P.
1972-01-01
Several common higher level program languages are described. FORTRAN, ALGOL, COBOL, PL/1, and LISP 1.5 are summarized and compared. FORTRAN is the most widely used scientific programming language. ALGOL is a more powerful language for scientific programming. COBOL is used for most commercial programming applications. LISP 1.5 is primarily a list-processing language. PL/1 attempts to combine the desirable features of FORTRAN, ALGOL, and COBOL into a single language.
Flight program language requirements. Volume 1: Executive summary
NASA Technical Reports Server (NTRS)
1972-01-01
The activities and results of a study for the definition of flight program language requirements are described. A set of detailed requirements are presented for a language capable of supporting onboard application programming for the Marshall Space Flight Center's anticipated future activities in the decade of 1975-85. These requirements are based, in part, on the evaluation of existing flight programming language designs to determine the applicability of these designs to flight programming activities which are anticipated. The coding of benchmark problems in the selected programming languages is discussed. These benchmarks are in the form of program kernels selected from existing flight programs. This approach was taken to insure that the results of the study would reflect state of the art language capabilities, as well as to determine whether an existing language design should be selected for adaptation.
25 CFR 39.130 - Can ISEF funds be used for Language Development Programs?
Code of Federal Regulations, 2010 CFR
2010-04-01
... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.130 Can ISEF funds be used for Language Development Programs? Yes, schools can use ISEF funds to... 25 Indians 1 2010-04-01 2010-04-01 false Can ISEF funds be used for Language Development Programs...
25 CFR 39.130 - Can ISEF funds be used for Language Development Programs?
Code of Federal Regulations, 2011 CFR
2011-04-01
... 25 Indians 1 2011-04-01 2011-04-01 false Can ISEF funds be used for Language Development Programs... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.130 Can ISEF funds be used for Language Development Programs? Yes, schools can use ISEF funds to...
NASA Technical Reports Server (NTRS)
Shaykhian, Gholam Ali
2007-01-01
C++ Programming Language: The C++ seminar covers the fundamentals of C++ programming language. The C++ fundamentals are grouped into three parts where each part includes both concept and programming examples aimed at for hands-on practice. The first part covers the functional aspect of C++ programming language with emphasis on function parameters and efficient memory utilization. The second part covers the essential framework of C++ programming language, the object-oriented aspects. Information necessary to evaluate various features of object-oriented programming; including encapsulation, polymorphism and inheritance will be discussed. The last part of the seminar covers template and generic programming. Examples include both user defined and standard templates.
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…
Snowden, Lonnie R; McClellan, Sean R
2013-09-01
We investigated the extent to which implementing language assistance programming through contracting with community-based organizations improved the accessibility of mental health care under Medi-Cal (California's Medicaid program) for Spanish-speaking persons with limited English proficiency, and whether it reduced language-based treatment access disparities. Using a time series nonequivalent control group design, we studied county-level penetration of language assistance programming over 10 years (1997-2006) for Spanish-speaking persons with limited English proficiency covered under Medi-Cal. We used linear regression with county fixed effects to control for ongoing trends and other influences. When county mental health plans contracted with community-based organizations, those implementing language assistance programming increased penetration rates of Spanish-language mental health services under Medi-Cal more than other plans (0.28 percentage points, a 25% increase on average; P < .05). However, the increase was insufficient to significantly reduce language-related disparities. Mental health treatment programs operated by community-based organizations may have moderately improved access after implementing required language assistance programming, but the programming did not reduce entrenched disparities in the accessibility of mental health services.
McClellan, Sean R.
2013-01-01
Objectives. We investigated the extent to which implementing language assistance programming through contracting with community-based organizations improved the accessibility of mental health care under Medi-Cal (California’s Medicaid program) for Spanish-speaking persons with limited English proficiency, and whether it reduced language-based treatment access disparities. Methods. Using a time series nonequivalent control group design, we studied county-level penetration of language assistance programming over 10 years (1997–2006) for Spanish-speaking persons with limited English proficiency covered under Medi-Cal. We used linear regression with county fixed effects to control for ongoing trends and other influences. Results. When county mental health plans contracted with community-based organizations, those implementing language assistance programming increased penetration rates of Spanish-language mental health services under Medi-Cal more than other plans (0.28 percentage points, a 25% increase on average; P < .05). However, the increase was insufficient to significantly reduce language-related disparities. Conclusions. Mental health treatment programs operated by community-based organizations may have moderately improved access after implementing required language assistance programming, but the programming did not reduce entrenched disparities in the accessibility of mental health services. PMID:23865663
ERIC Educational Resources Information Center
Feldman, David
1975-01-01
Stresses the importance of language laboratories and other technical devices used in foreign language teaching, particularly in programed language instruction. Illustrates, by means of taxonomies, the various stages a foreign language learning program should follow. (Text is in Spanish.) (DS)
An IBM 370 assembly language program verifier
NASA Technical Reports Server (NTRS)
Maurer, W. D.
1977-01-01
The paper describes a program written in SNOBOL which verifies the correctness of programs written in assembly language for the IBM 360 and 370 series of computers. The motivation for using assembly language as a source language for a program verifier was the realization that many errors in programs are caused by misunderstanding or ignorance of the characteristics of specific computers. The proof of correctness of a program written in assembly language must take these characteristics into account. The program has been compiled and is currently running at the Center for Academic and Administrative Computing of The George Washington University.
Educator Language Ideologies and a Top-Down Dual Language Program
ERIC Educational Resources Information Center
Fitzsimmons-Doolan, Shannon; Palmer, Deborah; Henderson, Kathryn
2017-01-01
Dual language bilingual education (DLBE) programs are framed to reflect pluralist discourses (de Jong, E. [2013]. "Policy Discourses and U.S. Language in Education Policies." "Peabody Journal of Education" 88 (1): 98-111) and affiliated language ideologies. The continued expansion of DLBE programs not surprisingly brings to…
Teaching Adaptability of Object-Oriented Programming Language Curriculum
ERIC Educational Resources Information Center
Zhu, Xiao-dong
2012-01-01
The evolution of object-oriented programming languages includes update of their own versions, update of development environments, and reform of new languages upon old languages. In this paper, the evolution analysis of object-oriented programming languages is presented in term of the characters and development. The notion of adaptive teaching upon…
Innovative Second Language Education: Bilingual Immersion Programs.
ERIC Educational Resources Information Center
Snow, Marguerite Ann
Bilingual immersion programs combine second language immersion for language majority children and bilingual education for language minority children. The programs are based on the underlying assumption of the immersion model: that a second language is best learned as a medium of instruction, not as the object of instruction. However, they are not…
The BASIC Instructional Program: Conversion into MAINSAIL Language.
ERIC Educational Resources Information Center
Dageforde, Mary L.
This report summarizes the rewriting of the BASIC Instructional Program (BIP) (a "hands-on laboratory" that teaches elementary programming in the BASIC language) from SAIL (a programming language available only on PDP-10 computers) into MAINSAIL (a language designed for portability on a broad class of computers). Four sections contain…
NATAL-74; Towards a Common Programming Language for CAL.
ERIC Educational Resources Information Center
Brahan, J. W.; Colpitts, B. A.
NATAL-74 is a programing language designed for Canadian computer aided learning (CAL) programs. The language has two fundamental elements: the UNIT provides the interface between the student and the subject matter, and the PROCEDURE element embodies teaching strategy. Desirable features of several programing languages have been adapted to cope…
A high level language for a high performance computer
NASA Technical Reports Server (NTRS)
Perrott, R. H.
1978-01-01
The proposed computational aerodynamic facility will join the ranks of the supercomputers due to its architecture and increased execution speed. At present, the languages used to program these supercomputers have been modifications of programming languages which were designed many years ago for sequential machines. A new programming language should be developed based on the techniques which have proved valuable for sequential programming languages and incorporating the algorithmic techniques required for these supercomputers. The design objectives for such a language are outlined.
Survey of Speech-Language Pathology Graduate Program Training in Outer and Middle Ear Screening.
Serpanos, Yula C; Senzer, Deborah
2015-08-01
The purpose of this study was to determine the national training practices of speech-language pathology graduate programs in outer and middle ear screening. Directors of all American Speech-Language-Hearing Association-accredited speech-language pathology graduate programs (N = 254; Council on Academic Accreditation in Audiology and Speech-Language Pathology, 2013) were surveyed on instructional formats in outer and middle ear screening. The graduate speech-language pathology program survey yielded 84 (33.1%) responses. Results indicated that some programs do not provide any training in the areas of conventional screening otoscopy using a handheld otoscope (15.5%; n = 13) or screening tympanometry (11.9%; n = 10), whereas close to one half (46.4%; n = 39) reported no training in screening video otoscopy. Outcomes revealed that approximately one third or more of speech-language pathology graduate programs do not provide experiential opportunities in screening handheld otoscopy (36.9%) or tympanometry (32.1%), and most (78.6%) do not provide experiential opportunities in video otoscopy. The implication from the graduate speech-language pathology program survey findings is that some speech-language pathologists will graduate from academic programs without the acquired knowledge or experiential learning required to establish skill in 1 or more areas of screening otoscopy and tympanometry. Graduate speech-language pathology programs should consider appropriate training opportunities for students to acquire and demonstrate skill in outer and middle ear screening.
ERIC Educational Resources Information Center
Padron, Yolanda N.; Waxman, Hersh C.
2016-01-01
This study examined principals' knowledge and perceptions of second language programs for English language learners (ELLs) operating in their schools. An open-ended survey and in-depth interviews were used to examine elementary school principals' knowledge of the second language programs implemented at their schools. The survey asked principals…
ERIC Educational Resources Information Center
Salgado, Herlinda Arlene Galve
2016-01-01
Elementary Spanish language immersion programs have become more popular in the educational field in the United States to support the academic achievement of minority students. The final goal of immersion programs is to develop proficiency in the home language and dominant language, identified as first language (L1) and second language (L2), to…
NASA Astrophysics Data System (ADS)
Bogdanchikov, A.; Zhaparov, M.; Suliyev, R.
2013-04-01
Today we have a lot of programming languages that can realize our needs, but the most important question is how to teach programming to beginner students. In this paper we suggest using Python for this purpose, because it is a programming language that has neatly organized syntax and powerful tools to solve any task. Moreover it is very close to simple math thinking. Python is chosen as a primary programming language for freshmen in most of leading universities. Writing code in python is easy. In this paper we give some examples of program codes written in Java, C++ and Python language, and we make a comparison between them. Firstly, this paper proposes advantages of Python language in relation to C++ and JAVA. Then it shows the results of a comparison of short program codes written in three different languages, followed by a discussion on how students understand programming. Finally experimental results of students' success in programming courses are shown.
Usability Issues in the Design of Novice Programming Systems,
1996-08-01
lists this as a design principle for novice programming environments. In traditional compiled languages, beginners are also confused by the need to...programming task external knowledge that might interfere with correct under- standing of the language. Most beginner programming errors can be...language for text editing, but [Curtis 1988] found that a textual pseudocode and graphical flowcharts were both bet- ter than natural language in program
ERIC Educational Resources Information Center
Tesler, Lawrence G.
1984-01-01
Discusses the nature of programing languages, considering the features of BASIC, LOGO, PASCAL, COBOL, FORTH, APL, and LISP. Also discusses machine/assembly codes, the operation of a compiler, and trends in the evolution of programing languages (including interest in notational systems called object-oriented languages). (JN)
A Common Programming Language for the Department of Defense--Background and Technical Requirements
1976-06-01
Method Findings I. Introduction A. The Problem 1. Software Costs 2. Programming Language 3. Lack of Comrr.onality 4. Common Language 5...accessible soft- ware tools and aids. There are a number of widely held perceptions about the ill effects of the lack of programming language ...cost- effective (at lea~t during development) than de- velopi~g a new programming language specialized to the project. On the other hand,
1990-03-01
Dist~i~ Ulnre rbu~ on Una o~d0 9 ~ j 2 0 0 TNO rapport Pagina rappon no. .FEL-89-A312 f"It Kwaliteit van Expertsystemen: Algoritmen voor Integriteits...KNOWLEDGEBASE 7 2.1 Inleiding 7 2.2 Een uitbreiding op NIAM: E(xtended)NIAM 8 2.3 Specificatie in E(xtended)NIAM 11 2.4 Representatie in Prolog 13 3...instantiatie van cen ThO rapport Pagina 9 ’graph’ is gelijk aan ten propositie (ean uitspraak over dea werkelijkheid). ’Graph’- instantiaties zijn
What Is a Programming Language?
ERIC Educational Resources Information Center
Wold, Allen
1983-01-01
Explains what a computer programing language is in general, the differences between machine language, assembler languages, and high-level languages, and the functions of compilers and interpreters. High-level languages mentioned in the article are: BASIC, FORTRAN, COBOL, PILOT, LOGO, LISP, and SMALLTALK. (EAO)
Total Immersion Language Program: A New Approach to Foreign Language Instruction. Technical Report.
ERIC Educational Resources Information Center
Morel, Stefano
A three-year experimental program established in 1966 in Spanish language instruction at the secondary level is reported in this study. Students at Commack High School North, New York, participated in a total immersion language program in Spanish, taking two to four classes of instruction in the target language per day. Classes included regular…
Code of Federal Regulations, 2010 CFR
2010-07-01
... International Studies and Foreign Language Program? 658.4 Section 658.4 Education Regulations of the Offices of... UNDERGRADUATE INTERNATIONAL STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.4 What definitions apply to the Undergraduate International Studies and Foreign Language Program? The definitions in 34 CFR 655.4 apply to this...
Code of Federal Regulations, 2011 CFR
2011-07-01
... International Studies and Foreign Language Program? 658.4 Section 658.4 Education Regulations of the Offices of... UNDERGRADUATE INTERNATIONAL STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.4 What definitions apply to the Undergraduate International Studies and Foreign Language Program? The definitions in 34 CFR 655.4 apply to this...
Students' Perspective on the First Programming Language: C-Like or Pascal-Like Languages?
ERIC Educational Resources Information Center
Xinogalos, Stelios; Pitner, Tomáš; Ivanovic, Mirjana; Savic, Miloš
2018-01-01
The choice of the first programming language (FPL) has been a controversial issue for several decades. Nearly everyone agrees that the FPL is important and affects students' subsequent education on programming. The study presented in this article investigates the suitability of various C-like and Pascal-like programming languages as a FPL.…
HAL/SM language specification. [programming languages and computer programming for space shuttles
NASA Technical Reports Server (NTRS)
Williams, G. P. W., Jr.; Ross, C.
1975-01-01
A programming language is presented for the flight software of the NASA Space Shuttle program. It is intended to satisfy virtually all of the flight software requirements of the space shuttle. To achieve this, it incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks. It is a higher order language designed to allow programmers, analysts, and engineers to communicate with the computer in a form approximating natural mathematical expression. Parts of the English language are combined with standard notation to provide a tool that readily encourages programming without demanding computer hardware expertise. Block diagrams and flow charts are included. The semantics of the language is discussed.
Artificial intelligence programming languages for computer aided manufacturing
NASA Technical Reports Server (NTRS)
Rieger, C.; Samet, H.; Rosenberg, J.
1979-01-01
Eight Artificial Intelligence programming languages (SAIL, LISP, MICROPLANNER, CONNIVER, MLISP, POP-2, AL, and QLISP) are presented and surveyed, with examples of their use in an automated shop environment. Control structures are compared, and distinctive features of each language are highlighted. A simple programming task is used to illustrate programs in SAIL, LISP, MICROPLANNER, and CONNIVER. The report assumes reader knowledge of programming concepts, but not necessarily of the languages surveyed.
ERIC Educational Resources Information Center
Seals, Corinne A.; Peyton, Joy Kreeft
2017-01-01
This article argues for the value of heritage language programs and the micro-level language policies that support them, focusing on a case study of a program in the USA to make this argument. We also argue for the importance of recognizing students' heritage languages, cultures, and individual goals and identities in mainstream school programs.…
ERIC Educational Resources Information Center
Fox, Janna; Cheng, Liying; Zumbo, Bruno D.
2014-01-01
Few studies have investigated the impact of English language programs on second language (L2) students studying in Canadian universities (Cheng & Fox, 2008; Fox, 2005, 2009). This article reports on questionnaire responses of 641 L2 students studying in 36 English language programs in 26 Canadian universities. The researchers identified…
An Evaluation Framework and Comparative Analysis of the Widely Used First Programming Languages
Farooq, Muhammad Shoaib; Khan, Sher Afzal; Ahmad, Farooq; Islam, Saeed; Abid, Adnan
2014-01-01
Computer programming is the core of computer science curriculum. Several programming languages have been used to teach the first course in computer programming, and such languages are referred to as first programming language (FPL). The pool of programming languages has been evolving with the development of new languages, and from this pool different languages have been used as FPL at different times. Though the selection of an appropriate FPL is very important, yet it has been a controversial issue in the presence of many choices. Many efforts have been made for designing a good FPL, however, there is no ample way to evaluate and compare the existing languages so as to find the most suitable FPL. In this article, we have proposed a framework to evaluate the existing imperative, and object oriented languages for their suitability as an appropriate FPL. Furthermore, based on the proposed framework we have devised a customizable scoring function to compute a quantitative suitability score for a language, which reflects its conformance to the proposed framework. Lastly, we have also evaluated the conformance of the widely used FPLs to the proposed framework, and have also computed their suitability scores. PMID:24586449
An evaluation framework and comparative analysis of the widely used first programming languages.
Farooq, Muhammad Shoaib; Khan, Sher Afzal; Ahmad, Farooq; Islam, Saeed; Abid, Adnan
2014-01-01
Computer programming is the core of computer science curriculum. Several programming languages have been used to teach the first course in computer programming, and such languages are referred to as first programming language (FPL). The pool of programming languages has been evolving with the development of new languages, and from this pool different languages have been used as FPL at different times. Though the selection of an appropriate FPL is very important, yet it has been a controversial issue in the presence of many choices. Many efforts have been made for designing a good FPL, however, there is no ample way to evaluate and compare the existing languages so as to find the most suitable FPL. In this article, we have proposed a framework to evaluate the existing imperative, and object oriented languages for their suitability as an appropriate FPL. Furthermore, based on the proposed framework we have devised a customizable scoring function to compute a quantitative suitability score for a language, which reflects its conformance to the proposed framework. Lastly, we have also evaluated the conformance of the widely used FPLs to the proposed framework, and have also computed their suitability scores.
Knowledge, programming, and programming cultures: LISP, C, and Ada
NASA Technical Reports Server (NTRS)
Rochowiak, Daniel
1990-01-01
The results of research 'Ada as an implementation language for knowledge based systems' are presented. The purpose of the research was to compare Ada to other programming languages. The report focuses on the programming languages Ada, C, and Lisp, the programming cultures that surround them, and the programming paradigms they support.
The African Language Program at Michigan State University.
ERIC Educational Resources Information Center
Dwyer, David
1979-01-01
Describes the African language program at Michigan State University, which provides (1) supervised, individualized instruction for high-demand languages, on two levels; (2) regular classroom instruction for Swahili and Hausa; and (3) non-credit, self-instructional programs for low-demand languages. Sample forms are appended. (AM)
Computer Programming Languages for Health Care
O'Neill, Joseph T.
1979-01-01
This paper advocates the use of standard high level programming languages for medical computing. It recommends that U.S. Government agencies having health care missions implement coordinated policies that encourage the use of existing standard languages and the development of new ones, thereby enabling them and the medical computing community at large to share state-of-the-art application programs. Examples are based on a model that characterizes language and language translator influence upon the specification, development, test, evaluation, and transfer of application programs.
Flight program language requirements. Volume 3: Appendices
NASA Technical Reports Server (NTRS)
1972-01-01
Government-sponsored study and development efforts were directed toward design and implementation of high level programming languages suitable for future aerospace applications. The study centered around an evaluation of the four most pertinent existing aerospace languages. Evaluation criteria were established, and selected kernels from the current Saturn 5 and Skylab flight programs were used as benchmark problems for sample coding. An independent review of the language specifications incorporated anticipated future programming requirements into the evaluation. A set of language requirements was synthesized from these activities.
Praxis language reference manual
DOE Office of Scientific and Technical Information (OSTI.GOV)
Walker, J.H.
1981-01-01
This document is a language reference manual for the programming language Praxis. The document contains the specifications that must be met by any compiler for the language. The Praxis language was designed for systems programming in real-time process applications. Goals for the language and its implementations are: (1) highly efficient code generated by the compiler; (2) program portability; (3) completeness, that is, all programming requirements can be met by the language without needing an assembler; and (4) separate compilation to aid in design and management of large systems. The language does not provide any facilities for input/output, stack and queuemore » handling, string operations, parallel processing, or coroutine processing. These features can be implemented as routines in the language, using machine-dependent code to take advantage of facilities in the control environment on different machines.« less
Visual Programming: A Programming Tool for Increasing Mathematics Achivement
ERIC Educational Resources Information Center
Swanier, Cheryl A.; Seals, Cheryl D.; Billionniere, Elodie V.
2009-01-01
This paper aims to address the need of increasing student achievement in mathematics using a visual programming language such as Scratch. This visual programming language facilitates creating an environment where students in K-12 education can develop mathematical simulations while learning a visual programming language at the same time.…
Problems for a Sign Language Planning Agency
ERIC Educational Resources Information Center
Covington, Virginia
1977-01-01
American Sign Language is chiefly untaught and nonstandardized. The Communicative Skills Program of the National Association of the Deaf aims to provide sign language classes for hearing personnel and to increase interpreting services. Programs, funding and aims of the Program are outlined. A government sign language planning agency is proposed.…
A Year-Round Professional Development Model for World Language Educators
ERIC Educational Resources Information Center
Steele, Tracy M.; Peterson, Margaret D.; Silva, Duarte M.; Padilla, Amado M.
2009-01-01
The Bay Area Foreign Language Program (BAFLP), one of nine regional sites of the California Foreign Language Project, offers ongoing, year-round professional development programs for world language educators. In addition, its leadership program prepares selected educators to assume leadership positions at their school sites, building capacity for…
Quantitative Model for Choosing Programming Language for Online Instruction
ERIC Educational Resources Information Center
Sherman, Steven J.; Shehane, Ronald F.; Todd, Dewey W.
2018-01-01
Colleges are increasingly offering online courses, including computer programming courses for business school students. Programming languages that are most useful to students are those that are widely used in the job market. However, the most popular computer languages change at least every three years. Therefore, the language used for instruction…
Foreign Language K-12. Program Evaluation 1991-92.
ERIC Educational Resources Information Center
Wadden, Jerry M.
The Des Moines (Iowa) Public Schools foreign language program for K-12 is described and evaluated. The evaluation report focuses on six areas, including: (1) school district mission and philosophy of foreign language instruction; (2) context (state policies and standards, foreign language program overview and enrollment, fiber-optic communication…
Les programmes de base: des principes a la realite (Core Programs: From Principles to Reality).
ERIC Educational Resources Information Center
Calve, Pierre
1985-01-01
The recent evolution of second language teaching theory regarding language, learning, communication, and teaching is summarized, and factors contributing to resistance to core second language programs are examined. They include tradition, school programs, time of instruction, language of instruction, teacher training, attitudes, and…
77 FR 30045 - 30-Day Notice of Proposed Information Collection: English Language Evaluation Surveys
Federal Register 2010, 2011, 2012, 2013, 2014
2012-05-21
...] 30-Day Notice of Proposed Information Collection: English Language Evaluation Surveys ACTION: Notice... clearance will allow ECA/P/V, as part of the English Language Evaluation, to conduct surveys of participants in the ETA Program, E-Teacher Scholarship program, and the English Language Specialist Program...
Listen! Native Radio Can Save Languages.
ERIC Educational Resources Information Center
Martin, Kallen
1996-01-01
In the United States and Canada, the number of radio stations operated by Native Americans has greatly increased in recent years, as have the amount of programming in native languages and the number of native language instructional programs. Such programming can play a role in maintaining vigorous native languages and revitalizing endangered…
Synchronization in Scratch: A Case Study with Education Science Students
ERIC Educational Resources Information Center
Nikolos, Dimitris; Komis, Vassilis
2015-01-01
The Scratch programming language is an introductory programming language for students. It is also a visual concurrent programming language, where multiple threads are executed simultaneously. Synchronization in concurrent languages is a complex task for novices to understand. Our research is focused on strategies and methods applied by novice…
ERIC Educational Resources Information Center
Shaw, Yun
2010-01-01
Many of the commercial Computer-Assisted Language Learning (CALL) programs available today typically take a generic approach. This approach standardizes the program so that it can be used to teach any language merely by translating the content from one language to another. These CALL programs rarely consider the cultural background or preferred…
Towards the Automatic Generation of Programmed Foreign-Language Instructional Materials.
ERIC Educational Resources Information Center
Van Campen, Joseph A.
The purpose of this report is to describe a set of programs which either perform certain tasks useful in the generation of programed foreign-language instructional material or facilitate the writing of such task-oriented programs by other researchers. The programs described are these: (1) a PDP-10 assembly language program for the selection from a…
Programming Language Use in US Academia and Industry
ERIC Educational Resources Information Center
Ben Arfa Rabai, Latifa; Cohen, Barry; Mili, Ali
2015-01-01
In the same way that natural languages influence and shape the way we think, programming languages have a profound impact on the way a programmer analyzes a problem and formulates its solution in the form of a program. To the extent that a first programming course is likely to determine the student's approach to program design, program analysis,…
ERIC Educational Resources Information Center
Henderson, Kathryn I.; Palmer, Deborah K.
2015-01-01
This article provides an in-depth exploration of the language ecologies of two classrooms attempting to implement a two-way dual language (TWDL) program and its mediating conditions. Drawing on ethnographic methods and a sociocultural understanding of language, we examined both teachers' and students' language ideologies and language practices,…
Chief Dull Knife Community Is Strengthening the Northern Cheyenne Language and Culture.
ERIC Educational Resources Information Center
Littlebear, Richard E.
2003-01-01
Language revitalization programs should focus on whether they want to teach the language, teach about the language, teach with the language, or teach the language for academic credit. A program at Chief Dull Knife College (Montana) teaches the Cheyenne language using the Total Physical Response method, which replicates the manner in which first…
Language plus for international graduate students in nursing.
Julian, M A; Keane, A; Davidson, K
1999-01-01
To provide information about an English-language support program that focuses on the needs of international graduate nursing students. The growing presence of these students coincides with the increasing numbers of universities committed to world health. Crucial social and language competence affect the success and progress of international students in graduate nursing programs. Reviewed literature was 1980 to 1998, in nursing and applied linguistic research including second-language acquisition, phonology, discourse analysis, and language pragmatics to identify social and language phenomena. Investigators suggest essential elements such as conventions of academic writing, reading comprehension, vocabulary, and pronunciation skills be included in the supportive Language Plus program. Ongoing development of the Language Plus program can promote collaboration between nurses and linguists and increase the success of international graduate nursing students.
A strategy for automatically generating programs in the lucid programming language
NASA Technical Reports Server (NTRS)
Johnson, Sally C.
1987-01-01
A strategy for automatically generating and verifying simple computer programs is described. The programs are specified by a precondition and a postcondition in predicate calculus. The programs generated are in the Lucid programming language, a high-level, data-flow language known for its attractive mathematical properties and ease of program verification. The Lucid programming is described, and the automatic program generation strategy is described and applied to several example problems.
Award-Winning Foreign Language Programs: Prescriptions for Success.
ERIC Educational Resources Information Center
Sims, William D.; Hammond, Sandra B.
The study reviews 50 foreign language programs in the United States that are said to be both inspirational and useful for providing concrete information about the creation and preservation of successful language programs. The programs cited are exemplary and can serve as models for educators and administrators to study and visit. Program selection…
Laboratory automation in a functional programming language.
Runciman, Colin; Clare, Amanda; Harkness, Rob
2014-12-01
After some years of use in academic and research settings, functional languages are starting to enter the mainstream as an alternative to more conventional programming languages. This article explores one way to use Haskell, a functional programming language, in the development of control programs for laboratory automation systems. We give code for an example system, discuss some programming concepts that we need for this example, and demonstrate how the use of functional programming allows us to express and verify properties of the resulting code. © 2014 Society for Laboratory Automation and Screening.
A comparison of common programming languages used in bioinformatics.
Fourment, Mathieu; Gillings, Michael R
2008-02-05
The performance of different programming languages has previously been benchmarked using abstract mathematical algorithms, but not using standard bioinformatics algorithms. We compared the memory usage and speed of execution for three standard bioinformatics methods, implemented in programs using one of six different programming languages. Programs for the Sellers algorithm, the Neighbor-Joining tree construction algorithm and an algorithm for parsing BLAST file outputs were implemented in C, C++, C#, Java, Perl and Python. Implementations in C and C++ were fastest and used the least memory. Programs in these languages generally contained more lines of code. Java and C# appeared to be a compromise between the flexibility of Perl and Python and the fast performance of C and C++. The relative performance of the tested languages did not change from Windows to Linux and no clear evidence of a faster operating system was found. Source code and additional information are available from http://www.bioinformatics.org/benchmark/. This benchmark provides a comparison of six commonly used programming languages under two different operating systems. The overall comparison shows that a developer should choose an appropriate language carefully, taking into account the performance expected and the library availability for each language.
A comparison of common programming languages used in bioinformatics
Fourment, Mathieu; Gillings, Michael R
2008-01-01
Background The performance of different programming languages has previously been benchmarked using abstract mathematical algorithms, but not using standard bioinformatics algorithms. We compared the memory usage and speed of execution for three standard bioinformatics methods, implemented in programs using one of six different programming languages. Programs for the Sellers algorithm, the Neighbor-Joining tree construction algorithm and an algorithm for parsing BLAST file outputs were implemented in C, C++, C#, Java, Perl and Python. Results Implementations in C and C++ were fastest and used the least memory. Programs in these languages generally contained more lines of code. Java and C# appeared to be a compromise between the flexibility of Perl and Python and the fast performance of C and C++. The relative performance of the tested languages did not change from Windows to Linux and no clear evidence of a faster operating system was found. Source code and additional information are available from Conclusion This benchmark provides a comparison of six commonly used programming languages under two different operating systems. The overall comparison shows that a developer should choose an appropriate language carefully, taking into account the performance expected and the library availability for each language. PMID:18251993
ERIC Educational Resources Information Center
Norris, John M.
2016-01-01
Language program evaluation is a pragmatic mode of inquiry that illuminates the complex nature of language-related interventions of various kinds, the factors that foster or constrain them, and the consequences that ensue. Program evaluation enables a variety of evidence-based decisions and actions, from designing programs and implementing…
Testing as a Way to Monitor English as a Foreign Language Learning
ERIC Educational Resources Information Center
Becker, Anthony; Nekrasova-Beker, Tatiana; Petrashova, Tamara
2017-01-01
This study was conducted at a large technical university in Russia, which offers English language courses to students majoring in nine different degree programs. Each degree program develops and delivers its own English language curriculum. While all degree programs followed the same curriculum development model to design language courses, each…
A Program That Acquires Language Using Positive and Negative Feedback.
ERIC Educational Resources Information Center
Brand, James
1987-01-01
Describes the language learning program "Acquire," which is a sample of grammar induction. It is a learning algorithm based on a pattern-matching scheme, using both a positive and negative network to reduce overgeneration. Language learning programs may be useful as tutorials for learning the syntax of a foreign language. (Author/LMO)
The English Language in the School Program.
ERIC Educational Resources Information Center
Hogan, Robert F., Ed.
The 22 papers in this publication, drawn from the 1963 and 1964 NCTE Spring Institutes on Language, Linguistics, and School Programs, concentrate on the relevance of recent scholarship for English language programs in elementary and secondary schools. Language theory is the focus of articles by Harold B. Allen, Sumner Ives, Albert H. Marckwardt,…
ERIC Educational Resources Information Center
Grubesky, Marcia R.
A career-oriented foreign language program is discussed that takes into account marketable skills of foreign language majors for a number of careers. The program is threefold. First, it recognizes the need for language skills to supplement technical, business, and professional skills to expand educational knowledge; capabilities in diplomacy and…
ERIC Educational Resources Information Center
Gençtürk, Abdullah Tarik; Korucu, Agah Tugrul
2017-01-01
It is observed that teacher candidates receiving education in the department of Computer and Instructional Technologies Education are not able to gain enough experience and knowledge in "Programming Languages" lesson. The goal of this study is to analyse the effects of web 2.0 technologies usage in programming languages lesson on the…
The Australian Language Levels (ALL) Project--A Response to Curriculum Needs in Australia.
ERIC Educational Resources Information Center
Scarino, Angela; McKay, Penny
Australia has a unique range of language communities and language education needs. A variety of languages is currently offered to different groups of learners through diverse programs. Language teaching may be provided through bilingual education, limited-exposure programs, or compulsory language instruction. Federal and state education agencies,…
A HyperCard Program for Business German.
ERIC Educational Resources Information Center
Paulsell, Patricia R.
Although the use of computer-assisted language instruction software has been mainly limited to grammatical/syntactical drills, the increasing number of language professionals with programming skills is leading to the development of more sophisticated language education programs. This report describes the generation of such a program using the…
Programming languages for synthetic biology.
Umesh, P; Naveen, F; Rao, Chanchala Uma Maheswara; Nair, Achuthsankar S
2010-12-01
In the backdrop of accelerated efforts for creating synthetic organisms, the nature and scope of an ideal programming language for scripting synthetic organism in-silico has been receiving increasing attention. A few programming languages for synthetic biology capable of defining, constructing, networking, editing and delivering genome scale models of cellular processes have been recently attempted. All these represent important points in a spectrum of possibilities. This paper introduces Kera, a state of the art programming language for synthetic biology which is arguably ahead of similar languages or tools such as GEC, Antimony and GenoCAD. Kera is a full-fledged object oriented programming language which is tempered by biopart rule library named Samhita which captures the knowledge regarding the interaction of genome components and catalytic molecules. Prominent feature of the language are demonstrated through a toy example and the road map for the future development of Kera is also presented.
Software For Least-Squares And Robust Estimation
NASA Technical Reports Server (NTRS)
Jeffreys, William H.; Fitzpatrick, Michael J.; Mcarthur, Barbara E.; Mccartney, James
1990-01-01
GAUSSFIT computer program includes full-featured programming language facilitating creation of mathematical models solving least-squares and robust-estimation problems. Programming language designed to make it easy to specify complex reduction models. Written in 100 percent C language.
ERIC Educational Resources Information Center
Travers, Claudia S.; Reilly, Joseph T. M.
A foreign travel program for eighth grade French language students from Shoreham, New York was developed to provide language speaking practice in Quebec, Canada. The program was designed to allow students to spend as much time as possible speaking the language and interacting with the people. The following "survival through speaking"…
ERIC Educational Resources Information Center
Lahaeye, Marie-Noelle
The University of Pennsylvania's Lauder Institute of Management and International Studies introduced a cultural segment into its second language program in 1986 to enable students to use language purposefully within the foreign culture. During the program's 2 years, students are exposed to eight different cultural segments taught by language…
ERIC Educational Resources Information Center
Strong, Gemma K.; Torgerson, Carole J.; Torgerson, David; Hulme, Charles
2011-01-01
Background: Fast ForWord is a suite of computer-based language intervention programs designed to improve children's reading and oral language skills. The programs are based on the hypothesis that oral language difficulties often arise from a rapid auditory temporal processing deficit that compromises the development of phonological…
New Dimensions in Language Training: The Dartmouth College Experiment.
ERIC Educational Resources Information Center
Rassias, John A.
The expanded foreign study and foreign language programs offered at Dartmouth are examined with emphasis on the influence of Peace Corps language programs during the last half-dozen years on American college campuses. The impact of the programs at Dartmouth since 1964 is discussed in terms of: (1) a brief history of language instruction at…
Uses of Technology in the Instruction of Adult English Language Learners. CAELA Network Brief
ERIC Educational Resources Information Center
Moore, Sarah Catherine K.
2009-01-01
In program year 2006-2007, 46 percent of the adults enrolled in federally funded, state-administered adult education programs in the United States were enrolled in English as a Second Language (ESL) programs. These adult English language learners represent a wide range of ages, nationalities, native languages, and English proficiency levels. In…
NASA Technical Reports Server (NTRS)
Newbold, P. M.
1974-01-01
A programming language for the flight software of the NASA space shuttle program was developed and identified as HAL/S. The language is intended to satisfy virtually all of the flight software requirements of the space shuttle. The language incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks.
ERIC Educational Resources Information Center
Altamura, Marilyn T.
This practicum project exposed seven preschool students with language deficiencies to multicultural experiences and strategies, resulting in improvements in both language and thinking skills. The children were included in a regular preschool program serving low-income families. The program was based on a multicultural awareness curriculum which…
The Dual Language Program Planner: A Guide for Designing and Implementing Dual Language Programs.
ERIC Educational Resources Information Center
Howard, Elizabeth R.; Olague, Natalie; Rogers, David
This guide offers a framework to facilitate the planning process for dual language programs, assuming at least a basic working knowledge of the central characteristics and essential features of dual language models. It provides an overview of the various models that serve linguistically diverse student populations, defining the term dual language…
25 CFR 39.131 - What is a Language Development Program?
Code of Federal Regulations, 2010 CFR
2010-04-01
... 25 Indians 1 2010-04-01 2010-04-01 false What is a Language Development Program? 39.131 Section 39.131 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR EDUCATION THE INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a...
34 CFR 658.11 - What projects and activities may a grantee conduct under this program?
Code of Federal Regulations, 2014 CFR
2014-07-01
... STUDIES AND FOREIGN LANGUAGE PROGRAM What Kinds of Projects Does the Secretary Assist Under This Program... program to improve undergraduate instruction in international studies and foreign languages. These include... studies and foreign languages; (b) Teaching, research, curriculum development, faculty training in the...
34 CFR 658.11 - What projects and activities may a grantee conduct under this program?
Code of Federal Regulations, 2013 CFR
2013-07-01
... STUDIES AND FOREIGN LANGUAGE PROGRAM What Kinds of Projects Does the Secretary Assist Under This Program... program to improve undergraduate instruction in international studies and foreign languages. These include... studies and foreign languages; (b) Teaching, research, curriculum development, faculty training in the...
34 CFR 658.11 - What projects and activities may a grantee conduct under this program?
Code of Federal Regulations, 2012 CFR
2012-07-01
... STUDIES AND FOREIGN LANGUAGE PROGRAM What Kinds of Projects Does the Secretary Assist Under This Program... program to improve undergraduate instruction in international studies and foreign languages. These include... studies and foreign languages; (b) Teaching, research, curriculum development, faculty training in the...
ERIC Educational Resources Information Center
Benseler, David P., Ed.
This collection papers begins with "Introduction: The Dynamics of Successful Leadership in Foreign Language Programs," then features the following: "The Undergraduate Program: Autonomy and Empowerment" (Wilga M. Rivers); "TA Supervision: Are We Preparing a Future Professoriate?" (Cathy Pons); "Applied Scholarship…
[Union-Endicott Schools: Foreign Language Program.
ERIC Educational Resources Information Center
O'Connell, Raymond S.
This brochure describing language programs to both parents and prospective high school language students in Endicott, New York focuses on developing student motivation and interest. Topics discussed include: (1) reasons for studying foreign language, (2) stages of foreign language learning, (3) course offerings, (4) homework, and (5) examinations.…
ERIC Educational Resources Information Center
Sussex, Roland
1991-01-01
Considers how the effectiveness of computer-assisted language learning (CALL) has been hampered by language teachers who lack programing and software engineering expertise, and explores the limitations and potential contributions of author languages, programs, and environments in increasing the range of options for language teachers who are not…
ERIC Educational Resources Information Center
Paskus, Laura
2013-01-01
In North America, and worldwide, Indigenous languages are disappearing at an alarming rate. There are, however, models of success for language revitalization in immersion language programs, usually found in tribal colleges and universities. Whether the language learners are tribal college students greeting one another in their native language,…
Real-Time Multiprocessor Programming Language (RTMPL) user's manual
NASA Technical Reports Server (NTRS)
Arpasi, D. J.
1985-01-01
A real-time multiprocessor programming language (RTMPL) has been developed to provide for high-order programming of real-time simulations on systems of distributed computers. RTMPL is a structured, engineering-oriented language. The RTMPL utility supports a variety of multiprocessor configurations and types by generating assembly language programs according to user-specified targeting information. Many programming functions are assumed by the utility (e.g., data transfer and scaling) to reduce the programming chore. This manual describes RTMPL from a user's viewpoint. Source generation, applications, utility operation, and utility output are detailed. An example simulation is generated to illustrate many RTMPL features.
Should bilingual children learn reading in two languages at the same time or in sequence?
Berens, Melody S.; Kovelman, Ioulia; Petitto, Laura-Ann
2013-01-01
Is it best to learn reading in two languages simultaneously or sequentially? We observed 2nd and 3rd grade children in two-way dual-language learning contexts: (i) 50:50 or Simultaneous dual-language (two languages within same developmental period) and (ii) 90:10 or Sequential dual-language (one language, followed gradually by the other). They were compared to matched monolingual English-only children in single-language English schools. Bilinguals (home language was Spanish only, English-only, or Spanish and English in dual-language schools), were tested in both languages, and monolingual children were tested in English using standardized reading and language tasks. Bilinguals in 50:50 programs performed better than bilinguals in 90:10 programs on English Irregular Words and Passage Comprehension tasks, suggesting language and reading facilitation for underlying grammatical class and linguistic structure analyses. By contrast, bilinguals in 90:10 programs performed better than bilinguals in the 50:50 programs on English Phonological Awareness and Reading Decoding tasks, suggesting language and reading facilitation for surface phonological regularity analysis. Notably, children from English-only homes in dual-language learning contexts performed equally well, or better than, children from monolingual English-only homes in single-language learning contexts. Overall, the findings provide tantalizing evidence that dual-language learning during the same developmental period may provide bilingual reading advantages. PMID:23794952
The Advantages and Disadvantages of Computer Technology in Second Language Acquisition
ERIC Educational Resources Information Center
Lai, Cheng-Chieh; Kritsonis, William Allan
2006-01-01
The purpose of this article is to discuss the advantages and disadvantages of computer technology and Computer Assisted Language Learning (CALL) programs for current second language learning. According to the National Clearinghouse for English Language Acquisition & Language Instruction Educational Programs' report (2002), more than nine million…
Online Collaborative Communities of Learning for Pre-Service Teachers of Languages
ERIC Educational Resources Information Center
Morgan, Anne-Marie
2015-01-01
University programs for preparing preservice teachers of languages for teaching in schools generally involve generic pedagogy, methodology, curriculum, programming and issues foci, that provide a bridge between the study of languages (or recognition of existing language proficiency) and the teaching of languages. There is much territory to cover…
A Whole Language Flight Plan: An Interview with Three Teachers.
ERIC Educational Resources Information Center
Griffith, Priscilla L.; Klesius, Janell
1990-01-01
Provides suggestions to teachers planning to implement a whole language program, based on interviews with three whole language teachers. Focuses on support for the whole language program; decisions about curriculum and evaluation; development of vocabulary and comprehension; strengths and weaknesses of the whole language approach; and preparation…
Programming parallel architectures: The BLAZE family of languages
NASA Technical Reports Server (NTRS)
Mehrotra, Piyush
1988-01-01
Programming multiprocessor architectures is a critical research issue. An overview is given of the various approaches to programming these architectures that are currently being explored. It is argued that two of these approaches, interactive programming environments and functional parallel languages, are particularly attractive since they remove much of the burden of exploiting parallel architectures from the user. Also described is recent work by the author in the design of parallel languages. Research on languages for both shared and nonshared memory multiprocessors is described, as well as the relations of this work to other current language research projects.
2013-02-25
Directive 5160.41E, Defense Language Program . 10GAO-11-456. Page 5 GAO-13-251R Defense Contracting types of foreign language support that DOD has acquired...Language Transformation Roadmap, (January 2005), and Department of Defense Directive 5160.41E, Defense Language Program . Page 15 GAO-13-251R Defense...examines the use of public funds; evaluates federal programs and policies; and provides analyses, recommendations, and other assistance to help
The PlusCal Algorithm Language
NASA Astrophysics Data System (ADS)
Lamport, Leslie
Algorithms are different from programs and should not be described with programming languages. The only simple alternative to programming languages has been pseudo-code. PlusCal is an algorithm language that can be used right now to replace pseudo-code, for both sequential and concurrent algorithms. It is based on the TLA + specification language, and a PlusCal algorithm is automatically translated to a TLA + specification that can be checked with the TLC model checker and reasoned about formally.
ERIC Educational Resources Information Center
Ali, Azad; Smith, David
2014-01-01
This paper presents a debate between two faculty members regarding the teaching of the legacy programming course (COBOL) in a Computer Science (CS) program. Among the two faculty members, one calls for the continuation of teaching this language and the other calls for replacing it with another modern language. Although CS programs are notorious…
A Formalization of HIPAA for a Medical Messaging System
NASA Astrophysics Data System (ADS)
Lam, Peifung E.; Mitchell, John C.; Sundaram, Sharada
The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance systems. We believe that in some applications, it may be practical to support compliance by using formalized portions of applicable laws to regulate business processes that use information systems. In order to explore this possibility, we use a stratified fragment of Prolog with limited use of negation to formalize a portion of the US Health Insurance Portability and Accountability Act (HIPAA). As part of our study, we also explore the deployment of our formalization in a prototype hospital Web portal messaging system.
The load shedding advisor: An example of a crisis-response expert system
NASA Technical Reports Server (NTRS)
Bollinger, Terry B.; Lightner, Eric; Laverty, John; Ambrose, Edward
1987-01-01
A Prolog-based prototype expert system is described that was implemented by the Network Operations Branch of the NASA Goddard Space Flight Center. The purpose of the prototype was to test whether a small, inexpensive computer system could be used to host a load shedding advisor, a system which would monitor major physical environment parameters in a computer facility, then recommend appropriate operator reponses whenever a serious condition was detected. The resulting prototype performed significantly to efficiency gains achieved by replacing a purely rule-based design methodology with a hybrid approach that combined procedural, entity-relationship, and rule-based methods.
2003-08-18
Language Study 5c. PROGRAM ELEMENT NUMBER 5d. PROJECT NUMBER 5d. TASK NUMBER 6. AUTHOR(S) Professor Mads Dam, Pablo Giambiagi 5e...Standard Form 298 (Rev. 8/98) Prescribed by ANSI Std. Z39-18 SPC 01-4025 Mobile Language Study Final...smart card applications. Smart cards can be programmed using general-purpose languages ; but because of their limited resources, smart card programs
ERIC Educational Resources Information Center
Wiechmann, JoAnn; Richardson, Martha; Jones, Don
2014-01-01
This program evaluation study addressed the struggle of local elementary school speech-language pathologists (SLPs) in a school district to provide evidence-based intervention in language for students below grade level as required by the U.S. Department of Education. Recently, Language Lab™ was published to address the needs of oral language…
Japan-U.S. Joint Ventures in Higher Education: Language Education in an Uncertain Future.
ERIC Educational Resources Information Center
Clayton, Thomas
1991-01-01
Examines Japanese-U.S. joint venture language or U.S.-style education programs in Japan. These programs offer language and cultural education classes for those interested in English and for students who have failed in the Japanese education system. Problems facing these programs and the need to explore new, English-language education markets are…
ERIC Educational Resources Information Center
Monteverde G., Luisa
1971-01-01
This paper presents ideas on using programed instruction in the language laboratory for second language learning. Linear programing is more suited to language instruction than is branching, because the former more easily allows comparison between the students' and teachers' solutions and is technically less complicated and less expensive to…
C Language Integrated Production System, Ada Version
NASA Technical Reports Server (NTRS)
Culbert, Chris; Riley, Gary; Savely, Robert T.; Melebeck, Clovis J.; White, Wesley A.; Mcgregor, Terry L.; Ferguson, Melisa; Razavipour, Reza
1992-01-01
CLIPS/Ada provides capabilities of CLIPS v4.3 but uses Ada as source language for CLIPS executable code. Implements forward-chaining rule-based language. Program contains inference engine and language syntax providing framework for construction of expert-system program. Also includes features for debugging application program. Based on Rete algorithm which provides efficient method for performing repeated matching of patterns. Written in Ada.
ERIC Educational Resources Information Center
Urbaczewski, Andrew; Urbaczewski, Lise
The objective of this study was to find the answers to two primary research questions: "Do students learn programming languages better when they are offered in a particular order, such as 4th generation languages before 3rd generation languages?"; and "Do students learn programming languages better when they are taken in separate semesters as…
ERIC Educational Resources Information Center
Li, Jennifer J.; Steele, Jennifer L.; Slater, Robert; Bacon, Michael; Miller, Trey
2016-01-01
Dual-language immersion programs--in which students learn core subjects (language arts, math, science, and social studies) in both English and a "partner" language--have been gaining in popularity across the United States. Such programs may use a "two-way model," in which roughly half the students are native speakers of the…
Language Interference and Language Learning Techniques Transfer in L2 and L3 Immersion Programs.
ERIC Educational Resources Information Center
Aronin, Larissa; Toubkin, Lynne
2002-01-01
Examines the relationships between the first (L1), second (L2), and third (L3) language in immersion programs for Russian-speaking students in Israel. Two parallel and similar immersion programs, which were carried out for the same population, but with different target languages (L2 Hebrew and L3 English), are described. Presents tentative…
ERIC Educational Resources Information Center
Palmer, Deborah
2010-01-01
Dual-language education is often lauded for providing high-caliber bilingual instruction in an integrated classroom. This is complicated, however, when a dual-language program does not include all members of a school community. This article examines a "strand" dual-language program that attracts middle-class white students to a predominantly black…
ERIC Educational Resources Information Center
Cohen, Andrew D.
2015-01-01
This paper first considers what it means to become truly proficient in a language other than the native one. It then looks briefly at the evolution of dual language programs. Next, it focuses on the issue of whether the first language (L1) or the second language (L2) serves as the language of mediation. Other dual language program issues are then…
The Value of Foreign Language in Business.
ERIC Educational Resources Information Center
Stebinger, Arnold
The University of South Carolina's Master's Program in International Business began in June 1974, with 43 students studying German and Spanish. The program began with a 9-week intensive language learning program, followed by a nine-month unified business program, with language instruction twice a week; six weeks of area study concentrating on the…
Using Microcomputer Word Processors for Foreign Languages.
ERIC Educational Resources Information Center
Smith, Kim L.
1984-01-01
Describes the programs and modifications needed to do word processing using foreign language characters. One such program, Screenwriter, uses soft character sets -- character sets which can be designed by the program user. This program has a word processing power combined with a foreign language capability that would allow any person to work with…
Language Programs at Villababel High: Rethinking Ideologies of Social Inclusion
ERIC Educational Resources Information Center
Mijares, Laura; Relano Pastor, Ana M.
2011-01-01
This article explores language ideologies underlying two language programs implemented in one secondary school in Madrid (Spain). The Spanish for newcomers immersion program ("Aula de Enlace") is aimed at immigrant origin students who do not know or have a poor command of Spanish; and the Spanish-English bilingual program targets…
Cognitive characteristics of learning Java, an object-oriented programming language
NASA Astrophysics Data System (ADS)
White, Garry Lynn
Industry and Academia are moving from procedural programming languages (e.g., COBOL) to object-oriented programming languages, such as Java for the Internet. Past studies in the cognitive aspects of programming have focused primarily on procedural programming languages. Some of the languages used have been Pascal, C, Basic, FORTAN, and COBOL. Object-oriented programming (OOP) represents a new paradigm for computing. Industry is finding that programmers are having difficulty shifting to this new programming paradigm. This instruction in OOP is currently starting in colleges and universities across the country. What are the cognitive aspects for this new OOP language Java? When is a student developmentally ready to handle the cognitive characteristics of the OOP language Java? Which cognitive teaching style is best for this OOP language Java? Questions such as the aforementioned are the focus of this research Such research is needed to improve understanding of the learning process and identify students' difficulties with OOP methods. This can enhance academic teaching and industry training (Scholtz, 1993; Sheetz, 1997; Rosson, 1990). Cognitive development as measured by the Propositional Logic Test, cognitive style as measured by the Hemispheric Mode Indicator, and physical hemispheric dominance as measured by a self-report survey were obtained from thirty-six university students studying Java programming. Findings reveal that physical hemispheric dominance is unrelated to cognitive and programming language variables. However, both procedural and object oriented programming require Piaget's formal operation cognitive level as indicated by the Propositional Logic Test. This is consistent with prior research A new finding is that object oriented programming also requires formal operation cognitive level. Another new finding is that object oriented programming appears to be unrelated to hemispheric cognitive style as indicated by the Hemispheric Mode Indicator (HMI). This research suggests that object oriented programming is hemispheric thinking style friendly, while procedural programming is left hemispheric cognitive style. The conclusion is that cognitive characteristics are not the cause for the difficulty in shifting from procedural to this new programming paradigm of object oriented programming. An alternative possibility to the difficulty is proactive interference. Prior learning of procedural programming makes it harder to learning object oriented programming. Further research is needed to determine if proactive interference is the cause for the difficulty in shifting from procedural programming to object oriented programming.
A Proposal for a CA-Integrated English Language Teacher Education Program in Turkey
ERIC Educational Resources Information Center
Sert, Olcay
2010-01-01
This study proposes a comprehensive framework for a Conversation Analysis (CA) informed English language teacher education program in Turkey. By reviewing recent studies in CA, Critical Reflective Practice, Teacher Language Awareness and language teacher education in general; the author calls for a more effective language teacher education program…
Language Training for Trainable Mentally Retarded Children: ITPA, Peabody, and Distar Techniques.
ERIC Educational Resources Information Center
Leiss, Robert H.; Proger, Barton B.
To determine the most effective language training activities for trainable mentally retarded (TMR) children, the variables of degree of previous language training, IQ, Peabody language treatment program versus Distar language treatment program, pretest versus posttest, and sex were examined with 122 TMR Ss (7 to 14 years old). Results of the…
Language and Man: An Exploratory Foreign-Language Program for Grade Six.
ERIC Educational Resources Information Center
Bartos, Marilyn; And Others
This curriculum guide presents a program introducing sixth-grade children to the study of language, of languages other than English, and specifically of French. An initial section includes a variety of activities designed to interest students in the study of language, its peculiarties, complexities, and importance in life. Prior to the first…
Teaching English as a Foreign Language in Primary School. Case Studies in TESOL Practice Series
ERIC Educational Resources Information Center
McCloskey, Mary Lou, Ed.; Orr, Janet, Ed.; Dolitsky, Marlene, Ed.
2006-01-01
Although language specialists do not always agree about the best age at which to introduce English language instruction, policy changes are increasingly mandating earlier introduction of English in foreign language (EFL) settings worldwide. In this volume, language educators and program implementers from various countries describe programs and…
A Case Study of Dual Language Program Administrators: The Teachers We Need
ERIC Educational Resources Information Center
Lachance, Joan R.
2017-01-01
In support of growing numbers of dual language programs nation-wide, dual language school administrators seek to find teachers who are specifically prepared to work with dual language learners for additive biliteracy. For this research the author utilized a case study design to explore practicing dual language administrators' perspectives…
Programming languages for circuit design.
Pedersen, Michael; Yordanov, Boyan
2015-01-01
This chapter provides an overview of a programming language for Genetic Engineering of Cells (GEC). A GEC program specifies a genetic circuit at a high level of abstraction through constraints on otherwise unspecified DNA parts. The GEC compiler then selects parts which satisfy the constraints from a given parts database. GEC further provides more conventional programming language constructs for abstraction, e.g., through modularity. The GEC language and compiler is available through a Web tool which also provides functionality, e.g., for simulation of designed circuits.
76 FR 18538 - Applications for New Awards; National Professional Development Program
Federal Register 2010, 2011, 2012, 2013, 2014
2011-04-04
... DEPARTMENT OF EDUCATION [CFDA 84.195N] Applications for New Awards; National Professional Development Program AGENCY: Office of English Language Acquisition, Language Enhancement, and Academic... Language Acquisition, Language Enhancement and Academic Achievement for Limited English Proficient Students...
A comparative study of programming languages for next-generation astrodynamics systems
NASA Astrophysics Data System (ADS)
Eichhorn, Helge; Cano, Juan Luis; McLean, Frazer; Anderl, Reiner
2018-03-01
Due to the computationally intensive nature of astrodynamics tasks, astrodynamicists have relied on compiled programming languages such as Fortran for the development of astrodynamics software. Interpreted languages such as Python, on the other hand, offer higher flexibility and development speed thereby increasing the productivity of the programmer. While interpreted languages are generally slower than compiled languages, recent developments such as just-in-time (JIT) compilers or transpilers have been able to close this speed gap significantly. Another important factor for the usefulness of a programming language is its wider ecosystem which consists of the available open-source packages and development tools such as integrated development environments or debuggers. This study compares three compiled languages and three interpreted languages, which were selected based on their popularity within the scientific programming community and technical merit. The three compiled candidate languages are Fortran, C++, and Java. Python, Matlab, and Julia were selected as the interpreted candidate languages. All six languages are assessed and compared to each other based on their features, performance, and ease-of-use through the implementation of idiomatic solutions to classical astrodynamics problems. We show that compiled languages still provide the best performance for astrodynamics applications, but JIT-compiled dynamic languages have reached a competitive level of speed and offer an attractive compromise between numerical performance and programmer productivity.
25 CFR 39.136 - What is the WSU for Language Development programs?
Code of Federal Regulations, 2010 CFR
2010-04-01
... 25 Indians 1 2010-04-01 2010-04-01 false What is the WSU for Language Development programs? 39.136 Section 39.136 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR EDUCATION THE INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.136 What is the WSU...
Standing Strong: Maloney Interdistrict Magnet School Japanese Language and Culture Program
ERIC Educational Resources Information Center
Haxhi, Jessica; Yamashita-Iverson, Kazumi
2009-01-01
Maloney Interdistrict Magnet School (MIMS) is the only elementary school in Waterbury that has a world language program and is one of only two elementary Japanese programs in Connecticut. In the past 15 years, more than 1500 students have participated in its Japanese Language and Culture (JLC) Program in grades Prekindergarten through 5th. The JLC…
ERIC Educational Resources Information Center
Samani, Ebrahim; Baki, Roselan; Razali, Abu Bakar
2014-01-01
Success in implementation of computer-assisted language learning (CALL) programs depends on the teachers' understanding of the roles of CALL programs in education. Consequently, it is also important to understand the barriers teachers face in the use of computer-assisted language learning (CALL) programs. The current study was conducted on 14…
Khomtchouk, Bohdan B; Weitz, Edmund; Karp, Peter D; Wahlestedt, Claes
2018-05-01
We present a rationale for expanding the presence of the Lisp family of programming languages in bioinformatics and computational biology research. Put simply, Lisp-family languages enable programmers to more quickly write programs that run faster than in other languages. Languages such as Common Lisp, Scheme and Clojure facilitate the creation of powerful and flexible software that is required for complex and rapidly evolving domains like biology. We will point out several important key features that distinguish languages of the Lisp family from other programming languages, and we will explain how these features can aid researchers in becoming more productive and creating better code. We will also show how these features make these languages ideal tools for artificial intelligence and machine learning applications. We will specifically stress the advantages of domain-specific languages (DSLs): languages that are specialized to a particular area, and thus not only facilitate easier research problem formulation, but also aid in the establishment of standards and best programming practices as applied to the specific research field at hand. DSLs are particularly easy to build in Common Lisp, the most comprehensive Lisp dialect, which is commonly referred to as the 'programmable programming language'. We are convinced that Lisp grants programmers unprecedented power to build increasingly sophisticated artificial intelligence systems that may ultimately transform machine learning and artificial intelligence research in bioinformatics and computational biology.
NASA Technical Reports Server (NTRS)
1991-01-01
The Engineering Scripting Language (ESL) is a language designed to allow nonprogramming users to write Higher Order Language (HOL) programs by drawing directed graphs to represent the program and having the system generate the corresponding program in HOL. The ESL system supports user generation of HOL programs through the manipulation of directed graphs. The components of this graphs (nodes, ports, and connectors) are objects each of which has its own properties and property values. The purpose of the ESL graphical editor is to allow the user to create or edit graph objects which represent programs.
An experimental comparative analyse between three low capacity PLCs
NASA Astrophysics Data System (ADS)
Popa, G. N.; Diniş, C. M.; lagăr, A.; Popa, I.
2017-01-01
PLCs are used increasingly more often in industrial applications and beyond. PLCs from different companies involved different programming languages. Some of the PLCs can be programmed in all languages, while others do not. For three types of PLCs was made an application for a traffic light with priority. PLCs usually have a general and a special set of instructions that only some of these are found from a PLC to another. Programs were made with specific instruction set of respectively PLC. The programs were carried out in three languages. For a case study, it makes a comparative analysis between three programming languages.
Runtime Verification of C Programs
NASA Technical Reports Server (NTRS)
Havelund, Klaus
2008-01-01
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from the program. The state machine language has been inspired by a graphical state machine language RCAT recently developed at the Jet Propulsion Laboratory, as an alternative to using Linear Temporal Logic (LTL) for requirements capture. Transitions between states are labeled with abstract event names and Boolean expressions over such. The abstract events are connected to code fragments using an aspect-oriented pointcut language similar to ASPECTJ's or ASPECTC's pointcut language. The system is implemented in the C analysis and transformation package CIL, and is programmed in OCAML, the implementation language of CIL. The work is closely related to the notion of stateful aspects within aspect-oriented programming, where pointcut languages are extended with temporal assertions over the execution trace.
Processing sequence annotation data using the Lua programming language.
Ueno, Yutaka; Arita, Masanori; Kumagai, Toshitaka; Asai, Kiyoshi
2003-01-01
The data processing language in a graphical software tool that manages sequence annotation data from genome databases should provide flexible functions for the tasks in molecular biology research. Among currently available languages we adopted the Lua programming language. It fulfills our requirements to perform computational tasks for sequence map layouts, i.e. the handling of data containers, symbolic reference to data, and a simple programming syntax. Upon importing a foreign file, the original data are first decomposed in the Lua language while maintaining the original data schema. The converted data are parsed by the Lua interpreter and the contents are stored in our data warehouse. Then, portions of annotations are selected and arranged into our catalog format to be depicted on the sequence map. Our sequence visualization program was successfully implemented, embedding the Lua language for processing of annotation data and layout script. The program is available at http://staff.aist.go.jp/yutaka.ueno/guppy/.
ERIC Educational Resources Information Center
Carrejo, David J.; Reinhartz, Judy
2012-01-01
Thirty-five elementary teachers participated in a yearlong professional development (PD) program whose goal was to foster science content learning while promoting language literacy for English Language Learners (ELL). The researchers utilized an explanatory design methodology to determine the degree to which science and language literacy…
ERIC Educational Resources Information Center
Murphy, Dianna, Ed.; Evans-Romaine, Karen, Ed.
2016-01-01
A number of reports in the US have highlighted the country's need for improved second language skills for both national security and economic competitiveness. The Language Flagship program, launched in 2002, aims to raise expectations regarding language proficiency levels at the post-secondary level and to address structural gaps in the curricula…
Language Arts for Today's Children. NCTE Curriculum Series, Volume Two.
ERIC Educational Resources Information Center
National Council of Teachers of English, Champaign, IL. Commission on the English Curriculum.
This volume on elementary language programs is divided into four related parts. Part 1 discusses the sources of any effective language program: an understanding of the child's need for language, a knowledge of child development, and an awareness of the continuity essential to growth in language. Part 2 treats the main areas of the language…
English-as-a-Second-Language Programs in Basic Skills Education Program 1
1984-01-01
languages and English as a second language . These theories and findings have led, in turn, to the development of new methods for teaching languages ...INTRODUCTION TO TEACHING TECHNIQUES FOR ENGLISH AS A SECOND LANGUAGE . . . . . . . . . . . . 9 Introduction ............................. 9 Traditional Methods ...instruments. q8 . _. ,’,..8 4% .’ II. A BRIEF INTRODUCTION TO TEACHING TECHNIQUES FOR ENGLISH
ERIC Educational Resources Information Center
US Department of Education, 2010
2010-01-01
The American Speech-Language-Hearing Association, Council on Academic Accreditation in Audiology and Speech-Language Pathology (CAA) is a national accrediting agency of graduate education programs in audiology or speech-language pathology. The CAA currently accredits or or preaccredits 319 programs (247 in speech-language pathology and 72 in…
A North and Far North Queensland Initiative: Rethinking the "Why" When Promoting Languages Education
ERIC Educational Resources Information Center
Boulard, Florence
2015-01-01
Despite the recent Australian Government commitment to supporting schools in growing students into global citizens, language educators cannot rely on this alone to attract new language students. The Young Language Ambassador Program is a new initiative that started in August 2014. The Young Language Ambassador Program is a partnership between…
A Computer Language at the Crossroads: Logo.
ERIC Educational Resources Information Center
Thornburg, David D.
1986-01-01
Reviews Logo programming language's developmental history, including Papert's vision, creation of LISP, and evolution of Logo from LISP; discusses reasons for Logo not becoming a commonplace programming language; describes Logo program design and its utility for serious programmers; and lists sources of further information on Logo. (MBR)
A Compiler and Run-time System for Network Programming Languages
2012-01-01
A Compiler and Run-time System for Network Programming Languages Christopher Monsanto Princeton University Nate Foster Cornell University Rob...Foster, R. Harrison, M. Freedman, C. Monsanto , J. Rexford, A. Story, and D. Walker. Frenetic: A network programming language. In ICFP, Sep 2011. [10] A
Ada--Programming Language of the Future.
ERIC Educational Resources Information Center
Rudd, David
1983-01-01
Ada is a programing language developed for the Department of Defense, with a registered trademark. It was named for Ada Augusta, coworker of Charles Babbage and the world's first programer. The Department of Defense hopes to prevent variations and to establish Ada as a consistent, standardized language. (MNS)
ERIC Educational Resources Information Center
Watkins, Stephen A.
1978-01-01
Olympic View Middle School has established a program designed to stimulate interest in foreign languages and cultures. The course is intended as an introduction to foreign language and culture study, and is required for all 7th and 8th grade students. Program 1 of the course is taught during one semester of 7th grade, Program 2 during one semester…
Annotated Bibliography of Materials for Elementary Foreign Language Programs.
ERIC Educational Resources Information Center
Dobb, Fred
An annotated bibliography contains about 70 citations of instructional materials and materials concerning curriculum development for elementary school foreign language programs. Citations are included for Arabic, classical languages, French, German, Hebrew, Italian, Japanese, and Spanish. Items on exploratory language courses and general works on…
Peterson's Summer Study Abroad: A Guide to Summer Academic and Language Programs. First Edition.
ERIC Educational Resources Information Center
Peterson's Guides, Inc., Princeton, NJ.
This guide provides descriptions of over 900 summer academic and language study-abroad programs in 80 countries that range from 1-week language study courses to full-summer university programs. An introductory section provides general information on study abroad programs and the use of the guide. The bulk of the guide consists of individual…
Scheduling language and algorithm development study. Volume 1: Study summary and overview
NASA Technical Reports Server (NTRS)
1974-01-01
A high level computer programming language and a program library were developed to be used in writing programs for scheduling complex systems such as the space transportation system. The objectives and requirements of the study are summarized and unique features of the specified language and program library are described and related to the why of the objectives and requirements.
Presurgical language fMRI: Clinical practices and patient outcomes in epilepsy surgical planning.
Benjamin, Christopher F A; Li, Alexa X; Blumenfeld, Hal; Constable, R Todd; Alkawadri, Rafeed; Bickel, Stephan; Helmstaedter, Christoph; Meletti, Stefano; Bronen, Richard; Warfield, Simon K; Peters, Jurriaan M; Reutens, David; Połczyńska, Monika; Spencer, Dennis D; Hirsch, Lawrence J
2018-03-12
The goal of this study was to document current clinical practice and report patient outcomes in presurgical language functional MRI (fMRI) for epilepsy surgery. Epilepsy surgical programs worldwide were surveyed as to the utility, implementation, and efficacy of language fMRI in the clinic; 82 programs responded. Respondents were predominantly US (61%) academic programs (85%), and evaluated adults (44%), adults and children (40%), or children only (16%). Nearly all (96%) reported using language fMRI. Surprisingly, fMRI is used to guide surgical margins (44% of programs) as well as lateralize language (100%). Sites using fMRI for localization most often use a distance margin around activation of 10mm. While considered useful, 56% of programs reported at least one instance of disagreement with other measures. Direct brain stimulation typically confirmed fMRI findings (74%) when guiding margins, but instances of unpredicted decline were reported by 17% of programs and 54% reported unexpected preservation of function. Programs reporting unexpected decline did not clearly differ from those which did not. Clinicians using fMRI to guide surgical margins do not typically map known language-critical areas beyond Broca's and Wernicke's. This initial data shows many clinical teams are confident using fMRI not only for language lateralization but also to guide surgical margins. Reported cases of unexpected language preservation when fMRI activation is resected, and cases of language decline when it is not, emphasize a critical need for further validation. Comprehensive studies comparing commonly-used fMRI paradigms to predict stimulation mapping and post-surgical language decline remain of high importance. © 2018 The Authors Human Brain Mapping Published by Wiley Periodicals, Inc.
PILOT: A Programming Language for Beginners.
ERIC Educational Resources Information Center
Schnorr, Janice M.
The presentation describes PILOT (Programmed Inquiry, Learning or Teaching), a special programing language easy for beginners to learn and available for several brands of microcomputers. PILOT is explained to contain substantially fewer commands than most other languages and to be written in an easy to understand manner. Edit commands and their…
An Analysis of Published Preschool Language Programs.
ERIC Educational Resources Information Center
Bartlett, Elsa Jaffe
For purposes of analysis, preschool language programs can be sorted into four general categories according to the dominant type of learning activity (1) Pattern practice, (2) Cognitive verbalization, (3) Discussion, (4) Role play. Along with definitions of language, the program types differ in the kinds of interactions which occur between teacher…
The Language & International Trade Program at Clemson University.
ERIC Educational Resources Information Center
Suarez, Jose I.
Clemson University (South Carolina) has developed an undergraduate Language and International Trade program designed to train students to meet the needs of American firms doing business overseas. Program aims are that graduates know one foreign language, be attuned to cultural differences, have a business training foundation, and have experience…
Federal Register 2010, 2011, 2012, 2013, 2014
2012-12-06
... School Program AGENCY: Office of English Language Acquisition, Department of Education. Overview... participation in language instruction educational programs. Projects funded under the Native American and Alaska... Act of 1965, as amended (ESEA), may support the teaching and studying of Native American languages...
Incidental Foreign-Language Acquisition by Children Watching Subtitled Television Programs
ERIC Educational Resources Information Center
Ina, Lekkai
2014-01-01
Series of international studies have shown that subtitled television programs provide a rich context for foreign language acquisition. This study investigated whether incidental language acquisition occurs from watching a television program with/without subtitles. Children in the experimental conditions watch: (a) a 15 minute snapshot of a well…
Using Problem Solving to Teach a Programming Language.
ERIC Educational Resources Information Center
Milbrandt, George
1995-01-01
Computer studies courses should incorporate as many computer concepts and programming language experiences as possible. A gradual increase in problem difficulty will help the student to understand various computer concepts, and the programming language's syntax and structure. A sidebar provides two examples of how to establish a learning…
A Program for Reading and Language Development. An Adopter's Guide.
ERIC Educational Resources Information Center
Carter, Nancy Hay
"Project SAILS" (Symbolic and Innovative Language Systems) is a special program developed by the Portland, Oregon, public schools for training teachers to work with children who have learning and reading difficulties. Teachers are instructed in the use of the Monterey Reading and Language Programs, highly structured and highly…
Professional Development Programs and English Language Instructors: A Critical-Postmodern Study
ERIC Educational Resources Information Center
Arikan, Arda
2004-01-01
In this completed qualitative dissertation research, the nature of the relationship between professional development programs (in-service training programs) and English language instructors was studied with a critical postmodern lense focusing on the narratives of nine English language instructors on their experiences in their professional…
Professional Development Programs and English Language Instructors: A Critical-Postmodern Study
ERIC Educational Resources Information Center
Arikan, Arda
2004-01-01
In this completed qualitative dissertation research, the nature of the relationship between professional development programs (in-service training programs) and English language instructors was studied with a critical postmodern lens focusing on the narratives of nine English language instructors on their experiences in their professional…
Closing the Gap Between Specification and Programming: VDM++ and SCALA
NASA Technical Reports Server (NTRS)
Havelund, Klaus
2011-01-01
We argue that a modern programming language such as Scala offers a level of succinctness, which makes it suitable for program and systems specification as well as for high-level programming. We illustrate this by comparing the language with the Vdm++ specification language. The comparison also identifies areas where Scala perhaps could be improved, inspired by Vdm++. We furthermore illustrate Scala's potential as a specification language by augmenting it with a combination of parameterized state machines and temporal logic, defined as a library, thereby forming an expressive but simple runtime verification framework.
An Analysis of Application Generators.
1983-03-01
query language OUEL in the programming language C, THESEUS [20], which embeds relational operators in the language Euclid. Schmidt [21] reports some...34The Design and Implementation of INGRES," ACM-TODS, Vol. 1. No. 3, 1976,. 33 £ 20. Shopiro,J.E., " THESEUS -A Programming Language for Relational
Colorado Model Content Standards: Foreign Language.
ERIC Educational Resources Information Center
Colorado State Dept. of Education, Denver.
The model course content standards for foreign language instruction in Colorado's public schools, K-12, provide guidelines, not curriculum, for school districts to design language programs. An introductory section presents some basic considerations in program design. The two general standards for foreign language performance are that: (1) students…
Bilingualism and Special Education: Program and Pedagogical Issues.
ERIC Educational Resources Information Center
Cummins, Jim
1983-01-01
Application of the research-based principle that first and second language cognitive and academic development are interdependent and that language acquisition is largely dependent on students receiving sufficient comprehensible input in the target language is discussed in reference to program planning for academically at risk language minority…
Towards programming languages for genetic engineering of living cells
Pedersen, Michael; Phillips, Andrew
2009-01-01
Synthetic biology aims at producing novel biological systems to carry out some desired and well-defined functions. An ultimate dream is to design these systems at a high level of abstraction using engineering-based tools and programming languages, press a button, and have the design translated to DNA sequences that can be synthesized and put to work in living cells. We introduce such a programming language, which allows logical interactions between potentially undetermined proteins and genes to be expressed in a modular manner. Programs can be translated by a compiler into sequences of standard biological parts, a process that relies on logic programming and prototype databases that contain known biological parts and protein interactions. Programs can also be translated to reactions, allowing simulations to be carried out. While current limitations on available data prevent full use of the language in practical applications, the language can be used to develop formal models of synthetic systems, which are otherwise often presented by informal notations. The language can also serve as a concrete proposal on which future language designs can be discussed, and can help to guide the emerging standard of biological parts which so far has focused on biological, rather than logical, properties of parts. PMID:19369220
Towards programming languages for genetic engineering of living cells.
Pedersen, Michael; Phillips, Andrew
2009-08-06
Synthetic biology aims at producing novel biological systems to carry out some desired and well-defined functions. An ultimate dream is to design these systems at a high level of abstraction using engineering-based tools and programming languages, press a button, and have the design translated to DNA sequences that can be synthesized and put to work in living cells. We introduce such a programming language, which allows logical interactions between potentially undetermined proteins and genes to be expressed in a modular manner. Programs can be translated by a compiler into sequences of standard biological parts, a process that relies on logic programming and prototype databases that contain known biological parts and protein interactions. Programs can also be translated to reactions, allowing simulations to be carried out. While current limitations on available data prevent full use of the language in practical applications, the language can be used to develop formal models of synthetic systems, which are otherwise often presented by informal notations. The language can also serve as a concrete proposal on which future language designs can be discussed, and can help to guide the emerging standard of biological parts which so far has focused on biological, rather than logical, properties of parts.
Khomtchouk, Bohdan B; Weitz, Edmund; Karp, Peter D; Wahlestedt, Claes
2018-01-01
Abstract We present a rationale for expanding the presence of the Lisp family of programming languages in bioinformatics and computational biology research. Put simply, Lisp-family languages enable programmers to more quickly write programs that run faster than in other languages. Languages such as Common Lisp, Scheme and Clojure facilitate the creation of powerful and flexible software that is required for complex and rapidly evolving domains like biology. We will point out several important key features that distinguish languages of the Lisp family from other programming languages, and we will explain how these features can aid researchers in becoming more productive and creating better code. We will also show how these features make these languages ideal tools for artificial intelligence and machine learning applications. We will specifically stress the advantages of domain-specific languages (DSLs): languages that are specialized to a particular area, and thus not only facilitate easier research problem formulation, but also aid in the establishment of standards and best programming practices as applied to the specific research field at hand. DSLs are particularly easy to build in Common Lisp, the most comprehensive Lisp dialect, which is commonly referred to as the ‘programmable programming language’. We are convinced that Lisp grants programmers unprecedented power to build increasingly sophisticated artificial intelligence systems that may ultimately transform machine learning and artificial intelligence research in bioinformatics and computational biology. PMID:28040748
McClellan, Sean R; Wu, Frances M; Snowden, Lonnie R
2012-06-01
Title VI of the 1964 Civil Rights Act prohibits federal funds recipients from providing care to limited English proficiency (LEP) persons more limited in scope or lower in quality than care provided to others. In 1999, the California Department of Mental Health implemented a "threshold language access policy" to meet its Title VI obligations. Under this policy, Medi-Cal agencies must provide language assistance programming in a non-English language where a county's Medical population contains either 3000 residents or 5% speakers of that language. We examine the impact of threshold language policy-required language assistance programming on LEP persons' access to mental health services by analyzing the county-level penetration rate of services for Russian, Spanish, and Vietnamese speakers across 34 California counties, over 10 years of quarterly data. Exploiting a time series with nonequivalent control group study design, we studied this phenomena using linear regression with random county effects to account for trends over time. Threshold language policy-required assistance programming led to an immediate and significant increase in the penetration rate of mental health services for Russian (8.2, P < 0.01) and Vietnamese (3.3, P < 0.01) language speaking persons. Threshold language assistance programming was effective in increasing mental health access for Russian and Vietnamese, but not for Spanish-speaking LEP persons.
ERIC Educational Resources Information Center
Gan, Linda; Chong, Sylvia
1998-01-01
Examined the effectiveness of a year-long integrated language and music program (the Expressive Language and Music Project) to enhance Singaporean kindergartners' English oral-language competency. Found that the natural communicative setting and creative use of resources and activities based on the Orff and Kodaly approaches facilitated language…
Cost/Benefit Evaluation of Three English Language Training Programs for Potential Navy Use.
ERIC Educational Resources Information Center
Swope, William M.; And Others
As part of its plans to recruit Hispanic personnel who speak English as a second language, the U.S. Navy will have to provide English language training as well as technical training to prepare these personnel for fleet duty. A cost/benefit analysis was conducted of three English language training programs: the English Technical Language School…
An Elementary Language Culture Program.
ERIC Educational Resources Information Center
Stones, Valerie
A five-year course sequence focusing on the relationship of language and culture in world history is described. The program, beginning in grade 3, prepares students for later study of foreign and classical languages, develops English language skills, and cultivates general cultural interest. At the first level, students are introduced to some…
Leadership Practice in Elementary School Dual Language Programs: A Collective Case Study
ERIC Educational Resources Information Center
Monroy, Joanie K.
2012-01-01
Research in effective programming for English language learners has demonstrated the efficacy of dual language education as a model for closing persistent achievement gaps for this growing population of students. With goals of high academic achievement, linguistic proficiency in two languages, and cross-cultural proficiency, dual language…
Foreign Language Writing Fellows Programs: A Model for Improving Advanced Writing Skills
ERIC Educational Resources Information Center
Snyder, Delys Waite; Nielson, Rex P.; Kurzer, Kendon
2016-01-01
Within the growing field of scholarly literature on foreign language (FL) writing pedagogy, few studies have addressed pedagogical questions regarding the teaching of writing to advanced language learners. Writing fellows peer tutoring programs, although typically associated with first language writing instruction, likely can benefit and support…
Setting Evidence-Based Language Goals
ERIC Educational Resources Information Center
Goertler, Senta; Kraemer, Angelika; Schenker, Theresa
2016-01-01
The purpose of this project was to identify target language benchmarks for the German program at Michigan State University (MSU) based on national and international guidelines and previous research, to assess language skills across course levels and class sections in the entire German program, and to adjust the language benchmarks as needed based…
Language Arts Program Guide, K-12.
ERIC Educational Resources Information Center
Hawaii State Dept. of Education, Honolulu. Office of Instructional Services.
Intended for use by administrators, teachers, and district and state personnel, this guide provides a framework for Hawaii's kindergarten through grade 12 language arts program. Various sections of the guide contain (1) a statement of beliefs concerning the nature of language, language and learning, the student, and the school climate; (2) program…
Programming Languages, Natural Languages, and Mathematics
ERIC Educational Resources Information Center
Naur, Peter
1975-01-01
Analogies are drawn between the social aspects of programming and similar aspects of mathematics and natural languages. By analogy with the history of auxiliary languages it is suggested that Fortran and Cobol will remain dominant. (Available from the Association of Computing Machinery, 1133 Avenue of the Americas, New York, NY 10036.) (Author/TL)
Computer-Assisted Language Learning: Current Programs and Projects. ERIC Digest.
ERIC Educational Resources Information Center
Higgins, Chris
For many years, foreign language teachers have used the computer to provide supplemental exercises in the instruction of foreign languages. In recent years, advances in computer technology have motivated teachers to reassess the computer and consider it a valuable part of daily foreign language learning. Innovative software programs, authoring…
The English Language Learner Program Survey for Principals. REL 2014-027
ERIC Educational Resources Information Center
Grady, Matthew W.; O'Dwyer, Laura M.
2014-01-01
REL Northeast & Islands at Education Development Center, in partnership with the English Language Learners Alliance, has developed a new survey tool--The English Language Learner Program Survey for Principals--to help state education departments collect consistent data on the education of English language learner students. Designed for school…
A Programming Language Environment for the Unassisted Learner.
ERIC Educational Resources Information Center
Thomas, P. G.; Ince, D. C.
1982-01-01
Describes the computing environment and command language for a new programing language called OUSBASIC which is designed to enable naive users to interact usefully, with little assistance, with a computer system. (Author/CHC)
McClellan, Sean R; Snowden, Lonnie
2015-01-01
This study examined the association between language access programming and quality of psychiatric care received by persons with limited English proficiency (LEP). In 1999, the California Department of Mental Health required county Medicaid agencies to implement a "threshold language access policy" to meet the state's Title VI obligations. This policy required Medi-Cal agencies to provide language access programming, including access to interpreters and translated written material, to speakers of languages other than English if the language was spoken by at least 3,000, or 5%, of the county's Medicaid population. Using a longitudinal study design with a nonequivalent control group, this study examined the quality of care provided to Spanish speakers with LEP and a severe mental illness before and after implementation of mandatory language access programming. Quality was measured by receipt of at least two follow-up medication visits within 90 days or three visits within 180 days of an initial medication visit over a period of 38 quarter-years. On average, only 40% of Spanish-speaking clients received at least three medication follow-up visits within 180 days. In multivariate analyses, language access programming was not associated with receipt of at least two medication follow-up visits within 90 days or at least three visits within 180 days. This study found no evidence that language access programming led to increased rates of follow-up medication visits for clients with LEP.
Real-Time MENTAT programming language and architecture
NASA Technical Reports Server (NTRS)
Grimshaw, Andrew S.; Silberman, Ami; Liu, Jane W. S.
1989-01-01
Real-time MENTAT, a programming environment designed to simplify the task of programming real-time applications in distributed and parallel environments, is described. It is based on the same data-driven computation model and object-oriented programming paradigm as MENTAT. It provides an easy-to-use mechanism to exploit parallelism, language constructs for the expression and enforcement of timing constraints, and run-time support for scheduling and exciting real-time programs. The real-time MENTAT programming language is an extended C++. The extensions are added to facilitate automatic detection of data flow and generation of data flow graphs, to express the timing constraints of individual granules of computation, and to provide scheduling directives for the runtime system. A high-level view of the real-time MENTAT system architecture and programming language constructs is provided.
NASA Technical Reports Server (NTRS)
Klumpp, A. R.; Lawson, C. L.
1988-01-01
Routines provided for common scalar, vector, matrix, and quaternion operations. Computer program extends Ada programming language to include linear-algebra capabilities similar to HAS/S programming language. Designed for such avionics applications as software for Space Station.
Quantification and Formalization of Security
2010-02-01
Quantification of Information Flow . . . . . . . . . . . . . . . . . . 30 2.4 Language Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . 46...system behavior observed by users holding low clearances. This policy, or a variant of it, is enforced by many pro- gramming language -based mechanisms...illustrates with a particular programming language (while-programs plus probabilistic choice). The model is extended in §2.5 to programs in which
US Directory of Foreign Language Education Programs.
ERIC Educational Resources Information Center
Grosse, Christine Uber
The preparation of a directory of foreign language education programs was a response to the lack of an information source for location or curricular content of programs in foreign language pedagogy, and followed the lead of other associations in the United States and abroad in compiling such information. Despite having developed guidelines for…
Language and Culture Immersion: A Winning Enterprise.
ERIC Educational Resources Information Center
Cormier, Raymond
A second language program developed at Wilson College (Chambersburg, Pennsylvania) with a federal grant uses the Rassias Method of theatrical, dramatic language saturation. In the first application of the program at the college, peer tutors (who would be assistant teachers in the subsequent immersion program) were trained in a three-day workshop.…
ERIC Educational Resources Information Center
Feldman, David
1975-01-01
This paper discusses the prerequisites to programed language instruction, the role of the native language and the level of skill, and then explains materials and machines needed for such a program. Particular attention is given to phonetics. (Text is in Spanish.) (CK)
ERIC Educational Resources Information Center
Shaw, Ruey-Shiang
2013-01-01
This study examined the relationships among group size, participation, and learning performance factors when learning a programming language in a computer-supported collaborative learning (CSCL) context. An online forum was used as the CSCL environment for learning the Microsoft ASP.NET programming language. The collaborative-learning experiment…
ERIC Educational Resources Information Center
Cologon, Kathy; Wicks, Lilly; Salvador, Aliza
2017-01-01
This study investigates whether extension of a caregiver-led interactive language program may enhance its effectiveness in supporting communication. Caregiver-led language programs, which focus on establishing responsive interaction patterns to support opportunities for communication between caregivers and young children within natural settings,…
Guide to Conducting a Language Immersion/Homestay Program.
ERIC Educational Resources Information Center
Drysdale, Susan; Killelea, Frances
This handbook, designed to assist foreign language teachers in planning and executing a language immersion/homestay program for their students, is based on a successful program in Switzerland undertaken by Northport (New York) High School French teachers in 1980. The material is presented in three parts: (1) preparation of the exchange, including…
Impact of Augmented Reality on Programming Language Learning: Efficiency and Perception
ERIC Educational Resources Information Center
Teng, Chin-Hung; Chen, Jr-Yi; Chen, Zhi-Hong
2018-01-01
Although the learning of programming language is critical in science and technology education, it might be difficult for some students, especially novices. One possible reason might be the fact that programming language, especially for three-dimensional (3D) applications, is too complex and abstract for these students to understand. Programming…
Master Program in Foreign Language Education at New York University Steinhardt (US)
ERIC Educational Resources Information Center
Ikonnikova, Maryna
2016-01-01
The article deals with master program in foreign language education at New York University Steinhardt (US). Thus, its peculiarities have been revealed. It has been defined that the study program presupposes mastering of foreign language teaching approaches that meet various needs of learners. It has been indicated that students acquire the…
Evaluative Case Study on the Efficacy of the ELPS Program in Mathematics
ERIC Educational Resources Information Center
Perez, Malia Ann
2013-01-01
The English Language Proficiency Standards (ELPS) program was developed to address the need to effectively integrate second language acquisition with quality content area instruction. English language learners (ELLs) have struggled on standardized tests and there has been little empirical evidence regarding the impact of the ELPS program on…
34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?
Code of Federal Regulations, 2013 CFR
2013-07-01
... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...
34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?
Code of Federal Regulations, 2012 CFR
2012-07-01
... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...
34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?
Code of Federal Regulations, 2011 CFR
2011-07-01
... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...
34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?
Code of Federal Regulations, 2014 CFR
2014-07-01
... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...
34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?
Code of Federal Regulations, 2010 CFR
2010-07-01
... institutions of higher education, to students who are— (a) Enrolled for undergraduate or graduate training in a... foreign language training or training in a program for which performance-based modern foreign language... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education...
Requirements for Programming Languages in Computer-Based Instructional Systems.
ERIC Educational Resources Information Center
Zinn, Karl
The author reviews the instructional programing languages which already exist and describes their methods of presentation, organization, and preparation. He recommends that all research and development projects remain flexible in their choice of programing language for a time yet. He suggests ways to adapt to specific uses and users, to exploit…
ERIC Educational Resources Information Center
Chapman, Jean
The first of five handbooks developed by Project HAPI (Handicapped Achievement Program Improvement), a multimedia staff development program to help teachers and specialists write effective individualized education programs (IEPs), is in looseleaf workbook format and focuses on children with severe disorders of language, including aphasia and other…
ERIC Educational Resources Information Center
Wilson, Leanne; McNeill, Brigid; Gillon, Gail T.
2016-01-01
Ensuring teacher and speech and language pathology graduates are prepared to work collaboratively together to meet the diverse language literacy learning needs of children is an important goal. This study investigated the efficacy of a 3-h inter-professional education program focused on explicit instruction in the language skills that underpin…
ERIC Educational Resources Information Center
Córdoba Zúñiga, Eulices
2016-01-01
This article reports the findings of a qualitative research study conducted with six first semester students of an English as a foreign language program in a public university in Colombia. The aim of the study was to implement task-based language teaching as a way to integrate language skills and help learners to improve their communicative…
A progress report on a NASA research program for embedded computer systems software
NASA Technical Reports Server (NTRS)
Foudriat, E. C.; Senn, E. H.; Will, R. W.; Straeter, T. A.
1979-01-01
The paper presents the results of the second stage of the Multipurpose User-oriented Software Technology (MUST) program. Four primary areas of activities are discussed: programming environment, HAL/S higher-order programming language support, the Integrated Verification and Testing System (IVTS), and distributed system language research. The software development environment is provided by the interactive software invocation system. The higher-order programming language (HOL) support chosen for consideration is HAL/S mainly because at the time it was one of the few HOLs with flight computer experience and it is the language used on the Shuttle program. The overall purpose of IVTS is to provide a 'user-friendly' software testing system which is highly modular, user controlled, and cooperative in nature.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Hohn, Michael; Adams, Paul
2006-09-05
The L3 system is a computational steering environment for image processing and scientific computing. It consists of an interactive graphical language and interface. Its purpose is to help advanced users in controlling their computational software and assist in the management of data accumulated during numerical experiments. L3 provides a combination of features not found in other environments; these are: - textual and graphical construction of programs - persistence of programs and associated data - direct mapping between the scripts, the parameters, and the produced data - implicit hierarchial data organization - full programmability, including conditionals and functions - incremental executionmore » of programs The software includes the l3 language and the graphical environment. The language is a single-assignment functional language; the implementation consists of lexer, parser, interpreter, storage handler, and editing support, The graphical environment is an event-driven nested list viewer/editor providing graphical elements corresponding to the language. These elements are both the represenation of a users program and active interfaces to the values computed by that program.« less
ERIC Educational Resources Information Center
Carroll, John B.; And Others
Concentrating on five ways in which foreign language teaching can be aided by linguistic science, the Committee on Language Programs, established by the American Council of Learned Societies, expresses its support of the National Defense Education Act of 1958, Title VI; and the Language Development Section of the Department of Health, Education,…
ERIC Educational Resources Information Center
Lam, Tri Ly
2011-01-01
The Problem: The purpose of this study was to investigate the impact of Vietnam's globalization on national language education policies and teacher training programs for teachers of English to speakers of other languages. Specifically, this research explored the extent to which the new policies for English language training programs adopted by the…
ERIC Educational Resources Information Center
Mitchell, Douglas E.; Destino, Tom; Karam, Rita
In response to concern about the effectiveness of programs for English-as-a-Second-Language students in California's schools, the Santa Ana Unified School District, in which over 80 percent of students are limited-English-proficient (LEP) conducted a study of both the operations and effectiveness of the district's language development program,…
"Doing Good" in Italian through Student Community Engagement: The Benefits of Language Placements
ERIC Educational Resources Information Center
Bouvet, Eric; Cosmini, Daniela; Palaktsoglou, Maria; Vanzo, Lynn
2017-01-01
This article discusses a community engagement pilot program for language students offered at Flinders University. For a number of years, the "Language in Action" program has provided placement opportunities for language students in a range of community settings such as aged-care agencies and cultural associations. From an educational…
25 CFR 39.133 - Who decides how Language Development funds can be used?
Code of Federal Regulations, 2010 CFR
2010-04-01
... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school... 25 Indians 1 2010-04-01 2010-04-01 false Who decides how Language Development funds can be used...
Responding to the Diversity of Chinese Language Learners in Australian Schools
ERIC Educational Resources Information Center
Scrimgeour, Andrew
2014-01-01
Until recently Chinese language learning in Australian primary and junior secondary schools has been characterised by programs primarily designed for second language learners who have had no prior knowledge of or exposure to Chinese language. Participation in such programs by Australian-born children who speak Putonghua (Mandarin) or another…
Commercial Language, Business Economics, and the Liberal Arts Curriculum.
ERIC Educational Resources Information Center
Sell, John W.; And Others
A program at the College of Wooster (Ohio) in commercial language and international business is described. The program was undertaken with private funds and within the context of a traditional liberal arts college. It has three main curricular goals: (1) additional training of language instructors for language courses that would include the…
ERIC Educational Resources Information Center
Feldman, David
1975-01-01
Presents a computerized program for foreign language learning giving drills for all the major language skills. The drills are followed by an extensive bibliography of documents in some way dealing with computer based instruction, particularly foreign language instruction. (Text is in Spanish.) (TL)
ERIC Educational Resources Information Center
Palandra, Maria
2008-01-01
As interest in the study of foreign languages grows, more and more school and district leaders will be charged with the responsibility of establishing a language program. Some of the questions that they will need to answer include: What language and what model should be selected? How could another program be inserted in a school day already…
African Language Instruction at the University of Wisconsin: A HEA Title VI-Funded Program.
ERIC Educational Resources Information Center
Kuntz, Patricia S.
This paper describes the evolution of African language instruction at the University of Wisconsin, examining how faculty and staff have utilized state and federal funding to promote the national capacity in African language proficiency. Six sections describe the program's evolution: "Language Instruction at Wisconsin"; "Origins of…
25 CFR 39.133 - Who decides how Language Development funds can be used?
Code of Federal Regulations, 2012 CFR
2012-04-01
... SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school boards decide... 25 Indians 1 2012-04-01 2011-04-01 true Who decides how Language Development funds can be used? 39...
25 CFR 39.133 - Who decides how Language Development funds can be used?
Code of Federal Regulations, 2014 CFR
2014-04-01
... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school... 25 Indians 1 2014-04-01 2014-04-01 false Who decides how Language Development funds can be used...
25 CFR 39.133 - Who decides how Language Development funds can be used?
Code of Federal Regulations, 2013 CFR
2013-04-01
... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school... 25 Indians 1 2013-04-01 2013-04-01 false Who decides how Language Development funds can be used...
25 CFR 39.133 - Who decides how Language Development funds can be used?
Code of Federal Regulations, 2011 CFR
2011-04-01
... 25 Indians 1 2011-04-01 2011-04-01 false Who decides how Language Development funds can be used... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.133 Who decides how Language Development funds can be used? Tribal governing bodies or local school...
Research in Second Language Studies at Michigan State University
ERIC Educational Resources Information Center
White, Benjamin; , Fei, Fei; Russell, Marthe
2009-01-01
The Second Language Studies (SLS) Program was established in 2005 with the express purpose of providing "a firm foundation in the field of Second Language Acquisition and its application to current second language research and teaching" (http://sls.msu.edu). Under the leadership of Professor Susan Gass, the program has grown to include…
Language and Ethnicity: Multiple Literacies in Context, Language Education in Guatemala
ERIC Educational Resources Information Center
Helmberger, Janet L.
2006-01-01
This study focuses on the research literature available in the United States on the evolution of language policy and planning issues involved in bilingual education programs in Mayan communities in Guatemala. I begin with general comments regarding language policy and planning for bilingual programs for ethnic groups within the borders of…
Handbook for Classroom Testing in Peace Corps Language Programs. Manual T0068.
ERIC Educational Resources Information Center
Anderson, Neil J.
This manual provides instructors in Peace Corps language training programs with information about two kinds of classroom testing: formative, ongoing testing and summative testing that occurs at the end of an instructional period. The first of the manual's four chapters on the purposes of language testing, discusses language testing within a…
Computer Languages: A Practical Guide to the Chief Programming Languages.
ERIC Educational Resources Information Center
Sanderson, Peter C.
All the most commonly-used high-level computer languages are discussed in this book. An introductory discussion provides an overview of the basic components of a digital computer, the general planning of a computer programing problem, and the various types of computer languages. Each chapter is self-contained, emphasizes those features of a…
BASIC, Logo, and Pilot: A Comparison of Three Computer Languages.
ERIC Educational Resources Information Center
Maddux, Cleborne D.; Cummings, Rhoda E.
1985-01-01
Following a brief history of Logo, BASIC, and Pilot programing languages, common educational programing tasks (input from keyboard, evaluation of keyboard input, and computation) are presented in each language to illustrate how each can be used to perform the same tasks and to demonstrate each language's strengths and weaknesses. (MBR)
The Marketing of the Business Language Program.
ERIC Educational Resources Information Center
Morello, Joseph G.
The University of Rhode Island, through the cooperation of its College of Business Administration and Department of Languages, has undertaken efforts to market its business language program. The target group consists of the incoming freshman class, all of whom must have completed 2 years of high school language study and do some college work in a…
ERIC Educational Resources Information Center
Hosseinzadeh, Ehsan; Baradaran, Abdollah
2015-01-01
The present study was an attempt to investigate the relationship between English Language Teachers' autonomy and their Neuro-linguistic Programming (NLP). To this end, a group of 200 experienced English language teachers at various language schools in Tehran, inter alia, Asre Zaban Language Academy, were given two questionnaires namely Teaching…
Nofre, David; Priestley, Mark; Alberts, Gerard
2014-01-01
Language is one of the central metaphors around which the discipline of computer science has been built. The language metaphor entered modern computing as part of a cybernetic discourse, but during the second half of the 1950s acquired a more abstract meaning, closely related to the formal languages of logic and linguistics. The article argues that this transformation was related to the appearance of the commercial computer in the mid-1950s. Managers of computing installations and specialists on computer programming in academic computer centers, confronted with an increasing variety of machines, called for the creation of "common" or "universal languages" to enable the migration of computer code from machine to machine. Finally, the article shows how the idea of a universal language was a decisive step in the emergence of programming languages, in the recognition of computer programming as a proper field of knowledge, and eventually in the way we think of the computer.
Cadilhac, Dominique A; Kilkenny, Monique F; Srikanth, Velandai; Lindley, Richard I; Lalor, Erin; Osborne, Richard H; Batterbsy, Malcolm
2016-01-01
Research studies may have limited generalizability when survivors of stroke with physical, language, or cognitive impairments are excluded. To assess whether presence of cognitive, language, or global impairments affects participation in self-management programs. Stroke survivors were recruited in South Australia from seven hospitals or via advertisements into a randomized controlled trial (1:1:1 ratio) of a Stroke Self-Management Program, the Stanford chronic condition self-management program, or standard care. Impairment status was measured using: Cognistat (cognition), Frenchay Aphasia assessment (language), modified Rankin Score (mRS; where score 3-5 = global disability). participation (i.e. booked, accessed, and completed a program (defined as attending ≥ 50% of sessions)) and safety (i.e. adverse events). Outcomes were compared by impairment status. Among 315 people screened 143/149 eligible were randomized (median age 71 years; 41% male; with impairments: 62% cognitive, 34% language, 64% global disability). Participation did not differ by cognitive or language impairment status (cognitive 75%, no cognitive 68%, p = 0.54; language 78%, no language 69%, p = 0.42). However, participation did vary by global impairment status (global disability 61%, no disability 96%, p < 0.001). Participants with cognitive impairment experienced more adverse events (severe n = 9 versus no cognitive impairment n = 1). Survivors of stroke with cognitive, language, or global impairments are able to participate in self-management programs and should be included in these types of research studies or programs. Reduced participation by those with global disability and the possibility of more adverse events in people with cognitive impairments needs to be considered. © 2016 World Stroke Organization.
Algorithm Building and Learning Programming Languages Using a New Educational Paradigm
NASA Astrophysics Data System (ADS)
Jain, Anshul K.; Singhal, Manik; Gupta, Manu Sheel
2011-08-01
This research paper presents a new concept of using a single tool to associate syntax of various programming languages, algorithms and basic coding techniques. A simple framework has been programmed in Python that helps students learn skills to develop algorithms, and implement them in various programming languages. The tool provides an innovative and a unified graphical user interface for development of multimedia objects, educational games and applications. It also aids collaborative learning amongst students and teachers through an integrated mechanism based on Remote Procedure Calls. The paper also elucidates an innovative method for code generation to enable students to learn the basics of programming languages using drag-n-drop methods for image objects.
NASA Technical Reports Server (NTRS)
Seidewitz, Edwin V.; Agresti, William; Ferry, Daniel; Lavallee, David; Maresca, Paul; Nelson, Robert; Quimby, Kelvin; Rosenberg, Jacob; Roy, Daniel; Shell, Allyn
1987-01-01
Ada is a programming language of considerable expressive power. The Ada Language Reference Manual provides a thorough definition of the language. However, it does not offer sufficient guidance on the appropriate use of Ada's powerful features. For this reason, the Goddard Space Flight Center Ada User's Group has produced this style guide which addresses such program style issues. The guide covers three areas of Ada program style: the structural decomposition of a program; the coding and the use of specific Ada features; and the textural formatting of a program.
Towards an agent-oriented programming language based on Scala
NASA Astrophysics Data System (ADS)
Mitrović, Dejan; Ivanović, Mirjana; Budimac, Zoran
2012-09-01
Scala and its multi-threaded model based on actors represent an excellent framework for developing purely reactive agents. This paper presents an early research on extending Scala with declarative programming constructs, which would result in a new agent-oriented programming language suitable for developing more advanced, BDI agent architectures. The main advantage the new language over many other existing solutions for programming BDI agents is a natural and straightforward integration of imperative and declarative programming constructs, fitted under a single development framework.
NASA Astrophysics Data System (ADS)
Smith, Bryan J.
Current research suggests that many students do not know how to program very well at the conclusion of their introductory programming course. We believe that a reason novices have such difficulties learning programming is because engineering novices often learn through a lecture format where someone with programming knowledge lectures to novices, the novices attempt to absorb the content, and then reproduce it during exams. By primarily appealing to programming novices who prefer to understand visually, we research whether programming novices understand programming better if computer science concepts are presented using a visual programming language than if these programs are presented using a text-based programming language. This method builds upon previous research that suggests that most engineering students are visual learners, and we propose that using a flow-based visual programming language will address some of the most important and difficult topics to novices of programming. We use an existing flow-model tool, RAPTOR, to test this method, and share the program understanding results using this theory.
Knowledge-Based Extensible Natural Language Interface Technology Program
1989-11-30
natural language as its own meta-language to explain the meaning and attributes of the words and idioms of the larguage. Educational courses in language...understood and used by Lydia for human-computer dialogue. The KL enables a systems developer or " teacher -user" to build the system to a point where new...language can be "formal" as in a structured educational language program or it can be "informal" as in the case of a person consulting a dictionary for the
A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs
2005-05-24
source code are routinely executed. The source code is written in languages ranging from C/C++/Java to ML/ Ocaml . These languages differ not only in...from the difficulty to model computer programs—due to the complexity of programming languages as compared to hardware description languages —to...intermediate specification language lying between high-level Statechart- like formalisms and transition systems. Actions are encoded as changes in
Code of Federal Regulations, 2012 CFR
2012-04-01
... a specific appropriation from Congress? Yes, a school may operate a language development program... 25 Indians 1 2012-04-01 2011-04-01 true May schools operate a language development program without a specific appropriation from Congress? 39.137 Section 39.137 Indians BUREAU OF INDIAN AFFAIRS...
Code of Federal Regulations, 2013 CFR
2013-04-01
... a specific appropriation from Congress? Yes, a school may operate a language development program... 25 Indians 1 2013-04-01 2013-04-01 false May schools operate a language development program without a specific appropriation from Congress? 39.137 Section 39.137 Indians BUREAU OF INDIAN AFFAIRS...
Code of Federal Regulations, 2011 CFR
2011-04-01
... a specific appropriation from Congress? Yes, a school may operate a language development program... 25 Indians 1 2011-04-01 2011-04-01 false May schools operate a language development program without a specific appropriation from Congress? 39.137 Section 39.137 Indians BUREAU OF INDIAN AFFAIRS...
Code of Federal Regulations, 2014 CFR
2014-04-01
... a specific appropriation from Congress? Yes, a school may operate a language development program... 25 Indians 1 2014-04-01 2014-04-01 false May schools operate a language development program without a specific appropriation from Congress? 39.137 Section 39.137 Indians BUREAU OF INDIAN AFFAIRS...
Native Language Reading Approach Program, 1982-1983. O.E.E. Final Evaluation Report.
ERIC Educational Resources Information Center
Keyes, Jose Luis; And Others
The Native Language Reading Approach Program in New York City was designed as an exemplary approach to on-site training of classroom teachers and their assistants in how to help students transfer reading skills from their native language to English. Program components included support services, teacher training, material/curriculum development,…
Examining the Need for Chinese Language Programs in Mid-Atlantic Community Colleges
ERIC Educational Resources Information Center
Uhey, Ruth Ann Johnson
2012-01-01
Public education reform designed for K-12 and higher education exists to transform teaching and learning within the United States in order to graduate today's student. One specific initiative on the federal, state, and local levels is the implementation of Chinese language programs. Some of the Chinese language programs in the K-12 education…
ERIC Educational Resources Information Center
Timpe, Eugene F.
A model for undergraduate programs designed to integrate foreign language instruction with training for an international public service occupation is outlined. The language component and professional training, taught separately at first, are brought together at the end of the program in an internship in an international public service…
ERIC Educational Resources Information Center
Cunningham, Ann C.; Redmond, Mary Lynn
2002-01-01
Presents the foreign language education program at Wake Forest University as an example of how a content-focused curriculum can be enhanced by a supportive technology program. An emphasis on content, research, and practice supported by integrated, state-of-the-art technology prepares graduates of the foreign language education program to lead…
Middle School Exploratory Foreign Language Programs: A Position Paper.
ERIC Educational Resources Information Center
National Council of State Supervisors of Foreign Language.
Four types of exploratory foreign language programs are described: (1) the language overview course, (2) the trial-study course, (3) the Level I offering, and (4) the course for the non-college bound. It is largely in the middle schools (grades 6-8) and junior high schools (grades 7-9) that exploratory programs are being used. The language…
ERIC Educational Resources Information Center
Kibler, Amanda; Salerno, April; Hardigree, Christine
2014-01-01
Much of the debate regarding outcomes of various types of dual-language programs has focused on linguistic and academic results, and with good reason: improving the educational outcomes of language minorities and supporting societal multilingualism are vital goals. More rarely explored, however, are these programs' ethnolinguistic outcomes: the…
The Languages of the Valencian Educational System: The Results of Two Decades of Language Policy.
ERIC Educational Resources Information Center
Arroyo, Jose Luis Blas
2002-01-01
The compulsory education system in the autonomous Spanish region known as the Comunidad Valenciano has offered a varied program of bilingual education. Spanish and Valenciano, an autochthonous variety of Catalan, alternate according to various curricular programs as the main teaching languages. Examines the objectives of each of these programs, as…
Programming Language Software For Graphics Applications
NASA Technical Reports Server (NTRS)
Beckman, Brian C.
1993-01-01
New approach reduces repetitive development of features common to different applications. High-level programming language and interactive environment with access to graphical hardware and software created by adding graphical commands and other constructs to standardized, general-purpose programming language, "Scheme". Designed for use in developing other software incorporating interactive computer-graphics capabilities into application programs. Provides alternative to programming entire applications in C or FORTRAN, specifically ameliorating design and implementation of complex control and data structures typifying applications with interactive graphics. Enables experimental programming and rapid development of prototype software, and yields high-level programs serving as executable versions of software-design documentation.
The Merits of the Continued Instruction of ADA as a First Language at the Naval Postgraduate School
1994-09-01
H., Ada as a Second Language, McGraw Hill Book Company, 1986. Deitel , H.M. and Deitel P.J., C+ + How to Program , Prentice Hatl, 1994. Fastrack...complex language whose success is dependent on its users knowing how to utilize all of its features to yield good programs . (Fastrack) The addition of...Ada in particular as the first programming language at the Naval Postgraduate School The catch-22 of industry’s dedication to C++ and the Department
Structured Design Language for Computer Programs
NASA Technical Reports Server (NTRS)
Pace, Walter H., Jr.
1986-01-01
Box language used at all stages of program development. Developed to provide improved productivity in designing, coding, and maintaining computer programs. BOX system written in FORTRAN 77 for batch execution.
The Integration of English Language Development and Science Instruction in Elementary Classrooms
NASA Astrophysics Data System (ADS)
Zwiep, Susan Gomez; Straits, William J.; Stone, Kristin R.; Beltran, Dolores D.; Furtado, Leena
2011-12-01
This paper explores one district's attempt to implement a blended science and English Language Development (ELD) elementary program, designed to provide English language learners opportunities to develop proficiency in English through participation in inquiry-based science. This process resulted in blended program that utilized a combined science/ELD lesson plan format to structure and guide teachers' efforts to use science as the context for language development. Data, collected throughout the first 2 years of the program, include teacher-generated lesson plans, observation notes, and interviews with teachers and principals. The process by which the blended program was developed, the initial implementation of the program, the resulting science/ELD lesson plan format, and teachers' perceptions about the program and its impact on their students are described.
Linguistics, Computers, and the Language Teacher. A Communicative Approach.
ERIC Educational Resources Information Center
Underwood, John H.
This analysis of the state of the art of computer programs and programming for language teaching has two parts. In the first part, an overview of the theory and practice of language teaching, Noam Chomsky's view of language, and the implications and problems of generative theory are presented. The theory behind the input model of language…
WAC: Closing Doors or Opening Doors for Second Language Writers?
ERIC Educational Resources Information Center
Cox, Michelle
2011-01-01
Written by a WAC program director and second language writing studies scholar, this article raises questions about how second language writers are faring in WAC programs and the extent to which the fields of second language writing and WAC are informed by each other's scholarship. In this article, Cox draws from her review of 26 journal articles…
A Concept For a Primary Author's Language (PAL-X)
ERIC Educational Resources Information Center
Ripota, Peter
A Primary Author's Language (PAL-X) has been developed to serve as a documentation language for computer-assisted instructional (CAI) programs. Its development was necessary to permit the dissemination of CAI given the facts that: 1)existing CAI programs were written in over 60 languages; 2)the system for COURSEWRITER II, the most commonly used…
ERIC Educational Resources Information Center
Schmid, Euline Cutrim; Hegelheimer, Volker
2014-01-01
This paper presents research findings of a longitudinal empirical case study that investigated an innovative Computer Assisted Language Learning (CALL) professional development program for pre-service English as Foreign Language (EFL) teachers. The conceptualization of the program was based on the assumption that pre-service language teachers…
Omaha Language Preservation in the Macy, Nebraska Public School.
ERIC Educational Resources Information Center
Rudin, Catherine
A native language renewal program at the Macy, Nebraska Public School is described that is designed to preserve Omaha, a native American Indian language that is only a generation away from extinction. At the time of this research, only about 100 fluent Omaha speakers lived on the Omaha Reservation in Nebraska. The language and culture program,…
DiSalvo, Betsy
2014-01-01
To determine appropriate computer science curricula, educators sought to better understand the different affordances of teaching with a visual programming language (Alice) or a text-based language (Jython). Although students often preferred one language, that language wasn't necessarily the one from which they learned the most.
ERIC Educational Resources Information Center
Gebauer, Sandra Kristina; Zaunbauer, Anna C. M.; Moller, Jens
2013-01-01
Cross-language effects on reading skills are of particular interest in the context of foreign language immersion programs. Although there is an extensive literature on cross-language effects on reading in general, research focusing on immersion students and including different dimensions of reading acquisition such as reading fluency and reading…
ERIC Educational Resources Information Center
Schaetzel, Kirsten; Young, Sarah
2010-01-01
Adult English language learners comprise a substantial proportion of the adult education population in the United States. In program year 2006-2007, 46% of participants enrolled in state-administered adult education programs were in English as a second language (ESL) classes. This percentage does not include English language learners enrolled in…
Collins, Brian A.
2014-01-01
Latino dual language children typically enter school with a wide range of proficiencies in Spanish and English, many with low proficiency in both languages, yet do make gains in one or both languages during their first school years. Dual language development is associated with how language is used at home and school, as well as the type of instructional program children receive at school. The present study investigates how changes in both Spanish and English proficiencies of Latino, second-generation immigrant children (n =163) from kindergarten to second grade relate to instructional program type as well as language use at home and school. A series of MANCOVAs demonstrated significant dual language gains in children who were in bilingual classrooms and schools where Spanish was used among the teachers, students, and staff. Furthermore, only in classrooms where both Spanish and English were used did children reach age-appropriate levels of academic proficiency in both languages. Home language use was also significantly associated with dual language gains as was maternal Spanish vocabulary knowledge before controlling for maternal education. Educational implications and potential benefits associated with bilingualism are discussed. PMID:25264401
Evaluation of verifiability in HAL/S. [programming language for aerospace computers
NASA Technical Reports Server (NTRS)
Young, W. D.; Tripathi, A. R.; Good, D. I.; Browne, J. C.
1979-01-01
The ability of HAL/S to write verifiable programs, a characteristic which is highly desirable in aerospace applications, is lacking since many of the features of HAL/S do not lend themselves to existing verification techniques. The methods of language evaluation are described along with the means in which language features are evaluated for verifiability. These methods are applied in this study to various features of HAL/S to identify specific areas in which the language fails with respect to verifiability. Some conclusions are drawn for the design of programming languages for aerospace applications and ongoing work to identify a verifiable subset of HAL/S is described.
The Army FAO Training Program: Time to Break More Glass
2013-03-01
these five countries, English is the co-national language in the Philippines, a strong second language in Malaysia , and the second language and growing...advanced language studies and develop in-depth knowledge of the region through a program of travel, research, and self -study.” While IRT succeeds in...in providing advanced language training. Furthermore, most IRT FAOs conduct little research, and “ self -study”, when conducted, normally equates to
Dual Language Immersion Program Equity and Access: Is There Equity for All Students?
ERIC Educational Resources Information Center
Fernandez, Patricia Espinoza
2016-01-01
This is a mixed methods study of K-12 school administrators with dual language immersion school leadership expertise. The paramount research focus was to identify equity and access issues in dual language immersion programs serving grades K-12, as identified by school administrators who have led such programs. A total pool of 498 were invited to…
What about a Simple Language? Analyzing the Difficulties in Learning to Program
ERIC Educational Resources Information Center
Mannila, Linda; Peltomaki, Mia; Salakoski, Tapio
2006-01-01
In this paper, we present the results from a two-part study. We analyze 60 programs written by novice programmers aged 16-19 after their first programming course, in either Java or Python. The aim is to find difficulties independent of the language used, and such originating from the language. Second, we analyze the transition from a…
ERIC Educational Resources Information Center
Dworin, Joel
2011-01-01
This study investigated the language and literacy practices of five graduates of a Spanish-English K-12 dual language immersion program through semistructured interviews to understand the residual impact of thirteen years in a Spanish-English bilingual school program. Drawing from sociocultural theory, the interviews also sought to provide an…
Bruhn, Peter; Geyer-Schulz, Andreas
2002-01-01
In this paper, we introduce genetic programming over context-free languages with linear constraints for combinatorial optimization, apply this method to several variants of the multidimensional knapsack problem, and discuss its performance relative to Michalewicz's genetic algorithm with penalty functions. With respect to Michalewicz's approach, we demonstrate that genetic programming over context-free languages with linear constraints improves convergence. A final result is that genetic programming over context-free languages with linear constraints is ideally suited to modeling complementarities between items in a knapsack problem: The more complementarities in the problem, the stronger the performance in comparison to its competitors.
Restrepo, M Adelaida; Castilla, Anny P; Schwanenflugel, Paula J; Neuharth-Pritchett, Stacey; Hamilton, Claire E; Arboleda, Alejandra
2010-01-01
The purpose of this study was to examine the effects of a supplemental Spanish language instruction program for children who spoke Spanish as their native language and were attending English-only preschool programs. Specifically, the study evaluated the program's effects on the children's Spanish sentence length in words, subordination index, and grammaticality of sentences. Forty-five Spanish-speaking children attending English-only prekindergarten classrooms were selected for study. Of those, 15 children received 30 min of Spanish instruction 5 days a week for 16 weeks. The program targeted 5-10 vocabulary words a week, dialogic book reading, phonemic awareness, and letter knowledge. The remaining 30 children participated in regular preschool English instruction. Students were evaluated before intervention, immediately after intervention, and 4 months following intervention. Repeated measures analyses of variance indicated that the children who received the small-group supplemental Spanish language instruction made significant gains in their Spanish sentence length in words and subordination index when compared to those receiving regular English-only classroom instruction. There were no differences in the children's grammaticality of sentences. The findings demonstrate that a daily short native language program has significant effects on sentence length in words and subordination index in English language learners who are attending English-only preschool programs.
High level language-based robotic control system
NASA Technical Reports Server (NTRS)
Rodriguez, Guillermo (Inventor); Kruetz, Kenneth K. (Inventor); Jain, Abhinandan (Inventor)
1994-01-01
This invention is a robot control system based on a high level language implementing a spatial operator algebra. There are two high level languages included within the system. At the highest level, applications programs can be written in a robot-oriented applications language including broad operators such as MOVE and GRASP. The robot-oriented applications language statements are translated into statements in the spatial operator algebra language. Programming can also take place using the spatial operator algebra language. The statements in the spatial operator algebra language from either source are then translated into machine language statements for execution by a digital control computer. The system also includes the capability of executing the control code sequences in a simulation mode before actual execution to assure proper action at execution time. The robot's environment is checked as part of the process and dynamic reconfiguration is also possible. The languages and system allow the programming and control of multiple arms and the use of inward/outward spatial recursions in which every computational step can be related to a transformation from one point in the mechanical robot to another point to name two major advantages.
High level language-based robotic control system
NASA Technical Reports Server (NTRS)
Rodriguez, Guillermo (Inventor); Kreutz, Kenneth K. (Inventor); Jain, Abhinandan (Inventor)
1996-01-01
This invention is a robot control system based on a high level language implementing a spatial operator algebra. There are two high level languages included within the system. At the highest level, applications programs can be written in a robot-oriented applications language including broad operators such as MOVE and GRASP. The robot-oriented applications language statements are translated into statements in the spatial operator algebra language. Programming can also take place using the spatial operator algebra language. The statements in the spatial operator algebra language from either source are then translated into machine language statements for execution by a digital control computer. The system also includes the capability of executing the control code sequences in a simulation mode before actual execution to assure proper action at execution time. The robot's environment is checked as part of the process and dynamic reconfiguration is also possible. The languages and system allow the programming and control of multiple arms and the use of inward/outward spatial recursions in which every computational step can be related to a transformation from one point in the mechanical robot to another point to name two major advantages.
2011-05-19
recruited through the MAVNI program possess language skills and cultural expertise that can help the commander make sense of what is going on around him...made; (1) further development of the MAVNI program in order to better leverage the language skills and cultural expertise of the Soldiers recruited...describe and direct. Soldiers recruited through the MAVNI program possess language skills and cultural expertise that can help the commander make
Language Magazine: The Journal of Communication & Education, 2003.
ERIC Educational Resources Information Center
Ward, Daniel, Ed.
2003-01-01
Articles are included on such issues as the following: heritage languages; the psychology of language; the Voice of America broadcasts; dual language programs; linguistic autobiography in the language classroom; pronunciation; electronic education; dialects; world languages; bilingual education; language travel; language structure; conceptual…
ERIC Educational Resources Information Center
Bourque, Jane M.
Preparation for study abroad is a valid part of the foreign language program. One advantage of study abroad is the motivational focus it gives to home-based foreign languages programs. The possibility of participating in the foreign culture and actually using the language are incentives. Teaching intercultural communication and understanding is a…
ERIC Educational Resources Information Center
James, Ken
1981-01-01
Discusses psycholinguistic and sociolinguistic questions relevant to the development of language programs for foreigners, such as student motivation, language aptitude, learning styles, cultural differences, language styles, and communicative competence. Focuses particularly on the cultural problems faced by a foreigner, as a student, client, and…
ERIC Educational Resources Information Center
Forman, Stephanie
2016-01-01
Dual language immersion program models represent a potentially effective way to serve growing numbers of English language learners (ELLs) in schools and districts. However, local challenges, such as interpersonal conflict, can impact the process of implementing dual language policies and programs, limiting the extent to which they are able to meet…
ERIC Educational Resources Information Center
Jackson, Carla Wood; Schatschneider, Christopher
2013-01-01
This longitudinal study explored the rate of language growth of children in an early intervention program providing auditory-verbal therapy. A retrospective investigation, the study applied a linear growth model to estimate a mean growth curve and the extent of individual variation in language performance on the Preschool Language Scale, 4th ed.…
Bilingual Language Arts Survival Training: Project BLAST, 1987-88. OREA Evaluation Report.
ERIC Educational Resources Information Center
Berney, Tomi D.; Alvarez, Rosalyn
Project Bilingual Language Arts Survival Training (BLAST) served 254 Spanish-speaking 9th- through 12th-graders at Walton High School in the Bronx in its fifth year of funding. The program's aim was to supplement the school's bilingual program by providing instruction in English as a Second Language (ESL), native language arts (NLA) and culture,…
ERIC Educational Resources Information Center
de Oliveira, Luciana C.
2016-01-01
The number of English language learners (ELLs) in the United States has increased dramatically. Given this increase it is vital for teacher education programs at the pre-service level and professional learning programs at eh in-service level to address the needs of ELLs. This article presents a teacher preparation model--"a language-based…
ERIC Educational Resources Information Center
Scarinci, Nerina; Rose, Tanya; Pee, Jerrine; Webb, Kylie
2015-01-01
Early childhood educators (ECEs) play an important role in fostering language development in young children. In-service education, led by speech-language pathologists (SLPs), has a potential role in educating ECEs about language development. In this pilot study, 42 ECEs attended an in-service education program and completed pre- and…
Introduction to the Atari Computer. A Program Written in the Pilot Programming Language.
ERIC Educational Resources Information Center
Schlenker, Richard M.
Designed to be an introduction to the Atari microcomputers for beginners, the interactive computer program listed in this document is written in the Pilot programing language. Instructions are given for entering and storing the program in the computer memory for use by students. (MES)
34 CFR 656.1 - What is the National Resource Centers Program?
Code of Federal Regulations, 2011 CFR
2011-07-01
... 34 Education 3 2011-07-01 2011-07-01 false What is the National Resource Centers Program? 656.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION NATIONAL RESOURCE CENTERS PROGRAM FOR FOREIGN LANGUAGE AND AREA... Centers Program? Under the National Resource Centers Program for Foreign Language and Areas Studies or...
34 CFR 656.1 - What is the National Resource Centers Program?
Code of Federal Regulations, 2012 CFR
2012-07-01
... 34 Education 3 2012-07-01 2012-07-01 false What is the National Resource Centers Program? 656.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION NATIONAL RESOURCE CENTERS PROGRAM FOR FOREIGN LANGUAGE AND AREA... Centers Program? Under the National Resource Centers Program for Foreign Language and Areas Studies or...
34 CFR 656.1 - What is the National Resource Centers Program?
Code of Federal Regulations, 2010 CFR
2010-07-01
... 34 Education 3 2010-07-01 2010-07-01 false What is the National Resource Centers Program? 656.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION NATIONAL RESOURCE CENTERS PROGRAM FOR FOREIGN LANGUAGE AND AREA... Centers Program? Under the National Resource Centers Program for Foreign Language and Areas Studies or...
34 CFR 656.1 - What is the National Resource Centers Program?
Code of Federal Regulations, 2014 CFR
2014-07-01
... 34 Education 3 2014-07-01 2014-07-01 false What is the National Resource Centers Program? 656.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION NATIONAL RESOURCE CENTERS PROGRAM FOR FOREIGN LANGUAGE AND AREA... Centers Program? Under the National Resource Centers Program for Foreign Language and Areas Studies or...
34 CFR 656.1 - What is the National Resource Centers Program?
Code of Federal Regulations, 2013 CFR
2013-07-01
... 34 Education 3 2013-07-01 2013-07-01 false What is the National Resource Centers Program? 656.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION NATIONAL RESOURCE CENTERS PROGRAM FOR FOREIGN LANGUAGE AND AREA... Centers Program? Under the National Resource Centers Program for Foreign Language and Areas Studies or...
Atlanta Public Schools French Guide.
ERIC Educational Resources Information Center
Atlanta Public Schools, GA.
This teacher's guide specifies language skills and related areas of knowledge needed for communicating in the target language. Discussion of the philosophy governing the Atlanta language program includes an examination of student eligibility, program articulation, teaching methods, testing, teaching materials, resources, and equipment for use in…
HAL/S programmer's guide. [space shuttle flight software language
NASA Technical Reports Server (NTRS)
Newbold, P. M.; Hotz, R. L.
1974-01-01
HAL/S is a programming language developed to satisfy the flight software requirements for the space shuttle program. The user's guide explains pertinent language operating procedures and described the various HAL/S facilities for manipulating integer, scalar, vector, and matrix data types.
ERIC Educational Resources Information Center
Reyhner, Jon
This paper describes the benefits of indigenous mother tongue immersion programs, examining the Total Physical Response approach to immersion for beginning learners and focusing on the development of Maori and Hawaiian mother tongue language immersion programs. The paper discusses the importance of immersing students in a language-risk…
ERIC Educational Resources Information Center
Richmond, Edmun B.
The findings of a study of language and language education policy in each of the three independent nations of Comoros, Mauritius, and the Seychelles are reported in this book. Each country is discussed separately, focusing on the linguistic and educational history, the existing educational system, and current language policies and programs.…
A survey of electric and hybrid vehicle simulation programs
NASA Technical Reports Server (NTRS)
Bevan, J.; Heimburger, D. A.; Metcalfe, M. A.
1978-01-01
Results of a survey conducted within the United States to determine the extent of development and capabilities of automotive performance simulation programs suitable for electric and hybrid vehicle studies are summarized. Altogether, 111 programs were identified as being in a usable state. The complexity of the existing programs spans a range from a page of simple desktop calculator instructions to 300,000 lines of a high-level programming language. The capability to simulate electric vehicles was most common, heat-engines second, and hybrid vehicles least common. Batch-operated programs are slightly more common than interactive ones, and one-third can be operated in either mode. The most commonly used language was FORTRAN, the language typically used by engineers. The higher-level simulation languages (e.g. SIMSCRIPT, GPSS, SIMULA) used by "model builders" were conspicuously lacking.
NASA Technical Reports Server (NTRS)
Knight, J. C.; Hamm, R. W.
1984-01-01
PASCAL/48 is a programming language for the Intel MCS-48 series of microcomputers. In particular, it can be used with the Intel 8748. It is designed to allow the programmer to control most of the instructions being generated and the allocation of storage. The language can be used instead of ASSEMBLY language in most applications while allowing the user the necessary degree of control over hardware resources. Although it is called PASCAL/48, the language differs in many ways from PASCAL. The program structure and statements of the two languages are similar, but the expression mechanism and data types are different. The PASCAL/48 cross-compiler is written in PASCAL and runs on the CDC CYBER NOS system. It generates object code in Intel hexadecimal format that can be used to program the MCS-48 series of microcomputers. This reference manual defines the language, describes the predeclared procedures, lists error messages, illustrates use, and includes language syntax diagrams.
Language Nests and Language Acquisition: An Empirical Analysis
ERIC Educational Resources Information Center
Okura, Eve K.
2017-01-01
This dissertation presents the findings from interviews conducted with language nest workers, teachers, language nest coordinators, administrators of language revitalization programs, principals and directors of language immersion schools that work in close proximity with language nests, and linguists involved in language revitalization efforts.…
ERIC Educational Resources Information Center
Dunn, Lloyd M.; And Others
This Cooperative Language Development Project had two objectives: (1) to provide a modified language program for culturally disadvantaged first graders and (2) to evaluate the effectiveness of the program in terms of academic, intellectual, and linguistic growth. In a 2-year intervention program experimental versions of the Peabody Language…
ERIC Educational Resources Information Center
Darancik, Yasemin
2016-01-01
It has been observed that data-based translation programs are often used both in and outside the class unconsciously and thus there occurs many problems in foreign language learning and teaching. To draw attention to this problem, with this study, whether the program has satisfactory results or not has been revealed by making translations from…
ERIC Educational Resources Information Center
Rojas Tejada, Antonio J.; Cruz Del Pino, Raquel M.; Tatar, Moshe; Jimenez Sayans, Pablo
2012-01-01
The present study focuses on the Temporary Classroom of Linguistic Adaptation program (TCLA program) in which specialist teachers (Spanish as a foreign language teachers--SFL teachers) teach Spanish to immigrants who are not proficient in the language. We suggest that support for immigrant students in Spanish schools should adopt a new inclusive…
ERIC Educational Resources Information Center
Fulkerson, Gregory
2009-01-01
This article describes three big programs from Delaware where the less commonly taught languages find their home in Delaware elementary schools. Odyssey Charter School, located in Wilmington, is one of the very few Greek-language-focused public schools in the nation. The school began in 2006 as a Greek immersion program that concentrated on the…
ERIC Educational Resources Information Center
Brown, Paula M.; Quenin, Cathy
2010-01-01
The specialty preparation program within the speech-language pathology master's degree program at Nazareth College in Rochester, New York, was designed to train speech-language pathologists to work with children who are deaf and hard of hearing, ages 0 to 21. The program is offered in collaboration with the Rochester Institute of Technology,…
ERIC Educational Resources Information Center
Shimpi, Priya M.; Paik, Jae H.; Wanerman, Todd; Johnson, Rebecca; Li, Hui; Duh, Shinchieh
2015-01-01
The current English-language research and educational program was driven by an initiative to create a more interactive, theme-based bilingual language education model for preschools in Chengdu, China. During a 2-week teacher education program centered at the Experimental Kindergarten of the Chinese Academy of Sciences in Chengdu, China, a team of…
Marine Language Exchange Program: A 21st Century International and Interdisciplinary Partnership
NASA Astrophysics Data System (ADS)
Robigou, V.; Nichols-Pecceu, M.
2001-12-01
The ability of scientists to communicate across cultural and linguistic barriers is crucial for the global economic sustainability and protection of the world\\'{}s oceans. Yet students with majors in the sciences and engineering constitute less than 2% of those who study abroad each year. And even rarer are students who study in countries where English is not the first language. The Marine Language Exchange program is a case study of an international and interdisciplinary collaboration between faculties in the languages and the sciences who address this gap. A consortium of U.S. and European institutions including Eckerd College (Florida), University of Washington (Washington), University of Hilo (Hawaii), Université de la Rochelle (France), Université de Liège (Belgium), and Universidad de Las Palmas (Spain) is developing a multilingual, marine sciences exchange program in an effort to internationalize their Marine Sciences departments. The program includes a three-week, intensive "bridge" course designed to reinforce second language skills in the context of marine sciences, and prepare undergraduate students for the cultural and educational differences of their host country. Following this immersion experience students from each institution enroll in courses abroad including marine sciences specialization for full academic credit. This session will review the Marine Language Exchange program activities since 2000 and will discuss the ideological and practical aspects of the program. The program successes, difficulties and future directions will also be presented. Different disciplinary approaches -Second Language Acquisition, English as a Second Language and Marine Science- prepare science students to contribute to the study and the management of the world\\'{}s oceans with an awareness of the cultural issues reflected by national marine policies. Based on this case study, other universities could initiate their own international and interdisciplinary collaboration to facilitate a better understanding of other planetary issues.
Adapting high-level language programs for parallel processing using data flow
NASA Technical Reports Server (NTRS)
Standley, Hilda M.
1988-01-01
EASY-FLOW, a very high-level data flow language, is introduced for the purpose of adapting programs written in a conventional high-level language to a parallel environment. The level of parallelism provided is of the large-grained variety in which parallel activities take place between subprograms or processes. A program written in EASY-FLOW is a set of subprogram calls as units, structured by iteration, branching, and distribution constructs. A data flow graph may be deduced from an EASY-FLOW program.
1999-01-01
the system using widely available Microsoft Visual and Access Basic programming language . For SCE , SWAMI was upgraded to automatically update...into pseudo-code and pass it on to contractors to program, usually using a complex programming language like FORTRAN. Army operations research...easier to use than programming languages like FORTRAN or C, there was still very little expertise in HTML among the instructors and controllers who were
HAL/S - The programming language for Shuttle
NASA Technical Reports Server (NTRS)
Martin, F. H.
1974-01-01
HAL/S is a higher order language and system, now operational, adopted by NASA for programming Space Shuttle on-board software. Program reliability is enhanced through language clarity and readability, modularity through program structure, and protection of code and data. Salient features of HAL/S include output orientation, automatic checking (with strictly enforced compiler rules), the availability of linear algebra, real-time control, a statement-level simulator, and compiler transferability (for applying HAL/S to additional object and host computers). The compiler is described briefly.
Representing Medical Knowledge in a Terminological Language is Difficult1
Haimowits, Ira J.; Patil, Ramesh S.; Szolovits, Peter
1988-01-01
We report on an experiment to use a modern knowledge representation language, NIKL, to express the knowledge of a sophisticated medical reasoning program, ABEL. We are attempting to put the development of more capable medical programs on firmer representational grounds by moving from the ad hoc representations typical of current programs toward more principled representation languages now in use or under construction. Our experience with the project reported here suggests caution, however. Attempts at cleanliness and efficiency in the design of representation languages lead to a poverty of expressiveness that makes it difficult if not impossible to say in such languages what needs to be stated to support the application.
Language Intervention and the Culturally Different Child.
ERIC Educational Resources Information Center
Adler, Sol
1978-01-01
After describing a variety of compensatory programs that have not been very successful for children who enter school speaking nonstandard dialects, the author describes a bidialectal program that teaches standard usage as "school language" but accepts nonstandard dialects as "everyday language," and makes the differences…
ERIC Educational Resources Information Center
Garner, Waunita L.
The paper explains how Project LIFE (Language Improvement to Facilitate Education) has applied the principles of programed instruction in developing language materials for language handicapped children, especially the hearing impaired. Early strategy decisions are said to have involved obtaining a teaching machine which would be equipped with a…
Language Resource Centers Program
ERIC Educational Resources Information Center
Office of Postsecondary Education, US Department of Education, 2012
2012-01-01
The Language Resource Centers (LRC) program provides grants to institutions of higher education to establish, strengthen, and operate resource centers that serve to improve the nation's capacity to teach and learn foreign languages. Eligible applicants are institutions of higher education. Duration of the grant is four years. Center activities…
CAI-BASIC: A Program to Teach the Programming Language BASIC.
ERIC Educational Resources Information Center
Barry, Thomas Anthony
A computer-assisted instruction (CAI) program was designed which fulfills the objectives of teaching a simple programing language, interpreting student responses, and executing and editing student programs. The CAI-BASIC program is written in FORTRAN IV and executes on IBM-2741 terminals while running under a time-sharing system on an IBM-360-70…
ERIC Educational Resources Information Center
Ortiz, Octavio Ortiz; Pastor Franco, Juan Ángel; Alcover Garau, Pedro María; Herrero Martín, Ruth
2017-01-01
This paper describes a study of teaching a programming language in a C programming course by having students assemble and program a low-cost mobile robot. Writing their own programs to define the robot's behavior raised students' motivation. Working in small groups, students programmed the robots by using the control structures of structured…
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.
Instructional Design: Its Relevance for CALL.
ERIC Educational Resources Information Center
England, Elaine
1989-01-01
Describes an interdisciplinary (language and educational technology departments) instructional design program that is intended to develop back-up computer programs for students taking supplementary English as a second language classes. The program encompasses training programs, the psychology of screen reading, task analysis, and color cueing.…
ERIC Educational Resources Information Center
Li, Jennifer; Steele, Jennifer; Slater, Robert; Bacon, Michael; Miller, Trey
2016-01-01
Many educators and policy makers look to two-way dual language immersion as one of the most promising options to close achievement gaps for English learners. However, the programs' effectiveness depends on the quality of their implementation. This article reports on a large-scale study of the implementation of dual language immersion across a…
Detecting Potential Synchronization Constraint Deadlocks from Formal System Specifications
1992-03-01
family of languages, consisting of the Larch Shared Language and a series of Larch interface languages, specific to particular programming languages...specify sequential (non- concurrent) programs , and explicitly does not include the ability to specify atomic actions (Guttag, 1985). Larch is therefore...synchronized communication between two such agents is ronsidered as a single action. The transitions in CCS trees are labelled to show how they are
ERIC Educational Resources Information Center
Akmese, Pelin Pistav
2016-01-01
Being hearing impaired limits one's ability to communicate in that it affects all areas of development, particularly speech. One of the methods the hearing impaired use to communicate is sign language. This study, a descriptive study, intends to examine the opinions of individuals who had enrolled in a sign language certification program by using…
ERIC Educational Resources Information Center
Santana-Paixao, Raquel C.
2017-01-01
Oral testing administration plays a significant role in foreign language programs aiming to foster the development of students' speaking abilities. With the development of language teaching software, the use of computer based recording tools are becoming increasingly used in language courses as an alternative to traditional face-to-face oral…
ERIC Educational Resources Information Center
Sadtono, Eugenius, Ed.
Selected papers from a 1992 seminar on innovations in language teacher education include: "Collaboration in Assessment: Empowering the Individual Course Member" (Leslie Dickinson); "An Approach to the Evaluation of ELT Preparation Programs" (Stephen J. Gaies); "Human Resources Development in the Management of English Language Programs: An…
ERIC Educational Resources Information Center
Bird, Thomas E., Ed.
Included in this volume are the reports on foreign language research and development produced by the three working committees of the fifteenth annual Northeast Conference on the Teaching of Foreign Languages. Discussions of (1) the Indiana and Washington State programs, (2) "Artes Latinae," a complete project of programed learning…
Computer Language For Optimization Of Design
NASA Technical Reports Server (NTRS)
Scotti, Stephen J.; Lucas, Stephen H.
1991-01-01
SOL is computer language geared to solution of design problems. Includes mathematical modeling and logical capabilities of computer language like FORTRAN; also includes additional power of nonlinear mathematical programming methods at language level. SOL compiler takes SOL-language statements and generates equivalent FORTRAN code and system calls. Provides syntactic and semantic checking for recovery from errors and provides detailed reports containing cross-references to show where each variable used. Implemented on VAX/VMS computer systems. Requires VAX FORTRAN compiler to produce executable program.
Fairweather, Glenn Craig; Lincoln, Michelle Ann; Ramsden, Robyn
2016-12-01
The objectives of this study were to investigate the efficacy of a speech-language pathology teletherapy program for children attending schools and early childcare settings in rural New South Wales, Australia, and their parents' views on the program's feasibility and acceptability. Nineteen children received speech-language pathology sessions delivered via Adobe Connect®, Facetime © or Skype © web-conferencing software. During semi-structured interviews, parents (n = 5) described factors that promoted or threatened the program's feasibility and acceptability. Participation in a speech-language pathology teletherapy program using low-bandwidth videoconferencing improved the speech and language skills of children in both early childhood settings and primary school. Emergent themes related to (a) practicality and convenience, (b) learning, (c) difficulties and (d) communication. Treatment outcome data and parental reports verified that the teletherapy service delivery was feasible and acceptable. However, it was also evident that regular discussion and communication between the various stakeholders involved in teletherapy programs may promote increased parental engagement and acceptability.
Starting a New Language Education Program
ERIC Educational Resources Information Center
Harris, Kathy
2015-01-01
Early years and primary teachers have a unique opportunity to apply their strong teaching practices, classroom management and understanding of childhood literacy development to teaching a language. This paper reports on a project from Independent Schools Queensland to increase language programs in schools by retraining classroom teachers.…
Evaluation Study of "Language, Literacy, & Vocabulary!" Spring 2006 Pilot
ERIC Educational Resources Information Center
McNabb, Mary
2006-01-01
Purpose: A pilot study of the "Language, Literacy, & Vocabulary!" program was conducted by Learning Gauger, Inc., for National Geographic School Publishing, in spring 2006. The program evaluation examined the classroom adoption approaches used by participating teachers and the subsequent impact of the "Language, Literacy, &…
Students' Perceptions of Bilingualism in Spanish and Mandarin Dual Language Programs
ERIC Educational Resources Information Center
Lindholm-Leary, Kathryn
2016-01-01
Considerable research documents students' outcomes in dual language (DL) programs, but there is little examination of students' perceptions of bilingualism and its impact on students' cognitive functioning and social relationships, especially with comparative studies across different target languages and student backgrounds. This study, which…
Indigenous Education and Grassroots Language Planning in the USA.
ERIC Educational Resources Information Center
McCarty, Teresa L.; Watahomigie, Lucille J.
1999-01-01
Indigenous literacy affirms indigenous identity; connects native speakers to the culture and each other; and stimulates other, more diffuse forces for language maintenance. Collaborative, grassroots Native language programs in the United States, New Zealand, Hawaii, Canada, and Puerto Rico are described. Immersion and literacy programs include…
Semantic Processing for Communicative Exercises in Foreign-Language Learning.
ERIC Educational Resources Information Center
Mulford, George W.
1989-01-01
Outlines the history of semantically based programs that have influenced the design of computer assisted language instruction (CALI) programs. Describes early attempts to make intelligent CALI as well as current projects, including the Foreign Language Adventure Game, developed at the University of Delaware. Describes some important…
ERIC Educational Resources Information Center
Voght, Geoffrey M., Ed.
Part II of the proceedings includes nine presentations. They are: "Business and Foreign Language Tie the Knot at Nazareth College: A Four Year Program Model" (Octave G. Naulleau); "For an Actual Education in International Management" (Alain Eclache and Georges Labet); "A Foreign Language Program for Majors in Hotel and Restaurant Management:…
Creating a Speech-Language Pathology Assistant Program.
ERIC Educational Resources Information Center
Hambrecht, Georgia, Ed.; Stimley, Mark, Ed.
This document consists of 11 short articles about the development of the Associate of Science degree program for speech-language pathology assistants (SLPAs) at Indiana State University. The three sections address the program's background, course planning, and program implementation, respectively. Individual articles are: (1) "Top 10 List of…
Modern & Classical Languages: K-12 Program EValuation 1988-89.
ERIC Educational Resources Information Center
Martinez, Margaret Perea
This evaluation of the modern and classical languages programs, K-12, in the Albuquerque (New Mexico) public school system provides general information on the program's history, philosophy, recognition, curriculum development, teachers, and activities. Specific information is offered on the different program components, namely, the elementary…
QA4, a language for artificial intelligence.
NASA Technical Reports Server (NTRS)
Derksen, J. A. C.
1973-01-01
Introduction of a language for problem solving and specifically robot planning, program verification, and synthesis and theorem proving. This language, called question-answerer 4 (QA4), embodies many features that have been found useful for constructing problem solvers but have to be programmed explicitly by the user of a conventional language. The most important features of QA4 are described, and examples are provided for most of the material introduced. Language features include backtracking, parallel processing, pattern matching, set manipulation, and pattern-triggered function activation. The language is most convenient for use in an interactive way and has extensive trace and edit facilities.
25 CFR 39.131 - What is a Language Development Program?
Code of Federal Regulations, 2011 CFR
2011-04-01
... learning their Native language for the purpose of maintenance or language restoration and enhancement; (d) Are being instructed in their Native language; or (e) Are learning non-language subjects in their...
Priority Intelligence Requirement Answering and Commercial Question-Answering: Identifying the Gaps
2010-06-01
systems Tagged Text Google Patent Search Metacarta; Semantic MediaWiki; Palantir Logic Statements Prolog 5 Powerset (Microsoft Bing); Cyc...provided by companies including MetaCarta and Palantir . MetaCarta’s technology [ 12] processes documents in order to identify any...and so on (Figure 4). 10 Figure 4 Palantir Screenshot from Palantir Tech Blog. The graph is linked to the histogram view that allows
Genetic algorithms using SISAL parallel programming language
DOE Office of Scientific and Technical Information (OSTI.GOV)
Tejada, S.
1994-05-06
Genetic algorithms are a mathematical optimization technique developed by John Holland at the University of Michigan [1]. The SISAL programming language possesses many of the characteristics desired to implement genetic algorithms. SISAL is a deterministic, functional programming language which is inherently parallel. Because SISAL is functional and based on mathematical concepts, genetic algorithms can be efficiently translated into the language. Several of the steps involved in genetic algorithms, such as mutation, crossover, and fitness evaluation, can be parallelized using SISAL. In this paper I will l discuss the implementation and performance of parallel genetic algorithms in SISAL.
NASA Technical Reports Server (NTRS)
Allen, Robert J.
1988-01-01
An assembly language program using the Intel 80386 CPU and 80387 math co-processor chips was written to increase the speed of data gathering and processing, and provide control of a scanning CW ring dye laser system. This laser system is used in high resolution (better than 0.001 cm-1) water vapor spectroscopy experiments. Laser beam power is sensed at the input and output of white cells and the output of a Fabry-Perot. The assembly language subroutine is called from Basic, acquires the data and performs various calculations at rates greater than 150 faster than could be performed by the higher level language. The width of output control pulses generated in assembly language are 3 to 4 microsecs as compared to 2 to 3.7 millisecs for those generated in Basic (about 500 to 1000 times faster). Included are a block diagram and brief description of the spectroscopy experiment, a flow diagram of the Basic and assembly language programs, listing of the programs, scope photographs of the computer generated 5-volt pulses used for control and timing analysis, and representative water spectrum curves obtained using these programs.
Speech and Language Therapy Under an Automated Stimulus Control System.
ERIC Educational Resources Information Center
Garrett, Edgar Ray
Programed instruction for speech and language therapy, based upon stimulus control programing and presented by a completely automated teaching machine, was evaluated with 32 mentally retarded children, 20 children with language disorders (childhood aphasia), six adult aphasics, and 60 normal elementary school children. Posttesting with the…
Language Policies, Identities, and Education in Refugee Resettlement
ERIC Educational Resources Information Center
Feuerherm, Emily
2013-01-01
This dissertation explores the creation and development of a community based language and health program for Iraqi refugees. The need for the program is contextualized by international, national and local policies of refugee resettlement, policies for language and education, and the interpretation of these policies on the ground. Ideologies…
International Education and Foreign Languages: Keys to Securing America's Future
ERIC Educational Resources Information Center
O'Connell, Mary Ellen, Ed.; Norwood, Janet L., Ed.
2007-01-01
"International Education and Foreign Languages" reviews the Department of Education's Title VI and Fulbright-Hays Programs, which provide higher education funding for international education and foreign language programs. This book offers a timely look at issues that are increasingly important in an interconnected world. It discusses the…
Toddler-Parent Playgroups: Empowering Parents in Language Intervention.
ERIC Educational Resources Information Center
Haas, Julie; Popowicz, Louanne
In an attempt to provide a model of language intervention tailored to toddler needs, this poster session gives an overview of a playgroup program implemented by a speech-language pathologist and an early intervention specialist. The program's aim is to improve communicative abilities while maintaining the integrity of the child-caregiver…
ERIC Educational Resources Information Center
Byrnes, Heidi, Ed.; Maxim, Hiram H., Ed.
This book includes the following chapters: "Literacy and Advanced Foreign Language Learning: Rethinking he Curriculum" (Richard G. Kern); "A Template for Advanced Learner Tasks: Staging Genre Reading and Cultural Literacy Through the Precis" (Janet Swaffar); "Fostering Advanced L2 Literacy: A Genre-Based, Cognitive…
A Formal Language Selection Process for Introductory Programming Courses
ERIC Educational Resources Information Center
Parker, Kevin R.; Chao, Joseph T.; Ottaway, Thomas A.; Chang, Jane
2006-01-01
The selection of a programming language for introductory courses has long been an informal process involving faculty evaluation, discussion, and consensus. As the number of faculty, students, and language options grows, this process becomes increasingly unwieldy. As it stands, the process currently lacks structure and replicability. Establishing a…
Teaching Reading with Puppets.
ERIC Educational Resources Information Center
Bennett, Ruth
The use of traditional stories in American Indian language programs connects students' reading to their lives and familiarizes learners with the rhythms of the oral language. Puppet performances are one way of connecting reading programs to the Native oral tradition. A high school reading lesson in a first-year Hupa language class uses many…
Intermediate-Level Foreign Language Courses for BBA Students.
ERIC Educational Resources Information Center
Ortuno, Manuel J.; Uber, David M.
Following the early success of its inclusion of languages in the master's-level business administration curriculum, Baylor University began to emphasize foreign language study more heavily in its undergraduate business administration program. The revised program, to be fully implemented in 1989, encourages students to choose 11 hours of language…
Foreign Language/Area Studies Enhancement Project. Final Report.
ERIC Educational Resources Information Center
Felker, William; Fuller, Clark
The Foreign Language/Area Studies Enhancement Program at Central State University (Ohio) is an experience-centered work and study program in Africa designed to give students training in language, culture, and technology. It parallels and supports the university's northern Senegal water management project designed to promote self-sufficiency among…
High level language for measurement complex control based on the computer E-100I
NASA Technical Reports Server (NTRS)
Zubkov, B. V.
1980-01-01
A high level language was designed to control the process of conducting an experiment using the computer "Elektrinika-1001". Program examples are given to control the measuring and actuating devices. The procedure of including these programs in the suggested high level language is described.
ERIC Educational Resources Information Center
Girolametto, Luigi; Weitzman, Elaine; Greenberg, Janice
2012-01-01
Purpose: This study examined the efficacy of a professional development program for early childhood educators that facilitated emergent literacy skills in preschoolers. The program, led by a speech-language pathologist, focused on teaching alphabet knowledge, print concepts, sound awareness, and decontextualized oral language within naturally…
Immersing the Library in English Language Learning
ERIC Educational Resources Information Center
Riley, Bobby
2008-01-01
The author relates how his school has a very active English Language Learner (ELL) program. ELL students typically have varying levels of social and academic language, but almost always have some English proficiency. Recently, his school established a Newcomer Program that drastically changed the school system. They acquired students lacking any…
Developing a Multimedia, Computer-Based Spanish Placement Test
ERIC Educational Resources Information Center
Zabaleta, Francisco
2007-01-01
Placing students of a foreign language within a basic language program constitutes an ongoing problem, particularly for large university departments when they have many incoming freshmen and transfer students. This article outlines the author's experience designing and piloting a language placement test for a university level Spanish program. The…
"Doing" Language: Making New Links.
ERIC Educational Resources Information Center
Larson, Phyllis
1999-01-01
Describes a Japanese language program at a small liberal arts college in Minnesota that is making connections with the general studies program of the college. Four cultural studies courses are intended to demonstrate to students the symbiosis between language and culture and to provide a context for the students' study in Japan. (Author/VWL)
Acknowledging Spanish and English Resources during Mathematical Reasoning
ERIC Educational Resources Information Center
LópezLeiva, Carlos A.; Torres, Zayoni; Khisty, Lena L.
2013-01-01
As English-only efforts continue in the US schooling system, dual-language programs have served as attempts to preserve students' home language. An after-school, dual-language, Spanish-English, mathematics program, Los Rayos was developed in a predominantly Mexican/Mexican-American neighborhood in Chicago. As participant observers with a…
Into the Field: Learning about English Language Learners in Newcomer Programs
ERIC Educational Resources Information Center
Silva, Cecila; Kucer, Stephen
2016-01-01
This research examines the impact of field experiences with English language learners on the conceptual and emotional development of preservice disciplinary students. For one semester, preservice university students worked with English language learners enrolled in middle and high school Newcomer Programs. During this time the university students…
Innovative Active Networking Services
2004-03-01
implementation of the ML programming language and runtime system. OCaml offers a programming environment that can be formally analyzed; 3. University... language such as Java or OCaml . A typical PLANet (PLAN Active network) node would look as in Figure 1. The University of Kansas /ITTC 6 Innovative... language . Hence we will be discussing it alone. 2.1.2 OCaml OCaml provides several of the design goals required for a service level language . Some of
Quicksilver: Middleware for Scalable Self-Regenerative Systems
2006-04-01
Applications can be coded in any of about 25 programming languages ranging from the obvious ones to some very obscure languages , such as OCaml ...technology. Like Tempest, Quicksilver can support applications written in any of a wide range of programming languages supported by .NET. However, whereas...so that developers can work in standard languages and with standard tools and still exploit those solutions. Vendors need to see some success
Object-oriented models of cognitive processing.
Mather, G
2001-05-01
Information-processing models of vision and cognition are inspired by procedural programming languages. Models that emphasize object-based representations are closely related to object-oriented programming languages. The concepts underlying object-oriented languages provide a theoretical framework for cognitive processing that differs markedly from that offered by procedural languages. This framework is well-suited to a system designed to deal flexibly with discrete objects and unpredictable events in the world.
ERIC Educational Resources Information Center
Voght, Geoffrey M., Ed.
A collection of 10 papers from the second part of the conference on the applications of foreign languages and international studies to business focuses on the development of programs in foreign languages for business purposes. The papers include: "Foreign Languages for Global Vocations: From Theory to Practice" (Rochelle K. Kelz), "A Grim(m) Fairy…
A Survey of Object Oriented Languages in Programming Environments.
1987-06-01
subset of natural languages might be more effective , and make the human-computer interface more friendly. 19 .. .. . . -.. -, " ,. o...and complexty of Ada. He meant that the language contained too many features that made it complicated to use effectively . Much of the complexity comes...by sending messages to a class instance. A small subset of the methods in Smalltalk-80 are not expressed in the !-’ Smalhalk-80 programming language
Program of Studies. Foreign Languages.
ERIC Educational Resources Information Center
Fairfax County Schools, VA.
This curriculum guide describes the instructional program in foreign languages to be implemented in Fairfax County Public Schools, kindergarten through Grade 12. Section A describes the program and general goals, curriculum, and course content at levels 1-5. A general introduction to the Greek and Latin programs is also included. Introductions to…
Chinese Immersion Language Education
ERIC Educational Resources Information Center
Jia, Hongyi
2017-01-01
In the present day Mandarin Chinese has become a commonly taught language in the U.S. Mandarin is widely taught in colleges and universities; K-12 Chinese programs, including immersion programs, have also grown rapidly. However, to date little research has been conducted on the latter programs. This study examines immersion programs in elementary…
A Language Skills Program for Secondary LD Students.
ERIC Educational Resources Information Center
Howe, Bill
1982-01-01
A program was developed to increase the receptive and expressive language skills of 24 secondary learning-disabled students. Program units covered word sorting, sight-word vocabulary, key-word reading, reading rate, reading comprehension, listening, and writing. (Author/SW)
Bilingual parallel programming
DOE Office of Scientific and Technical Information (OSTI.GOV)
Foster, I.; Overbeek, R.
1990-01-01
Numerous experiments have demonstrated that computationally intensive algorithms support adequate parallelism to exploit the potential of large parallel machines. Yet successful parallel implementations of serious applications are rare. The limiting factor is clearly programming technology. None of the approaches to parallel programming that have been proposed to date -- whether parallelizing compilers, language extensions, or new concurrent languages -- seem to adequately address the central problems of portability, expressiveness, efficiency, and compatibility with existing software. In this paper, we advocate an alternative approach to parallel programming based on what we call bilingual programming. We present evidence that this approach providesmore » and effective solution to parallel programming problems. The key idea in bilingual programming is to construct the upper levels of applications in a high-level language while coding selected low-level components in low-level languages. This approach permits the advantages of a high-level notation (expressiveness, elegance, conciseness) to be obtained without the cost in performance normally associated with high-level approaches. In addition, it provides a natural framework for reusing existing code.« less
Understanding and Evolving the ML Module System
2005-05-01
kinds Abstract The ML module system stands as a high-water mark of programming language support for data abstraction. Nevertheless, it is not in a... language of part (3) using the framework of Harper and Stone, in which the meanings of “external” ML programs are interpreted by translation into an...researcher has been influenced to a large degree by their rigorous approach to programming language research and their profound sense of aesthetics. I
ERIC Educational Resources Information Center
Lenchuk, Iryna
2014-01-01
The purpose of this article is to analyze a task included in the LINC Home Study (LHS) program. LHS is a federally funded distance education program offered to newcomers to Canada who are unable to attend regular LINC classes. A task, in which a language structure (a gerund) is chosen and analyzed, was selected from one instructional module of LHS…
ERIC Educational Resources Information Center
Borkum, Evan; He, Fang; Linden, Leigh L.
2012-01-01
We conduct a randomized evaluation of a school library program on children's language skills. We find that the program had little impact on students' scores on a language test administered 16 months after implementation. The estimates are sufficiently precise to rule out effects larger than 0.13 and 0.11 standard deviations based on the 95 and 90…
TraceContract: A Scala DSL for Trace Analysis
NASA Technical Reports Server (NTRS)
Barringer, Howard; Havelund, Klaus
2011-01-01
In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the best weapon is a high level programming language augmented with constructs for temporal reasoning. A trace is a sequence of events, which may for example be generated by a running program, instrumented appropriately to generate events. The API supports writing properties in a notation that combines an advanced form of data parameterized state machines with temporal logic. The implementation utilizes SCALA's support for defining internal Domain Specific Languages (DSLs). Furthermore SCALA's combination of object oriented and functional programming features, including partial functions and pattern matching, makes it an ideal host language for such an API.
The Next Generation of Ground Operations Command and Control; Scripting in C Sharp and Visual Basic
NASA Technical Reports Server (NTRS)
Ritter, George; Pedoto, Ramon
2010-01-01
This slide presentation reviews the use of scripting languages in Ground Operations Command and Control. It describes the use of scripting languages in a historical context, the advantages and disadvantages of scripts. It describes the Enhanced and Redesigned Scripting (ERS) language, that was designed to combine the features of a scripting language and the graphical and IDE richness of a programming language with the utility of scripting languages. ERS uses the Microsoft Visual Studio programming environment and offers custom controls that enable an ERS developer to extend the Visual Basic and C sharp language interface with the Payload Operations Integration Center (POIC) telemetry and command system.
Federal Register 2010, 2011, 2012, 2013, 2014
2011-03-18
... Acquisition, Language Enhancement, and Academic Achievement for Limited English Proficient Students; Overview... to provide instruction that accelerates ELs' acquisition of language, literacy, and content knowledge.... Rosalinda Barrera, Assistant Deputy Secretary and Director for English Language Acquisition, Language...
Guyatt, G H; Cook, D J; Griffith, L; Walter, S D; Risdon, C; Liutkus, J
1997-05-01
To explore postgraduate medical trainees' attitudes toward the use of gender-inclusive language. Self-administered questionnaire. Seven residency training programs at McMaster University, Hamilton, Ont., from July 1993 to June 1994. Of 225 residents in the programs, 186 responded to the survey, for a response rate of 82.7%. Men and women were equally represented among the respondents. Categorization of attitudes about the use of language as gender-inclusive or gender-exclusive; characteristics predicting a gender-inclusive attitude. Factor analysis and Cronbach's alpha (0.90) supported the existence of a construct related to attitudes about language use, the poles of which were categorized as gender-inclusive and gender-exclusive. The authors classified residents with respect to their attitudes to language use from their responses to the questionnaire. In univariate analyses, sex, residency program and country of graduation significantly predicted a gender-inclusive attitude (p < 0.01). Only the first 2 variables were significant in a multivariate model; residency program explained 18% of the variance and sex 3%. Residents in obstetrics and gynecology and psychiatry had the most gender-inclusive attitudes, whereas residents in surgery and anesthesia had the most gender-exclusive attitudes. Residents' values are reflected in the language they choose to use. Language use may provide an index of underlying attitudes that may create hostile environments for female trainees.
The Role of Language in Adult Education and Poverty Reduction in Botswana
NASA Astrophysics Data System (ADS)
Bagwasi, Mompoloki
2006-05-01
This study examines the role of language in reducing poverty in Botswana through adult-education programs. Because language is the medium through which human beings communicate and grow intellectually and socially, it should form the basis of any discussion involving the relation between development and education. In order best to respond to societal changes and bridge the gap between the less privileged and the more privileged, adult-education programs should be guided by language policies that are sensitive to this pivotal role that language plays. Language is important in any discussion of poverty reduction because it determines who has access to educational, political and economic resources. The author recommends that adult-education programs in Botswana take account of the multilingual nature of society and so allow learners to participate freely, make use of their indigenous knowledge, and enhance their self-esteem and identity.
A Randomized Field Trial of the Fast ForWord Language Computer-Based Training Program
ERIC Educational Resources Information Center
Borman, Geoffrey D.; Benson, James G.; Overman, Laura
2009-01-01
This article describes an independent assessment of the Fast ForWord Language computer-based training program developed by Scientific Learning Corporation. Previous laboratory research involving children with language-based learning impairments showed strong effects on their abilities to recognize brief and fast sequences of nonspeech and speech…
34 CFR 655.3 - What regulations apply to the International Education Programs?
Code of Federal Regulations, 2010 CFR
2010-07-01
... (Grants)). (7) 34 CFR part 86 (Drug-Free Schools and Campuses). (b) The regulations in this part 655; and... Foreign Language and Area Studies or Foreign Language and International Studies); (2) 34 CFR part 657 (Foreign Language and Area Studies Fellowships Program); (3) 34 CFR part 658 (Undergraduate International...
Foreign Language/Intercultural Program. Your World and Mine (Sixth Grade). DS Manual 2650.6.
ERIC Educational Resources Information Center
Dependents Schools (DOD), Washington, DC.
The curriculum guides for foreign language and intercultural education programs in United States dependents schools overseas provide instructional ideas designed to promote learning about the language and culture of the host nation. The series, covering kindergarten through eighth grade, was written by host nation teachers, classroom teachers, and…
Language Analysis Package (L.A.P.) Version I System Design.
ERIC Educational Resources Information Center
Porch, Ann
To permit researchers to use the speed and versatility of the computer to process natural language text as well as numerical data without undergoing special training in programing or computer operations, a language analysis package has been developed partially based on several existing programs. An overview of the design is provided and system…
Cooperative Bi-Literacy: Parents, Students, and Teachers Read to Transform
ERIC Educational Resources Information Center
Rodriguez-Valls, Fernando
2009-01-01
Thousands of students in California learn English as a second language in schools that utilize exclusively monolingual--English Only--literacy programs. With such programs students do not have the opportunity to use the knowledge of their first language in order to acquire and master their second language. The project of cooperative bi-literacy…
Planning a TEFL Education Program: Policies, Perspectives and Promise.
ERIC Educational Resources Information Center
Fahmy, Jane Jackson; Bilton, Linda
The undergraduate program to train secondary school teachers of English as a foreign language (TEFL) at Sultan Qaboos University (SQU) in Oman is examined. First, the Omani context of language learning is discussed, notably need for English language skills for technological and economic development in a region with limited contact with the West…
World Languages and Cultures Feasibility Study
ERIC Educational Resources Information Center
Sklarz, David P.
2013-01-01
The purpose of the study was to conduct a comprehensive review of the research and best practices of exemplary elementary school World Language and Culture Programs. Specifically, (1) to assess the degree to which various program designs had most closely met the measurable goals of the American Council of Teachers of a Foreign Language, commonly…
Foreign Languages in the Elementary Schools: Guidelines and Regulations.
ERIC Educational Resources Information Center
Smith, Philip D., Jr.
This state handbook details guidelines and regulations for teachers of foreign language in the elementary schools. Principal factors to be considered in the establishment of a FLES program are examined; they include: (1) community and professional support, (2) choice of a foreign language, (3) teachers, (4) students, (5) programs, (6) syllabuses…
Examining Strategies for Embedding Literacy Skills within a Whole Language Program.
ERIC Educational Resources Information Center
Botenhagen, Jennifer L.
A study examined strategies for embedding literacy skills within a whole language program. A questionnaire was given to full-time whole language elementary school teachers who taught in kindergarten through second-grade classrooms. All the participants teach in suburban school districts in the Bay Area including San Francisco, Marin, Sonoma, and…
[Bilingual-Bicultural Curriculum for Language Arts: Grade 5.
ERIC Educational Resources Information Center
Beauchamp, Laura; Butler, David L.
Designed to assist bilingual teachers in providing a coordinated program of studies for students in the Connecticut Migratory Children's Program and others whose native language is Spanish, this language arts curriculum guide for fifth grade is one of a series for pre-school through fifth grade. The overall focus is on Puerto Rican history and…
ERIC Educational Resources Information Center
Tilley-Lubbs, Gresilda A.; Kreye, Betibel C.
2013-01-01
This paper describes a collaboration between Mathematics Education and English as a Second Language (ESL) Education programs that presented opportunities for preservice teachers from both programs to work together to address curricular and linguistic gaps that occur for English language learners (ELL) in content area classrooms. By modeling…
At Risk--Language Minority Preschool Children.
ERIC Educational Resources Information Center
Stowe, Carol Ann
Language minority children (those whose primary language is other than English) are significantly more likely than their non-minority peers to live in poverty, thereby qualifying for federal Head Start and bilingual education programs. An examination of the policies in these programs focuses on their area of overlap. It begins with an overview of…
Summer HILT Experience: ESL and SSL for Elementary School.
ERIC Educational Resources Information Center
Garcia, Marilyn; Grady, Karen
A high intensity language training (HILT) summer program in English as a second language and Spanish as a second language offered to second through eighth grade students in the North Monterey County Unified School District (California) during the summers of 1982 and 1983 is described. The program funding, design, admission, development, and…
ERIC Educational Resources Information Center
Tung, Rosann; Diez, Virginia; Gagnon, Laurie; Uriarte, Miren; Stazesky, Pamela
2011-01-01
This study is part of a collaborative project entitled "Identifying Success in Schools and Programs for English Language Learners in Boston Public Schools". The companion to this report, entitled "Improving Educational Outcomes of English Language Learners in Schools and Programs in Boston Public Schools", provides a…
Threats and Strategies to Counter Threats: Voices of Elementary School Foreign Language Learniers
ERIC Educational Resources Information Center
Rosenbusch, Marcia Harmon; Sorensen, Laurie
2004-01-01
The experience described by Kay Hoag, Advocacy Chair of the National Network for Early Language Learning (NNELL), exemplifies the threat of program elimination and/or cutbacks that elementary school foreign language programs across the nation experienced with increased frequency during the 2002-2003 academic year. Reports of these threats…
A Framework for International Student Participation in Postsecondary U.S. English Language Programs
ERIC Educational Resources Information Center
Colón, Valeriana
2016-01-01
Postsecondary English language education is a growing field in the United States. While there has been considerable research on international student mobility in higher education, there is limited research on the population's participation in U.S. English language programs (ELPs). This study examined literature in related fields to create a…
Selection and Use of General-Purpose Programming Languages--Overview. Volume 1.
ERIC Educational Resources Information Center
Cugini, John V.
This study presents a review of selection factors for the seven major general-purpose programming languages: Ada, BASIC, C, COBOL, FORTRAN, PASCAL, and PL/I. The factors covered include not only the logical operations within each language, but also the advantages and disadvantages stemming from the current computing environment, e.g., software…
ERIC Educational Resources Information Center
Davidova, Evguenia
2011-01-01
This article analyzes the findings of a pilot project conducted in 2008-2009 as a partnership between University Studies, Portland State University's interdisciplinary general education program, and the University's Russian Flagship Language Partner Program. The project proposes a new approach of integrating non-English speakers' language skills,…
The English Language Fellows Program.
ERIC Educational Resources Information Center
Blakely, Richard
1995-01-01
Discusses the English Language Fellows (ELF) Program, a pilot project that pairs specially-trained, native-speaking undergraduates with nonnative-speaking (NNS) classmates to study the content of courses that both are taking together. Woven into that study of course content, for the benefit of the NNS students, is the study of language as it is…
Spanish Native Language Arts Staff Development Turnkey Training Program, Spring 1989. OREA Report.
ERIC Educational Resources Information Center
Berney, Tomi D.
The Spanish Native Language Arts Development Turnkey Training Program attempted to create a network of secondary school administrators and teachers of Spanish acquainted with current research and methodology and able to provide staff development in native language arts for teachers of native Spanish speakers of limited English proficiency. Nine…
ERIC Educational Resources Information Center
Berney, Tomi D.; Plotkin, Donna
Project COM-TECH offered bilingual individualized instruction, using an enrichment approach, to Spanish- and Haitian Creole-speaking students with varying levels of English and native language proficiency and academic preparation. The program provided supplementary instruction in English as a Second Language (ESL); Native Language Arts (NLA); and…
Learning in Two Languages: A Bilingual Program in Western Australia.
ERIC Educational Resources Information Center
Barratt-Pugh, Caroline; Rohl, Mary
2001-01-01
Describes a one-year research project in a Western Australia primary school in a low socioeconomic area, which has a Khmer-English bilingual program to develop and extend children's English and Khmer language and literacy. Discusses findings concerning the children's written progress in both languages, and children's perceptions of their identity…
A Comprehensive Evaluation of a K-5 Chinese Language Immersion Program
ERIC Educational Resources Information Center
Jacobson, Shoufen
2013-01-01
This dissertation was designed to provide a comprehensive data-driven evaluation of a Chinese language Immersion Program (CIP) for the stakeholders. CIP was implemented in 2006 with a goal for students to become proficient in the Chinese language and develop increased cultural awareness while reaching at least the same level of academic…
Que bonito es leer! (How Nice It Is to Read!).
ERIC Educational Resources Information Center
Villarreal, Abelardo; And Others
This Spanish-language supplementary language arts program focuses on the development of decoding, encoding, comprehension, and interpretation skills, and is oriented toward the Mexican-American child's experience. It is designed for first-grade bilingual programs and as a resource for instruction in Spanish as a second language up to the third…
Competing Language Ideologies in a Bilingual/Bicultural After-School Program in Southern California
ERIC Educational Resources Information Center
Pastor, Ana Maria Relano
2008-01-01
This article looks at the competing language ideologies that preschool children negotiate in "Mi Clase Magica" (MCM), a Spanish-English bilingual/bicultural after-school program in San Diego. It examines children's language choice in interactions with peers and adults taking place at computer and "tareas" (homework) activities.…
Federal Register 2010, 2011, 2012, 2013, 2014
2011-01-27
... of 15 and 18 at the start of the program), in intensive, substantive overseas foreign language study... the learning and use of foreign languages by creating and optimizing overseas language study..., speaking, reading and writing), as verified through pre- and post- program assessment with a standardized...
Developing a Living Archive of Aboriginal Languages
ERIC Educational Resources Information Center
Bow, Catherine; Christie, Michael; Devlin, Brian
2014-01-01
The fluctuating fortunes of Northern Territory bilingual education programs in Australian languages and English have put at risk thousands of books developed for these programs in remote schools. In an effort to preserve such a rich cultural and linguistic heritage, the Living Archive of Aboriginal Languages project is establishing an open access,…
GSFC Systems Test and Operation Language (STOL) functional requirements and language description
NASA Technical Reports Server (NTRS)
Desjardins, R.; Hall, G.; Mcguire, J.; Merwarth, P.; Mocarsky, W.; Truszkowski, W.; Villasenor, A.; Brosi, F.; Burch, P.; Carey, D.
1978-01-01
The Systems Tests and Operation Language (STOL) provides the means for user communication with payloads, applications programs, and other ground system elements. It is a systems operation language that enables an operator or user to communicate a command to a computer system. The system interprets each high level language directive from the user and performs the indicated action, such as executing a program, printing out a snapshot, or sending a payload command. This document presents the following: (1) required language features and implementation considerations; (2) basic capabilities; (3) telemetry, command, and input/output directives; (4) procedure definition and control; (5) listing, extension, and STOL nucleus capabilities.
Federal Register 2010, 2011, 2012, 2013, 2014
2011-01-19
... English Language Acquisition, Language Enhancement, and Academic Achievement for Limited English.... Barrera, Assistant Deputy Secretary and Director, Office of English Language Acquisition, Language... learners (ELs) \\1\\, and to promote parental and community participation in language instruction educational...
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