Structured Natural-Language Descriptions for Semantic Content Retrieval of Visual Materials.
ERIC Educational Resources Information Center
Tam, A. M.; Leung, C. H. C.
2001-01-01
Proposes a structure for natural language descriptions of the semantic content of visual materials that requires descriptions to be (modified) keywords, phrases, or simple sentences, with components that are grammatical relations common to many languages. This structure makes it easy to implement a collection's descriptions as a relational…
Digital systems design language
NASA Technical Reports Server (NTRS)
Shiva, S. G.
1979-01-01
Digital Systems Design Language (DDL) is implemented on the SEL-32 Computer Systems. The detaileds of the language, the translator, and the simulator, and the smulator programs are given. Several example descriptions and a tutorial on hardware description languages are provided, to guide the user.
Digital systems design language. Design synthesis of digital systems
NASA Technical Reports Server (NTRS)
Shiva, S. G.
1979-01-01
The Digital Systems Design Language (DDL) is implemented on the SEL-32 computer systems. The details of the language, translator and simulator programs are included. Several example descriptions and a tutorial on hardware description languages are provided, to guide the user.
Hardware description languages
NASA Technical Reports Server (NTRS)
Tucker, Jerry H.
1994-01-01
Hardware description languages are special purpose programming languages. They are primarily used to specify the behavior of digital systems and are rapidly replacing traditional digital system design techniques. This is because they allow the designer to concentrate on how the system should operate rather than on implementation details. Hardware description languages allow a digital system to be described with a wide range of abstraction, and they support top down design techniques. A key feature of any hardware description language environment is its ability to simulate the modeled system. The two most important hardware description languages are Verilog and VHDL. Verilog has been the dominant language for the design of application specific integrated circuits (ASIC's). However, VHDL is rapidly gaining in popularity.
Automatic Digital Hardware Synthesis
1990-09-01
VHDL to PALASM, a hardware synthesis language. The PALASM description is then directly implemented into a field programmable gate array (FPGAI using...process of translating VHDL to PALASM, a hardware synthesis language. The PALASM description is then directly implemented into a field programmable gate...allows the engineer to use VHDL to create and validate a design, and then to implement it in a gate array. The development of software o translate VHDL
DRFM Cordic Processor and Sea Clutter Modeling for Enhancing Structured False Target Synthesis
2017-09-01
was implemented using the Verilog hardware description language. The second investigation concerns generating sea clutter to impose on the false target...to achieve accuracy at 5.625o. The resulting design was implemented using the Verilog hardware description language. The second investigation...33 3. Initialization of the Angle Accumulator ....................................34 4. Design Methodology for I/Q Phase
ERIC Educational Resources Information Center
Okoth, Teresa A.
2016-01-01
This study investigated the challenges Form III English language teachers face when implementing the revised integrated English language curriculum. A mixed-method descriptive design was used in Eldoret East SubCounty in Kenya. Data was collected through questionnaires, interviews and reflective conversations. Cluster, purposive and random…
The Cooperate Assistive Teamwork Environment for Software Description Languages.
Groenda, Henning; Seifermann, Stephan; Müller, Karin; Jaworek, Gerhard
2015-01-01
Versatile description languages such as the Unified Modeling Language (UML) are commonly used in software engineering across different application domains in theory and practice. They often use graphical notations and leverage visual memory for expressing complex relations. Those notations are hard to access for people with visual impairment and impede their smooth inclusion in an engineering team. Existing approaches provide textual notations but require manual synchronization between the notations. This paper presents requirements for an accessible and language-aware team work environment as well as our plan for the assistive implementation of Cooperate. An industrial software engineering team consisting of people with and without visual impairment will evaluate the implementation.
The language parallel Pascal and other aspects of the massively parallel processor
NASA Technical Reports Server (NTRS)
Reeves, A. P.; Bruner, J. D.
1982-01-01
A high level language for the Massively Parallel Processor (MPP) was designed. This language, called Parallel Pascal, is described in detail. A description of the language design, a description of the intermediate language, Parallel P-Code, and details for the MPP implementation are included. Formal descriptions of Parallel Pascal and Parallel P-Code are given. A compiler was developed which converts programs in Parallel Pascal into the intermediate Parallel P-Code language. The code generator to complete the compiler for the MPP is being developed independently. A Parallel Pascal to Pascal translator was also developed. The architecture design for a VLSI version of the MPP was completed with a description of fault tolerant interconnection networks. The memory arrangement aspects of the MPP are discussed and a survey of other high level languages is given.
Automatic Requirements Specification Extraction from Natural Language (ARSENAL)
2014-10-01
designers, implementers) involved in the design of software systems. However, natural language descriptions can be informal, incomplete, imprecise...communication of technical descriptions between the various stakeholders (e.g., customers, designers, imple- menters) involved in the design of software systems...the accuracy of the natural language processing stage, the degree of automation, and robustness to noise. 1 2 Introduction Software systems operate in
A UML model for the description of different brain-computer interface systems.
Quitadamo, Lucia Rita; Abbafati, Manuel; Saggio, Giovanni; Marciani, Maria Grazia; Cardarilli, Gian Carlo; Bianchi, Luigi
2008-01-01
BCI research lacks a universal descriptive language among labs and a unique standard model for the description of BCI systems. This results in a serious problem in comparing performances of different BCI processes and in unifying tools and resources. In such a view we implemented a Unified Modeling Language (UML) model for the description virtually of any BCI protocol and we demonstrated that it can be successfully applied to the most common ones such as P300, mu-rhythms, SCP, SSVEP, fMRI. Finally we illustrated the advantages in utilizing a standard terminology for BCIs and how the same basic structure can be successfully adopted for the implementation of new systems.
Computer hardware description languages - A tutorial
NASA Technical Reports Server (NTRS)
Shiva, S. G.
1979-01-01
The paper introduces hardware description languages (HDL) as useful tools for hardware design and documentation. The capabilities and limitations of HDLs are discussed along with the guidelines needed in selecting an appropriate HDL. The directions for future work are provided and attention is given to the implementation of HDLs in microcomputers.
Semantic message oriented middleware for publish/subscribe networks
NASA Astrophysics Data System (ADS)
Li, Han; Jiang, Guofei
2004-09-01
The publish/subscribe paradigm of Message Oriented Middleware provides a loosely coupled communication model between distributed applications. Traditional publish/subscribe middleware uses keywords to match advertisements and subscriptions and does not support deep semantic matching. To this end, we designed and implemented a Semantic Message Oriented Middleware system to provide such capabilities for semantic description and matching. We adopted the DARPA Agent Markup Language and Ontology Inference Layer, a formal knowledge representation language for expressing sophisticated classifications and enabling automated inference, as the topic description language in our middleware system. A simple description logic inference system was implemented to handle the matching process between the subscriptions of subscribers and the advertisements of publishers. Moreover our middleware system also has a security architecture to support secure communication and user privilege control.
ERIC Educational Resources Information Center
Roedding, Amy L.
2013-01-01
In an effort to understand Christian college professors' levels of awareness to the needs of English Language Learners (ELLs) in content-based classrooms and to identify effective practices for language learning that are being implemented, a quantitative study using descriptive research was carried out. A survey was used to collect data to…
NASA Astrophysics Data System (ADS)
García, Aday; Santos, Lucana; López, Sebastián.; Callicó, Gustavo M.; Lopez, Jose F.; Sarmiento, Roberto
2014-05-01
Efficient onboard satellite hyperspectral image compression represents a necessity and a challenge for current and future space missions. Therefore, it is mandatory to provide hardware implementations for this type of algorithms in order to achieve the constraints required for onboard compression. In this work, we implement the Lossy Compression for Exomars (LCE) algorithm on an FPGA by means of high-level synthesis (HSL) in order to shorten the design cycle. Specifically, we use CatapultC HLS tool to obtain a VHDL description of the LCE algorithm from C-language specifications. Two different approaches are followed for HLS: on one hand, introducing the whole C-language description in CatapultC and on the other hand, splitting the C-language description in functional modules to be implemented independently with CatapultC, connecting and controlling them by an RTL description code without HLS. In both cases the goal is to obtain an FPGA implementation. We explain the several changes applied to the original Clanguage source code in order to optimize the results obtained by CatapultC for both approaches. Experimental results show low area occupancy of less than 15% for a SRAM-based Virtex-5 FPGA and a maximum frequency above 80 MHz. Additionally, the LCE compressor was implemented into an RTAX2000S antifuse-based FPGA, showing an area occupancy of 75% and a frequency around 53 MHz. All these serve to demonstrate that the LCE algorithm can be efficiently executed on an FPGA onboard a satellite. A comparison between both implementation approaches is also provided. The performance of the algorithm is finally compared with implementations on other technologies, specifically a graphics processing unit (GPU) and a single-threaded CPU.
ERIC Educational Resources Information Center
Ho, Caroline M. L.; Nelson, Mark Evan; Mueller-Wittig, Wolfgang
2011-01-01
This paper reports on a study, "MUSE", which involved Secondary (Grade 7) students in designing and constructing a virtual museum. It presents a description and evaluation of the design and implementation of the technologically-mediated intervention within a language curriculum that emphasizes multimodal meaning-making and expression.…
TESOL Technology Standards: Description, Implementation, Integration
ERIC Educational Resources Information Center
Teachers of English to Speakers of Other Languages, Inc. (TESOL), 2011
2011-01-01
The "TESOL Technology Standards" are applicable in a wide range of contexts: foreign language, second language, child, teen, adult, higher education, vocational education, language for specific purposes, and fully online programs; and in settings with low, medium, or high resources and access to communication technologies. Students, teachers,…
Connecting Architecture and Implementation
NASA Astrophysics Data System (ADS)
Buchgeher, Georg; Weinreich, Rainer
Software architectures are still typically defined and described independently from implementation. To avoid architectural erosion and drift, architectural representation needs to be continuously updated and synchronized with system implementation. Existing approaches for architecture representation like informal architecture documentation, UML diagrams, and Architecture Description Languages (ADLs) provide only limited support for connecting architecture descriptions and implementations. Architecture management tools like Lattix, SonarJ, and Sotoarc and UML-tools tackle this problem by extracting architecture information directly from code. This approach works for low-level architectural abstractions like classes and interfaces in object-oriented systems but fails to support architectural abstractions not found in programming languages. In this paper we present an approach for linking and continuously synchronizing a formalized architecture representation to an implementation. The approach is a synthesis of functionality provided by code-centric architecture management and UML tools and higher-level architecture analysis approaches like ADLs.
FGRAAL: FORTRAN extended graph algorithmic language
NASA Technical Reports Server (NTRS)
Basili, V. R.; Mesztenyi, C. K.; Rheinboldt, W. C.
1972-01-01
The FORTRAN version FGRAAL of the graph algorithmic language GRAAL as it has been implemented for the Univac 1108 is described. FBRAAL is an extension of FORTRAN 5 and is intended for describing and implementing graph algorithms of the type primarily arising in applications. The formal description contained in this report represents a supplement to the FORTRAN 5 manual for the Univac 1108 (UP-4060), that is, only the new features of the language are described. Several typical graph algorithms, written in FGRAAL, are included to illustrate various features of the language and to show its applicability.
Data-driven approach to human motion modeling with Lua and gesture description language
NASA Astrophysics Data System (ADS)
Hachaj, Tomasz; Koptyra, Katarzyna; Ogiela, Marek R.
2017-03-01
The aim of this paper is to present the novel proposition of the human motion modelling and recognition approach that enables real time MoCap signal evaluation. By motions (actions) recognition we mean classification. The role of this approach is to propose the syntactic description procedure that can be easily understood, learnt and used in various motion modelling and recognition tasks in all MoCap systems no matter if they are vision or wearable sensor based. To do so we have prepared extension of Gesture Description Language (GDL) methodology that enables movements description and real-time recognition so that it can use not only positional coordinates of body joints but virtually any type of discreetly measured output MoCap signals like accelerometer, magnetometer or gyroscope. We have also prepared and evaluated the cross-platform implementation of this approach using Lua scripting language and JAVA technology. This implementation is called Data Driven GDL (DD-GDL). In tested scenarios the average execution speed is above 100 frames per second which is an acquisition time of many popular MoCap solutions.
Languages of Education in Nigeria: Extent of Implementation in the (UBE) Schools in Ebonyi State
ERIC Educational Resources Information Center
Okonkwo, Adaobi F.
2016-01-01
The study focused on languages of education in Nigeria and extent of implementation in the (UBE) Schools in Ebonyi State. The study adopted a descriptive survey design. The population of the study constituted all the Universal Basic Education teachers in the 13 LGA of the State. A sample study of 555 respondents was selected using proportionate…
Mechanically verified hardware implementing an 8-bit parallel IO Byzantine agreement processor
NASA Technical Reports Server (NTRS)
Moore, J. Strother
1992-01-01
Consider a network of four processors that use the Oral Messages (Byzantine Generals) Algorithm of Pease, Shostak, and Lamport to achieve agreement in the presence of faults. Bevier and Young have published a functional description of a single processor that, when interconnected appropriately with three identical others, implements this network under the assumption that the four processors step in synchrony. By formalizing the original Pease, et al work, Bevier and Young mechanically proved that such a network achieves fault tolerance. We develop, formalize, and discuss a hardware design that has been mechanically proven to implement their processor. In particular, we formally define mapping functions from the abstract state space of the Bevier-Young processor to a concrete state space of a hardware module and state a theorem that expresses the claim that the hardware correctly implements the processor. We briefly discuss the Brock-Hunt Formal Hardware Description Language which permits designs both to be proved correct with the Boyer-Moore theorem prover and to be expressed in a commercially supported hardware description language for additional electrical analysis and layout. We briefly describe our implementation.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Woodruff, David; Hackebeil, Gabe; Laird, Carl Damon
Pyomo supports the formulation and analysis of mathematical models for complex optimization applications. This capability is commonly associated with algebraic modeling languages (AMLs), which support the description and analysis of mathematical models with a high-level language. Although most AMLs are implemented in custom modeling languages, Pyomo's modeling objects are embedded within Python, a full- featured high-level programming language that contains a rich set of supporting libraries.
Web Delivery of Adaptive and Interactive Language Tutoring: Revisited
ERIC Educational Resources Information Center
Heift, Trude
2016-01-01
This commentary reconsiders the description and assessment of the design and implementation of "German Tutor," an Intelligent Language Tutoring System (ILTS) for learners of German as a foreign language, published in 2001. Based on our experience over the past 15 years with the design and real classroom use of an ILTS, we address a…
Hardware synthesis from DDL. [Digital Design Language for computer aided design and test of LSI
NASA Technical Reports Server (NTRS)
Shah, A. M.; Shiva, S. G.
1981-01-01
The details of the digital systems can be conveniently input into the design automation system by means of Hardware Description Languages (HDL). The Computer Aided Design and Test (CADAT) system at NASA MSFC is used for the LSI design. The Digital Design Language (DDL) has been selected as HDL for the CADAT System. DDL translator output can be used for the hardware implementation of the digital design. This paper addresses problems of selecting the standard cells from the CADAT standard cell library to realize the logic implied by the DDL description of the system.
NASA Technical Reports Server (NTRS)
Shiva, S. G.; Shah, A. M.
1980-01-01
The details of digital systems can be conveniently input into the design automation system by means of hardware description language (HDL). The computer aided design and test (CADAT) system at NASA MSFC is used for the LSI design. The digital design language (DDL) was selected as HDL for the CADAT System. DDL translator output can be used for the hardware implementation of the digital design. Problems of selecting the standard cells from the CADAT standard cell library to realize the logic implied by the DDL description of the system are addressed.
Modular hardware synthesis using an HDL. [Hardware Description Language
NASA Technical Reports Server (NTRS)
Covington, J. A.; Shiva, S. G.
1981-01-01
Although hardware description languages (HDL) are becoming more and more necessary to automated design systems, their application is complicated due to the difficulty in translating the HDL description into an implementable format, nonfamiliarity of hardware designers with high-level language programming, nonuniform design methodologies and the time and costs involved in transfering HDL design software. Digital design language (DDL) suffers from all of the above problems and in addition can only by synthesized on a complete system and not on its subparts, making it unsuitable for synthesis using standard modules or prefabricated chips such as those required in LSI or VLSI circuits. The present paper presents a method by which the DDL translator can be made to generate modular equations that will allow the system to be synthesized as an interconnection of lower-level modules. The method involves the introduction of a new language construct called a Module which provides for the separate translation of all equations bounded by it.
Using XML and Java for Astronomical Instrument Control
NASA Astrophysics Data System (ADS)
Koons, L.; Ames, T.; Evans, R.; Warsaw, C.; Sall, K.
1999-12-01
Traditionally, instrument command and control systems have been highly specialized, consisting mostly of custom code that is difficult to develop, maintain, and extend. Such solutions are initially very costly and are inflexible to subsequent engineering change requests. Instrument description is too tightly coupled with details of implementation. NASA/Goddard Space Flight Center and AppNet, Inc. are developing a very general and highly extensible framework that applies to virtually any kind of instrument that can be controlled by a computer (e.g., telescopes, microscopes and printers). A key aspect of the object-oriented architecture, implemented in Java, involves software that is driven by an instrument description. The Astronomical Instrument Markup Language (AIML) is a domain-specific implementation of the more generalized Instrument Markup Language (IML). The software architecture combines the platform-independent processing capabilities of Java with the vendor-independent data description syntax of Extensible Markup Language (XML), a human-readable and machine-understandable way to describe structured data. IML is used to describe command sets (including parameters, datatypes, and constraints) and their associated formats, telemetry, and communication mechanisms. The software uses this description to present graphical user interfaces to control and monitor the instrument. Recent efforts have extended to command procedures (scripting) and representation of data pipeline inputs, outputs, and connections. Near future efforts are likely to include an XML description of data visualizations, as well as the potential use of XSL (Extensible Stylesheet Language) to permit astronomers to customize the user interface on several levels: per user, instrument, subsystem, or observatory-wide. Our initial prototyping effort was targeted for HAWC (High-resolution Airborne Wideband Camera), a first-light instrument of SOFIA (the Stratospheric Observatory for Infrared Astronomy). A production-level application of this technology is for one of the three candidate detectors of SPIRE (Spectral and Photometric Imaging REceiver), a focal plane instrument proposed for the European Space Agency's Far Infrared Space Telescope. The detectors are being developed by the Infrared Astrophysics Branch of NASA/GSFC.
Equation-oriented specification of neural models for simulations
Stimberg, Marcel; Goodman, Dan F. M.; Benichoux, Victor; Brette, Romain
2013-01-01
Simulating biological neuronal networks is a core method of research in computational neuroscience. A full specification of such a network model includes a description of the dynamics and state changes of neurons and synapses, as well as the synaptic connectivity patterns and the initial values of all parameters. A standard approach in neuronal modeling software is to build network models based on a library of pre-defined components and mechanisms; if a model component does not yet exist, it has to be defined in a special-purpose or general low-level language and potentially be compiled and linked with the simulator. Here we propose an alternative approach that allows flexible definition of models by writing textual descriptions based on mathematical notation. We demonstrate that this approach allows the definition of a wide range of models with minimal syntax. Furthermore, such explicit model descriptions allow the generation of executable code for various target languages and devices, since the description is not tied to an implementation. Finally, this approach also has advantages for readability and reproducibility, because the model description is fully explicit, and because it can be automatically parsed and transformed into formatted descriptions. The presented approach has been implemented in the Brian2 simulator. PMID:24550820
Implementing Environmental Culture in the Language Learning Laboratory
ERIC Educational Resources Information Center
Sadykova, Aida G.; Yashina, Marianna E.; Zakirova, Luiza R.
2014-01-01
The article deals with the description of the experimental work aimed at testing the effectiveness of the pedagogical conditions used in the environmental education of senior pupils by means of a foreign language. It is worth mentioning that during the experiment under the detection of the formation of the environmental education of senior pupils…
Brown, Ramsay A; Swanson, Larry W
2013-09-01
Systematic description and the unambiguous communication of findings and models remain among the unresolved fundamental challenges in systems neuroscience. No common descriptive frameworks exist to describe systematically the connective architecture of the nervous system, even at the grossest level of observation. Furthermore, the accelerating volume of novel data generated on neural connectivity outpaces the rate at which this data is curated into neuroinformatics databases to synthesize digitally systems-level insights from disjointed reports and observations. To help address these challenges, we propose the Neural Systems Language (NSyL). NSyL is a modeling language to be used by investigators to encode and communicate systematically reports of neural connectivity from neuroanatomy and brain imaging. NSyL engenders systematic description and communication of connectivity irrespective of the animal taxon described, experimental or observational technique implemented, or nomenclature referenced. As a language, NSyL is internally consistent, concise, and comprehensible to both humans and computers. NSyL is a promising development for systematizing the representation of neural architecture, effectively managing the increasing volume of data on neural connectivity and streamlining systems neuroscience research. Here we present similar precedent systems, how NSyL extends existing frameworks, and the reasoning behind NSyL's development. We explore NSyL's potential for balancing robustness and consistency in representation by encoding previously reported assertions of connectivity from the literature as examples. Finally, we propose and discuss the implications of a framework for how NSyL will be digitally implemented in the future to streamline curation of experimental results and bridge the gaps among anatomists, imagers, and neuroinformatics databases. Copyright © 2013 Wiley Periodicals, Inc.
A software framework for pipelined arithmetic algorithms in field programmable gate arrays
NASA Astrophysics Data System (ADS)
Kim, J. B.; Won, E.
2018-03-01
Pipelined algorithms implemented in field programmable gate arrays are extensively used for hardware triggers in the modern experimental high energy physics field and the complexity of such algorithms increases rapidly. For development of such hardware triggers, algorithms are developed in C++, ported to hardware description language for synthesizing firmware, and then ported back to C++ for simulating the firmware response down to the single bit level. We present a C++ software framework which automatically simulates and generates hardware description language code for pipelined arithmetic algorithms.
autokonf - A Configuration Script Generator Implemented in Perl
DOE Office of Scientific and Technical Information (OSTI.GOV)
Reus, J F
This paper discusses configuration scripts in general and the scripting language issues involved. A brief description of GNU autoconf is provided along with a contrasting overview of autokonf, a configuration script generator implemented in Perl, whose macros are implemented in Perl, generating a configuration script in Perl. It is very portable, easily extensible, and readily mastered.
Stereo Orthogonal Axonometric Perspective for the Teaching of Descriptive Geometry
ERIC Educational Resources Information Center
Méxas, José Geraldo Franco; Guedes, Karla Bastos; Tavares, Ronaldo da Silva
2015-01-01
Purpose: The purpose of this paper is to present the development of a software for stereo visualization of geometric solids, applied to the teaching/learning of Descriptive Geometry. Design/methodology/approach: The paper presents the traditional method commonly used in computer graphic stereoscopic vision (implemented in C language) and the…
Using MaxCompiler for the high level synthesis of trigger algorithms
NASA Astrophysics Data System (ADS)
Summers, S.; Rose, A.; Sanders, P.
2017-02-01
Firmware for FPGA trigger applications at the CMS experiment is conventionally written using hardware description languages such as Verilog and VHDL. MaxCompiler is an alternative, Java based, tool for developing FPGA applications which uses a higher level of abstraction from the hardware than a hardware description language. An implementation of the jet and energy sum algorithms for the CMS Level-1 calorimeter trigger has been written using MaxCompiler to benchmark against the VHDL implementation in terms of accuracy, latency, resource usage, and code size. A Kalman Filter track fitting algorithm has been developed using MaxCompiler for a proposed CMS Level-1 track trigger for the High-Luminosity LHC upgrade. The design achieves a low resource usage, and has a latency of 187.5 ns per iteration.
NASA Astrophysics Data System (ADS)
Chan, Garnet Kin-Lic; Keselman, Anna; Nakatani, Naoki; Li, Zhendong; White, Steven R.
2016-07-01
Current descriptions of the ab initio density matrix renormalization group (DMRG) algorithm use two superficially different languages: an older language of the renormalization group and renormalized operators, and a more recent language of matrix product states and matrix product operators. The same algorithm can appear dramatically different when written in the two different vocabularies. In this work, we carefully describe the translation between the two languages in several contexts. First, we describe how to efficiently implement the ab initio DMRG sweep using a matrix product operator based code, and the equivalence to the original renormalized operator implementation. Next we describe how to implement the general matrix product operator/matrix product state algebra within a pure renormalized operator-based DMRG code. Finally, we discuss two improvements of the ab initio DMRG sweep algorithm motivated by matrix product operator language: Hamiltonian compression, and a sum over operators representation that allows for perfect computational parallelism. The connections and correspondences described here serve to link the future developments with the past and are important in the efficient implementation of continuing advances in ab initio DMRG and related algorithms.
Chan, Garnet Kin-Lic; Keselman, Anna; Nakatani, Naoki; Li, Zhendong; White, Steven R
2016-07-07
Current descriptions of the ab initio density matrix renormalization group (DMRG) algorithm use two superficially different languages: an older language of the renormalization group and renormalized operators, and a more recent language of matrix product states and matrix product operators. The same algorithm can appear dramatically different when written in the two different vocabularies. In this work, we carefully describe the translation between the two languages in several contexts. First, we describe how to efficiently implement the ab initio DMRG sweep using a matrix product operator based code, and the equivalence to the original renormalized operator implementation. Next we describe how to implement the general matrix product operator/matrix product state algebra within a pure renormalized operator-based DMRG code. Finally, we discuss two improvements of the ab initio DMRG sweep algorithm motivated by matrix product operator language: Hamiltonian compression, and a sum over operators representation that allows for perfect computational parallelism. The connections and correspondences described here serve to link the future developments with the past and are important in the efficient implementation of continuing advances in ab initio DMRG and related algorithms.
C3I and Modelling and Simulation (M&S) Interoperability
2004-03-01
customised Open Source products. The technical implementation is based on the use of the eXtendend Markup Language (XML) and Python . XML is developed...to structure, store and send information. The language is focus on the description of data. Python is a portable, interpreted, object-oriented...programming language. A huge variety of usable Open Source Projects were issued by the Python Community. 3.1 Phase 1: Feasibility Studies Phase 1 was
Design Report for Low Power Acoustic Detector
2013-08-01
high speed integrated circuit (VHSIC) hardware description language ( VHDL ) implementation of both the HED and DCD detectors. Figures 4 and 5 show the...the hardware design, target detection algorithm design in both MATLAB and VHDL , and typical performance results. 15. SUBJECT TERMS Acoustic low...5 2.4 Algorithm Implementation ..............................................................................................6 3. Testing
Use of data description languages in the interchange of data
NASA Technical Reports Server (NTRS)
Pignede, M.; Real-Planells, B.; Smith, S. R.
1994-01-01
The Consultative Committee for Space Data Systems (CCSDS) is developing Standards for the interchange of information between systems, including those operating under different environments. The objective is to perform the interchange automatically, i.e. in a computer interpretable manner. One aspect of the concept developed by CCSDS is the use of a separate data description to specify the data being transferred. Using the description, data can then be automatically parsed by the receiving computer. With a suitably expressive Data Description Language (DDL), data formats of arbitrary complexity can be handled. The advantages of this approach are: (1) that the description need only be written and distributed once to all users, and (2) new software does not need to be written for each new format, provided generic tools are available to support writing and interpretation of descriptions and the associated data instances. Consequently, the effort of 'hard coding' each new format is avoided and problems of integrating multiple implementations of a given format by different users are avoided. The approach is applicable in any context where computer parsable description of data could enhance efficiency (e.g. within a spacecraft control system, a data delivery system or an archive). The CCSDS have identified several candidate DDL's: EAST (Extended Ada Subset), TSDN (Transfer Syntax Data Notation) and MADEL (Modified ASN.1 as a Data Description Language -- a DDL based on the Abstract Syntax Notation One - ASN.1 - specified in the ISO/IEC 8824). This paper concentrates on ESA's development of MADEL. ESA have also developed a 'proof of concept' prototype of the required support tools, implemented on a PC under MS-DOS, which has successfully demonstrated the feasibility of the approach, including the capability within an application of retrieving and displaying particular data elements, given its MADEL description (i.e. a data description written in MADEL). This paper outlines the work done to date and assesses the applicability of this modified ASN.1 as a DDL. The feasibility of the approach is illustrated with several examples.
Caesy: A software tool for computer-aided engineering
NASA Technical Reports Server (NTRS)
Wette, Matt
1993-01-01
A new software tool, Caesy, is described. This tool provides a strongly typed programming environment for research in the development of algorithms and software for computer-aided control system design. A description of the user language and its implementation as they currently stand are presented along with a description of work in progress and areas of future work.
In-Trail Procedure (ITP) Algorithm Design
NASA Technical Reports Server (NTRS)
Munoz, Cesar A.; Siminiceanu, Radu I.
2007-01-01
The primary objective of this document is to provide a detailed description of the In-Trail Procedure (ITP) algorithm, which is part of the Airborne Traffic Situational Awareness In-Trail Procedure (ATSA-ITP) application. To this end, the document presents a high level description of the ITP Algorithm and a prototype implementation of this algorithm in the programming language C.
ERIC Educational Resources Information Center
Renard, Colette; And Others
Principles of the "St. Cloud" audiovisual language instruction methodology based on "Le Francais fondamental" are presented in this guide for teachers. The material concentrates on course content, methodology, and application--including criteria for selection and gradation of course content, a description of the audiovisual and written language…
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.
ERIC Educational Resources Information Center
Penhoat, Loick; Sakow, Kostia
1978-01-01
A description of the development and implementation of a method introduced in the Sudan that attempts to relate to Sudanese culture and to motivate students. The relationship between language teaching methods and the total educational system is discussed. (AMH)
HAL/S-FC and HAL/S-360 compiler system program description
NASA Technical Reports Server (NTRS)
1976-01-01
The compiler is a large multi-phase design and can be broken into four phases: Phase 1 inputs the source language and does a syntactic and semantic analysis generating the source listing, a file of instructions in an internal format (HALMAT) and a collection of tables to be used in subsequent phases. Phase 1.5 massages the code produced by Phase 1, performing machine independent optimization. Phase 2 inputs the HALMAT produced by Phase 1 and outputs machine language object modules in a form suitable for the OS-360 or FCOS linkage editor. Phase 3 produces the SDF tables. The four phases described are written in XPL, a language specifically designed for compiler implementation. In addition to the compiler, there is a large library containing all the routines that can be explicitly called by the source language programmer plus a large collection of routines for implementing various facilities of the language.
A learning apprentice for software parts composition
NASA Technical Reports Server (NTRS)
Allen, Bradley P.; Holtzman, Peter L.
1987-01-01
An overview of the knowledge acquisition component of the Bauhaus, a prototype computer aided software engineering (CASE) workstation for the development of domain-specific automatic programming systems (D-SAPS) is given. D-SAPS use domain knowledge in the refinement of a description of an application program into a compilable implementation. The approach to the construction of D-SAPS was to automate the process of refining a description of a program, expressed in an object-oriented domain language, into a configuration of software parts that implement the behavior of the domain objects.
ERIC Educational Resources Information Center
New York City Board of Education, Brooklyn, NY. Office of Educational Evaluation.
Presented in this report are a program description and the results of evaluation of the Basic Bilingual Program implemented at John Bowne High School in New York City during 1980-81. The program provided instruction in English as a Second Language, instruction in Spanish language skills, and bilingual instruction to high school students of limited…
Marr's levels and the minimalist program.
Johnson, Mark
2017-02-01
A simple change to a cognitive system at Marr's computational level may entail complex changes at the other levels of description of the system. The implementational level complexity of a change, rather than its computational level complexity, may be more closely related to the plausibility of a discrete evolutionary event causing that change. Thus the formal complexity of a change at the computational level may not be a good guide to the plausibility of an evolutionary event introducing that change. For example, while the Minimalist Program's Merge is a simple formal operation (Berwick & Chomsky, 2016), the computational mechanisms required to implement the language it generates (e.g., to parse the language) may be considerably more complex. This has implications for the theory of grammar: theories of grammar which involve several kinds of syntactic operations may be no less evolutionarily plausible than a theory of grammar that involves only one. A deeper understanding of human language at the algorithmic and implementational levels could strengthen Minimalist Program's account of the evolution of language.
A Concept for Run-Time Support of the Chapel Language
NASA Technical Reports Server (NTRS)
James, Mark
2006-01-01
A document presents a concept for run-time implementation of other concepts embodied in the Chapel programming language. (Now undergoing development, Chapel is intended to become a standard language for parallel computing that would surpass older such languages in both computational performance in the efficiency with which pre-existing code can be reused and new code written.) The aforementioned other concepts are those of distributions, domains, allocations, and access, as defined in a separate document called "A Semantic Framework for Domains and Distributions in Chapel" and linked to a language specification defined in another separate document called "Chapel Specification 0.3." The concept presented in the instant report is recognition that a data domain that was invented for Chapel offers a novel approach to distributing and processing data in a massively parallel environment. The concept is offered as a starting point for development of working descriptions of functions and data structures that would be necessary to implement interfaces to a compiler for transforming the aforementioned other concepts from their representations in Chapel source code to their run-time implementations.
The CADSS design automation system. [computerized design language for small digital systems
NASA Technical Reports Server (NTRS)
Franke, E. A.
1973-01-01
This research was designed to implement and extend a previously defined design automation system for the design of small digital structures. A description is included of the higher level language developed to describe systems as a sequence of register transfer operations. The system simulator which is used to determine if the original description is correct is also discussed. The design automation system produces tables describing the state transistions of the system and the operation of all registers. In addition all Boolean equations specifying system operation are minimized and converted to NAND gate structures. Suggestions for further extensions to the system are also given.
Semantic biomedical resource discovery: a Natural Language Processing framework.
Sfakianaki, Pepi; Koumakis, Lefteris; Sfakianakis, Stelios; Iatraki, Galatia; Zacharioudakis, Giorgos; Graf, Norbert; Marias, Kostas; Tsiknakis, Manolis
2015-09-30
A plethora of publicly available biomedical resources do currently exist and are constantly increasing at a fast rate. In parallel, specialized repositories are been developed, indexing numerous clinical and biomedical tools. The main drawback of such repositories is the difficulty in locating appropriate resources for a clinical or biomedical decision task, especially for non-Information Technology expert users. In parallel, although NLP research in the clinical domain has been active since the 1960s, progress in the development of NLP applications has been slow and lags behind progress in the general NLP domain. The aim of the present study is to investigate the use of semantics for biomedical resources annotation with domain specific ontologies and exploit Natural Language Processing methods in empowering the non-Information Technology expert users to efficiently search for biomedical resources using natural language. A Natural Language Processing engine which can "translate" free text into targeted queries, automatically transforming a clinical research question into a request description that contains only terms of ontologies, has been implemented. The implementation is based on information extraction techniques for text in natural language, guided by integrated ontologies. Furthermore, knowledge from robust text mining methods has been incorporated to map descriptions into suitable domain ontologies in order to ensure that the biomedical resources descriptions are domain oriented and enhance the accuracy of services discovery. The framework is freely available as a web application at ( http://calchas.ics.forth.gr/ ). For our experiments, a range of clinical questions were established based on descriptions of clinical trials from the ClinicalTrials.gov registry as well as recommendations from clinicians. Domain experts manually identified the available tools in a tools repository which are suitable for addressing the clinical questions at hand, either individually or as a set of tools forming a computational pipeline. The results were compared with those obtained from an automated discovery of candidate biomedical tools. For the evaluation of the results, precision and recall measurements were used. Our results indicate that the proposed framework has a high precision and low recall, implying that the system returns essentially more relevant results than irrelevant. There are adequate biomedical ontologies already available, sufficiency of existing NLP tools and quality of biomedical annotation systems for the implementation of a biomedical resources discovery framework, based on the semantic annotation of resources and the use on NLP techniques. The results of the present study demonstrate the clinical utility of the application of the proposed framework which aims to bridge the gap between clinical question in natural language and efficient dynamic biomedical resources discovery.
Waltemath, Dagmar; Adams, Richard; Bergmann, Frank T; Hucka, Michael; Kolpakov, Fedor; Miller, Andrew K; Moraru, Ion I; Nickerson, David; Sahle, Sven; Snoep, Jacky L; Le Novère, Nicolas
2011-12-15
The increasing use of computational simulation experiments to inform modern biological research creates new challenges to annotate, archive, share and reproduce such experiments. The recently published Minimum Information About a Simulation Experiment (MIASE) proposes a minimal set of information that should be provided to allow the reproduction of simulation experiments among users and software tools. In this article, we present the Simulation Experiment Description Markup Language (SED-ML). SED-ML encodes in a computer-readable exchange format the information required by MIASE to enable reproduction of simulation experiments. It has been developed as a community project and it is defined in a detailed technical specification and additionally provides an XML schema. The version of SED-ML described in this publication is Level 1 Version 1. It covers the description of the most frequent type of simulation experiments in the area, namely time course simulations. SED-ML documents specify which models to use in an experiment, modifications to apply on the models before using them, which simulation procedures to run on each model, what analysis results to output, and how the results should be presented. These descriptions are independent of the underlying model implementation. SED-ML is a software-independent format for encoding the description of simulation experiments; it is not specific to particular simulation tools. Here, we demonstrate that with the growing software support for SED-ML we can effectively exchange executable simulation descriptions. With SED-ML, software can exchange simulation experiment descriptions, enabling the validation and reuse of simulation experiments in different tools. Authors of papers reporting simulation experiments can make their simulation protocols available for other scientists to reproduce the results. Because SED-ML is agnostic about exact modeling language(s) used, experiments covering models from different fields of research can be accurately described and combined.
Procedural Quantum Programming
NASA Astrophysics Data System (ADS)
Ömer, Bernhard
2002-09-01
While classical computing science has developed a variety of methods and programming languages around the concept of the universal computer, the typical description of quantum algorithms still uses a purely mathematical, non-constructive formalism which makes no difference between a hydrogen atom and a quantum computer. This paper investigates, how the concept of procedural programming languages, the most widely used classical formalism for describing and implementing algorithms, can be adopted to the field of quantum computing, and how non-classical features like the reversibility of unitary transformations, the non-observability of quantum states or the lack of copy and erase operations can be reflected semantically. It introduces the key concepts of procedural quantum programming (hybrid target architecture, operator hierarchy, quantum data types, memory management, etc.) and presents the experimental language QCL, which implements these principles.
Model-based object classification using unification grammars and abstract representations
NASA Astrophysics Data System (ADS)
Liburdy, Kathleen A.; Schalkoff, Robert J.
1993-04-01
The design and implementation of a high level computer vision system which performs object classification is described. General object labelling and functional analysis require models of classes which display a wide range of geometric variations. A large representational gap exists between abstract criteria such as `graspable' and current geometric image descriptions. The vision system developed and described in this work addresses this problem and implements solutions based on a fusion of semantics, unification, and formal language theory. Object models are represented using unification grammars, which provide a framework for the integration of structure and semantics. A methodology for the derivation of symbolic image descriptions capable of interacting with the grammar-based models is described and implemented. A unification-based parser developed for this system achieves object classification by determining if the symbolic image description can be unified with the abstract criteria of an object model. Future research directions are indicated.
Applied Digital Logic Exercises Using FPGAs
NASA Astrophysics Data System (ADS)
Wick, Kurt
2017-09-01
Applied Digital Logic Exercises Using FPGAs is appropriate for anyone interested in digital logic who needs to learn how to implement it through detailed exercises with state-of-the-art digital design tools and components. The book exposes readers to combinational and sequential digital logic concepts and implements them with hands-on exercises using the Verilog Hardware Description Language (HDL) and a Field Programmable Gate Arrays (FGPA) teaching board.
NASA Astrophysics Data System (ADS)
Benkrid, K.; Belkacemi, S.; Sukhsawas, S.
2005-06-01
This paper proposes an integrated framework for the high level design of high performance signal processing algorithms' implementations on FPGAs. The framework emerged from a constant need to rapidly implement increasingly complicated algorithms on FPGAs while maintaining the high performance needed in many real time digital signal processing applications. This is particularly important for application developers who often rely on iterative and interactive development methodologies. The central idea behind the proposed framework is to dynamically integrate high performance structural hardware description languages with higher level hardware languages in other to help satisfy the dual requirement of high level design and high performance implementation. The paper illustrates this by integrating two environments: Celoxica's Handel-C language, and HIDE, a structural hardware environment developed at the Queen's University of Belfast. On the one hand, Handel-C has been proven to be very useful in the rapid design and prototyping of FPGA circuits, especially control intensive ones. On the other hand, HIDE, has been used extensively, and successfully, in the generation of highly optimised parameterisable FPGA cores. In this paper, this is illustrated in the construction of a scalable and fully parameterisable core for image algebra's five core neighbourhood operations, where fully floorplanned efficient FPGA configurations, in the form of EDIF netlists, are generated automatically for instances of the core. In the proposed combined framework, highly optimised data paths are invoked dynamically from within Handel-C, and are synthesized using HIDE. Although the idea might seem simple prima facie, it could have serious implications on the design of future generations of hardware description languages.
NASA Technical Reports Server (NTRS)
Auty, David
1988-01-01
The risk to the development of program reliability is derived from the use of a new language and from the potential use of new storage management techniques. With Ada and associated support software, there is a lack of established guidelines and procedures, drawn from experience and common usage, which assume reliable behavior. The risk is identified and clarified. In order to provide a framework for future consideration of dynamic storage management on Ada, a description of the relevant aspects of the language is presented in two sections: Program data sources, and declaration and allocation in Ada. Storage-management characteristics of the Ada language and storage-management characteristics of Ada implementations are differentiated. Terms that are used are defined in a narrow and precise sense. The storage-management implications of the Ada language are described. The storage-management options available to the Ada implementor and the implications of the implementor's choice for the Ada programmer are also described.
HDL Based FPGA Interface Library for Data Acquisition and Multipurpose Real Time Algorithms
NASA Astrophysics Data System (ADS)
Fernandes, Ana M.; Pereira, R. C.; Sousa, J.; Batista, A. J. N.; Combo, A.; Carvalho, B. B.; Correia, C. M. B. A.; Varandas, C. A. F.
2011-08-01
The inherent parallelism of the logic resources, the flexibility in its configuration and the performance at high processing frequencies makes the field programmable gate array (FPGA) the most suitable device to be used both for real time algorithm processing and data transfer in instrumentation modules. Moreover, the reconfigurability of these FPGA based modules enables exploiting different applications on the same module. When using a reconfigurable module for various applications, the availability of a common interface library for easier implementation of the algorithms on the FPGA leads to more efficient development. The FPGA configuration is usually specified in a hardware description language (HDL) or other higher level descriptive language. The critical paths, such as the management of internal hardware clocks that require deep knowledge of the module behavior shall be implemented in HDL to optimize the timing constraints. The common interface library should include these critical paths, freeing the application designer from hardware complexity and able to choose any of the available high-level abstraction languages for the algorithm implementation. With this purpose a modular Verilog code was developed for the Virtex 4 FPGA of the in-house Transient Recorder and Processor (TRP) hardware module, based on the Advanced Telecommunications Computing Architecture (ATCA), with eight channels sampling at up to 400 MSamples/s (MSPS). The TRP was designed to perform real time Pulse Height Analysis (PHA), Pulse Shape Discrimination (PSD) and Pile-Up Rejection (PUR) algorithms at a high count rate (few Mevent/s). A brief description of this modular code is presented and examples of its use as an interface with end user algorithms, including a PHA with PUR, are described.
NASA Astrophysics Data System (ADS)
Berdychowski, Piotr P.; Zabolotny, Wojciech M.
2010-09-01
The main goal of C to VHDL compiler project is to make FPGA platform more accessible for scientists and software developers. FPGA platform offers unique ability to configure the hardware to implement virtually any dedicated architecture, and modern devices provide sufficient number of hardware resources to implement parallel execution platforms with complex processing units. All this makes the FPGA platform very attractive for those looking for efficient heterogeneous, computing environment. Current industry standard in development of digital systems on FPGA platform is based on HDLs. Although very effective and expressive in hands of hardware development specialists, these languages require specific knowledge and experience, unreachable for most scientists and software programmers. C to VHDL compiler project attempts to remedy that by creating an application, that derives initial VHDL description of a digital system (for further compilation and synthesis), from purely algorithmic description in C programming language. This idea itself is not new, and the C to VHDL compiler combines the best approaches from existing solutions developed over many previous years, with the introduction of some new unique improvements.
NASA Astrophysics Data System (ADS)
Cieszewski, Radoslaw; Linczuk, Maciej
2016-09-01
The development of FPGA technology and the increasing complexity of applications in recent decades have forced compilers to move to higher abstraction levels. Compilers interprets an algorithmic description of a desired behavior written in High-Level Languages (HLLs) and translate it to Hardware Description Languages (HDLs). This paper presents a RPython based High-Level synthesis (HLS) compiler. The compiler get the configuration parameters and map RPython program to VHDL. Then, VHDL code can be used to program FPGA chips. In comparison of other technologies usage, FPGAs have the potential to achieve far greater performance than software as a result of omitting the fetch-decode-execute operations of General Purpose Processors (GPUs), and introduce more parallel computation. This can be exploited by utilizing many resources at the same time. Creating parallel algorithms computed with FPGAs in pure HDL is difficult and time consuming. Implementation time can be greatly reduced with High-Level Synthesis compiler. This article describes design methodologies and tools, implementation and first results of created VHDL backend for RPython compiler.
1991-03-01
factor which made TTL-design so powerful was the implicit knowledge that for any object in the TTL Databook, that object’s implementation and...functions as values. Thus, its reasoning power matches the descriptive power of the higher order languages in the previous section. First, the definitions...developing parallel algorithms to better utilize the power of the explicitly parallel programming language constructs. Currently, the methodologies
Instrument Remote Control via the Astronomical Instrument Markup Language
NASA Technical Reports Server (NTRS)
Sall, Ken; Ames, Troy; Warsaw, Craig; Koons, Lisa; Shafer, Richard
1998-01-01
The Instrument Remote Control (IRC) project ongoing at NASA's Goddard Space Flight Center's (GSFC) Information Systems Center (ISC) supports NASA's mission by defining an adaptive intranet-based framework that provides robust interactive and distributed control and monitoring of remote instruments. An astronomical IRC architecture that combines the platform-independent processing capabilities of Java with the power of Extensible Markup Language (XML) to express hierarchical data in an equally platform-independent, as well as human readable manner, has been developed. This architecture is implemented using a variety of XML support tools and Application Programming Interfaces (API) written in Java. IRC will enable trusted astronomers from around the world to easily access infrared instruments (e.g., telescopes, cameras, and spectrometers) located in remote, inhospitable environments, such as the South Pole, a high Chilean mountaintop, or an airborne observatory aboard a Boeing 747. Using IRC's frameworks, an astronomer or other scientist can easily define the type of onboard instrument, control the instrument remotely, and return monitoring data all through the intranet. The Astronomical Instrument Markup Language (AIML) is the first implementation of the more general Instrument Markup Language (IML). The key aspects of our approach to instrument description and control applies to many domains, from medical instruments to machine assembly lines. The concepts behind AIML apply equally well to the description and control of instruments in general. IRC enables us to apply our techniques to several instruments, preferably from different observatories.
Generating and Executing Complex Natural Language Queries across Linked Data.
Hamon, Thierry; Mougin, Fleur; Grabar, Natalia
2015-01-01
With the recent and intensive research in the biomedical area, the knowledge accumulated is disseminated through various knowledge bases. Links between these knowledge bases are needed in order to use them jointly. Linked Data, SPARQL language, and interfaces in Natural Language question-answering provide interesting solutions for querying such knowledge bases. We propose a method for translating natural language questions in SPARQL queries. We use Natural Language Processing tools, semantic resources, and the RDF triples description. The method is designed on 50 questions over 3 biomedical knowledge bases, and evaluated on 27 questions. It achieves 0.78 F-measure on the test set. The method for translating natural language questions into SPARQL queries is implemented as Perl module available at http://search.cpan.org/ thhamon/RDF-NLP-SPARQLQuery.
NASA Astrophysics Data System (ADS)
Blouch, Kathleen Kennedy
This research involved investigating the nature of science and language instruction in 13 elementary classrooms where teachers have restructured their language programs to reflect an integrated or holistic view of language instruction. The teachers were identified by school administrators and other professionals as teachers who have implemented instructional reforms described in the Pennsylvania Framework for Reading, Writing and Speaking Across the Curriculum (PCRPII), (Lytle & Botel, 1900). The instruction utilized by these teachers was described as atypical when compared to that of teachers utilizing the more traditional didactic skills oriented approach to language literacy. The research involved observing, recording and categorizing teaching behaviors during both science and language instruction. Videotaped observations were followed by analyses and descriptions of these behaviors. Interviews were also conducted to ascertain the basis for selection of the various instructional approaches. The instruction was compared on four dimensions: participation patterns, time the behaviors were practiced, type of tasks and levels of questioning. The instruction was then described in light of constructivist teaching practices: student collaboration, student autonomy, integration and higher order thinking. Constructivist practices differed among teachers for science and language instruction. During science instruction teachers spent more time involved in teacher-whole group participation patterns with more direct questioning as compared to language instruction in which children participated alone or in groups and had opportunity to initiate conversations and questions. Student inquiry was evidenced during language instruction more so than during science. The 13 teachers asked a variety of levels and types of questions both in science and language instruction. More hands-on science experiences were observed when science was taught separately compared to when integrated with the language instruction. Teachers also described professional changes that caused them to implement new practices. Each cited the importance of a significant person, who encouraged them to attempt new approaches. The research reveals that to produce significant reform in instruction (more so in science than in language) at the elementary school level, proactive support and encouragement by administrators is required. Involving practicing teachers in extensive - modeled - mentored professional development experiences is also required.
Identifying Trustworthiness Deficit in Legacy Systems Using the NFR Approach
2014-01-01
trustworthy envi- ronment. These adaptations can be stated in terms of design modifications and/or implementation mechanisms (for example, wrappers) that will...extensions to the VHSIC Hardware Description Language ( VHDL -AMS). He has spent the last 10 years leading research in high performance embedded computing
NASA Astrophysics Data System (ADS)
Bellerby, Tim
2014-05-01
Model Integration System (MIST) is open-source environmental modelling programming language that directly incorporates data parallelism. The language is designed to enable straightforward programming structures, such as nested loops and conditional statements to be directly translated into sequences of whole-array (or more generally whole data-structure) operations. MIST thus enables the programmer to use well-understood constructs, directly relating to the mathematical structure of the model, without having to explicitly vectorize code or worry about details of parallelization. A range of common modelling operations are supported by dedicated language structures operating on cell neighbourhoods rather than individual cells (e.g.: the 3x3 local neighbourhood needed to implement an averaging image filter can be simply accessed from within a simple loop traversing all image pixels). This facility hides details of inter-process communication behind more mathematically relevant descriptions of model dynamics. The MIST automatic vectorization/parallelization process serves both to distribute work among available nodes and separately to control storage requirements for intermediate expressions - enabling operations on very large domains for which memory availability may be an issue. MIST is designed to facilitate efficient interpreter based implementations. A prototype open source interpreter is available, coded in standard FORTRAN 95, with tools to rapidly integrate existing FORTRAN 77 or 95 code libraries. The language is formally specified and thus not limited to FORTRAN implementation or to an interpreter-based approach. A MIST to FORTRAN compiler is under development and volunteers are sought to create an ANSI-C implementation. Parallel processing is currently implemented using OpenMP. However, parallelization code is fully modularised and could be replaced with implementations using other libraries. GPU implementation is potentially possible.
Domain Specific Language Support for Exascale
DOE Office of Scientific and Technical Information (OSTI.GOV)
Sadayappan, Ponnuswamy
Domain-Specific Languages (DSLs) offer an attractive path to Exascale software since they provide expressive power through appropriate abstractions and enable domain-specific optimizations. But the advantages of a DSL compete with the difficulties of implementing a DSL, even for a narrowly defined domain. The DTEC project addresses how a variety of DSLs can be easily implemented to leverage existing compiler analysis and transformation capabilities within the ROSE open source compiler as part of a research program focusing on Exascale challenges. The OSU contributions to the DTEC project are in the area of code generation from high-level DSL descriptions, as well asmore » verification of the automatically-generated code.« less
Research in advanced formal theorem-proving techniques
NASA Technical Reports Server (NTRS)
Rulifson, J. F.
1971-01-01
The present status is summarized of a continuing research program aimed at the design and implementation of a language for expressing problem-solving procedures in several areas of artificial intelligence, including program synthesis, robot planning, and theorem proving. Notations, concepts, and procedures common to the representation and solution of many of these problems were abstracted and incorporated as features into the language. The areas of research covered are described, and abstracts of six papers that contain extensive description and technical detail of the work are presented.
Modular implementation of a digital hardware design automation system
NASA Astrophysics Data System (ADS)
Masud, M.
An automation system based on AHPL (A Hardware Programming Language) was developed. The project may be divided into three distinct phases: (1) Upgrading of AHPL to make it more universally applicable; (2) Implementation of a compiler for the language; and (3) illustration of how the compiler may be used to support several phases of design activities. Several new features were added to AHPL. These include: application-dependent parameters, mutliple clocks, asynchronous results, functional registers and primitive functions. The new language, called Universal AHPL, has been defined rigorously. The compiler design is modular. The parsing is done by an automatic parser generated from the SLR(1)BNF grammar of the language. The compiler produces two data bases from the AHPL description of a circuit. The first one is a tabular representation of the circuit, and the second one is a detailed interconnection linked list. The two data bases provide a means to interface the compiler to application-dependent CAD systems.
A python tool for the implementation of domain-specific languages
NASA Astrophysics Data System (ADS)
Dejanović, Igor; Vaderna, Renata; Milosavljević, Gordana; Simić, Miloš; Vuković, Željko
2017-07-01
In this paper we describe textX, a meta-language and a tool for building Domain-Specific Languages. It is implemented in Python using Arpeggio PEG (Parsing Expression Grammar) parser library. From a single language description (grammar) textX will build a parser and a meta-model (a.k.a. abstract syntax) of the language. The parser is used to parse textual representations of models conforming to the meta-model. As a result of parsing, a Python object graph will be automatically created. The structure of the object graph will conform to the meta-model defined by the grammar. This approach frees a developer from the need to manually analyse a parse tree and transform it to other suitable representation. The textX library is independent of any integrated development environment and can be easily integrated in any Python project. The textX tool works as a grammar interpreter. The parser is configured at run-time using the grammar. The textX tool is a free and open-source project available at GitHub.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Ruiz, Steven Adriel
The following discussion contains a high-level description of methods used to implement software for data processing. It describes the required directory structures and file handling required to use Excel's Visual Basic for Applications programming language and how to identify shot, test and capture types to appropriately process data. It also describes how to interface with the software.
Computer Science 205. Interim Guide, 1983.
ERIC Educational Resources Information Center
Manitoba Dept. of Education, Winnipeg.
This guide to a 4-unit, required high school computer science course emphasizes problem solving and computer programming and is designed for use with a variety of hardware configurations and programming languages. An overview covers the program rationale, goals and objectives, program design and description, program implementation, time allotment,…
An Intelligent Tutoring System for Introductory C Language Course.
ERIC Educational Resources Information Center
Song, J. S.; And Others
1997-01-01
This discussion of intelligent tutoring systems (ITS) focuses on a description of C-Tutor, a knowledge-based ITS for novice C programmers. The program analyzer, which is a compound of a reverse engineering system and a didactic system, is explained, and implementation and evaluation is discussed. (LRW)
Corpus-Based Approaches to Language Description for Specialized Academic Writing
ERIC Educational Resources Information Center
Flowerdew, John
2017-01-01
Language description is a fundamental requirement for second language (L2) syllabus design. The greatest advances in language description in recent decades have been done with the help of electronic corpora. Such language description is the theme of this article. The article first introduces some basic concepts and principles in corpus research.…
2011-01-01
Background The increasing use of computational simulation experiments to inform modern biological research creates new challenges to annotate, archive, share and reproduce such experiments. The recently published Minimum Information About a Simulation Experiment (MIASE) proposes a minimal set of information that should be provided to allow the reproduction of simulation experiments among users and software tools. Results In this article, we present the Simulation Experiment Description Markup Language (SED-ML). SED-ML encodes in a computer-readable exchange format the information required by MIASE to enable reproduction of simulation experiments. It has been developed as a community project and it is defined in a detailed technical specification and additionally provides an XML schema. The version of SED-ML described in this publication is Level 1 Version 1. It covers the description of the most frequent type of simulation experiments in the area, namely time course simulations. SED-ML documents specify which models to use in an experiment, modifications to apply on the models before using them, which simulation procedures to run on each model, what analysis results to output, and how the results should be presented. These descriptions are independent of the underlying model implementation. SED-ML is a software-independent format for encoding the description of simulation experiments; it is not specific to particular simulation tools. Here, we demonstrate that with the growing software support for SED-ML we can effectively exchange executable simulation descriptions. Conclusions With SED-ML, software can exchange simulation experiment descriptions, enabling the validation and reuse of simulation experiments in different tools. Authors of papers reporting simulation experiments can make their simulation protocols available for other scientists to reproduce the results. Because SED-ML is agnostic about exact modeling language(s) used, experiments covering models from different fields of research can be accurately described and combined. PMID:22172142
FPGA Coprocessor for Accelerated Classification of Images
NASA Technical Reports Server (NTRS)
Pingree, Paula J.; Scharenbroich, Lucas J.; Werne, Thomas A.
2008-01-01
An effort related to that described in the preceding article focuses on developing a spaceborne processing platform for fast and accurate onboard classification of image data, a critical part of modern satellite image processing. The approach again has been to exploit the versatility of recently developed hybrid Virtex-4FX field-programmable gate array (FPGA) to run diverse science applications on embedded processors while taking advantage of the reconfigurable hardware resources of the FPGAs. In this case, the FPGA serves as a coprocessor that implements legacy C-language support-vector-machine (SVM) image-classification algorithms to detect and identify natural phenomena such as flooding, volcanic eruptions, and sea-ice break-up. The FPGA provides hardware acceleration for increased onboard processing capability than previously demonstrated in software. The original C-language program demonstrated on an imaging instrument aboard the Earth Observing-1 (EO-1) satellite implements a linear-kernel SVM algorithm for classifying parts of the images as snow, water, ice, land, or cloud or unclassified. Current onboard processors, such as on EO-1, have limited computing power, extremely limited active storage capability and are no longer considered state-of-the-art. Using commercially available software that translates C-language programs into hardware description language (HDL) files, the legacy C-language program, and two newly formulated programs for a more capable expanded-linear-kernel and a more accurate polynomial-kernel SVM algorithm, have been implemented in the Virtex-4FX FPGA. In tests, the FPGA implementations have exhibited significant speedups over conventional software implementations running on general-purpose hardware.
VIRTEX-5 Fpga Implementation of Advanced Encryption Standard Algorithm
NASA Astrophysics Data System (ADS)
Rais, Muhammad H.; Qasim, Syed M.
2010-06-01
In this paper, we present an implementation of Advanced Encryption Standard (AES) cryptographic algorithm using state-of-the-art Virtex-5 Field Programmable Gate Array (FPGA). The design is coded in Very High Speed Integrated Circuit Hardware Description Language (VHDL). Timing simulation is performed to verify the functionality of the designed circuit. Performance evaluation is also done in terms of throughput and area. The design implemented on Virtex-5 (XC5VLX50FFG676-3) FPGA achieves a maximum throughput of 4.34 Gbps utilizing a total of 399 slices.
Douglas, Natalie F
2016-01-01
The Consolidated Framework for Implementation Research (CFIR) was developed to merge research and practice in healthcare by accounting for the many elements that influence evidence-based treatment implementation. These include characteristics of the individuals involved, features of the treatment itself, and aspects of the organizational culture where the treatment is being provided. The purpose of this study was to apply the CFIR to a measurement of current practice patterns of speech-language pathologists (SLPs) working in the skilled nursing facility (SNF) environment. In an effort to inform future evidence-based practice implementation interventions, research questions addressed current practice patterns, clinician treatment use and preferences, and perceptions of the organizational context including leadership, resources, and other staff. Surveys were mailed to each SLP working in a SNF in the state of Michigan. Participants (N=77, 19% response rate) completed a survey mapping on to CFIR components impacting evidence-based practice implementation. Quantitative descriptive and nonparametric correlational analyses were completed. Use of evidence-based treatments by SLPs in SNFs was highly variable. Negative correlations between treating speech and voice disorders and treating swallowing disorders (rs=-.35, p<.01), evaluating language and cognitive-communicative disorders and treating swallowing disorders (rs=-.30, p<.01), treating language and cognitive-communicative disorders and treating swallowing disorders (rs=-.67, p<.01), and evaluating swallowing disorders and treating language and cognitive-communicative disorders (rs=-.37, p<.01) were noted. A positive correlation between the SLPs' perception of organizational context and time spent evaluating language and other cognitive-communicative disorders (rs=.27, p<.05) was also present. Associative data suggest that the more an SLP in the SNF evaluates and treats swallowing disorders, the less he or she will evaluate speech, voice, language or other cognitive-communicative disorders. Further, SLPs in this sample spent more time evaluating language and cognitive-communicative impairments if they perceived their organizational context in a more positive way. The CFIR may guide treatment and implementation research to increase the uptake of evidence-based practices for SLPs working in the SNF setting. Copyright © 2015 Elsevier Inc. All rights reserved.
Implementing a Microcontroller Watchdog with a Field-Programmable Gate Array (FPGA)
NASA Technical Reports Server (NTRS)
Straka, Bartholomew
2013-01-01
Reliability is crucial to safety. Redundancy of important system components greatly enhances reliability and hence safety. Field-Programmable Gate Arrays (FPGAs) are useful for monitoring systems and handling the logic necessary to keep them running with minimal interruption when individual components fail. A complete microcontroller watchdog with logic for failure handling can be implemented in a hardware description language (HDL.). HDL-based designs are vendor-independent and can be used on many FPGAs with low overhead.
Turkish EFL Instructors' Perceived Importance of Motivational Strategies: A Descriptive Study
ERIC Educational Resources Information Center
Ustuk, Özgehan
2018-01-01
This study investigated how important Turkish EFL teachers perceive the ELT motivational strategies that are implemented in adult EFL teaching. 52 EFL instructors working in preparatory schools of foreign languages in four state universities in Turkey participated in the current study. The perceived importance of ELT motivational strategies was…
ERIC Educational Resources Information Center
Farmer, Tod Allen
2012-01-01
The study assessed the need for learning organizations to implement evidence-based policies and practices designed to enhance the academic and social success of Hispanic learners. Descriptive statistics and longitudinal data from the National Center for Educational Statistics (NCES) and the National Clearinghouse for English Language Acquisition…
Towards health care process description framework: an XML DTD design.
Staccini, P.; Joubert, M.; Quaranta, J. F.; Aymard, S.; Fieschi, D.; Fieschi, M.
2001-01-01
The development of health care and hospital information systems has to meet users needs as well as requirements such as the tracking of all care activities and the support of quality improvement. The use of process-oriented analysis is of-value to provide analysts with: (i) a systematic description of activities; (ii) the elicitation of the useful data to perform and record care tasks; (iii) the selection of relevant decision-making support. But paper-based tools are not a very suitable way to manage and share the documentation produced during this step. The purpose of this work is to propose a method to implement the results of process analysis according to XML techniques (eXtensible Markup Language). It is based on the IDEF0 activity modeling language (Integration DEfinition for Function modeling). A hierarchical description of a process and its components has been defined through a flat XML file with a grammar of proper metadata tags. Perspectives of this method are discussed. PMID:11825265
Paraconsistent Reasoning for OWL 2
NASA Astrophysics Data System (ADS)
Ma, Yue; Hitzler, Pascal
A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can be implemented by invoking classical reasoners to keep the same complexity as under the classical semantics. However, this approach has so far only been studied for the basic description logic mathcal{ALC}. In this paper, we further study how to extend the four-valued semantics to the more expressive description logic mathcal{SROIQ} which underlies the forthcoming revision of the Web Ontology Language, OWL 2, and also investigate how it fares when adapted to tractable description logics including mathcal{EL++}, DL-Lite, and Horn-DLs. We define the four-valued semantics along the same lines as for mathcal{ALC} and show that we can retain most of the desired properties.
NASA Technical Reports Server (NTRS)
Chien, Andrew A.; Karamcheti, Vijay; Plevyak, John; Sahrawat, Deepak
1993-01-01
Concurrent object-oriented languages, particularly fine-grained approaches, reduce the difficulty of large scale concurrent programming by providing modularity through encapsulation while exposing large degrees of concurrency. Despite these programmability advantages, such languages have historically suffered from poor efficiency. This paper describes the Concert project whose goal is to develop portable, efficient implementations of fine-grained concurrent object-oriented languages. Our approach incorporates aggressive program analysis and program transformation with careful information management at every stage from the compiler to the runtime system. The paper discusses the basic elements of the Concert approach along with a description of the potential payoffs. Initial performance results and specific plans for system development are also detailed.
Fly-By-Light/Power-By-Wire Fault-Tolerant Fiber-Optic Backplane
NASA Technical Reports Server (NTRS)
Malekpour, Mahyar R.
2002-01-01
The design and development of a fault-tolerant fiber-optic backplane to demonstrate feasibility of such architecture is presented. The simulation results of test cases on the backplane in the advent of induced faults are presented, and the fault recovery capability of the architecture is demonstrated. The architecture was designed, developed, and implemented using the Very High Speed Integrated Circuits (VHSIC) Hardware Description Language (VHDL). The architecture was synthesized and implemented in hardware using Field Programmable Gate Arrays (FPGA) on multiple prototype boards.
NASA Technical Reports Server (NTRS)
Friend, J.
1971-01-01
A manual designed both as an instructional manual for beginning coders and as a reference manual for the coding language INSTRUCT, is presented. The manual includes the major programs necessary to implement the teaching system and lists the limitation of current implementation. A detailed description is given of how to code a lesson, what buttons to push, and what utility programs to use. Suggestions for debugging coded lessons and the error messages that may be received during assembly or while running the lesson are given.
Use of statecharts in the modelling of dynamic behaviour in the ATLAS DAQ prototype-1
NASA Astrophysics Data System (ADS)
Croll, P.; Duval, P.-Y.; Jones, R.; Kolos, S.; Sari, R. F.; Wheeler, S.
1998-08-01
Many applications within the ATLAS DAQ prototype-1 system have complicated dynamic behaviour which can be successfully modelled in terms of states and transitions between states. Previously, state diagrams implemented as finite-state machines have been used. Although effective, they become ungainly as system size increases. Harel statecharts address this problem by implementing additional features such as hierarchy and concurrency. The CHSM object-oriented language system is freeware which implements Harel statecharts as concurrent, hierarchical, finite-state machines (CHSMs). An evaluation of this language system by the ATLAS DAQ group has shown it to be suitable for describing the dynamic behaviour of typical DAQ applications. The language is currently being used to model the dynamic behaviour of the prototype-1 run-control system. The design is specified by means of a CHSM description file, and C++ code is obtained by running the CHSM compiler on the file. In parallel with the modelling work, a code generator has been developed which translates statecharts, drawn using the StP CASE tool, into the CHSM language. C++ code, describing the dynamic behaviour of the run-control system, has been successfully generated directly from StP statecharts using the CHSM generator and compiler. The validity of the design was tested using the simulation features of the Statemate CASE tool.
NASA Astrophysics Data System (ADS)
Gill, Andy; Bull, Tristan; Kimmell, Garrin; Perrins, Erik; Komp, Ed; Werling, Brett
Kansas Lava is a domain specific language for hardware description. Though there have been a number of previous implementations of Lava, we have found the design space rich, with unexplored choices. We use a direct (Chalmers style) specification of circuits, and make significant use of Haskell overloading of standard classes, leading to concise circuit descriptions. Kansas Lava supports both simulation (inside GHCi), and execution via VHDL, by having a dual shallow and deep embedding inside our Signal type. We also have a lightweight sized-type mechanism, allowing for MATLAB style matrix based specifications to be directly expressed in Kansas Lava.
An object-oriented description method of EPMM process
NASA Astrophysics Data System (ADS)
Jiang, Zuo; Yang, Fan
2017-06-01
In order to use the object-oriented mature tools and language in software process model, make the software process model more accord with the industrial standard, it’s necessary to study the object-oriented modelling of software process. Based on the formal process definition in EPMM, considering the characteristics that Petri net is mainly formal modelling tool and combining the Petri net modelling with the object-oriented modelling idea, this paper provides this implementation method to convert EPMM based on Petri net into object models based on object-oriented description.
tOWL: a temporal Web Ontology Language.
Milea, Viorel; Frasincar, Flavius; Kaymak, Uzay
2012-02-01
Through its interoperability and reasoning capabilities, the Semantic Web opens a realm of possibilities for developing intelligent systems on the Web. The Web Ontology Language (OWL) is the most expressive standard language for modeling ontologies, the cornerstone of the Semantic Web. However, up until now, no standard way of expressing time and time-dependent information in OWL has been provided. In this paper, we present a temporal extension of the very expressive fragment SHIN(D) of the OWL Description Logic language, resulting in the temporal OWL language. Through a layered approach, we introduce three extensions: 1) concrete domains, which allow the representation of restrictions using concrete domain binary predicates; 2) temporal representation , which introduces time points, relations between time points, intervals, and Allen's 13 interval relations into the language; and 3) timeslices/fluents, which implement a perdurantist view on individuals and allow for the representation of complex temporal aspects, such as process state transitions. We illustrate the expressiveness of the newly introduced language by using an example from the financial domain.
Canbay, Ferhat; Levent, Vecdi Emre; Serbes, Gorkem; Ugurdag, H. Fatih; Goren, Sezer
2016-01-01
The authors aimed to develop an application for producing different architectures to implement dual tree complex wavelet transform (DTCWT) having near shift-invariance property. To obtain a low-cost and portable solution for implementing the DTCWT in multi-channel real-time applications, various embedded-system approaches are realised. For comparison, the DTCWT was implemented in C language on a personal computer and on a PIC microcontroller. However, in the former approach portability and in the latter desired speed performance properties cannot be achieved. Hence, implementation of the DTCWT on a reconfigurable platform such as field programmable gate array, which provides portable, low-cost, low-power, and high-performance computing, is considered as the most feasible solution. At first, they used the system generator DSP design tool of Xilinx for algorithm design. However, the design implemented by using such tools is not optimised in terms of area and power. To overcome all these drawbacks mentioned above, they implemented the DTCWT algorithm by using Verilog Hardware Description Language, which has its own difficulties. To overcome these difficulties, simplify the usage of proposed algorithms and the adaptation procedures, a code generator program that can produce different architectures is proposed. PMID:27733925
Canbay, Ferhat; Levent, Vecdi Emre; Serbes, Gorkem; Ugurdag, H Fatih; Goren, Sezer; Aydin, Nizamettin
2016-09-01
The authors aimed to develop an application for producing different architectures to implement dual tree complex wavelet transform (DTCWT) having near shift-invariance property. To obtain a low-cost and portable solution for implementing the DTCWT in multi-channel real-time applications, various embedded-system approaches are realised. For comparison, the DTCWT was implemented in C language on a personal computer and on a PIC microcontroller. However, in the former approach portability and in the latter desired speed performance properties cannot be achieved. Hence, implementation of the DTCWT on a reconfigurable platform such as field programmable gate array, which provides portable, low-cost, low-power, and high-performance computing, is considered as the most feasible solution. At first, they used the system generator DSP design tool of Xilinx for algorithm design. However, the design implemented by using such tools is not optimised in terms of area and power. To overcome all these drawbacks mentioned above, they implemented the DTCWT algorithm by using Verilog Hardware Description Language, which has its own difficulties. To overcome these difficulties, simplify the usage of proposed algorithms and the adaptation procedures, a code generator program that can produce different architectures is proposed.
Evaluation of PROforma as a language for implementing medical guidelines in a practical context
Sutton, David R; Taylor, Paul; Earle, Kenneth
2006-01-01
Background PROforma is one of several languages that allow clinical guidelines to be expressed in a computer-interpretable manner. How these languages should be compared, and what requirements they should meet, are questions that are being actively addressed by a community of interested researchers. Methods We have developed a system to allow hypertensive patients to be monitored and assessed without visiting their GPs (except in the most urgent cases). Blood pressure measurements are performed at the patients' pharmacies and a web-based system, created using PROforma, makes recommendations for continued monitoring, and/or changes in medication. The recommendations and measurements are transmitted electronically to a practitioner with authority to issue and change prescriptions. We evaluated the use of PROforma during the knowledge acquisition, analysis, design and implementation of this system. The analysis focuses on the logical adequacy, heuristic power, notational convenience, and explanation support provided by the PROforma language. Results PROforma proved adequate as a language for the implementation of the clinical reasoning required by this project. However a lack of notational convenience led us to use UML activity diagrams, rather than PROforma process descriptions, to create the models that were used during the knowledge acquisition and analysis phases of the project. These UML diagrams were translated into PROforma during the implementation of the project. Conclusion The experience accumulated during this study highlighted the importance of structure preserving design, that is to say that the models used in the design and implementation of a knowledge-based system should be structurally similar to those created during knowledge acquisition and analysis. Ideally the same language should be used for all of these models. This means that great importance has to be attached to the notational convenience of these languages, by which we mean the ease with which they can be read, written, and understood by human beings. The importance of notational convenience arises from the fact that a language used during knowledge acquisition and analysis must be intelligible to the potential users of a system, and to the domain experts who provide the knowledge that will be used in its construction. PMID:16597341
Evaluation of PROforma as a language for implementing medical guidelines in a practical context.
Sutton, David R; Taylor, Paul; Earle, Kenneth
2006-04-05
PROforma is one of several languages that allow clinical guidelines to be expressed in a computer-interpretable manner. How these languages should be compared, and what requirements they should meet, are questions that are being actively addressed by a community of interested researchers. We have developed a system to allow hypertensive patients to be monitored and assessed without visiting their GPs (except in the most urgent cases). Blood pressure measurements are performed at the patients' pharmacies and a web-based system, created using PROforma, makes recommendations for continued monitoring, and/or changes in medication. The recommendations and measurements are transmitted electronically to a practitioner with authority to issue and change prescriptions. We evaluated the use of PROforma during the knowledge acquisition, analysis, design and implementation of this system. The analysis focuses on the logical adequacy, heuristic power, notational convenience, and explanation support provided by the PROforma language. PROforma proved adequate as a language for the implementation of the clinical reasoning required by this project. However a lack of notational convenience led us to use UML activity diagrams, rather than PROforma process descriptions, to create the models that were used during the knowledge acquisition and analysis phases of the project. These UML diagrams were translated into PROforma during the implementation of the project. The experience accumulated during this study highlighted the importance of structure preserving design, that is to say that the models used in the design and implementation of a knowledge-based system should be structurally similar to those created during knowledge acquisition and analysis. Ideally the same language should be used for all of these models. This means that great importance has to be attached to the notational convenience of these languages, by which we mean the ease with which they can be read, written, and understood by human beings. The importance of notational convenience arises from the fact that a language used during knowledge acquisition and analysis must be intelligible to the potential users of a system, and to the domain experts who provide the knowledge that will be used in its construction.
Designing Caregiver-Implemented Shared-Reading Interventions to Overcome Implementation Barriers
Logan, Jessica R.; Damschroder, Laura
2015-01-01
Purpose This study presents an application of the theoretical domains framework (TDF; Michie et al., 2005), an integrative framework drawing on behavior-change theories, to speech-language pathology. Methods A multistep procedure was used to identify barriers affecting caregivers' implementation of shared-reading interventions with their children with language impairment (LI). The authors examined caregiver-level data corresponding to implementation issues from two randomized controlled trials and mapped these to domains in the TDF as well as empirically validated behavior-change techniques. Results Four barriers to implementation were identified as potentially affecting caregivers' implementation: time pressures, reading difficulties, discomfort with reading, and lack of awareness of benefits. These were mapped to 3 TDF domains: intentions, beliefs about capabilities, and skills. In turn, 4 behavior-change techniques were identified as potential vehicles for affecting these domains: reward, feedback, model, and encourage. An ongoing study is described that is determining the effects of these techniques for improving caregivers' implementation of a shared-reading intervention. Conclusions A description of the steps to identifying barriers to implementation, in conjunction with an ongoing experiment that will explicitly determine whether behavior-change techniques affect these barriers, provides a model for how implementation science can be used to identify and overcome implementation barriers in the treatment of communication disorders. PMID:26262941
Designing Caregiver-Implemented Shared-Reading Interventions to Overcome Implementation Barriers.
Justice, Laura M; Logan, Jessica R; Damschroder, Laura
2015-12-01
This study presents an application of the theoretical domains framework (TDF; Michie et al., 2005), an integrative framework drawing on behavior-change theories, to speech-language pathology. A multistep procedure was used to identify barriers affecting caregivers' implementation of shared-reading interventions with their children with language impairment (LI). The authors examined caregiver-level data corresponding to implementation issues from two randomized controlled trials and mapped these to domains in the TDF as well as empirically validated behavior-change techniques. Four barriers to implementation were identified as potentially affecting caregivers' implementation: time pressures, reading difficulties, discomfort with reading, and lack of awareness of benefits. These were mapped to 3 TDF domains: intentions, beliefs about capabilities, and skills. In turn, 4 behavior-change techniques were identified as potential vehicles for affecting these domains: reward, feedback, model, and encourage. An ongoing study is described that is determining the effects of these techniques for improving caregivers' implementation of a shared-reading intervention. A description of the steps to identifying barriers to implementation, in conjunction with an ongoing experiment that will explicitly determine whether behavior-change techniques affect these barriers, provides a model for how implementation science can be used to identify and overcome implementation barriers in the treatment of communication disorders.
Cook, Daniel L; Farley, Joel F; Tapscott, Stephen J
2001-01-01
Background: We propose that a computerized, internet-based graphical description language for systems biology will be essential for describing, archiving and analyzing complex problems of biological function in health and disease. Results: We outline here a conceptual basis for designing such a language and describe BioD, a prototype language that we have used to explore the utility and feasibility of this approach to functional biology. Using example models, we demonstrate that a rather limited lexicon of icons and arrows suffices to describe complex cell-biological systems as discrete models that can be posted and linked on the internet. Conclusions: Given available computer and internet technology, BioD may be implemented as an extensible, multidisciplinary language that can be used to archive functional systems knowledge and be extended to support both qualitative and quantitative functional analysis. PMID:11305940
Leveraging workflow control patterns in the domain of clinical practice guidelines.
Kaiser, Katharina; Marcos, Mar
2016-02-10
Clinical practice guidelines (CPGs) include recommendations describing appropriate care for the management of patients with a specific clinical condition. A number of representation languages have been developed to support executable CPGs, with associated authoring/editing tools. Even with tool assistance, authoring of CPG models is a labor-intensive task. We aim at facilitating the early stages of CPG modeling task. In this context, we propose to support the authoring of CPG models based on a set of suitable procedural patterns described in an implementation-independent notation that can be then semi-automatically transformed into one of the alternative executable CPG languages. We have started with the workflow control patterns which have been identified in the fields of workflow systems and business process management. We have analyzed the suitability of these patterns by means of a qualitative analysis of CPG texts. Following our analysis we have implemented a selection of workflow patterns in the Asbru and PROforma CPG languages. As implementation-independent notation for the description of patterns we have chosen BPMN 2.0. Finally, we have developed XSLT transformations to convert the BPMN 2.0 version of the patterns into the Asbru and PROforma languages. We showed that although a significant number of workflow control patterns are suitable to describe CPG procedural knowledge, not all of them are applicable in the context of CPGs due to their focus on single-patient care. Moreover, CPGs may require additional patterns not included in the set of workflow control patterns. We also showed that nearly all the CPG-suitable patterns can be conveniently implemented in the Asbru and PROforma languages. Finally, we demonstrated that individual patterns can be semi-automatically transformed from a process specification in BPMN 2.0 to executable implementations in these languages. We propose a pattern and transformation-based approach for the development of CPG models. Such an approach can form the basis of a valid framework for the authoring of CPG models. The identification of adequate patterns and the implementation of transformations to convert patterns from a process specification into different executable implementations are the first necessary steps for our approach.
Simulation Experiment Description Markup Language (SED-ML) Level 1 Version 3 (L1V3).
Bergmann, Frank T; Cooper, Jonathan; König, Matthias; Moraru, Ion; Nickerson, David; Le Novère, Nicolas; Olivier, Brett G; Sahle, Sven; Smith, Lucian; Waltemath, Dagmar
2018-03-19
The creation of computational simulation experiments to inform modern biological research poses challenges to reproduce, annotate, archive, and share such experiments. Efforts such as SBML or CellML standardize the formal representation of computational models in various areas of biology. The Simulation Experiment Description Markup Language (SED-ML) describes what procedures the models are subjected to, and the details of those procedures. These standards, together with further COMBINE standards, describe models sufficiently well for the reproduction of simulation studies among users and software tools. The Simulation Experiment Description Markup Language (SED-ML) is an XML-based format that encodes, for a given simulation experiment, (i) which models to use; (ii) which modifications to apply to models before simulation; (iii) which simulation procedures to run on each model; (iv) how to post-process the data; and (v) how these results should be plotted and reported. SED-ML Level 1 Version 1 (L1V1) implemented support for the encoding of basic time course simulations. SED-ML L1V2 added support for more complex types of simulations, specifically repeated tasks and chained simulation procedures. SED-ML L1V3 extends L1V2 by means to describe which datasets and subsets thereof to use within a simulation experiment.
Describing different brain computer interface systems through a unique model: a UML implementation.
Quitadamo, Lucia Rita; Marciani, Maria Grazia; Cardarilli, Gian Carlo; Bianchi, Luigi
2008-01-01
All the protocols currently implemented in brain computer interface (BCI) experiments are characterized by different structural and temporal entities. Moreover, due to the lack of a unique descriptive model for BCI systems, there is not a standard way to define the structure and the timing of a BCI experimental session among different research groups and there is also great discordance on the meaning of the most common terms dealing with BCI, such as trial, run and session. The aim of this paper is to provide a unified modeling language (UML) implementation of BCI systems through a unique dynamic model which is able to describe the main protocols defined in the literature (P300, mu-rhythms, SCP, SSVEP, fMRI) and demonstrates to be reasonable and adjustable according to different requirements. This model includes a set of definitions of the typical entities encountered in a BCI, diagrams which explain the structural correlations among them and a detailed description of the timing of a trial. This last represents an innovation with respect to the models already proposed in the literature. The UML documentation and the possibility of adapting this model to the different BCI systems built to date, make it a basis for the implementation of new systems and a mean for the unification and dissemination of resources. The model with all the diagrams and definitions reported in the paper are the core of the body language framework, a free set of routines and tools for the implementation, optimization and delivery of cross-platform BCI systems.
Griffiths, P
1998-11-01
This paper describes an investigation into how nurses describe patients' problems and the possible effects of an espoused nursing model on these descriptions. A descriptive study was conducted on two medical wards in a Welsh District General Hospital. Data collected were subjected to content analysis using Gordon's Functional Health Patterns to order the data. The two wards investigated, whilst being very similar in many ways, utilized different nursing models. Findings showed that the nurses studied, when describing patients' problems, most commonly used medical diagnoses or the medical reasons for admission. Patients' problems identified predominately addressed bio-physical needs with scant attention given to psycho-social needs. Despite the use of two different nursing models the language and emphasis of problem description were very similar and there was no evidence of the application of the conceptual underpinnings of the two models. It is suggested that although the use of a ready-made nursing language may have drawbacks, the British nurse should understand and assess the value of the North American Nursing Diagnosis Association's (NANDA) nursing diagnoses. Without such involvement this system may be implemented in the United Kingdom (UK) without the input and influence of practising nurses.
Requirements analysis for a hardware, discrete-event, simulation engine accelerator
NASA Astrophysics Data System (ADS)
Taylor, Paul J., Jr.
1991-12-01
An analysis of a general Discrete Event Simulation (DES), executing on the distributed architecture of an eight mode Intel PSC/2 hypercube, was performed. The most time consuming portions of the general DES algorithm were determined to be the functions associated with message passing of required simulation data between processing nodes of the hypercube architecture. A behavioral description, using the IEEE standard VHSIC Hardware Description and Design Language (VHDL), for a general DES hardware accelerator is presented. The behavioral description specifies the operational requirements for a DES coprocessor to augment the hypercube's execution of DES simulations. The DES coprocessor design implements the functions necessary to perform distributed discrete event simulations using a conservative time synchronization protocol.
An Interface Transformation Strategy for AF-IPPS
2012-12-01
Representational State Transfer (REST) and Java Enterprise Edition ( Java EE) to implement a reusable “translation service.” For SOAP and REST protocols, XML and...of best-of-breed open source software. The product baseline is summarized in the following table: Product Function Description Java Language...Compiler & Runtime JBoss Application Server Applications, Messaging, Translation Java EE Application Server Ruby on Rails Applications Ruby Web
ERIC Educational Resources Information Center
Morin, Yves Ch.
Described in this paper is the implementation of Querido's French grammar ("Grammaire I, Description transformationelle d'un sous-ensemble du Francais," 1969) on the computer system for transformational grammar at the University of Michigan (Friedman 1969). The purpose was to demonstrate the ease of transcribing a relative formal grammar into the…
Implementation of the 2-D Wavelet Transform into FPGA for Image
NASA Astrophysics Data System (ADS)
León, M.; Barba, L.; Vargas, L.; Torres, C. O.
2011-01-01
This paper presents a hardware system implementation of the of discrete wavelet transform algoritm in two dimensions for FPGA, using the Daubechies filter family of order 2 (db2). The decomposition algorithm of this transform is designed and simulated with the Hardware Description Language VHDL and is implemented in a programmable logic device (FPGA) XC3S1200E reference, Spartan IIIE family, by Xilinx, take advantage the parallels properties of these gives us and speeds processing that can reach them. The architecture is evaluated using images input of different sizes. This implementation is done with the aim of developing a future images encryption hardware system using wavelet transform for security information.
Dynamic partial reconfiguration of logic controllers implemented in FPGAs
NASA Astrophysics Data System (ADS)
Bazydło, Grzegorz; Wiśniewski, Remigiusz
2016-09-01
Technological progress in recent years benefits in digital circuits containing millions of logic gates with the capability for reprogramming and reconfiguring. On the one hand it provides the unprecedented computational power, but on the other hand the modelled systems are becoming increasingly complex, hierarchical and concurrent. Therefore, abstract modelling supported by the Computer Aided Design tools becomes a very important task. Even the higher consumption of the basic electronic components seems to be acceptable because chip manufacturing costs tend to fall over the time. The paper presents a modelling approach for logic controllers with the use of Unified Modelling Language (UML). Thanks to the Model Driven Development approach, starting with a UML state machine model, through the construction of an intermediate Hierarchical Concurrent Finite State Machine model, a collection of Verilog files is created. The system description generated in hardware description language can be synthesized and implemented in reconfigurable devices, such as FPGAs. Modular specification of the prototyped controller permits for further dynamic partial reconfiguration of the prototyped system. The idea bases on the exchanging of the functionality of the already implemented controller without stopping of the FPGA device. It means, that a part (for example a single module) of the logic controller is replaced by other version (called context), while the rest of the system is still running. The method is illustrated by a practical example by an exemplary Home Area Network system.
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.
What Is Grammar and Why Teach It?
ERIC Educational Resources Information Center
Greenbaum, Sidney
The word "grammar" can be used in many ways: a general theory of language description; a theory for describing one language; a description of a particular language, either in the form of a book (an "English grammar") or the contents of that book; an ideal as opposed to actual description of a language; the properties and processes of a language…
1988-12-01
VHSIC Program Office appropriately summarized the motivation behind VHDL as follows: Computer -aided engineering is a nightmare of incompatible formats and... Computer Science Branch. Interactive VHDL Workstation: Program Status Review Report, 8 October 1987. Air Force Contract F33615-85-C-1862. Information Systems...Typical Program Structure .................................. 14 3 Figure 4. GVUI Top-Level SADT Diagram ............................... .24 Figure 5
Program Helps Standardize Documentation Of Software
NASA Technical Reports Server (NTRS)
Howe, G.
1994-01-01
Intelligent Documentation Management System, IDMS, computer program developed to assist project managers in implementing information system documentation standard known as NASA-STD-2100-91, NASA STD, COS-10300, of NASA's Software Management and Assurance Program. Standard consists of data-item descriptions or templates, each of which governs particular component of software documentation. IDMS helps program manager in tailoring documentation standard to project. Written in C language.
Econ's optimal decision model of wheat production and distribution-documentation
NASA Technical Reports Server (NTRS)
1977-01-01
The report documents the computer programs written to implement the ECON optical decision model. The programs were written in APL, an extremely compact and powerful language particularly well suited to this model, which makes extensive use of matrix manipulations. The algorithms used are presented and listings of and descriptive information on the APL programs used are given. Possible changes in input data are also given.
Design Automation for Streaming Systems
2005-12-16
which are FIFO buffered channels. We develop a process network model for streaming sys - tems (TDFPN) and a hardware description language with built in...and may include an automatic address generator. A complete synthesis sys - tem would provide separate segment operator implementations for every...Acoustics, Speech, and Signal Processing (ICASSP ’89), pages 988– 991, 1989. [Luk et al., 1997] Wayne Luk, Nabeel Shirazi, and Peter Y. K. Cheung
Design and Implementation of a Motor Incremental Shaft Encoder
2008-09-01
SDC Student Design Center VHDL Verilog Hardware Description Language VSC Voltage Source Converters ZCE Zero Crossing Event xiii EXECUTIVE...student to make accurate predictions of voltage source converters ( VSC ) behavior via software simulation; these simulated results could also be... VSC ), and several other off-the-shelf components, a circuit board interface between FPGA and the power source, and a desktop computer [1]. Now, the
Describing and recognizing patterns of events in smart environments with description logic.
Scalmato, Antonello; Sgorbissa, Antonio; Zaccaria, Renato
2013-12-01
This paper describes a system for context awareness in smart environments, which is based on an ontology expressed in description logic and implemented in OWL 2 EL, which is a subset of the Web Ontology Language that allows for reasoning in polynomial time. The approach is different from all other works in the literature since the proposed system requires only the basic reasoning mechanisms of description logic, i.e., subsumption and instance checking, without any additional external reasoning engine. Experiments performed with data collected in three different scenarios are described, i.e., the CASAS Project at Washington State University, the assisted living facility Villa Basilea in Genoa, and the Merry Porter mobile robot at the Polyclinic of Modena.
Pre-linguistic communication skill development in an infant with a diagnosis of galactosaemia.
Lewis, Fiona M; Coman, David J; Kilcoyne, Sarah; Murdoch, Bruce E; Syrmis, Maryanne
2014-10-01
Neonatal screening for galactosaemia (GAL) identifies the condition early, but subsequent biomedical and genetic testing fails to identify which subgroup of infants with GAL are at most risk of the language disorders associated with the condition. This study aims to present preliminary data on an infant with GAL based on assessment of pre-linguistic communication behaviours known to underpin language development. This single case-control study profiles the pre-linguistic skills of a 13-month-old infant with GAL. The Index Infant's performance was descriptively compared to that of a typically developing, suitably matched control infant. The Index Infant was identified as presenting with clinically significant delays on 9 of the 11 pre-linguistic skills assessed. The early identification of risk of developmental language difficulties in the Index Infant allows for the implementation of early intervention using the infant's parents as facilitators of language stimulation. Monitoring of the infant's progress is warranted.
F-OWL: An Inference Engine for Semantic Web
NASA Technical Reports Server (NTRS)
Zou, Youyong; Finin, Tim; Chen, Harry
2004-01-01
Understanding and using the data and knowledge encoded in semantic web documents requires an inference engine. F-OWL is an inference engine for the semantic web language OWL language based on F-logic, an approach to defining frame-based systems in logic. F-OWL is implemented using XSB and Flora-2 and takes full advantage of their features. We describe how F-OWL computes ontology entailment and compare it with other description logic based approaches. We also describe TAGA, a trading agent environment that we have used as a test bed for F-OWL and to explore how multiagent systems can use semantic web concepts and technology.
STRCMACS: An extensive set of Macros for structured programming in OS/360 assembly language
NASA Technical Reports Server (NTRS)
Barth, C. W.
1974-01-01
Two techniques are discussed that have been most often referred to as structured programming. One is that of programming with high level control structures (such as the if and while) replacing the branch instruction (goto-less programming); the other is the process of developing a program by progressively refining descriptions of components in terms of more primitive components (called stepwise refinement or top-down programming). In addition to discussing what these techniques are, it is shown why their use is advised and how both can be implemented in OS assembly language by the use of a special macro instruction package.
NASA Technical Reports Server (NTRS)
Glass, David E.; Robinson, James C.
1990-01-01
A procedure is presented to allow the use of temperature dependent mechanical properties in the Engineering Analysis Language (EAL) System for solid structural elements. This is accomplished by including a modular runstream in the main EAL runstream. The procedure is applicable for models with multiple materials and with anisotropic properties, and can easily be incorporated into an existing EAL runstream. The procedure (which is applicable for EAL elastic solid elements) is described in detail, followed by a description of the validation of the routine. A listing of the EAL runstream used to validate the procedure is included in the Appendix.
Harmonised information exchange between decentralised food composition database systems.
Pakkala, H; Christensen, T; de Victoria, I Martínez; Presser, K; Kadvan, A
2010-11-01
The main aim of the European Food Information Resource (EuroFIR) project is to develop and disseminate a comprehensive, coherent and validated data bank for the distribution of food composition data (FCD). This can only be accomplished by harmonising food description and data documentation and by the use of standardised thesauri. The data bank is implemented through a network of local FCD storages (usually national) under the control and responsibility of the local (national) EuroFIR partner. The implementation of the system based on the EuroFIR specifications is under development. The data interchange happens through the EuroFIR Web Services interface, allowing the partners to implement their system using methods and software suitable for the local computer environment. The implementation uses common international standards, such as Simple Object Access Protocol, Web Service Description Language and Extensible Markup Language (XML). A specifically constructed EuroFIR search facility (eSearch) was designed for end users. The EuroFIR eSearch facility compiles queries using a specifically designed Food Data Query Language and sends a request to those network nodes linked to the EuroFIR Web Services that will most likely have the requested information. The retrieved FCD are compiled into a specifically designed data interchange format (the EuroFIR Food Data Transport Package) in XML, which is sent back to the EuroFIR eSearch facility as the query response. The same request-response operation happens in all the nodes that have been selected in the EuroFIR eSearch facility for a certain task. Finally, the FCD are combined by the EuroFIR eSearch facility and delivered to the food compiler. The implementation of FCD interchange using decentralised computer systems instead of traditional data-centre models has several advantages. First of all, the local partners have more control over their FCD, which will increase commitment and improve quality. Second, a multicentred solution is more economically viable than the creation of a centralised data bank, because of the lack of national political support for multinational systems.
On a programming language for graph algorithms
NASA Technical Reports Server (NTRS)
Rheinboldt, W. C.; Basili, V. R.; Mesztenyi, C. K.
1971-01-01
An algorithmic language, GRAAL, is presented for describing and implementing graph algorithms of the type primarily arising in applications. The language is based on a set algebraic model of graph theory which defines the graph structure in terms of morphisms between certain set algebraic structures over the node set and arc set. GRAAL is modular in the sense that the user specifies which of these mappings are available with any graph. This allows flexibility in the selection of the storage representation for different graph structures. In line with its set theoretic foundation, the language introduces sets as a basic data type and provides for the efficient execution of all set and graph operators. At present, GRAAL is defined as an extension of ALGOL 60 (revised) and its formal description is given as a supplement to the syntactic and semantic definition of ALGOL. Several typical graph algorithms are written in GRAAL to illustrate various features of the language and to show its applicability.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Schwartz, J T
1975-06-01
A summary of work during the past several years on SETL, a new programming language drawing its dictions and basic concepts from the mathematical theory of sets, is presented. The work was started with the idea that a programming language modeled after an appropriate version of the formal language of mathematics might allow a programming style with some of the succinctness of mathematics, and that this might ultimately enable one to express and experiment with more complex algorithms than are now within reach. Part I discusses the general approach followed in the work. Part II focuses directly on the detailsmore » of the SETL language as it is now defined. It describes the facilities of SETL, includes short libraries of miscellaneous and of code optimization algorithms illustrating the use of SETL, and gives a detailed description of the manner in which the set-theoretic primitives provided by SETL are currently implemented. (RWR)« less
Implementation of 4-way Superscalar Hash MIPS Processor Using FPGA
NASA Astrophysics Data System (ADS)
Sahib Omran, Safaa; Fouad Jumma, Laith
2018-05-01
Due to the quick advancements in the personal communications systems and wireless communications, giving data security has turned into a more essential subject. This security idea turns into a more confounded subject when next-generation system requirements and constant calculation speed are considered in real-time. Hash functions are among the most essential cryptographic primitives and utilized as a part of the many fields of signature authentication and communication integrity. These functions are utilized to acquire a settled size unique fingerprint or hash value of an arbitrary length of message. In this paper, Secure Hash Algorithms (SHA) of types SHA-1, SHA-2 (SHA-224, SHA-256) and SHA-3 (BLAKE) are implemented on Field-Programmable Gate Array (FPGA) in a processor structure. The design is described and implemented using a hardware description language, namely VHSIC “Very High Speed Integrated Circuit” Hardware Description Language (VHDL). Since the logical operation of the hash types of (SHA-1, SHA-224, SHA-256 and SHA-3) are 32-bits, so a Superscalar Hash Microprocessor without Interlocked Pipelines (MIPS) processor are designed with only few instructions that were required in invoking the desired Hash algorithms, when the four types of hash algorithms executed sequentially using the designed processor, the total time required equal to approximately 342 us, with a throughput of 4.8 Mbps while the required to execute the same four hash algorithms using the designed four-way superscalar is reduced to 237 us with improved the throughput to 5.1 Mbps.
ERIC Educational Resources Information Center
Hayes, Katherine; Rueda, Robert; Chilton, Susan
2009-01-01
This article contains a description of the Dual Proficiency (DP) program in an urban elementary school located in the heart of a large south-western city, as well as the teachers who designed and now implement DP, and the immigrant community participating by choice in DP. We write from a context where, ironically, the number of English language…
NASA Technical Reports Server (NTRS)
Szczur, Martha R.
1989-01-01
The Transportable Applications Environment Plus (TAE Plus), developed by NASA's Goddard Space Flight Center, is a portable User Interface Management System (UIMS), which provides an intuitive WYSIWYG WorkBench for prototyping and designing an application's user interface, integrated with tools for efficiently implementing the designed user interface and effective management of the user interface during an application's active domain. During the development of TAE Plus, many design and implementation decisions were based on the state-of-the-art within graphics workstations, windowing system and object-oriented programming languages. Some of the problems and issues experienced during implementation are discussed. A description of the next development steps planned for TAE Plus is also given.
Implementing the Gaia Astrometric Global Iterative Solution (AGIS) in Java
NASA Astrophysics Data System (ADS)
O'Mullane, William; Lammers, Uwe; Lindegren, Lennart; Hernandez, Jose; Hobbs, David
2011-10-01
This paper provides a description of the Java software framework which has been constructed to run the Astrometric Global Iterative Solution for the Gaia mission. This is the mathematical framework to provide the rigid reference frame for Gaia observations from the Gaia data itself. This process makes Gaia a self calibrated, and input catalogue independent, mission. The framework is highly distributed typically running on a cluster of machines with a database back end. All code is written in the Java language. We describe the overall architecture and some of the details of the implementation.
Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits
NASA Technical Reports Server (NTRS)
Russinoff, David M.
1995-01-01
We present a mathematical definition of hardware description language (HDL) that admits a semantics-preserving translation to a subset of VHDL. Our HDL includes the basic VHDL propagation delay mechanisms and gate-level circuit descriptions. We also develop formal procedures for deriving and verifying concise behavioral specifications of combinational and sequential devices. The HDL and the specification procedures have been formally encoded in the computational logic of Boyer and Moore, which provides a LISP implementation as well as a facility for mechanical proof-checking. As an application, we design, specify, and verify a circuit that achieves asynchronous communication by means of the biphase mark protocol.
The Loyal Opposition Comments on Plan Domain Description Languages
NASA Technical Reports Server (NTRS)
Frank, Jeremy; Golden, Keith; Jonsson, Ari
2003-01-01
In this paper we take a critical look at PDDL 2.1 as designers and users of plan domain description languages. We describe planning domains that have features which are hard to model using PDDL 2.1. We then offer some suggestions on domain description language design, and describe how these suggestions make modeling our chosen domains easier.
The Manu-Facturing of a Language.
ERIC Educational Resources Information Center
Washabaugh, William
1980-01-01
Discusses Providence Island Sign Language (PSL), an autochthonous and relatively immature language of about 20 speakers. It is a nascent and evolving language whose description can produce rich results for linguistic theory. Such a description will also be an explanation of the phylogeny of a linguistic system. (Author/PJM)
A virtual data language and system for scientific workflow management in data grid environments
NASA Astrophysics Data System (ADS)
Zhao, Yong
With advances in scientific instrumentation and simulation, scientific data is growing fast in both size and analysis complexity. So-called Data Grids aim to provide high performance, distributed data analysis infrastructure for data- intensive sciences, where scientists distributed worldwide need to extract information from large collections of data, and to share both data products and the resources needed to produce and store them. However, the description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneous storage formats and ad-hoc file system structures. We show how these difficulties can be overcome via a typed workflow notation called virtual data language, within which issues of physical representation are cleanly separated from logical typing, and by the implementation of this notation within the context of a powerful virtual data system that supports distributed execution. The resulting language and system are capable of expressing complex workflows in a simple compact form, enacting those workflows in distributed environments, monitoring and recording the execution processes, and tracing the derivation history of data products. We describe the motivation, design, implementation, and evaluation of the virtual data language and system, and the application of the virtual data paradigm in various science disciplines, including astronomy, cognitive neuroscience.
iTesla Power Systems Library (iPSL): A Modelica library for phasor time-domain simulations
NASA Astrophysics Data System (ADS)
Vanfretti, L.; Rabuzin, T.; Baudette, M.; Murad, M.
The iTesla Power Systems Library (iPSL) is a Modelica package providing a set of power system components for phasor time-domain modeling and simulation. The Modelica language provides a systematic approach to develop models using a formal mathematical description, that uniquely specifies the physical behavior of a component or the entire system. Furthermore, the standardized specification of the Modelica language (Modelica Association [1]) enables unambiguous model exchange by allowing any Modelica-compliant tool to utilize the models for simulation and their analyses without the need of a specific model transformation tool. As the Modelica language is being developed with open specifications, any tool that implements these requirements can be utilized. This gives users the freedom of choosing an Integrated Development Environment (IDE) of their choice. Furthermore, any integration solver can be implemented within a Modelica tool to simulate Modelica models. Additionally, Modelica is an object-oriented language, enabling code factorization and model re-use to improve the readability of a library by structuring it with object-oriented hierarchy. The developed library is released under an open source license to enable a wider distribution and let the user customize it to their specific needs. This paper describes the iPSL and provides illustrative application examples.
PLEXIL-DL: Language and Runtime for Context-Aware Robot Behaviour
NASA Astrophysics Data System (ADS)
Moser, Herwig; Reichelt, Toni; Oswald, Norbert; Förster, Stefan
Faced with the growing complexity of application scenarios social robots are involved with, the perception of environmental circumstances and the sentient reactions are becoming more and more important abilities. Rather than regarding both abilities in isolation, the entire transformation process, from context-awareness to purposive behaviour, forms a robot’s adaptivity. While attaining context-awareness has received much attention in literature so far, translating it into appropriate actions still lacks a comprehensive approach. In this paper, we present PLEXIL-DL, an expressive language allowing complex context expressions as an integral part of constructs that define sophisticated behavioural reactions. Our approach extends NASA’s PLEXIL language by Description Logic queries, both in syntax and formal semantics. A prototypical implementation of a PLEXIL-DL interpreter shows the basic mechanisms facilitating the robot’s adaptivity through context-awareness.
NPTool: Towards Scalability and Reliability of Business Process Management
NASA Astrophysics Data System (ADS)
Braghetto, Kelly Rosa; Ferreira, João Eduardo; Pu, Calton
Currently one important challenge in business process management is provide at the same time scalability and reliability of business process executions. This difficulty becomes more accentuated when the execution control assumes complex countless business processes. This work presents NavigationPlanTool (NPTool), a tool to control the execution of business processes. NPTool is supported by Navigation Plan Definition Language (NPDL), a language for business processes specification that uses process algebra as formal foundation. NPTool implements the NPDL language as a SQL extension. The main contribution of this paper is a description of the NPTool showing how the process algebra features combined with a relational database model can be used to provide a scalable and reliable control in the execution of business processes. The next steps of NPTool include reuse of control-flow patterns and support to data flow management.
106-17 Telemetry Standards Metadata Configuration Chapter 23
2017-07-01
23-1 23.2 Metadata Description Language ...Chapter 23, July 2017 iii Acronyms HTML Hypertext Markup Language MDL Metadata Description Language PCM pulse code modulation TMATS Telemetry...Attributes Transfer Standard W3C World Wide Web Consortium XML eXtensible Markup Language XSD XML schema document Telemetry Network Standard
Algorithmic synthesis using Python compiler
NASA Astrophysics Data System (ADS)
Cieszewski, Radoslaw; Romaniuk, Ryszard; Pozniak, Krzysztof; Linczuk, Maciej
2015-09-01
This paper presents a python to VHDL compiler. The compiler interprets an algorithmic description of a desired behavior written in Python and translate it to VHDL. FPGA combines many benefits of both software and ASIC implementations. Like software, the programmed circuit is flexible, and can be reconfigured over the lifetime of the system. FPGAs have the potential to achieve far greater performance than software as a result of bypassing the fetch-decode-execute operations of traditional processors, and possibly exploiting a greater level of parallelism. This can be achieved by using many computational resources at the same time. Creating parallel programs implemented in FPGAs in pure HDL is difficult and time consuming. Using higher level of abstraction and High-Level Synthesis compiler implementation time can be reduced. The compiler has been implemented using the Python language. This article describes design, implementation and results of created tools.
Truth and probability in evolutionary games
NASA Astrophysics Data System (ADS)
Barrett, Jeffrey A.
2017-01-01
This paper concerns two composite Lewis-Skyrms signalling games. Each consists in a base game that evolves a language descriptive of nature and a metagame that coevolves a language descriptive of the base game and its evolving language. The first composite game shows how a pragmatic notion of truth might coevolve with a simple descriptive language. The second shows how a pragmatic notion of probability might similarly coevolve. Each of these pragmatic notions is characterised by the particular game and role that it comes to play in the game.
Lü, Yiran; Hao, Shuxin; Zhang, Guoqing; Liu, Jie; Liu, Yue; Xu, Dongqun
2018-01-01
To implement the online statistical analysis function in information system of air pollution and health impact monitoring, and obtain the data analysis information real-time. Using the descriptive statistical method as well as time-series analysis and multivariate regression analysis, SQL language and visual tools to implement online statistical analysis based on database software. Generate basic statistical tables and summary tables of air pollution exposure and health impact data online; Generate tendency charts of each data part online and proceed interaction connecting to database; Generate butting sheets which can lead to R, SAS and SPSS directly online. The information system air pollution and health impact monitoring implements the statistical analysis function online, which can provide real-time analysis result to its users.
Modeling and simulation of biological systems using SPICE language
Lallement, Christophe; Haiech, Jacques
2017-01-01
The article deals with BB-SPICE (SPICE for Biochemical and Biological Systems), an extension of the famous Simulation Program with Integrated Circuit Emphasis (SPICE). BB-SPICE environment is composed of three modules: a new textual and compact description formalism for biological systems, a converter that handles this description and generates the SPICE netlist of the equivalent electronic circuit and NGSPICE which is an open-source SPICE simulator. In addition, the environment provides back and forth interfaces with SBML (System Biology Markup Language), a very common description language used in systems biology. BB-SPICE has been developed in order to bridge the gap between the simulation of biological systems on the one hand and electronics circuits on the other hand. Thus, it is suitable for applications at the interface between both domains, such as development of design tools for synthetic biology and for the virtual prototyping of biosensors and lab-on-chip. Simulation results obtained with BB-SPICE and COPASI (an open-source software used for the simulation of biochemical systems) have been compared on a benchmark of models commonly used in systems biology. Results are in accordance from a quantitative viewpoint but BB-SPICE outclasses COPASI by 1 to 3 orders of magnitude regarding the computation time. Moreover, as our software is based on NGSPICE, it could take profit of incoming updates such as the GPU implementation, of the coupling with powerful analysis and verification tools or of the integration in design automation tools (synthetic biology). PMID:28787027
A Domain Description Language for Data Processing
NASA Technical Reports Server (NTRS)
Golden, Keith
2003-01-01
We discuss an application of planning to data processing, a planning problem which poses unique challenges for domain description languages. We discuss these challenges and why the current PDDL standard does not meet them. We discuss DPADL (Data Processing Action Description Language), a language for describing planning domains that involve data processing. DPADL is a declarative, object-oriented language that supports constraints and embedded Java code, object creation and copying, explicit inputs and outputs for actions, and metadata descriptions of existing and desired data. DPADL is supported by the IMAGEbot system, which we are using to provide automation for an ecological forecasting application. We compare DPADL to PDDL and discuss changes that could be made to PDDL to make it more suitable for representing planning domains that involve data processing actions.
Descriptive Metadata: Emerging Standards.
ERIC Educational Resources Information Center
Ahronheim, Judith R.
1998-01-01
Discusses metadata, digital resources, cross-disciplinary activity, and standards. Highlights include Standard Generalized Markup Language (SGML); Extensible Markup Language (XML); Dublin Core; Resource Description Framework (RDF); Text Encoding Initiative (TEI); Encoded Archival Description (EAD); art and cultural-heritage metadata initiatives;…
ProMC: Input-output data format for HEP applications using varint encoding
NASA Astrophysics Data System (ADS)
Chekanov, S. V.; May, E.; Strand, K.; Van Gemmeren, P.
2014-10-01
A new data format for Monte Carlo (MC) events, or any structural data, including experimental data, is discussed. The format is designed to store data in a compact binary form using variable-size integer encoding as implemented in the Google's Protocol Buffers package. This approach is implemented in the PROMC library which produces smaller file sizes for MC records compared to the existing input-output libraries used in high-energy physics (HEP). Other important features of the proposed format are a separation of abstract data layouts from concrete programming implementations, self-description and random access. Data stored in PROMC files can be written, read and manipulated in a number of programming languages, such C++, JAVA, FORTRAN and PYTHON.
User interfaces for computational science: A domain specific language for OOMMF embedded in Python
NASA Astrophysics Data System (ADS)
Beg, Marijan; Pepper, Ryan A.; Fangohr, Hans
2017-05-01
Computer simulations are used widely across the engineering and science disciplines, including in the research and development of magnetic devices using computational micromagnetics. In this work, we identify and review different approaches to configuring simulation runs: (i) the re-compilation of source code, (ii) the use of configuration files, (iii) the graphical user interface, and (iv) embedding the simulation specification in an existing programming language to express the computational problem. We identify the advantages and disadvantages of different approaches and discuss their implications on effectiveness and reproducibility of computational studies and results. Following on from this, we design and describe a domain specific language for micromagnetics that is embedded in the Python language, and allows users to define the micromagnetic simulations they want to carry out in a flexible way. We have implemented this micromagnetic simulation description language together with a computational backend that executes the simulation task using the Object Oriented MicroMagnetic Framework (OOMMF). We illustrate the use of this Python interface for OOMMF by solving the micromagnetic standard problem 4. All the code is publicly available and is open source.
A rule-based approach to model checking of UML state machines
NASA Astrophysics Data System (ADS)
Grobelna, Iwona; Grobelny, Michał; Stefanowicz, Łukasz
2016-12-01
In the paper a new approach to formal verification of control process specification expressed by means of UML state machines in version 2.x is proposed. In contrast to other approaches from the literature, we use the abstract and universal rule-based logical model suitable both for model checking (using the nuXmv model checker), but also for logical synthesis in form of rapid prototyping. Hence, a prototype implementation in hardware description language VHDL can be obtained that fully reflects the primary, already formally verified specification in form of UML state machines. Presented approach allows to increase the assurance that implemented system meets the user-defined requirements.
Hardware Prototyping of Neural Network based Fetal Electrocardiogram Extraction
NASA Astrophysics Data System (ADS)
Hasan, M. A.; Reaz, M. B. I.
2012-01-01
The aim of this paper is to model the algorithm for Fetal ECG (FECG) extraction from composite abdominal ECG (AECG) using VHDL (Very High Speed Integrated Circuit Hardware Description Language) for FPGA (Field Programmable Gate Array) implementation. Artificial Neural Network that provides efficient and effective ways of separating FECG signal from composite AECG signal has been designed. The proposed method gives an accuracy of 93.7% for R-peak detection in FHR monitoring. The designed VHDL model is synthesized and fitted into Altera's Stratix II EP2S15F484C3 using the Quartus II version 8.0 Web Edition for FPGA implementation.
Applying a Genetic Algorithm to Reconfigurable Hardware
NASA Technical Reports Server (NTRS)
Wells, B. Earl; Weir, John; Trevino, Luis; Patrick, Clint; Steincamp, Jim
2004-01-01
This paper investigates the feasibility of applying genetic algorithms to solve optimization problems that are implemented entirely in reconfgurable hardware. The paper highlights the pe$ormance/design space trade-offs that must be understood to effectively implement a standard genetic algorithm within a modem Field Programmable Gate Array, FPGA, reconfgurable hardware environment and presents a case-study where this stochastic search technique is applied to standard test-case problems taken from the technical literature. In this research, the targeted FPGA-based platform and high-level design environment was the Starbridge Hypercomputing platform, which incorporates multiple Xilinx Virtex II FPGAs, and the Viva TM graphical hardware description language.
NASA Technical Reports Server (NTRS)
Ludwig, Kimberly; Mackin, Michael; Wright, Theodore
1991-01-01
The authors describe the Ada language software developed to perform the electrical power system monitoring functions for the NASA Lewis Research Center's Power Management and Distribution (PMAD) DC testbed. The results of the effort to implement this monitor are presented. The PMAD DC testbed is a reduced-scale prototype of the electric power system to be used in Space Station Freedom. The power is controlled by smart switches known as power control components (or switchgear). The power control components are currently coordinated by five Compaq 386/20e computers connected through an 802.4 local area network. The power system monitor algorithm comprises several functions, including periodic data acquisition, data smoothing, system performance analysis, and status reporting. Data are collected from the switchgear sensors every 100 ms, then passed through a 2-Hz digital filter. System performance analysis includes power interruption and overcurrent detection. The system monitor required a hardware timer interrupt to activate the data acquisition function. The execution time of the code was optimized by using an assembly language routine. The routine allows direct vectoring of the processor to Ada language procedures that perform periodic control activities.
Instrumentation Hardware Abstraction Language (IHAL) Handbook
2017-01-01
1-1 1.1 The Range Commanders Council (RCC) and IHAL ....................................................... 1-1 1.2 Problem Description ...1-5 1.3.1 IHAL as a Description Language...Figure 2-6. Generic IHAL Device Schema Diagram ............................................................. 2-7 Figure 2-7. Device Description Schema
Facilitating pragmatic skills through role-play in learners with language learning disability.
Abdoola, Fareeaa; Flack, Penelope S; Karrim, Saira B
2017-07-26
Role-based learning involves the process whereby learners acquire skills, knowledge and understanding through the assumption of roles within real-life settings. Role-play holds potential as an effective learning strategy for children; however, there is limited research on the use of role-play as a therapy method within the field of speech-language pathology. Children with language learning disability (LLD) typically present with difficulties in social communication, which can negatively affect their social and academic achievement. The aim of this study was to determine the effectiveness of role-play as a therapy approach targeting the pragmatic skills of stylistic variation and requesting for clarification in learners with LLD. The use of combined positivist and interpretivist paradigms allowed for the implementation of an embedded mixed methods design. An experimental pretest-posttest design was implemented. Eight participants, who were learners with a diagnosis of LLD, were purposefully selected. Data collection was conducted over five phases, utilising the Clinical Evaluation of Language Fundamentals (4th Ed.) Pragmatics Profile, discourse completion tasks, session plans and session records. Quantitative data were analysed using descriptive statistics and were supplemented by qualitative data from session records. Results revealed improvements in stylistic variation and requesting for clarification post role-play intervention, with minimal changes in the control group. Limitations of the study have been reported for consideration when interpreting results. Role-play as a therapy approach targeting two pragmatic skills, stylistic variation and requesting for clarification, was found to be beneficial for learners with LLD. Recommendations for the implementation of role-play as a therapy approach were made.
NASA Astrophysics Data System (ADS)
Hachaj, Tomasz; Ogiela, Marek R.
2014-09-01
Gesture Description Language (GDL) is a classifier that enables syntactic description and real time recognition of full-body gestures and movements. Gestures are described in dedicated computer language named Gesture Description Language script (GDLs). In this paper we will introduce new GDLs formalisms that enable recognition of selected classes of movement trajectories. The second novelty is new unsupervised learning method with which it is possible to automatically generate GDLs descriptions. We have initially evaluated both proposed extensions of GDL and we have obtained very promising results. Both the novel methodology and evaluation results will be described in this paper.
Experience with a Spanish-language laparoscopy website.
Moreno-Sanz, Carlos; Seoane-González, Jose B
2006-02-01
Although there are no clearly defined electronic tools for continuing medical education (CME), new information technologies offer a basic platform for presenting training content on the internet. Due to the shortage of websites about minimally invasive surgery in the Spanish language, we set up a topical website in Spanish. This study considers the experience with the website between April 2001 and January 2005. To study the activity of the website, the registry information was analyzed descriptively using the log files of the server. To study the characteristics of the users, we searched the database of registered users. We found a total of 107,941 visits to our website and a total of 624,895 page downloads. Most visits to the site were made from Spanish-speaking countries. The most frequent professional profile of the registered users was that of general surgeon. The development, implementation, and evaluation of Spanish-language CME initiatives over the internet is promising but presents challenges.
ERIC Educational Resources Information Center
Fuentes, Mariana; Tolchinsky, Liliana
2004-01-01
Linguistic descriptions of sign languages are important to the recognition of their linguistic status. These languages are an essential part of the cultural heritage of the communities that create and use them and vital in the education of deaf children. They are also the reference point in language acquisition studies. Ours is exploratory…
Variation and Linguistic Theory.
ERIC Educational Resources Information Center
Bailey, Charles-James N.
This volume presents principles and models for describing language variation, and introduces a time-based, dynamic framework for linguistic description. The book first summarizes some of the problems of grammatical description encountered from Saussure through the present and then outlines possibilities for new descriptions of language which take…
Ivanova, Maria V.; Hallowell, Brooke
2013-01-01
Background There are a limited number of aphasia language tests in the majority of the world's commonly spoken languages. Furthermore, few aphasia tests in languages other than English have been standardized and normed, and few have supportive psychometric data pertaining to reliability and validity. The lack of standardized assessment tools across many of the world's languages poses serious challenges to clinical practice and research in aphasia. Aims The current review addresses this lack of assessment tools by providing conceptual and statistical guidance for the development of aphasia assessment tools and establishment of their psychometric properties. Main Contribution A list of aphasia tests in the 20 most widely spoken languages is included. The pitfalls of translating an existing test into a new language versus creating a new test are outlined. Factors to consider in determining test content are discussed. Further, a description of test items corresponding to different language functions is provided, with special emphasis on implementing important controls in test design. Next, a broad review of principal psychometric properties relevant to aphasia tests is presented, with specific statistical guidance for establishing psychometric properties of standardized assessment tools. Conclusions This article may be used to help guide future work on developing, standardizing and validating aphasia language tests. The considerations discussed are also applicable to the development of standardized tests of other cognitive functions. PMID:23976813
Linguistic Corpora and Language Teaching.
ERIC Educational Resources Information Center
Murison-Bowie, Simon
1996-01-01
Examines issues raised by corpus linguistics concerning the description of language. The article argues that it is necessary to start from correct descriptions of linguistic units and the contexts in which they occur. Corpus linguistics has joined with language teaching by sharing a recognition of the importance of a larger, schematic view of…
NASA Technical Reports Server (NTRS)
Shiva, S. G.
1978-01-01
Several high level languages which evolved over the past few years for describing and simulating the structure and behavior of digital systems, on digital computers are assessed. The characteristics of the four prominent languages (CDL, DDL, AHPL, ISP) are summarized. A criterion for selecting a suitable hardware description language for use in an automatic integrated circuit design environment is provided.
Synthetic Biology Open Language (SBOL) Version 2.2.0.
Cox, Robert Sidney; Madsen, Curtis; McLaughlin, James Alastair; Nguyen, Tramy; Roehner, Nicholas; Bartley, Bryan; Beal, Jacob; Bissell, Michael; Choi, Kiri; Clancy, Kevin; Grünberg, Raik; Macklin, Chris; Misirli, Goksel; Oberortner, Ernst; Pocock, Matthew; Samineni, Meher; Zhang, Michael; Zhang, Zhen; Zundel, Zach; Gennari, John H; Myers, Chris; Sauro, Herbert; Wipat, Anil
2018-04-02
Synthetic biology builds upon the techniques and successes of genetics, molecular biology, and metabolic engineering by applying engineering principles to the design of biological systems. The field still faces substantial challenges, including long development times, high rates of failure, and poor reproducibility. One method to ameliorate these problems would be to improve the exchange of information about designed systems between laboratories. The synthetic biology open language (SBOL) has been developed as a standard to support the specification and exchange of biological design information in synthetic biology, filling a need not satisfied by other pre-existing standards. This document details version 2.2.0 of SBOL that builds upon version 2.1.0 published in last year's JIB special issue. In particular, SBOL 2.2.0 includes improved description and validation rules for genetic design provenance, an extension to support combinatorial genetic designs, a new class to add non-SBOL data as attachments, a new class for genetic design implementations, and a description of a methodology to describe the entire design-build-test-learn cycle within the SBOL data model.
JOVIAL J73 Automated Verification System - Study Phase
1980-08-01
capabil- ities for the tool, and the high-level design of the tool are also described. Future capabilities for the tool are identified. -N CONTENTS...Implemented Test Tools 3-22 4 FUNCTIONAL DESCRIPTION OF Ji3AVS 4-1 4.1 Summary of Capabilities 4-3 4.2 J 3.AVS Operat . 4-11 5 DESIGN OF J73AVS 5-1 6...Both JOVIAL languages are primarily designed for command and control system programming. They are es- pecially well suited to large systems requiring
NASA Technical Reports Server (NTRS)
Butler, Ricky W.; Martensen, Anna L.
1992-01-01
FTC, Fault-Tree Compiler program, is reliability-analysis software tool used to calculate probability of top event of fault tree. Five different types of gates allowed in fault tree: AND, OR, EXCLUSIVE OR, INVERT, and M OF N. High-level input language of FTC easy to understand and use. Program supports hierarchical fault-tree-definition feature simplifying process of description of tree and reduces execution time. Solution technique implemented in FORTRAN, and user interface in Pascal. Written to run on DEC VAX computer operating under VMS operating system.
ERIC Educational Resources Information Center
Ouellon, Conrad, Comp.
Presentations from a colloquium on applications of research on natural languages to computer science address the following topics: (1) analysis of complex adverbs; (2) parser use in computerized text analysis; (3) French language utilities; (4) lexicographic mapping of official language notices; (5) phonographic codification of Spanish; (6)…
DPADL: An Action Language for Data Processing Domains
NASA Technical Reports Server (NTRS)
Golden, Keith; Clancy, Daniel (Technical Monitor)
2002-01-01
This paper presents DPADL (Data Processing Action Description Language), a language for describing planning domains that involve data processing. DPADL is a declarative object-oriented language that supports constraints and embedded Java code, object creation and copying, explicit inputs and outputs for actions, and metadata descriptions of existing and desired data. DPADL is supported by the IMAGEbot system, which will provide automation for an ecosystem forecasting system called TOPS.
EDAC Test Collection Catalogue: A Description of Tests for Use in Bilingual Education Programs.
ERIC Educational Resources Information Center
Wolfsfeld, Lynn
The descriptions of 200 tests for a variety of language groups are designed for use with the test file maintained by the Evaluation, Dissemination, and Assessment Center for Bilingual Education (EDAC). The content areas covered include reading, mathematics, self-concept, language dominance, language proficiency, and intelligence. Tests are…
How the Potawatomi Language Lives: A Grammar of Potawatomi
ERIC Educational Resources Information Center
Lockwood, Hunter Thompson
2017-01-01
This dissertation is a descriptive grammar of Potawatomi, a critically endangered Algonquian language now only spoken as a first language by a handful of elders in northern Wisconsin. Throughout, the goal is to present an authoritative linguistic description of Potawatomi by drawing on direct elicitation, a corpus of new texts gathered in close…
A digital matched filter for reverse time chaos.
Bailey, J Phillip; Beal, Aubrey N; Dean, Robert N; Hamilton, Michael C
2016-07-01
The use of reverse time chaos allows the realization of hardware chaotic systems that can operate at speeds equivalent to existing state of the art while requiring significantly less complex circuitry. Matched filter decoding is possible for the reverse time system since it exhibits a closed form solution formed partially by a linear basis pulse. Coefficients have been calculated and are used to realize the matched filter digitally as a finite impulse response filter. Numerical simulations confirm that this correctly implements a matched filter that can be used for detection of the chaotic signal. In addition, the direct form of the filter has been implemented in hardware description language and demonstrates performance in agreement with numerical results.
Human face detection using motion and color information
NASA Astrophysics Data System (ADS)
Kim, Yang-Gyun; Bang, Man-Won; Park, Soon-Young; Choi, Kyoung-Ho; Hwang, Jeong-Hyun
2008-02-01
In this paper, we present a hardware implementation of a face detector for surveillance applications. To come up with a computationally cheap and fast algorithm with minimal memory requirement, motion and skin color information are fused successfully. More specifically, a newly appeared object is extracted first by comparing average Hue and Saturation values of background image and a current image. Then, the result of skin color filtering of the current image is combined with the result of a newly appeared object. Finally, labeling is performed to locate a true face region. The proposed system is implemented on Altera Cyclone2 using Quartus II 6.1 and ModelSim 6.1. For hardware description language (HDL), Verilog-HDL is used.
A digital matched filter for reverse time chaos
NASA Astrophysics Data System (ADS)
Bailey, J. Phillip; Beal, Aubrey N.; Dean, Robert N.; Hamilton, Michael C.
2016-07-01
The use of reverse time chaos allows the realization of hardware chaotic systems that can operate at speeds equivalent to existing state of the art while requiring significantly less complex circuitry. Matched filter decoding is possible for the reverse time system since it exhibits a closed form solution formed partially by a linear basis pulse. Coefficients have been calculated and are used to realize the matched filter digitally as a finite impulse response filter. Numerical simulations confirm that this correctly implements a matched filter that can be used for detection of the chaotic signal. In addition, the direct form of the filter has been implemented in hardware description language and demonstrates performance in agreement with numerical results.
Facilitating pragmatic skills through role-play in learners with language learning disability
Flack, Penelope S.
2017-01-01
Background Role-based learning involves the process whereby learners acquire skills, knowledge and understanding through the assumption of roles within real-life settings. Role-play holds potential as an effective learning strategy for children; however, there is limited research on the use of role-play as a therapy method within the field of speech-language pathology. Children with language learning disability (LLD) typically present with difficulties in social communication, which can negatively affect their social and academic achievement. Aim The aim of this study was to determine the effectiveness of role-play as a therapy approach targeting the pragmatic skills of stylistic variation and requesting for clarification in learners with LLD. Method The use of combined positivist and interpretivist paradigms allowed for the implementation of an embedded mixed methods design. An experimental pretest-posttest design was implemented. Eight participants, who were learners with a diagnosis of LLD, were purposefully selected. Data collection was conducted over five phases, utilising the Clinical Evaluation of Language Fundamentals (4th Ed.) Pragmatics Profile, discourse completion tasks, session plans and session records. Quantitative data were analysed using descriptive statistics and were supplemented by qualitative data from session records. Results Results revealed improvements in stylistic variation and requesting for clarification post role-play intervention, with minimal changes in the control group. Limitations of the study have been reported for consideration when interpreting results. Conclusion Role-play as a therapy approach targeting two pragmatic skills, stylistic variation and requesting for clarification, was found to be beneficial for learners with LLD. Recommendations for the implementation of role-play as a therapy approach were made. PMID:28828866
NASA Astrophysics Data System (ADS)
Passas, Georgios; Freear, Steven; Fawcett, Darren
2010-08-01
Orthogonal frequency division multiplexing (OFDM)-based feed-forward space-time trellis code (FFSTTC) encoders can be synthesised as very high speed integrated circuit hardware description language (VHDL) designs. Evaluation of their FPGA implementation can lead to conclusions that help a designer to decide the optimum implementation, given the encoder structural parameters. VLSI architectures based on 1-bit multipliers and look-up tables (LUTs) are compared in terms of FPGA slices and block RAMs (area), as well as in terms of minimum clock period (speed). Area and speed graphs versus encoder memory order are provided for quadrature phase shift keying (QPSK) and 8 phase shift keying (8-PSK) modulation and two transmit antennas, revealing best implementation under these conditions. The effect of number of modulation bits and transmit antennas on the encoder implementation complexity is also investigated.
ERIC Educational Resources Information Center
Ward, Shelley
2017-01-01
Language must be taught with academic vocabulary that is meaningful and that can be transferred between content and context. This comparative-descriptive research study examines how academic specific instruction increases students' learning of a second language acquisition (i.e., English). The conceptual framework of the study drew research…
Putting Practice into Words: The State of Data and Methods Transparency in Grammatical Descriptions
ERIC Educational Resources Information Center
Gawne, Lauren; Kelly, Barbara F.; Berez-Kroeker, Andrea L.; Heston, Tyler
2017-01-01
Language documentation and description are closely related practices, often performed as part of the same fieldwork project on an un(der)-studied language. Research trends in recent decades have seen a great volume of publishing in regards to the methods of language documentation, however, it is not clear that linguists' awareness of the…
ERIC Educational Resources Information Center
Bavali, Mohammad; Sadighi, Firooz
2008-01-01
Recent developments in theories of language (grammars) seem to share a number of tenets which mark a drastic shift from traditional disentangled descriptions of language: emphasis on a big number of discrete grammatical rules or a corpus of structure patterns has given way to a more unitary, explanatory powerful description of language informed by…
Research: Research in Language Arts Education: Notes on How It Works.
ERIC Educational Resources Information Center
Dilworth, Collett B., Jr.
1980-01-01
Provides an overview of different types of educational research in language arts, including the quasi-experiment, the controlled methodological experiment, the controlled descriptive experiment, the non-controlled description, and textual analysis. (RL)
ERIC Educational Resources Information Center
Voronina, Marianna V.; Tretyakova, Zlata O.
2017-01-01
The article considers the peculiarities of training foreign students subject "Descriptive geometry and Engineering Graphics" in a modern engineering university of Russia. The relevance of the problem conditioned by the fact that virtually there are no special studies of teaching Descriptive Geometry and Engineering Graphics in Russian…
On the System of Person-Denoting Signs in Estonian Sign Language: Estonian Name Signs
ERIC Educational Resources Information Center
Paales, Liina
2010-01-01
This article discusses Estonian personal name signs. According to study there are four personal name sign categories in Estonian Sign Language: (1) arbitrary name signs; (2) descriptive name signs; (3) initialized-descriptive name signs; (4) loan/borrowed name signs. Mostly there are represented descriptive and borrowed personal name signs among…
Molina, Martin; Sanchez-Soriano, Javier; Corcho, Oscar
2015-07-03
Providing descriptions of isolated sensors and sensor networks in natural language, understandable by the general public, is useful to help users find relevant sensors and analyze sensor data. In this paper, we discuss the feasibility of using geographic knowledge from public databases available on the Web (such as OpenStreetMap, Geonames, or DBpedia) to automatically construct such descriptions. We present a general method that uses such information to generate sensor descriptions in natural language. The results of the evaluation of our method in a hydrologic national sensor network showed that this approach is feasible and capable of generating adequate sensor descriptions with a lower development effort compared to other approaches. In the paper we also analyze certain problems that we found in public databases (e.g., heterogeneity, non-standard use of labels, or rigid search methods) and their impact in the generation of sensor descriptions.
Molina, Martin; Sanchez-Soriano, Javier; Corcho, Oscar
2015-01-01
Providing descriptions of isolated sensors and sensor networks in natural language, understandable by the general public, is useful to help users find relevant sensors and analyze sensor data. In this paper, we discuss the feasibility of using geographic knowledge from public databases available on the Web (such as OpenStreetMap, Geonames, or DBpedia) to automatically construct such descriptions. We present a general method that uses such information to generate sensor descriptions in natural language. The results of the evaluation of our method in a hydrologic national sensor network showed that this approach is feasible and capable of generating adequate sensor descriptions with a lower development effort compared to other approaches. In the paper we also analyze certain problems that we found in public databases (e.g., heterogeneity, non-standard use of labels, or rigid search methods) and their impact in the generation of sensor descriptions. PMID:26151211
Vella, Michael; Cannon, Robert C; Crook, Sharon; Davison, Andrew P; Ganapathy, Gautham; Robinson, Hugh P C; Silver, R Angus; Gleeson, Padraig
2014-01-01
NeuroML is an XML-based model description language, which provides a powerful common data format for defining and exchanging models of neurons and neuronal networks. In the latest version of NeuroML, the structure and behavior of ion channel, synapse, cell, and network model descriptions are based on underlying definitions provided in LEMS, a domain-independent language for expressing hierarchical mathematical models of physical entities. While declarative approaches for describing models have led to greater exchange of model elements among software tools in computational neuroscience, a frequent criticism of XML-based languages is that they are difficult to work with directly. Here we describe two Application Programming Interfaces (APIs) written in Python (http://www.python.org), which simplify the process of developing and modifying models expressed in NeuroML and LEMS. The libNeuroML API provides a Python object model with a direct mapping to all NeuroML concepts defined by the NeuroML Schema, which facilitates reading and writing the XML equivalents. In addition, it offers a memory-efficient, array-based internal representation, which is useful for handling large-scale connectomics data. The libNeuroML API also includes support for performing common operations that are required when working with NeuroML documents. Access to the LEMS data model is provided by the PyLEMS API, which provides a Python implementation of the LEMS language, including the ability to simulate most models expressed in LEMS. Together, libNeuroML and PyLEMS provide a comprehensive solution for interacting with NeuroML models in a Python environment.
Vella, Michael; Cannon, Robert C.; Crook, Sharon; Davison, Andrew P.; Ganapathy, Gautham; Robinson, Hugh P. C.; Silver, R. Angus; Gleeson, Padraig
2014-01-01
NeuroML is an XML-based model description language, which provides a powerful common data format for defining and exchanging models of neurons and neuronal networks. In the latest version of NeuroML, the structure and behavior of ion channel, synapse, cell, and network model descriptions are based on underlying definitions provided in LEMS, a domain-independent language for expressing hierarchical mathematical models of physical entities. While declarative approaches for describing models have led to greater exchange of model elements among software tools in computational neuroscience, a frequent criticism of XML-based languages is that they are difficult to work with directly. Here we describe two Application Programming Interfaces (APIs) written in Python (http://www.python.org), which simplify the process of developing and modifying models expressed in NeuroML and LEMS. The libNeuroML API provides a Python object model with a direct mapping to all NeuroML concepts defined by the NeuroML Schema, which facilitates reading and writing the XML equivalents. In addition, it offers a memory-efficient, array-based internal representation, which is useful for handling large-scale connectomics data. The libNeuroML API also includes support for performing common operations that are required when working with NeuroML documents. Access to the LEMS data model is provided by the PyLEMS API, which provides a Python implementation of the LEMS language, including the ability to simulate most models expressed in LEMS. Together, libNeuroML and PyLEMS provide a comprehensive solution for interacting with NeuroML models in a Python environment. PMID:24795618
Biocoder: A programming language for standardizing and automating biology protocols
2010-01-01
Background Published descriptions of biology protocols are often ambiguous and incomplete, making them difficult to replicate in other laboratories. However, there is increasing benefit to formalizing the descriptions of protocols, as laboratory automation systems (such as microfluidic chips) are becoming increasingly capable of executing them. Our goal in this paper is to improve both the reproducibility and automation of biology experiments by using a programming language to express the precise series of steps taken. Results We have developed BioCoder, a C++ library that enables biologists to express the exact steps needed to execute a protocol. In addition to being suitable for automation, BioCoder converts the code into a readable, English-language description for use by biologists. We have implemented over 65 protocols in BioCoder; the most complex of these was successfully executed by a biologist in the laboratory using BioCoder as the only reference. We argue that BioCoder exposes and resolves ambiguities in existing protocols, and could provide the software foundations for future automation platforms. BioCoder is freely available for download at http://research.microsoft.com/en-us/um/india/projects/biocoder/. Conclusions BioCoder represents the first practical programming system for standardizing and automating biology protocols. Our vision is to change the way that experimental methods are communicated: rather than publishing a written account of the protocols used, researchers will simply publish the code. Our experience suggests that this practice is tractable and offers many benefits. We invite other researchers to leverage BioCoder to improve the precision and completeness of their protocols, and also to adapt and extend BioCoder to new domains. PMID:21059251
2016-12-01
C. METHODOLOGY ....................................................................................4 D. LITERATURE REVIEW... Descriptions ................................................10 Table 3. Interagency Language Roundtable Language Skill Level Table 4. Descriptions ...and cultural acquisition. METHODOLOGY D. In this project the author analyzed official documents associated with Military Information Support
DOE Office of Scientific and Technical Information (OSTI.GOV)
Shilling, J.
1984-02-01
FRED, the friendly editor, is a screen-based structured editor. This manual is intended to serve the needs of a wide range of users of the FRED text editor. Most users will find it sufficient to read the introductory material in section 2, supplemented with the full command set description in section 3. Advanced users may wish to change the keystroke sequences which invoke editor commands. Section 4 describes how to change key bindings and how to define command macros. Some users may need to modify a language description or create an entirely new language description for use with FRED. Sectionmore » 5 describes the format of the language descriptions used by the editor, and describes how to construct a language grammar. Section 6 describes known portability problems of the FRED editor and should concern only system installation personnel. The editor points out syntax errors in the file being edited and does automatic pretty printing.« less
Graph Mining Meets the Semantic Web
DOE Office of Scientific and Technical Information (OSTI.GOV)
Lee, Sangkeun; Sukumar, Sreenivas R; Lim, Seung-Hwan
The Resource Description Framework (RDF) and SPARQL Protocol and RDF Query Language (SPARQL) were introduced about a decade ago to enable flexible schema-free data interchange on the Semantic Web. Today, data scientists use the framework as a scalable graph representation for integrating, querying, exploring and analyzing data sets hosted at different sources. With increasing adoption, the need for graph mining capabilities for the Semantic Web has emerged. We address that need through implementation of three popular iterative Graph Mining algorithms (Triangle count, Connected component analysis, and PageRank). We implement these algorithms as SPARQL queries, wrapped within Python scripts. We evaluatemore » the performance of our implementation on 6 real world data sets and show graph mining algorithms (that have a linear-algebra formulation) can indeed be unleashed on data represented as RDF graphs using the SPARQL query interface.« less
ERIC Educational Resources Information Center
Caballero, Gabriela
2017-01-01
Choguita Rarámuri (Tarahumara) is a Uto-Aztecan language spoken in Northern Mexico of great typological, theoretical, and historical significance. This paper presents an overview and background of the Choguita Rarámuri language description and documentation project and provides a guide to the documentary collection emerging from this project. This…
ERIC Educational Resources Information Center
Plastina, Anna Franca
2016-01-01
The need to teach medical students plain language for their future engagement in pain communication can no longer be underestimated. Pain education has traditionally neglected the teaching of pain language, yet patients' descriptive accounts have been acknowledged as the standard in medical care. English for Medical Purposes (EMP) can make its…
A Proposed Pattern of Enterprise Architecture
2013-02-01
consistent architecture descriptions. UPDM comprises extensions to both OMG’s Unified Modelling Language (UML) and Systems Modelling Language ( SysML ...those who use UML and SysML . These represent significant advancements that enable architecture trade-off analyses, architecture model execution...Language ( SysML ), and thus provides for architectural descriptions that contain a rich set of (formally) connected DoDAF/MoDAF viewpoints expressed
BioPCD - A Language for GUI Development Requiring a Minimal Skill Set.
Alvare, Graham Gm; Roche-Lima, Abiel; Fristensky, Brian
2012-11-01
BioPCD is a new language whose purpose is to simplify the creation of Graphical User Interfaces (GUIs) by biologists with minimal programming skills. The first step in developing BioPCD was to create a minimal superset of the language referred to as PCD (Pythonesque Command Description). PCD defines the core of terminals and high-level nonterminals required to describe data of almost any type. BioPCD adds to PCD the constructs necessary to describe GUI components and the syntax for executing system commands. BioPCD is implemented using JavaCC to convert the grammar into code. BioPCD is designed to be terse and readable and simple enough to be learned by copying and modifying existing BioPCD files. We demonstrate that BioPCD can easily be used to generate GUIs for existing command line programs. Although BioPCD was designed to make it easier to run bioinformatics programs, it could be used in any domain in which many useful command line programs exist that do not have GUI interfaces.
Floating-Point Units and Algorithms for field-programmable gate arrays
DOE Office of Scientific and Technical Information (OSTI.GOV)
Underwood, Keith D.; Hemmert, K. Scott
2005-11-01
The software that we are attempting to copyright is a package of floating-point unit descriptions and example algorithm implementations using those units for use in FPGAs. The floating point units are best-in-class implementations of add, multiply, divide, and square root floating-point operations. The algorithm implementations are sample (not highly flexible) implementations of FFT, matrix multiply, matrix vector multiply, and dot product. Together, one could think of the collection as an implementation of parts of the BLAS library or something similar to the FFTW packages (without the flexibility) for FPGAs. Results from this work has been published multiple times and wemore » are working on a publication to discuss the techniques we use to implement the floating-point units, For some more background, FPGAS are programmable hardware. "Programs" for this hardware are typically created using a hardware description language (examples include Verilog, VHDL, and JHDL). Our floating-point unit descriptions are written in JHDL, which allows them to include placement constraints that make them highly optimized relative to some other implementations of floating-point units. Many vendors (Nallatech from the UK, SRC Computers in the US) have similar implementations, but our implementations seem to be somewhat higher performance. Our algorithm implementations are written in VHDL and models of the floating-point units are provided in VHDL as well. FPGA "programs" make multiple "calls" (hardware instantiations) to libraries of intellectual property (IP), such as the floating-point unit library described here. These programs are then compiled using a tool called a synthesizer (such as a tool from Synplicity, Inc.). The compiled file is a netlist of gates and flip-flops. This netlist is then mapped to a particular type of FPGA by a mapper and then a place- and-route tool. These tools assign the gates in the netlist to specific locations on the specific type of FPGA chip used and constructs the required routes between them. The result is a "bitstream" that is analogous to a compiled binary. The bitstream is loaded into the FPGA to create a specific hardware configuration.« less
TokenPasser: A petri net specification tool. Thesis
NASA Technical Reports Server (NTRS)
Mittmann, Michael
1991-01-01
In computer program design it is essential to know the effectiveness of different design options in improving performance, and dependability. This paper provides a description of a CAD tool for distributed hierarchical Petri nets. After a brief review of Petri nets, Petri net languages, and Petri net transducers, and descriptions of several current Petri net tools, the specifications and design of the TokenPasser tool are presented. TokenPasser is a tool to allow design of distributed hierarchical systems based on Petri nets. A case study for an intelligent robotic system is conducted, a coordination structure with one dispatcher controlling three coordinators is built to model a proposed robotic assembly system. The system is implemented using TokenPasser, and the results are analyzed to allow judgment of the tool.
Optimized FPGA Implementation of the Thyroid Hormone Secretion Mechanism Using CAD Tools.
Alghazo, Jaafar M
2017-02-01
The goal of this paper is to implement the secretion mechanism of the Thyroid Hormone (TH) based on bio-mathematical differential eqs. (DE) on an FPGA chip. Hardware Descriptive Language (HDL) is used to develop a behavioral model of the mechanism derived from the DE. The Thyroid Hormone secretion mechanism is simulated with the interaction of the related stimulating and inhibiting hormones. Synthesis of the simulation is done with the aid of CAD tools and downloaded on a Field Programmable Gate Arrays (FPGAs) Chip. The chip output shows identical behavior to that of the designed algorithm through simulation. It is concluded that the chip mimics the Thyroid Hormone secretion mechanism. The chip, operating in real-time, is computer-independent stand-alone system.
A digital matched filter for reverse time chaos
DOE Office of Scientific and Technical Information (OSTI.GOV)
Bailey, J. Phillip, E-mail: mchamilton@auburn.edu; Beal, Aubrey N.; Dean, Robert N.
2016-07-15
The use of reverse time chaos allows the realization of hardware chaotic systems that can operate at speeds equivalent to existing state of the art while requiring significantly less complex circuitry. Matched filter decoding is possible for the reverse time system since it exhibits a closed form solution formed partially by a linear basis pulse. Coefficients have been calculated and are used to realize the matched filter digitally as a finite impulse response filter. Numerical simulations confirm that this correctly implements a matched filter that can be used for detection of the chaotic signal. In addition, the direct form ofmore » the filter has been implemented in hardware description language and demonstrates performance in agreement with numerical results.« less
Beam Instrument Development System
DOE Office of Scientific and Technical Information (OSTI.GOV)
DOOLITTLE, LAWRENCE; HUANG, GANG; DU, QIANG
Beam Instrumentation Development System (BIDS) is a collection of common support libraries and modules developed during a series of Low-Level Radio Frequency (LLRF) control and timing/synchronization projects. BIDS includes a collection of Hardware Description Language (HDL) libraries and software libraries. The BIDS can be used for the development of any FPGA-based system, such as LLRF controllers. HDL code in this library is generic and supports common Digital Signal Processing (DSP) functions, FPGA-specific drivers (high-speed serial link wrappers, clock generation, etc.), ADC/DAC drivers, Ethernet MAC implementation, etc.
A procedural method for the efficient implementation of full-custom VLSI designs
NASA Technical Reports Server (NTRS)
Belk, P.; Hickey, N.
1987-01-01
An imbedded language system for the layout of very large scale integration (VLSI) circuits is examined. It is shown that through the judicious use of this system, a large variety of circuits can be designed with circuit density and performance comparable to traditional full-custom design methods, but with design costs more comparable to semi-custom design methods. The high performance of this methodology is attributable to the flexibility of procedural descriptions of VLSI layouts and to a number of automatic and semi-automatic tools within the system.
NASA Astrophysics Data System (ADS)
Bogdanov, Alexander; Khramushin, Vasily
2016-02-01
The architecture of a digital computing system determines the technical foundation of a unified mathematical language for exact arithmetic-logical description of phenomena and laws of continuum mechanics for applications in fluid mechanics and theoretical physics. The deep parallelization of the computing processes results in functional programming at a new technological level, providing traceability of the computing processes with automatic application of multiscale hybrid circuits and adaptive mathematical models for the true reproduction of the fundamental laws of physics and continuum mechanics.
Application specific serial arithmetic arrays
NASA Technical Reports Server (NTRS)
Winters, K.; Mathews, D.; Thompson, T.
1990-01-01
High performance systolic arrays of serial-parallel multiplier elements may be rapidly constructed for specific applications by applying hardware description language techniques to a library of full-custom CMOS building blocks. Single clock pre-charged circuits have been implemented for these arrays at clock rates in excess of 100 Mhz using economical 2-micron (minimum feature size) CMOS processes, which may be quickly configured for a variety of applications. A number of application-specific arrays are presented, including a 2-D convolver for image processing, an integer polynomial solver, and a finite-field polynomial solver.
Test-Case Generation using an Explicit State Model Checker Final Report
NASA Technical Reports Server (NTRS)
Heimdahl, Mats P. E.; Gao, Jimin
2003-01-01
In the project 'Test-Case Generation using an Explicit State Model Checker' we have extended an existing tools infrastructure for formal modeling to export Java code so that we can use the NASA Ames tool Java Pathfinder (JPF) for test case generation. We have completed a translator from our source language RSML(exp -e) to Java and conducted initial studies of how JPF can be used as a testing tool. In this final report, we provide a detailed description of the translation approach as implemented in our tools.
Modeling Of Object- And Scene-Prototypes With Hierarchically Structured Classes
NASA Astrophysics Data System (ADS)
Ren, Z.; Jensch, P.; Ameling, W.
1989-03-01
The success of knowledge-based image analysis methodology and implementation tools depends largely on an appropriately and efficiently built model wherein the domain-specific context information about and the inherent structure of the observed image scene have been encoded. For identifying an object in an application environment a computer vision system needs to know firstly the description of the object to be found in an image or in an image sequence, secondly the corresponding relationships between object descriptions within the image sequence. This paper presents models of image objects scenes by means of hierarchically structured classes. Using the topovisual formalism of graph and higraph, we are currently studying principally the relational aspect and data abstraction of the modeling in order to visualize the structural nature resident in image objects and scenes, and to formalize. their descriptions. The goal is to expose the structure of image scene and the correspondence of image objects in the low level image interpretation. process. The object-based system design approach has been applied to build the model base. We utilize the object-oriented programming language C + + for designing, testing and implementing the abstracted entity classes and the operation structures which have been modeled topovisually. The reference images used for modeling prototypes of objects and scenes are from industrial environments as'well as medical applications.
VHDL Descriptions for the FPGA Implementation of PWL-Function-Based Multi-Scroll Chaotic Oscillators
2016-01-01
Nowadays, chaos generators are an attractive field for research and the challenge is their realization for the development of engineering applications. From more than three decades ago, chaotic oscillators have been designed using discrete electronic devices, very few with integrated circuit technology, and in this work we propose the use of field-programmable gate arrays (FPGAs) for fast prototyping. FPGA-based applications require that one be expert on programming with very-high-speed integrated circuits hardware description language (VHDL). In this manner, we detail the VHDL descriptions of chaos generators for fast prototyping from high-level programming using Python. The cases of study are three kinds of chaos generators based on piecewise-linear (PWL) functions that can be systematically augmented to generate even and odd number of scrolls. We introduce new algorithms for the VHDL description of PWL functions like saturated functions series, negative slopes and sawtooth. The generated VHDL-code is portable, reusable and open source to be synthesized in an FPGA. Finally, we show experimental results for observing 2, 10 and 30-scroll attractors. PMID:27997930
Tlelo-Cuautle, Esteban; Quintas-Valles, Antonio de Jesus; de la Fraga, Luis Gerardo; Rangel-Magdaleno, Jose de Jesus
2016-01-01
Nowadays, chaos generators are an attractive field for research and the challenge is their realization for the development of engineering applications. From more than three decades ago, chaotic oscillators have been designed using discrete electronic devices, very few with integrated circuit technology, and in this work we propose the use of field-programmable gate arrays (FPGAs) for fast prototyping. FPGA-based applications require that one be expert on programming with very-high-speed integrated circuits hardware description language (VHDL). In this manner, we detail the VHDL descriptions of chaos generators for fast prototyping from high-level programming using Python. The cases of study are three kinds of chaos generators based on piecewise-linear (PWL) functions that can be systematically augmented to generate even and odd number of scrolls. We introduce new algorithms for the VHDL description of PWL functions like saturated functions series, negative slopes and sawtooth. The generated VHDL-code is portable, reusable and open source to be synthesized in an FPGA. Finally, we show experimental results for observing 2, 10 and 30-scroll attractors.
Using XML and Java for Astronomical Instrumentation Control
NASA Technical Reports Server (NTRS)
Ames, Troy; Koons, Lisa; Sall, Ken; Warsaw, Craig
2000-01-01
Traditionally, instrument command and control systems have been highly specialized, consisting mostly of custom code that is difficult to develop, maintain, and extend. Such solutions are initially very costly and are inflexible to subsequent engineering change requests, increasing software maintenance costs. Instrument description is too tightly coupled with details of implementation. NASA Goddard Space Flight Center is developing a general and highly extensible framework that applies to any kind of instrument that can be controlled by a computer. The software architecture combines the platform independent processing capabilities of Java with the power of the Extensible Markup Language (XML), a human readable and machine understandable way to describe structured data. A key aspect of the object-oriented architecture is software that is driven by an instrument description, written using the Instrument Markup Language (IML). ]ML is used to describe graphical user interfaces to control and monitor the instrument, command sets and command formats, data streams, and communication mechanisms. Although the current effort is targeted for the High-resolution Airborne Wideband Camera, a first-light instrument of the Stratospheric Observatory for Infrared Astronomy, the framework is designed to be generic and extensible so that it can be applied to any instrument.
Parent-Implemented Natural Language Paradigm to Increase Language and Play in Children with Autism
ERIC Educational Resources Information Center
Gillett, Jill N.; LeBlanc, Linda A.
2007-01-01
Three parents of children with autism were taught to implement the Natural Language Paradigm (NLP). Data were collected on parent implementation, multiple measures of child language, and play. The parents were able to learn to implement the NLP procedures quickly and accurately with beneficial results for their children. Increases in the overall…
MPEG4: coding for content, interactivity, and universal accessibility
NASA Astrophysics Data System (ADS)
Reader, Cliff
1996-01-01
MPEG4 is a natural extension of audiovisual coding, and yet from many perspectives breaks new ground as a standard. New coding techniques are being introduced, of course, but they will work on new data structures. The standard itself has a new architecture, and will use a new operational model when implemented on equipment that is likely to have innovative system architecture. The author introduces the background developments in technology and applications that are driving or enabling the standard, introduces the focus of MPEG4, and enumerates the new functionalities to be supported. Key applications in interactive TV and heterogeneous environments are discussed. The architecture of MPEG4 is described, followed by a discussion of the multiphase MPEG4 communication scenarios, and issues of practical implementation of MPEG4 terminals. The paper concludes with a description of the MPEG4 workplan. In summary, MPEG4 has two fundamental attributes. First, it is the coding of audiovisual objects, which may be natural or synthetic data in two or three dimensions. Second, the heart of MPEG4 is its syntax: the MPEG4 Syntactic Descriptive Language -- MSDL.
Running MONET and SALT with Remote Telescope Markup Language 3.0
NASA Astrophysics Data System (ADS)
Hessman, F. V.; Romero, E.
2003-05-01
Complex robotic and service observations in heterogenous networks of telescopes require a common telescopic lingua franca for the description and transport of observing requests and results. Building upon the experience gained within the Hands-On Universe (HOU) and advanced amateur communities with Remote Telescope Markup Language (RTML) Version 2.1 (http://sunra.lbl.gov/rtml), we have implemented a revised RTML syntax (Version 3.0) which is fully capable of - running the two 1.2m MONET robotic telescopes for a very inhomogeneous clientel from 3 research institutions and high school classes all over the world; - connecting MONET to the HOU telescope network; - connecting MONET as a trigger to the 11m SALT telescope; - providing all the objects needed to perform and document internet-based user support, ranging all the way from proposal submission and time-allocation to observation reports.
Historical perspective on computer development and glossary of terms.
Honeyman, J C; Dwyer, S J
1993-01-01
This article contains a concise history of the development of mechanical and electronic computers, descriptions of the milestones in software development, discussion of the introduction and adoption of computers in radiology, and a glossary of computer terms used frequently in radiology. One of the earliest devices designed to mechanize calculations was the calculating clock, built in 1623. The first programmable electronic computer, the ENIAC (electronic numerical integration and computer), was completed in 1945 at the University of Pennsylvania. Software has developed from early machine language through fourth-generation languages and graphic user interfaces used today. The computer was introduced to radiology initially in the 1960s in nuclear medicine and is now incorporated in many digital imaging modalities throughout radiology. The development of picture archiving and communication systems has resulted in the implementation of several totally digital departments of radiology.
NASA Technical Reports Server (NTRS)
Khovanskiy, Y. D.; Kremneva, N. I.
1975-01-01
Problems and methods are discussed of automating information retrieval operations in a data bank used for long term storage and retrieval of data from scientific experiments. Existing information retrieval languages are analyzed along with those being developed. The results of studies discussing the application of the descriptive 'Kristall' language used in the 'ASIOR' automated information retrieval system are presented. The development and use of a specialized language of the classification-descriptive type, using universal decimal classification indices as the main descriptors, is described.
A software toolbox for robotics
NASA Technical Reports Server (NTRS)
Sanwal, J. C.
1985-01-01
A method for programming cooperating manipulators, which is guided by a geometric description of the task to be performed, is given. For this a suitable language must be used and a method for describing the workplace and the objects in it in geometric terms. A task level command language and its implementation for concurrently driven multiple robot arm is described. The language is suitable for driving a cell in which manipulators, end effectors, and sensors are controlled by their own dedicated processors. These processors can communicate with each other through a communication network. A mechanism for keeping track of the history of the commands already executed allows the command language for the manipulators to be event driven. A frame based world modeling system is utilized to describe the objects in the work environment and any relationships that hold between these objects. This system provides a versatile tool for managing information about the world model. Default actions normally needed are invoked when the data base is updated or accessed. Most of the first level error recovery is also invoked by the database by utilizing the concepts of demons. The package can be utilized to generate task level commands in a problem solver or a planner.
[Formian 2 and a Formian Function for Processing Polyhedric Configurations
NASA Technical Reports Server (NTRS)
Nooshin, H.; Disney, P. L.; Champion, O. C.
1996-01-01
The work began in October 1994 with the following objectives: (1) to produce an improved version of the programming language Formian; and (2) to create a means for computer aided handling of polyhedric configurations including the geodesic forms of all kinds. A new version of Formian, referred to as Formian 2, is being implemented to operate in the Windows 95 environment. It is an ideal tool for configuration management in a convenient and user-friendly manner. The second objective was achieved by creating a standard Formian function that allows convenient handling of all types of polyhedric configurations. In particular, the focus of attention is on polyhedric configurations that are of importance in architectural and structural engineering fields. The natural medium for processing of polyhedric configurations is a programming language that incorporates the concepts of 'formex algebra'. Formian is such a programming language in which the processing of polyhedric configurations can be carried out using the standard elements of the language. A description of this function is included in a chapter for a book entitled 'Beyond the Cube: the Architecture of space Frames and Polyhedra'. A copy of this chapter is appended.
Natural Language Description of Emotion
ERIC Educational Resources Information Center
Kazemzadeh, Abe
2013-01-01
This dissertation studies how people describe emotions with language and how computers can simulate this descriptive behavior. Although many non-human animals can express their current emotions as social signals, only humans can communicate about emotions symbolically. This symbolic communication of emotion allows us to talk about emotions that we…
South Korea: Language Policy and Planning in the Making
ERIC Educational Resources Information Center
Song, Jae Jung
2012-01-01
This monograph discusses South Korea's language situation in a language policy and planning context. This monograph consists of four parts. Part 1 presents a genetic, typological and sociolinguistic description of South Korea's national language, and an overview of minority languages, including English as well as other languages, recently…
FLAX: Flexible and Open Corpus-Based Language Collections Development
ERIC Educational Resources Information Center
Fitzgerald, Alannah; Wu, Shaoqun; Marín, María José
2015-01-01
In this case study we present innovative work in building open corpus-based language collections by focusing on a description of the opensource multilingual Flexible Language Acquisition (FLAX) language project, which is an ongoing example of open materials development practices for language teaching and learning. We present language-learning…
Systems Biology Graphical Notation: Process Description language Level 1 Version 1.3.
Moodie, Stuart; Le Novère, Nicolas; Demir, Emek; Mi, Huaiyu; Villéger, Alice
2015-09-04
The Systems Biological Graphical Notation (SBGN) is an international community effort for standardized graphical representations of biological pathways and networks. The goal of SBGN is to provide unambiguous pathway and network maps for readers with different scientific backgrounds as well as to support efficient and accurate exchange of biological knowledge between different research communities, industry, and other players in systems biology. Three SBGN languages, Process Description (PD), Entity Relationship (ER) and Activity Flow (AF), allow for the representation of different aspects of biological and biochemical systems at different levels of detail. The SBGN Process Description language represents biological entities and processes between these entities within a network. SBGN PD focuses on the mechanistic description and temporal dependencies of biological interactions and transformations. The nodes (elements) are split into entity nodes describing, e.g., metabolites, proteins, genes and complexes, and process nodes describing, e.g., reactions and associations. The edges (connections) provide descriptions of relationships (or influences) between the nodes, such as consumption, production, stimulation and inhibition. Among all three languages of SBGN, PD is the closest to metabolic and regulatory pathways in biological literature and textbooks, but its well-defined semantics offer a superior precision in expressing biological knowledge.
A preliminary comparison of Cantonese and American-English as taste languages.
O'Mahony, M; Tsang, T
1980-05-01
Groups of monolingual American-English speaking Americans of Chinese descent were compared with Cantonese/American-English bilingual Chinese living in America to examine their taste descriptions for a set of aqueous solutions. Cantonese, unlike other languages, did not appear to differ greatly from American-English in its general taste descriptive strategy and depth of vocabulary, although Cantonese speakers had a tendency to use 'glutamic' as a descriptive term for monosodium glutamate.
Classification and Counter-Classification of Language on Saint Barthelemy.
ERIC Educational Resources Information Center
Pressman, Jon F.
1998-01-01
Analyzes the use of metapragmatic description in the ethnoclassification of language by native speakers on the Franco-Antillean island of Saint Barthelemy. A prevalent technique for metapragmatic description based on honorific pronouns that reflects the varied geolinguistic and generational attributes of the speakers is described. (Author/MSE)
Two Types of Definites in Natural Language
ERIC Educational Resources Information Center
Schwarz, Florian
2009-01-01
This thesis is concerned with the description and analysis of two semantically different types of definite articles in German. While the existence of distinct article paradigms in various Germanic dialects and other languages has been acknowledged in the descriptive literature for quite some time, the theoretical implications of their existence…
An Introduction to the Resource Description Framework.
ERIC Educational Resources Information Center
Miller, Eric
1998-01-01
Explains the Resource Description Framework (RDF), an infrastructure developed under the World Wide Web Consortium that enables the encoding, exchange, and reuse of structured metadata. It is an application of Extended Markup Language (XML), which is a subset of Standard Generalized Markup Language (SGML), and helps with expressing semantics.…
Hardware acceleration and verification of systems designed with hardware description languages (HDL)
NASA Astrophysics Data System (ADS)
Wisniewski, Remigiusz; Wegrzyn, Marek
2005-02-01
Hardware description languages (HDLs) allow creating bigger and bigger designs nowadays. The size of prototyped systems very often exceeds million gates. Therefore verification process of the designs takes several hours or even days. The solution for this problem can be solved by hardware acceleration of simulation.
Towards a Bernsteinian Language of Description for Mathematics Classroom Discourse
ERIC Educational Resources Information Center
Straehler-Pohl, Hauke; Gellert, Uwe
2013-01-01
This article aims at developing an external language of description to investigate the problem of why particular groups of students are systematically not provided access to school mathematical knowledge. Based on Basil Bernstein's conceptualisation of power in classification, we develop a three-dimensional model that operationalises the…
Composing Models of Geographic Physical Processes
NASA Astrophysics Data System (ADS)
Hofer, Barbara; Frank, Andrew U.
Processes are central for geographic information science; yet geographic information systems (GIS) lack capabilities to represent process related information. A prerequisite to including processes in GIS software is a general method to describe geographic processes independently of application disciplines. This paper presents such a method, namely a process description language. The vocabulary of the process description language is derived formally from mathematical models. Physical processes in geography can be described in two equivalent languages: partial differential equations or partial difference equations, where the latter can be shown graphically and used as a method for application specialists to enter their process models. The vocabulary of the process description language comprises components for describing the general behavior of prototypical geographic physical processes. These process components can be composed by basic models of geographic physical processes, which is shown by means of an example.
English-Language Writing Instruction in Poland
ERIC Educational Resources Information Center
Reichelt, Melinda
2005-01-01
Second language writing scholars have undertaken descriptions of English-language writing instruction in a variety of international settings, describing the role of various contextual factors in shaping English-language writing instruction. This article describes English-language writing instruction at various levels in Poland, noting how it is…
User’s guide for MapMark4GUI—A graphical user interface for the MapMark4 R package
Shapiro, Jason
2018-05-29
MapMark4GUI is an R graphical user interface (GUI) developed by the U.S. Geological Survey to support user implementation of the MapMark4 R statistical software package. MapMark4 was developed by the U.S. Geological Survey to implement probability calculations for simulating undiscovered mineral resources in quantitative mineral resource assessments. The GUI provides an easy-to-use tool to input data, run simulations, and format output results for the MapMark4 package. The GUI is written and accessed in the R statistical programming language. This user’s guide includes instructions on installing and running MapMark4GUI and descriptions of the statistical output processes, output files, and test data files.
NASA Astrophysics Data System (ADS)
Rais, Muhammad H.
2010-06-01
This paper presents Field Programmable Gate Array (FPGA) implementation of standard and truncated multipliers using Very High Speed Integrated Circuit Hardware Description Language (VHDL). Truncated multiplier is a good candidate for digital signal processing (DSP) applications such as finite impulse response (FIR) and discrete cosine transform (DCT). Remarkable reduction in FPGA resources, delay, and power can be achieved using truncated multipliers instead of standard parallel multipliers when the full precision of the standard multiplier is not required. The truncated multipliers show significant improvement as compared to standard multipliers. Results show that the anomaly in Spartan-3 AN average connection and maximum pin delay have been efficiently reduced in Virtex-4 device.
The carbohydrate sequence markup language (CabosML): an XML description of carbohydrate structures.
Kikuchi, Norihiro; Kameyama, Akihiko; Nakaya, Shuuichi; Ito, Hiromi; Sato, Takashi; Shikanai, Toshihide; Takahashi, Yoriko; Narimatsu, Hisashi
2005-04-15
Bioinformatics resources for glycomics are very poor as compared with those for genomics and proteomics. The complexity of carbohydrate sequences makes it difficult to define a common language to represent them, and the development of bioinformatics tools for glycomics has not progressed. In this study, we developed a carbohydrate sequence markup language (CabosML), an XML description of carbohydrate structures. The language definition (XML Schema) and an experimental database of carbohydrate structures using an XML database management system are available at http://www.phoenix.hydra.mki.co.jp/CabosDemo.html kikuchi@hydra.mki.co.jp.
Selb, Melissa; Gimigliano, Francesca; Prodinger, Birgit; Stucki, Gerold; Pestelli, Germano; Iocco, Maurizio; Boldrini, Paolo
2017-04-01
As part of international efforts to develop and implement national models including the specification of ICF-based clinical data collection tools, the Italian rehabilitation community initiated a project to develop simple, intuitive descriptions of the ICF Rehabilitation Set, highlighting the core concept of each category in user-friendly language. This paper outlines the Italian experience in developing simple, intuitive descriptions of the ICF Rehabilitation Set as an ICF-based clinical data collection tool for Italy. Consensus process. Expert conference. Multidisciplinary group of rehabilitation professionals. The first of a two-stage consensus process involved developing an initial proposal for simple, intuitive descriptions of each ICF Rehabilitation Set category based on descriptions generated in a similar process in China. Stage two involved a consensus conference. Divided into three working groups, participants discussed and voted (vote A) whether the initially proposed descriptions of each ICF Rehabilitation Set category was simple and intuitive enough for use in daily practice. Afterwards the categories with descriptions considered ambiguous i.e. not simple and intuitive enough, were divided among the working groups, who were asked to propose a new description for the allocated categories. These proposals were then voted (vote B) on in a plenary session. The last step of the consensus conference required each working group to develop a new proposal for each and the same categories with descriptions still considered ambiguous. Participants then voted (final vote) for which of the three proposed descriptions they preferred. Nineteen clinicians from diverse rehabilitation disciplines from various regions of Italy participated in the consensus process. Three ICF categories already achieved consensus in vote A, while 20 ICF categories were accepted in vote B. The remaining 7 categories were decided in the final vote. The findings were discussed in light of current efforts toward developing strategies for ICF implementation, specifically for the application of an ICF-based clinical data collection tool, not only for Italy but also for the rest of Europe. Promising as minimal standards for monitoring the impact of interventions and for standardized reporting of functioning as a relevant outcome in rehabilitation.
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,…
Effectiveness of a Parent-Implemented Language and Literacy Intervention in the Home Language
ERIC Educational Resources Information Center
Ijalba, Elizabeth
2015-01-01
Few studies explore parent-implemented literacy interventions in the home language for young children with problems in language acquisition. A shift in children's use of the home language to English has been documented when English is the only language of instruction. When parents are not proficient in English, such language shift can limit…
Obtaining correct compile results by absorbing mismatches between data types representations
Horie, Michihiro; Horii, Hiroshi H.; Kawachiya, Kiyokuni; Takeuchi, Mikio
2017-03-21
Methods and a system are provided. A method includes implementing a function, which a compiler for a first language does not have, using a compiler for a second language. The implementing step includes generating, by the compiler for the first language, a first abstract syntax tree. The implementing step further includes converting, by a converter, the first abstract syntax tree to a second abstract syntax tree of the compiler for the second language using a conversion table from data representation types in the first language to data representation types in the second language. When a compilation error occurs, the implementing step also includes generating a special node for error processing in the second abstract syntax tree and storing an error token in the special node. When unparsing, the implementing step additionally includes outputting the error token, in the form of source code written in the first language.
Obtaining correct compile results by absorbing mismatches between data types representations
Horie, Michihiro; Horii, Hiroshi H.; Kawachiya, Kiyokuni; Takeuchi, Mikio
2017-11-21
Methods and a system are provided. A method includes implementing a function, which a compiler for a first language does not have, using a compiler for a second language. The implementing step includes generating, by the compiler for the first language, a first abstract syntax tree. The implementing step further includes converting, by a converter, the first abstract syntax tree to a second abstract syntax tree of the compiler for the second language using a conversion table from data representation types in the first language to data representation types in the second language. When a compilation error occurs, the implementing step also includes generating a special node for error processing in the second abstract syntax tree and storing an error token in the special node. When unparsing, the implementing step additionally includes outputting the error token, in the form of source code written in the first language.
A program code generator for multiphysics biological simulation using markup languages.
Amano, Akira; Kawabata, Masanari; Yamashita, Yoshiharu; Rusty Punzalan, Florencio; Shimayoshi, Takao; Kuwabara, Hiroaki; Kunieda, Yoshitoshi
2012-01-01
To cope with the complexity of the biological function simulation models, model representation with description language is becoming popular. However, simulation software itself becomes complex in these environment, thus, it is difficult to modify the simulation conditions, target computation resources or calculation methods. In the complex biological function simulation software, there are 1) model equations, 2) boundary conditions and 3) calculation schemes. Use of description model file is useful for first point and partly second point, however, third point is difficult to handle for various calculation schemes which is required for simulation models constructed from two or more elementary models. We introduce a simulation software generation system which use description language based description of coupling calculation scheme together with cell model description file. By using this software, we can easily generate biological simulation code with variety of coupling calculation schemes. To show the efficiency of our system, example of coupling calculation scheme with three elementary models are shown.
Creating Body Shapes From Verbal Descriptions by Linking Similarity Spaces.
Hill, Matthew Q; Streuber, Stephan; Hahn, Carina A; Black, Michael J; O'Toole, Alice J
2016-11-01
Brief verbal descriptions of people's bodies (e.g., "curvy," "long-legged") can elicit vivid mental images. The ease with which these mental images are created belies the complexity of three-dimensional body shapes. We explored the relationship between body shapes and body descriptions and showed that a small number of words can be used to generate categorically accurate representations of three-dimensional bodies. The dimensions of body-shape variation that emerged in a language-based similarity space were related to major dimensions of variation computed directly from three-dimensional laser scans of 2,094 bodies. This relationship allowed us to generate three-dimensional models of people in the shape space using only their coordinates on analogous dimensions in the language-based description space. Human descriptions of photographed bodies and their corresponding models matched closely. The natural mapping between the spaces illustrates the role of language as a concise code for body shape that captures perceptually salient global and local body features. © The Author(s) 2016.
MXA: a customizable HDF5-based data format for multi-dimensional data sets
NASA Astrophysics Data System (ADS)
Jackson, M.; Simmons, J. P.; De Graef, M.
2010-09-01
A new digital file format is proposed for the long-term archival storage of experimental data sets generated by serial sectioning instruments. The format is known as the multi-dimensional eXtensible Archive (MXA) format and is based on the public domain Hierarchical Data Format (HDF5). The MXA data model, its description by means of an eXtensible Markup Language (XML) file with associated Document Type Definition (DTD) are described in detail. The public domain MXA package is available through a dedicated web site (mxa.web.cmu.edu), along with implementation details and example data files.
NASA Technical Reports Server (NTRS)
Roche, Rigoberto; Shalkhauser, Mary Jo Windmille
2017-01-01
The Integrated Power, Avionics and Software (IPAS) software defined radio (SDR) was implemented on the Reconfigurable, Intelligently-Adaptive Communication System (RAICS) platform, for radio development at NASA Johnson Space Center. Software and hardware description language (HDL) code were delivered by NASA Glenn Research Center for use in the IPAS test bed and for development of their own Space Telecommunications Radio System (STRS) waveforms on the RAICS platform. The purpose of this document is to describe how to setup and operate the IPAS STRS Radio platform with its delivered test waveform.
Rapid Assessment of Agility for Conceptual Design Synthesis
NASA Technical Reports Server (NTRS)
Biezad, Daniel J.
1996-01-01
This project consists of designing and implementing a real-time graphical interface for a workstation-based flight simulator. It is capable of creating a three-dimensional out-the-window scene of the aircraft's flying environment, with extensive information about the aircraft's state displayed in the form of a heads-up-display (HUD) overlay. The code, written in the C programming language, makes calls to Silicon Graphics' Graphics Library (GL) to draw the graphics primitives. Included in this report is a detailed description of the capabilities of the code, including graphical examples, as well as a printout of the code itself
Computerization of guidelines: towards a "guideline markup language".
Dart, T; Xu, Y; Chatellier, G; Degoulet, P
2001-01-01
Medical decision making is one of the most difficult daily tasks for physicians. Guidelines have been designed to reduce variance between physicians in daily practice, to improve patient outcomes and to control costs. In fact, few physicians use guidelines in daily practice. A way to ease the use of guidelines is to implement computerised guidelines (computer reminders). We present in this paper a method of computerising guidelines. Our objectives were: 1) to propose a generic model that can be instantiated for any specific guidelines; 2) to use eXtensible Markup Language (XML) as a guideline representation language to instantiate the generic model for a specific guideline. Our model is an object representation of a clinical algorithm, it has been validated by running two different guidelines issued by a French official Agency. In spite of some limitations, we found that this model is expressive enough to represent complex guidelines devoted to diabetes and hypertension management. We conclude that XML can be used as a description format to structure guidelines and as an interface between paper-based guidelines and computer applications.
Plan Execution Interchange Language (PLEXIL)
NASA Technical Reports Server (NTRS)
Estlin, Tara; Jonsson, Ari; Pasareanu, Corina; Simmons, Reid; Tso, Kam; Verma, Vandi
2006-01-01
Plan execution is a cornerstone of spacecraft operations, irrespective of whether the plans to be executed are generated on board the spacecraft or on the ground. Plan execution frameworks vary greatly, due to both different capabilities of the execution systems, and relations to associated decision-making frameworks. The latter dependency has made the reuse of execution and planning frameworks more difficult, and has all but precluded information sharing between different execution and decision-making systems. As a step in the direction of addressing some of these issues, a general plan execution language, called the Plan Execution Interchange Language (PLEXIL), is being developed. PLEXIL is capable of expressing concepts used by many high-level automated planners and hence provides an interface to multiple planners. PLEXIL includes a domain description that specifies command types, expansions, constraints, etc., as well as feedback to the higher-level decision-making capabilities. This document describes the grammar and semantics of PLEXIL. It includes a graphical depiction of this grammar and illustrative rover scenarios. It also outlines ongoing work on implementing a universal execution system, based on PLEXIL, using state-of-the-art rover functional interfaces and planners as test cases.
BioPCD - A Language for GUI Development Requiring a Minimal Skill Set
Alvare, Graham GM; Roche-Lima, Abiel; Fristensky, Brian
2016-01-01
BioPCD is a new language whose purpose is to simplify the creation of Graphical User Interfaces (GUIs) by biologists with minimal programming skills. The first step in developing BioPCD was to create a minimal superset of the language referred to as PCD (Pythonesque Command Description). PCD defines the core of terminals and high-level nonterminals required to describe data of almost any type. BioPCD adds to PCD the constructs necessary to describe GUI components and the syntax for executing system commands. BioPCD is implemented using JavaCC to convert the grammar into code. BioPCD is designed to be terse and readable and simple enough to be learned by copying and modifying existing BioPCD files. We demonstrate that BioPCD can easily be used to generate GUIs for existing command line programs. Although BioPCD was designed to make it easier to run bioinformatics programs, it could be used in any domain in which many useful command line programs exist that do not have GUI interfaces. PMID:27818582
Microprocessor Design Using Hardware Description Language
ERIC Educational Resources Information Center
Mita, Rosario; Palumbo, Gaetano
2008-01-01
The following paper has been conceived to deal with the contents of some lectures aimed at enhancing courses on digital electronic, microelectronic or VLSI systems. Those lectures show how to use a hardware description language (HDL), such as the VHDL, to specify, design and verify a custom microprocessor. The general goal of this work is to teach…
ERIC Educational Resources Information Center
Chang, May
2000-01-01
Describes the development of electronic finding aids for archives at the University of Illinois, Urbana-Champaign that used XML (extensible markup language) and EAD (encoded archival description) to enable more flexible information management and retrieval than using MARC or a relational database management system. EAD template is appended.…
Object Language and the Language Subject: On the Mediating Role of Applied Linguistics.
ERIC Educational Resources Information Center
Widdowson, Henry G.
2000-01-01
Examines the extent to which linguistic descriptions can adequately account for their reality for learners and provide a reference point for the design of language courses. Special concern is focused on second language learners as a particular kind of language user. (Author/VWL)
Understanding How Babies Build Language Skills
ERIC Educational Resources Information Center
Honig, Alice Sterling
2006-01-01
Language is a great communication system. Through language, humans can express logical reasoning, grief, happiness, wishes, descriptions, and a rich array of feelings and ideas. Every baby deserves the gift of language power! In this article, the author discusses how babies build language skills and presents activities to help babies build…
Research accomplished at the Knowledge Based Systems Lab: IDEF3, version 1.0
NASA Technical Reports Server (NTRS)
Mayer, Richard J.; Menzel, Christopher P.; Mayer, Paula S. D.
1991-01-01
An overview is presented of the foundations and content of the evolving IDEF3 process flow and object state description capture method. This method is currently in beta test. Ongoing efforts in the formulation of formal semantics models for descriptions captured in the outlined form and in the actual application of this method can be expected to cause an evolution in the method language. A language is described for the representation of process and object state centered system description. IDEF3 is a scenario driven process flow modeling methodology created specifically for these types of descriptive activities.
ERIC Educational Resources Information Center
Kurt, Mustafa
2015-01-01
The present study investigated whether English language teachers were aware of the innovative language learning methodologies in language learning, how they made use of these methodologies and the learners' reactions to them. The descriptive survey method was employed to disclose the frequencies and percentages of 175 English language teachers'…
Language Contact Means Language Conflict.
ERIC Educational Resources Information Center
Nelde, Peter H.
1987-01-01
Describes the characteristics of language conflict and examines the areas of emphasis in the literature, including multilingualism and linguistic identity, glottophagia and minority/majority relations, the danger of reliance on language censuses, conflict resolution/avoidance, and the importance of ecolinguistics in conflict description and for…
Formal semantic specifications as implementation blueprints for real-time programming languages
NASA Technical Reports Server (NTRS)
Feyock, S.
1981-01-01
Formal definitions of language and system semantics provide highly desirable checks on the correctness of implementations of programming languages and their runtime support systems. If these definitions can give concrete guidance to the implementor, major increases in implementation accuracy and decreases in implementation effort can be achieved. It is shown that of the wide variety of available methods the Hgraph (hypergraph) definitional technique (Pratt, 1975), is best suited to serve as such an implementation blueprint. A discussion and example of the Hgraph technique is presented, as well as an overview of the growing body of implementation experience of real-time languages based on Hgraph semantic definitions.
Hillebrand, Uta; von Jan, Ute
2018-01-01
Background In addition to mandatory CE marking (“CE” representing Conformité Européenne, with the CE marking being a symbol of free marketability in the European Economic Area) for medical devices, there are various seals, initiatives, action groups, etc, in the health app context. However, whether manufacturers use them to distinguish their apps and attach relevance to them is unclear. Objective The objective was to take a snapshot of quality seals, regulatory marks, and other orientation aids available on the German app market and to determine whether manufacturers deem such labels relevant enough to apply them to their apps, namely as reflected by mentions in app description texts in a typical app store (ie, Apple’s App Store). Methods A full survey of the metadata of 103,046 apps from Apple’s German App Store in the Medicine and Health & Fitness categories was carried out. For apps with German-language store descriptions (N=8767), these were automatically searched for the occurrence of relevant keywords and validated manually (N=41). In addition, the websites of various app seal providers were checked for assigned seals. Results Few manufacturers referenced seals in the descriptions (5/41), although this would have been expected more often based on the seals we were able to identify from the seal providers’ Web pages, and there were 34 of 41 that mentioned CE status in the descriptions. Two apps referenced an app directory curated by experts; however, this is not an alternative to CE marks and seals of approval. Conclusions Currently, quality seals seem to be irrelevant for manufacturers. In line with regulatory requirements, mentions of medical device status are more frequent; however, neither characteristic is effective for identifying high-quality apps. To improve this situation, a possibly legally obligatory, standardized reporting system should be implemented. PMID:29695374
Albrecht, Urs-Vito; Hillebrand, Uta; von Jan, Ute
2018-04-25
In addition to mandatory CE marking ("CE" representing Conformité Européenne, with the CE marking being a symbol of free marketability in the European Economic Area) for medical devices, there are various seals, initiatives, action groups, etc, in the health app context. However, whether manufacturers use them to distinguish their apps and attach relevance to them is unclear. The objective was to take a snapshot of quality seals, regulatory marks, and other orientation aids available on the German app market and to determine whether manufacturers deem such labels relevant enough to apply them to their apps, namely as reflected by mentions in app description texts in a typical app store (ie, Apple's App Store). A full survey of the metadata of 103,046 apps from Apple's German App Store in the Medicine and Health & Fitness categories was carried out. For apps with German-language store descriptions (N=8767), these were automatically searched for the occurrence of relevant keywords and validated manually (N=41). In addition, the websites of various app seal providers were checked for assigned seals. Few manufacturers referenced seals in the descriptions (5/41), although this would have been expected more often based on the seals we were able to identify from the seal providers' Web pages, and there were 34 of 41 that mentioned CE status in the descriptions. Two apps referenced an app directory curated by experts; however, this is not an alternative to CE marks and seals of approval. Currently, quality seals seem to be irrelevant for manufacturers. In line with regulatory requirements, mentions of medical device status are more frequent; however, neither characteristic is effective for identifying high-quality apps. To improve this situation, a possibly legally obligatory, standardized reporting system should be implemented. ©Urs-Vito Albrecht, Uta Hillebrand, Ute von Jan. Originally published in JMIR Mhealth and Uhealth (http://mhealth.jmir.org), 25.04.2018.
ERIC Educational Resources Information Center
Carroll, Patricia E.; Bailey, Alison L.
2016-01-01
English language proficiency assessments (ELPA) are used in the United States to measure annually the English language progress and proficiency of English-language learners (ELLs), a subgroup of language minority students who receive language acquisition support mandated and largely funded by Title III (NCLB, 2001). ELPA proficient and…
ERIC Educational Resources Information Center
Weismer, Susan Ellis; Kaushanskaya, Margarita
2010-01-01
In her Keynote Article, Paradis reviews evidence from bilingual language development to assess the claims of two opposing theoretical views of language disorders. Specifically, she examines the evidence for similarities in language profiles of typically developing (TD) sequential bilingual (second language [L2]) children and monolingual children…
Sources, Developments and Directions of Task-Based Language Teaching
ERIC Educational Resources Information Center
Bygate, Martin
2016-01-01
This paper provides an outline of the origins, the current shape and the potential directions of task-based language teaching (TBLT) as an approach to language pedagogy. It first offers a brief description of TBLT and considers its origins within language teaching methodology and second language acquisition. It then summarises the current position…
77 FR 17467 - Combined Notice of Filings #2
Federal Register 2010, 2011, 2012, 2013, 2014
2012-03-26
... Interconnection, L.L.C. Description: Admin. Filing to Re-instate Missing Language in PJM Tariff Attach Q (V-0.1.0.... Filing to Re-instate Missing Language in PJM Tariff Attach Q (V-2.1.0) to be effective 1/1/2011. Filed...-1284-002. Applicants: PJM Interconnection, L.L.C. Description: Admin. Filing to Re-instate Missing...
Description and Simulation of a Fast Packet Switch Architecture for Communication Satellites
NASA Technical Reports Server (NTRS)
Quintana, Jorge A.; Lizanich, Paul J.
1995-01-01
The NASA Lewis Research Center has been developing the architecture for a multichannel communications signal processing satellite (MCSPS) as part of a flexible, low-cost meshed-VSAT (very small aperture terminal) network. The MCSPS architecture is based on a multifrequency, time-division-multiple-access (MF-TDMA) uplink and a time-division multiplex (TDM) downlink. There are eight uplink MF-TDMA beams, and eight downlink TDM beams, with eight downlink dwells per beam. The information-switching processor, which decodes, stores, and transmits each packet of user data to the appropriate downlink dwell onboard the satellite, has been fully described by using VHSIC (Very High Speed Integrated-Circuit) Hardware Description Language (VHDL). This VHDL code, which was developed in-house to simulate the information switching processor, showed that the architecture is both feasible and viable. This paper describes a shared-memory-per-beam architecture, its VHDL implementation, and the simulation efforts.
Development and application of CATIA-GDML geometry builder
NASA Astrophysics Data System (ADS)
Belogurov, S.; Berchun, Yu; Chernogorov, A.; Malzacher, P.; Ovcharenko, E.; Schetinin, V.
2014-06-01
Due to conceptual difference between geometry descriptions in Computer-Aided Design (CAD) systems and particle transport Monte Carlo (MC) codes direct conversion of detector geometry in either direction is not feasible. The paper presents an update on functionality and application practice of the CATIA-GDML geometry builder first introduced at CHEP2010. This set of CATIAv5 tools has been developed for building a MC optimized GEANT4/ROOT compatible geometry based on the existing CAD model. The model can be exported via Geometry Description Markup Language (GDML). The builder allows also import and visualization of GEANT4/ROOT geometries in CATIA. The structure of a GDML file, including replicated volumes, volume assemblies and variables, is mapped into a part specification tree. A dedicated file template, a wide range of primitives, tools for measurement and implicit calculation of parameters, different types of multiple volume instantiation, mirroring, positioning and quality check have been implemented. Several use cases are discussed.
Best Practices for Implementing Inquiry-Based Science Instruction for English Language Learners
NASA Astrophysics Data System (ADS)
Williams, Erica
This applied dissertation was designed to provide better access to current information to link literacy and science. Students frequently used literacy skills to gather information and communicate understanding of scientific concepts to others. Science became applicable through the tools associated with literacy. There was a need for instruction that integrated language development with science content. This research focused on revealing the instructional trends of English language learners science teachers in the United Arab Emirates. The researcher introduced the questionnaire surveys in the form of a professional development session. The participants were asked to complete the questionnaire concurrently with the descriptive presentation of each component of the sheltered instruction observation protocol (SIOP) model. Completing the SIOP Checklist Survey provided data on the type of constructivist strategies (best practices) teachers were utilizing and to what degree of fidelity the strategies were being implemented. Teachers were encouraged to continue to use these services for curriculum enrichment and as an additional source for future lesson plans. An analysis of the data revealed authentic learning as the most common best practice used with the most fidelity by teachers. The demographic subgroup, teaching location, was the only subgroup to show statistical evidence of an association between teaching location and the use of problem-based learning techniques in the classroom. Among factors that influenced the degree of teacher fidelity, teachers' expectation for student achievement had a moderate degree of association between the use of scaffolding techniques and co-operative learning.
A study of systems implementation languages for the POCCNET system
NASA Technical Reports Server (NTRS)
Basili, V. R.; Franklin, J. W.
1976-01-01
The results are presented of a study of systems implementation languages for the Payload Operations Control Center Network (POCCNET). Criteria are developed for evaluating the languages, and fifteen existing languages are evaluated on the basis of these criteria.
NASA Technical Reports Server (NTRS)
Saponaro, J. A.; Kosmala, A. L.
1973-01-01
The implementation of the HAL/S language on the IBM-360, and in particular the mechanization of its real time, I/O, and error control statements within the OS-360 environment is described. The objectives are twofold: (1) An analysis and general description of HAL/S real time, I/O, and error control statements and the structure required to mechanize these statements. The emphasis is on describing the logical functions performed upon execution of each HAL statement rather than defining whether it is accomplished by the compiler or operating system. (2) An identification of the OS-360 facilities required during execution of HAL/S code as implemented for the current HAL/S-360 compiler; and an evaluation of the aspects involved with interfacing HAL/S with the SUMC operating system utilizing either the HAL/S-360 compiler or by designing a new HAL/S-SUMC compiler.
Teaching EFL outside the United States.
ERIC Educational Resources Information Center
Teachers of English to Speakers of Other Languages.
The guide contains profiles of the linguistic situation and English language teaching conditions, in both public and private sectors, in 48 foreign countries. Descriptions include such information as official language(s), qualifications and requirements for teaching English as a Second Language (ESL), typical class sizes and hours, accessibility…
Issues and solutions for storage, retrieval, and searching of MPEG-7 documents
NASA Astrophysics Data System (ADS)
Chang, Yuan-Chi; Lo, Ming-Ling; Smith, John R.
2000-10-01
The ongoing MPEG-7 standardization activity aims at creating a standard for describing multimedia content in order to facilitate the interpretation of the associated information content. Attempting to address a broad range of applications, MPEG-7 has defined a flexible framework consisting of Descriptors, Description Schemes, and Description Definition Language. Descriptors and Description Schemes describe features, structure and semantics of multimedia objects. They are written in the Description Definition Language (DDL). In the most recent revision, DDL applies XML (Extensible Markup Language) Schema with MPEG-7 extensions. DDL has constructs that support inclusion, inheritance, reference, enumeration, choice, sequence, and abstract type of Description Schemes and Descriptors. In order to enable multimedia systems to use MPEG-7, a number of important problems in storing, retrieving and searching MPEG-7 documents need to be solved. This paper reports on initial finding on issues and solutions of storing and accessing MPEG-7 documents. In particular, we discuss the benefits of using a virtual document management framework based on XML Access Server (XAS) in order to bridge the MPEG-7 multimedia applications and database systems. The need arises partly because MPEG-7 descriptions need customized storage schema, indexing and search engines. We also discuss issues arising in managing dependence and cross-description scheme search.
Miller, Hilary E; Simmering, Vanessa R
2018-08-01
Children's spatial language reliably predicts their spatial skills, but the nature of this relation is a source of debate. This investigation examined whether the mechanisms accounting for such relations are specific to language use or reflect a domain-general mechanism of selective attention. Experiment 1 examined whether 4-year-olds' spatial skills were predicted by their selective attention or their adaptive language use. Children completed (a) an attention task assessing attention to task-relevant color, size, and location cues; (b) a description task assessing adaptive language use to describe scenes varying in color, size, and location; and (c) three spatial tasks. There was correspondence between the cue types that children attended to and produced across description and attention tasks. Adaptive language use was predicted by both children's attention and task-related language production, suggesting that selective attention underlies skills in using language adaptively. After controlling for age, gender, receptive vocabulary, and adaptive language use, spatial skills were predicted by children's selective attention. The attention score predicted variance in spatial performance previously accounted for by adaptive language use. Experiment 2 followed up on the attention task (Experiment 2a) and description task (Experiment 2b) from Experiment 1 to assess whether performance in the tasks related to selective attention or task-specific demands. Performance in Experiments 2a and 2b paralleled that in Experiment 1, suggesting that the effects in Experiment 1 reflected children's selective attention skills. These findings show that selective attention is a central factor supporting spatial skill development that could account for many effects previously attributed to children's language use. Copyright © 2018 Elsevier Inc. All rights reserved.
NASA Astrophysics Data System (ADS)
Ćwikła, G.; Gwiazda, A.; Banaś, W.; Monica, Z.; Foit, K.
2017-08-01
The article presents the study of possible application of selected methods of complex description, that can be used as a support of the Manufacturing Information Acquisition System (MIAS) methodology, describing how to design a data acquisition system, allowing for collecting and processing real-time data on the functioning of a production system, necessary for management of a company. MIAS can allow conversion into Cyber-Physical Production System. MIAS is gathering and pre-processing data on the state of production system, including e.g. realisation of production orders, state of machines, materials and human resources. Systematised approach and model-based development is proposed for improving the quality of the design of MIAS methodology-based complex systems supporting data acquisition in various types of companies. Graphical specification can be the baseline for any model-based development in specified areas. The possibility of application of SysML and BPMN, both being UML-based languages, representing different approaches to modelling of requirements, architecture and implementation of the data acquisition system, as a tools supporting description of required features of MIAS, were considered.
Space Physics Data Facility Web Services
NASA Technical Reports Server (NTRS)
Candey, Robert M.; Harris, Bernard T.; Chimiak, Reine A.
2005-01-01
The Space Physics Data Facility (SPDF) Web services provides a distributed programming interface to a portion of the SPDF software. (A general description of Web services is available at http://www.w3.org/ and in many current software-engineering texts and articles focused on distributed programming.) The SPDF Web services distributed programming interface enables additional collaboration and integration of the SPDF software system with other software systems, in furtherance of the SPDF mission to lead collaborative efforts in the collection and utilization of space physics data and mathematical models. This programming interface conforms to all applicable Web services specifications of the World Wide Web Consortium. The interface is specified by a Web Services Description Language (WSDL) file. The SPDF Web services software consists of the following components: 1) A server program for implementation of the Web services; and 2) A software developer s kit that consists of a WSDL file, a less formal description of the interface, a Java class library (which further eases development of Java-based client software), and Java source code for an example client program that illustrates the use of the interface.
Foreign Language Training in the United States Peace Corps.
ERIC Educational Resources Information Center
Kulakow, Allan
This document reports on the foreign language training offered in the Peace Corps. Following a brief introductory statement, a list of languages taught by the Peace Corps in the years 1961-67 is provided, as well as a brief description of Peace Corps language training methods. Guidelines for language coordinators are outlined, and the approach to…
ERIC Educational Resources Information Center
Heng, Chan Swee
2012-01-01
Any attempt to define English language proficiency can never be divorced from the theories that describe the nature of language, language acquisition and human cognition. By virtue of such theories being socially constructed, the descriptions are necessarily value-laden. Thus, a definition of language proficiency can only, at best, be described as…
A Grammar of Sierra Popoluca (Soteapanec, a Mixe-Zoquean Language)
ERIC Educational Resources Information Center
de Jong Boudreault, Lynda J.
2009-01-01
This dissertation is a comprehensive description of the grammar of Sierra Popoluca (SP, aka Soteapanec), a Mixe-Zoquean language spoken by approximately 28,000 people in Veracruz, Mexico. This grammar begins with an introduction to the language, its language family, a typological overview of the language, a brief history of my fieldwork, and the…
ERIC Educational Resources Information Center
Litman, Cindy; Marple, Stacy; Greenleaf, Cynthia; Charney-Sirott, Irisa; Bolz, Michael J.; Richardson, Lisa K.; Hall, Allison H.; George, MariAnne; Goldman, Susan R.
2017-01-01
This study presents a descriptive analysis of 71 videotaped lessons taught by 34 highly regarded secondary English language arts, history, and science teachers, collected to inform an intervention focused on evidence-based argumentation from multiple text sources. Studying the practices of highly regarded teachers is valuable for identifying…
ERIC Educational Resources Information Center
Sookrajh, Reshma; Joshua, Jenny
2009-01-01
In July 1997, the Language-in-Education Policy (LiEP) was introduced in South Africa. While the intention of this policy was to promote all 11 official languages and give individuals the right to choose the language of learning and teaching, the practical implementation has generally been fraught with challenges. However, language policy…
Development of a test and flight engineering oriented language. Phase 3: Presentation
NASA Technical Reports Server (NTRS)
Kamsler, W. F.; Case, C. W.; Kinney, E. L.; Gyure, J.
1970-01-01
The format material used in an oral presentation of the phase 3 study effort is given. The material includes a description of the language ALOFT and a terminology comparison with other test languages.
Obtaining correct compile results by absorbing mismatches between data types representations
DOE Office of Scientific and Technical Information (OSTI.GOV)
Horie, Michihiro; Horii, Hiroshi H.; Kawachiya, Kiyokuni
Methods and a system are provided. A method includes implementing a function, which a compiler for a first language does not have, using a compiler for a second language. The implementing step includes generating, by the compiler for the first language, a first abstract syntax tree. The implementing step further includes converting, by a converter, the first abstract syntax tree to a second abstract syntax tree of the compiler for the second language using a conversion table from data representation types in the first language to data representation types in the second language. When a compilation error occurs, the implementingmore » step also includes generating a special node for error processing in the second abstract syntax tree and storing an error token in the special node. When unparsing, the implementing step additionally includes outputting the error token, in the form of source code written in the first language.« less
NASA Technical Reports Server (NTRS)
Orlov, I. G.
1979-01-01
The BASIC algorithmic language is described, and a guide is presented for the programmer using the language interpreter. The high-level algorithm BASIC is a problem-oriented programming language intended for solution of computational and engineering problems.
SDL: A Surface Description Language
NASA Technical Reports Server (NTRS)
Maple, Raymond C.
1992-01-01
A new interpreted language specifically designed for surface grid generation is introduced. Many unique aspects of the language are discussed, including the farray, vector, curve, and surface data types and the operators used to manipulate them. Custom subroutine libraries written in the language are used to easily build surface grids for generic missile shapes.
The Sociolinguistic Model in Speech and Language Pathology.
ERIC Educational Resources Information Center
Wolfram, Walt
A discussion of the role of sociolinguistics in the treatment of communication disorders focuses on issues related to dialect and language variation. It begins with an examination of linguistic diversity and dynamic description of language, reporting on a study of speech and language pathologists' judgments of sentences in African American…
ERIC Educational Resources Information Center
Petersen, Douglas B.; Gillam, Ronald B.
2013-01-01
Sixty-three bilingual Latino children who were at risk for language impairment were administered reading-related measures in English and Spanish (letter identification, phonological awareness, rapid automatized naming, and sentence repetition) and descriptive measures including English language proficiency (ELP), language ability (LA),…
Carlson, Laura; Skubic, Marjorie; Miller, Jared; Huo, Zhiyu; Alexenko, Tatiana
2014-07-01
This contribution presents a corpus of spatial descriptions and describes the development of a human-driven spatial language robot system for their comprehension. The domain of application is an eldercare setting in which an assistive robot is asked to "fetch" an object for an elderly resident based on a natural language spatial description given by the resident. In Part One, we describe a corpus of naturally occurring descriptions elicited from a group of older adults within a virtual 3D home that simulates the eldercare setting. We contrast descriptions elicited when participants offered descriptions to a human versus robot avatar, and under instructions to tell the addressee how to find the target versus where the target is. We summarize the key features of the spatial descriptions, including their dynamic versus static nature and the perspective adopted by the speaker. In Part Two, we discuss critical cognitive and perceptual processing capabilities necessary for the robot to establish a common ground with the human user and perform the "fetch" task. Based on the collected corpus, we focus here on resolving the perspective ambiguity and recognizing furniture items used as landmarks in the descriptions. Taken together, the work presented here offers the key building blocks of a robust system that takes as input natural spatial language descriptions and produces commands that drive the robot to successfully fetch objects within our eldercare scenario. Copyright © 2014 Cognitive Science Society, Inc.
Highly Proficient Bilinguals Implement Inhibition: Evidence from N-2 Language Repetition Costs
ERIC Educational Resources Information Center
Declerck, Mathieu; Thoma, Aniella M.; Koch, Iring; Philipp, Andrea M.
2015-01-01
Several, but not all, models of language control assume that highly proficient bilinguals implement little to no inhibition during bilingual language production. In the current study, we tested this assumption with a less equivocal marker of inhibition (i.e., n-2 language repetition costs) than previous language switching studies have. N-2…
ERIC Educational Resources Information Center
Dashtestani, Reza
2013-01-01
The implementation of computer-assisted language learning (CALL) has provided tremendous opportunities for language teachers to promote their computer literacy and adopt a learner-centered approach to teaching. Accordingly, with the rising advent of language learning technologies, language teachers would occupy a fundamental role in preparing and…
An Effective Model for Improving Global Health Nursing Competence.
Kang, Sun-Joo
2016-01-01
This paper proposed an effective model for improving global health nursing competence among undergraduate students. A descriptive case study was conducted by evaluation of four implemented programs by the author. All programs were conducted with students majoring in nursing and healthcare, where the researcher was a program director, professor, or facilitator. These programs were analyzed in terms of students' needs assessment, program design, and implementation and evaluation factors. The concept and composition of global nursing competence, identified within previous studies, were deemed appropriate in all of our programs. Program composition varied from curricular to extracurricular domains. During the implementation phase, some of the programs included non-Korean students to improve cultural diversity and overcome language barriers. Qualitative and quantitative surveys were conducted to assess program efficacy. Data triangulation from students' reflective journals was examined. Additionally, students' awareness regarding changes within global health nursing, improved critical thinking, cultural understanding, and global leadership skills were investigated pre- and post-program implementation. The importance of identifying students' needs regarding global nursing competence when developing appropriate curricula is discussed.
An amodal shared resource model of language-mediated visual attention
Smith, Alastair C.; Monaghan, Padraic; Huettig, Falk
2013-01-01
Language-mediated visual attention describes the interaction of two fundamental components of the human cognitive system, language and vision. Within this paper we present an amodal shared resource model of language-mediated visual attention that offers a description of the information and processes involved in this complex multimodal behavior and a potential explanation for how this ability is acquired. We demonstrate that the model is not only sufficient to account for the experimental effects of Visual World Paradigm studies but also that these effects are emergent properties of the architecture of the model itself, rather than requiring separate information processing channels or modular processing systems. The model provides an explicit description of the connection between the modality-specific input from language and vision and the distribution of eye gaze in language-mediated visual attention. The paper concludes by discussing future applications for the model, specifically its potential for investigating the factors driving observed individual differences in language-mediated eye gaze. PMID:23966967
LANGUAGES OF THE WORLD--INDO-PACIFIC FASCICLE FIVE.
ERIC Educational Resources Information Center
VOEGELIN, C. F.; AND OTHERS
THIS REPORT CONTAINS A HISTORY OF RESEARCH CONCERNED WITH THE AUSTRALIAN LANGUAGES, AND DESCRIPTIONS OF THE 228 LANGUAGES IN THE AUSTRALIAN MACRO-PHYLUM. (THE REPORT IS PART OF A SERIES, ED 010 350 TO ED 010 367.) (JK)
Development of a prototype commonality analysis tool for use in space programs
NASA Technical Reports Server (NTRS)
Yeager, Dorian P.
1988-01-01
A software tool to aid in performing commonality analyses, called Commonality Analysis Problem Solver (CAPS), was designed, and a prototype version (CAPS 1.0) was implemented and tested. The CAPS 1.0 runs in an MS-DOS or IBM PC-DOS environment. The CAPS is designed around a simple input language which provides a natural syntax for the description of feasibility constraints. It provides its users with the ability to load a database representing a set of design items, describe the feasibility constraints on items in that database, and do a comprehensive cost analysis to find the most economical substitution pattern.
INFORM: An interactive data collection and display program with debugging capability
NASA Technical Reports Server (NTRS)
Cwynar, D. S.
1980-01-01
A computer program was developed to aid ASSEMBLY language programmers of mini and micro computers in solving the man machine communications problems that exist when scaled integers are involved. In addition to producing displays of quasi-steady state values, INFORM provides an interactive mode for debugging programs, making program patches, and modifying the displays. Auxiliary routines SAMPLE and DATAO add dynamic data acquisition and high speed dynamic display capability to the program. Programming information and flow charts to aid in implementing INFORM on various machines together with descriptions of all supportive software are provided. Program modifications to satisfy the individual user's needs are considered.
ERIC Educational Resources Information Center
Dollerup, Cay
This is a descriptive outline of the language situation in the Danish education system. The introductory material discusses the reason for foreign language study. A major reason is that Denmark is a small country with a difficult native language for speakers of other languages to learn. Therefore, the Danish population is exposed to foreign…
ERIC Educational Resources Information Center
Saito, Kazuya
2017-01-01
This study examines the relationship between different types of language learning aptitude (measured via the LLAMA test) and adult second language (L2) learners' attainment in speech production in English-as-a-foreign-language (EFL) classrooms. Picture descriptions elicited from 50 Japanese EFL learners from varied proficiency levels were analyzed…
Thick Descriptions: A Language for Articulating Ethnographic Media Technology.
ERIC Educational Resources Information Center
Goldman-Segall, Ricki
"Thick descriptions" are descriptions that are layered enough to draw conclusions and uncover the intentions of a given act, event, or process. In a video environment, thick descriptions are images, gestures, or sequences that convey meaning. Neither the quantity nor the resolution of the images makes the descriptions thick. Thickness is…
ERIC Educational Resources Information Center
Hossain, Tania; Pratt, Cornelius B.
2008-01-01
Background: An important issue in the discourse on language rights is the degree to which they influence the development and implementation of language policies or perpetuate inequalities in many language situations. Skutnabb-Kangas (1996, 2002a, 2002b) and May (2000), for example, have argued that language rights offer a reasonable framework for…
ERIC Educational Resources Information Center
Van Viegen Stille, Saskia; Jang, Eunice; Wagner, Maryam
2015-01-01
The Ontario Ministry of Education recently implemented the Steps to English Proficiency (STEP) language assessment framework to build educator capacity for addressing the needs of English language learners (ELLs) in K-12 schools. The STEP framework is a set of descriptors-based language proficiency scales that specify observable linguistic…
ERIC Educational Resources Information Center
POPPE, NICHOLAS
THIS MANUAL PRESENTS A COMPREHENSIVE GRAMMAR OF TATAR, ONE OF THE TURKIC LANGUAGES BELONGING TO THE NORTH-WESTERN (KIPCHAK) BRANCH. IT IS SPOKEN BY NEARLY FIVE MILLION PEOPLE IN THE AUTONOMOUS TATAR SOVIET REPUBLIC OF THE USSR. A BRIEF DESCRIPTION OF THE LANGUAGE AND ITS MAIN DIALECTS IS GIVEN IN THE INTRODUCTION, WHICH ALSO INCLUDES A SELECTED…
Foreign Languages: A Guide to Curriculum Development [Revision].
ERIC Educational Resources Information Center
Connecticut State Board of Education, Hartford.
The guide is designed to help school district planners develop and implement suitable foreign language curricula. Focusing on programs in grades K-12, it provides an overview of current philosophies, objectives, methods, and materials in foreign language education; illustrates how these may be implemented in a sequential foreign language program…
Assilaméhou, Yvette; Lepastourel, Nadia; Testé, Benoit
2013-01-01
The present research investigated whether the impact of the Linguistic Intergroup Bias (LIB; Maass, 1999) is related to the effects of linguistic abstraction on social attribution (Yzerbyt & Rogier, 2001). We did this by assessing the impact of abstract descriptions versus concrete descriptions on the generalization of a group member's behaviors to the whole group. A target's behaviors were more attributed to the group when the description was abstract than when it was concrete, and this effect of language abstraction was stronger when the description was positive than when it was negative. Our results provide an insight into how the LIB is involved in the perpetuation of intergroup bias.
Berber Dialects. Materials Status Report.
ERIC Educational Resources Information Center
Center for Applied Linguistics, Washington, DC. Language/Area Reference Center.
The materials status report for the Berber languages, minority languages spoken in northern Africa, is one of a series intended to provide the nonspecialist with a picture of the availability and quality of texts for teaching various languages to English speakers. The report consists of: (1) a brief narrative description of the Berber language,…
Language and Ageing--Exploring Propositional Density in Written Language--Stability over Time
ERIC Educational Resources Information Center
Spencer, Elizabeth; Craig, Hugh; Ferguson, Alison; Colyvas, Kim
2012-01-01
This study investigated the stability of propositional density (PD) in written texts, as this aspect of language shows promise as an indicator and as a predictor of language decline with ageing. This descriptive longitudinal study analysed written texts obtained from the Australian Longitudinal Study of Women's Health in which participants were…
ERIC Educational Resources Information Center
Le Page, R. B.
A discussion on the nature of language argues the following: (1) the concept of a closed and finite rule system is inadequate for the description of natural languages; (2) as a consequence, the writing of variable rules to modify such rule systems so as to accommodate the properties of natural language is inappropriate; (3) the concept of such…
Legal Language: What Is It and What Can We Do About It?
ERIC Educational Resources Information Center
Charrow, Veda R.; Crandall, Jo Ann
The simplification of legal language is required by President Carter's Executive Order requiring "clear and simple English" in government regulations. A major problem in the simplification process is the absence of any adequate description or classification of legal language. This paper defines some specific features of legal language,…
Curriculum Guide, English as a Second Language, Kindergarten through Grade Twelve.
ERIC Educational Resources Information Center
Berrios, Ana Teresa; And Others
This curriculum guide provides a detailed description of the program in English as a second language (ESL) in the Newark Public Schools. After an introduction that describes the audiolingual method of teaching foreign languages and that defines briefly the cognitive approach to language instruction and the "silent way," the guide…
Anthropology and Language Science in Educational Development Newsletter, No. 2/3.
ERIC Educational Resources Information Center
United Nations Educational, Scientific, and Cultural Organization, Paris (France). Div. of Structures and Content of Life-Long Education.
This issue of the ALSED newsletter contains: (1) a description of the Anthropology and Language Science in Educational Development (ALSED) program; (2) information on the meeting of experts on diversification of methods and techniques for teaching a second language or foreign languages (Paris, Unesco, 15-20 September, 1975), which discussed such…
Classroom Management in Foreign Language Education: An Exploratory Review
ERIC Educational Resources Information Center
Macías, Diego Fernando
2018-01-01
This review examines studies in the area of classroom management in foreign language education. It is organized into three large areas: The first area focuses on the distinctive characteristics of foreign language instruction that are more likely to impact classroom management in foreign language classes. The second area provides a description of…
Foreign Language Week: A Successful Public Relations Model.
ERIC Educational Resources Information Center
Reschke, Claus
A detailed description is presented of a foreign language (FL) week project that was organized and executed by the Houston Area Teachers of Foreign Languages (HATFL) during the 1979-80 academic year. The document describes the preparation activities of the organizing committee, the pre-foreign language week advertising campaigns, the design of…
Student Centered WebCT Instruction for African Language.
ERIC Educational Resources Information Center
Moshi, Lioba; Ojo, Akinloye
2000-01-01
Explores theoretical issues concerning instructional technology for African language instruction, gives a brief description of WebCT (a web-based instruction framework), and describes its practicality in the instruction of African languages with special focus on Swahili and Yoruba. (Author/VWL)
ASIC implementation of recursive scaled discrete cosine transform algorithm
NASA Astrophysics Data System (ADS)
On, Bill N.; Narasimhan, Sam; Huang, Victor K.
1994-05-01
A program to implement the Recursive Scaled Discrete Cosine Transform (DCT) algorithm as proposed by H. S. Hou has been undertaken at the Institute of Microelectronics. Implementation of the design was done using top-down design methodology with VHDL (VHSIC Hardware Description Language) for chip modeling. When the VHDL simulation has been satisfactorily completed, the design is synthesized into gates using a synthesis tool. The architecture of the design consists of two processing units together with a memory module for data storage and transpose. Each processing unit is composed of four pipelined stages which allow the internal clock to run at one-eighth (1/8) the speed of the pixel clock. Each stage operates on eight pixels in parallel. As the data flows through each stage, there are various adders and multipliers to transform them into the desired coefficients. The Scaled IDCT was implemented in a similar fashion with the adders and multipliers rearranged to perform the inverse DCT algorithm. The chip has been verified using Field Programmable Gate Array devices. The design is operational. The combination of fewer multiplications required and pipelined architecture give Hou's Recursive Scaled DCT good potential of achieving high performance at a low cost in using Very Large Scale Integration implementation.
20-GFLOPS QR processor on a Xilinx Virtex-E FPGA
NASA Astrophysics Data System (ADS)
Walke, Richard L.; Smith, Robert W. M.; Lightbody, Gaye
2000-11-01
Adaptive beamforming can play an important role in sensor array systems in countering directional interference. In high-sample rate systems, such as radar and comms, the calculation of adaptive weights is a very computational task that requires highly parallel solutions. For systems where low power consumption and volume are important the only viable implementation is as an Application Specific Integrated Circuit (ASIC). However, the rapid advancement of Field Programmable Gate Array (FPGA) technology is enabling highly credible re-programmable solutions. In this paper we present the implementation of a scalable linear array processor for weight calculation using QR decomposition. We employ floating-point arithmetic with mantissa size optimized to the target application to minimize component size, and implement them as relationally placed macros (RPMs) on Xilinx Virtex FPGAs to achieve predictable dense layout and high-speed operation. We present results that show that 20GFLOPS of sustained computation on a single XCV3200E-8 Virtex-E FPGA is possible. We also describe the parameterized implementation of the floating-point operators and QR-processor, and the design methodology that enables us to rapidly generate complex FPGA implementations using the industry standard hardware description language VHDL.
Hadl: HUMS Architectural Description Language
NASA Technical Reports Server (NTRS)
Mukkamala, R.; Adavi, V.; Agarwal, N.; Gullapalli, S.; Kumar, P.; Sundaram, P.
2004-01-01
Specification of architectures is an important prerequisite for evaluation of architectures. With the increase m the growth of health usage and monitoring systems (HUMS) in commercial and military domains, the need far the design and evaluation of HUMS architectures has also been on the increase. In this paper, we describe HADL, HUMS Architectural Description Language, that we have designed for this purpose. In particular, we describe the features of the language, illustrate them with examples, and show how we use it in designing domain-specific HUMS architectures. A companion paper contains details on our design methodology of HUMS architectures.
ERIC Educational Resources Information Center
Hamre, Bridget K.; Justice, Laura M.; Pianta, Robert C.; Kilday, Carolyn; Sweeney, Beverly; Downer, Jason T.; Leach, Allison
2010-01-01
There is surprisingly little empirical research examining issues of fidelity of implementation within the early childhood education literature. In the MyTeachingPartner project, 154 teachers were provided with materials to implement a supplemental classroom curriculum addressing six aspects of literacy and language development. The present study…
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…
PalymSys (TM): An extended version of CLIPS for construction and reasoning using blackboards
NASA Technical Reports Server (NTRS)
Bryson, Travis; Ballard, Dan
1994-01-01
This paper describes PalymSys(TM) -- an extended version of the CLIPS language that is designed to facilitate the implementation of blackboard systems. The paper first describes the general characteristics of blackboards and shows how a control blackboard architecture can be used by AI systems to examine their own behavior and adapt to real-time problem-solving situations by striking a balance between domain and control reasoning. The paper then describes the use of PalymSys in the development of a situation assessment subsystem for use aboard Army helicopters. This system performs real-time inferencing about the current battlefield situation using multiple domain blackboards as well as a control blackboard. A description of the control and domain blackboards and their implementation is presented. The paper also describes modifications made to the standard CLIPS 6.02 language in PalymSys(TM) 2.0. These include: (1) a dynamic Dempster-Shafer belief network whose structure is completely specifiable at run-time in the consequent of a PalymSys(TM) rule, (2) extension of the run command including a continuous run feature that enables the system to run even when the agenda is empty, and (3) a built-in communications link that uses shared memory to communicate with other independent processes.
ERIC Educational Resources Information Center
Gocer, Ali
2014-01-01
The purpose of this study is to assess the anxiety connected with target language of the high school students learning Turkish as a foreign language. In this study, descriptive relational screening model was used. Two scales were used for collecting data. First scale was FLCAS-Foreign Language Classroom Anxiety Scale; it was developed by Horwitz…
Does language guide event perception? Evidence from eye movements
Papafragou, Anna; Hulbert, Justin; Trueswell, John
2008-01-01
Languages differ in how they encode motion. When describing bounded motion, English speakers typically use verbs that convey information about manner (e.g., slide, skip, walk) rather than path (e.g., approach, ascend), whereas Greek speakers do the opposite. We investigated whether this strong cross-language difference influences how people allocate attention during motion perception. We compared eye movements from Greek and English speakers as they viewed motion events while (a) preparing verbal descriptions, or (b) memorizing the events. During the verbal description task, speakers’ eyes rapidly focused on the event components typically encoded in their native language, generating significant cross-language differences even during the first second of motion onset. However, when freely inspecting ongoing events, as in the memorization task, people allocated attention similarly regardless of the language they speak. Differences between language groups arose only after the motion stopped, such that participants spontaneously studied those aspects of the scene that their language does not routinely encode in verbs. These findings offer a novel perspective on the relation between language and perceptual/cognitive processes. They indicate that attention allocation during event perception is not affected by the perceiver’s native language; effects of language arise only when linguistic forms are recruited to achieve the task, such as when committing facts to memory. PMID:18395705
Design Language for Digital Systems
NASA Technical Reports Server (NTRS)
Shiva, S. G.
1985-01-01
Digital Systems Design Language (DDL) is convenient hardware description language for developing and testing digital designs and for inputting design details into design automation system. Describes digital systems at gate, register transfer, and combinational block levels. DDL-based programs written in FORTRAN IV for batch execution.
EAGLE: 'EAGLE'Is an' Algorithmic Graph Library for Exploration
DOE Office of Scientific and Technical Information (OSTI.GOV)
2015-01-16
The Resource Description Framework (RDF) and SPARQL Protocol and RDF Query Language (SPARQL) were introduced about a decade ago to enable flexible schema-free data interchange on the Semantic Web. Today data scientists use the framework as a scalable graph representation for integrating, querying, exploring and analyzing data sets hosted at different sources. With increasing adoption, the need for graph mining capabilities for the Semantic Web has emerged. Today there is no tools to conduct "graph mining" on RDF standard data sets. We address that need through implementation of popular iterative Graph Mining algorithms (Triangle count, Connected component analysis, degree distribution,more » diversity degree, PageRank, etc.). We implement these algorithms as SPARQL queries, wrapped within Python scripts and call our software tool as EAGLE. In RDF style, EAGLE stands for "EAGLE 'Is an' algorithmic graph library for exploration. EAGLE is like 'MATLAB' for 'Linked Data.'« less
Benrekia, Fayçal; Attari, Mokhtar; Bouhedda, Mounir
2013-01-01
This paper develops a primitive gas recognition system for discriminating between industrial gas species. The system under investigation consists of an array of eight micro-hotplate-based SnO2 thin film gas sensors with different selectivity patterns. The output signals are processed through a signal conditioning and analyzing system. These signals feed a decision-making classifier, which is obtained via a Field Programmable Gate Array (FPGA) with Very High-Speed Integrated Circuit Hardware Description Language. The classifier relies on a multilayer neural network based on a back propagation algorithm with one hidden layer of four neurons and eight neurons at the input and five neurons at the output. The neural network designed after implementation consists of twenty thousand gates. The achieved experimental results seem to show the effectiveness of the proposed classifier, which can discriminate between five industrial gases. PMID:23529119
NASA Technical Reports Server (NTRS)
Martensen, Anna L.; Butler, Ricky W.
1987-01-01
The Fault Tree Compiler Program is a new reliability tool used to predict the top event probability for a fault tree. Five different gate types are allowed in the fault tree: AND, OR, EXCLUSIVE OR, INVERT, and M OF N gates. The high level input language is easy to understand and use when describing the system tree. In addition, the use of the hierarchical fault tree capability can simplify the tree description and decrease program execution time. The current solution technique provides an answer precise (within the limits of double precision floating point arithmetic) to the five digits in the answer. The user may vary one failure rate or failure probability over a range of values and plot the results for sensitivity analyses. The solution technique is implemented in FORTRAN; the remaining program code is implemented in Pascal. The program is written to run on a Digital Corporation VAX with the VMS operation system.
The Fault Tree Compiler (FTC): Program and mathematics
NASA Technical Reports Server (NTRS)
Butler, Ricky W.; Martensen, Anna L.
1989-01-01
The Fault Tree Compiler Program is a new reliability tool used to predict the top-event probability for a fault tree. Five different gate types are allowed in the fault tree: AND, OR, EXCLUSIVE OR, INVERT, AND m OF n gates. The high-level input language is easy to understand and use when describing the system tree. In addition, the use of the hierarchical fault tree capability can simplify the tree description and decrease program execution time. The current solution technique provides an answer precisely (within the limits of double precision floating point arithmetic) within a user specified number of digits accuracy. The user may vary one failure rate or failure probability over a range of values and plot the results for sensitivity analyses. The solution technique is implemented in FORTRAN; the remaining program code is implemented in Pascal. The program is written to run on a Digital Equipment Corporation (DEC) VAX computer with the VMS operation system.
Design of an ontology for medical image manipulation: an example applied for DICOM extensions
NASA Astrophysics Data System (ADS)
Aubry, Florent; Chameroy, Virginie; Todd-Pokropek, Andrew; Di Paola, Robert
1999-07-01
Currently, various data formats are widely used for medical imags, e.g. DICOM for exchange through network and storage media, and INTERFILE for image exchange in nuclear medicine. These formats are only able partly to solve problems arising in accessing and handling imags. To solve such problems, an ontology dedicated to the description of data and knowledge involved in the handling and the management of medical images has been designed. The ontology offers a semantic frame of reference to which manipulation tools can refer. It considers various point of view on the data, related to the context of production, the content,and the data quality. It supports several levels of abstraction, going from a declarative level related to the examination type to the implementation level. Moreover, the ontology provides mechanisms allowing the creation and the description of new entities. It can, thus, act as an intermediate language ensuring accurate reuse of the entities. This paper, which presents work in progress, is focused on the description of the ontology and points out how to use it for the description of and the access to DICOM or INTERFILE entities, and for the extension of the DICOM or INTERFILE dictionaries, by adding new entities, in order to describe complex relationships between images.
NASA Astrophysics Data System (ADS)
Konnik, Mikhail V.; Welsh, James
2012-09-01
Numerical simulators for adaptive optics systems have become an essential tool for the research and development of the future advanced astronomical instruments. However, growing software code of the numerical simulator makes it difficult to continue to support the code itself. The problem of adequate documentation of the astronomical software for adaptive optics simulators may complicate the development since the documentation must contain up-to-date schemes and mathematical descriptions implemented in the software code. Although most modern programming environments like MATLAB or Octave have in-built documentation abilities, they are often insufficient for the description of a typical adaptive optics simulator code. This paper describes a general cross-platform framework for the documentation of scientific software using open-source tools such as LATEX, mercurial, Doxygen, and Perl. Using the Perl script that translates M-files MATLAB comments into C-like, one can use Doxygen to generate and update the documentation for the scientific source code. The documentation generated by this framework contains the current code description with mathematical formulas, images, and bibliographical references. A detailed description of the framework components is presented as well as the guidelines for the framework deployment. Examples of the code documentation for the scripts and functions of a MATLAB-based adaptive optics simulator are provided.
ERIC Educational Resources Information Center
Lavalle, Pamela I.; Briesmaster, Mark
2017-01-01
Teachers of English as a foreign language (EFL) encourage students to take a more active role in the oral activities in the classroom through different strategies. This study examines the use of picture descriptions as a strategy to develop and enhance communication skills among the eighth-grade students attending a private English school in…
Grande, Marion; Meffert, Elisabeth; Schoenberger, Eva; Jung, Stefanie; Frauenrath, Tobias; Huber, Walter; Hussmann, Katja; Moormann, Mareike; Heim, Stefan
2012-07-02
Spontaneous language has rarely been subjected to neuroimaging studies. This study therefore introduces a newly developed method for the analysis of linguistic phenomena observed in continuous language production during fMRI. Most neuroimaging studies investigating language have so far focussed on single word or - to a smaller extent - sentence processing, mostly due to methodological considerations. Natural language production, however, is far more than the mere combination of words to larger units. Therefore, the present study aimed at relating brain activation to linguistic phenomena like word-finding difficulties or syntactic completeness in a continuous language fMRI paradigm. A picture description task with special constraints was used to provoke hesitation phenomena and speech errors. The transcribed speech sample was segmented into events of one second and each event was assigned to one category of a complex schema especially developed for this purpose. The main results were: conceptual planning engages bilateral activation of the precuneus. Successful lexical retrieval is accompanied - particularly in comparison to unsolved word-finding difficulties - by the left middle and superior temporal gyrus. Syntactic completeness is reflected in activation of the left inferior frontal gyrus (IFG) (area 44). In sum, the method has proven to be useful for investigating the neural correlates of lexical and syntactic phenomena in an overt picture description task. This opens up new prospects for the analysis of spontaneous language production during fMRI. Copyright © 2012 Elsevier Inc. All rights reserved.
ERIC Educational Resources Information Center
Barbour, Ross; Ostler, Catherine; Templeman, Elizabeth; West, Elizabeth
2007-01-01
The British Columbia (BC) English as a Second Language (ESL) Articulation Committee's Canadian Language Benchmarks project was precipitated by ESL instructors' desire to address transfer difficulties of ESL students within the BC transfer system and to respond to the recognition that the Canadian Language Benchmarks, a descriptive scale of ESL…
Moving beyond Communicative Language Teaching: A Situated Pedagogy for Japanese EFL Classrooms
ERIC Educational Resources Information Center
Lochland, Paul W.
2013-01-01
This article questions the appropriateness of communicative language teaching (CLT) in classrooms teaching English as a foreign language (EFL) to Japanese students. The four main criticisms of CLT are the ambiguity of its description, the benefits of CLT for language learning, the amalgamation of CLT methods with local classroom practices, and the…
ERIC Educational Resources Information Center
Tuncer, Murat; Dogan, Yunus
2015-01-01
This study was carried out in order to identify to what extent the Turkish students' English classroom anxiety affects their academic achievement in English language. In this quantitative descriptive study, a correlational survey model was employed, and the convenience sampling was done. In order to collect data, the Foreign Language Classroom…
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
Stansfield, Charles W.; Kenyon, Dorry Mann
The report of the Interagency Language Roundtable's invitational symposium on language aptitude testing consists of a description of the project and appendixes which include the following: (1) the symposium program and abstracts of papers; (2) a list of participants; and (3) summaries of the discussions of three working groups (on applications,…
First Steps to Endangered Language Documentation: The Kalasha Language, a Case Study
ERIC Educational Resources Information Center
Mela-Athanasopoulou, Elizabeth
2011-01-01
The present paper based on extensive fieldwork D conducted on Kalasha, an endangered language spoken in the three small valleys in Chitral District of Northwestern Pakistan, exposes a spontaneous dialogue-based elicitation of linguistic material used for the description and documentation of the language. After a brief display of the basic typology…
Philippine and North Bornean Languages: Issues in Description, Subgrouping, and Reconstruction
ERIC Educational Resources Information Center
Lobel, Jason William
2013-01-01
The Philippines, northern Sulawesi, and northern Borneo are home to two or three hundred languages that can be described as Philippine-type. In spite of nearly five hundred years of language documentation in the Philippines, and at least a century of work in Borneo and Sulawesi, the majority of these languages remain grossly underdocumented, and…
Issues of Identity in Minority Language Media Production in Colombia and Wales
ERIC Educational Resources Information Center
Uribe-Jongbloed, Enrique
2016-01-01
This paper addresses how different media production teams negotiate the use of their minority languages in their practice. After a brief discussion of the concepts of language and description of a linguistic minority, a short review of similar research in the area of Minority Language Media is presented. Within this area, radio producers from…
Teacher Language Competence Description: Towards a New Framework of Evaluation
ERIC Educational Resources Information Center
Sokolova, Nataliya
2012-01-01
The article is centred around the concept of "language competence of a foreign language (FL) teacher" and the ways it can be evaluated. Though the definition of teacher language competence might sound obvious it has not yet been clearly structured and, therefore, no component has been thoroughly described. I use this fact as a starting…
The Multifaceted Ecology of Language Play in an Elementary School EFL Classroom
ERIC Educational Resources Information Center
Kang, Dae-Min
2017-01-01
Language play (LP) in second language (L2) classrooms has attracted increasing attention in recent years, but descriptions and explanations of LP construction in English as a foreign language (EFL) settings remain insufficient. This paper reports the discursive processes of LP construction in an elementary school EFL classroom in Korea. I found…
Seltmann, Katja C.; Pénzes, Zsolt; Yoder, Matthew J.; Bertone, Matthew A.; Deans, Andrew R.
2013-01-01
Hymenoptera, the insect order that includes sawflies, bees, wasps, and ants, exhibits an incredible diversity of phenotypes, with over 145,000 species described in a corpus of textual knowledge since Carolus Linnaeus. In the absence of specialized training, often spanning decades, however, these articles can be challenging to decipher. Much of the vocabulary is domain-specific (e.g., Hymenoptera biology), historically without a comprehensive glossary, and contains much homonymous and synonymous terminology. The Hymenoptera Anatomy Ontology was developed to surmount this challenge and to aid future communication related to hymenopteran anatomy, as well as provide support for domain experts so they may actively benefit from the anatomy ontology development. As part of HAO development, an active learning, dictionary-based, natural language recognition tool was implemented to facilitate Hymenoptera anatomy term discovery in literature. We present this tool, referred to as the ‘Proofer’, as part of an iterative approach to growing phenotype-relevant ontologies, regardless of domain. The process of ontology development results in a critical mass of terms that is applied as a filter to the source collection of articles in order to reveal term occurrence and biases in natural language species descriptions. Our results indicate that taxonomists use domain-specific terminology that follows taxonomic specialization, particularly at superfamily and family level groupings and that the developed Proofer tool is effective for term discovery, facilitating ontology construction. PMID:23441153
Seltmann, Katja C; Pénzes, Zsolt; Yoder, Matthew J; Bertone, Matthew A; Deans, Andrew R
2013-01-01
Hymenoptera, the insect order that includes sawflies, bees, wasps, and ants, exhibits an incredible diversity of phenotypes, with over 145,000 species described in a corpus of textual knowledge since Carolus Linnaeus. In the absence of specialized training, often spanning decades, however, these articles can be challenging to decipher. Much of the vocabulary is domain-specific (e.g., Hymenoptera biology), historically without a comprehensive glossary, and contains much homonymous and synonymous terminology. The Hymenoptera Anatomy Ontology was developed to surmount this challenge and to aid future communication related to hymenopteran anatomy, as well as provide support for domain experts so they may actively benefit from the anatomy ontology development. As part of HAO development, an active learning, dictionary-based, natural language recognition tool was implemented to facilitate Hymenoptera anatomy term discovery in literature. We present this tool, referred to as the 'Proofer', as part of an iterative approach to growing phenotype-relevant ontologies, regardless of domain. The process of ontology development results in a critical mass of terms that is applied as a filter to the source collection of articles in order to reveal term occurrence and biases in natural language species descriptions. Our results indicate that taxonomists use domain-specific terminology that follows taxonomic specialization, particularly at superfamily and family level groupings and that the developed Proofer tool is effective for term discovery, facilitating ontology construction.
Pedoinformatics Approach to Soil Text Analytics
NASA Astrophysics Data System (ADS)
Furey, J.; Seiter, J.; Davis, A.
2017-12-01
The several extant schema for the classification of soils rely on differing criteria, but the major soil science taxonomies, including the United States Department of Agriculture (USDA) and the international harmonized World Reference Base for Soil Resources systems, are based principally on inferred pedogenic properties. These taxonomies largely result from compiled individual observations of soil morphologies within soil profiles, and the vast majority of this pedologic information is contained in qualitative text descriptions. We present text mining analyses of hundreds of gigabytes of parsed text and other data in the digitally available USDA soil taxonomy documentation, the Soil Survey Geographic (SSURGO) database, and the National Cooperative Soil Survey (NCSS) soil characterization database. These analyses implemented iPython calls to Gensim modules for topic modelling, with latent semantic indexing completed down to the lowest taxon level (soil series) paragraphs. Via a custom extension of the Natural Language Toolkit (NLTK), approximately one percent of the USDA soil series descriptions were used to train a classifier for the remainder of the documents, essentially by treating soil science words as comprising a novel language. While location-specific descriptors at the soil series level are amenable to geomatics methods, unsupervised clustering of the occurrence of other soil science words did not closely follow the usual hierarchy of soil taxa. We present preliminary phrasal analyses that may account for some of these effects.
ERIC Educational Resources Information Center
Palmer, Deborah; Henderson, Kathryn; Wall, Dorothy; Zúñiga, Christian E.; Berthelsen, Stefan
2016-01-01
This article documents and interrogates top-down district-wide implementation of a two-way dual language bilingual education (DLBE) program in a large urban district. We carried out a language policy ethnography to explore the way two schools' teams of third grade teachers worked together to negotiate the intersection of DLBE implementation and…
On Cognition, Structured Sequence Processing, and Adaptive Dynamical Systems
NASA Astrophysics Data System (ADS)
Petersson, Karl Magnus
2008-11-01
Cognitive neuroscience approaches the brain as a cognitive system: a system that functionally is conceptualized in terms of information processing. We outline some aspects of this concept and consider a physical system to be an information processing device when a subclass of its physical states can be viewed as representational/cognitive and transitions between these can be conceptualized as a process operating on these states by implementing operations on the corresponding representational structures. We identify a generic and fundamental problem in cognition: sequentially organized structured processing. Structured sequence processing provides the brain, in an essential sense, with its processing logic. In an approach addressing this problem, we illustrate how to integrate levels of analysis within a framework of adaptive dynamical systems. We note that the dynamical system framework lends itself to a description of asynchronous event-driven devices, which is likely to be important in cognition because the brain appears to be an asynchronous processing system. We use the human language faculty and natural language processing as a concrete example through out.
Rozensky, Ronald H; Grus, Catherine L; Nutt, Roberta L; Carlson, Cindy I; Eisman, Elena J; Nelson, Paul D
2015-01-01
The Education and Training Guidelines: A Taxonomy for Education and Training in Professional Psychology Health Service Specialties was endorsed as a policy of the American Psychological Association in 2012. These Guidelines have the potential for broad impact on the field by providing both a structure and recommendations for the consistent usage of language--definitions and terminology--to reduce current descriptive inconsistencies across education and training programs in professional psychology. The Guidelines are not designed to define specifics of the training or practice of individual psychologists; they are to be used only to describe programmatic structure in a consistent manner. This article details the developmental history of these Guidelines and highlights the strong alliance between the leaders of the various recognized specialties in professional psychology and the education and training community in health service psychology. The content, application, future dissemination and impact of the Guidelines are presented. PsycINFO Database Record (c) 2015 APA, all rights reserved.
The medical simulation markup language - simplifying the biomechanical modeling workflow.
Suwelack, Stefan; Stoll, Markus; Schalck, Sebastian; Schoch, Nicolai; Dillmann, Rüdiger; Bendl, Rolf; Heuveline, Vincent; Speidel, Stefanie
2014-01-01
Modeling and simulation of the human body by means of continuum mechanics has become an important tool in diagnostics, computer-assisted interventions and training. This modeling approach seeks to construct patient-specific biomechanical models from tomographic data. Usually many different tools such as segmentation and meshing algorithms are involved in this workflow. In this paper we present a generalized and flexible description for biomechanical models. The unique feature of the new modeling language is that it not only describes the final biomechanical simulation, but also the workflow how the biomechanical model is constructed from tomographic data. In this way, the MSML can act as a middleware between all tools used in the modeling pipeline. The MSML thus greatly facilitates the prototyping of medical simulation workflows for clinical and research purposes. In this paper, we not only detail the XML-based modeling scheme, but also present a concrete implementation. Different examples highlight the flexibility, robustness and ease-of-use of the approach.
28 CFR 55.21 - Record keeping.
Code of Federal Regulations, 2011 CFR
2011-07-01
... Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) IMPLEMENTATION OF THE PROVISIONS OF THE VOTING RIGHTS ACT REGARDING LANGUAGE MINORITY GROUPS Minority Language Materials and Assistance § 55.21 Record keeping. The Attorney General's implementation of the Act's provisions concerning language minority groups...
28 CFR 55.21 - Record keeping.
Code of Federal Regulations, 2010 CFR
2010-07-01
... Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) IMPLEMENTATION OF THE PROVISIONS OF THE VOTING RIGHTS ACT REGARDING LANGUAGE MINORITY GROUPS Minority Language Materials and Assistance § 55.21 Record keeping. The Attorney General's implementation of the Act's provisions concerning language minority groups...
ERIC Educational Resources Information Center
POLOME, EDGAR C.
THIS INTRODUCTION TO THE STRUCTURE AND BACKGROUND OF THE SWAHILI LANGUAGE WAS WRITTEN FOR THE NON-SPECIALIST. ALTHOUGH THE LINGUISTIC TERMINOLOGY USED IN THE DESCRIPTION OF THE LANGUAGE ASSUMES THE READER HAS HAD SOME TRAINING IN LINGUISTICS, THIS HANDBOOK PROVIDES BASIC LINGUISTIC AND SOCIOLINGUISTIC INFORMATION FOR STUDENTS OF AFRICAN CULTURE…
The Language of Qualitative Issues. AIR Forum 1982 Paper.
ERIC Educational Resources Information Center
Duckwall, Julia M.; Johnson, F. Craig
The communication of research findings among collegiate institutional researchers is considered in relation to the contribution of qualitative language in general, and catastrophe theory in particular. The qualitative language of catastrophe theory may help reduce the arbitrariness of description, through identification of qualitative features…
Descriptions of Selected Career-Related College Language Courses
ERIC Educational Resources Information Center
Knodel, Arthur J.; And Others
1977-01-01
Seven courses or programs at different colleges emphasizing specific career applications of languages are described. They include: Technical French; Spanish for Law Enforcement and Correctional Personnel; Executive German; Proyecto Desarrollo Economico; Spanish for Medical Professions; Elements of Foreign Language, and Business French and Business…
LANGUAGES OF THE WORLD--INDO-PACIFIC FASCICLE FOUR.
ERIC Educational Resources Information Center
VOEGELIN, C. F.; VOEGELIN, FLORENCE M.
THIS REPORT CONTAINS A LIST AND DESCRIPTIONS OF THE AUSTRONESIAN FAMILY OF LANGUAGES WHICH INCLUDE THE LANGUAGES OF INDONESIA, FORMOSA, MADAGASCAR, THE PHILIPPINE ISLANDS, AND PART OF SOUTHEAST ASIA. (THE REPORT IS PART OF A SERIES, ED 010 350 TO ED 010 367.) (JK)
ERIC Educational Resources Information Center
Hyslop, Gwendolyn
2011-01-01
Kurtop is a Tibeto-Burman language spoken by approximately 15,000 people in Northeastern Bhutan. This dissertation is the first descriptive grammar of the language, based on extensive fieldwork and community-driven language documentation in Bhutan. When possible, analyses are presented in typological and historical/comparative perspectives and…
The Sizing and Optimization Language, (SOL): Computer language for design problems
NASA Technical Reports Server (NTRS)
Lucas, Stephen H.; Scotti, Stephen J.
1988-01-01
The Sizing and Optimization Language, (SOL), a new high level, special purpose computer language was developed to expedite application of numerical optimization to design problems and to make the process less error prone. SOL utilizes the ADS optimization software and provides a clear, concise syntax for describing an optimization problem, the OPTIMIZE description, which closely parallels the mathematical description of the problem. SOL offers language statements which can be used to model a design mathematically, with subroutines or code logic, and with existing FORTRAN routines. In addition, SOL provides error checking and clear output of the optimization results. Because of these language features, SOL is best suited to model and optimize a design concept when the model consits of mathematical expressions written in SOL. For such cases, SOL's unique syntax and error checking can be fully utilized. SOL is presently available for DEC VAX/VMS systems. A SOL package is available which includes the SOL compiler, runtime library routines, and a SOL reference manual.
Endara, Lorena; Cui, Hong; Burleigh, J Gordon
2018-03-01
Phenotypic data sets are necessary to elucidate the genealogy of life, but assembling phenotypic data for taxa across the tree of life can be technically challenging and prohibitively time consuming. We describe a semi-automated protocol to facilitate and expedite the assembly of phenotypic character matrices of plants from formal taxonomic descriptions. This pipeline uses new natural language processing (NLP) techniques and a glossary of over 9000 botanical terms. Our protocol includes the Explorer of Taxon Concepts (ETC), an online application that assembles taxon-by-character matrices from taxonomic descriptions, and MatrixConverter, a Java application that enables users to evaluate and discretize the characters extracted by ETC. We demonstrate this protocol using descriptions from Araucariaceae. The NLP pipeline unlocks the phenotypic data found in taxonomic descriptions and makes them usable for evolutionary analyses.
Schmitt, J F; Meline, T J
1990-12-01
We reviewed the 1983-1988 issues of six journals that frequently publish papers including specifically language-impaired (LI) subjects. A total of 92 research reports provided data for our review. The research reports included experimental studies, ex post facto studies, and intervention studies. These studies represent a broad spectrum of the theoretical and empirical foundations of knowledge regarding LI children. The analysis of the published research centered on subject descriptions and the use of control groups. A descriptive analysis of the data showed few consistent trends among the studies with respect to subject selection, subject description, and the number and types of control groups. We discuss the importance of more complete subject descriptions in studies of LI children as well as the importance of the choice of matching criteria for control groups in between-subjects designs.
Can Nomenclature for the Body be Explained by Embodiment Theories?
Majid, Asifa; van Staden, Miriam
2015-10-01
According to widespread opinion, the meaning of body part terms is determined by salient discontinuities in the visual image; such that hands, feet, arms, and legs, are natural parts. If so, one would expect these parts to have distinct names which correspond in meaning across languages. To test this proposal, we compared three unrelated languages-Dutch, Japanese, and Indonesian-and found both naming systems and boundaries of even basic body part terms display variation across languages. Bottom-up cues alone cannot explain natural language semantic systems; there simply is not a one-to-one mapping of the body semantic system to the body structural description. Although body parts are flexibly construed across languages, body parts semantics are, nevertheless, constrained by non-linguistic representations in the body structural description, suggesting these are necessary, although not sufficient, in accounting for aspects of the body lexicon. Copyright © 2015 Cognitive Science Society, Inc.
Just a preference: racialised language in the sex-seeking profiles of gay and bisexual men.
Callander, Denton; Holt, Martin; Newman, Christy E
2012-10-01
Racialised language is a salient and contested aspect of contemporary sexual cultures, particularly in the online domain. This paper explores the ways in which gay men in Australia employ race-related language when using online sex/dating websites. Using inductive content analysis, descriptive categories were developed to identify recurrent patterns in the racialised language employed by website users. A coding framework was then constructed to identify the 'subject' (self, other or concept) of each piece of race-related content, its 'purpose' (marketing, negative or positive discrimination, commentary) and the 'position' adopted (defensive, normalised or critical). Descriptive and comparative analyses revealed differences in the ways in which members of racial groups employed racialised language online. These differences are reviewed in relation to broader discourses on Whiteness and race in Australia, as well as recent community-produced anti-racism campaigns.
Tera-Op Reliable Intelligently Adaptive Processing System (TRIPS)
2004-04-01
flop creates a loadable FIFO queue, fifo pload. A prototype of the HML simulator is implemented using a functional language OCaml . The language type...Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 7.1.2 Hardware Meta Language ...operates on the TRIPS Intermediate Language (TIL) produced by the Scale compiler. We also adapted the gnu binary utilities to implement an assembler and
ERIC Educational Resources Information Center
Wong, Chiu-Yin
2012-01-01
Previous research studies have indicated that some educators do not advocate Communicative Language Teaching (CLT) because of their misunderstanding of the methodology. This article explores the relationship between college-level second language (L2) educators' perceptions and their implementations of CLT. The results of this study show that the…
Summary report for the Engineering Script Language (ESL)
NASA Technical Reports Server (NTRS)
1990-01-01
The following subject areas are covered: ESL methodology concept; ESL specification; user interface description; engineering scripting language command statements specification; and recommendations for further research and development.
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
NASA Astrophysics Data System (ADS)
Mueller, Wolfgang; Mueller, Henning; Marchand-Maillet, Stephane; Pun, Thierry; Squire, David M.; Pecenovic, Zoran; Giess, Christoph; de Vries, Arjen P.
2000-10-01
While in the area of relational databases interoperability is ensured by common communication protocols (e.g. ODBC/JDBC using SQL), Content Based Image Retrieval Systems (CBIRS) and other multimedia retrieval systems are lacking both a common query language and a common communication protocol. Besides its obvious short term convenience, interoperability of systems is crucial for the exchange and analysis of user data. In this paper, we present and describe an extensible XML-based query markup language, called MRML (Multimedia Retrieval markup Language). MRML is primarily designed so as to ensure interoperability between different content-based multimedia retrieval systems. Further, MRML allows researchers to preserve their freedom in extending their system as needed. MRML encapsulates multimedia queries in a way that enable multimedia (MM) query languages, MM content descriptions, MM query engines, and MM user interfaces to grow independently from each other, reaching a maximum of interoperability while ensuring a maximum of freedom for the developer. For benefitting from this, only a few simple design principles have to be respected when extending MRML for one's fprivate needs. The design of extensions withing the MRML framework will be described in detail in the paper. MRML has been implemented and tested for the CBIRS Viper, using the user interface Snake Charmer. Both are part of the GNU project and can be downloaded at our site.
BioSWR – Semantic Web Services Registry for Bioinformatics
Repchevsky, Dmitry; Gelpi, Josep Ll.
2014-01-01
Despite of the variety of available Web services registries specially aimed at Life Sciences, their scope is usually restricted to a limited set of well-defined types of services. While dedicated registries are generally tied to a particular format, general-purpose ones are more adherent to standards and usually rely on Web Service Definition Language (WSDL). Although WSDL is quite flexible to support common Web services types, its lack of semantic expressiveness led to various initiatives to describe Web services via ontology languages. Nevertheless, WSDL 2.0 descriptions gained a standard representation based on Web Ontology Language (OWL). BioSWR is a novel Web services registry that provides standard Resource Description Framework (RDF) based Web services descriptions along with the traditional WSDL based ones. The registry provides Web-based interface for Web services registration, querying and annotation, and is also accessible programmatically via Representational State Transfer (REST) API or using a SPARQL Protocol and RDF Query Language. BioSWR server is located at http://inb.bsc.es/BioSWR/and its code is available at https://sourceforge.net/projects/bioswr/under the LGPL license. PMID:25233118
BioSWR--semantic web services registry for bioinformatics.
Repchevsky, Dmitry; Gelpi, Josep Ll
2014-01-01
Despite of the variety of available Web services registries specially aimed at Life Sciences, their scope is usually restricted to a limited set of well-defined types of services. While dedicated registries are generally tied to a particular format, general-purpose ones are more adherent to standards and usually rely on Web Service Definition Language (WSDL). Although WSDL is quite flexible to support common Web services types, its lack of semantic expressiveness led to various initiatives to describe Web services via ontology languages. Nevertheless, WSDL 2.0 descriptions gained a standard representation based on Web Ontology Language (OWL). BioSWR is a novel Web services registry that provides standard Resource Description Framework (RDF) based Web services descriptions along with the traditional WSDL based ones. The registry provides Web-based interface for Web services registration, querying and annotation, and is also accessible programmatically via Representational State Transfer (REST) API or using a SPARQL Protocol and RDF Query Language. BioSWR server is located at http://inb.bsc.es/BioSWR/and its code is available at https://sourceforge.net/projects/bioswr/under the LGPL license.
Applications of Quality Management in Language Education
ERIC Educational Resources Information Center
Heyworth, Frank
2013-01-01
This review examines applications of quality management (QM) in language education. QM approaches have been adapted from methodologies developed in industrial and commercial settings, and these are briefly described. Key aspects of QM in language education are the definition of purpose, descriptions of principles and practice, including various…
LANGUAGES OF THE WORLD--SINO-TIBETAN FASCICLE THREE.
ERIC Educational Resources Information Center
VOEGELIN, C. F.; VOEGELIN, FLORENCE M.
THIS REPORT CONTAINS A LIST AND DESCRIPTION OF THE LANGUAGES OF THE CHINA-TIBET-BURMA REGION OF ASIA, WITH PARTICULAR REFERENCE TO THE MIAO-YAO LANGUAGE FAMILY AND THE CHINESE DIALECTS. (THE REPORT IS PART OF A SERIES, ED 010 350 TO ED 010 367.) (JK)
Syntactic Markedness and Language Acquisition.
ERIC Educational Resources Information Center
Mazurkewich, Irene
1985-01-01
Argues that Chomsky's theory of generative grammar provides a model for second language acquisition that meets the criteria of descriptive and exploratory adequacy in accounting for the language learning process. Illustrates this by presenting data on the acquisition of dative complements and dative questions in a passive context by second…
Britain's South Asian Languages.
ERIC Educational Resources Information Center
Mobbs, Michael
This book focuses on the languages spoken by people of South Asian origin living in Britain and is intended to assist individuals in Britain whose work involves them with speakers of these languages. The approach taken is descriptive and practical, offering linguistic, geographic, and historical background information leading to appreciation of…
Urban Elementary Teachers' Perspectives on Teaching Science to English Language Learners
ERIC Educational Resources Information Center
Lee, Okhee; Maerten-Rivera, Jaime; Buxton, Cory; Penfield, Randall; Secada, Walter G.
2009-01-01
This descriptive study examined urban elementary school teachers' perceptions of their science content knowledge, science teaching practices, and support for language development of English language learners. Also examined were teachers' perceptions of organizational supports and barriers associated with teaching science to nonmainstream students.…
Denials of Racism in Canadian English Language Textbooks
ERIC Educational Resources Information Center
Gulliver, Trevor; Thurrell, Kristy
2016-01-01
This critical discourse analysis examines denials of racism in descriptions of Canada and Canadians from English language textbooks. Denials of racism often accompany racist and nationalist discourse, preempting observations of racism. The study finds that in representations of Canada or Canadians, English language texts minimize and downplay…
ERIC Educational Resources Information Center
Nguyen, Tam Thi Minh
2013-01-01
Bih is a Chamic (Austronesian) language spoken by approximately 500 people in the Southern highlands of Vietnam. This dissertation is the first descriptive grammar of the language, based on extensive fieldwork and community-based language documentation in Vietnam and written from a functional/typological perspective. The analysis in this work is…
[The language disorders in schizophrenia in neurolinguistic and psycholinguistic perspectives].
Piovan, Cristiano
2012-01-01
The descriptive psychopathology has classically equated the language with the formal aspects of thought. Recent developments in experimental and clinical research have emphasized the study of the language as a specific communicative ability. Within the framework of cognitive neuropsychology, the development of innovative research models, such as those based on the mentalizing ability, has allowed to formulate new hypotheses on the pathogenetic aspects of schizophrenia. Furthermore, mentalizing ability appears to be a basic skill for the pragmatic dimension of language. The author, after a brief description of the methods of investigation of neurolinguistics and psycholinguistics, presents a review of recent studies obtained by consulting the PubMed and PsycINFO databases. Finally, he focuses on the relationship between research findings and issues related to clinical practice.
NASA Technical Reports Server (NTRS)
Simmons, Reid; Apfelbaum, David
2005-01-01
Task Description Language (TDL) is an extension of the C++ programming language that enables programmers to quickly and easily write complex, concurrent computer programs for controlling real-time autonomous systems, including robots and spacecraft. TDL is based on earlier work (circa 1984 through 1989) on the Task Control Architecture (TCA). TDL provides syntactic support for hierarchical task-level control functions, including task decomposition, synchronization, execution monitoring, and exception handling. A Java-language-based compiler transforms TDL programs into pure C++ code that includes calls to a platform-independent task-control-management (TCM) library. TDL has been used to control and coordinate multiple heterogeneous robots in projects sponsored by NASA and the Defense Advanced Research Projects Agency (DARPA). It has also been used in Brazil to control an autonomous airship and in Canada to control a robotic manipulator.
ERIC Educational Resources Information Center
Muhammad, Anas Sa'idu; Nair, Subadrah Madhawa
2017-01-01
This study investigates the level of pragmatic competence for ESL writing skills among Nigerian undergraduates. Methodologically, it adopts descriptive research design within the explanatory framework of the QUAN-Qual model. The instruments used are descriptive essay text and focus group interview questions. In writing the descriptive essays, a…
NASA Astrophysics Data System (ADS)
Arenas, Marcelo; Gutierrez, Claudio; Pérez, Jorge
The Resource Description Framework (RDF) is the standard data model for representing information about World Wide Web resources. In January 2008, it was released the recommendation of the W3C for querying RDF data, a query language called SPARQL. In this chapter, we give a detailed description of the semantics of this language. We start by focusing on the definition of a formal semantics for the core part of SPARQL, and then move to the definition for the entire language, including all the features in the specification of SPARQL by the W3C such as blank nodes in graph patterns and bag semantics for solutions.
ERIC Educational Resources Information Center
McCarus, Ernest N.
This study is a description of the Kurdish of the city of Sulaimaniya, Iraq. Kurdish dialects cover an area embracing parts of eastern Turkey, Soviet Armenia, northern Syria, western Iran, and Khorasan in Iran. The language is described in terms of (1) phonology, (2) morphology, (3) morphophonemics, (4) word formation, and (5) syntax. An appendix,…
O'Mahony, M; Ishii, R
1986-05-01
Everyday taste descriptions for a range of stimuli were obtained from selected groups of American and Japanese subjects, using a variety of stimuli, stimulus presentation procedures and response conditions. In English there was a tendency to use a quadrapartite classification system: 'sweet', 'sour', 'salty' and 'bitter'. The Japanese had a different strategy, adding a fifth label: 'Ajinomoto', referring to the taste of monosodium glutamate. This label was generally replaced by umami--the scientific term--by Japanese who were workers or trained tasters involved with glutamate manufacture. Cultural differences in taste language have consequences for taste psychophysicists who impose a quadrapartite restriction on allowable taste descriptions. Stimulus presentation by filter-paper or aqueous solution elicited the same response trends. Language codability was only an indicator of degree of taste mixedness/singularity if used statistically with samples of sufficient size; it had little value as an indicator for individual subjects.
Rapid-X - An FPGA Development Toolset Using a Custom Simulink Library for MTCA.4 Modules
NASA Astrophysics Data System (ADS)
Prędki, Paweł; Heuer, Michael; Butkowski, Łukasz; Przygoda, Konrad; Schlarb, Holger; Napieralski, Andrzej
2015-06-01
The recent introduction of advanced hardware architectures such as the Micro Telecommunications Computing Architecture (MTCA) caused a change in the approach to implementation of control schemes in many fields. The development has been moving away from traditional programming languages ( C/C++), to hardware description languages (VHDL, Verilog), which are used in FPGA development. With MATLAB/Simulink it is possible to describe complex systems with block diagrams and simulate their behavior. Those diagrams are then used by the HDL experts to implement exactly the required functionality in hardware. Both the porting of existing applications and adaptation of new ones require a lot of development time from them. To solve this, Xilinx System Generator, a toolbox for MATLAB/Simulink, allows rapid prototyping of those block diagrams using hardware modelling. It is still up to the firmware developer to merge this structure with the hardware-dependent HDL project. This prevents the application engineer from quickly verifying the proposed schemes in real hardware. The framework described in this article overcomes these challenges, offering a hardware-independent library of components that can be used in Simulink/System Generator models. The components are subsequently translated into VHDL entities and integrated with a pre-prepared VHDL project template. Furthermore, the entire implementation process is run in the background, giving the user an almost one-click path from control scheme modelling and simulation to bit-file generation. This approach allows the application engineers to quickly develop new schemes and test them in real hardware environment. The applications may range from simple data logging or signal generation ones to very advanced controllers. Taking advantage of the Simulink simulation capabilities and user-friendly hardware implementation routines, the framework significantly decreases the development time of FPGA-based applications.
ERIC Educational Resources Information Center
Grayshon, Matthew C.
Different languages code messages in different ways and use different channels for sending messages; thus there are many places for misinterpreting and mishearing messages in an intercultural context. To move from one language to another requires a description of the total language communication system, one that has its universals in social and…
ERIC Educational Resources Information Center
Charrow, Veda R.
This paper studies legal language from three perspectives. First, legal language is defined as the variety of English that lawyers, judges, and other members of the legal community use in the course of their work. In a second section, it reviews descriptions of legal language by lawyers, linguists, and social scientists. These studies indicate…
Dialogue as a Constituent Resource for Dramatic Discourse: Language, Person and Culture
ERIC Educational Resources Information Center
Zheltukhina, Marina R.; Zinkovskaya, Anastasia V.; Katermina, Veronika V.; Shershneva, Natalia B.
2016-01-01
The article is devoted to the description of peculiarities of a person, language and culture. The offered approach of studying the human factor in the language singles out implicit connotations and makes it possible to see the differences in the perception of the reality by the members of the nation. The idea of the language as an environment of…
ERIC Educational Resources Information Center
Courtin, C.; Herve, P. -Y.; Petit, L.; Zago, L.; Vigneau, M.; Beaucousin, V.; Jobard, G.; Mazoyer, B.; Mellet, E.; Tzourio-Mazoyer, N.
2010-01-01
"Highly iconic" structures in Sign Language enable a narrator to act, switch characters, describe objects, or report actions in four-dimensions. This group of linguistic structures has no real spoken-language equivalent. Topographical descriptions are also achieved in a sign-language specific manner via the use of signing-space and…
Caught in the Middle: Child Language Brokering as a Form of Unrecognised Language Service
ERIC Educational Resources Information Center
Antonini, Rachele
2016-01-01
This paper will present the findings of a wide-scale research aimed at studying the phenomenon of Child Language Brokering (henceforth CLB) in Italy. After providing a description of recent immigration patterns and the provision of language services in Italy, and an overview of current research in this field, this study will discuss narrative data…
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
Davin, Kristin Johnson
2011-01-01
Although researchers have begun to explore the implementation of dynamic assessment (DA) with foreign language learners, few of these studies have occurred in the language classroom. Whereas DA is typically implemented in dyads, promising research in the field of foreign language learning suggests that DA may promote development with groups of…
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.
Understanding and Forecasting Ethnolinguistic Vitality
ERIC Educational Resources Information Center
Karan, Mark E.
2011-01-01
Forecasting of ethnolinguistic vitality can only be done within a well-functioning descriptive and explanatory model of the dynamics of language stability and shift. It is proposed that the Perceived Benefit Model of Language Shift, used with a taxonomy of language shift motivations, provides that model. The model, based on individual language…
Child Language Research: Building on the Past, Looking to the Future.
ERIC Educational Resources Information Center
Perera, Katharine
1994-01-01
Outlines descriptive, theoretical, and methodological advances in child language research since the first volume of the "Journal of Child Language" was published. Papers in this volume build on earlier research, point the way to new research avenues, and open new lines of inquiry. (Contains 36 references.) (JP)
Information Retrieval and the Philosophy of Language.
ERIC Educational Resources Information Center
Blair, David C.
2003-01-01
Provides an overview of some of the main ideas in the philosophy of language that have relevance to the issues of information retrieval, focusing on the description of the intellectual content. Highlights include retrieval problems; recall and precision; words and meanings; context; externalism and the philosophy of language; and scaffolding and…
Task-Induced Variability in FL Composition: Language-Specific Perspectives.
ERIC Educational Resources Information Center
Koda, Keiko
1993-01-01
Investigated ways in which different writing tasks influence quality and quantity of foreign language composition, as well as writing strategies used by American college students when composing in Japanese as a foreign language. Study proposed to compare qualitative and quantitative differences between descriptive and narrative writing tasks; to…
DESIGN FOR THINKING, A FIRST BOOK IN SEMANTICS.
ERIC Educational Resources Information Center
UPTON, ALBERT
THIS BOOK ABOUT THE FUNCTIONS OF LANGUAGE IN HUMAN LIFE EMPHASIZES LEARNING HOW TO CLASSIFY, DEFINE, AND ANALYZE. FOLLOWING AN EXPLANATION OF THE PHYSIOLOGICAL AND PSYCHOLOGICAL ROOTS OF LANGUAGE, CHAPTERS ON ANALYSIS, MEANING, SIGNS, AMBIGUITY, SEMANTIC GROWTH, AND METAPHOR LEAD TO A DESCRIPTION OF THE COMMUNICATIVE FUNCTION OF LANGUAGE,…
End-User Use of Data Base Query Language: Pros and Cons.
ERIC Educational Resources Information Center
Nicholes, Walter
1988-01-01
Man-machine interface, the concept of a computer "query," a review of database technology, and a description of the use of query languages at Brigham Young University are discussed. The pros and cons of end-user use of database query languages are explored. (Author/MLW)
Across the Threshold: A Call for ILR Proficiency Descriptor Banks
ERIC Educational Resources Information Center
Holman, Don
2017-01-01
Whereas the Interagency Language Roundtable Language Skill Level Descriptions broke new ground for assessing proficiency in foreign languages, the need for user-oriented (rather than assessment-oriented) proficiency scales has led, especially in Europe, to the creation of scales consisting of positively formulated "can-do" statements,…
Mississippi Language Arts Framework with the Process of Instructional Intervention, 2000.
ERIC Educational Resources Information Center
Mississippi State Dept. of Education, Jackson.
This Language Arts Framework provides a description of what students should know and do in English, language arts, and reading classrooms, kindergarten through twelfth grade. The framework addresses the interrelatedness of reading, writing, speaking, listening, and viewing. The intent is to raise expectations for student performance, provide…
ERIC Educational Resources Information Center
Koffi, Yao
2010-01-01
(Purpose) The purpose of this article is to provide a detailed description of the pronouns in Akebu. Akebu is a language spoken in South-West Togo and in the neighboring towns in Ghana. Akebu belongs to a group of languages formerly called "Togo Remnant Languages", now (Ghana Togo Mountains, GTM). The native Akebu speakers call their…
Competency: The Language of the Behavioral Objectives Movement.
ERIC Educational Resources Information Center
Craig, Samuel B., Jr.
Several external and internal factors combine to hinder optimal communication in "Competency," the language of behavior modification. As a language, Competency a) is spoken with varying degrees of fluency and facility, b) is difficult to translate into English because the common vocabulary is used descriptively in English while it is…
A Strategy for Language Assessment of Young Children: A Combination of Two Approaches.
ERIC Educational Resources Information Center
Kelly, Donna J.; Rice, Mabel L.
1986-01-01
A proposed strategy for language assessment advocates a combination of descriptive and formal assessment measures. This approach involves a parent-clinician interview, parent-child observations, clinician-directed formal and nonformal assessment procedures, and a parent-clinician interpretation. An elaborated sample of language assessment is…
SOL - SIZING AND OPTIMIZATION LANGUAGE COMPILER
NASA Technical Reports Server (NTRS)
Scotti, S. J.
1994-01-01
SOL is a computer language which is geared to solving design problems. SOL includes the mathematical modeling and logical capabilities of a computer language like FORTRAN but also includes the additional power of non-linear mathematical programming methods (i.e. numerical optimization) at the language level (as opposed to the subroutine level). The language-level use of optimization has several advantages over the traditional, subroutine-calling method of using an optimizer: first, the optimization problem is described in a concise and clear manner which closely parallels the mathematical description of optimization; second, a seamless interface is automatically established between the optimizer subroutines and the mathematical model of the system being optimized; third, the results of an optimization (objective, design variables, constraints, termination criteria, and some or all of the optimization history) are output in a form directly related to the optimization description; and finally, automatic error checking and recovery from an ill-defined system model or optimization description is facilitated by the language-level specification of the optimization problem. Thus, SOL enables rapid generation of models and solutions for optimum design problems with greater confidence that the problem is posed correctly. The SOL compiler takes SOL-language statements and generates the equivalent FORTRAN code and system calls. Because of this approach, the modeling capabilities of SOL are extended by the ability to incorporate existing FORTRAN code into a SOL program. In addition, SOL has a powerful MACRO capability. The MACRO capability of the SOL compiler effectively gives the user the ability to extend the SOL language and can be used to develop easy-to-use shorthand methods of generating complex models and solution strategies. The SOL compiler provides syntactic and semantic error-checking, error recovery, and detailed reports containing cross-references to show where each variable was used. The listings summarize all optimizations, listing the objective functions, design variables, and constraints. The compiler offers error-checking specific to optimization problems, so that simple mistakes will not cost hours of debugging time. The optimization engine used by and included with the SOL compiler is a version of Vanderplatt's ADS system (Version 1.1) modified specifically to work with the SOL compiler. SOL allows the use of the over 100 ADS optimization choices such as Sequential Quadratic Programming, Modified Feasible Directions, interior and exterior penalty function and variable metric methods. Default choices of the many control parameters of ADS are made for the user, however, the user can override any of the ADS control parameters desired for each individual optimization. The SOL language and compiler were developed with an advanced compiler-generation system to ensure correctness and simplify program maintenance. Thus, SOL's syntax was defined precisely by a LALR(1) grammar and the SOL compiler's parser was generated automatically from the LALR(1) grammar with a parser-generator. Hence unlike ad hoc, manually coded interfaces, the SOL compiler's lexical analysis insures that the SOL compiler recognizes all legal SOL programs, can recover from and correct for many errors and report the location of errors to the user. This version of the SOL compiler has been implemented on VAX/VMS computer systems and requires 204 KB of virtual memory to execute. Since the SOL compiler produces FORTRAN code, it requires the VAX FORTRAN compiler to produce an executable program. The SOL compiler consists of 13,000 lines of Pascal code. It was developed in 1986 and last updated in 1988. The ADS and other utility subroutines amount to 14,000 lines of FORTRAN code and were also updated in 1988.
Description of the AILS Alerting Algorithm
NASA Technical Reports Server (NTRS)
Samanant, Paul; Jackson, Mike
2000-01-01
This document provides a complete description of the Airborne Information for Lateral Spacing (AILS) alerting algorithms. The purpose of AILS is to provide separation assurance between aircraft during simultaneous approaches to closely spaced parallel runways. AILS will allow independent approaches to be flown in such situations where dependent approaches were previously required (typically under Instrument Meteorological Conditions (IMC)). This is achieved by providing multiple levels of alerting for pairs of aircraft that are in parallel approach situations. This document#s scope is comprehensive and covers everything from general overviews, definitions, and concepts down to algorithmic elements and equations. The entire algorithm is presented in complete and detailed pseudo-code format. This can be used by software programmers to program AILS into a software language. Additional supporting information is provided in the form of coordinate frame definitions, data requirements, calling requirements as well as all necessary pre-processing and post-processing requirements. This is important and required information for the implementation of AILS into an analysis, a simulation, or a real-time system.
ERIC Educational Resources Information Center
Marascuilo, Leonard A.; Loban, Walter
To determine whether language behavior represents an early conditioned verbal response or whether it changes with age and experience was the purpose of this study which attempted to define unique isolates of language on the basis of actual language produced by young children. Tape recorded data were collected for 12 years from 211 children in…
Problems and Prospects in Foreign Language Computing.
ERIC Educational Resources Information Center
Pusack, James P.
The problems and prospects of the field of foreign language computing are profiled through a survey of typical implementation, development, and research projects that language teachers may undertake. Basic concepts in instructional design, hardware, and software are first clarified. Implementation projects involving courseware evaluation, textbook…
CIL: Compiler Implementation Language
DOE Office of Scientific and Technical Information (OSTI.GOV)
Gries, David
1969-03-01
This report is a manual for the proposed Compiler Implementation Language, CIL. It is not an expository paper on the subject of compiler writing or compiler-compilers. The language definition may change as work progresses on the project. It is designed for writing compilers for the IBM 360 computers.
Functional test generation for digital circuits described with a declarative language: LUSTRE
NASA Astrophysics Data System (ADS)
Almahrous, Mazen
1990-08-01
A functional approach to the test generation problem starting from a high level description is proposed. The circuit tested is modeled, using the LUSTRE high level data flow description language. The different LUSTRE primitives are translated to a SATAN format graph in order to evaluate the testability of the circuit and to generate test sequences. Another method of testing the complex circuits comprising an operative part and a control part is defined. It consists of checking experiments for the control part observed through the operative part. It was applied to the automata generated from a LUSTRE description of the circuit.
ERIC Educational Resources Information Center
Rosman, Fuziah; Alias, Norlidah; Rahman, Mohd Nazri Abdul; Dewitt, Dorothy
2015-01-01
This study aims at reviewing the curriculum design by including video games in the implementation of the Malay language course at an Institute of Higher Learning. The objective of this study is to obtain expert opinion on the expected manner of implementation of video games in learning the Malay language. The Fuzzy Delphi technique (FDM) is used…
NARMER-1: a photon point-kernel code with build-up factors
NASA Astrophysics Data System (ADS)
Visonneau, Thierry; Pangault, Laurence; Malouch, Fadhel; Malvagi, Fausto; Dolci, Florence
2017-09-01
This paper presents an overview of NARMER-1, the new generation of photon point-kernel code developed by the Reactor Studies and Applied Mathematics Unit (SERMA) at CEA Saclay Center. After a short introduction giving some history points and the current context of development of the code, the paper exposes the principles implemented in the calculation, the physical quantities computed and surveys the generic features: programming language, computer platforms, geometry package, sources description, etc. Moreover, specific and recent features are also detailed: exclusion sphere, tetrahedral meshes, parallel operations. Then some points about verification and validation are presented. Finally we present some tools that can help the user for operations like visualization and pre-treatment.
Ontology for assessment studies of human-computer-interaction in surgery.
Machno, Andrej; Jannin, Pierre; Dameron, Olivier; Korb, Werner; Scheuermann, Gerik; Meixensberger, Jürgen
2015-02-01
New technologies improve modern medicine, but may result in unwanted consequences. Some occur due to inadequate human-computer-interactions (HCI). To assess these consequences, an investigation model was developed to facilitate the planning, implementation and documentation of studies for HCI in surgery. The investigation model was formalized in Unified Modeling Language and implemented as an ontology. Four different top-level ontologies were compared: Object-Centered High-level Reference, Basic Formal Ontology, General Formal Ontology (GFO) and Descriptive Ontology for Linguistic and Cognitive Engineering, according to the three major requirements of the investigation model: the domain-specific view, the experimental scenario and the representation of fundamental relations. Furthermore, this article emphasizes the distinction of "information model" and "model of meaning" and shows the advantages of implementing the model in an ontology rather than in a database. The results of the comparison show that GFO fits the defined requirements adequately: the domain-specific view and the fundamental relations can be implemented directly, only the representation of the experimental scenario requires minor extensions. The other candidates require wide-ranging extensions, concerning at least one of the major implementation requirements. Therefore, the GFO was selected to realize an appropriate implementation of the developed investigation model. The ensuing development considered the concrete implementation of further model aspects and entities: sub-domains, space and time, processes, properties, relations and functions. The investigation model and its ontological implementation provide a modular guideline for study planning, implementation and documentation within the area of HCI research in surgery. This guideline helps to navigate through the whole study process in the form of a kind of standard or good clinical practice, based on the involved foundational frameworks. Furthermore, it allows to acquire the structured description of the applied assessment methods within a certain surgical domain and to consider this information for own study design or to perform a comparison of different studies. The investigation model and the corresponding ontology can be used further to create new knowledge bases of HCI assessment in surgery. Copyright © 2014 Elsevier B.V. All rights reserved.
1987-12-01
1985:55; Nash, 1984:18). Because of this, the Department of Defense began a program , VHDL, to standardize a hardware description language for VHSIC... Deitel , 1984:507-508). This operating system (or environment) is in general use in the commercial world. Universities, given the responsibility to ...though not necessarily exhaustive) test suite designed to exercise each VHDL grammar rule and associated program modules as thor- oughly as possible. The
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…
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…
Linguistic and Cultural Variations as Barriers to the TEFL Settings in Papua
ERIC Educational Resources Information Center
Yembise, Yohana Susana
2011-01-01
The article aims at presenting a description of languages and cultures and the effect on the teaching of English as a Foreign Language in schools in Papua. It starts with a general picture of the uniqueness of languages and cultures in Papua: its geography, the originality of the people, and the languages and cultures of both NAN and AN. The word…
ERIC Educational Resources Information Center
Huisman, Rosemary
2016-01-01
Poetry is the art shaped through language; to talk about a poem we need at least to talk about its language--but what can be said will depend on the particular linguistic theory, with its particular modelling of language, which we bring to the description. This paper outlines the approach of SFL (Systemic Functional Linguistics), describing in…
Semantic framework for mapping object-oriented model to semantic web languages
Ježek, Petr; Mouček, Roman
2015-01-01
The article deals with and discusses two main approaches in building semantic structures for electrophysiological metadata. It is the use of conventional data structures, repositories, and programming languages on one hand and the use of formal representations of ontologies, known from knowledge representation, such as description logics or semantic web languages on the other hand. Although knowledge engineering offers languages supporting richer semantic means of expression and technological advanced approaches, conventional data structures and repositories are still popular among developers, administrators and users because of their simplicity, overall intelligibility, and lower demands on technical equipment. The choice of conventional data resources and repositories, however, raises the question of how and where to add semantics that cannot be naturally expressed using them. As one of the possible solutions, this semantics can be added into the structures of the programming language that accesses and processes the underlying data. To support this idea we introduced a software prototype that enables its users to add semantically richer expressions into a Java object-oriented code. This approach does not burden users with additional demands on programming environment since reflective Java annotations were used as an entry for these expressions. Moreover, additional semantics need not to be written by the programmer directly to the code, but it can be collected from non-programmers using a graphic user interface. The mapping that allows the transformation of the semantically enriched Java code into the Semantic Web language OWL was proposed and implemented in a library named the Semantic Framework. This approach was validated by the integration of the Semantic Framework in the EEG/ERP Portal and by the subsequent registration of the EEG/ERP Portal in the Neuroscience Information Framework. PMID:25762923
Semantic framework for mapping object-oriented model to semantic web languages.
Ježek, Petr; Mouček, Roman
2015-01-01
The article deals with and discusses two main approaches in building semantic structures for electrophysiological metadata. It is the use of conventional data structures, repositories, and programming languages on one hand and the use of formal representations of ontologies, known from knowledge representation, such as description logics or semantic web languages on the other hand. Although knowledge engineering offers languages supporting richer semantic means of expression and technological advanced approaches, conventional data structures and repositories are still popular among developers, administrators and users because of their simplicity, overall intelligibility, and lower demands on technical equipment. The choice of conventional data resources and repositories, however, raises the question of how and where to add semantics that cannot be naturally expressed using them. As one of the possible solutions, this semantics can be added into the structures of the programming language that accesses and processes the underlying data. To support this idea we introduced a software prototype that enables its users to add semantically richer expressions into a Java object-oriented code. This approach does not burden users with additional demands on programming environment since reflective Java annotations were used as an entry for these expressions. Moreover, additional semantics need not to be written by the programmer directly to the code, but it can be collected from non-programmers using a graphic user interface. The mapping that allows the transformation of the semantically enriched Java code into the Semantic Web language OWL was proposed and implemented in a library named the Semantic Framework. This approach was validated by the integration of the Semantic Framework in the EEG/ERP Portal and by the subsequent registration of the EEG/ERP Portal in the Neuroscience Information Framework.
The implementation of thermal image visualization by HDL based on pseudo-color
NASA Astrophysics Data System (ADS)
Zhu, Yong; Zhang, JiangLing
2004-11-01
The pseudo-color method which maps the sampled data to intuitive perception colors is a kind of powerful visualization way. And the all-around system of pseudo-color visualization, which includes the primary principle, model and HDL (Hardware Description Language) implementation for the thermal images, is expatiated on in the paper. The thermal images whose signal is modulated as video reflect the temperature distribution of measured object, so they have the speciality of mass and real-time. The solution to the intractable problem is as follows: First, the reasonable system, i.e. the combining of global pseudo-color visualization and local special area accurate measure, muse be adopted. Then, the HDL pseudo-color algorithms in SoC (System on Chip) carry out the system to ensure the real-time. Finally, the key HDL algorithms for direct gray levels connection coding, proportional gray levels map coding and enhanced gray levels map coding are presented, and its simulation results are showed. The pseudo-color visualization of thermal images implemented by HDL in the paper has effective application in the aspect of electric power equipment test and medical health diagnosis.
Psycholinguistic Descriptions and Their Relevance to Education
ERIC Educational Resources Information Center
Vejleskov, Hans
1976-01-01
Article deals with the Osgood model of sign learning...and the Chomskian approach. Both...approaches are discussed in terms of their appropriateness with respect to teachers' questions about language development and language stimulation. (Author)
Beres, Anna M
2017-12-01
The discovery of electroencephalography (EEG) over a century ago has changed the way we understand brain structure and function, in terms of both clinical and research applications. This paper starts with a short description of EEG and then focuses on the event-related brain potentials (ERPs), and their use in experimental settings. It describes the typical set-up of an ERP experiment. A description of a number of ERP components typically involved in language research is presented. Finally, the advantages and disadvantages of using ERPs in language research are discussed. EEG has an extensive use in today's world, including medical, psychology, or linguistic research. The excellent temporal resolution of EEG information allows one to track a brain response in milliseconds and therefore makes it uniquely suited to research concerning language processing.
Using bio.tools to generate and annotate workbench tool descriptions
Hillion, Kenzo-Hugo; Kuzmin, Ivan; Khodak, Anton; Rasche, Eric; Crusoe, Michael; Peterson, Hedi; Ison, Jon; Ménager, Hervé
2017-01-01
Workbench and workflow systems such as Galaxy, Taverna, Chipster, or Common Workflow Language (CWL)-based frameworks, facilitate the access to bioinformatics tools in a user-friendly, scalable and reproducible way. Still, the integration of tools in such environments remains a cumbersome, time consuming and error-prone process. A major consequence is the incomplete or outdated description of tools that are often missing important information, including parameters and metadata such as publication or links to documentation. ToolDog (Tool DescriptiOn Generator) facilitates the integration of tools - which have been registered in the ELIXIR tools registry (https://bio.tools) - into workbench environments by generating tool description templates. ToolDog includes two modules. The first module analyses the source code of the bioinformatics software with language-specific plugins, and generates a skeleton for a Galaxy XML or CWL tool description. The second module is dedicated to the enrichment of the generated tool description, using metadata provided by bio.tools. This last module can also be used on its own to complete or correct existing tool descriptions with missing metadata. PMID:29333231
A Case Study of a Collaborative Speech-Language Pathologist
ERIC Educational Resources Information Center
Ritzman, Mitzi J.; Sanger, Dixie; Coufal, Kathy L.
2006-01-01
This study explored how a school-based speech-language pathologist implemented a classroom-based service delivery model that focused on collaborative practices in classroom settings. The study used ethnographic observations and interviews with 1 speech-language pathologist to provide insights into how she implemented collaborative consultation and…
Task-Based Language Learning and Teaching: An Action-Research Study
ERIC Educational Resources Information Center
Calvert, Megan; Sheen, Younghee
2015-01-01
The creation, implementation, and evaluation of language learning tasks remain a challenge for many teachers, especially those with limited experience with using tasks in their teaching. This action-research study reports on one teacher's experience of developing, implementing, critically reflecting on, and modifying a language learning task…
Multilingual Language Policies and the Continua of Biliteracy: An Ecological Approach.
ERIC Educational Resources Information Center
Hornberger, Nancy H.
2002-01-01
Uses the metaphor of ecology of language to explore ideologies underlying multilingual language policies, and the continua of biliteracy framework as ecological heuristic for situating the challenges faced in implementing them. Considers community and classroom challenges inherent in implementing these new ideologies, as evident in Bolivia and…
Beliefs in Context: Understanding Language Policy Implementation at a Systems Level
ERIC Educational Resources Information Center
Hopkins, Megan
2016-01-01
Drawing on institutional theory, this study describes how cognitive, normative, and regulative mechanisms shape bilingual teachers' language policy implementation in both English-only and bilingual contexts. Aligned with prior educational language policy research, findings indicate the important role that teachers' beliefs play in the policy…
English Language Teaching in South America: Policy, Preparation and Practices
ERIC Educational Resources Information Center
Kamhi-Stein, Lía D., Ed.; Maggioli, Gabriel Díaz, Ed.; de Oliveira, Luciana C., Ed.
2017-01-01
This book investigates new English language policies and initiatives which have been introduced and implemented across Argentina, Brazil, Chile, Colombia, Ecuador, Uruguay and Venezuela. Chapters are organized around three themes. Chapters in the first section critically examine newly-implemented English language policies, as well as factors that…
Dual Language Teachers' Stated Barriers to Implementation of Culturally Relevant Pedagogy
ERIC Educational Resources Information Center
Freire, Juan A.; Valdez, Verónica E.
2017-01-01
Culturally relevant pedagogy receives limited attention in many U.S. dual language classrooms. This article focuses on understanding the barriers eight elementary Spanish-English dual language teachers saw as preventing the implementation of culturally relevant pedagogy in their urban classrooms. Employing critical sociocultural theory and drawing…
Paradigms of Evaluation in Natural Language Processing: Field Linguistics for Glass Box Testing
ERIC Educational Resources Information Center
Cohen, Kevin Bretonnel
2010-01-01
Although software testing has been well-studied in computer science, it has received little attention in natural language processing. Nonetheless, a fully developed methodology for glass box evaluation and testing of language processing applications already exists in the field methods of descriptive linguistics. This work lays out a number of…
Organizations of Language among Adolescents in Superdiverse Copenhagen
ERIC Educational Resources Information Center
Møller, Janus Spindler; Jørgensen, Jens Normann
2013-01-01
In this paper we analyze how adolescents in a Copenhagen school classify and systematically organize the different types of language they come across in their linguistic everyday. Furthermore, we analyse descriptions of how this metapragmatic system affect the adolescents' language use in their daily life. Our primary data consist of 74 essays on…
Indigenous Minority Languages of Russia: A Bibliographical Guide.
ERIC Educational Resources Information Center
Matsumura, Kazuto, Ed.
This publication is a printed version of 54 Web documents as they were at the end of March 2002. It includes selected lists of school textbooks, dictionaries, grammars, grammatical descriptions, and folklore collections in and on 54 indigenous minority languages of Russia, many of which are endangered. The 54 languages are arranged in the…
Great-Grandfather, Please Teach Me My Language!
ERIC Educational Resources Information Center
Ka'ai, Tania M.
2017-01-01
Inspired by Joshua Fishman's lifetime dedication to the revitalisation of minority languages, especially Yiddish, this paper presents my personal story of the loss of the Maori language in my family in New Zealand/Aotearoa and our attempts to reverse this decline over several generations. The paper includes a description of several policy reforms…
"Scissors, Paper, Stone": Perceptual Foundations of Noun Classifier Systems.
ERIC Educational Resources Information Center
Erbaugh, Mary S.
While all languages use shape to classify unfamiliar objects, some languages as diverse as Mandarin, Thai, Japanese, Mohawk, and American Sign Language lexicalize these and other types of description as noun classifiers. Classification does not develop from a fixed set of features in the object, but is discourse-sensitive and invoked when it would…
Lexical Properties of Slovene Sign Language: A Corpus-Based Study
ERIC Educational Resources Information Center
Vintar, Špela
2015-01-01
Slovene Sign Language (SZJ) has as yet received little attention from linguists. This article presents some basic facts about SZJ, its history, current status, and a description of the Slovene Sign Language Corpus and Pilot Grammar (SIGNOR) project, which compiled and annotated a representative corpus of SZJ. Finally, selected quantitative data…
A Comparison of Verbal and Written Language in Alzheimer's Disease
ERIC Educational Resources Information Center
Groves-Wright, Kathy; Neils-Strunjas, Jean; Burnett, Rebecca; O'Neill, Mary Jane
2004-01-01
Few studies have examined characteristics of both verbal and written language of individuals with Alzheimer's disease (AD). This study used parallel measures (picture description, word fluency, spelling to dictation, and confrontational naming) to compare verbal and written language of individuals with mild AD, moderate AD, and normal controls (14…
ERIC Educational Resources Information Center
Szabo Wankoff, Lorain
2005-01-01
This much-needed text presents detailed descriptions of current treatment methodologies for children with language impairments. Professionals in the fields of special education, speech language pathology, psychology, psychiatry, and occupational therapy as well as audiologists who deal with central auditory processing disorders will find this book…
Research on the Language of the English Classroom: A Disconnected Dream.
ERIC Educational Resources Information Center
Kluwin, Thomas N.
Methods used in studies of the classroom language of the English teacher are described in this paper and some results of the research are reported. The paper first describes three methods traditionally employed in the description of the language of the English classroom--live observation systems, coding systems based on transcripts, and…
A Computer Assisted Language Analysis System.
ERIC Educational Resources Information Center
Rush, J. E.; And Others
A description is presented of a computer-assisted language analysis system (CALAS) which can serve as a method for isolating and displaying language utterances found in conversation. The purpose of CALAS is stated as being to deal with the question of whether it is possible to detect, isolate, and display information indicative of what is…
A Descriptive Study on EFL Learners' Perceptions of Facebook
ERIC Educational Resources Information Center
Aydin, Selami
2017-01-01
There is a strong need to investigate English as a foreign language (EFL) learners' perceptions of Facebook as a language-learning environment, as their perceptions that directly influence their language development and achievement have not been examined within the EFL learning context. Thus, this study aims to investigate EFL learners'…
Spatial Language, Visual Attention, and Perceptual Simulation
ERIC Educational Resources Information Center
Coventry, Kenny R.; Lynott, Dermot; Cangelosi, Angelo; Monrouxe, Lynn; Joyce, Dan; Richardson, Daniel C.
2010-01-01
Spatial language descriptions, such as "The bottle is over the glass", direct the attention of the hearer to particular aspects of the visual world. This paper asks how they do so, and what brain mechanisms underlie this process. In two experiments employing behavioural and eye tracking methodologies we examined the effects of spatial language on…
Critical Thinking Dispositions of Pre-Service Turkish Language Teachers and Primary Teachers
ERIC Educational Resources Information Center
Maltepe, Sadet
2016-01-01
The present study aimed to determine critical thinking dispositions of pre-service Turkish language and primary teachers in terms of several variables by employing descriptive survey design. The study group consisted of 215 senior students attending Turkish Language Teaching and Primary Education Departments of Necatibey Faculty of Education at…
A Study of Learning Strategies in Foreign Language Instruction: Findings of the Longitudinal Study.
ERIC Educational Resources Information Center
Chamot, Anna Uhl; And Others
Part of a larger research project, this longitudinal study analyzed differences between effective and ineffective high school and college language learners and changes in strategy uses over time. Related studies include a descriptive study, which identified learning strategies used in studying foreign languages, and a course development study, in…
The Production of Complement Clauses in Children with Language Impairment
ERIC Educational Resources Information Center
Steel, Gillian; Rose, Miranda; Eadie, Patricia
2016-01-01
Purpose: The purpose of this research was to provide a comprehensive description of complement-clause production in children with language impairment. Complement clauses were examined with respect to types of complement structure produced, verb use, and both semantic and syntactic accuracy. Method: A group of 17 children with language impairment…
Sex Differences in L2 Vocabulary Learning Strategies.
ERIC Educational Resources Information Center
Catalan, Rosa Maria Jimenez
2003-01-01
Reports the results of a descriptive study on sex differences in the use of a second language. A questionnaire was administered to 581 Spanish-speaking students learning Basque and English as second language to answer the following question: Do male and female second language learners differ in the number and the range of vocabulary strategies…
REPORT ON THE INTENSIVE LANGUAGE COURSES FOR THE BLIND, 1960-1966.
ERIC Educational Resources Information Center
MACDONALD, R. ROSS
A DETAILED DESCRIPTION IS GIVEN OF AN EXPERIMENT CONDUCTED AT GEORGETOWN UNIVERSITY FROM 1960 TO 1966 IN WHICH SELECTED BLIND STUDENTS, THROUGH INTENSIVE AUDIOLINGUAL LANGUAGE INSTRUCTION, WERE TRAINED TO BROADEN THEIR EMPLOYMENT POTENTIAL. ALTHOUGH ONLY RUSSIAN AND THE TRANSCRIPTION OF ORAL FOREIGN LANGUAGE MATERIALS WERE TAUGHT IN THE PILOT…
Investigation of Pre-Service Teachers' Communication Skills
ERIC Educational Resources Information Center
Kana, Fatih
2015-01-01
The purpose of this study is to determine the levels of Turkish language pre-service teachers' communication skills. Descriptive survey model was used in this study. 218 pre-service Turkish language teachers, who are studying at Department of Turkish Language Teaching at a university in the west of Turkey, participated in the study. Criterion…
Automated database design from natural language input
NASA Technical Reports Server (NTRS)
Gomez, Fernando; Segami, Carlos; Delaune, Carl
1995-01-01
Users and programmers of small systems typically do not have the skills needed to design a database schema from an English description of a problem. This paper describes a system that automatically designs databases for such small applications from English descriptions provided by end-users. Although the system has been motivated by the space applications at Kennedy Space Center, and portions of it have been designed with that idea in mind, it can be applied to different situations. The system consists of two major components: a natural language understander and a problem-solver. The paper describes briefly the knowledge representation structures constructed by the natural language understander, and, then, explains the problem-solver in detail.
Symbiotic symbolization by hand and mouth in sign language*
Sandler, Wendy
2010-01-01
Current conceptions of human language include a gestural component in the communicative event. However, determining how the linguistic and gestural signals are distinguished, how each is structured, and how they interact still poses a challenge for the construction of a comprehensive model of language. This study attempts to advance our understanding of these issues with evidence from sign language. The study adopts McNeill’s criteria for distinguishing gestures from the linguistically organized signal, and provides a brief description of the linguistic organization of sign languages. Focusing on the subcategory of iconic gestures, the paper shows that signers create iconic gestures with the mouth, an articulator that acts symbiotically with the hands to complement the linguistic description of objects and events. A new distinction between the mimetic replica and the iconic symbol accounts for the nature and distribution of iconic mouth gestures and distinguishes them from mimetic uses of the mouth. Symbiotic symbolization by hand and mouth is a salient feature of human language, regardless of whether the primary linguistic modality is oral or manual. Speakers gesture with their hands, and signers gesture with their mouths. PMID:20445832
NASA Astrophysics Data System (ADS)
Azimi, Ehsan; Behrad, Alireza; Ghaznavi-Ghoushchi, Mohammad Bagher; Shanbehzadeh, Jamshid
2016-11-01
The projective model is an important mapping function for the calculation of global transformation between two images. However, its hardware implementation is challenging because of a large number of coefficients with different required precisions for fixed point representation. A VLSI hardware architecture is proposed for the calculation of a global projective model between input and reference images and refining false matches using random sample consensus (RANSAC) algorithm. To make the hardware implementation feasible, it is proved that the calculation of the projective model can be divided into four submodels comprising two translations, an affine model and a simpler projective mapping. This approach makes the hardware implementation feasible and considerably reduces the required number of bits for fixed point representation of model coefficients and intermediate variables. The proposed hardware architecture for the calculation of a global projective model using the RANSAC algorithm was implemented using Verilog hardware description language and the functionality of the design was validated through several experiments. The proposed architecture was synthesized by using an application-specific integrated circuit digital design flow utilizing 180-nm CMOS technology as well as a Virtex-6 field programmable gate array. Experimental results confirm the efficiency of the proposed hardware architecture in comparison with software implementation.
Hardware realization of an SVM algorithm implemented in FPGAs
NASA Astrophysics Data System (ADS)
Wiśniewski, Remigiusz; Bazydło, Grzegorz; Szcześniak, Paweł
2017-08-01
The paper proposes a technique of hardware realization of a space vector modulation (SVM) of state function switching in matrix converter (MC), oriented on the implementation in a single field programmable gate array (FPGA). In MC the SVM method is based on the instantaneous space-vector representation of input currents and output voltages. The traditional computation algorithms usually involve digital signal processors (DSPs) which consumes the large number of power transistors (18 transistors and 18 independent PWM outputs) and "non-standard positions of control pulses" during the switching sequence. Recently, hardware implementations become popular since computed operations may be executed much faster and efficient due to nature of the digital devices (especially concurrency). In the paper, we propose a hardware algorithm of SVM computation. In opposite to the existing techniques, the presented solution applies COordinate Rotation DIgital Computer (CORDIC) method to solve the trigonometric operations. Furthermore, adequate arithmetic modules (that is, sub-devices) used for intermediate calculations, such as code converters or proper sectors selectors (for output voltages and input current) are presented in detail. The proposed technique has been implemented as a design described with the use of Verilog hardware description language. The preliminary results of logic implementation oriented on the Xilinx FPGA (particularly, low-cost device from Artix-7 family from Xilinx was used) are also presented.
ERIC Educational Resources Information Center
MacKinnon, Teresa
2015-01-01
In the past 5 years, the Language Centre at the University of Warwick has designed and implemented a blended learning environment in order to meet two important challenges to our Institution-Wide Language Programme (IWLP) language teaching mission. These were to connect teachers and learners together online in order to better support progress…
A Data Definition Language for GLAD (Graphic Language for Databases).
1986-06-20
basic premises. These principles state that a DBMS interface must be descriptive, powerful, easy-to use and easy to learn . This thesis proposes a data...basic premises. These principles state that a DBMS interface must be descriptive, powerful, easy to use and easy to learn . This thesis proposes a data...criteria will be the most successful. 9 If a system is hard to learn , of those capable of mastering the system few may be willing to expend the time and
2014-12-01
appears that UML is becoming the de facto MBD language. OMG® states the following on the MDA® FAQ page: “Although not formally required [for MBD], UML...a known limitation [42], so UML users should plan accordingly, especially for safety-critical programs. For example, “models are not used to...description of the MBD tool chain can be produced. That description could be resident in a Plan for Software Aspects of Certification (PSAC) or Software
A Note on Intelligence Assessment within Studies of Specific Language Impairment.
ERIC Educational Resources Information Center
Camarata, Stephen; Swisher, Linda
1990-01-01
Research procedures used to evaluate the intelligence of children with specific language impairment are reviewed. Almost half of the 167 studies did not include adequate descriptions of intelligence assessment. (Author/JDD)
ERIC Educational Resources Information Center
Center for Applied Linguistics, Arlington, VA.
The purpose of this guide is to provide Americans working with the Hmongs with: (1) some practical information on the Hmongs, their origins and language; (2) a detailed description of the sounds of the Hmong language; and (3) a discussion on Hmong as an unwritten language. This is the first of three guides to be published on the Hmongs, a people…
Tai, Hung-Cheng; Pan, Mei-Yu; Lee, Bih-O
2015-06-01
Learning English as foreign language and computer technology are two crucial skills for nursing students not only for the use in the medical institutions but also for the communication needs following the trend of globalization. Among language skills, writing has long been ignored in the curriculums although it is a core element of language learning. To apply the TPACK (Technological Pedagogical and Content Knowledge) model to design an online English writing course for nursing students, and to explore the effects of the course to the students' learning progress as well as their satisfactions and perceptions. A single-group experimental study, utilizing the CEEC (College Entrance Examination Center) writing grading criteria and a self-designed course satisfaction questionnaire, is used. Fifty one nursing students who were in their first/four semesters of the two year vocational pre-registration nursing course in a Taiwan university were selected using convenience sampling. Quantitative data were analyzed using descriptive statistics and repeated measure MANOVA. Qualitative data were analyzed by content analysis. Students' writing competence had been improved significantly in every dimension after the instruction. Only half of the learners preferred online writing compared to the traditional way of writing by hand. Additionally, participants reported that they would prefer to receive feedback from the teacher than peers, yet they did not like the indirect feedback. The teacher perceived the course as meaningful but demanding for both learning and teaching sides. To implement the peer review activities and give feedback on time were two major challenges during the cycles. The TPACK model suggests a comprehensive and effective teaching approach that can help enhance nursing students' English writing performance. Teachers are advised to consider its implementation when designing their syllabus. Copyright © 2015 Elsevier Ltd. All rights reserved.
Software packager user's guide
NASA Technical Reports Server (NTRS)
Callahan, John R.
1995-01-01
Software integration is a growing area of concern for many programmers and software managers because the need to build new programs quickly from existing components is greater than ever. This includes building versions of software products for multiple hardware platforms and operating systems, building programs from components written in different languages, and building systems from components that must execute on different machines in a distributed network. The goal of software integration is to make building new programs from existing components more seamless -- programmers should pay minimal attention to the underlying configuration issues involved. Libraries of reusable components and classes are important tools but only partial solutions to software development problems. Even though software components may have compatible interfaces, there may be other reasons, such as differences between execution environments, why they cannot be integrated. Often, components must be adapted or reimplemented to fit into another application because of implementation differences -- they are implemented in different programming languages, dependent on different operating system resources, or must execute on different physical machines. The software packager is a tool that allows programmers to deal with interfaces between software components and ignore complex integration details. The packager takes modular descriptions of the structure of a software system written in the package specification language and produces an integration program in the form of a makefile. If complex integration tools are needed to integrate a set of components, such as remote procedure call stubs, their use is implied by the packager automatically and stub generation tools are invoked in the corresponding makefile. The programmer deals only with the components themselves and not the details of how to build the system on any given platform.
NASA Technical Reports Server (NTRS)
Ludwig, Kimberly; Mackin, Michael; Wright, Theodore
1991-01-01
The Ada language software development to perform the electrical system monitoring functions for the NASA Lewis Research Center's Power Management and Distribution (PMAD) DC testbed is described. The results of the effort to implement this monitor are presented. The PMAD DC testbed is a reduced-scale prototype of the electrical power system to be used in the Space Station Freedom. The power is controlled by smart switches known as power control components (or switchgear). The power control components are currently coordinated by five Compaq 382/20e computers connected through an 802.4 local area network. One of these computers is designated as the control node with the other four acting as subsidiary controllers. The subsidiary controllers are connected to the power control components with a Mil-Std-1553 network. An operator interface is supplied by adding a sixth computer. The power system monitor algorithm is comprised of several functions including: periodic data acquisition, data smoothing, system performance analysis, and status reporting. Data is collected from the switchgear sensors every 100 milliseconds, then passed through a 2 Hz digital filter. System performance analysis includes power interruption and overcurrent detection. The reporting mechanism notifies an operator of any abnormalities in the system. Once per second, the system monitor provides data to the control node for further processing, such as state estimation. The system monitor required a hardware time interrupt to activate the data acquisition function. The execution time of the code was optimized using an assembly language routine. The routine allows direct vectoring of the processor to Ada language procedures that perform periodic control activities. A summary of the advantages and side effects of this technique are discussed.
ERIC Educational Resources Information Center
Rattanavich, Saowalak
2015-01-01
This article presents the lighthouse literacy strategies model using the concentrated language encounter (CLE) approach that has been successfully replicated in many countries in different languages and cultures. A review of CLE research studies and the project implementation in Thailand showed highly significant results in students' literacy…
Innovating Education with an Educational Modeling Language: Two Case Studies
ERIC Educational Resources Information Center
Sloep, Peter B.; van Bruggen, Jan; Tattersall, Colin; Vogten, Hubert; Koper, Rob; Brouns, Francis; van Rosmalen, Peter
2006-01-01
The intent of this study was to investigate how to maximize the chances of success of an educational innovation--specifically one based on the implementation of the educational modeling language called EML. This language is both technically and organizationally demanding. Two different implementation cases were investigated, one situated in an…
Understanding and Implementing the CLT (Communicative Language Teaching) Paradigm
ERIC Educational Resources Information Center
Jacobs, George M.; Farell, Thomas S. C.
2003-01-01
The call to change seems to be a constant in education. In second language education, a constellation of changes have been proposed and, to some extent, implemented. This constellation of interconnected changes can perhaps best be termed a paradigm shift, with this paradigm fitting under the general umbrella of Communicative Language Teaching…
Language Planning and Student Experiences: Intention, Rhetoric and Implementation
ERIC Educational Resources Information Center
Lo Bianco, Joseph; Aliani, Renata
2013-01-01
This book is a timely comparison of the divergent worlds of policy implementation and policy ambition, the messy, often contradictory here-and-now reality of languages in schools and the sharp-edged, shiny, future-oriented representation of languages in policy. Two deep rooted tendencies in Australian political and social life, multiculturalism…
Learning L2 Vocabulary with American TV Drama "From the Learner's Perspective"
ERIC Educational Resources Information Center
Wang, Yu-Chia
2012-01-01
Following the trend of computer assisted language learning (CALL), in Taiwan, most language classes now have equivalent media support for language teachers and learners. Implementing videos into classroom activities is one of the choices. The current study explores the process of implementing American TV drama in L2 vocabulary learning from…
Dynamic mapping of EDDL device descriptions to OPC UA
NASA Astrophysics Data System (ADS)
Atta Nsiah, Kofi; Schappacher, Manuel; Sikora, Axel
2017-07-01
OPC UA (Open Platform Communications Unified Architecture) is already a well-known concept used widely in the automation industry. In the area of factory automation, OPC UA models the underlying field devices such as sensors and actuators in an OPC UA server to allow connecting OPC UA clients to access device-specific information via a standardized information model. One of the requirements of the OPC UA server to represent field device data using its information model is to have advanced knowledge about the properties of the field devices in the form of device descriptions. The international standard IEC 61804 specifies EDDL (Electronic Device Description Language) as a generic language for describing the properties of field devices. In this paper, the authors describe a possibility to dynamically map and integrate field device descriptions based on EDDL into OPCUA.
Bakić-Mirić, Natasa
2010-01-01
Theory of multiple intelligences (MI) is considered an innovation in learning the English language because it helps students develop all eight intelligences that, on the other hand, represent ways people understand the world around them, solve problems and learn. They are: verbal/linguistic, logical/mathematical, visual/spatial, bodily/kinaesthetic, musical/rhythmic, interpersonal, intrapersonal and naturalist. Also, by focusing on the problem-solving activities, teachers, by implementing theory of multiple intelligences, encourage students not only to build their existing language knowledge but also learn new content and skills. The objective of this study has been to determine the importance of implementation of the theory of multiple intelligences in the English language course syllabus at the University of Nis Medical School. Ways in which the theory of multiple intelligences has been implemented in the English language course syllabus particularly in one lecture for junior year students of pharmacy in the University of Nis Medical School. The English language final exam results from February 2009 when compared with the final exam results from June 2007 prior to the implementation of MI theory showed the following: out of 80 junior year students of pharmacy, 40 obtained grade 10 (outstanding), 16 obtained grade 9 (excellent), 11 obtained grade 8 (very good), 4 obtained grade 7 (good) and 9 obtained grade 6 (pass). No student failed. The implementation of the theory of multiple intelligences in the English language course syllabus at the University of Nis Medical School has had a positive impact on learning the English language and has increased students' interest in language learning. Genarally speaking, this theory offers better understanding of students' intelligence and greater appreciation of their strengths. It provides numerous opportunities for students to use and develop all eight intelligences not just the few they excel in prior to enrolling in a university or college.
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.
ERIC Educational Resources Information Center
Mills, Nancy; Ovando, Carlos, Ed.
1988-01-01
Reviews a volume of descriptive and evaluative information on 47 commercially available English language proficiency tests used in North America, Great Britain, and Australia. The book includes discussions of uses and misuses of tests, and overviews of English as second language testing in North America and Great Britain. (SV)
ERIC Educational Resources Information Center
Harvey, T. Edward
1987-01-01
A national survey of full-time instructional faculty (N=208) at universities, 2-year colleges, and high schools regarding attitudes toward using computers in second-language composition instruction revealed a predomination of Apple and IBM-PC computers used, a major frustration in lack of foreign character support, and mixed opinions about real…
ERIC Educational Resources Information Center
Hayati, Noor
2015-01-01
This research aimed to investigate; students' English academic achievement, beliefs about English language learning, English language learning strategies, and the relationship of them. Descriptive and correlational design, quantitative methods were applied in this research. The students' final English scores of the first year, BALLI, and SILL were…
English as a Second Language (ESL) in Alberta Schools. Parent Handbook.
ERIC Educational Resources Information Center
Alberta Dept. of Education, Edmonton.
Schools in Alberta provide English-as-a-Second-Language (ESL) program support to immigrant students while they are adjusting to Canadian culture and learning the English language. This booklet is for parents who are new to Alberta, whose children are learning ESL and/or who need more information about ESL program support. A description of the…
THE GBAYA LANGUAGE, GRAMMAR, TEXTS, AND VOCABULARIES.
ERIC Educational Resources Information Center
SAMARIN, WILLIAM J.
A DESCRIPTION OF THE GBAYA PEOPLES LIVING IN THE DISTRICT OF BOSSANGOA IN THE NORTHWESTERN PART OF THE CENTRAL AFRICAN REPUBLIC IS PRESENTED IN THE INTRODUCTION TO THIS COMPREHENSIVE STUDY OF THE GBAYA LANGUAGE. (THE LANGUAGE IS SPELLED VARIOUSLY BEA, GBEA, AND GBAYA.) IN THREE SECTIONS, THE FIRST PART OF THE TEXT DEALS WITH THE PHONOLOGY AND…
ERIC Educational Resources Information Center
Di Biase, Bruno; And Others
The status of the Italian language in Australia, particularly in the educational system at all levels, in Australian society in general, and in trade, technology, and tourism is discussed in this report. It begins with a description of the teaching of Italian in elementary, secondary, higher, adult/continuing, and teacher education. Trends are…
An Insight into Secondary School Students' Beliefs Regarding Learning English Language
ERIC Educational Resources Information Center
Aziz, Fakhra; Quraishi, Uzma
2017-01-01
The present descriptive study aimed to get an insight into secondary school students' beliefs regarding English language learning. The survey method was employed for obtaining data from the secondary school students (N = 664). A modified version of "beliefs about language learning inventory" was used to collect data. Five out of nine…
The Impact of Task Type on Oral Performance of English Language Preparatory School Students
ERIC Educational Resources Information Center
Baturay, Meltem Huri; Sancar Tokmak, Hatice; Dogusoy, Berrin; Daloglu, Aysegul
2011-01-01
In this study, the effects of narrative, descriptive and prediction-personal reaction task types with visuals on the oral performance of intermediate level English language learners were compared. The study was carried out at Gazi University Preparatory School, Research and Application Center for the Instruction of Foreign Languages with the…
ERIC Educational Resources Information Center
Hsieh, Hsiu-Wei
2012-01-01
The proliferation of information and communication technologies and the prevalence of online social networks have facilitated the opportunities for informal learning of foreign languages. However, little educational research has been conducted on how individuals utilize those social networks to take part in self-initiated language learning without…
Inferring heuristic classification hierarchies from natural language input
NASA Technical Reports Server (NTRS)
Hull, Richard; Gomez, Fernando
1993-01-01
A methodology for inferring hierarchies representing heuristic knowledge about the check out, control, and monitoring sub-system (CCMS) of the space shuttle launch processing system from natural language input is explained. Our method identifies failures explicitly and implicitly described in natural language by domain experts and uses those descriptions to recommend classifications for inclusion in the experts' heuristic hierarchies.
Historical Development of Hong Kong Sign Language
ERIC Educational Resources Information Center
Sze, Felix; Lo, Connie; Lo, Lisa; Chu, Kenny
2013-01-01
This article traces the origins of Hong Kong Sign Language (hereafter HKSL) and its subsequent development in relation to the establishment of Deaf education in Hong Kong after World War II. We begin with a detailed description of the history of Deaf education with a particular focus on the role of sign language in such development. We then…
ERIC Educational Resources Information Center
Chacon, Thiago Costa
2012-01-01
This dissertation offers a detailed account of the phonology, morphophonology and elements of the morphosyntax of Kubeo, a language from the Eastern Tukanoan family, spoken in the Northwest Amazon. The dissertation is itself an experiment of how language documentation and empowering of the native speaker community can be combined with academic…
ERIC Educational Resources Information Center
Gaile, Jacqueline; Adams, Catherine
2018-01-01
Background: Metacognition is a significant component of complex interventions for children who have developmental language disorders. Research into how metacognition operates in the content or process of developmental language therapy delivery is limited. Identification and description of proposed active therapy components, such as metacognition,…
More than "Hello" and "Bye-Bye": Opening and Closing the Online Chats in Mandarin Chinese
ERIC Educational Resources Information Center
Zhang, De
2014-01-01
Reporting on a descriptive study on the first semester Chinese language learners' openings and closings in online chats with age-peer native speakers of Chinese, this paper demonstrates the great promise that telecollaboration holds for foreign language education, and argues for an increasing role of pragmatics in Chinese language instruction, and…
YURAK CHRESTOMATHY. URALIC AND ALTAIC SERIES, VOLUME 50.
ERIC Educational Resources Information Center
DECSY, GYULA
THE YURAK LANGUAGE, THE MOST IMPORTANT OF THE SAMOYED LANGUAGE GROUP, IS SPOKEN BY ABOUT 25,000 YURAKS IN AN AREA WHICH EXTENDS FROM ARKHANGEL TO THE YENISEY RIVER IN NORTHWESTERN SIBERIA. THIS CHRESTOMATHY PRESENTS A GENERAL INTRODUCTION TO THE LANGUAGE AND ITS MAIN DIALECTS. PART ONE, DESCRIPTIVE GRAMMAR, IS PREFACED BY AN EXPLANATION OF THE…
ERIC Educational Resources Information Center
Elaldi, Senel
2015-01-01
This study aims to determine lifelong learning dispositions of English Language and Literature students in terms of gender, grade levels, and age variables. Descriptive research design was used. The study group consisted of 402 students studying English Language and Literature at Cumhuriyet University in Sivas, Turkey. Research data were collected…
A Guide to Internet Resources in Language Arts.
ERIC Educational Resources Information Center
Homme, John, Comp.; And Others
This paper presents a list of 154 Internet resources (listservs, freenets, telnet sites, gophers, etc.) dealing with language arts. Each entry in the list includes the name of the resource, and subscription and electronic mail addresses. Some of the entries in the list include a brief description of the resource. The paper lists 17 language arts…
Task-Based Language Teaching with Smartphones: A Case Study in Pakistan
ERIC Educational Resources Information Center
Rashid, Shaista; Cunningham, Una; Watson, Kevin
2017-01-01
Integration of technology in task-based language teaching (TBLT) has long been a source of attraction for language teachers (Pierson, 2015). In the case of developing countries, such as Pakistan, mobile phones are the modern form of technology commonly available at low cost to individuals as well as institutions. The present descriptive case study…
ERIC Educational Resources Information Center
Lin, Joshua; Hughes, Rosemary; Long, Daniel; Kim, Dae
2016-01-01
As a group, English Language Learners (ELLs) are diverse and come from a variety of home languages, cultures, educational backgrounds, and educational needs. This brief focuses on descriptive characteristics of the ELL students served by the School District of Philadelphia in 2014-2015. Specifically, this brief highlights the diversity of the ELL…
ERIC Educational Resources Information Center
Barjesteh, Hamed; Mukundan, Jayakaran; Vaseghi, Reza
2014-01-01
The current paper presented theoretical assumptions behind language learning strategies (LLS) and an overview of methods used to identify learners' strategies, first, and then summarized what have been reported from large number of descriptive studies of strategies by language learners. Moreover, the paper tried to present the variety of…
On Selected Morphemes in Saudi Arabian Sign Language
ERIC Educational Resources Information Center
Morris, Carla; Schneider, Erin
2012-01-01
Following a year of study of Saudi Arabian Sign Language (SASL), we are documenting our findings to provide a grammatical sketch of the language. This paper represents one part of that endeavor and focuses on a description of selected morphemes, both manual and non-manual, that have appeared in the course of data collection. While some of the…
Cultural Studies and Foreign Language Teaching in Denmark. ROLIG-papir 41.
ERIC Educational Resources Information Center
Risager, Karen
A description is provided of foreign language and related cultural education (English, French, and German) in Denmark since the 1950s. The first section gives an overview of the development of Danish society in general since the second world war, and more specifically, of developments in foreign language teaching. The second section briefly…
Pluricentric Views towards English and Implications for ELT in China
ERIC Educational Resources Information Center
Jianli, Liang
2015-01-01
Descriptions of the classifications or models of English language have been proposed by a number of scholars who attempt to explain the differences in the ways English is used in different localities. This paper reviews three models of classification of English language, with an aim of drawing implications on how English Language Teaching (ELT) in…
Language Assessment and the Inseparability of Lexis and Grammar: Focus on the Construct of Speaking
ERIC Educational Resources Information Center
Römer, Ute
2017-01-01
This paper aims to connect recent corpus research on phraseology with current language testing practice. It discusses how corpora and corpus-analytic techniques can illuminate central aspects of speech and help in conceptualizing the notion of lexicogrammar in second language speaking assessment. The description of speech and some of its core…
The Foreign Language Classroom: Current Perspectives and Future Considerations
ERIC Educational Resources Information Center
Collins, Laura; Muñoz, Carmen
2016-01-01
"The Modern Language Journal" has long been an important venue for the publication of research and reflection on the teaching and learning of foreign languages (FL) in classroom contexts. In this article, we offer a perspective on the contemporary FL classroom, informed by a descriptive survey of all studies that took place in FL classes…
ERIC Educational Resources Information Center
Chidi-Ehiem, Ugochi Ijeoma
2015-01-01
This descriptive survey was carried out in order to determine the conditions handicapping the teaching of major Nigerian languages in secondary schools in Ebonyi State, Nigeria. A random sample of 953 students and 602 language teachers completed a corresponding copies of questionnaire designed for the study. Out of 1555 copies of questionnaire…
ERIC Educational Resources Information Center
Kayi-Aydar, Hayriye
2014-01-01
Guided by positioning theory and poststructural views of second language learning, the two descriptive case studies presented in this article explored the links between social positioning and the language learning experiences of two talkative students in an academic ESL classroom. Focusing on the macro- and micro-level contexts of communication,…
Current Issues in LPP Research and Their Impact on Society
ERIC Educational Resources Information Center
Darquennes, Jeroen
2013-01-01
After a very broad description of what language policy and planning is about this paper presents an overview of some of the current preoccupations of researchers focusing on language policy and planning as one of the blooming fields of applied linguistics. The current issues in language policy and planning research that are dealt with include…
What Do Learners Make of Teachers' Gestures in the Language Classroom?
ERIC Educational Resources Information Center
Sime, Daniela
2006-01-01
This study explores the meanings that learners of English as a foreign language give to teachers' gestures. It is a qualitative, descriptive study of the perceived functions that gestures perform in the EFL classroom, viewed mainly from the language learners' perspective. The data for the study was collected through interviews with twenty-two…
ERIC Educational Resources Information Center
Elega, Adeola Abdulateef; Özad, Bahire Efe
2017-01-01
This study sought to investigate how Nigerian students in Northern Cyprus cope with language barrier and increase interactions with people of the host community beyond the classroom via utilizing technological adaptive strategies. In order to complete this study, a descriptive design based on a survey conducted among 238 Nigerian students studying…
Cognitive, cultural, and linguistic sources of a handshape distinction expressing agentivity.
Brentari, Diane; Di Renzo, Alessio; Keane, Jonathan; Volterra, Virginia
2015-01-01
In this paper the cognitive, cultural, and linguistic bases for a pattern of conventionalization of two types of iconic handshapes are described. Work on sign languages has shown that handling handshapes (H-HSs: those that represent how objects are handled or manipulated) and object handshapes (O-HSs: those that represent the class, size, or shape of objects) express an agentive/non-agentive semantic distinction in many sign languages. H-HSs are used in agentive event descriptions and O-HSs are used in non-agentive event descriptions. In this work, American Sign Language (ASL) and Italian Sign Language (LIS) productions are compared (adults and children) as well as the corresponding groups of gesturers in each country using "silent gesture." While the gesture groups, in general, did not employ an H-HS/O-HS distinction, all participants (signers and gesturers) used iconic handshapes (H-HSs and O-HSs together) more often in agentive than in no-agent event descriptions; moreover, none of the subjects produced an opposite pattern than the expected one (i.e., H-HSs associated with no-agent descriptions and O-HSs associated with agentive ones). These effects are argued to be grounded in cognition. In addition, some individual gesturers were observed to produce the H-HS/O-HS opposition for agentive and non-agentive event descriptions-that is, more Italian than American adult gesturers. This effect is argued to be grounded in culture. Finally, the agentive/non-agentive handshape opposition is confirmed for signers of ASL and LIS, but previously unreported cross-linguistic differences were also found across both adult and child sign groups. It is, therefore, concluded that cognitive, cultural, and linguistic factors contribute to the conventionalization of this distinction of handshape type. Copyright © 2014 Cognitive Science Society, Inc.
Students’ Mathematical Literacy in Solving PISA Problems Based on Keirsey Personality Theory
NASA Astrophysics Data System (ADS)
Masriyah; Firmansyah, M. H.
2018-01-01
This research is descriptive-qualitative research. The purpose is to describe students’ mathematical literacy in solving PISA on space and shape content based on Keirsey personality theory. The subjects are four junior high school students grade eight with guardian, artisan, rational or idealist personality. Data collecting methods used test and interview. Data of Keirsey Personality test, PISA test, and interview were analysed. Profile of mathematical literacy of each subject are described as follows. In formulating, guardian subject identified mathematical aspects are formula of rectangle area and sides length; significant variables are terms/conditions in problem and formula of ever encountered question; translated into mathematical language those are measurement and arithmetic operations. In employing, he devised and implemented strategies using ease of calculation on area-subtraction principle; declared truth of result but the reason was less correct; didn’t use and switch between different representations. In interpreting, he declared result as area of house floor; declared reasonableness according measurement estimation. In formulating, artisan subject identified mathematical aspects are plane and sides length; significant variables are solution procedure on both of daily problem and ever encountered question; translated into mathematical language those are measurement, variables, and arithmetic operations as well as symbol representation. In employing, he devised and implemented strategies using two design comparison; declared truth of result without reason; used symbol representation only. In interpreting, he expressed result as floor area of house; declared reasonableness according measurement estimation. In formulating, rational subject identified mathematical aspects are scale and sides length; significant variables are solution strategy on ever encountered question; translated into mathematical language those are measurement, variable, arithmetic operation as well as symbol and graphic representation. In employing, he devised and implemented strategies using additional plane forming on area-subtraction principle; declared truth of result according calculation process; used and switched between symbol and graphic representation. In interpreting, he declared result as house area within terrace and wall; declared reasonableness according measurement estimation. In formulating, idealist subject identified mathematical aspects are sides length; significant variables are terms/condition in problem; translated into mathematical language those are measurement, variables, arithmetic operations as well as symbol and graphic representation. In employing, he devised and implemented strategies using trial and error and two design in process of finding solutions; declared truth of result according the use of two design of solution; used and switched between symbol and graphic representation. In interpreting, he declared result as floor area of house; declared reasonableness according measurement estimation.
ERIC Educational Resources Information Center
Phillips, Beth M.; Ingrole, Smriti A.; Burris, Pamela W.; Tabulda, Galiya
2017-01-01
This study describes initial development, feasibility, and fidelity of implementation of a vocabulary and language curriculum supplement that combined explicit instruction and educational television programming to enhance children's vocabulary acquisition. Efficacy of an intervention relies in part on its fidelity of implementation, but little is…
Effects of Language of Implementation on Functional Analysis Outcomes
ERIC Educational Resources Information Center
Rispoli, Mandy; O'Reilly, Mark; Lang, Russell; Sigafoos, Jeff; Mulloy, Austin; Aguilar, Jeannie; Singer, George
2011-01-01
This study evaluated the influence of language of implementation on functional analysis outcomes for a child with a severe intellectual disability from a Spanish-speaking home. Challenging behavior was assessed during 5-min sessions under 4 conditions; attention, play-verbal, play-nonverbal, and demand and across 2 phases; implementation in…
Social media enhances languages differentiation: a mathematical description.
Vidal-Franco, Ignacio; Guiu-Souto, Jacobo; Muñuzuri, Alberto P
2017-05-01
Understanding and predicting the evolution of competing languages is a topic of high interest in a world with more than 6000 languages competing in a highly connected environment. We consider a reasonable mathematical model describing a situation of competition between two languages and analyse the effect of the speakers' connectivity (i.e. social networks). Surprisingly, instead of homogenizing the system, a high degree of connectivity helps to introduce differentiation for the appropriate parameters.
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
Systematic review: conservative treatments for secondary lymphedema
2012-01-01
Background Several conservative (i.e., nonpharmacologic, nonsurgical) treatments exist for secondary lymphedema. The optimal treatment is unknown. We examined the effectiveness of conservative treatments for secondary lymphedema, as well as harms related to these treatments. Methods We searched MEDLINE®, EMBASE®, Cochrane Central Register of Controlled Trials®, AMED, and CINAHL from 1990 to January 19, 2010. We obtained English- and non-English-language randomized controlled trials or observational studies (with comparison groups) that reported primary effectiveness data on conservative treatments for secondary lymphedema. For English-language studies, we extracted data in tabular form and summarized the tables descriptively. For non-English-language studies, we summarized the results descriptively and discussed similarities with the English-language studies. Results Thirty-six English-language and eight non-English-language studies were included in the review. Most of these studies involved upper-limb lymphedema secondary to breast cancer. Despite lymphedema's chronicity, lengths of follow-up in most studies were under 6 months. Many trial reports contained inadequate descriptions of randomization, blinding, and methods to assess harms. Most observational studies did not control for confounding. Many studies showed that active treatments reduced the size of lymphatic limbs, although extensive between-study heterogeneity in areas such as treatment comparisons and protocols, and outcome measures, prevented us from assessing whether any one treatment was superior. This heterogeneity also precluded us from statistically pooling results. Harms were rare (< 1% incidence) and mostly minor (e.g., headache, arm pain). Conclusions The literature contains no evidence to suggest the most effective treatment for secondary lymphedema. Harms are few and unlikely to cause major clinical problems. PMID:22216837
Barrès, Victor; Lee, Jinyong
2014-01-01
How does the language system coordinate with our visual system to yield flexible integration of linguistic, perceptual, and world-knowledge information when we communicate about the world we perceive? Schema theory is a computational framework that allows the simulation of perceptuo-motor coordination programs on the basis of known brain operating principles such as cooperative computation and distributed processing. We present first its application to a model of language production, SemRep/TCG, which combines a semantic representation of visual scenes (SemRep) with Template Construction Grammar (TCG) as a means to generate verbal descriptions of a scene from its associated SemRep graph. SemRep/TCG combines the neurocomputational framework of schema theory with the representational format of construction grammar in a model linking eye-tracking data to visual scene descriptions. We then offer a conceptual extension of TCG to include language comprehension and address data on the role of both world knowledge and grammatical semantics in the comprehension performances of agrammatic aphasic patients. This extension introduces a distinction between heavy and light semantics. The TCG model of language comprehension offers a computational framework to quantitatively analyze the distributed dynamics of language processes, focusing on the interactions between grammatical, world knowledge, and visual information. In particular, it reveals interesting implications for the understanding of the various patterns of comprehension performances of agrammatic aphasics measured using sentence-picture matching tasks. This new step in the life cycle of the model serves as a basis for exploring the specific challenges that neurolinguistic computational modeling poses to the neuroinformatics community.
ERIC Educational Resources Information Center
Mahdi, Hassan Saleh
2014-01-01
This article reviews the literature on the implementation of computer-mediated communication (CMC) in language learning, aiming at understanding how CMC environments have been implemented to foster language learning. The paper draws on 40 recent research articles selected from 10 peer-reviewed journals, 2 book chapters and one conference…
ERIC Educational Resources Information Center
Sinagatullin, Ilghiz M.
2013-01-01
Russia's secondary school populations are becoming increasingly diverse in terms of ethnicity, culture, language, and religion. The growing diversity makes a considerable impact on the functions and goals of schools, the realization of which requires the implementation of an equitable language policy. In this article, I briefly represent Russia as…
Paradigm Shift: Understanding and Implementing Change in Second Language Education
ERIC Educational Resources Information Center
Jacobs, George M.; Farrell, Thomas S. C.
2001-01-01
Change seems to be a constant in education. We can better understand and implement change in second language education if we look for connections between changes. The concept of paradigm shift offers one means of making such connections. This article describes eight changes that fit with the paradigm shift in second language education toward what…
Creating and Nurturing a Community of Practice for Language Teachers in Higher Education
ERIC Educational Resources Information Center
MacKinnon, Teresa
2013-01-01
This case study investigates the implementation of a virtual learning environment designed for language teachers for an institution-wide language programme in a UK higher education institution. This development has taken place over a 3 year period and included a pilot virtual learning environment for 300, followed by a full implementation to more…
ERIC Educational Resources Information Center
Tom-Lawyer, Oris Oritsebemigho
2015-01-01
This paper examines the perceptions of English language lecturers from three colleges of education on the factors that inhibit the implementation process of the revised English Language Nigeria Certificate Education Curriculum. The study which is underpinned by the CIPP Evaluation model is part of a larger study on the evaluation of the…
Gautier, Laurent
2010-12-21
Computer languages can be domain-related, and in the case of multidisciplinary projects, knowledge of several languages will be needed in order to quickly implements ideas. Moreover, each computer language has relative strong points, making some languages better suited than others for a given task to be implemented. The Bioconductor project, based on the R language, has become a reference for the numerical processing and statistical analysis of data coming from high-throughput biological assays, providing a rich selection of methods and algorithms to the research community. At the same time, Python has matured as a rich and reliable language for the agile development of prototypes or final implementations, as well as for handling large data sets. The data structures and functions from Bioconductor can be exposed to Python as a regular library. This allows a fully transparent and native use of Bioconductor from Python, without one having to know the R language and with only a small community of translators required to know both. To demonstrate this, we have implemented such Python representations for key infrastructure packages in Bioconductor, letting a Python programmer handle annotation data, microarray data, and next-generation sequencing data. Bioconductor is now not solely reserved to R users. Building a Python application using Bioconductor functionality can be done just like if Bioconductor was a Python package. Moreover, similar principles can be applied to other languages and libraries. Our Python package is available at: http://pypi.python.org/pypi/rpy2-bioconductor-extensions/.
Ground Operations Aerospace Language (GOAL) textbook
NASA Technical Reports Server (NTRS)
Dickison, L. R.
1973-01-01
The textbook provides a semantical explanation accompanying a complete set of GOAL syntax diagrams, system concepts, language component interaction, and general language concepts necessary for efficient language implementation/execution.
Algorithms and programming tools for image processing on the MPP
NASA Technical Reports Server (NTRS)
Reeves, A. P.
1985-01-01
Topics addressed include: data mapping and rotational algorithms for the Massively Parallel Processor (MPP); Parallel Pascal language; documentation for the Parallel Pascal Development system; and a description of the Parallel Pascal language used on the MPP.
Federal Register 2010, 2011, 2012, 2013, 2014
2011-11-03
... FEDERAL COMMUNICATIONS COMMISSION 47 CFR Parts 79 [MB Docket No. 11-43; FCC 11-126] Video Description: Implementation of the Twenty-First Century Communications and Video Accessibility Act of 2010... implementation of the Video Description elements of the Twenty-First Century Communications and Video...
Novel structures for Discrete Hartley Transform based on first-order moments
NASA Astrophysics Data System (ADS)
Xiong, Jun; Zheng, Wenjuan; Wang, Hao; Liu, Jianguo
2018-03-01
Discrete Hartley Transform (DHT) is an important tool in digital signal processing. In the present paper, the DHT is firstly transformed into the first-order moments-based form, then a new fast algorithm is proposed to calculate the first-order moments without multiplication. Based on the algorithm theory, the corresponding hardware architecture for DHT is proposed, which only contains shift operations and additions with no need for multipliers and large memory. To verify the availability and effectiveness, the proposed design is implemented with hardware description language and synthesized by Synopsys Design Compiler with 0.18-μm SMIC library. A series of experiments have proved that the proposed architecture has better performance in terms of the product of the hardware consumption and computation time.
Semantics-enabled service discovery framework in the SIMDAT pharma grid.
Qu, Cangtao; Zimmermann, Falk; Kumpf, Kai; Kamuzinzi, Richard; Ledent, Valérie; Herzog, Robert
2008-03-01
We present the design and implementation of a semantics-enabled service discovery framework in the data Grids for process and product development using numerical simulation and knowledge discovery (SIMDAT) Pharma Grid, an industry-oriented Grid environment for integrating thousands of Grid-enabled biological data services and analysis services. The framework consists of three major components: the Web ontology language (OWL)-description logic (DL)-based biological domain ontology, OWL Web service ontology (OWL-S)-based service annotation, and semantic matchmaker based on the ontology reasoning. Built upon the framework, workflow technologies are extensively exploited in the SIMDAT to assist biologists in (semi)automatically performing in silico experiments. We present a typical usage scenario through the case study of a biological workflow: IXodus.
Iris unwrapping using the Bresenham circle algorithm for real-time iris recognition
NASA Astrophysics Data System (ADS)
Carothers, Matthew T.; Ngo, Hau T.; Rakvic, Ryan N.; Broussard, Randy P.
2015-02-01
An efficient parallel architecture design for the iris unwrapping process in a real-time iris recognition system using the Bresenham Circle Algorithm is presented in this paper. Based on the characteristics of the model parameters this algorithm was chosen over the widely used polar conversion technique as the iris unwrapping model. The architecture design is parallelized to increase the throughput of the system and is suitable for processing an inputted image size of 320 × 240 pixels in real-time using Field Programmable Gate Array (FPGA) technology. Quartus software is used to implement, verify, and analyze the design's performance using the VHSIC Hardware Description Language. The system's predicted processing time is faster than the modern iris unwrapping technique used today∗.
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
Super-Resolution in Plenoptic Cameras Using FPGAs
Pérez, Joel; Magdaleno, Eduardo; Pérez, Fernando; Rodríguez, Manuel; Hernández, David; Corrales, Jaime
2014-01-01
Plenoptic cameras are a new type of sensor that extend the possibilities of current commercial cameras allowing 3D refocusing or the capture of 3D depths. One of the limitations of plenoptic cameras is their limited spatial resolution. In this paper we describe a fast, specialized hardware implementation of a super-resolution algorithm for plenoptic cameras. The algorithm has been designed for field programmable graphic array (FPGA) devices using VHDL (very high speed integrated circuit (VHSIC) hardware description language). With this technology, we obtain an acceleration of several orders of magnitude using its extremely high-performance signal processing capability through parallelism and pipeline architecture. The system has been developed using generics of the VHDL language. This allows a very versatile and parameterizable system. The system user can easily modify parameters such as data width, number of microlenses of the plenoptic camera, their size and shape, and the super-resolution factor. The speed of the algorithm in FPGA has been successfully compared with the execution using a conventional computer for several image sizes and different 3D refocusing planes. PMID:24841246
Automated Software Development Workstation (ASDW)
NASA Technical Reports Server (NTRS)
Fridge, Ernie
1990-01-01
Software development is a serious bottleneck in the construction of complex automated systems. An increase of the reuse of software designs and components has been viewed as a way to relieve this bottleneck. One approach to achieving software reusability is through the development and use of software parts composition systems. A software parts composition system is a software development environment comprised of a parts description language for modeling parts and their interfaces, a catalog of existing parts, a composition editor that aids a user in the specification of a new application from existing parts, and a code generator that takes a specification and generates an implementation of a new application in a target language. The Automated Software Development Workstation (ASDW) is an expert system shell that provides the capabilities required to develop and manipulate these software parts composition systems. The ASDW is now in Beta testing at the Johnson Space Center. Future work centers on responding to user feedback for capability and usability enhancement, expanding the scope of the software lifecycle that is covered, and in providing solutions to handling very large libraries of reusable components.
Super-resolution in plenoptic cameras using FPGAs.
Pérez, Joel; Magdaleno, Eduardo; Pérez, Fernando; Rodríguez, Manuel; Hernández, David; Corrales, Jaime
2014-05-16
Plenoptic cameras are a new type of sensor that extend the possibilities of current commercial cameras allowing 3D refocusing or the capture of 3D depths. One of the limitations of plenoptic cameras is their limited spatial resolution. In this paper we describe a fast, specialized hardware implementation of a super-resolution algorithm for plenoptic cameras. The algorithm has been designed for field programmable graphic array (FPGA) devices using VHDL (very high speed integrated circuit (VHSIC) hardware description language). With this technology, we obtain an acceleration of several orders of magnitude using its extremely high-performance signal processing capability through parallelism and pipeline architecture. The system has been developed using generics of the VHDL language. This allows a very versatile and parameterizable system. The system user can easily modify parameters such as data width, number of microlenses of the plenoptic camera, their size and shape, and the super-resolution factor. The speed of the algorithm in FPGA has been successfully compared with the execution using a conventional computer for several image sizes and different 3D refocusing planes.
Complex Event Recognition Architecture
NASA Technical Reports Server (NTRS)
Fitzgerald, William A.; Firby, R. James
2009-01-01
Complex Event Recognition Architecture (CERA) is the name of a computational architecture, and software that implements the architecture, for recognizing complex event patterns that may be spread across multiple streams of input data. One of the main components of CERA is an intuitive event pattern language that simplifies what would otherwise be the complex, difficult tasks of creating logical descriptions of combinations of temporal events and defining rules for combining information from different sources over time. In this language, recognition patterns are defined in simple, declarative statements that combine point events from given input streams with those from other streams, using conjunction, disjunction, and negation. Patterns can be built on one another recursively to describe very rich, temporally extended combinations of events. Thereafter, a run-time matching algorithm in CERA efficiently matches these patterns against input data and signals when patterns are recognized. CERA can be used to monitor complex systems and to signal operators or initiate corrective actions when anomalous conditions are recognized. CERA can be run as a stand-alone monitoring system, or it can be integrated into a larger system to automatically trigger responses to changing environments or problematic situations.
Architecting the Human Space Flight Program with Systems Modeling Language (SysML)
NASA Technical Reports Server (NTRS)
Jackson, Maddalena M.; Fernandez, Michela Munoz; McVittie, Thomas I.; Sindiy, Oleg V.
2012-01-01
The next generation of missions in NASA's Human Space Flight program focuses on the development and deployment of highly complex systems (e.g., Orion Multi-Purpose Crew Vehicle, Space Launch System, 21st Century Ground System) that will enable astronauts to venture beyond low Earth orbit and explore the moon, near-Earth asteroids, and beyond. Architecting these highly complex system-of-systems requires formal systems engineering techniques for managing the evolution of the technical features in the information exchange domain (e.g., data exchanges, communication networks, ground software) and also, formal correlation of the technical architecture to stakeholders' programmatic concerns (e.g., budget, schedule, risk) and design development (e.g., assumptions, constraints, trades, tracking of unknowns). This paper will describe how the authors have applied System Modeling Language (SysML) to implement model-based systems engineering for managing the description of the End-to-End Information System (EEIS) architecture and associated development activities and ultimately enables stakeholders to understand, reason, and answer questions about the EEIS under design for proposed lunar Exploration Missions 1 and 2 (EM-1 and EM-2).