A Formal Semantics for the WS-BPEL Recovery Framework

NASA Astrophysics Data System (ADS)

Dragoni, Nicola; Mazzara, Manuel

While current studies on Web services composition are mostly focused - from the technical viewpoint - on standards and protocols, this work investigates the adoption of formal methods for dependable composition. The Web Services Business Process Execution Language (WS-BPEL) - an OASIS standard widely adopted both in academic and industrial environments - is considered as a touchstone for concrete composition languages and an analysis of its ambiguous Recovery Framework specification is offered. In order to show the use of formal methods, a precise and unambiguous description of its (simplified) mechanisms is provided by means of a conservative extension of the π-calculus. This has to be intended as a well known case study providing methodological arguments for the adoption of formal methods in software specification. The aspect of verification is not the main topic of the paper but some hints are given.

The PlusCal Algorithm Language

NASA Astrophysics Data System (ADS)

Lamport, Leslie

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

Language experience and consonantal context effects on perceptual assimilation of French vowels by American-English learners of French1

PubMed Central

Levy, Erika S.

2009-01-01

Recent research has called for an examination of perceptual assimilation patterns in second-language speech learning. This study examined the effects of language learning and consonantal context on perceptual assimilation of Parisian French (PF) front rounded vowels ∕y∕ and ∕œ∕ by American English (AE) learners of French. AE listeners differing in their French language experience (no experience, formal instruction, formal-plus-immersion experience) performed an assimilation task involving PF ∕y, œ, u, o, i, ε, a∕ in bilabial ∕rabVp∕ and alveolar ∕radVt∕ contexts, presented in phrases. PF front rounded vowels were assimilated overwhelmingly to back AE vowels. For PF ∕œ∕, assimilation patterns differed as a function of language experience and consonantal context. However, PF ∕y∕ revealed no experience effect in alveolar context. In bilabial context, listeners with extensive experience assimilated PF ∕y∕ to ∕ju∕ less often than listeners with no or only formal experience, a pattern predicting the poorest ∕u-y∕ discrimination for the most experienced group. An “internal consistency” analysis indicated that responses were most consistent with extensive language experience and in bilabial context. Acoustical analysis revealed that acoustical similarities among PF vowels alone cannot explain context-specific assimilation patterns. Instead it is suggested that native-language allophonic variation influences context-specific perceptual patterns in second-language learning. PMID:19206888

Reference manual for a Requirements Specification Language (RSL), version 2.0

NASA Technical Reports Server (NTRS)

Fisher, Gene L.; Cohen, Gerald C.

1993-01-01

This report is a Reference Manual for a general-purpose Requirements Specification Language, RSL. The purpose of RSL is to specify precisely the external structure of a mechanized system and to define requirements that the system must meet. A system can be comprised of a mixture of hardware, software, and human processing elements. RSL is a hybrid of features found in several popular requirements specification languages and includes constructs for formal mathematical specification.

HAL/S language specification. Version IR-542

NASA Technical Reports Server (NTRS)

1980-01-01

The formal HAL/S language specification is documented with particular referral to the essentials of HAL/S syntax and semantics. The language is intended to satisfy virtually all of the flight software requirements of NASA programs. To achieve this, HAL/S incorporates a wide range of features, including applications oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks.

Students' Interpretations of Mechanistic Language in Organic Chemistry before Learning Reactions

ERIC Educational Resources Information Center

Galloway, Kelli R.; Stoyanovich, Carlee; Flynn, Alison B.

2017-01-01

Research on mechanistic thinking in organic chemistry has shown that students attribute little meaning to the electron-pushing (i.e., curved arrow) formalism. At the University of Ottawa, a new curriculum has been developed in which students are taught the electron-pushing formalism prior to instruction on specific reactions--this formalism is…

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.

SSL: A software specification language

NASA Technical Reports Server (NTRS)

Austin, S. L.; Buckles, B. P.; Ryan, J. P.

1976-01-01

SSL (Software Specification Language) is a new formalism for the definition of specifications for software systems. The language provides a linear format for the representation of the information normally displayed in a two-dimensional module inter-dependency diagram. In comparing SSL to FORTRAN or ALGOL, it is found to be largely complementary to the algorithmic (procedural) languages. SSL is capable of representing explicitly module interconnections and global data flow, information which is deeply imbedded in the algorithmic languages. On the other hand, SSL is not designed to depict the control flow within modules. The SSL level of software design explicitly depicts intermodule data flow as a functional specification.

Specification of Security and Dependability Properties

NASA Astrophysics Data System (ADS)

Gürgens, Sigrid; Pujol, Gimena

SERENITY S&D Classes as well as S&D Patterns specify the security properties they provide. In order for a system designer to select the correct class and pattern, the security property specification must be both unambiguous and intuitive. Furthermore, in case no class or pattern can be found that provides the exact property desired by the system designer, classes and patterns providing stronger properties will also serve his/her needs. Hence there is the necessity to be able to find and prove relations between properties. In this chapter we introduce the SERENITY approach for the specification of S&D properties that are both intuitively understandable and based on a formal semantics that allows to prove relations between properties. In fact, we use two different languages: the Operational S&D Properties Language, and the Formal S&D Properties Language.

Development of a domain-specific genetic language to design Chlamydomonas reinhardtii expression vectors.

PubMed

Wilson, Mandy L; Okumoto, Sakiko; Adam, Laura; Peccoud, Jean

2014-01-15

Expression vectors used in different biotechnology applications are designed with domain-specific rules. For instance, promoters, origins of replication or homologous recombination sites are host-specific. Similarly, chromosomal integration or viral delivery of an expression cassette imposes specific structural constraints. As de novo gene synthesis and synthetic biology methods permeate many biotechnology specialties, the design of application-specific expression vectors becomes the new norm. In this context, it is desirable to formalize vector design strategies applicable in different domains. Using the design of constructs to express genes in the chloroplast of Chlamydomonas reinhardtii as an example, we show that a vector design strategy can be formalized as a domain-specific language. We have developed a graphical editor of context-free grammars usable by biologists without prior exposure to language theory. This environment makes it possible for biologists to iteratively improve their design strategies throughout the course of a project. It is also possible to ensure that vectors designed with early iterations of the language are consistent with the latest iteration of the language. The context-free grammar editor is part of the GenoCAD application. A public instance of GenoCAD is available at http://www.genocad.org. GenoCAD source code is available from SourceForge and licensed under the Apache v2.0 open source license.

Experience report: Using formal methods for requirements analysis of critical spacecraft software

NASA Technical Reports Server (NTRS)

Lutz, Robyn R.; Ampo, Yoko

1994-01-01

Formal specification and analysis of requirements continues to gain support as a method for producing more reliable software. However, the introduction of formal methods to a large software project is difficult, due in part to the unfamiliarity of the specification languages and the lack of graphics. This paper reports results of an investigation into the effectiveness of formal methods as an aid to the requirements analysis of critical, system-level fault-protection software on a spacecraft currently under development. Our experience indicates that formal specification and analysis can enhance the accuracy of the requirements and add assurance prior to design development in this domain. The work described here is part of a larger, NASA-funded research project whose purpose is to use formal-methods techniques to improve the quality of software in space applications. The demonstration project described here is part of the effort to evaluate experimentally the effectiveness of supplementing traditional engineering approaches to requirements specification with the more rigorous specification and analysis available with formal methods.

Rewriting Logic Semantics of a Plan Execution Language

NASA Technical Reports Server (NTRS)

Dowek, Gilles; Munoz, Cesar A.; Rocha, Camilo

2009-01-01

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEXIL executives. The implementation in Maude has the additional benefit of making available to PLEXIL designers and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL semantics in rewriting logic poses an interesting challenge due to the synchronous nature of the language and the prioritized rules defining its semantics. To overcome this difficulty, we propose a general procedure for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations, complete. We also report on the finding of two issues at the design level of the original PLEXIL semantics that were identified with the help of the executable specification in Maude.

Maude: A Wide Spectrum Language for Secure Active Networks

DTIC Science & Technology

2002-08-01

AFRL-IF-RS-TR-2002-197 Final Technical Report August 2002 MAUDE: A WIDE SPECTRUM LANGUAGE FOR SECURE ACTIVE NETWORKS SRI...MAUDE: A WIDE SPECTRUM FORMAL LANGUAGE FOR SECURE ACTIVE NETWORKS 6. AUTHOR(S) Jose Meseguer and Carolyn Talcott 5. FUNDING NUMBERS C...specifications to address this challenge. We also show how, using the Maude rewriting logic language and tools, active network systems, languages , and

Learner Perspectives on Task Design for Oral-Visual eTandem Language Learning

ERIC Educational Resources Information Center

El-Hariri, Yasmin

2016-01-01

Constituting a more specific form of online collaboration, eTandem Language Learning (eTLL) shows great potential for non-formal, self-directed language learning. Research in this field, particularly regarding task design, is still scarce. Focusing on their beliefs and attitudes, this article examines what learners think about how…

A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs

DTIC Science & Technology

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

Report on the formal specification and partial verification of the VIPER microprocessor

NASA Technical Reports Server (NTRS)

Brock, Bishop; Hunt, Warren A., Jr.

1991-01-01

The VIPER microprocessor chip is partitioned into four levels of abstractions. At the highest level, VIPER is described with decreasingly abstract sets of functions in LCF-LSM. At the lowest level are the gate-level models in proprietary CAD languages. The block-level and gate-level specifications are also given in the ELLA simulation language. Among VIPER's deficiencies are the fact that there is no notion of external events in the top-level specification, and it is impossible to use the top-level specifications to prove abstract properties of programs running on VIPER computers. There is no complete proof that the gate-level specifications implement the top-level specifications. Cohn's proof that the major-state machine correctly implements the top-level specifications has no formal connection with any of the other proof attempts. None of the latter address resetting the machine, memory timeout, forced error, or single step modes.

UML activity diagrams in requirements specification of logic controllers

NASA Astrophysics Data System (ADS)

Grobelna, Iwona; Grobelny, Michał

2015-12-01

Logic controller specification can be prepared using various techniques. One of them is the wide understandable and user-friendly UML language and its activity diagrams. Using formal methods during the design phase increases the assurance that implemented system meets the project requirements. In the approach we use the model checking technique to formally verify a specification against user-defined behavioral requirements. The properties are usually defined as temporal logic formulas. In the paper we propose to use UML activity diagrams in requirements definition and then to formalize them as temporal logic formulas. As a result, UML activity diagrams can be used both for logic controller specification and for requirements definition, what simplifies the specification and verification process.

Formalizing Knowledge in Multi-Scale Agent-Based Simulations

PubMed Central

Somogyi, Endre; Sluka, James P.; Glazier, James A.

2017-01-01

Multi-scale, agent-based simulations of cellular and tissue biology are increasingly common. These simulations combine and integrate a range of components from different domains. Simulations continuously create, destroy and reorganize constituent elements causing their interactions to dynamically change. For example, the multi-cellular tissue development process coordinates molecular, cellular and tissue scale objects with biochemical, biomechanical, spatial and behavioral processes to form a dynamic network. Different domain specific languages can describe these components in isolation, but cannot describe their interactions. No current programming language is designed to represent in human readable and reusable form the domain specific knowledge contained in these components and interactions. We present a new hybrid programming language paradigm that naturally expresses the complex multi-scale objects and dynamic interactions in a unified way and allows domain knowledge to be captured, searched, formalized, extracted and reused. PMID:29338063

Formalizing Knowledge in Multi-Scale Agent-Based Simulations.

PubMed

Somogyi, Endre; Sluka, James P; Glazier, James A

2016-10-01

Multi-scale, agent-based simulations of cellular and tissue biology are increasingly common. These simulations combine and integrate a range of components from different domains. Simulations continuously create, destroy and reorganize constituent elements causing their interactions to dynamically change. For example, the multi-cellular tissue development process coordinates molecular, cellular and tissue scale objects with biochemical, biomechanical, spatial and behavioral processes to form a dynamic network. Different domain specific languages can describe these components in isolation, but cannot describe their interactions. No current programming language is designed to represent in human readable and reusable form the domain specific knowledge contained in these components and interactions. We present a new hybrid programming language paradigm that naturally expresses the complex multi-scale objects and dynamic interactions in a unified way and allows domain knowledge to be captured, searched, formalized, extracted and reused.

Extension of Alvis compiler front-end

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

Wypych, Michał; Szpyrka, Marcin; Matyasik, Piotr, E-mail: mwypych@agh.edu.pl, E-mail: mszpyrka@agh.edu.pl, E-mail: ptm@agh.edu.pl

2015-12-31

Alvis is a formal modelling language that enables possibility of verification of distributed concurrent systems. An Alvis model semantics finds expression in an LTS graph (labelled transition system). Execution of any language statement is expressed as a transition between formally defined states of such a model. An LTS graph is generated using a middle-stage Haskell representation of an Alvis model. Moreover, Haskell is used as a part of the Alvis language and is used to define parameters’ types and operations on them. Thanks to the compiler’s modular construction many aspects of compilation of an Alvis model may be modified. Providingmore » new plugins for Alvis Compiler that support languages like Java or C makes possible using these languages as a part of Alvis instead of Haskell. The paper presents the compiler internal model and describes how the default specification language can be altered by new plugins.« less

Formal Analysis of BPMN Models Using Event-B

NASA Astrophysics Data System (ADS)

Bryans, Jeremy W.; Wei, Wei

The use of business process models has gone far beyond documentation purposes. In the development of business applications, they can play the role of an artifact on which high level properties can be verified and design errors can be revealed in an effort to reduce overhead at later software development and diagnosis stages. This paper demonstrates how formal verification may add value to the specification, design and development of business process models in an industrial setting. The analysis of these models is achieved via an algorithmic translation from the de-facto standard business process modeling language BPMN to Event-B, a widely used formal language supported by the Rodin platform which offers a range of simulation and verification technologies.

Global developmental delay in guanidionacetate methyltransferase deficiency: differences in formal testing and clinical observation.

PubMed

Verbruggen, Krijn T; Knijff, Wilma A; Soorani-Lunsing, Roelineke J; Sijens, Paul E; Verhoeven, Nanda M; Salomons, Gajja S; Goorhuis-Brouwer, Siena M; van Spronsen, Francjan J

2007-09-01

Guanidinoacetate N-methyltransferase (GAMT) deficiency is a defect in the biosynthesis of creatine (Cr). So far, reports have not focused on the description of developmental abilities in this disorder. Here, we present the result of formal testing of developmental abilities in a GAMT-deficient patient. Our patient, a 3-year-old boy with GAMT deficiency, presented clinically with a severe language production delay and nearly normal nonverbal development. Treatment with oral Cr supplementation led to partial restoration of the cerebral Cr concentration and a clinically remarkable acceleration of language production development. In contrast to clinical observation, formal testing showed a rather harmonic developmental delay before therapy and a general improvement, but no specific acceleration of language development after therapy. From our case, we conclude that in GAMT deficiency language delay is not always more prominent than delays in other developmental areas. The discrepancy between the clinical impression and formal testing underscores the importance of applying standardized tests in children with developmental delays. Screening for Cr deficiency by metabolite analysis of body fluids or proton magnetic resonance spectroscopy of the brain deficiency should be considered in any child with global developmental delay/mental retardation lacking clues for an alternative etiology.

Integrating reasoning and clinical archetypes using OWL ontologies and SWRL rules.

PubMed

Lezcano, Leonardo; Sicilia, Miguel-Angel; Rodríguez-Solano, Carlos

2011-04-01

Semantic interoperability is essential to facilitate the computerized support for alerts, workflow management and evidence-based healthcare across heterogeneous electronic health record (EHR) systems. Clinical archetypes, which are formal definitions of specific clinical concepts defined as specializations of a generic reference (information) model, provide a mechanism to express data structures in a shared and interoperable way. However, currently available archetype languages do not provide direct support for mapping to formal ontologies and then exploiting reasoning on clinical knowledge, which are key ingredients of full semantic interoperability, as stated in the SemanticHEALTH report [1]. This paper reports on an approach to translate definitions expressed in the openEHR Archetype Definition Language (ADL) to a formal representation expressed using the Ontology Web Language (OWL). The formal representations are then integrated with rules expressed with Semantic Web Rule Language (SWRL) expressions, providing an approach to apply the SWRL rules to concrete instances of clinical data. Sharing the knowledge expressed in the form of rules is consistent with the philosophy of open sharing, encouraged by archetypes. Our approach also allows the reuse of formal knowledge, expressed through ontologies, and extends reuse to propositions of declarative knowledge, such as those encoded in clinical guidelines. This paper describes the ADL-to-OWL translation approach, describes the techniques to map archetypes to formal ontologies, and demonstrates how rules can be applied to the resulting representation. We provide examples taken from a patient safety alerting system to illustrate our approach. Copyright © 2010 Elsevier Inc. All rights reserved.

ARIES: Acquisition of Requirements and Incremental Evolution of Specifications

NASA Technical Reports Server (NTRS)

Roberts, Nancy A.

1993-01-01

This paper describes a requirements/specification environment specifically designed for large-scale software systems. This environment is called ARIES (Acquisition of Requirements and Incremental Evolution of Specifications). ARIES provides assistance to requirements analysts for developing operational specifications of systems. This development begins with the acquisition of informal system requirements. The requirements are then formalized and gradually elaborated (transformed) into formal and complete specifications. ARIES provides guidance to the user in validating formal requirements by translating them into natural language representations and graphical diagrams. ARIES also provides ways of analyzing the specification to ensure that it is correct, e.g., testing the specification against a running simulation of the system to be built. Another important ARIES feature, especially when developing large systems, is the sharing and reuse of requirements knowledge. This leads to much less duplication of effort. ARIES combines all of its features in a single environment that makes the process of capturing a formal specification quicker and easier.

Semantic Integration during Metaphor Comprehension in Asperger Syndrome

ERIC Educational Resources Information Center

Gold, Rinat; Faust, Miriam; Goldstein, Abraham

2010-01-01

Previous research indicates severe disabilities in processing figurative language in people diagnosed on the autism spectrum disorders. However, this aspect of language comprehension in Asperger syndrome (AS) specifically has rarely been the subject of formal study. The present study aimed to examine the possibility that in addition to their…

Anaphora and Logical Form: On Formal Meaning Representations for Natural Language. Technical Report No. 36.

ERIC Educational Resources Information Center

Nash-Webber, Bonnie; Reiter, Raymond

This paper describes a computational approach to certain problems of anaphora in natural language and argues in favor of formal meaning representation languages (MRLs) for natural language. After presenting arguments in favor of formal meaning representation languages, appropriate MRLs are discussed. Minimal requirements include provisions for…

Using Exemption Examinations to Assess Finnish Business Students' Non-Formal and Informal Learning of ESP: A Pilot Study

ERIC Educational Resources Information Center

Tuomainen, Satu

2014-01-01

In recent years Finnish university language centres have increasingly developed procedures for assessing and recognising the skills in English for Specific Purposes (ESP) that students acquire in various non-formal and informal learning environments. This article describes the procedures developed by the University of Eastern Finland Language…

The role of early language abilities on math skills among Chinese children.

PubMed

Zhang, Juan; Fan, Xitao; Cheung, Sum Kwing; Meng, Yaxuan; Cai, Zhihui; Hu, Bi Ying

2017-01-01

The present study investigated the role of early language abilities in the development of math skills among Chinese K-3 students. About 2000 children in China, who were on average aged 6 years, were assessed for both informal math (e.g., basic number concepts such as counting objects) and formal math (calculations including addition and subtraction) skills, language abilities and nonverbal intelligence. Correlation analysis showed that language abilities were more strongly associated with informal than formal math skills, and regression analyses revealed that children's language abilities could uniquely predict both informal and formal math skills with age, gender, and nonverbal intelligence controlled. Mediation analyses demonstrated that the relationship between children's language abilities and formal math skills was partially mediated by informal math skills. The current findings indicate 1) Children's language abilities are of strong predictive values for both informal and formal math skills; 2) Language abilities impacts formal math skills partially through the mediation of informal math skills.

The role of early language abilities on math skills among Chinese children

PubMed Central

Fan, Xitao; Cheung, Sum Kwing; Cai, Zhihui; Hu, Bi Ying

2017-01-01

Background The present study investigated the role of early language abilities in the development of math skills among Chinese K-3 students. About 2000 children in China, who were on average aged 6 years, were assessed for both informal math (e.g., basic number concepts such as counting objects) and formal math (calculations including addition and subtraction) skills, language abilities and nonverbal intelligence. Methodology Correlation analysis showed that language abilities were more strongly associated with informal than formal math skills, and regression analyses revealed that children’s language abilities could uniquely predict both informal and formal math skills with age, gender, and nonverbal intelligence controlled. Mediation analyses demonstrated that the relationship between children’s language abilities and formal math skills was partially mediated by informal math skills. Results The current findings indicate 1) Children’s language abilities are of strong predictive values for both informal and formal math skills; 2) Language abilities impacts formal math skills partially through the mediation of informal math skills. PMID:28749950

Software development without languages

NASA Technical Reports Server (NTRS)

Osborne, Haywood S.

1988-01-01

Automatic programming generally involves the construction of a formal specification; i.e., one which allows unambiguous interpretation by tools for the subsequent production of the corresponding software. Previous practical efforts in this direction have focused on the serious problems of: (1) designing the optimum specification language; and (2) mapping (translating or compiling) from this specification language to the program itself. The approach proposed bypasses the above problems. It postulates that the specification proper should be an intermediate form, with the sole function of containing information sufficient to facilitate construction of programs and also of matching documentation. Thus, the means of forming the intermediary becomes a human factors task rather than a linguistic one; human users will read documents generated from the specification, rather than the specification itself.

User Interface Technology for Formal Specification Development

NASA Technical Reports Server (NTRS)

Lowry, Michael; Philpot, Andrew; Pressburger, Thomas; Underwood, Ian; Lum, Henry, Jr. (Technical Monitor)

1994-01-01

Formal specification development and modification are an essential component of the knowledge-based software life cycle. User interface technology is needed to empower end-users to create their own formal specifications. This paper describes the advanced user interface for AMPHION1 a knowledge-based software engineering system that targets scientific subroutine libraries. AMPHION is a generic, domain-independent architecture that is specialized to an application domain through a declarative domain theory. Formal specification development and reuse is made accessible to end-users through an intuitive graphical interface that provides semantic guidance in creating diagrams denoting formal specifications in an application domain. The diagrams also serve to document the specifications. Automatic deductive program synthesis ensures that end-user specifications are correctly implemented. The tables that drive AMPHION's user interface are automatically compiled from a domain theory; portions of the interface can be customized by the end-user. The user interface facilitates formal specification development by hiding syntactic details, such as logical notation. It also turns some of the barriers for end-user specification development associated with strongly typed formal languages into active sources of guidance, without restricting advanced users. The interface is especially suited for specification modification. AMPHION has been applied to the domain of solar system kinematics through the development of a declarative domain theory. Testing over six months with planetary scientists indicates that AMPHION's interactive specification acquisition paradigm enables users to develop, modify, and reuse specifications at least an order of magnitude more rapidly than manual program development.

Formal verification of automated teller machine systems using SPIN

NASA Astrophysics Data System (ADS)

Iqbal, Ikhwan Mohammad; Adzkiya, Dieky; Mukhlash, Imam

2017-08-01

Formal verification is a technique for ensuring the correctness of systems. This work focuses on verifying a model of the Automated Teller Machine (ATM) system against some specifications. We construct the model as a state transition diagram that is suitable for verification. The specifications are expressed as Linear Temporal Logic (LTL) formulas. We use Simple Promela Interpreter (SPIN) model checker to check whether the model satisfies the formula. This model checker accepts models written in Process Meta Language (PROMELA), and its specifications are specified in LTL formulas.

Effects of Textual Enhancement and Input Enrichment on L2 Development

ERIC Educational Resources Information Center

Rassaei, Ehsan

2015-01-01

Research on second language (L2) acquisition has recently sought to include formal instruction into second and foreign language classrooms in a more unobtrusive and implicit manner. Textual enhancement and input enrichment are two techniques which are aimed at drawing learners' attention to specific linguistic features in input and at the same…

An introduction to requirements capture using PVS: Specification of a simple autopilot

NASA Technical Reports Server (NTRS)

Butler, Ricky W.

1996-01-01

This paper presents an introduction to capturing software requirements in the PVS formal language. The object of study is a simplified digital autopilot that was motivated in part by the mode control panel of NASA Langley's Boeing 737 research aircraft. The paper first presents the requirements for this autopilot in English and then steps the reader through a translation of these requirements into formal mathematics. Along the way deficiencies in the English specification are noted and repaired. Once completed, the formal PVS requirement is analyzed using the PVS theorem prover and shown to maintain an invariant over its state space.

Component Models for Semantic Web Languages

NASA Astrophysics Data System (ADS)

Henriksson, Jakob; Aßmann, Uwe

Intelligent applications and agents on the Semantic Web typically need to be specified with, or interact with specifications written in, many different kinds of formal languages. Such languages include ontology languages, data and metadata query languages, as well as transformation languages. As learnt from years of experience in development of complex software systems, languages need to support some form of component-based development. Components enable higher software quality, better understanding and reusability of already developed artifacts. Any component approach contains an underlying component model, a description detailing what valid components are and how components can interact. With the multitude of languages developed for the Semantic Web, what are their underlying component models? Do we need to develop one for each language, or is a more general and reusable approach achievable? We present a language-driven component model specification approach. This means that a component model can be (automatically) generated from a given base language (actually, its specification, e.g. its grammar). As a consequence, we can provide components for different languages and simplify the development of software artifacts used on the Semantic Web.

The Language of Formal Education and the Role of Libraries in Oral-Traditional Societies.

ERIC Educational Resources Information Center

John, Magnus

1984-01-01

This essay addresses the effect of introducing a foreign language into the formal education of oral-traditional societies. Highlights include the nature of such societies, language in formal education, reading and language acquisition, developing a theory of high retention and recall, and overall implications for national development and…

An Evaluation of TTS as a Pedagogical Tool for Pronunciation Instruction: The "Foreign" Language Context

ERIC Educational Resources Information Center

Bione, Tiago; Grimshaw, Jennica; Cardoso, Walcir

2017-01-01

Despite positive evidence demonstrating the pedagogical benefits of Text-To-Speech (TTS) synthesisers for second/foreign language learning (Liakin, Cardoso, & Liakina, 2017), there is a need for up-to-date formal evaluations, specifically regarding its potential to promote learning. This study evaluates the voice quality of a TTS system in…

Underlying Processes of an Inverted Personalization Effect in Multimedia Learning – An Eye-Tracking Study

PubMed Central

Zander, Steffi; Wetzel, Stefanie; Kühl, Tim; Bertel, Sven

2017-01-01

One of the frequently examined design principles in multimedia learning is the personalization principle. Based on empirical evidence this principle states that using personalized messages in multimedia learning is more beneficial than using formal language (e.g., using ‘you’ instead of ‘the’). Although there is evidence that these slight changes in regard to the language style affect learning, motivation and the perceived cognitive load, it remains unclear, (1) whether the positive effects of personalized language can be transferred to all kinds of content of learning materials (e.g., specific potentially aversive health issues) and (2) which are the underlying processes (e.g., attention allocation) of the personalization effect. German university students (N = 37) learned symptoms and causes of cerebral hemorrhages either with a formal or a personalized version of the learning material. Analysis revealed comparable results to the few existing previous studies, indicating an inverted personalization effect for potentially aversive learning material. This effect was specifically revealed in regard to decreased average fixation duration and the number of fixations exclusively on the images in the personalized compared to the formal version. These results can be seen as indicators for an inverted effect of personalization on the level of visual attention. PMID:29326630

The Layer-Oriented Approach to Declarative Languages for Biological Modeling

PubMed Central

Raikov, Ivan; De Schutter, Erik

2012-01-01

We present a new approach to modeling languages for computational biology, which we call the layer-oriented approach. The approach stems from the observation that many diverse biological phenomena are described using a small set of mathematical formalisms (e.g. differential equations), while at the same time different domains and subdomains of computational biology require that models are structured according to the accepted terminology and classification of that domain. Our approach uses distinct semantic layers to represent the domain-specific biological concepts and the underlying mathematical formalisms. Additional functionality can be transparently added to the language by adding more layers. This approach is specifically concerned with declarative languages, and throughout the paper we note some of the limitations inherent to declarative approaches. The layer-oriented approach is a way to specify explicitly how high-level biological modeling concepts are mapped to a computational representation, while abstracting away details of particular programming languages and simulation environments. To illustrate this process, we define an example language for describing models of ionic currents, and use a general mathematical notation for semantic transformations to show how to generate model simulation code for various simulation environments. We use the example language to describe a Purkinje neuron model and demonstrate how the layer-oriented approach can be used for solving several practical issues of computational neuroscience model development. We discuss the advantages and limitations of the approach in comparison with other modeling language efforts in the domain of computational biology and outline some principles for extensible, flexible modeling language design. We conclude by describing in detail the semantic transformations defined for our language. PMID:22615554

The layer-oriented approach to declarative languages for biological modeling.

PubMed

Raikov, Ivan; De Schutter, Erik

2012-01-01

We present a new approach to modeling languages for computational biology, which we call the layer-oriented approach. The approach stems from the observation that many diverse biological phenomena are described using a small set of mathematical formalisms (e.g. differential equations), while at the same time different domains and subdomains of computational biology require that models are structured according to the accepted terminology and classification of that domain. Our approach uses distinct semantic layers to represent the domain-specific biological concepts and the underlying mathematical formalisms. Additional functionality can be transparently added to the language by adding more layers. This approach is specifically concerned with declarative languages, and throughout the paper we note some of the limitations inherent to declarative approaches. The layer-oriented approach is a way to specify explicitly how high-level biological modeling concepts are mapped to a computational representation, while abstracting away details of particular programming languages and simulation environments. To illustrate this process, we define an example language for describing models of ionic currents, and use a general mathematical notation for semantic transformations to show how to generate model simulation code for various simulation environments. We use the example language to describe a Purkinje neuron model and demonstrate how the layer-oriented approach can be used for solving several practical issues of computational neuroscience model development. We discuss the advantages and limitations of the approach in comparison with other modeling language efforts in the domain of computational biology and outline some principles for extensible, flexible modeling language design. We conclude by describing in detail the semantic transformations defined for our language.

Automated Verification of Design Patterns with LePUS3

NASA Technical Reports Server (NTRS)

Nicholson, Jonathan; Gasparis, Epameinondas; Eden, Ammon H.; Kazman, Rick

2009-01-01

Specification and [visual] modelling languages are expected to combine strong abstraction mechanisms with rigour, scalability, and parsimony. LePUS3 is a visual, object-oriented design description language axiomatized in a decidable subset of the first-order predicate logic. We demonstrate how LePUS3 is used to formally specify a structural design pattern and prove ( verify ) whether any JavaTM 1.4 program satisfies that specification. We also show how LePUS3 specifications (charts) are composed and how they are verified fully automatically in the Two-Tier Programming Toolkit.

Security Modeling and Correctness Proof Using Specware and Isabelle

DTIC Science & Technology

2008-12-01

proving requires substantial knowledge and experience in logical calculus . 15. NUMBER OF PAGES 146 14. SUBJECT TERMS Formal Method, Theorem...although the actual proving requires substantial knowledge and experience in logical calculus . vi THIS PAGE INTENTIONALLY LEFT BLANK vii TABLE OF...formal language and provides tools for proving those formulas in a logical calculus ” [5]. We are demonstrating in this thesis that a specification in

Family Literacy and the New Canadian: Formal, Non-Formal and Informal Learning: The Case of Literacy, Essential Skills and Language Learning in Canada

ERIC Educational Resources Information Center

Eaton, Sarah Elaine

2011-01-01

This paper examines literacy and language learning across the lifespan within the context of immigrants in the Canadian context. It explores the process of improving literacy skills and acquiring second or third language skills through the systems of formal, non-formal and informal learning, as defined by the OECD [Organisation for Economic…

Formal Functional Test Designs: Bridging the Gap Between Test Requirements and Test Specifications

NASA Technical Reports Server (NTRS)

Hops, Jonathan

1993-01-01

This presentation describes the testing life cycle, the purpose of the test design phase, and test design methods and gives an example application. Also included is a description of Test Representation Language (TRL), a summary of the language, and an example of an application of TRL. A sample test requirement and sample test design are included.

On the design of script languages for neural simulation.

PubMed

Brette, Romain

2012-01-01

In neural network simulators, models are specified according to a language, either specific or based on a general programming language (e.g. Python). There are also ongoing efforts to develop standardized languages, for example NeuroML. When designing these languages, efforts are often focused on expressivity, that is, on maximizing the number of model types than can be described and simulated. I argue that a complementary goal should be to minimize the cognitive effort required on the part of the user to use the language. I try to formalize this notion with the concept of "language entropy", and I propose a few practical guidelines to minimize the entropy of languages for neural simulation.

Conceptual Complexity and Apparent Contradictions in Mathematics Language

ERIC Educational Resources Information Center

Gough, John

2007-01-01

Mathematics is like a language, although technically it is not a natural or informal human language, but a formal, that is, artificially constructed language. Importantly, educators use their natural everyday language to teach the formal language of mathematics. At times, however, instructors encounter problems when the technical words they use,…

Discrete mathematics, formal methods, the Z schema and the software life cycle

NASA Technical Reports Server (NTRS)

Bown, Rodney L.

1991-01-01

The proper role and scope for the use of discrete mathematics and formal methods in support of engineering the security and integrity of components within deployed computer systems are discussed. It is proposed that the Z schema can be used as the specification language to capture the precise definition of system and component interfaces. This can be accomplished with an object oriented development paradigm.

A Natural Language Interface Concordant with a Knowledge Base.

PubMed

Han, Yong-Jin; Park, Seong-Bae; Park, Se-Young

2016-01-01

The discordance between expressions interpretable by a natural language interface (NLI) system and those answerable by a knowledge base is a critical problem in the field of NLIs. In order to solve this discordance problem, this paper proposes a method to translate natural language questions into formal queries that can be generated from a graph-based knowledge base. The proposed method considers a subgraph of a knowledge base as a formal query. Thus, all formal queries corresponding to a concept or a predicate in the knowledge base can be generated prior to query time and all possible natural language expressions corresponding to each formal query can also be collected in advance. A natural language expression has a one-to-one mapping with a formal query. Hence, a natural language question is translated into a formal query by matching the question with the most appropriate natural language expression. If the confidence of this matching is not sufficiently high the proposed method rejects the question and does not answer it. Multipredicate queries are processed by regarding them as a set of collected expressions. The experimental results show that the proposed method thoroughly handles answerable questions from the knowledge base and rejects unanswerable ones effectively.

Unity and diversity in human language

PubMed Central

Fitch, W. Tecumseh

2011-01-01

Human language is both highly diverse—different languages have different ways of achieving the same functional goals—and easily learnable. Any language allows its users to express virtually any thought they can conceptualize. These traits render human language unique in the biological world. Understanding the biological basis of language is thus both extremely challenging and fundamentally interesting. I review the literature on linguistic diversity and language universals, suggesting that an adequate notion of ‘formal universals’ provides a promising way to understand the facts of language acquisition, offering order in the face of the diversity of human languages. Formal universals are cross-linguistic generalizations, often of an abstract or implicational nature. They derive from cognitive capacities to perceive and process particular types of structures and biological constraints upon integration of the multiple systems involved in language. Such formal universals can be understood on the model of a general solution to a set of differential equations; each language is one particular solution. An explicit formal conception of human language that embraces both considerable diversity and underlying biological unity is possible, and fully compatible with modern evolutionary theory. PMID:21199842

Language Creativity and Co-Emergence of Form and Meaning in Creative Writing Tasks

ERIC Educational Resources Information Center

Tin, Tan Bee

2011-01-01

Drawing on various theoretical approaches to creativity and the emergentist perspectives, this study examines the opportunities for creative language use and emergence of complex language in creative writing tasks with high formal constraints (acrostics) and those with looser formal constraints (similes). It indicates that formal constraints lead…

DRS: Derivational Reasoning System

NASA Technical Reports Server (NTRS)

Bose, Bhaskar

1995-01-01

The high reliability requirements for airborne systems requires fault-tolerant architectures to address failures in the presence of physical faults, and the elimination of design flaws during the specification and validation phase of the design cycle. Although much progress has been made in developing methods to address physical faults, design flaws remain a serious problem. Formal methods provides a mathematical basis for removing design flaws from digital systems. DRS (Derivational Reasoning System) is a formal design tool based on advanced research in mathematical modeling and formal synthesis. The system implements a basic design algebra for synthesizing digital circuit descriptions from high level functional specifications. DRS incorporates an executable specification language, a set of correctness preserving transformations, verification interface, and a logic synthesis interface, making it a powerful tool for realizing hardware from abstract specifications. DRS integrates recent advances in transformational reasoning, automated theorem proving and high-level CAD synthesis systems in order to provide enhanced reliability in designs with reduced time and cost.

A Policy Language for Modelling Recommendations

NASA Astrophysics Data System (ADS)

Abou El Kalam, Anas; Balbiani, Philippe

While current and emergent applications become more and more complex, most of existing security policies and models only consider a yes/no response to the access requests. Consequently, modelling, formalizing and implementing permissions, obligations and prohibitions do not cover the richness of all the possible scenarios. In fact, several applications have access rules with the recommendation access modality. In this paper we focus on the problem of formalizing security policies with recommendation needs. The aim is to provide a generic domain-independent formal system for modelling not only permissions, prohibitions and obligations, but also recommendations. In this respect, we present our logic-based language, the semantics, the truth conditions, our axiomatic as well as inference rules. We also give a representative use case with our specification of recommendation requirements. Finally, we explain how our logical framework could be used to query the security policy and to check its consistency.

From "La Plume de Ma Tante" to "Parlez-Vous Francais?" The Making of French Language Policy in British Columbia, 1945-1982

ERIC Educational Resources Information Center

Raptis, Helen; Fleming, Thomas

2004-01-01

During the first half of the twentieth century in British Columbia, French language was considered a school subject to be taught as any other using formal classical approaches. Generally, no specific provincial or local policies existed to guide how French was taught and learned. By 1981, however, British Columbia had developed explicit language…

The Interface of Global Migrations, Local English Language Learning, and Identity Transmutations of the Immigrant Academician

ERIC Educational Resources Information Center

Hutchison, Charles B.; Quach, Lan; Wiggan, Greg

2006-01-01

As global migrations of both teachers and students have increased, so has the need to re-learn English in response to local parlances. Thus, the use of formal and informal language styles, the masking of accents, and the understanding of the differential use of certain specific words, expressions, and the like become critical for teachers and…

The Distribution of the Informative Intensity of the Text in Terms of its Structure (On Materials of the English Texts in the Mining Sphere)

NASA Astrophysics Data System (ADS)

Znikina, Ludmila; Rozhneva, Elena

2017-11-01

The article deals with the distribution of informative intensity of the English-language scientific text based on its structural features contributing to the process of formalization of the scientific text and the preservation of the adequacy of the text with derived semantic information in relation to the primary. Discourse analysis is built on specific compositional and meaningful examples of scientific texts taken from the mining field. It also analyzes the adequacy of the translation of foreign texts into another language, the relationships between elements of linguistic systems, the degree of a formal conformance, translation with the specific objectives and information needs of the recipient. Some key words and ideas are emphasized in the paragraphs of the English-language mining scientific texts. The article gives the characteristic features of the structure of paragraphs of technical text and examples of constructions in English scientific texts based on a mining theme with the aim to explain the possible ways of their adequate translation.

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.

Formal verification of medical monitoring software using Z language: a representative sample.

PubMed

Babamir, Seyed Morteza; Borhani, Mehdi

2012-08-01

Medical monitoring systems are useful aids assisting physicians in keeping patients under constant surveillance; however, taking sound decision by the systems is a physician concern. As a result, verification of the systems behavior in monitoring patients is a matter of significant. The patient monitoring is undertaken by software in modern medical systems; so, software verification of modern medial systems have been noticed. Such verification can be achieved by the Formal Languages having mathematical foundations. Among others, the Z language is a suitable formal language has been used to formal verification of systems. This study aims to present a constructive method to verify a representative sample of a medical system by which the system is visually specified and formally verified against patient constraints stated in Z Language. Exploiting our past experience in formal modeling Continuous Infusion Insulin Pump (CIIP), we think of the CIIP system as a representative sample of medical systems in proposing our present study. The system is responsible for monitoring diabetic's blood sugar.

Using Mobile TLA as a Logic for Dynamic I/O Automata

NASA Astrophysics Data System (ADS)

Kapus, Tatjana

Input/Output (I/O) automata and the Temporal Logic of Actions (TLA) are two well-known techniques for the specification and verification of concurrent systems. Over the past few years, they have been extended to the so-called dynamic I/O automata and, respectively, Mobile TLA (MTLA) in order to be more appropriate for mobile agent systems. Dynamic I/O automata is just a mathematical model, whereas MTLA is a logic with a formally defined language. In this paper, therefore, we investigate how MTLA could be used as a formal language for the specification of dynamic I/O automata. We do this by writing an MTLA specification of a travel agent system which has been specified semi-formally in the literature on that model. In this specification, we deal with always existing agents as well as with an initially unknown number of dynamically created agents, with mobile and non-mobile agents, with I/O-automata-style communication, and with the changing communication capabilities of mobile agents. We have previously written a TLA specification of this system. This paper shows that an MTLA specification of such a system can be more elegant and faithful to the dynamic I/O automata definition because the agent existence and location can be expressed directly by using agent and location names instead of special variables as in TLA. It also shows how the reuse of names for dynamically created and destroyed agents within the dynamic I/O automata framework can be specified in MTLA.

MatLab Script and Functional Programming

NASA Technical Reports Server (NTRS)

Shaykhian, Gholam Ali

2007-01-01

MatLab Script and Functional Programming: MatLab is one of the most widely used very high level programming languages for scientific and engineering computations. It is very user-friendly and needs practically no formal programming knowledge. Presented here are MatLab programming aspects and not just the MatLab commands for scientists and engineers who do not have formal programming training and also have no significant time to spare for learning programming to solve their real world problems. Specifically provided are programs for visualization. The MatLab seminar covers the functional and script programming aspect of MatLab language. Specific expectations are: a) Recognize MatLab commands, script and function. b) Create, and run a MatLab function. c) Read, recognize, and describe MatLab syntax. d) Recognize decisions, loops and matrix operators. e) Evaluate scope among multiple files, and multiple functions within a file. f) Declare, define and use scalar variables, vectors and matrices.

Reactive system verification case study: Fault-tolerant transputer communication

NASA Technical Reports Server (NTRS)

Crane, D. Francis; Hamory, Philip J.

1993-01-01

A reactive program is one which engages in an ongoing interaction with its environment. A system which is controlled by an embedded reactive program is called a reactive system. Examples of reactive systems are aircraft flight management systems, bank automatic teller machine (ATM) networks, airline reservation systems, and computer operating systems. Reactive systems are often naturally modeled (for logical design purposes) as a composition of autonomous processes which progress concurrently and which communicate to share information and/or to coordinate activities. Formal (i.e., mathematical) frameworks for system verification are tools used to increase the users' confidence that a system design satisfies its specification. A framework for reactive system verification includes formal languages for system modeling and for behavior specification and decision procedures and/or proof-systems for verifying that the system model satisfies the system specifications. Using the Ostroff framework for reactive system verification, an approach to achieving fault-tolerant communication between transputers was shown to be effective. The key components of the design, the decoupler processes, may be viewed as discrete-event-controllers introduced to constrain system behavior such that system specifications are satisfied. The Ostroff framework was also effective. The expressiveness of the modeling language permitted construction of a faithful model of the transputer network. The relevant specifications were readily expressed in the specification language. The set of decision procedures provided was adequate to verify the specifications of interest. The need for improved support for system behavior visualization is emphasized.

An Abstract Plan Preparation Language

NASA Technical Reports Server (NTRS)

Butler, Ricky W.; Munoz, Cesar A.

2006-01-01

This paper presents a new planning language that is more abstract than most existing planning languages such as the Planning Domain Definition Language (PDDL) or the New Domain Description Language (NDDL). The goal of this language is to simplify the formal analysis and specification of planning problems that are intended for safety-critical applications such as power management or automated rendezvous in future manned spacecraft. The new language has been named the Abstract Plan Preparation Language (APPL). A translator from APPL to NDDL has been developed in support of the Spacecraft Autonomy for Vehicles and Habitats Project (SAVH) sponsored by the Explorations Technology Development Program, which is seeking to mature autonomy technology for application to the new Crew Exploration Vehicle (CEV) that will replace the Space Shuttle.

From General Game Descriptions to a Market Specification Language for General Trading Agents

NASA Astrophysics Data System (ADS)

Thielscher, Michael; Zhang, Dongmo

The idea behind General Game Playing is to build systems that, instead of being programmed for one specific task, are intelligent and flexible enough to negotiate an unknown environment solely on the basis of the rules which govern it. In this paper, we argue that this principle has the great potential to bring to a new level artificially intelligent systems in other application areas as well. Our specific interest lies in General Trading Agents, which are able to understand the rules of unknown markets and then to actively participate in them without human intervention. To this end, we extend the general Game Description Language into a language that allows to formally describe arbitrary markets in such a way that these specifications can be automatically processed by a computer. We present both syntax and a transition-based semantics for this Market Specification Language and illustrate its expressive power by presenting axiomatizations of several well-known auction types.

Preferences for (In)Formal Language: Correlations with Attitudes toward Linguistic Variation, Multilingualism, Tolerance of Ambiguity, and Residence Abroad

ERIC Educational Resources Information Center

van Compernolle, Rémi A.

2017-01-01

Drawing on data collected via a web-based survey, the study investigates the relationship between preferences for (in)formal language and attitudes toward linguistic variation among a large group of monolingual and multilingual adults (n = 379). Also explored are the links between preferences for (in)formal language and several secondary…

Formalizing New Navigation Requirements for NASA's Space Shuttle

NASA Technical Reports Server (NTRS)

DiVito, Ben L.

1996-01-01

We describe a recent NASA-sponsored pilot project intended to gauge the effectiveness of using formal methods in Space Shuttle software requirements analysis. Several Change Requests (CRs) were selected as promising targets to demonstrate the utility of formal methods in this demanding application domain. A CR to add new navigation capabilities to the Shuttle, based on Global Positioning System (GPS) technology, is the focus of this industrial usage report. Portions of the GPS CR were modeled using the language of SRI's Prototype Verification System (PVS). During a limited analysis conducted on the formal specifications, numerous requirements issues were discovered. We present a summary of these encouraging results and conclusions we have drawn from the pilot project.

A Formal Approach to Domain-Oriented Software Design Environments

NASA Technical Reports Server (NTRS)

Lowry, Michael; Philpot, Andrew; Pressburger, Thomas; Underwood, Ian; Lum, Henry, Jr. (Technical Monitor)

1994-01-01

This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesis. A declarative domain theory defines the semantics of a domain-oriented specification language and its relationship to implementation-level subroutines. Formal specification development and reuse is made accessible to end-users through an intuitive graphical interface that guides them in creating diagrams denoting formal specifications. The diagrams also serve to document the specifications. Deductive program synthesis ensures that end-user specifications are correctly implemented. AMPHION has been applied to the domain of solar system kinematics through the development of a declarative domain theory, which includes an axiomatization of JPL's SPICELIB subroutine library. Testing over six months with planetary scientists indicates that AMPHION's interactive specification acquisition paradigm enables users to develop, modify, and reuse specifications at least an order of magnitude more rapidly than manual program development. Furthermore, AMPHION synthesizes one to two page programs consisting of calls to SPICELIB subroutines from these specifications in just a few minutes. Test results obtained by metering AMPHION's deductive program synthesis component are examined. AMPHION has been installed at JPL and is currently undergoing further refinement in preparation for distribution to hundreds of SPICELIB users worldwide. Current work to support end-user customization of AMPHION's specification acquisition subsystem is briefly discussed, as well as future work to enable domain-expert creation of new AMPHION applications through development of suitable domain theories.

A formal approach to the analysis of clinical computer-interpretable guideline modeling languages.

PubMed

Grando, M Adela; Glasspool, David; Fox, John

2012-01-01

To develop proof strategies to formally study the expressiveness of workflow-based languages, and to investigate their applicability to clinical computer-interpretable guideline (CIG) modeling languages. We propose two strategies for studying the expressiveness of workflow-based languages based on a standard set of workflow patterns expressed as Petri nets (PNs) and notions of congruence and bisimilarity from process calculus. Proof that a PN-based pattern P can be expressed in a language L can be carried out semi-automatically. Proof that a language L cannot provide the behavior specified by a PNP requires proof by exhaustion based on analysis of cases and cannot be performed automatically. The proof strategies are generic but we exemplify their use with a particular CIG modeling language, PROforma. To illustrate the method we evaluate the expressiveness of PROforma against three standard workflow patterns and compare our results with a previous similar but informal comparison. We show that the two proof strategies are effective in evaluating a CIG modeling language against standard workflow patterns. We find that using the proposed formal techniques we obtain different results to a comparable previously published but less formal study. We discuss the utility of these analyses as the basis for principled extensions to CIG modeling languages. Additionally we explain how the same proof strategies can be reused to prove the satisfaction of patterns expressed in the declarative language CIGDec. The proof strategies we propose are useful tools for analysing the expressiveness of CIG modeling languages. This study provides good evidence of the benefits of applying formal methods of proof over semi-formal ones. Copyright © 2011 Elsevier B.V. All rights reserved.

Prerequisites for Deriving Formal Specifications from Natural Language Requirements.

DTIC Science & Technology

1983-04-01

International Joint Conference on Artificial Intell1ence, American Association for Artificial Intelligence, Mento Park, CA, 1981, 385-387. Mann, William C...Centering". Proceedings of the Seventh International Joint Conference on Artificial Intelligence, American Association for Artificial Intelligence, Mento

Tempo: A Toolkit for the Timed Input/Output Automata Formalism

DTIC Science & Technology

2008-01-30

generation of distributed code from specifications. F .4.3 [Formal Languages]: Tempo;, D.3 [Programming Many distributed systems involve a combination of...and require The chek (i) transition is enabled when process i’s program the simulator to check the assertions after every single step counter is set to...output foo (n:Int) The Tempo simulator addresses this issue by putting the states x: Int : = 10;transitions modeler in charge of resolving the non

Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach

NASA Astrophysics Data System (ADS)

Armando, Alessandro; Giunchiglia, Enrico; Ponta, Serena Elisa

We present an approach to the formal specification and automatic analysis of business processes under authorization constraints based on the action language \\cal{C}. The use of \\cal{C} allows for a natural and concise modeling of the business process and the associated security policy and for the automatic analysis of the resulting specification by using the Causal Calculator (CCALC). Our approach improves upon previous work by greatly simplifying the specification step while retaining the ability to perform a fully automatic analysis. To illustrate the effectiveness of the approach we describe its application to a version of a business process taken from the banking domain and use CCALC to determine resource allocation plans complying with the security policy.

The language growth of spanish-speaking English language learners.

PubMed

Rojas, Raúl; Iglesias, Aquiles

2013-01-01

Although the research literature regarding language growth trajectories is burgeoning, the shape and direction of English Language Learners' (ELLs) language growth trajectories are largely not known. This study used growth curve modeling to determine the shape of ELLs' language growth trajectories across 12,248 oral narrative language samples (6,516 Spanish; 5,732 English) produced by 1,723 ELLs during the first 3 years of formal schooling (M age at first observation = 5 years 7 months). Results indicated distinct trajectories of language growth over time for each language differentially impacted by summer vacation and gender, significant intra- and interindividual differences in initial status and growth rates across both languages, and language-specific relations between language growth and initial status. Implications of ELLs' language growth are discussed. © 2012 The Authors. Child Development © 2012 Society for Research in Child Development, Inc.

Lexical and Grammatical Abilities in Deaf Italian Preschoolers: The Role of Duration of Formal Language Experience

ERIC Educational Resources Information Center

Rinaldi, Pasquale; Caselli, Cristina

2009-01-01

We evaluated language development in deaf Italian preschoolers with hearing parents, taking into account the duration of formal language experience (i.e., the time elapsed since wearing a hearing aid and beginning language education) and different methods of language education. Twenty deaf children were matched with 20 hearing children for age and…

"I Understand English but Can't Write It": The Power of Native Language Instruction for Adult English Learners

ERIC Educational Resources Information Center

Lukes, Marguerite

2011-01-01

This study explores the potential of native language literacy instruction for adult immigrant English language learners who have limited formal schooling or have had interruptions in their formal education. By examining 3 programs that provide native language literacy in combination with English as a second language (ESL) instruction, this study…

Mission and science activity scheduling language

NASA Technical Reports Server (NTRS)

Hull, Larry G.

1993-01-01

To support the distributed and complex operational scheduling required for future National Aeronautics and Space Administration (NASA) missions, a formal, textual language, the Scheduling Applications Interface Language (SAIL), has been developed. Increased geographic dispersion of investigators is leading to distributed mission and science activity planning, scheduling, and operations. SAIL is an innovation which supports the effective and efficient communication of scheduling information among physically dispersed applications in distributed scheduling environments. SAIL offers a clear, concise, unambiguous expression of scheduling information in a readable, hardware independent format. The language concept, syntax, and semantics incorporate language features found useful during five years of research and prototyping with scheduling languages in physically distributed environments. SAIL allows concise specification of mission and science activity plans in a format which promotes repetition and reuse.

The Development of a Graphical Notation for the Formal Specification of Software

DTIC Science & Technology

1990-12-01

the language. A detailed user survey should be performed after the language implementation is complete to determine the effectiveness of the graphical...productivity. ’Ihere is no better way to improve programmer productivity than to help the programmer to avoid performing the work in the first place. This is...optional prototyping phase is performed ) to develop a computer program (2:40). In 1985, Robert Balzer proposed the program transformation lifecycle

SGML by Evolution.

ERIC Educational Resources Information Center

Ensign, Chet

1993-01-01

Describes how the change to Standard Generalized Markup Language at Information Builders began with the use of SGML-like markup in text because it solved a specific problem. Notes that many additional unexpected benefits led to an investigation of converting to formal SGML-based electronic publishing. (SR)

Symbolic Dynamics and Grammatical Complexity

NASA Astrophysics Data System (ADS)

Hao, Bai-Lin; Zheng, Wei-Mou

The following sections are included: * Formal Languages and Their Complexity * Formal Language * Chomsky Hierarchy of Grammatical Complexity * The L-System * Regular Language and Finite Automaton * Finite Automaton * Regular Language * Stefan Matrix as Transfer Function for Automaton * Beyond Regular Languages * Feigenbaum and Generalized Feigenbaum Limiting Sets * Even and Odd Fibonacci Sequences * Odd Maximal Primitive Prefixes and Kneading Map * Even Maximal Primitive Prefixes and Distinct Excluded Blocks * Summary of Results

Formalization and Transformation of Informal Analysis Models into Executive REFINE (trademark) Specifications

DTIC Science & Technology

1992-12-01

describing how. 5. EDDA . EDDA is an attempt to add mathematical formalism to SADT. Because it is based on SADT, it cannot easily represent any other...design methodology. EDDA has two forms: G- EDDA , the standard graphical version of SADT, and S- EDDA , a textual language that partially represents the...used. "* EDDA only supports the SADT methodology and is too limited in scope to be useful in our research. "* SAMM lacks the semantic richness of

Specification and simulation of behavior of the Continuous Infusion Insulin Pump system.

PubMed

Babamir, Seyed Morteza; Dehkordi, Mehdi Borhani

2014-01-01

Continuous Infusion Insulin Pump (CIIP) system is responsible for monitoring diabetic blood sugar. In this paper, we aim to specify and simulate the CIIP software behavior. To this end, we first: (1) presented a model consisting of the CIIP system behavior in response to its environment (diabetic) behavior and (2) we formally defined the safety requirements of the system environment (diabetic) in the Z formal modeling language. Such requirements should be satisfied by the CIIP software. Finally, we programmed the model and requirements.

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.

Standardized terminology for clinical trial protocols based on top-level ontological categories.

PubMed

Heller, B; Herre, H; Lippoldt, K; Loeffler, M

2004-01-01

This paper describes a new method for the ontologically based standardization of concepts with regard to the quality assurance of clinical trial protocols. We developed a data dictionary for medical and trial-specific terms in which concepts and relations are defined context-dependently. The data dictionary is provided to different medical research networks by means of the software tool Onto-Builder via the internet. The data dictionary is based on domain-specific ontologies and the top-level ontology of GOL. The concepts and relations described in the data dictionary are represented in natural language, semi-formally or formally according to their use.

MatLab Programming for Engineers Having No Formal Programming Knowledge

NASA Technical Reports Server (NTRS)

Shaykhian, Linda H.; Shaykhian, Gholam Ali

2007-01-01

MatLab is one of the most widely used very high level programming languages for Scientific and engineering computations. It is very user-friendly and needs practically no formal programming knowledge. Presented here are MatLab programming aspects and not just the MatLab commands for scientists and engineers who do not have formal programming training and also have no significant time to spare for learning programming to solve their real world problems. Specifically provided are programs for visualization. Also, stated are the current limitations of the MatLab, which possibly can be taken care of by Mathworks Inc. in a future version to make MatLab more versatile.

Language Use along the Urban Street in Senegal: Perspectives from Proprietors of Commercial Signs

ERIC Educational Resources Information Center

Shiohata, Mariko

2012-01-01

Senegal adopted French as the country's sole official language at the time of independence in 1960, since when the language has been used in administration and other formal domains. Similarly, French is employed throughout the formal education system as the language of instruction. Since the 1990s, however, government has mounted an ambitious…

Mobile City and Language Guides--New Links between Formal and Informal Learning Environments

ERIC Educational Resources Information Center

Bo-Kristensen, Mads; Ankerstjerne, Niels Ole; Neutzsky-Wulff, Chresteria; Schelde, Herluf

2009-01-01

One of the major challenges in second and foreign language education, is to create links between formal and informal learning environments. Mobile City and Language Guides present examples of theoretical and practical reflections on such links. This paper presents and discusses the first considerations of Mobile City and Language Guides in…

An Efficient Universal Trajectory Language

NASA Technical Reports Server (NTRS)

Hagen, George E.; Guerreiro, Nelson M.; Maddalon, Jeffrey M.; Butler, Ricky W.

2017-01-01

The Efficient Universal Trajectory Language (EUTL) is a language for specifying and representing trajectories for Air Traffic Management (ATM) concepts such as Trajectory-Based Operations (TBO). In these concepts, the communication of a trajectory between an aircraft and ground automation is fundamental. Historically, this trajectory exchange has not been done, leading to trajectory definitions that have been centered around particular application domains and, therefore, are not well suited for TBO applications. The EUTL trajectory language has been defined in the Prototype Verification System (PVS) formal specification language, which provides an operational semantics for the EUTL language. The hope is that EUTL will provide a foundation for mathematically verified algorithms that manipulate trajectories. Additionally, the EUTL language provides well-defined methods to unambiguously determine position and velocity information between the reported trajectory points. In this paper, we present the EUTL trajectory language in mathematical detail.

Specification and Verification of Web Applications in Rewriting Logic

NASA Astrophysics Data System (ADS)

Alpuente, María; Ballis, Demis; Romero, Daniel

This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through a communicating protocol abstracting HTTP. The proposed framework includes a scripting language that is powerful enough to model the dynamics of complex Web applications by encompassing the main features of the most popular Web scripting languages (e.g. PHP, ASP, Java Servlets). We also provide a detailed characterization of browser actions (e.g. forward/backward navigation, page refresh, and new window/tab openings) via rewrite rules, and show how our models can be naturally model-checked by using the Linear Temporal Logic of Rewriting (LTLR), which is a Linear Temporal Logic specifically designed for model-checking rewrite theories. Our formalization is particularly suitable for verification purposes, since it allows one to perform in-depth analyses of many subtle aspects related to Web interaction. Finally, the framework has been completely implemented in Maude, and we report on some successful experiments that we conducted by using the Maude LTLR model-checker.

Geometry and Formal Linguistics.

ERIC Educational Resources Information Center

Huff, George A.

This paper presents a method of encoding geometric line-drawings in a way which allows sets of such drawings to be interpreted as formal languages. A characterization of certain geometric predicates in terms of their properties as languages is obtained, and techniques usually associated with generative grammars and formal automata are then applied…

The MINERVA Software Development Process

NASA Technical Reports Server (NTRS)

Narkawicz, Anthony; Munoz, Cesar A.; Dutle, Aaron M.

2017-01-01

This paper presents a software development process for safety-critical software components of cyber-physical systems. The process is called MINERVA, which stands for Mirrored Implementation Numerically Evaluated against Rigorously Verified Algorithms. The process relies on formal methods for rigorously validating code against its requirements. The software development process uses: (1) a formal specification language for describing the algorithms and their functional requirements, (2) an interactive theorem prover for formally verifying the correctness of the algorithms, (3) test cases that stress the code, and (4) numerical evaluation on these test cases of both the algorithm specifications and their implementations in code. The MINERVA process is illustrated in this paper with an application to geo-containment algorithms for unmanned aircraft systems. These algorithms ensure that the position of an aircraft never leaves a predetermined polygon region and provide recovery maneuvers when the region is inadvertently exited.

Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes

NASA Technical Reports Server (NTRS)

Thompson, Jeffrey M.; Heimdahl, Mats P. E.; Erickson, Debra M.

2000-01-01

Formal capture and analysis of the required behavior of control systems have many advantages. For instance, it encourages rigorous requirements analysis, the required behavior is unambiguously defined, and we can assure that various safety properties are satisfied. Formal modeling is, however, a costly and time consuming process and if one could reuse the formal models over a family of products, significant cost savings would be realized. In an ongoing project we are investigating how to structure state-based models to achieve a high level of reusability within product families. In this paper we discuss a high-level structure of requirements models that achieves reusability of the desired control behavior across varying hardware platforms in a product family. The structuring approach is demonstrated through a case study in the mobile robotics domain where the desired robot behavior is reused on two diverse platforms-one commercial mobile platform and one build in-house. We use our language RSML (-e) to capture the control behavior for reuse and our tool NIMBUS to demonstrate how the formal specification can be validated and used as a prototype on the two platforms.

Zsyntax: a formal language for molecular biology with projected applications in text mining and biological prediction.

PubMed

Boniolo, Giovanni; D'Agostino, Marcello; Di Fiore, Pier Paolo

2010-03-03

We propose a formal language that allows for transposing biological information precisely and rigorously into machine-readable information. This language, which we call Zsyntax (where Z stands for the Greek word zetaomegaeta, life), is grounded on a particular type of non-classical logic, and it can be used to write algorithms and computer programs. We present it as a first step towards a comprehensive formal language for molecular biology in which any biological process can be written and analyzed as a sort of logical "deduction". Moreover, we illustrate the potential value of this language, both in the field of text mining and in that of biological prediction.

Longitudinal Effects on Early Adolescent Language: A Twin Study

PubMed Central

DeThorne, Laura Segebart; Smith, Jamie Mahurin; Betancourt, Mariana Aparicio; Petrill, Stephen A.

2016-01-01

Purpose We evaluated genetic and environmental contributions to individual differences in language skills during early adolescence, measured by both language sampling and standardized tests, and examined the extent to which these genetic and environmental effects are stable across time. Method We used structural equation modeling on latent factors to estimate additive genetic, shared environmental, and nonshared environmental effects on variance in standardized language skills (i.e., Formal Language) and productive language-sample measures (i.e., Productive Language) in a sample of 527 twins across 3 time points (mean ages 10–12 years). Results Individual differences in the Formal Language factor were influenced primarily by genetic factors at each age, whereas individual differences in the Productive Language factor were primarily due to nonshared environmental influences. For the Formal Language factor, the stability of genetic effects was high across all 3 time points. For the Productive Language factor, nonshared environmental effects showed low but statistically significant stability across adjacent time points. Conclusions The etiology of language outcomes may differ substantially depending on assessment context. In addition, the potential mechanisms for nonshared environmental influences on language development warrant further investigation. PMID:27732720

Combining Formal and Informal Learning: The Use of an Application to Enhance Information Gathering and Sharing Competence in a Foreign Language

ERIC Educational Resources Information Center

Sato, Yukiko; Rachmawan, Irene Erlyn Wina; Brückner, Stefan; Waragai, Ikumi; Kiyoki, Yasushi

2017-01-01

This study aims to enhance foreign language learners' language competence by integrating formal and informal learning environments and considers how they can improve their grammatical and lexical skills through the gathering (comprehension) and sharing (writing) of information in the foreign language. Experiments with German learners at a Japanese…

Using Ontologies to Formalize Services Specifications in Multi-Agent Systems

NASA Technical Reports Server (NTRS)

Breitman, Karin Koogan; Filho, Aluizio Haendchen; Haeusler, Edward Hermann

2004-01-01

One key issue in multi-agent systems (MAS) is their ability to interact and exchange information autonomously across applications. To secure agent interoperability, designers must rely on a communication protocol that allows software agents to exchange meaningful information. In this paper we propose using ontologies as such communication protocol. Ontologies capture the semantics of the operations and services provided by agents, allowing interoperability and information exchange in a MAS. Ontologies are a formal, machine processable, representation that allows to capture the semantics of a domain and, to derive meaningful information by way of logical inference. In our proposal we use a formal knowledge representation language (OWL) that translates into Description Logics (a subset of first order logic), thus eliminating ambiguities and providing a solid base for machine based inference. The main contribution of this approach is to make the requirements explicit, centralize the specification in a single document (the ontology itself), at the same that it provides a formal, unambiguous representation that can be processed by automated inference machines.

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…

EFL Teachers' Formal Assessment Practices Based on Exam Papers

ERIC Educational Resources Information Center

Kiliçkaya, Ferit

2016-01-01

This study reports initial findings from a small-scale qualitative study aimed at gaining insights into English language teachers' assessment practices in Turkey by examining the formal exam papers. Based on the technique of content analysis, formal exam papers were analyzed in terms of assessment items, language skills tested as well as the…

Applications of formal simulation languages in the control and monitoring subsystems of Space Station Freedom

NASA Technical Reports Server (NTRS)

Lacovara, R. C.

1990-01-01

The notions, benefits, and drawbacks of numeric simulation are introduced. Two formal simulation languages, Simpscript and Modsim are introduced. The capabilities of each are discussed briefly, and then the two programs are compared. The use of simulation in the process of design engineering for the Control and Monitoring System (CMS) for Space Station Freedom is discussed. The application of the formal simulation language to the CMS design is presented, and recommendations are made as to their use.

The Eugene language for synthetic biology.

PubMed

Bilitchenko, Lesia; Liu, Adam; Densmore, Douglas

2011-01-01

Synthetic biological systems are currently created by an ad hoc, iterative process of design, simulation, and assembly. These systems would greatly benefit from the introduction of a more formalized and rigorous specification of the desired system components as well as constraints on their composition. In order to do so, the creation of robust and efficient design flows and tools is imperative. We present a human readable language (Eugene) which allows for both the specification of synthetic biological designs based on biological parts as well as providing a very expressive constraint system to drive the creation of composite devices from collection of parts. This chapter provides an overview of the language primitives as well as instructions on installation and use of Eugene v0.03b. Copyright © 2011 Elsevier Inc. All rights reserved.

Formal Specification and Verification of Concurrent Programs

DTIC Science & Technology

1993-02-01

of examples from the emerging theory of This book describes operating systems in general programming languages. via the construction of MINIX , a UNIX...look-alike that runs on IBM-PC compatibles. The book con- Wegner72 tains a complete MINIX manual and a complete Wegnerflisting of its C codie. egner

Statistical Knowledge and Learning in Phonology

ERIC Educational Resources Information Center

Dunbar, Ewan Michael

2013-01-01

This dissertation deals with the theory of the phonetic component of grammar in a formal probabilistic inference framework: (1) it has been recognized since the beginning of generative phonology that some language-specific phonetic implementation is actually context-dependent, and thus it can be said that there are gradient "phonetic…

Matching Linguistic Training with Individual Indigenous Community's Needs

ERIC Educational Resources Information Center

Caffery, Jo

2016-01-01

Australia is rapidly losing its Indigenous multicultural and multilingual identity. This vast continent has lost 90 per cent of its Indigenous languages and cultures, without adequate documentation, and risks losing the rest by 2050 if action is not taken. There are formal, accredited linguistics courses designed specifically for Indigenous…

Identifying the Enemy: Social Categorization and National Security Policy

ERIC Educational Resources Information Center

Unsworth, Kristene

2010-01-01

This dissertation seeks to understand the interplay between informal articulations of social categories and formal instantiations of those categories in official language. Specifically, it explores the process of social categorization as it is used to identify threats to national security. The research employed a qualitative, document-based,…

Conversational Language Use as a Predictor of Early Reading Development: Language History as a Moderating Variable

PubMed Central

DeThorne, Laura Segebart; Petrill, Stephen A.; Schatschneider, Chris; Cutting, Laurie

2010-01-01

Purpose The present study examined the nature of concurrent and predictive associations between conversational language use and reading development during early school-age years. Method Language and reading data from 380 twins in the Western Reserve Reading Project were examined via phenotypic correlations and multilevel modeling on exploratory latent factors. Results In the concurrent prediction of children’s early reading abilities, a significant interaction emerged between children’s conversational language abilities and their history of reported language difficulties. Specifically, conversational language concurrently predicted reading development above and beyond variance accounted for by formal vocabulary scores, but only in children with a history of reported language difficulties. A similar trend was noted in predicting reading skills 1 year later, but the interaction was not statistically significant. Conclusions Findings suggest a more nuanced view of the association between spoken language and early reading than is commonly proposed. One possibility is that children with and without a history of reported language difficulties rely on different skills, or the same skills to differing degrees, when completing early reading-related tasks. Future studies should examine the causal link between conversational language and early reading specifically in children with a history of reported language difficulties. PMID:20150410

Literacy at a Distance in Multilingual Contexts: Issues and Challenges

ERIC Educational Resources Information Center

Ofulue, Christine I.

2011-01-01

Literacy is perhaps the most fundamental skill required for effective participation in education (formal and non-formal) for national development. At the same time, the choice of language for literacy is a complex issue in multilingual societies like Nigeria. This paper examines the issues involved, namely language policy, language and teacher…

How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project

NASA Technical Reports Server (NTRS)

Butler, Ricky W.; Hagen, George; Maddalon, Jeffrey M.; Munoz, Cesar A.; Narkawicz, Anthony; Dowek, Gilles

2010-01-01

In this paper we describe a process of algorithmic discovery that was driven by our goal of achieving complete, mechanically verified algorithms that compute conflict prevention bands for use in en route air traffic management. The algorithms were originally defined in the PVS specification language and subsequently have been implemented in Java and C++. We do not present the proofs in this paper: instead, we describe the process of discovery and the key ideas that enabled the final formal proof of correctness

Interrelationships of Non-Formal Mother Tongue Education and Citizenship in Guinea and Senegal

ERIC Educational Resources Information Center

Clemons, Andrea; Yerende, Eva

2009-01-01

Guinea and Senegal are multilingual countries that use French as a language of instruction in the formal educational sector with some significant exceptions. As in many other African countries, such exceptions in Guinea and Senegal, use local African languages primarily in the non-formal sector for a variety of purposes, such as adult literacy and…

English Language Education in Formal and Cram School Contexts: An Analysis of Listening Strategy and Learning Style

ERIC Educational Resources Information Center

Chou, Mu-hsuan

2017-01-01

Formal English language education in Taiwan now starts at Year 3 in primary school, with an emphasis on communicative proficiency. In addition to formal education, attending English cram schools after regular school has become a common phenomenon for Taiwanese students. The main purpose of gaining additional reinforcement in English cram schools…

On the Semantics of SPARQL

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.

Can mathematics explain the evolution of human language?

PubMed

Witzany, Guenther

2011-09-01

Investigation into the sequence structure of the genetic code by means of an informatic approach is a real success story. The features of human language are also the object of investigation within the realm of formal language theories. They focus on the common rules of a universal grammar that lies behind all languages and determine generation of syntactic structures. This universal grammar is a depiction of material reality, i.e., the hidden logical order of things and its relations determined by natural laws. Therefore mathematics is viewed not only as an appropriate tool to investigate human language and genetic code structures through computer science-based formal language theory but is itself a depiction of material reality. This confusion between language as a scientific tool to describe observations/experiences within cognitive constructed models and formal language as a direct depiction of material reality occurs not only in current approaches but was the central focus of the philosophy of science debate in the twentieth century, with rather unexpected results. This article recalls these results and their implications for more recent mathematical approaches that also attempt to explain the evolution of human language.

On Smoking in the Shower: Or Vernaculars in College English.

ERIC Educational Resources Information Center

Haynes, Lilith M.

This paper considers the inclusion of different types of dialect variants in formal language behavior. College-level writing is examined from the points of view of the writer and the teacher, and the determinants and features of vernacular transference are discussed with reference to literary, social, and economic realities. Specific techniques…

Proceedings of the First NASA Formal Methods Symposium

NASA Technical Reports Server (NTRS)

Denney, Ewen (Editor); Giannakopoulou, Dimitra (Editor); Pasareanu, Corina S. (Editor)

2009-01-01

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Word Meaning as a Palimpsest: A Defense of Sociocultural Theory

ERIC Educational Resources Information Center

Song, Seonmi; Kellogg, David

2011-01-01

Vygotsky's work on the acquisition of foreign language words has been criticized for lacking a formal view of language as a system and for taking little interest in questions such as the route and rate of language acquisition. We argue that word meanings really do not constitute a formal system, either in the way they develop, or in the way they…

The Digital electronic Guideline Library (DeGeL): a hybrid framework for representation and use of clinical guidelines.

PubMed

Shahar, Yuval; Young, Ohad; Shalom, Erez; Mayaffit, Alon; Moskovitch, Robert; Hessing, Alon; Galperin, Maya

2004-01-01

We propose to present a poster (and potentially also a demonstration of the implemented system) summarizing the current state of our work on a hybrid, multiple-format representation of clinical guidelines that facilitates conversion of guidelines from free text to a formal representation. We describe a distributed Web-based architecture (DeGeL) and a set of tools using the hybrid representation. The tools enable performing tasks such as guideline specification, semantic markup, search, retrieval, visualization, eligibility determination, runtime application and retrospective quality assessment. The representation includes four parallel formats: Free text (one or more original sources); semistructured text (labeled by the target guideline-ontology semantic labels); semiformal text (which includes some control specification); and a formal, machine-executable representation. The specification, indexing, search, retrieval, and browsing tools are essentially independent of the ontology chosen for guideline representation, but editing the semi-formal and formal formats requires ontology-specific tools, which we have developed in the case of the Asbru guideline-specification language. The four formats support increasingly sophisticated computational tasks. The hybrid guidelines are stored in a Web-based library. All tools, such as for runtime guideline application or retrospective quality assessment, are designed to operate on all representations. We demonstrate the hybrid framework by providing examples from the semantic markup and search tools.

Review of Estelle and LOTOS with respect to critical computer applications

NASA Technical Reports Server (NTRS)

Bown, Rodney L.

1991-01-01

Man rated NASA space vehicles seem to represent a set of ultimate critical computer applications. These applications require a high degree of security, integrity, and safety. A variety of formal and/or precise modeling techniques are becoming available for the designer of critical systems. The design phase of the software engineering life cycle includes the modification of non-development components. A review of the Estelle and LOTOS formal description languages is presented. Details of the languages and a set of references are provided. The languages were used to formally describe some of the Open System Interconnect (OSI) protocols.

Music acquisition: effects of enculturation and formal training on development.

PubMed

Hannon, Erin E; Trainor, Laurel J

2007-11-01

Musical structure is complex, consisting of a small set of elements that combine to form hierarchical levels of pitch and temporal structure according to grammatical rules. As with language, different systems use different elements and rules for combination. Drawing on recent findings, we propose that music acquisition begins with basic features, such as peripheral frequency-coding mechanisms and multisensory timing connections, and proceeds through enculturation, whereby everyday exposure to a particular music system creates, in a systematic order of acquisition, culture-specific brain structures and representations. Finally, we propose that formal musical training invokes domain-specific processes that affect salience of musical input and the amount of cortical tissue devoted to its processing, as well as domain-general processes of attention and executive functioning.

An engineering approach to automatic programming

NASA Technical Reports Server (NTRS)

Rubin, Stuart H.

1990-01-01

An exploratory study of the automatic generation and optimization of symbolic programs using DECOM - a prototypical requirement specification model implemented in pure LISP was undertaken. It was concluded, on the basis of this study, that symbolic processing languages such as LISP can support a style of programming based upon formal transformation and dependent upon the expression of constraints in an object-oriented environment. Such languages can represent all aspects of the software generation process (including heuristic algorithms for effecting parallel search) as dynamic processes since data and program are represented in a uniform format.

Inferences and metaphoric comprehension in unilaterally implanted children with adequate formal oral language performance.

PubMed

Nicastri, Maria; Filipo, Roberto; Ruoppolo, Giovanni; Viccaro, Marika; Dincer, Hilal; Guerzoni, Letizia; Cuda, Domenico; Bosco, Ersilia; Prosperini, Luca; Mancini, Patrizia

2014-05-01

To assess skills in inferences during conversations and in metaphors comprehension of unilaterally cochlear implanted children with adequate abilities at the formal language tests, comparing them with well-matched hearing peers; to verify the influence of age of implantation on overall skills. The study was designed as a matched case-control study. 31 deaf children, unilateral cochlear implant users, with normal linguistic competence at formal language tests were compared with 31 normal hearing matched peers. Inferences and metaphor comprehension skills were assessed through the Implicit Meaning Comprehension, Situations and Metaphors subtests of the Italian Standardized Battery of "Pragmatic Language Skills MEDEA". Differences between patient and control groups were tested by the Mann-Whitney U test. Correlations between age at implantation and time of implant use with each subtest were investigated by the Spearman rank correlation coefficient. No significant differences between the two groups were found in inferencing skills (p=0.24 and p=0.011 respectively for Situations and Implicit Meaning Comprehension). Regarding figurative language, unilaterally cochlear implanted children performed significantly below their normal hearing peers in Verbal Metaphor comprehension (p=0.001). Performances were related to age at implantation, but not with time of implant use. Unilaterally cochlear implanted children with normal language level showed responses similar to NH children in discourse inferences, but not in figurative language comprehension. Metaphors still remains a challenge for unilateral implant users and above all when they have not any reference, as demonstrated by the significant difference in verbal rather than figurative metaphors comprehension. Older age at implantation was related to worse performance for all items. These aspects, until now less investigated, had to receive more attention to deeply understand specific mechanisms involved and possible effects of different levels of figurative language complexity (presence or absence of contextual input, degree of transparency and syntactic frozenness). New insight is needed to orient programs in early intervention settings in considering and adequately responding to all these complex communicative need of children with hearing loss. Copyright © 2014 Elsevier Ireland Ltd. All rights reserved.

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

DTIC Science & Technology

1983-11-03

capability. An intelligent library management system will be supported by knowledge-based techniques. In fact, until a formal specification of library...from artificial intelligence and information science 2 might also be useful, for example automatic indexing and cataloging schemes, methods for fast...Artificial Intelligence 5:1045-1058, 1977. [Burstall & Goguen 801 Burstall, R. M., and Goguen, J. A. The Semantics of Clear, a Specification Language. In

On verifying a high-level design. [cost and error analysis

NASA Technical Reports Server (NTRS)

Mathew, Ben; Wehbeh, Jalal A.; Saab, Daniel G.

1993-01-01

An overview of design verification techniques is presented, and some of the current research in high-level design verification is described. Formal hardware description languages that are capable of adequately expressing the design specifications have been developed, but some time will be required before they can have the expressive power needed to be used in real applications. Simulation-based approaches are more useful in finding errors in designs than they are in proving the correctness of a certain design. Hybrid approaches that combine simulation with other formal design verification techniques are argued to be the most promising over the short term.

Managing Risk in Mobile Applications with Formal Security Policies

DTIC Science & Technology

2013-04-01

Alternatively, Breaux and Powers (2009) found the Business Process Modeling Notation ( BPMN ), a declarative language for describing business processes, to be...the Business Process Execution Language (BPEL), preferred as the candidate formal semantics for BPMN , only works for limited classes of BPMN models

Corroborating the Role of L[subscript 1] Awareness in FL Pedagogy

ERIC Educational Resources Information Center

Paradowski, Michal B.

2008-01-01

Underlying the mainstream of current SLA research is the Ansatz that some level of attention to the formal aspects of language is necessary for acquisition to take place. It is self-evident and commonsensical that focusing on specific linguistic aspects helps the learner to acquire and internalise them. Numerous recent studies investigated the…

Does Gender Have an Impact on the Potential Benefits Learners May Achieve in Two Contexts Compared: Formal Instruction and Formal Instruction + Content and Language Integrated Learning?

ERIC Educational Resources Information Center

Roquet, Helena; Llopis, Jaume; Pérez-Vidal, Carmen

2016-01-01

This study focuses on the degree of influence of one individual factor, namely gender, on the level of English competence attained in two different groups of intermediate-level Catalan Spanish adolescent learners of English as a foreign language: the first group (Group A) is 1 year younger and follows formal instruction (FI) and in parallel…

[The language disorders in schizophrenia in neurolinguistic and psycholinguistic perspectives].

PubMed

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.

The Effect of Formal Instruction on the Pidginized Speech of One Second Language Learner.

ERIC Educational Resources Information Center

Bruzzese, Giannina

The effect of formal instruction in English as a Second Language (ESL) on the pidginized speech of a second language learner was studied. The subject was a 76-year-old Italian woman residing in the United States since the age of 37. Four one-hour tapes were made of the subject's speech in April of 1976, and during the last five months of a…

An ontology of scientific experiments

PubMed Central

Soldatova, Larisa N; King, Ross D

2006-01-01

The formal description of experiments for efficient analysis, annotation and sharing of results is a fundamental part of the practice of science. Ontologies are required to achieve this objective. A few subject-specific ontologies of experiments currently exist. However, despite the unity of scientific experimentation, no general ontology of experiments exists. We propose the ontology EXPO to meet this need. EXPO links the SUMO (the Suggested Upper Merged Ontology) with subject-specific ontologies of experiments by formalizing the generic concepts of experimental design, methodology and results representation. EXPO is expressed in the W3C standard ontology language OWL-DL. We demonstrate the utility of EXPO and its ability to describe different experimental domains, by applying it to two experiments: one in high-energy physics and the other in phylogenetics. The use of EXPO made the goals and structure of these experiments more explicit, revealed ambiguities, and highlighted an unexpected similarity. We conclude that, EXPO is of general value in describing experiments and a step towards the formalization of science. PMID:17015305

Improved object optimal synthetic description, modeling, learning, and discrimination by GEOGINE computational kernel

NASA Astrophysics Data System (ADS)

Fiorini, Rodolfo A.; Dacquino, Gianfranco

2005-03-01

GEOGINE (GEOmetrical enGINE), a state-of-the-art OMG (Ontological Model Generator) based on n-D Tensor Invariants for n-Dimensional shape/texture optimal synthetic representation, description and learning, was presented in previous conferences elsewhere recently. Improved computational algorithms based on the computational invariant theory of finite groups in Euclidean space and a demo application is presented. Progressive model automatic generation is discussed. GEOGINE can be used as an efficient computational kernel for fast reliable application development and delivery in advanced biomedical engineering, biometric, intelligent computing, target recognition, content image retrieval, data mining technological areas mainly. Ontology can be regarded as a logical theory accounting for the intended meaning of a formal dictionary, i.e., its ontological commitment to a particular conceptualization of the world object. According to this approach, "n-D Tensor Calculus" can be considered a "Formal Language" to reliably compute optimized "n-Dimensional Tensor Invariants" as specific object "invariant parameter and attribute words" for automated n-Dimensional shape/texture optimal synthetic object description by incremental model generation. The class of those "invariant parameter and attribute words" can be thought as a specific "Formal Vocabulary" learned from a "Generalized Formal Dictionary" of the "Computational Tensor Invariants" language. Even object chromatic attributes can be effectively and reliably computed from object geometric parameters into robust colour shape invariant characteristics. As a matter of fact, any highly sophisticated application needing effective, robust object geometric/colour invariant attribute capture and parameterization features, for reliable automated object learning and discrimination can deeply benefit from GEOGINE progressive automated model generation computational kernel performance. Main operational advantages over previous, similar approaches are: 1) Progressive Automated Invariant Model Generation, 2) Invariant Minimal Complete Description Set for computational efficiency, 3) Arbitrary Model Precision for robust object description and identification.

Interlanguage Variation: A Point Missed?

ERIC Educational Resources Information Center

Tice, Bradley Scott

A study investigated patterns in phonological errors occurring in the speaker's second language in both formal and informal speaking situations. Subjects were three adult learners of English as a second language, including a native Spanish-speaker and two Asians. Their speech was recorded during diagnostic testing (formal speech) and in everyday…

Students with Limited or Interrupted Formal Education in US Classrooms

ERIC Educational Resources Information Center

DeCapua, Andrea; Marshall, Helaine W.

2010-01-01

Considerable attention has focused on the challenges of English language learners without age-appropriate formal education and first language literacy. They are viewed here as students with high-context learning experiences and expectations (Hall in Beyond culture, Anchor, New York, 1976), and a collectivistic orientation, with a pragmatic, rather…

Educational language planning and linguistic identity

NASA Astrophysics Data System (ADS)

Sutton, Peter

1991-03-01

There are cases in which a "high" form of a language is taught and used in formal situations, but linguistic variation is also caused by geography, ethnicity and socioeconomic class. Certain variants are regarded as inferior and restricted in expressive capacity, and are disadvantageous. The paper suggests that it is possible to map each person's linguistic identity in two dimensions: the number of languages spoken, and the situation-specific variants of each language. Further, it is argued that the distance between a "low" variant and a "high" standard form of a language may present to the "low" learner of a standardized mother tongue a barrier just as great as that posed by the learning of a related foreign language to a speaker of the high variant. It is proposed that greater tolerance be exercised in acceptance of variation and in recognition of linguistic identity, so that this can be built on in the necessary and desirable expansion of linguistic competence, rather than being devalued. The relevance of the communicative approach to language teaching is touched on.

Experimental Evaluation of a Planning Language Suitable for Formal Verification

NASA Technical Reports Server (NTRS)

Butler, Rick W.; Munoz, Cesar A.; Siminiceanu, Radu I.

2008-01-01

The marriage of model checking and planning faces two seemingly diverging alternatives: the need for a planning language expressive enough to capture the complexity of real-life applications, as opposed to a language simple, yet robust enough to be amenable to exhaustive verification and validation techniques. In an attempt to reconcile these differences, we have designed an abstract plan description language, ANMLite, inspired from the Action Notation Modeling Language (ANML) [17]. We present the basic concepts of the ANMLite language as well as an automatic translator from ANMLite to the model checker SAL (Symbolic Analysis Laboratory) [7]. We discuss various aspects of specifying a plan in terms of constraints and explore the implications of choosing a robust logic behind the specification of constraints, rather than simply propose a new planning language. Additionally, we provide an initial assessment of the efficiency of model checking to search for solutions of planning problems. To this end, we design a basic test benchmark and study the scalability of the generated SAL models in terms of plan complexity.

The Formalization of Cultural Psychology. Reasons and Functions.

PubMed

Salvatore, Sergio

2017-03-01

In this paper I discuss two basic theses about the formalization of cultural psychology. First, I claim that formalization is a relevant, even necessary stage of development of this domain of science. This is so because formalization allows the scientific language to achieve a much needed autonomy from the commonsensical language of the phenomena that this science deals with. Second, I envisage the two main functions that formalization has to perform in the field of cultural psychology: on the one hand, it has to provide formal rules grounding and constraining the deductive construction of the general theory; on the other hand, it has to provide the devices for supporting the interpretation of local phenomena, in terms of the abductive reconstruction of the network of linkages among empirical occurrences comprising the local phenomena.

Duplication in DNA Sequences

NASA Astrophysics Data System (ADS)

Ito, Masami; Kari, Lila; Kincaid, Zachary; Seki, Shinnosuke

The duplication and repeat-deletion operations are the basis of a formal language theoretic model of errors that can occur during DNA replication. During DNA replication, subsequences of a strand of DNA may be copied several times (resulting in duplications) or skipped (resulting in repeat-deletions). As formal language operations, iterated duplication and repeat-deletion of words and languages have been well studied in the literature. However, little is known about single-step duplications and repeat-deletions. In this paper, we investigate several properties of these operations, including closure properties of language families in the Chomsky hierarchy and equations involving these operations. We also make progress toward a characterization of regular languages that are generated by duplicating a regular language.

A high-level language for rule-based modelling.

PubMed

Pedersen, Michael; Phillips, Andrew; Plotkin, Gordon D

2015-01-01

Rule-based languages such as Kappa excel in their support for handling the combinatorial complexities prevalent in many biological systems, including signalling pathways. But Kappa provides little structure for organising rules, and large models can therefore be hard to read and maintain. This paper introduces a high-level, modular extension of Kappa called LBS-κ. We demonstrate the constructs of the language through examples and three case studies: a chemotaxis switch ring, a MAPK cascade, and an insulin signalling pathway. We then provide a formal definition of LBS-κ through an abstract syntax and a translation to plain Kappa. The translation is implemented in a compiler tool which is available as a web application. We finally demonstrate how to increase the expressivity of LBS-κ through embedded scripts in a general-purpose programming language, a technique which we view as generally applicable to other domain specific languages.

A High-Level Language for Rule-Based Modelling

PubMed Central

Pedersen, Michael; Phillips, Andrew; Plotkin, Gordon D.

2015-01-01

Rule-based languages such as Kappa excel in their support for handling the combinatorial complexities prevalent in many biological systems, including signalling pathways. But Kappa provides little structure for organising rules, and large models can therefore be hard to read and maintain. This paper introduces a high-level, modular extension of Kappa called LBS-κ. We demonstrate the constructs of the language through examples and three case studies: a chemotaxis switch ring, a MAPK cascade, and an insulin signalling pathway. We then provide a formal definition of LBS-κ through an abstract syntax and a translation to plain Kappa. The translation is implemented in a compiler tool which is available as a web application. We finally demonstrate how to increase the expressivity of LBS-κ through embedded scripts in a general-purpose programming language, a technique which we view as generally applicable to other domain specific languages. PMID:26043208

Sample Undergraduate Linguistics Courses. Linguistics in the Undergraduate Curriculum, Appendix 5.

ERIC Educational Resources Information Center

Linguistic Society of America, Washington, DC.

Thirty-six nontraditional undergraduate courses in linguistics are described. Course topics include: animal communication, bilingualism, sociolinguistics, introductory linguistics, language and formal reasoning, language and human conflict, language and power, language and sex, language and the brain, language planning, language typology and…

Research in mathematical theory of computation. [computer programming applications

NASA Technical Reports Server (NTRS)

Mccarthy, J.

1973-01-01

Research progress in the following areas is reviewed: (1) new version of computer program LCF (logic for computable functions) including a facility to search for proofs automatically; (2) the description of the language PASCAL in terms of both LCF and in first order logic; (3) discussion of LISP semantics in LCF and attempt to prove the correctness of the London compilers in a formal way; (4) design of both special purpose and domain independent proving procedures specifically program correctness in mind; (5) design of languages for describing such proof procedures; and (6) the embedding of ideas in the first order checker.

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.

Formal Schema Theory and Teaching EFL Reading

ERIC Educational Resources Information Center

Young, Barbara N; Man, Zhou

2005-01-01

Inquirers designed and conducted a study investigating whether or not results derived from previous research focusing on teaching and learning English as a native or foreign language would be replicated in a learning environment in which English is taught as a foreign language as in China. Because activation of formal schemata plays an important…

[The process and effect of heaviness exercise in autogenic training: factor analytical study of subjective response induced by the concentration upon and formal language of the sense of heaviness in the arm].

PubMed

Ikezuki, M; Sasaki, Y

1996-02-01

The present study examined the subjective response induced by the concentration upon and repetition of the formal language expressing the sense of heaviness--"The arm is heavy." As a result of the factor analysis of the experiment using 60 subjects, the following five factors emerged. (1) Overall sense of improvement; (2) awareness of the sensation of the arm; (3) change to less nervousness; (4) awareness of positive aspects; (5) understanding of the formal language. Also, those who were aware of psychosomatic symptoms felt their change to less nervousness more significantly, and their understanding of the formal language was significantly higher than those who were not aware of psychosomatic symptoms. The result of the experiment suggests one possibility that excessive concentration upon the body concerning psychosomatic symptoms may have changed to the concentration upon the sense of heaviness, or that the reduction of the stress thereof may have brought the change to less nervousness.

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.

OBJ-1, A Study in Executable Algebraic Formal Specification.

DTIC Science & Technology

1981-07-01

natural way; 2. Achievement of a high level of abstraction in a natural way; 3. The possibility of executing test cases; 4I. User definition of data types...languages. Goguen has defined a new data type, called symboltree, in OBJ. The purpose of this data type is to provide for fast checking of certain... data type work, is given in Appendix C of this report. K. Parsaye-Ghomi, with A. B. C. Sampaio of UCLA, has written a specification of a hardware

First Language Acquisition and Teaching

ERIC Educational Resources Information Center

Cruz-Ferreira, Madalena

2011-01-01

"First language acquisition" commonly means the acquisition of a single language in childhood, regardless of the number of languages in a child's natural environment. Language acquisition is variously viewed as predetermined, wondrous, a source of concern, and as developing through formal processes. "First language teaching" concerns schooling in…

Dynamical Systems in Psychology: Linguistic Approaches

NASA Astrophysics Data System (ADS)

Sulis, William

Major goals for psychoanalysis and psychology are the description, analysis, prediction, and control of behaviour. Natural language has long provided the medium for the formulation of our theoretical understanding of behavior. But with the advent of nonlinear dynamics, a new language has appeared which offers promise to provide a quantitative theory of behaviour. In this paper, some of the limitations of natural and formal languages are discussed. Several approaches to understanding the links between natural and formal languages, as applied to the study of behavior, are discussed. These include symbolic dynamics, Moore's generalized shifts, Crutchfield's ɛ machines, and dynamical automata.

Language experience changes subsequent learning

PubMed Central

Onnis, Luca; Thiessen, Erik

2013-01-01

What are the effects of experience on subsequent learning? We explored the effects of language-specific word order knowledge on the acquisition of sequential conditional information. Korean and English adults were engaged in a sequence learning task involving three different sets of stimuli: auditory linguistic (nonsense syllables), visual non-linguistic (nonsense shapes), and auditory non-linguistic (pure tones). The forward and backward probabilities between adjacent elements generated two equally probable and orthogonal perceptual parses of the elements, such that any significant preference at test must be due to either general cognitive biases, or prior language-induced biases. We found that language modulated parsing preferences with the linguistic stimuli only. Intriguingly, these preferences are congruent with the dominant word order patterns of each language, as corroborated by corpus analyses, and are driven by probabilistic preferences. Furthermore, although the Korean individuals had received extensive formal explicit training in English and lived in an English-speaking environment, they exhibited statistical learning biases congruent with their native language. Our findings suggest that mechanisms of statistical sequential learning are implicated in language across the lifespan, and experience with language may affect cognitive processes and later learning. PMID:23200510

An object-oriented approach for harmonization of multimedia markup languages

NASA Astrophysics Data System (ADS)

Chen, Yih-Feng; Kuo, May-Chen; Sun, Xiaoming; Kuo, C.-C. Jay

2003-12-01

An object-oriented methodology is proposed to harmonize several different markup languages in this research. First, we adopt the Unified Modelling Language (UML) as the data model to formalize the concept and the process of the harmonization process between the eXtensible Markup Language (XML) applications. Then, we design the Harmonization eXtensible Markup Language (HXML) based on the data model and formalize the transformation between the Document Type Definitions (DTDs) of the original XML applications and HXML. The transformation between instances is also discussed. We use the harmonization of SMIL and X3D as an example to demonstrate the proposed methodology. This methodology can be generalized to various application domains.

Solar-Terrestrial Ontology Development

NASA Astrophysics Data System (ADS)

McGuinness, D.; Fox, P.; Middleton, D.; Garcia, J.; Cinquni, L.; West, P.; Darnell, J. A.; Benedict, J.

2005-12-01

The development of an interdisciplinary virtual observatory (the Virtual Solar-Terrestrial Observatory; VSTO) as a scalable environment for searching, integrating, and analyzing databases distributed over the Internet requires a higher level of semantic interoperability than here-to-fore required by most (if not all) distributed data systems or discipline specific virtual observatories. The formalization of semantics using ontologies and their encodings for the internet (e.g. OWL - the Web Ontology Language), as well as the use of accompanying tools, such as reasoning, inference and explanation, open up both a substantial leap in options for interoperability and in the need for formal development principles to guide ontology development and use within modern, multi-tiered network data environments. In this presentation, we outline the formal methodologies we utilize in the VSTO project, the currently developed use-cases, ontologies and their relation to existing ontologies (such as SWEET).

Enriching Formal Language Learning with an Informal Social Component

ERIC Educational Resources Information Center

Dettori, Giuliana; Torsani, Simone

2013-01-01

This paper describes an informal component that we added to an online formal language learning environment in order to help the learners reach relevant Internet pages they can freely use to complement their learning activity. Thanks to this facility, each lesson is enriched, at run time, with a number of links automatically retrieved from social…

What Challenges and Benefits Can Non-Formal Law and Language Integrated Learning Bring to University Students?

ERIC Educational Resources Information Center

Atabekova, Atabekova; Gorbatenko, Rimma; Belousov, Aleksandr; Grebnev, Ruslan; Sheremetieva, Olga

2016-01-01

The paper explores the ways in which non-formal content and language integrated learning within university studies can affect students' academic progress. The research has included theoretical and empirical studies. The article focuses on the observation of students' learning process, draws attention to challenges and benefits students experienced…

Formal and Informal Experiential Realms in German as a Foreign Language: A Preliminary Investigation

ERIC Educational Resources Information Center

Moyer, Alene

2005-01-01

In this study of German as a foreign language, formal classroom experience is compared with informal use of German outside the classroom focusing on three syntactic features: main clause word order (subject-verb-object, or SVO), topicalization (subject-verb inversion), and subordinate word order (subject-object-verb, or SOV). T tests and…

From Slow Repetition to Awkward Omission: Economic, Efficient, and Precise Language Use in Bilingual Formal Meetings

ERIC Educational Resources Information Center

Koskela, Merja; Pilke, Nina

2016-01-01

This article explores how linguistic resources from two local languages, Finnish and Swedish, are used in expert presentations in bilingual formal meetings and how they function with respect to the three ideal criteria of professional communication: economy, efficiency, and precision. Based on the results, the article suggests a typology of…

Indigenous Knowledge and Education from the Quechua Community to School: Beyond the Formal/Non-Formal Dichotomy

ERIC Educational Resources Information Center

Sumida Huaman, Elizabeth; Valdiviezo, Laura Alicia

2014-01-01

In this article, we propose to approach Indigenous education beyond the formal/non-formal dichotomy. We argue that there is a critical need to conscientiously include Indigenous knowledge in education processes from the school to the community; particularly, when formal systems exclude Indigenous cultures and languages. Based on ethnographic…

Making Sense of Images of Fact and Fiction: A Critical Review of the Knowledge Base for School Leadership in Vietnam

ERIC Educational Resources Information Center

Hallinger, Philip; Walker, Allan; Trung, Gian Tu

2015-01-01

Purpose: The purpose of this paper is to review both international and domestic (i.e. Vietnamese language) journal articles and graduate theses and dissertations on educational leadership in Vietnam. The review addresses two specific goals: first, to describe and critically assess the nature of the formal knowledge base on principal leadership in…

Towards improving phenotype representation in OWL

PubMed Central

2012-01-01

Background Phenotype ontologies are used in species-specific databases for the annotation of mutagenesis experiments and to characterize human diseases. The Entity-Quality (EQ) formalism is a means to describe complex phenotypes based on one or more affected entities and a quality. EQ-based definitions have been developed for many phenotype ontologies, including the Human and Mammalian Phenotype ontologies. Methods We analyze formalizations of complex phenotype descriptions in the Web Ontology Language (OWL) that are based on the EQ model, identify several representational challenges and analyze potential solutions to address these challenges. Results In particular, we suggest a novel, role-based approach to represent relational qualities such as concentration of iron in spleen, discuss its ontological foundation in the General Formal Ontology (GFO) and evaluate its representation in OWL and the benefits it can bring to the representation of phenotype annotations. Conclusion Our analysis of OWL-based representations of phenotypes can contribute to improving consistency and expressiveness of formal phenotype descriptions. PMID:23046625

Multilingual natural language generation as part of a medical terminology server.

PubMed

Wagner, J C; Solomon, W D; Michel, P A; Juge, C; Baud, R H; Rector, A L; Scherrer, J R

1995-01-01

Re-usable and sharable, and therefore language-independent concept models are of increasing importance in the medical domain. The GALEN project (Generalized Architecture for Languages Encyclopedias and Nomenclatures in Medicine) aims at developing language-independent concept representation systems as the foundations for the next generation of multilingual coding systems. For use within clinical applications, the content of the model has to be mapped to natural language. A so-called Multilingual Information Module (MM) establishes the link between the language-independent concept model and different natural languages. This text generation software must be versatile enough to cope at the same time with different languages and with different parts of a compositional model. It has to meet, on the one hand, the properties of the language as used in the medical domain and, on the other hand, the specific characteristics of the underlying model and its representation formalism. We propose a semantic-oriented approach to natural language generation that is based on linguistic annotations to a concept model. This approach is realized as an integral part of a Terminology Server, built around the concept model and offering different terminological services for clinical applications.

GATOR: Requirements capturing of telephony features

NASA Technical Reports Server (NTRS)

Dankel, Douglas D., II; Walker, Wayne; Schmalz, Mark

1992-01-01

We are developing a natural language-based, requirements gathering system called GATOR (for the GATherer Of Requirements). GATOR assists in the development of more accurate and complete specifications of new telephony features. GATOR interacts with a feature designer who describes a new feature, set of features, or capability to be implemented. The system aids this individual in the specification process by asking for clarifications when potential ambiguities are present, by identifying potential conflicts with other existing features, and by presenting its understanding of the feature to the designer. Through user interaction with a model of the existing telephony feature set, GATOR constructs a formal representation of the new, 'to be implemented' feature. Ultimately GATOR will produce a requirements document and will maintain an internal representation of this feature to aid in future design and specification. This paper consists of three sections that describe (1) the structure of GATOR, (2) POND, GATOR's internal knowledge representation language, and (3) current research issues.

Two Languages in the Classroom: The Inconsistency between National and Local Objectives of Formal Education in Cyprus

ERIC Educational Resources Information Center

Sophocleous, Andry

2011-01-01

This study investigates the complex interplay between national and local objectives of formal education in the bidialectal context of Cyprus. Even though the state and the Ministry of Education and Culture urge teachers to employ the standard language variety in education, the dialect is often used as a medium of interaction and even instruction…

Construction and Evaluation of an Integrated Formal/Informal Learning Environment for Foreign Language Learning across Real and Virtual Spaces

ERIC Educational Resources Information Center

Waragai, Ikumi; Ohta, Tatsuya; Kurabayashi, Shuichi; Kiyoki, Yasushi; Sato, Yukiko; Brückner, Stefan

2017-01-01

This paper presents the prototype of a foreign language learning space, based on the construction of an integrated formal/informal learning environment. Before the background of the continued innovation of information technology that places conventional learning styles and educational methods into new contexts based on new value-standards,…

State of the Art of Language Learning Design Using Mobile Technology: Sample Apps and Some Critical Reflection

ERIC Educational Resources Information Center

Bárcena, Elena; Read, Timothy; Underwood, Joshua; Obari, Hiroyuki; Cojocnean, Diana; Koyama, Toshiko; Pareja-Lora, Antonio; Calle, Cristina; Pomposo, Lourdes; Talaván, Noa; Ávila-Cabrera, José; Ibañez, Ana; Vermeulen, Anna; Jordano, María; Arús-Hita, Jorge; Rodríguez, Pilar; Castrillo, María Dolores; Kétyi, Andras; Selwood, Jaime; Gaved, Mark; Kukulska-Hulme, Agnes

2015-01-01

In this paper, experiences from different research groups illustrate the state-of-the-art of Mobile Assisted Language Learning (henceforth, MALL) in formal and non-formal education. These research samples represent recent and on-going progress made in the field of MALL at an international level and offer encouragement for practitioners who are…

Counting Words: Successful Sentences for Beginning ESL Adult Learners Using the Product Approach

ERIC Educational Resources Information Center

Gardner, Susanne

2017-01-01

The majority of correctional students of English as a second language (ESL) in Maryland come to school with limited formal education in their first language. Education has not been prioritized, and formal writing ability is absent. It then becomes a challenge to motivate students to successful writing, as is required by the state. ESL students at…

An ORCID based synchronization framework for a national CRIS ecosystem.

PubMed

Mendes Moreira, João; Cunha, Alcino; Macedo, Nuno

2015-01-01

PTCRIS (Portuguese Current Research Information System) is a program aiming at the creation and sustained development of a national integrated information ecosystem, to support research management according to the best international standards and practices. This paper reports on the experience of designing and prototyping a synchronization framework for PTCRIS based on ORCID (Open Researcher and Contributor ID). This framework embraces the "input once, re-use often" principle, and will enable a substantial reduction of the research output management burden by allowing automatic information exchange between the various national systems. The design of the framework followed best practices in rigorous software engineering, namely well-established principles in the research field of consistency management, and relied on formal analysis techniques and tools for its validation and verification. The notion of consistency between the services was formally specified and discussed with the stakeholders before the technical aspects on how to preserve said consistency were explored. Formal specification languages and automated verification tools were used to analyze the specifications and generate usage scenarios, useful for validation with the stakeholder and essential to certificate compliant services.

Composing, Analyzing and Validating Software Models

NASA Astrophysics Data System (ADS)

Sheldon, Frederick T.

1998-10-01

This research has been conducted at the Computational Sciences Division of the Information Sciences Directorate at Ames Research Center (Automated Software Engineering Grp). The principle work this summer has been to review and refine the agenda that were carried forward from last summer. Formal specifications provide good support for designing a functionally correct system, however they are weak at incorporating non-functional performance requirements (like reliability). Techniques which utilize stochastic Petri nets (SPNs) are good for evaluating the performance and reliability for a system, but they may be too abstract and cumbersome from the stand point of specifying and evaluating functional behavior. Therefore, one major objective of this research is to provide an integrated approach to assist the user in specifying both functionality (qualitative: mutual exclusion and synchronization) and performance requirements (quantitative: reliability and execution deadlines). In this way, the merits of a powerful modeling technique for performability analysis (using SPNs) can be combined with a well-defined formal specification language. In doing so, we can come closer to providing a formal approach to designing a functionally correct system that meets reliability and performance goals.

Composing, Analyzing and Validating Software Models

NASA Technical Reports Server (NTRS)

Sheldon, Frederick T.

1998-01-01

This research has been conducted at the Computational Sciences Division of the Information Sciences Directorate at Ames Research Center (Automated Software Engineering Grp). The principle work this summer has been to review and refine the agenda that were carried forward from last summer. Formal specifications provide good support for designing a functionally correct system, however they are weak at incorporating non-functional performance requirements (like reliability). Techniques which utilize stochastic Petri nets (SPNs) are good for evaluating the performance and reliability for a system, but they may be too abstract and cumbersome from the stand point of specifying and evaluating functional behavior. Therefore, one major objective of this research is to provide an integrated approach to assist the user in specifying both functionality (qualitative: mutual exclusion and synchronization) and performance requirements (quantitative: reliability and execution deadlines). In this way, the merits of a powerful modeling technique for performability analysis (using SPNs) can be combined with a well-defined formal specification language. In doing so, we can come closer to providing a formal approach to designing a functionally correct system that meets reliability and performance goals.

Formalization of Generalized Constraint Language: A Crucial Prelude to Computing With Words.

PubMed

Khorasani, Elham S; Rahimi, Shahram; Calvert, Wesley

2013-02-01

The generalized constraint language (GCL), introduced by Zadeh, serves as a basis for computing with words (CW). It provides an agenda to express the imprecise and fuzzy information embedded in natural language and allows reasoning with perceptions. Despite its fundamental role, the definition of GCL has remained informal since its introduction by Zadeh, and to our knowledge, no attempt has been made to formulate a rigorous theoretical framework for GCL. Such formalization is necessary for further theoretical and practical advancement of CW for two important reasons. First, it provides the underlying infrastructure for the development of useful inference patterns based on sound theories. Second, it determines the scope of GCL and hence facilitates the translation of natural language expressions into GCL. This paper is an attempt to step in this direction by providing a formal syntax together with a compositional semantics for GCL. A soundness theorem is defined, and Zadeh's deduction rules are proved to be valid in the defined semantics. Furthermore, a discussion is provided on how the proposed language may be used in practice.

Preface to MOST-ONISW 2009

NASA Astrophysics Data System (ADS)

Doerr, Martin; Freitas, Fred; Guizzardi, Giancarlo; Han, Hyoil

Ontology is a cross-disciplinary field concerned with the study of concepts and theories that can be used for representing shared conceptualizations of specific domains. Ontological Engineering is a discipline in computer and information science concerned with the development of techniques, methods, languages and tools for the systematic construction of concrete artifacts capturing these representations, i.e., models (e.g., domain ontologies) and metamodels (e.g., upper-level ontologies). In recent years, there has been a growing interest in the application of formal ontology and ontological engineering to solve modeling problems in diverse areas in computer science such as software and data engineering, knowledge representation, natural language processing, information science, among many others.

The Latin American laws of correct nutrition: Review, unified interpretation, model and tools.

PubMed

Chávez-Bosquez, Oscar; Pozos-Parra, Pilar

2016-03-01

The "Laws of Correct Nutrition": the Law of Quantity, the Law of Quality, the Law of Harmony and the Law of Adequacy, provide the basis of a proper diet, i.e. one that provides the body with the energy required and nutrients it needs for daily activities and maintenance of vital functions. For several decades, these Laws have been the basis of nourishing menus designed in Latin America; however, they are stated in a colloquial language, which leads to differences in interpretation and ambiguities for non-experts and even experts in the field. We present a review of the different interpretations of the Laws and describe a consensus. We represent concepts related to nourishing menu design employing the Unified Modeling Language (UML). We formalize the Laws using the Object Constraint Language (OCL). We design a nourishing menu for a particular user through enforcement of the Laws. We designed a domain model with the essential elements to plan a nourishing menu and we expressed the necessary constraints to make the model׳s behavior conform to the four Laws. We made a formal verification and validation of the model via USE (UML-based Specification Environment) and we developed a software prototype for menu design under the Laws. Diet planning is considered as an art but consideration should be given to the need for a set of strict rules to design adequate menus. Thus, we model the "Laws of Nutrition" as a formal basis and standard framework for this task. Copyright © 2016 The Authors. Published by Elsevier Ltd.. All rights reserved.

Quantum field theory and the linguistic Minimalist Program: a remarkable isomorphism

NASA Astrophysics Data System (ADS)

Piattelli-Palmarini, M.; Vitiello, G.

2017-08-01

By resorting to recent results, we show that an isomorphism exist between linguistic features of the Minimalist Program and the quantum field theory formalism of condensed matter physics. Specific linguistic features which admit a representation in terms of the many-body algebraic formalism are the unconstrained nature of recursive Merge, the operation of the Labeling Algorithm, the difference between pronounced and un-pronounced copies of elements in a sentence and the build-up of the Fibonacci sequence in the syntactic derivation of sentence structures. The collective dynamical nature of the formation process of Logical Forms leading to the individuation of the manifold of concepts and the computational self-consistency of languages are also discussed.

Structuring the formal definition of Ada

NASA Technical Reports Server (NTRS)

Hansen, Kurt W.

1986-01-01

The structure of the formal definition of Ada are described. At present, a difficult subset of Ada has been defined and the experience gained so far by this work is reported. Currently, the work continues towards the formal definition of the Ada language.

A High-Level Language for Modeling Algorithms and Their Properties

NASA Astrophysics Data System (ADS)

Akhtar, Sabina; Merz, Stephan; Quinson, Martin

Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented formalisms such as state transition systems. This conceptual gap contributes to hinder the use of formal verification techniques. Leslie Lamport introduced PlusCal, a high-level algorithmic language that has the "look and feel" of pseudo-code, but is equipped with a precise semantics and includes a high-level expression language based on set theory. PlusCal models can be compiled to TLA + and verified using the model checker tlc.

Speech and language support: How physicians can identify and treat speech and language delays in the office setting.

PubMed

Moharir, Madhavi; Barnett, Noel; Taras, Jillian; Cole, Martha; Ford-Jones, E Lee; Levin, Leo

2014-01-01

Failure to recognize and intervene early in speech and language delays can lead to multifaceted and potentially severe consequences for early child development and later literacy skills. While routine evaluations of speech and language during well-child visits are recommended, there is no standardized (office) approach to facilitate this. Furthermore, extensive wait times for speech and language pathology consultation represent valuable lost time for the child and family. Using speech and language expertise, and paediatric collaboration, key content for an office-based tool was developed. early and accurate identification of speech and language delays as well as children at risk for literacy challenges; appropriate referral to speech and language services when required; and teaching and, thus, empowering parents to create rich and responsive language environments at home. Using this tool, in combination with the Canadian Paediatric Society's Read, Speak, Sing and Grow Literacy Initiative, physicians will be better positioned to offer practical strategies to caregivers to enhance children's speech and language capabilities. The tool represents a strategy to evaluate speech and language delays. It depicts age-specific linguistic/phonetic milestones and suggests interventions. The tool represents a practical interim treatment while the family is waiting for formal speech and language therapy consultation.

The Language of Inquiry and the Language of Authority.

ERIC Educational Resources Information Center

Edelman, Murray

Political language employed in serious inquiry differs systematically from language employed to promote loyalty to authority in respect to syntax; grammatical completeness and complexity; proportion of nouns, verbs, and other parts of speech; and forms of qualification. Formal language entails continuous effort at verfication or falsification and…

Formally verifying Ada programs which use real number types

NASA Technical Reports Server (NTRS)

Sutherland, David

1986-01-01

Formal verification is applied to programs which use real number arithmetic operations (mathematical programs). Formal verification of a program P consists of creating a mathematical model of F, stating the desired properties of P in a formal logical language, and proving that the mathematical model has the desired properties using a formal proof calculus. The development and verification of the mathematical model are discussed.

Formal Language Design in the Context of Domain Engineering

DTIC Science & Technology

2000-03-28

73 Related Work 75 5.1 Feature oriented domain analysis ( FODA ) 75 5.2 Organizational domain modeling (ODM) 76 5.3 Domain-Specific Software...However there are only a few that are well defined and used repeatedly in practice. These include: Feature oriented domain analysis ( FODA ), Organizational...Feature oriented domain analysis ( FODA ) Feature oriented domain analysis ( FODA ) is a domain analysis method being researched and applied by the SEI

The Application of HOS to PLRS

DTIC Science & Technology

1977-11-01

of "older," more established fields, like philosophy or mathematics , and more recently, linguistics. But when working with large systems, there is...property of natural language, which is eliminated by using formal, mathematical specifications. 3.4.2.2 Network Management Processing: The Network...the format: y = f(x) That is, we must immediately begin thinking of the problem in terms of mathematical functions (mappings) acting on some input(s

Language of Mechanisms: Exam Analysis Reveals Students' Strengths, Strategies, and Errors When Using the Electron-Pushing Formalism (Curved Arrows) in New Reactions

ERIC Educational Resources Information Center

Flynn, Alison B.; Featherstone, Ryan B.

2017-01-01

This study investigated students' successes, strategies, and common errors in their answers to questions that involved the electron-pushing (curved arrow) formalism (EPF), part of organic chemistry's language. We analyzed students' answers to two question types on midterms and final exams: (1) draw the electron-pushing arrows of a reaction step,…

Formal language of Lanna Shop House’s Façade in Lampang Old city, Thailand

NASA Astrophysics Data System (ADS)

Phetsuriya, Natthakit

2017-10-01

This article aims to presents ‘the formal architectural language of Lanna Designs” that is a linguistic paradigm for decrypt the linguistic system which is hidden in the Lanna façade style. Lanna Designs present an identity of vital ordered and crucial articulated formal language which inherently set of mathematical rules for the arrangement of ornaments. The scope of this article is attempted to the morphology of façades of the ten shop houses which located in Lampang Old city and have familiar proportion and style. In this article, the sampling of façade buildings required proportion as three-stall and two-story with familiar style. The morphology is described based on terms of a symbolic encoding system that is represented as graphically building grammar. The system helps to emphasize commonalities in façade languages and propose a prototype of identified Lanna façade design. This methodology might be the option for decrypt or study in every facades style.

On the Equivalence of Formal Grammars and Machines.

ERIC Educational Resources Information Center

Lund, Bruce

1991-01-01

Explores concepts of formal language and automata theory underlying computational linguistics. A computational formalism is described known as a "logic grammar," with which computational systems process linguistic data, with examples in declarative and procedural semantics and definite clause grammars. (13 references) (CB)

Formal methods in the design of Ada 1995

NASA Technical Reports Server (NTRS)

Guaspari, David

1995-01-01

Formal, mathematical methods are most useful when applied early in the design and implementation of a software system--that, at least, is the familiar refrain. I will report on a modest effort to apply formal methods at the earliest possible stage, namely, in the design of the Ada 95 programming language itself. This talk is an 'experience report' that provides brief case studies illustrating the kinds of problems we worked on, how we approached them, and the extent (if any) to which the results proved useful. It also derives some lessons and suggestions for those undertaking future projects of this kind. Ada 95 is the first revision of the standard for the Ada programming language. The revision began in 1988, when the Ada Joint Programming Office first asked the Ada Board to recommend a plan for revising the Ada standard. The first step in the revision was to solicit criticisms of Ada 83. A set of requirements for the new language standard, based on those criticisms, was published in 1990. A small design team, the Mapping Revision Team (MRT), became exclusively responsible for revising the language standard to satisfy those requirements. The MRT, from Intermetrics, is led by S. Tucker Taft. The work of the MRT was regularly subject to independent review and criticism by a committee of distinguished Reviewers and by several advisory teams--for example, the two User/Implementor teams, each consisting of an industrial user (attempting to make significant use of the new language on a realistic application) and a compiler vendor (undertaking, experimentally, to modify its current implementation in order to provide the necessary new features). One novel decision established the Language Precision Team (LPT), which investigated language proposals from a mathematical point of view. The LPT applied formal mathematical analysis to help improve the design of Ada 95 (e.g., by clarifying the language proposals) and to help promote its acceptance (e.g., by identifying a verifiable subset that would meet the needs of safety-critical applications). The first LPT project, which ran from the fall of 1990 unti the end of 1992, produced studies of several language issues: optimization, sharing and storage, tasking and protected records, overload resolution, the floating point model, distribution, program erros, and object-oriented programming. The second LPT project, in 1994, formally modeled the dynamic semantics of a large part of the (almost) final language definition, looking especially for interactions between language features.

The software for automatic creation of the formal grammars used by speech recognition, computer vision, editable text conversion systems, and some new functions

NASA Astrophysics Data System (ADS)

Kardava, Irakli; Tadyszak, Krzysztof; Gulua, Nana; Jurga, Stefan

2017-02-01

For more flexibility of environmental perception by artificial intelligence it is needed to exist the supporting software modules, which will be able to automate the creation of specific language syntax and to make a further analysis for relevant decisions based on semantic functions. According of our proposed approach, of which implementation it is possible to create the couples of formal rules of given sentences (in case of natural languages) or statements (in case of special languages) by helping of computer vision, speech recognition or editable text conversion system for further automatic improvement. In other words, we have developed an approach, by which it can be achieved to significantly improve the training process automation of artificial intelligence, which as a result will give us a higher level of self-developing skills independently from us (from users). At the base of our approach we have developed a software demo version, which includes the algorithm and software code for the entire above mentioned component's implementation (computer vision, speech recognition and editable text conversion system). The program has the ability to work in a multi - stream mode and simultaneously create a syntax based on receiving information from several sources.

The Interrelatedness of Formal, Non-Formal and Informal Learning: Evidence from Labour Market Program Participants

ERIC Educational Resources Information Center

Cameron, Roslyn; Harrison, Jennifer L.

2012-01-01

Definitions, differences and relationships between formal, non-formal and informal learning have long been contentious. There has been a significant change in language and reference from adult education to what amounts to forms of learning categorised by their modes of facilitation. Nonetheless, there is currently a renewed interest in the…

Perception of chemesthetic stimuli in groups who differ by food involvement and culinary experience.

PubMed

Byrnes, Nadia; Loss, Christopher R; Hayes, John E

2015-12-01

In the English language, there is generally a limited lexicon when referring to the sensations elicited by chemesthetic stimuli like capsaicin, allyl isothiocyanate, and eugenol, the orally irritating compounds found in chiles, wasabi, and cloves, respectively. Elsewhere, experts and novices have been shown to use language differently, with experts using more precise language. Here, we compare perceptual maps and word usage across three cohorts: experts with formal culinary education, naïve individuals with high Food Involvement Scale (FIS) scores, and naïve individuals with low FIS scores. We hypothesized that increased experience with foods, whether through informal experiential learning or formal culinary education, would have a significant influence on the perceptual maps generated from a sorting task conducted with chemesthetic stimuli, as well as on language use in a descriptive follow-up task to this sorting task. The low- and highFIS non-expert cohorts generated significantly similar maps, though in other respects the highFIS cohort was an intermediate between the lowFIS and expert cohorts. The highFIS and expert cohorts generated more attributes but used language more idiosyncratically than the lowFIS group. Overall, the results from the expert group with formal culinary education differed from the two naïve cohorts both in the perceptual map generated using MDS as well as the mean number of attributes generated. Present data suggest that both formal education and informal experiential learning result in lexical development, but the level and type of learning can have a significant influence on language use and the approach to a sorting task.

Perception of chemesthetic stimuli in groups who differ by food involvement and culinary experience

PubMed Central

Byrnes, Nadia; Loss, Christopher R.; Hayes, John E.

2015-01-01

In the English language, there is generally a limited lexicon when referring to the sensations elicited by chemesthetic stimuli like capsaicin, allyl isothiocyanate, and eugenol, the orally irritating compounds found in chiles, wasabi, and cloves, respectively. Elsewhere, experts and novices have been shown to use language differently, with experts using more precise language. Here, we compare perceptual maps and word usage across three cohorts: experts with formal culinary education, naïve individuals with high Food Involvement Scale (FIS) scores, and naïve individuals with low FIS scores. We hypothesized that increased experience with foods, whether through informal experiential learning or formal culinary education, would have a significant influence on the perceptual maps generated from a sorting task conducted with chemesthetic stimuli, as well as on language use in a descriptive follow-up task to this sorting task. The low- and highFIS non-expert cohorts generated significantly similar maps, though in other respects the highFIS cohort was an intermediate between the lowFIS and expert cohorts. The highFIS and expert cohorts generated more attributes but used language more idiosyncratically than the lowFIS group. Overall, the results from the expert group with formal culinary education differed from the two naïve cohorts both in the perceptual map generated using MDS as well as the mean number of attributes generated. Present data suggest that both formal education and informal experiential learning result in lexical development, but the level and type of learning can have a significant influence on language use and the approach to a sorting task. PMID:26516297

Second Language Research Forum Colloquia 2009: Colloquium--Language Learning Abroad: Insights from the Missionary Experience

ERIC Educational Resources Information Center

Hansen, Lynne

2011-01-01

Recent years have brought increasing attention to studies of language acquisition in a country where the language is spoken, as opposed to formal language study in classrooms. Research on language learners in immersion contexts is important, as the question of whether study abroad is valuable is still somewhat controversial among researchers…

A primer in macromolecular linguistics.

PubMed

Searls, David B

2013-03-01

Polymeric macromolecules, when viewed abstractly as strings of symbols, can be treated in terms of formal language theory, providing a mathematical foundation for characterizing such strings both as collections and in terms of their individual structures. In addition this approach offers a framework for analysis of macromolecules by tools and conventions widely used in computational linguistics. This article introduces the ways that linguistics can be and has been applied to molecular biology, covering the relevant formal language theory at a relatively nontechnical level. Analogies between macromolecules and human natural language are used to provide intuitive insights into the relevance of grammars, parsing, and analysis of language complexity to biology. Copyright © 2012 Wiley Periodicals, Inc.

Language experience changes subsequent learning.

PubMed

Onnis, Luca; Thiessen, Erik

2013-02-01

What are the effects of experience on subsequent learning? We explored the effects of language-specific word order knowledge on the acquisition of sequential conditional information. Korean and English adults were engaged in a sequence learning task involving three different sets of stimuli: auditory linguistic (nonsense syllables), visual non-linguistic (nonsense shapes), and auditory non-linguistic (pure tones). The forward and backward probabilities between adjacent elements generated two equally probable and orthogonal perceptual parses of the elements, such that any significant preference at test must be due to either general cognitive biases, or prior language-induced biases. We found that language modulated parsing preferences with the linguistic stimuli only. Intriguingly, these preferences are congruent with the dominant word order patterns of each language, as corroborated by corpus analyses, and are driven by probabilistic preferences. Furthermore, although the Korean individuals had received extensive formal explicit training in English and lived in an English-speaking environment, they exhibited statistical learning biases congruent with their native language. Our findings suggest that mechanisms of statistical sequential learning are implicated in language across the lifespan, and experience with language may affect cognitive processes and later learning. Copyright © 2012 Elsevier B.V. All rights reserved.

F-Nets and Software Cabling: Deriving a Formal Model and Language for Portable Parallel Programming

NASA Technical Reports Server (NTRS)

DiNucci, David C.; Saini, Subhash (Technical Monitor)

1998-01-01

Parallel programming is still being based upon antiquated sequence-based definitions of the terms "algorithm" and "computation", resulting in programs which are architecture dependent and difficult to design and analyze. By focusing on obstacles inherent in existing practice, a more portable model is derived here, which is then formalized into a model called Soviets which utilizes a combination of imperative and functional styles. This formalization suggests more general notions of algorithm and computation, as well as insights into the meaning of structured programming in a parallel setting. To illustrate how these principles can be applied, a very-high-level graphical architecture-independent parallel language, called Software Cabling, is described, with many of the features normally expected from today's computer languages (e.g. data abstraction, data parallelism, and object-based programming constructs).

Bidirectionality in Self-Regulation and Expressive Vocabulary: Comparisons between Monolingual and Dual Language Learners in Preschool

ERIC Educational Resources Information Center

Bohlmann, Natalie L.; Maier, Michelle F.; Palacios, Natalia

2015-01-01

Significant differences in language and self-regulation skills exist among children when they enter formal schooling. Contributing to these language differences is a growing population of dual language learners (DLLs) in the United States. Given evidence linking self-regulatory processes and language development, this study explored bidirectional…

Learning Vietnamese as a Heritage Language in Taiwan

ERIC Educational Resources Information Center

Yeh, Yu-Ching; Ho, Hsiang-Ju; Chen, Ming-Chung

2015-01-01

In 2011, the Taiwanese Government began a campaign to encourage new immigrants to teach their native languages (heritage languages) to their children. However, these heritage languages are seldom used in cross-national families and the effectiveness of formal heritage language courses in Taiwan has yet to be explored. The present study examines…

Linguistic Evolution through Language Acquisition: Formal and Computational Models.

ERIC Educational Resources Information Center

Briscoe, Ted, Ed.

This collection of papers examines how children acquire language and how this affects language change over the generations. It proceeds from the basis that it is important to address not only the language faculty per se within the framework of evolutionary theory, but also the origins and subsequent development of languages themselves, suggesting…

Data Automata in Scala

NASA Technical Reports Server (NTRS)

Havelund, Klaus

2014-01-01

The field of runtime verification has during the last decade seen a multitude of systems for monitoring event sequences (traces) emitted by a running system. The objective is to ensure correctness of a system by checking its execution traces against formal specifications representing requirements. A special challenge is data parameterized events, where monitors have to keep track of the combination of control states as well as data constraints, relating events and the data they carry across time points. This poses a challenge wrt. efficiency of monitors, as well as expressiveness of logics. Data automata is a form of automata where states are parameterized with data, supporting monitoring of data parameterized events. We describe the full details of a very simple API in the Scala programming language, an internal DSL (Domain-Specific Language), implementing data automata. The small implementation suggests a design pattern. Data automata allow transition conditions to refer to other states than the source state, and allow target states of transitions to be inlined, offering a temporal logic flavored notation. An embedding of a logic in a high-level language like Scala in addition allows monitors to be programmed using all of Scala's language constructs, offering the full flexibility of a programming language. The framework is demonstrated on an XML processing scenario previously addressed in related work.

Formal ontology for natural language processing and the integration of biomedical databases.

PubMed

Simon, Jonathan; Dos Santos, Mariana; Fielding, James; Smith, Barry

2006-01-01

The central hypothesis underlying this communication is that the methodology and conceptual rigor of a philosophically inspired formal ontology can bring significant benefits in the development and maintenance of application ontologies [A. Flett, M. Dos Santos, W. Ceusters, Some Ontology Engineering Procedures and their Supporting Technologies, EKAW2002, 2003]. This hypothesis has been tested in the collaboration between Language and Computing (L&C), a company specializing in software for supporting natural language processing especially in the medical field, and the Institute for Formal Ontology and Medical Information Science (IFOMIS), an academic research institution concerned with the theoretical foundations of ontology. In the course of this collaboration L&C's ontology, LinKBase, which is designed to integrate and support reasoning across a plurality of external databases, has been subjected to a thorough auditing on the basis of the principles underlying IFOMIS's Basic Formal Ontology (BFO) [B. Smith, Basic Formal Ontology, 2002. http://ontology.buffalo.edu/bfo]. The goal is to transform a large terminology-based ontology into one with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase are standardized in the framework of first-order logic. In this paper we describe how this principles-based standardization has led to a greater degree of internal coherence of the LinKBase structure, and how it has facilitated the construction of mappings between external databases using LinKBase as translation hub. We argue that the collaboration here described represents a new phase in the quest to solve the so-called "Tower of Babel" problem of ontology integration [F. Montayne, J. Flanagan, Formal Ontology: The Foundation for Natural Language Processing, 2003. http://www.landcglobal.com/].

"Do You Want Me to Translate This in English or in a Better Mandinka Language?": Unequal Literacy Regimes and Grassroots Spelling Practices in Peri-Urban Gambia

ERIC Educational Resources Information Center

Juffermans, Kasper

2011-01-01

This paper presents a comparative ethnographic analysis of two versions of a grassroots text in Mandinka language, one written by a non-formally educated man, the other a respelling by a formally educated urbanite. The analysis points at a crucial difference in spelling practices and inequality in literacy regimes, i.e., between established…

The cultural dimension of uncertainty avoidance impacts police-civilian interaction.

PubMed

Giebels, Ellen; Oostinga, Miriam S D; Taylor, Paul J; Curtis, Joanna L

2017-02-01

This research examines how the cultural dimension of uncertainty avoidance-a person's (in)tolerance for uncertain or unknown situations-impacts communication alignment in crisis negotiations. We hypothesized that perpetrators high on uncertainty avoidance would respond better to negotiators who use formal language and legitimize their position with reference to law, procedures, and moral codes. Data were transcriptions of 53 negotiations from a Dutch-German police training initiative, where police negotiators interacted with a high (German) and low (Dutch) uncertainty-avoidant mock perpetrator. Consistent with accounts of cross-cultural interaction, negotiators tended to achieve more alignment in within-culture interactions compared to cross-cultural interactions. Moreover, German negotiators, who scored higher on uncertainty avoidance than the Dutch negotiators, were found to use more legitimizing messages and more formal language than their Dutch counterparts. Critically, irrespective of the negotiators cultural background, the use of these behaviors was a significant moderator of the degree to which negotiator and perpetrator aligned their communicative frames: Using legitimizing and formal language helped with German perpetrators but had no effect on Dutch perpetrators. Our findings show the effects of cultural background on communication alignment and demonstrate the benefits of using more formal language and messages that emphasize law and regulations when interacting with perpetrators high on uncertainty avoidance. (PsycINFO Database Record (c) 2017 APA, all rights reserved).

The Language of Man. Book 4.

ERIC Educational Resources Information Center

Littell, Joseph Fletcher, Ed.

Book 4 of "The Language of Man" series contains articles which deal with semantics, levels of language (including informal, formal and technical language, jargon, and gobbledygook), the hidden persuaders (advertising of merchandise and political candidates), and communications of the future (including the computer and other mass media now being…

Method and Mythology.

ERIC Educational Resources Information Center

Giovanazzi, Anthony

1993-01-01

Overviews the teaching of languages, particularly English, over a long time span. For centuries, the creative process of language learning, as opposed to the formalized pattern of language teaching, was largely ignored. It is suggested that there is nothing doctrinal about teaching methods, language learning will never be an exact science, and…

Specificity rates for non-clinical, bilingual, Mexican Americans on three popular performance validity measures.

PubMed

Gasquoine, Philip G; Weimer, Amy A; Amador, Arnoldo

2017-04-01

To measure specificity as failure rates for non-clinical, bilingual, Mexican Americans on three popular performance validity measures: (a) the language format Reliable Digit Span; (b) visual-perceptual format Test of Memory Malingering; and (c) visual-perceptual format Dot Counting, using optimal/suboptimal effort cut scores developed for monolingual, English-speakers. Participants were 61 consecutive referrals, aged between 18 and 65 years, with <16 years of education who were subjectively bilingual (confirmed via formal assessment) and chose the language of assessment, Spanish or English, for the performance validity tests. Failure rates were 38% for Reliable Digit Span, 3% for the Test of Memory Malingering, and 7% for Dot Counting. For Reliable Digit Span, the failure rates for Spanish (46%) and English (31%) languages of administration did not differ significantly. Optimal/suboptimal effort cut scores derived for monolingual English-speakers can be used with Spanish/English bilinguals when using the visual-perceptual format Test of Memory Malingering and Dot Counting. The high failure rate for Reliable Digit Span suggests it should not be used as a performance validity measure with Spanish/English bilinguals, irrespective of the language of test administration, Spanish or English.

Outcome Measurement Using Naturalistic Language Samples: A Feasibility Pilot Study Using Language Transcription Software and Speech and Language Therapy Assistants

ERIC Educational Resources Information Center

Overton, Sarah; Wren, Yvonne

2014-01-01

The ultimate aim of intervention for children with language impairment is an improvement in their functional language skills. Baseline and outcome measurement of this is often problematic however and practitioners commonly resort to using formal assessments that may not adequately reflect the child's competence. Language sampling,…

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.

Formal proof of the AVM-1 microprocessor using the concept of generic interpreters

NASA Technical Reports Server (NTRS)

Windley, P.; Levitt, K.; Cohen, G. C.

1991-01-01

A microprocessor designated AVM-1 was designed to demonstrate the use of generic interpreters in verifying hierarchically decomposed microprocessor specifications. This report is intended to document the high-order language (HOL) code verifying AVM-1. The organization of the proof is discussed and some technical details concerning the execution of the proof scripts in HOL are presented. The proof scripts used to verify AVM-1 are also presented.

Washington English Language Proficiency Assessment (WELPA). Form C 2015. Interpretation Guide

ERIC Educational Resources Information Center

Washington Office of Superintendent of Public Instruction, 2015

2015-01-01

The "Washington English Language Proficiency Assessment" (WELPA) is a No Child Left Behind (NCLB)-compliant instrument that is used in Grades K-12 as a formal and standardized method of measuring language proficiency. The test results provide important information for classifying English Language Learners (ELLs) and subsequently for…

An Overview of Computer-Based Natural Language Processing.

ERIC Educational Resources Information Center

Gevarter, William B.

Computer-based Natural Language Processing (NLP) is the key to enabling humans and their computer-based creations to interact with machines using natural languages (English, Japanese, German, etc.) rather than formal computer languages. NLP is a major research area in the fields of artificial intelligence and computational linguistics. Commercial…

The Language Situation in Timor-Leste

ERIC Educational Resources Information Center

Taylor-Leech, Kerry

2009-01-01

Timor-Leste celebrated its formal political independence on 20th May 2002. The National Constitution of the new nation declared the endogenous lingua franca (Tetum) and the former colonial language (Portuguese) to be co-official. The remaining local languages were given the status of national languages. Indonesian and English were designated as…

Dialects and Levels of Language.

ERIC Educational Resources Information Center

Littell, Joseph Fletcher, Ed.

This textbook, part of "The Language of Man" series, has two sections. The first section on dialects of English tells what dialects are and details the speech patterns of Kentucky, the Pennsylvania Dutch, Yiddish, and pidgin English. The second section discusses levels of language such as informal, formal, and technical language, slang, jargon,…

Drop Everything and Write (DEAW): An Innovative Program to Improve Literacy Skills

ERIC Educational Resources Information Center

Joshi, R. Malatesha; Aaron, P. G.; Hill, Nancy; Ocker Dean, Emily; Boulware-Gooden, Regina; Rupley, William H.

2008-01-01

It is believed that language is an innate ability and, therefore, spoken language is acquired naturally and informally. In contrast, written language is thought to be an invention and, therefore, has to be learned through formal instruction. An alternate view, however, is that spoken language and written language are two forms of manifestations of…

Who Is Qualified to Teach American Sign Language?

ERIC Educational Resources Information Center

Kanda, Jan; Fleischer, Larry

1988-01-01

Teachers of American Sign Language (ASL) can no longer qualify just by being able to sign well or by being deaf. ASL teachers must respect the language and its history, feel comfortable interacting with the deaf community, have completed formal study of language and pedagogy, be familiar with second-language teaching, and engage in personal and…

"So They're Actually Real?" Integrating E-Tandem Learning into the Study of Language for International Business

ERIC Educational Resources Information Center

Bruen, Jennifer; Sudhershan, Aleksandra

2015-01-01

Tandem learning involves learners with complementary target and native languages communicating for the purpose of learning each other's languages and cultures. Studies indicate that it can function as a powerful complement to formal language learning classes with regard to the development of both language proficiency and cultural intelligence.…

Report on the Formal Trialling of the Australian Second Language Proficiency Ratings (ASLPR).

ERIC Educational Resources Information Center

Ingram, D. E.

Results of testing the validity and reliability of the Australian second language proficiency ratings (ASLPR) are presented. In addition to providing a framework for planning English as a second language programs for immigrants to Australia, the ASLPR was developed to specify second language proficiency in terms of practical language skills. The…

The MITLL NIST LRE 2015 Language Recognition System

DTIC Science & Technology

2016-05-06

The MITLL NIST LRE 2015 Language Recognition System Pedro Torres-Carrasquillo, Najim Dehak*, Elizabeth Godoy, Douglas Reynolds, Fred Richardson...most recent MIT Lincoln Laboratory language recognition system developed for the NIST 2015 Language Recognition Evaluation (LRE). The submission...Task The National Institute of Science and Technology ( NIST ) has conducted formal evaluations of language detection algorithms since 1994. In

The MITLL NIST LRE 2015 Language Recognition system

DTIC Science & Technology

2016-02-05

The MITLL NIST LRE 2015 Language Recognition System Pedro Torres-Carrasquillo, Najim Dehak*, Elizabeth Godoy, Douglas Reynolds, Fred Richardson...recent MIT Lincoln Laboratory language recognition system developed for the NIST 2015 Language Recognition Evaluation (LRE). The submission features a...National Institute of Science and Technology ( NIST ) has conducted formal evaluations of language detection algorithms since 1994. In previous

Language Learner Perspectives on the Functionality and Use of Electronic Language Dictionaries

ERIC Educational Resources Information Center

Levy, Mike; Steel, Caroline

2015-01-01

This paper investigates the extent of electronic dictionary use by language learners in an Australian university. All students in the study are formally enrolled in language courses across ten languages at first, second or third year level. The study places a particular emphasis on gauging student perceptions of the beneficial aspects of…

Minority Language Abandonment in Welsh-Medium Educated L2 Male Adolescents: Classroom, Not Chatroom

ERIC Educational Resources Information Center

Price, Abigail Ruth; Tamburelli, Marco

2016-01-01

The education system has played a crucial role in Welsh language maintenance, with Welsh-medium education providing a central locus of language transmission. However, language transmission through education is not without pitfalls. This paper discusses the impact of top-down minority language transmission and the growing issue of formal domain…

Phonological Iconicity Electrifies: An ERP Study on Affective Sound-to-Meaning Correspondences in German

PubMed Central

Ullrich, Susann; Kotz, Sonja A.; Schmidtke, David S.; Aryani, Arash; Conrad, Markus

2016-01-01

While linguistic theory posits an arbitrary relation between signifiers and the signified (de Saussure, 1916), our analysis of a large-scale German database containing affective ratings of words revealed that certain phoneme clusters occur more often in words denoting concepts with negative and arousing meaning. Here, we investigate how such phoneme clusters that potentially serve as sublexical markers of affect can influence language processing. We registered the EEG signal during a lexical decision task with a novel manipulation of the words' putative sublexical affective potential: the means of valence and arousal values for single phoneme clusters, each computed as a function of respective values of words from the database these phoneme clusters occur in. Our experimental manipulations also investigate potential contributions of formal salience to the sublexical affective potential: Typically, negative high-arousing phonological segments—based on our calculations—tend to be less frequent and more structurally complex than neutral ones. We thus constructed two experimental sets, one involving this natural confound, while controlling for it in the other. A negative high-arousing sublexical affective potential in the strictly controlled stimulus set yielded an early posterior negativity (EPN), in similar ways as an independent manipulation of lexical affective content did. When other potentially salient formal features at the sublexical level were not controlled for, the effect of the sublexical affective potential was strengthened and prolonged (250–650 ms), presumably because formal salience helps making specific phoneme clusters efficient sublexical markers of negative high-arousing affective meaning. These neurophysiological data support the assumption that the organization of a language's vocabulary involves systematic sound-to-meaning correspondences at the phonemic level that influence the way we process language. PMID:27588008

Access and acceptability of community-based services for older Greek migrants in Australia: user and provider perspectives.

PubMed

Hurley, Catherine; Panagiotopoulos, Georgia; Tsianikas, Michael; Newman, Lareen; Walker, Ruth

2013-03-01

In most developed nations, ageing migrants represent a growing proportion of the older population. Policies that emphasise care in the community depend on older migrants having access to formal services along with informal support, yet little is known about how older migrants experience community-based formal services. By examining the views of both Greek elders in Australia and those of formal service providers, this research fills an important gap in the literature around access to and acceptability of formal community-based services for older migrants. A research team including two Greek background researchers used existing social groups and a snowball sampling method to conduct face-to-face interviews and focus groups with seventy older Greeks in Adelaide, Australia. In addition, 22 community-based service providers were interviewed over the telephone. Results from users and providers showed that while many older Greeks experience service access issues, they also relied heavily on family for support and assistance at home. Reliance on family was both in preference to formal services or where formal services were used, to locate, negotiate and monitor such services. Common barriers identified by both groups included cost, transport and availability, but additional challenges were posed by language, literacy and cultural attitudes. Demographic changes including greater employment mobility and female workforce participation among adult children will have implications for both formal and informal care providers. Formal service providers need to ensure that services are promoted and delivered to take account of the important role of family in informal support while also addressing the access challenges posed by language and literacy. Research conducted by researchers from the same cultural background in the respondent's native language can further advance knowledge in this area. © 2012 Blackwell Publishing Ltd.

Towards a formal semantics for Ada 9X

NASA Technical Reports Server (NTRS)

Guaspari, David; Mchugh, John; Wolfgang, Polak; Saaltink, Mark

1995-01-01

The Ada 9X language precision team was formed during the revisions of Ada 83, with the goal of analyzing the proposed design, identifying problems, and suggesting improvements, through the use of mathematical models. This report defines a framework for formally describing Ada 9X, based on Kahn's 'natural semantics', and applies the framework to portions of the language. The proposals for exceptions and optimization freedoms are also analyzed, using a different technique.

Speech and language support: How physicians can identify and treat speech and language delays in the office setting

PubMed Central

Moharir, Madhavi; Barnett, Noel; Taras, Jillian; Cole, Martha; Ford-Jones, E Lee; Levin, Leo

2014-01-01

Failure to recognize and intervene early in speech and language delays can lead to multifaceted and potentially severe consequences for early child development and later literacy skills. While routine evaluations of speech and language during well-child visits are recommended, there is no standardized (office) approach to facilitate this. Furthermore, extensive wait times for speech and language pathology consultation represent valuable lost time for the child and family. Using speech and language expertise, and paediatric collaboration, key content for an office-based tool was developed. The tool aimed to help physicians achieve three main goals: early and accurate identification of speech and language delays as well as children at risk for literacy challenges; appropriate referral to speech and language services when required; and teaching and, thus, empowering parents to create rich and responsive language environments at home. Using this tool, in combination with the Canadian Paediatric Society’s Read, Speak, Sing and Grow Literacy Initiative, physicians will be better positioned to offer practical strategies to caregivers to enhance children’s speech and language capabilities. The tool represents a strategy to evaluate speech and language delays. It depicts age-specific linguistic/phonetic milestones and suggests interventions. The tool represents a practical interim treatment while the family is waiting for formal speech and language therapy consultation. PMID:24627648

Medical language proficiency: A discussion of interprofessional language competencies and potential for patient risk.

PubMed

Hull, Melodie

2016-02-01

In increasingly multilingual healthcare environments worldwide, ensuring accurate, effective communication is requisite. Language proficiency is essential, particularly medical language proficiency. Medical language is a universal construct in healthcare, the shared language of health and allied health professions. It is highly evolved, career-specific, technical and cultural-bound-a language for specific purposes. Its function differs significantly from that of a standard language. Proficiency requires at minimum, a common understanding of discipline-specific jargon, abstracts, euphemisms, abbreviations; acronyms. An optimal medical language situation demands a level of competency beyond the superficial wherein one can convey or interpret deeper meanings, distinguish themes, voice opinion, and follow directions precisely. It necessitates the use of clarity, and the ability to understand both lay and formal language-characteristics not essential to standard language. Proficiency influences professional discourse and can have the potential to positively or negatively affect patient outcomes. While risks have been identified when there is language discordance between care provider and patient, almost nothing has been said about this within care teams themselves. This article will do so in anticipation that care providers, regulators, employers, and researchers will acknowledge potential language-based communication barriers and work towards resolutions. This is predicated on the fact that the growing interest in language and communication in healthcare today appears to be rested in globalization and increasingly linguistically diverse patient populations. Consideration of the linguistically diverse healthcare workforce is absent. An argument will be posited that if potential risks to patient safety exist and there are potentials for disengagement from care by patients when health providers do not speak their languages then logically these language-based issues can also be true for a care team of mixed linguistic backgrounds. Members may disengage from each other or adverse events may occur as a result of misunderstanding or other language-based confounds. While the greater goal of the article is to address the issues of medical language across languages, English and medical English are used to illustrate points. Questions will be posed to stimulate thought and identify a need for research. Recommendations include collaboration between the health and language disciplines. Crown Copyright © 2015. Published by Elsevier Ltd. All rights reserved.

Formal methods demonstration project for space applications

NASA Technical Reports Server (NTRS)

Divito, Ben L.

1995-01-01

The Space Shuttle program is cooperating in a pilot project to apply formal methods to live requirements analysis activities. As one of the larger ongoing shuttle Change Requests (CR's), the Global Positioning System (GPS) CR involves a significant upgrade to the Shuttle's navigation capability. Shuttles are to be outfitted with GPS receivers and the primary avionics software will be enhanced to accept GPS-provided positions and integrate them into navigation calculations. Prior to implementing the CR, requirements analysts at Loral Space Information Systems, the Shuttle software contractor, must scrutinize the CR to identify and resolve any requirements issues. We describe an ongoing task of the Formal Methods Demonstration Project for Space Applications whose goal is to find an effective way to use formal methods in the GPS CR requirements analysis phase. This phase is currently under way and a small team from NASA Langley, ViGYAN Inc. and Loral is now engaged in this task. Background on the GPS CR is provided and an overview of the hardware/software architecture is presented. We outline the approach being taken to formalize the requirements, only a subset of which is being attempted. The approach features the use of the PVS specification language to model 'principal functions', which are major units of Shuttle software. Conventional state machine techniques form the basis of our approach. Given this background, we present interim results based on a snapshot of work in progress. Samples of requirements specifications rendered in PVS are offered to illustration. We walk through a specification sketch for the principal function known as GPS Receiver State processing. Results to date are summarized and feedback from Loral requirements analysts is highlighted. Preliminary data is shown comparing issues detected by the formal methods team versus those detected using existing requirements analysis methods. We conclude by discussing our plan to complete the remaining activities of this task.

Computer-Aided Clinical Trial Recruitment Based on Domain-Specific Language Translation: A Case Study of Retinopathy of Prematurity

PubMed Central

2017-01-01

Reusing the data from healthcare information systems can effectively facilitate clinical trials (CTs). How to select candidate patients eligible for CT recruitment criteria is a central task. Related work either depends on DBA (database administrator) to convert the recruitment criteria to native SQL queries or involves the data mapping between a standard ontology/information model and individual data source schema. This paper proposes an alternative computer-aided CT recruitment paradigm, based on syntax translation between different DSLs (domain-specific languages). In this paradigm, the CT recruitment criteria are first formally represented as production rules. The referenced rule variables are all from the underlying database schema. Then the production rule is translated to an intermediate query-oriented DSL (e.g., LINQ). Finally, the intermediate DSL is directly mapped to native database queries (e.g., SQL) automated by ORM (object-relational mapping). PMID:29065644

The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology.

PubMed

Galdzicki, Michal; Clancy, Kevin P; Oberortner, Ernst; Pocock, Matthew; Quinn, Jacqueline Y; Rodriguez, Cesar A; Roehner, Nicholas; Wilson, Mandy L; Adam, Laura; Anderson, J Christopher; Bartley, Bryan A; Beal, Jacob; Chandran, Deepak; Chen, Joanna; Densmore, Douglas; Endy, Drew; Grünberg, Raik; Hallinan, Jennifer; Hillson, Nathan J; Johnson, Jeffrey D; Kuchinsky, Allan; Lux, Matthew; Misirli, Goksel; Peccoud, Jean; Plahar, Hector A; Sirin, Evren; Stan, Guy-Bart; Villalobos, Alan; Wipat, Anil; Gennari, John H; Myers, Chris J; Sauro, Herbert M

2014-06-01

The re-use of previously validated designs is critical to the evolution of synthetic biology from a research discipline to an engineering practice. Here we describe the Synthetic Biology Open Language (SBOL), a proposed data standard for exchanging designs within the synthetic biology community. SBOL represents synthetic biology designs in a community-driven, formalized format for exchange between software tools, research groups and commercial service providers. The SBOL Developers Group has implemented SBOL as an XML/RDF serialization and provides software libraries and specification documentation to help developers implement SBOL in their own software. We describe early successes, including a demonstration of the utility of SBOL for information exchange between several different software tools and repositories from both academic and industrial partners. As a community-driven standard, SBOL will be updated as synthetic biology evolves to provide specific capabilities for different aspects of the synthetic biology workflow.

Computer-Aided Clinical Trial Recruitment Based on Domain-Specific Language Translation: A Case Study of Retinopathy of Prematurity.

PubMed

Zhang, Yinsheng; Zhang, Guoming; Shang, Qian

2017-01-01

Reusing the data from healthcare information systems can effectively facilitate clinical trials (CTs). How to select candidate patients eligible for CT recruitment criteria is a central task. Related work either depends on DBA (database administrator) to convert the recruitment criteria to native SQL queries or involves the data mapping between a standard ontology/information model and individual data source schema. This paper proposes an alternative computer-aided CT recruitment paradigm, based on syntax translation between different DSLs (domain-specific languages). In this paradigm, the CT recruitment criteria are first formally represented as production rules. The referenced rule variables are all from the underlying database schema. Then the production rule is translated to an intermediate query-oriented DSL (e.g., LINQ). Finally, the intermediate DSL is directly mapped to native database queries (e.g., SQL) automated by ORM (object-relational mapping).

The Globalisation of (Educational) Language rights

NASA Astrophysics Data System (ADS)

Skutnabb-Kangas, Tove

2001-07-01

Languages are today being murdered faster than ever before in human history: 90% of the world's oral languages may be dead or moribund (no longer learned by children) in a hundred years' time. The media and the educational systems are the most important direct agents in language murder. Behind them are the real culprits, the global economic, military and political systems. Linguistic human rights might be one way of promoting conflict prevention and self-determination, preventing linguistic genocide, and maintaining linguistic diversity and biodiversity (which are correlationally and also causally related). The most basic linguistic human rights for maintenance of linguistic diversity, specifically the right to mother tongue medium education, are not protected by the present provisions in human rights law. Linguistically, formal education is today often 'forcibly transferring children of one group to another group' (one of the definitions of genocide in the UN Genocide Convention). Human rights are supposed to act as correctives to the 'free market'. Despite good intentions, forces behind economic globalisation have instead given brutal market forces free range.

Scriptwriting as a Tool for Learning Stylistic Variation

ERIC Educational Resources Information Center

Saugera, Valerie

2011-01-01

A film script is a useful tool for allowing students to experiment with language variation. Scripts of love stories comprise a range of language contexts, each triggering a different style on a formal-neutral-informal linguistic continuum: (1) technical cinematographic language in camera directions; (2) narrative language in exposition of scenes,…

The Language Exchange Programme: Plugging the Gap in Formal Learning

ERIC Educational Resources Information Center

Beaven, Tita; Gutiérrez, Mara Fuertes; Motzo, Anna

2017-01-01

In the context of distance language learning, speaking is frequently perceived as the most challenging skill; this paper reports on a 12 week summer language exchange programme providing students with new ways of practising their oral abilities. Students who completed an undergraduate beginners' language module took part in regular online,…

The Multi-Level Classroom or the One Room Little Red School-House Revisited.

ERIC Educational Resources Information Center

Courchene, Robert

1984-01-01

Describes language lab listening activity designed to serve needs of the English as a second language class comprised of students at different levels of language proficiency, divergent native languages, multicultural backgrounds, and varying levels of formal education. Multilevel tasks are drawn from a common text, allowing students to do…

Grammar and Good Taste: Reforming the American Language.

ERIC Educational Resources Information Center

Baron, Dennis E.

Tracing both current concern for correctness in speech and writing and continued suspicion of formal language regulation, this book explores the history of American language reform and failure. The first three chapters examine early attitudes toward the English language in the New World, and the development of the concept of Federal English in…

CHAMPION: Intelligent Hierarchical Reasoning Agents for Enhanced Decision Support

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

Hohimer, Ryan E.; Greitzer, Frank L.; Noonan, Christine F.

2011-11-15

We describe the design and development of an advanced reasoning framework employing semantic technologies, organized within a hierarchy of computational reasoning agents that interpret domain specific information. Designed based on an inspirational metaphor of the pattern recognition functions performed by the human neocortex, the CHAMPION reasoning framework represents a new computational modeling approach that derives invariant knowledge representations through memory-prediction belief propagation processes that are driven by formal ontological language specification and semantic technologies. The CHAMPION framework shows promise for enhancing complex decision making in diverse problem domains including cyber security, nonproliferation and energy consumption analysis.

Developing Literacy in Second-Language Learners: Report of the National Literacy Panel on Language-Minority Children and Youth

ERIC Educational Resources Information Center

August, Diane, Ed.; Shanahan, Timothy, Ed.

2006-01-01

This volume reports the findings of the National Literacy Panel on Language-Minority Children and Youth. The formal charge to the panel--a distinguished group of expert researchers in reading, language, bilingualism, research methods, and education--was to identify, assess, and synthesize research on the education of language-minority children and…

"Why Won't You Speak to Me in Gaelic?" Authenticity, Integration, and the Heritage Language Learning Project

ERIC Educational Resources Information Center

Armstrong, Timothy Currie

2013-01-01

The last speakers of an endangered language often include many individuals who have acquired less than full productive proficiency in the language, language users Nancy Dorian (1977) called semi-speakers. When these individuals enter formal education and seek to learn or relearn their endangered heritage language, they are often frustrated by…

A Formalisation of Adaptable Pervasive Flows

NASA Astrophysics Data System (ADS)

Bucchiarone, Antonio; Lafuente, Alberto Lluch; Marconi, Annapaola; Pistore, Marco

Adaptable Pervasive Flows is a novel workflow-based paradigm for the design and execution of pervasive applications, where dynamic workflows situated in the real world are able to modify their execution in order to adapt to changes in their environment. In this paper, we study a formalisation of such flows by means of a formal flow language. More precisely, we define APFoL (Adaptable Pervasive Flow Language) and formalise its textual notation by encoding it in Blite, a formalisation of WS-BPEL. The encoding in Blite equips the language with a formal semantics and enables the use of automated verification techniques. We illustrate the approach with an example of a Warehouse Case Study.

A linguistic geometry for space applications

NASA Technical Reports Server (NTRS)

Stilman, Boris

1994-01-01

We develop a formal theory, the so-called Linguistic Geometry, in order to discover the inner properties of human expert heuristics, which were successful in a certain class of complex control systems, and apply them to different systems. This research relies on the formalization of search heuristics of high-skilled human experts which allow for the decomposition of complex system into the hierarchy of subsystems, and thus solve intractable problems reducing the search. The hierarchy of subsystems is represented as a hierarchy of formal attribute languages. This paper includes a formal survey of the Linguistic Geometry, and new example of a solution of optimization problem for the space robotic vehicles. This example includes actual generation of the hierarchy of languages, some details of trajectory generation and demonstrates the drastic reduction of search in comparison with conventional search algorithms.

Efficiency of the strong satisfiability checking procedure for reactive system specifications

NASA Astrophysics Data System (ADS)

Shimakawa, Masaya; Hagihara, Shigeki; Yonezaki, Naoki

2018-04-01

Reactive systems are those that interact with their environment. To develop reactive systems without defects, it is important to describe behavior specifications in a formal language, such as linear temporal logic, and to verify the specification. Specifically, it is important to check whether specifications satisfy the property called realizability. In previous studies, we have proposed the concept of strong satisfiability as a necessary condition for realizability. Although this property of reactive system specifications is a necessary condition, many practical unrealizable specifications are also strongly unsatisfiable. Moreover, we have previously shown the theoretical complexity of the strong satisfiability problem. In the current study, we investigate the practical efficiency of the strong satisfiability checking procedure and demonstrate that strong satisfiability can be checked more efficiently than realizability.

Do we represent intentional action as recursively embedded? The answer must be empirical. A comment on Vicari and Adenzato (2014).

PubMed

Martins, Mauricio D; Fitch, W Tecumseh

2015-12-15

The relationship between linguistic syntax and action planning is of considerable interest in cognitive science because many researchers suggest that "motor syntax" shares certain key traits with language. In a recent manuscript in this journal, Vicari and Adenzato (henceforth VA) critiqued Hauser, Chomsky and Fitch's 2002 (henceforth HCF's) hypothesis that recursion is language-specific, and that its usage in other domains is parasitic on language resources. VA's main argument is that HCF's hypothesis is falsified by the fact that recursion typifies the structure of intentional action, and recursion in the domain of action is independent of language. Here, we argue that VA's argument is incomplete, and that their formalism can be contrasted with alternative frameworks that are equally consistent with existing data. Therefore their conclusions are premature without further empirical testing and support. In particular, to accept VA's argument it would be necessary to demonstrate both that humans in fact represent self-embedding in the structure of intentional action, and that language is not used to construct these representations. Copyright © 2015 Elsevier Inc. All rights reserved.

Putney Auditory Single Word Yes/No Assessment (PASWORD). Development of a Reliable Test of Yes/No at a Single Word Level in Patients Unable to Participate in Assessments Requiring a Specific Motor Response: An Exploratory Study

ERIC Educational Resources Information Center

Mackenzie, Sophie; Gale, Emma; Munday, Ros

2006-01-01

"Background": There are very few formal language assessments aimed at the very severely neurologically impaired individual. These individuals often have multiple deficits on top of their communication impairment that demand a novel approach to assessment. The authors set out to devise a tool (PASWORD) to enable professionals in this field to…

Creating and Manipulating a Domain-Specific Formal Object Base to Support a Domain-Oriented Application Composition System

DTIC Science & Technology

1992-12-01

and add new attributes as needed (11:129). 2.2.3.2 Feature Oriented Domain Analysis In their Feature-Oriented Domain Analysis ( FODA ) study, the...dissertation, The University of Texas at Austin, Austin Texas, 1990. 12. Kang, Kyo C. and others. Feature-Oriented Domain Analysis ( FODA ) Feasibil- ity Study...2-1 2.2.2 Requirements Languages ..................... 2-2 2.2.3 Domain Analysis ............................ 2-3 2.2.4

Aspect: A Formal Specification Language for Detecting Bugs

DTIC Science & Technology

1992-06-01

the Aspect state from Chapter 6 and, below it, the definition of the approximating state used by the checker. The additional component Multilocs marks...stages. First, each collection object in Multilocs is expanded into a set of objects whose dependency and value sets are subsets of those of the... Multilocs x Prelocs Env = Var ý7 PLoc x PSource Store = Loc x Aspect F-k Val x PSource Vat = Unknown + PLoc Aspect = PlainAspect + Pointer + Collection

Object-oriented biomedical system modelling--the language.

PubMed

Hakman, M; Groth, T

1999-11-01

The paper describes a new object-oriented biomedical continuous system modelling language (OOBSML). It is fully object-oriented and supports model inheritance, encapsulation, and model component instantiation and behaviour polymorphism. Besides the traditional differential and algebraic equation expressions the language includes also formal expressions for documenting models and defining model quantity types and quantity units. It supports explicit definition of model input-, output- and state quantities, model components and component connections. The OOBSML model compiler produces self-contained, independent, executable model components that can be instantiated and used within other OOBSML models and/or stored within model and model component libraries. In this way complex models can be structured as multilevel, multi-component model hierarchies. Technically the model components produced by the OOBSML compiler are executable computer code objects based on distributed object and object request broker technology. This paper includes both the language tutorial and the formal language syntax and semantic description.

Minority Languages Learned Informally: The Social Construction of Language Skills through the Discourse of Ontario Employers. NALL Working Paper.

ERIC Educational Resources Information Center

Goldberg, Michelle; Corson, David

Many immigrants, refugees, and aboriginal Canadians learn their own languages in the normal, informal way. These minority languages learned informally are not valued as a skill that yields returns in the labor market in the same way the official languages or formally learned languages do. What counts as a skill in a society, in a given point in…

Systematic Model-in-the-Loop Test of Embedded Control Systems

NASA Astrophysics Data System (ADS)

Krupp, Alexander; Müller, Wolfgang

Current model-based development processes offer new opportunities for verification automation, e.g., in automotive development. The duty of functional verification is the detection of design flaws. Current functional verification approaches exhibit a major gap between requirement definition and formal property definition, especially when analog signals are involved. Besides lack of methodical support for natural language formalization, there does not exist a standardized and accepted means for formal property definition as a target for verification planning. This article addresses several shortcomings of embedded system verification. An Enhanced Classification Tree Method is developed based on the established Classification Tree Method for Embeded Systems CTM/ES which applies a hardware verification language to define a verification environment.

A Process for the Representation of openEHR ADL Archetypes in OWL Ontologies.

PubMed

Porn, Alex Mateus; Peres, Leticia Mara; Didonet Del Fabro, Marcos

2015-01-01

ADL is a formal language to express archetypes, independent of standards or domain. However, its specification is not precise enough in relation to the specialization and semantic of archetypes, presenting difficulties in implementation and a few available tools. Archetypes may be implemented using other languages such as XML or OWL, increasing integration with Semantic Web tools. Exchanging and transforming data can be better implemented with semantics oriented models, for example using OWL which is a language to define and instantiate Web ontologies defined by W3C. OWL permits defining significant, detailed, precise and consistent distinctions among classes, properties and relations by the user, ensuring the consistency of knowledge than using ADL techniques. This paper presents a process of an openEHR ADL archetypes representation in OWL ontologies. This process consists of ADL archetypes conversion in OWL ontologies and validation of OWL resultant ontologies using the mutation test.

A System for Natural Language Sentence Generation.

ERIC Educational Resources Information Center

Levison, Michael; Lessard, Gregory

1992-01-01

Describes the natural language computer program, "Vinci." Explains that using an attribute grammar formalism, Vinci can simulate components of several current linguistic theories. Considers the design of the system and its applications in linguistic modelling and second language acquisition research. Notes Vinci's uses in linguistics…

Translation and Foreign Language Teaching.

ERIC Educational Resources Information Center

Tinsley, Royal L., Jr.

Translators and teachers of foreign languages need each other: translators need formal academic training and recognition and teachers of foreign languages need students. Unfortunately, translators know only too well that most FL teachers are not competent translators, and FL Departments generally consider translation as an activity beneath the…

A graph grammar approach to artificial life.

PubMed

Kniemeyer, Ole; Buck-Sorlin, Gerhard H; Kurth, Winfried

2004-01-01

We present the high-level language of relational growth grammars (RGGs) as a formalism designed for the specification of ALife models. RGGs can be seen as an extension of the well-known parametric Lindenmayer systems and contain rule-based, procedural, and object-oriented features. They are defined as rewriting systems operating on graphs with the edges coming from a set of user-defined relations, whereas the nodes can be associated with objects. We demonstrate their ability to represent genes, regulatory networks of metabolites, and morphologically structured organisms, as well as developmental aspects of these entities, in a common formal framework. Mutation, crossing over, selection, and the dynamics of a network of gene regulation can all be represented with simple graph rewriting rules. This is demonstrated in some detail on the classical example of Dawkins' biomorphs and the ABC model of flower morphogenesis: other applications are briefly sketched. An interactive program was implemented, enabling the execution of the formalism and the visualization of the results.

Dependability modeling and assessment in UML-based software development.

PubMed

Bernardi, Simona; Merseguer, José; Petriu, Dorina C

2012-01-01

Assessment of software nonfunctional properties (NFP) is an important problem in software development. In the context of model-driven development, an emerging approach for the analysis of different NFPs consists of the following steps: (a) to extend the software models with annotations describing the NFP of interest; (b) to transform automatically the annotated software model to the formalism chosen for NFP analysis; (c) to analyze the formal model using existing solvers; (d) to assess the software based on the results and give feedback to designers. Such a modeling→analysis→assessment approach can be applied to any software modeling language, be it general purpose or domain specific. In this paper, we focus on UML-based development and on the dependability NFP, which encompasses reliability, availability, safety, integrity, and maintainability. The paper presents the profile used to extend UML with dependability information, the model transformation to generate a DSPN formal model, and the assessment of the system properties based on the DSPN results.

Dependability Modeling and Assessment in UML-Based Software Development

PubMed Central

Bernardi, Simona; Merseguer, José; Petriu, Dorina C.

2012-01-01

Assessment of software nonfunctional properties (NFP) is an important problem in software development. In the context of model-driven development, an emerging approach for the analysis of different NFPs consists of the following steps: (a) to extend the software models with annotations describing the NFP of interest; (b) to transform automatically the annotated software model to the formalism chosen for NFP analysis; (c) to analyze the formal model using existing solvers; (d) to assess the software based on the results and give feedback to designers. Such a modeling→analysis→assessment approach can be applied to any software modeling language, be it general purpose or domain specific. In this paper, we focus on UML-based development and on the dependability NFP, which encompasses reliability, availability, safety, integrity, and maintainability. The paper presents the profile used to extend UML with dependability information, the model transformation to generate a DSPN formal model, and the assessment of the system properties based on the DSPN results. PMID:22988428

The linguistics of schizophrenia: thought disturbance as language pathology across positive symptoms.

PubMed

Hinzen, Wolfram; Rosselló, Joana

2015-01-01

We hypothesize that linguistic (dis-)organization in the schizophrenic brain plays a more central role in the pathogenesis of this disease than commonly supposed. Against the standard view, that schizophrenia is a disturbance of thought or selfhood, we argue that the origins of the relevant forms of thought and selfhood at least partially depend on language. The view that they do not is premised by a theoretical conception of language that we here identify as 'Cartesian' and contrast with a recent 'un-Cartesian' model. This linguistic model empirically argues for both (i) a one-to-one correlation between human-specific thought or meaning and forms of grammatical organization, and (ii) an integrative and co-dependent view of linguistic cognition and its sensory-motor dimensions. Core dimensions of meaning mediated by grammar on this model specifically concern forms of referential and propositional meaning. A breakdown of these is virtually definitional of core symptoms. Within this model the three main positive symptoms of schizophrenia fall into place as failures in language-mediated forms of meaning, manifest either as a disorder of speech perception (Auditory Verbal Hallucinations), abnormal speech production running without feedback control (Formal Thought Disorder), or production of abnormal linguistic content (Delusions). Our hypothesis makes testable predictions for the language profile of schizophrenia across symptoms; it simplifies the cognitive neuropsychology of schizophrenia while not being inconsistent with a pattern of neurocognitive deficits and their correlations with symptoms; and it predicts persistent findings on disturbances of language-related circuitry in the schizophrenic brain.

The Efficacy of Early Language Intervention in Mainstream School Settings: A Randomized Controlled Trial

ERIC Educational Resources Information Center

Fricke, Silke; Burgoyne, Kelly; Bowyer-Crane, Claudine; Kyriacou, Maria; Zosimidou, Alexandra; Maxwell, Liam; Lervåg, Arne; Snowling, Margaret J.; Hulme, Charles

2017-01-01

Background: Oral language skills are a critical foundation for literacy and more generally for educational success. The current study shows that oral language skills can be improved by providing suitable additional help to children with language difficulties in the early stages of formal education. Methods: We conducted a randomized controlled…

Basic Helps for Teaching English as a Second Language.

ERIC Educational Resources Information Center

Frey, Betty J.

This book is designed for teachers of children whose first language is other than English, in particular, teachers who have had little or no formal training in the teaching of English as a second language (ESL). Although the emphasis is on the Spanish-speaking student, the same techniques and tools apply to speakers of other languages. The first…

Through the Lens of Good Language Learners: What Are Their Strategies?

ERIC Educational Resources Information Center

Nazri, Nurhuda Mohamad; Yunus, Melor Md; Nazri, Nur Dalila Mohamad

2016-01-01

Often times, many English as Second Language (ESL) facilitators speculate why some learners learn faster than other learners. Provided the students were exposed with the same amount of years in the formal education system in Malaysia, the language instructors curious about the variety of performance in the English language among the learners. This…

The Decline of Academic Bilingualism in South Africa: A Case Study

ERIC Educational Resources Information Center

Hill, Lloyd B.

2009-01-01

Language policies in South African higher education were formalized between 2000 and 2002, just prior to a major restructuring of the higher education system. During this period institutions of higher learning were expected to formulate both a language policy and a detailed language plan. National policies on language in education are intended to…

Problems of Articulation and Testing: Lessons from the 1920s.

ERIC Educational Resources Information Center

Barnwell, David Patrick

Language testing historians have tended to ignore a significant period in the evolution of language tests, the years 1883-1929. In the earliest years, testing focused on knowledge about, not of, the language and reflected the teaching of Latin and Greek more than that of living languages. Grammatical formalism and translation were emphasized, and…

Home Language Shift and Its Implications for Chinese Language Teaching in Singapore

ERIC Educational Resources Information Center

Li, Li; Tan, Chee Lay; Goh, Hock Huan

2016-01-01

In a bilingual society like Singapore, home language environment (HLE) of Singaporean children is becoming increasingly concerned, especially for those who are yet to have formal education in schools. The reported rapid shift of family language has increased the tensions among families, schools and communities. This study examined some of the many…

A Formal Modelling Language Extending SysML for Simulation of Continuous and Discrete System

DTIC Science & Technology

2012-11-01

UNCLASSIFIED DSTO-GD-0734 16. A Formal Modelling Language Extending SysML for Simulation of Continuous and Discrete System – Mark Hodson1 and...be conceptual at some level because a one to one mapping with the real system will never exist. SysML is an extension and modification of UML that...simulation, which can provide great insights into the behaviour of complex systems. Although UML and SysML primarily support conceptual modelling they

Using Penelope to assess the correctness of NASA Ada software: A demonstration of formal methods as a counterpart to testing

NASA Technical Reports Server (NTRS)

Eichenlaub, Carl T.; Harper, C. Douglas; Hird, Geoffrey

1993-01-01

Life-critical applications warrant a higher level of software reliability than has yet been achieved. Since it is not certain that traditional methods alone can provide the required ultra reliability, new methods should be examined as supplements or replacements. This paper describes a mathematical counterpart to the traditional process of empirical testing. ORA's Penelope verification system is demonstrated as a tool for evaluating the correctness of Ada software. Grady Booch's Ada calendar utility package, obtained through NASA, was specified in the Larch/Ada language. Formal verification in the Penelope environment established that many of the package's subprograms met their specifications. In other subprograms, failed attempts at verification revealed several errors that had escaped detection by testing.

Experience Report: A Do-It-Yourself High-Assurance Compiler

NASA Technical Reports Server (NTRS)

Pike, Lee; Wegmann, Nis; Niller, Sebastian; Goodloe, Alwyn

2012-01-01

Embedded domain-specific languages (EDSLs) are an approach for quickly building new languages while maintaining the advantages of a rich metalanguage. We argue in this experience report that the "EDSL approach" can surprisingly ease the task of building a high-assurance compiler.We do not strive to build a fully formally-verified tool-chain, but take a "do-it-yourself" approach to increase our confidence in compiler-correctness without too much effort. Copilot is an EDSL developed by Galois, Inc. and the National Institute of Aerospace under contract to NASA for the purpose of runtime monitoring of flight-critical avionics. We report our experience in using type-checking, QuickCheck, and model-checking "off-the-shelf" to quickly increase confidence in our EDSL tool-chain.

Empowering Provenance in Data Integration

NASA Astrophysics Data System (ADS)

Kondylakis, Haridimos; Doerr, Martin; Plexousakis, Dimitris

The provenance of data has recently been recognized as central to the trust one places in data. This paper presents a novel framework in order to empower provenance in a mediator based data integration system. We use a simple mapping language for mapping schema constructs, between an ontology and relational sources, capable to carry provenance information. This language extends the traditional data exchange setting by translating our mapping specifications into source-to-target tuple generating dependencies (s-t tgds). Then we define formally the provenance information we want to retrieve i.e. annotation, source and tuple provenance. We provide three algorithms to retrieve provenance information using information stored on the mappings and the sources. We show the feasibility of our solution and the advantages of our framework.

Switching Codes in the Plurilingual Classroom

ERIC Educational Resources Information Center

Corcoll López, Cristina; González-Davies, Maria

2016-01-01

The English as a foreign language classroom is a plurilingual setting par excellence since it involves at least two languages. However, plurilingual practices such as code-switching and translation have been consistently discouraged in formal learning contexts, based on the belief that keeping languages compartmentalized helps learning, and…

Ten Things that Teachers Should Teach (and Students Should Learn) about Language.

ERIC Educational Resources Information Center

Barratt, Leslie

1988-01-01

To create an environment which motivates students to learn the conventions of formal writing, teachers must teach children the place that these conventions have in language and in linguistic history. Principles that give students a broad picture of language are listed. (JL)

ADGS-2100 Adaptive Display and Guidance System Window Manager Analysis

NASA Technical Reports Server (NTRS)

Whalen, Mike W.; Innis, John D.; Miller, Steven P.; Wagner, Lucas G.

2006-01-01

Recent advances in modeling languages have made it feasible to formally specify and analyze the behavior of large system components. Synchronous data flow languages, such as Lustre, SCR, and RSML-e are particularly well suited to this task, and commercial versions of these tools such as SCADE and Simulink are growing in popularity among designers of safety critical systems, largely due to their ability to automatically generate code from the models. At the same time, advances in formal analysis tools have made it practical to formally verify important properties of these models to ensure that design defects are identified and corrected early in the lifecycle. This report describes how these tools have been applied to the ADGS-2100 Adaptive Display and Guidance Window Manager being developed by Rockwell Collins Inc. This work demonstrates how formal methods can be easily and cost-efficiently used to remove defects early in the design cycle.

Helping System Engineers Bridge the Peaks

NASA Technical Reports Server (NTRS)

Rungta, Neha; Tkachuk, Oksana; Person, Suzette; Biatek, Jason; Whalen, Michael W.; Castle, Joseph; Castle, JosephGundy-Burlet, Karen

2014-01-01

In our experience at NASA, system engineers generally follow the Twin Peaks approach when developing safety-critical systems. However, iterations between the peaks require considerable manual, and in some cases duplicate, effort. A significant part of the manual effort stems from the fact that requirements are written in English natural language rather than a formal notation. In this work, we propose an approach that enables system engineers to leverage formal requirements and automated test generation to streamline iterations, effectively "bridging the peaks". The key to the approach is a formal language notation that a) system engineers are comfortable with, b) is supported by a family of automated V&V tools, and c) is semantically rich enough to describe the requirements of interest. We believe the combination of formalizing requirements and providing tool support to automate the iterations will lead to a more efficient Twin Peaks implementation at NASA.

Formal Definition of Measures for BPMN Models

NASA Astrophysics Data System (ADS)

Reynoso, Luis; Rolón, Elvira; Genero, Marcela; García, Félix; Ruiz, Francisco; Piattini, Mario

Business process models are currently attaining more relevance, and more attention is therefore being paid to their quality. This situation led us to define a set of measures for the understandability of BPMN models, which is shown in a previous work. We focus on understandability since a model must be well understood before any changes are made to it. These measures were originally informally defined in natural language. As is well known, natural language is ambiguous and may lead to misunderstandings and a misinterpretation of the concepts captured by a measure and the way in which the measure value is obtained. This has motivated us to provide the formal definition of the proposed measures using OCL (Object Constraint Language) upon the BPMN (Business Process Modeling Notation) metamodel presented in this paper. The main advantages and lessons learned (which were obtained both from the current work and from previous works carried out in relation to the formal definition of other measures) are also summarized.

Artificial grammar learning meets formal language theory: an overview

PubMed Central

Fitch, W. Tecumseh; Friederici, Angela D.

2012-01-01

Formal language theory (FLT), part of the broader mathematical theory of computation, provides a systematic terminology and set of conventions for describing rules and the structures they generate, along with a rich body of discoveries and theorems concerning generative rule systems. Despite its name, FLT is not limited to human language, but is equally applicable to computer programs, music, visual patterns, animal vocalizations, RNA structure and even dance. In the last decade, this theory has been profitably used to frame hypotheses and to design brain imaging and animal-learning experiments, mostly using the ‘artificial grammar-learning’ paradigm. We offer a brief, non-technical introduction to FLT and then a more detailed analysis of empirical research based on this theory. We suggest that progress has been hampered by a pervasive conflation of distinct issues, including hierarchy, dependency, complexity and recursion. We offer clarifications of several relevant hypotheses and the experimental designs necessary to test them. We finally review the recent brain imaging literature, using formal languages, identifying areas of convergence and outstanding debates. We conclude that FLT has much to offer scientists who are interested in rigorous empirical investigations of human cognition from a neuroscientific and comparative perspective. PMID:22688631

Compositional and enumerative designs for medical language representation.

PubMed Central

Rassinoux, A. M.; Miller, R. A.; Baud, R. H.; Scherrer, J. R.

1997-01-01

Medical language is in essence highly compositional, allowing complex information to be expressed from more elementary pieces. Embedding the expressive power of medical language into formal systems of representation is recognized in the medical informatics community as a key step towards sharing such information among medical record, decision support, and information retrieval systems. Accordingly, such representation requires managing both the expressiveness of the formalism and its computational tractability, while coping with the level of detail expected by clinical applications. These desiderata can be supported by enumerative as well as compositional approaches, as argued in this paper. These principles have been applied in recasting a frame-based system for general medical findings developed during the 1980s. The new system captures the precise meaning of a subset of over 1500 medical terms for general internal medicine identified from the Quick Medical Reference (QMR) lexicon. In order to evaluate the adequacy of this formal structure in reflecting the deep meaning of the QMR findings, a validation process was implemented. It consists of automatically rebuilding the semantic representation of the QMR findings by analyzing them through the RECIT natural language analyzer, whose semantic components have been adjusted to this frame-based model for the understanding task. PMID:9357700

Compositional and enumerative designs for medical language representation.

PubMed

Rassinoux, A M; Miller, R A; Baud, R H; Scherrer, J R

1997-01-01

Medical language is in essence highly compositional, allowing complex information to be expressed from more elementary pieces. Embedding the expressive power of medical language into formal systems of representation is recognized in the medical informatics community as a key step towards sharing such information among medical record, decision support, and information retrieval systems. Accordingly, such representation requires managing both the expressiveness of the formalism and its computational tractability, while coping with the level of detail expected by clinical applications. These desiderata can be supported by enumerative as well as compositional approaches, as argued in this paper. These principles have been applied in recasting a frame-based system for general medical findings developed during the 1980s. The new system captures the precise meaning of a subset of over 1500 medical terms for general internal medicine identified from the Quick Medical Reference (QMR) lexicon. In order to evaluate the adequacy of this formal structure in reflecting the deep meaning of the QMR findings, a validation process was implemented. It consists of automatically rebuilding the semantic representation of the QMR findings by analyzing them through the RECIT natural language analyzer, whose semantic components have been adjusted to this frame-based model for the understanding task.

Relationship with English: Language Use, Attitudes, and Investment in Learning among Low-Income Latino Immigrant Entrepreneurs

ERIC Educational Resources Information Center

Bonder, Linda E.

2017-01-01

Many researchers have explored language learning investment since Norton Peirce (1995) introduced the concept. However, most investment studies have recruited participants through language classes, which presupposes participant investment in formal learning. The current study went outside the classroom context by conducting ethnographic interviews…

Wikis for Building Content Knowledge in the Foreign Language Classroom

ERIC Educational Resources Information Center

Pellet, Stephanie H.

2012-01-01

Most pedagogical applications of wikis in foreign language education draw on this collaborative tool to improve (formal) writing skills or to develop target language cultural sensitivity, missing largely on the opportunity to support student-developed L2 content knowledge. Seeking an alternative to traditional teacher-centered approaches, this…

A Formal Language Selection Process for Introductory Programming Courses

ERIC Educational Resources Information Center

Parker, Kevin R.; Chao, Joseph T.; Ottaway, Thomas A.; Chang, Jane

2006-01-01

The selection of a programming language for introductory courses has long been an informal process involving faculty evaluation, discussion, and consensus. As the number of faculty, students, and language options grows, this process becomes increasingly unwieldy. As it stands, the process currently lacks structure and replicability. Establishing a…

Language Acquisitional Universals: L1, L2, Pidgins, and FLT.

ERIC Educational Resources Information Center

Wode, Henning

Human capacity for language acquisition is not strictly compartmentalized, with one acquisitional mechanism for the native language and others totally unrelated to it; rather, it consists of a unified mechanism flexible enough to handle various differences in external settings. This learning system operates on the formal properties of the…

Searching for Bridges between Formal and Informal Language Education

ERIC Educational Resources Information Center

Brebera, Pavel; Hlouskova, Jitka

2012-01-01

Life in the contemporary society and ongoing globalisation processes result in growing demands on educators, including language teachers in higher education. The frequently accentuated so-called postmethod approach to foreign language teaching gives teachers a lot of freedom and flexibility but also creates a large space for various types of…

Infant and Toddler Language Development.

ERIC Educational Resources Information Center

Fox, Jill Englebright

A child's need for formal communication may be as much an emotional need as a cognitive need. Several theories attempt to explain children's language development, including the theories developed by B. F. Skinner, Noam Chomsky, and J. Bruner. Most children typically follow a standard sequence of language development: crying and cooing, babbling,…

Profiling Language Learners in Hybrid Learning Contexts: Learners' Perceptions

ERIC Educational Resources Information Center

Lintunen, Pekka; Mutta, Maarit; Pelttari, Sanna

2017-01-01

This article discusses formal and informal foreign language learning before university level. The focus is on beginning university students' perceptions of their earlier learning experiences, especially in digital contexts. Language learners' digital competence is a part of their everyday lives, but its relationship to learning in and outside…

Hispania White Paper: Where Are the Experts?

ERIC Educational Resources Information Center

VanPatten, Bill

2015-01-01

Most collegiate departments where one can find Spanish, French, German, and other non-English disciplines are referred to as "language departments," either formally or informally. Such designations are interesting as they suggest to the outsider (i.e., non-language person) that these departments consist of experts in language. In this…

Knowledge bases built on web languages from the point of view of predicate logics

NASA Astrophysics Data System (ADS)

Vajgl, Marek; Lukasová, Alena; Žáček, Martin

2017-06-01

The article undergoes evaluation of formal systems created on the base of web (ontology/concept) languages by simplifying the usual approach of knowledge representation within the FOPL, but sharing its expressiveness, semantic correct-ness, completeness and decidability. Evaluation of two of them - that one based on description logic and that one built on RDF model principles - identifies some of the lacks of those formal systems and presents, if possible, corrections of them. Possibilities to build an inference system capable to obtain new further knowledge over given knowledge bases including those describing domains by giant linked domain databases has been taken into account. Moreover, the directions towards simplifying FOPL language discussed here has been evaluated from the point of view of a possibility to become a web language for fulfilling an idea of semantic web.

Ethnomethodology, conversation analysis and education: An overview

NASA Astrophysics Data System (ADS)

Watson, D. Rodney

1992-05-01

Formal education is saturated with language, but language is usually seen as a separate and often subsidiary topic of research, secondary to social class, ethnicity, etc., which are regarded as independent variables. Ethnomethodology (EM) and Conversation Analysis (CA) are recent approaches devised in North America which propose to make language and the social organization of linguistic interchange a generic topic of investigation. They see mastery of language as central to the ability to make culturally recognizable sense of social interaction. Social class, for example, is thus seen as a worded entity. While EM and CA are sufficiently comprehensive to be applied to any topic, formal education is not stable and constant. It is apprehended differently by the various players of "language games". CA therefore uses "real-world" transcriptions of recordings for analysis of speech exchange. Early CA was concerned with commonsense membership categorizations such as "adult", "child", "adolescent", "mother", "son", "tennis player", which serve as reference points for the imputation of rights and obligations. Stress is now laid on children's techniques of communication, whereas conventional sociology sees the socialization of children as "one-way", from adults to children and frequently ignores children's language. In school tests, for example, it is not certain that children will only use the interpretive resources given them by the teacher, or that they will understand test items in terms of the test design devised by adults. The wider classroom agenda is also set by an adult teacher, who is conventionally the next speaker after each student in formal trum-taking.

Archetype Model-Driven Development Framework for EHR Web System.

PubMed

Kobayashi, Shinji; Kimura, Eizen; Ishihara, Ken

2013-12-01

This article describes the Web application framework for Electronic Health Records (EHRs) we have developed to reduce construction costs for EHR sytems. The openEHR project has developed clinical model driven architecture for future-proof interoperable EHR systems. This project provides the specifications to standardize clinical domain model implementations, upon which the ISO/CEN 13606 standards are based. The reference implementation has been formally described in Eiffel. Moreover C# and Java implementations have been developed as reference. While scripting languages had been more popular because of their higher efficiency and faster development in recent years, they had not been involved in the openEHR implementations. From 2007, we have used the Ruby language and Ruby on Rails (RoR) as an agile development platform to implement EHR systems, which is in conformity with the openEHR specifications. We implemented almost all of the specifications, the Archetype Definition Language parser, and RoR scaffold generator from archetype. Although some problems have emerged, most of them have been resolved. We have provided an agile EHR Web framework, which can build up Web systems from archetype models using RoR. The feasibility of the archetype model to provide semantic interoperability of EHRs has been demonstrated and we have verified that that it is suitable for the construction of EHR systems.

Applied Linguistics: A Survey for Language Teachers. Collier MacMillan Teacher's Library.

ERIC Educational Resources Information Center

Kehoe, Monika, Ed.

This book, written for those who have no formal training in linguistics but who have an interest in language or language teaching, is meant as a practical text for use in introductory courses in Applied Linguistics. Its emphasis is on second language teaching, but it is also of interest to those who teach native speakers because it covers the…

The Home Literacy Environment Is a Correlate, but Perhaps Not a Cause, of Variations in Children's Language and Literacy Development

ERIC Educational Resources Information Center

Puglisi, Marina L.; Hulme, Charles; Hamilton, Lorna G.; Snowling, Margaret J.

2017-01-01

The home literacy environment is a well-established predictor of children's language and literacy development. We investigated whether formal, informal, and indirect measures of the home literacy environment predict children's reading and language skills once maternal language abilities are taken into account. Data come from a longitudinal study…

Using the "Common European Framework of Reference for Languages" to Teach Sign Language to Parents of Deaf Children

ERIC Educational Resources Information Center

Snoddon, Kristin

2015-01-01

No formal Canadian curriculum presently exists for teaching American Sign Language (ASL) as a second language to parents of deaf and hard of hearing children. However, this group of ASL learners is in need of more comprehensive, research-based support, given the rapid expansion in Canada of universal neonatal hearing screening and the…

When "Prof" Speaks, Who Listens? The African Elite and the Use of African Languages for Education and Development in African Communities

ERIC Educational Resources Information Center

Trudell, Barbara

2010-01-01

The role of African languages in formal and nonformal learning is the subject of increasing local, national and international interests. Cognitive and pedagogical reasons abound for using the language best understood by the learner. However, many nonpedagogical factors related to politics, economics, language attitudes and colonial history are…

Identifying the Dimensionality of Oral Language Skills of Children with Typical Development in Preschool through Fifth Grade

ERIC Educational Resources Information Center

Lonigan, Christopher J.; Milburn, Trelani F.

2017-01-01

Purpose: Language is a multidimensional construct from prior to the beginning of formal schooling to near the end of elementary school. The primary goals of this study were to identify the dimensionality of language and to determine whether this dimensionality was consistent in children with typical language development from preschool through 5th…

Food Safety Instruction Improves Knowledge and Behavior Risk and Protection Factors for Foodborne Illnesses in Pregnant Populations.

PubMed

Kendall, Patricia; Scharff, Robert; Baker, Susan; LeJeune, Jeffrey; Sofos, John; Medeiros, Lydia

2017-08-01

Objective This study compared knowledge and food-handling behavior after pathogen-specific (experimental treatment) versus basic food safety instruction (active control) presented during nutrition education classes for low-income English- and Spanish-language pregnant women. Methods Subjects (n = 550) were randomly assigned to treatment groups in two different locations in the United States. Food safety instruction was part of an 8-lesson curriculum. Food safety knowledge and behavior were measured pre/post intervention. Descriptive data were analyzed by Chi-Square or ANOVA; changes after intervention were analyzed by regression analysis. Results Knowledge improved after intervention in the pathogen-specific treatment group compared to active control, especially among Spanish-language women. Behavior change after intervention for the pathogen-specific treatment group improved for thermometer usage, refrigeration and consumption of foods at high risk for safety; however, all other improvements in behavior were accounted for by intervention regardless of treatment group. As expected, higher pre-instruction behavioral competency limited potential gain in behavior post-instruction due to a ceiling effect. This effect was more dominant among English-language women. Improvements were also linked to formal education completed, a partner at home, and other children in the home. Conclusions for Practice This study demonstrated that pathogen-specific food safety instruction leads to enhance knowledge and food handling behaviors that may improve the public health of pregnant women and their unborn children, especially among Spanish-language women. More importantly, food safety instruction, even at the most basic level, benefited pregnant women's food safety knowledge and food-handling behavior after intervention.

An exploration of student midwives' language to describe non-formal learning in professional practice.

PubMed

Finnerty, Gina; Pope, Rosemary

2005-05-01

The essence of non-formal learning in midwifery practice has not been previously explored. This paper provides an in-depth analysis of the language of a sample of student midwives' descriptions of their practice learning in a range of clinical settings. The students submitted audio-diaries as part of a national study (Pope, R., Graham. L., Finnerty. G., Magnusson, C. 2003. An investigation of the preparation and assessment for midwifery practice within a range of settings. Project Report. University of Surrey). Participants detailed their learning activities and support obtained whilst working with their named mentors for approximately 10 days or shifts. The rich audio-diary data have been analysed using Discourse Analysis. A typology of non-formal learning (Eraut, M. 2000. Non-formal learning and implicit knowledge in professional work. British Journal of Educational Psychology 70, 113-136) has been used to provide a framework for the analysis. Non-formal learning is defined as any learning which does not take place within a formally organised learning programme (Eraut, M. 2000. Non-formal learning and implicit knowledge in professional work. British Journal of Educational Psychology 70, 113-136). Findings indicate that fear and ambiguity hindered students' learning. Recommendations include the protection of time by mentors within the clinical curriculum to guide and supervise students in both formal and non-formal elements of midwifery practice. This paper will explore the implications of the findings for practice-based education.

Reliability and validity of the Edinburgh Postnatal Depression Scale (EPDS) for detecting perinatal common mental disorders (PCMDs) among women in low-and lower-middle-income countries: a systematic review.

PubMed

Shrestha, Sumitra Devi; Pradhan, Rina; Tran, Thach D; Gualano, Rosa C; Fisher, Jane R W

2016-04-04

The Edinburgh Postnatal Depression Scale (EPDS), originally developed in Britain, is one of the most widely used screening instruments for assessing symptoms of the Perinatal Common Mental Disorders (PCMDs) of depression and anxiety. However, its potential to detect PCMDs in culturally diverse low- and lower-middle income countries (LALMICs) is unclear. This systematic review aimed to appraise formally validated local language versions of the EPDS from these resource-constrained settings. Following the PRISMA protocol, we searched MEDLINE-OVID, CINAHL-Plus and PUBMED to identify studies reporting translation, cultural adaptation and formal validation of the EPDS to detect PCMDs among women in LALMICs. The quality of the studies meeting inclusion criteria was assessed using standard criteria and a new process-based criteria; which was developed specifically for this study. We identified 1281 records among which 16 met inclusion criteria; three further papers were identified by hand-searching reference lists. The publications reported findings from 12 LALMICs in 14 native languages. Most of these local language versions of the EPDS (LLV-EPDS) had lower precision for identifying true cases of PCMDs among women in the general perinatal population compared to the original English version. Only one study met all criteria for culturally sensitive translation, the others had not established the comprehensibility of the local version amongst representative groups of women in pre-testing. Many studies tested the LLV-EPDS only amongst convenience samples recruited at single health facilities. Diagnostic interviews for confirmation of mental disorders could have been influenced by the mental health professionals' lack of blinding to the initial screening results. Additionally, even when diagnostic-interviews were carried out in the local language, questions might not have been understood as most studies followed standard diagnostic protocol which had not been culturally adapted. Most of the LLV-EPDS from non-English speaking low- and middle-income-countries did not meet all criteria for formal validation of a screening instrument. Psychometric properties of LLV-EPDS could be enhanced by adopting the new process-based criteria for translation, adaptation and validation.

Mixing Languages during Learning? Testing the One Subject-One Language Rule.

PubMed

Antón, Eneko; Thierry, Guillaume; Duñabeitia, Jon Andoni

2015-01-01

In bilingual communities, mixing languages is avoided in formal schooling: even if two languages are used on a daily basis for teaching, only one language is used to teach each given academic subject. This tenet known as the one subject-one language rule avoids mixing languages in formal schooling because it may hinder learning. The aim of this study was to test the scientific ground of this assumption by investigating the consequences of acquiring new concepts using a method in which two languages are mixed as compared to a purely monolingual method. Native balanced bilingual speakers of Basque and Spanish-adults (Experiment 1) and children (Experiment 2)-learnt new concepts by associating two different features to novel objects. Half of the participants completed the learning process in a multilingual context (one feature was described in Basque and the other one in Spanish); while the other half completed the learning phase in a purely monolingual context (both features were described in Spanish). Different measures of learning were taken, as well as direct and indirect indicators of concept consolidation. We found no evidence in favor of the non-mixing method when comparing the results of two groups in either experiment, and thus failed to give scientific support for the educational premise of the one subject-one language rule.

Mixing Languages during Learning? Testing the One Subject—One Language Rule

PubMed Central

2015-01-01

In bilingual communities, mixing languages is avoided in formal schooling: even if two languages are used on a daily basis for teaching, only one language is used to teach each given academic subject. This tenet known as the one subject-one language rule avoids mixing languages in formal schooling because it may hinder learning. The aim of this study was to test the scientific ground of this assumption by investigating the consequences of acquiring new concepts using a method in which two languages are mixed as compared to a purely monolingual method. Native balanced bilingual speakers of Basque and Spanish—adults (Experiment 1) and children (Experiment 2)—learnt new concepts by associating two different features to novel objects. Half of the participants completed the learning process in a multilingual context (one feature was described in Basque and the other one in Spanish); while the other half completed the learning phase in a purely monolingual context (both features were described in Spanish). Different measures of learning were taken, as well as direct and indirect indicators of concept consolidation. We found no evidence in favor of the non-mixing method when comparing the results of two groups in either experiment, and thus failed to give scientific support for the educational premise of the one subject—one language rule. PMID:26107624

Adequate formal language performance in unilateral cochlear implanted children: is it indicative of complete recovery in all linguistic domains? Insights from referential communication.

PubMed

Mancini, Patrizia; Dincer D'Alessandro, Hilal; Guerzoni, Letizia; Cuda, Domenico; Ruoppolo, Giovanni; Musacchio, Angela; Di Mario, Alessia; De Seta, Elio; Bosco, Ersilia; Nicastri, Maria

2015-04-01

Referential communication (RC) is a key element in achieving a successful communication. This case series aimed to evaluate RC in children with unilateral cochlear implants (CIs) with formal language skills within the normal range. A total of 31 children with CIs, with language development within the normal range, were assessed using the Pragmatic Language Skills test (MEDEA). Of the children with CIs, 83.9% reached performance levels appropriate for their chronological ages. The results confirmed a positive effect of cochlear implantation on RC development, although difficulties remained in some CI users. The outcomes emphasize the need to pay greater attention to the pragmatic aspects of language, assessing them with adequate testing in the early phase after cochlear implantation. Clear knowledge of children's communicative competence is the key in optimizing their communicative environments in order to create the basis for future successful interpersonal exchanges and social integration. Copyright © 2015 Elsevier Ireland Ltd. All rights reserved.

Quantification and Formalization of Security

DTIC Science & Technology

2010-02-01

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

Teaching Prelinguistic Communication. Practice Perspectives--Highlighting Information on Deaf-Blindness. Number 5

ERIC Educational Resources Information Center

Malloy, Peggy

2009-01-01

Long before children learn language, they communicate with gestures, vocalizations, facial expressions, and body language. This is known as prelinguistic (prior to language) communication. Most children learn this type of communication without formal teaching, but children who are deaf-blind may need guidance to learn it. This publication…

Sharing Views of CLIL Lesson Planning in Language Teacher Education

ERIC Educational Resources Information Center

Banegas, Dario Luis

2015-01-01

Argentina seems to favour CLIL (content and language integrated learning) as a language-driven approach in secondary and higher education. In this paper, I investigate curriculum development and lesson planning based on trainees' perceptions and lesson plans submitted to pass a module on Didactics as part of their formal initial English language…

The Relationship of Phonological Skills to Language Skills in Spanish-English-Speaking Bilingual Children

ERIC Educational Resources Information Center

Cooperson, Solaman J.; Bedore, Lisa M.; Pena, Elizabeth D.

2013-01-01

These two studies investigate the relationship between phonological production skills and performance in other domains of language in Spanish-English-speaking bilingual children. We examine the relationship between scores on a single-word phonology test and language measures selected from formal testing and narrative samples in Spanish and…

Analysis of Spoken Narratives in a Marathi-Hindi-English Multilingual Aphasic Patient

ERIC Educational Resources Information Center

Karbhari-Adhyaru, Medha

2010-01-01

In a multilingual country such as India, the probability that clinicians may not have command over different languages used by aphasic patients is very high. Since formal tests in different languages are limited, assessment of people from diverse linguistic backgrounds presents speech- language pathologists with many challenges. With a view to…

Untangling Word Webs: Graph Theory and the Notion of Density in Second Language Word Association Networks.

ERIC Educational Resources Information Center

Wilks, Clarissa; Meara, Paul

2002-01-01

Examines the implications of the metaphor of the vocabulary network. Takes a formal approach to the exploration of this metaphor by applying the principles of graph theory to word association data to compare the relative densities of the first language and second language lexical networks. (Author/VWL)

Temporal Patterns of Long-Term Engagement with Learning an Additional Language

ERIC Educational Resources Information Center

Tasker, Isabel

2017-01-01

People studying an additional language in adult life do so through a diverse mix of self-directed and institutionally-situated efforts, extending over many years; and online and distance mode language learning offer increasingly flexible opportunities for formal study. Little is known, however, of the ways that long-term learners combine…

Are Australian Fans of Anime and Manga Motivated to Learn Japanese Language?

ERIC Educational Resources Information Center

Armour, William S.; Iida, Sumiko

2016-01-01

Recent research into Japanese as a foreign language education has strongly emphasized the link between Japanese popular culture and learning Japanese. However, these studies have only targeted Japanese language learners in formal education contexts and have largely ignored those who are not studying Japanese or studying Japanese informally. This…

Grammar Is a System That Characterizes Talk in Interaction

PubMed Central

Ginzburg, Jonathan; Poesio, Massimo

2016-01-01

Much of contemporary mainstream formal grammar theory is unable to provide analyses for language as it occurs in actual spoken interaction. Its analyses are developed for a cleaned up version of language which omits the disfluencies, non-sentential utterances, gestures, and many other phenomena that are ubiquitous in spoken language. Using evidence from linguistics, conversation analysis, multimodal communication, psychology, language acquisition, and neuroscience, we show these aspects of language use are rule governed in much the same way as phenomena captured by conventional grammars. Furthermore, we argue that over the past few years some of the tools required to provide a precise characterizations of such phenomena have begun to emerge in theoretical and computational linguistics; hence, there is no reason for treating them as “second class citizens” other than pre-theoretical assumptions about what should fall under the purview of grammar. Finally, we suggest that grammar formalisms covering such phenomena would provide a better foundation not just for linguistic analysis of face-to-face interaction, but also for sister disciplines, such as research on spoken dialogue systems and/or psychological work on language acquisition. PMID:28066279

Knowledge-Based Extensible Natural Language Interface Technology Program

DTIC Science & Technology

1989-11-30

natural language as its own meta-language to explain the meaning and attributes of the words and idioms of the larguage. Educational courses in language...understood and used by Lydia for human-computer dialogue. The KL enables a systems developer or " teacher -user" to build the system to a point where new...language can be "formal" as in a structured educational language program or it can be "informal" as in the case of a person consulting a dictionary for the

Addressing Phonological Memory in Language Therapy with Clients Who Have Down Syndrome: Perspectives of Speech-Language Pathologists

ERIC Educational Resources Information Center

Faught, Gayle G.; Conners, Frances A.; Barber, Angela B.; Price, Hannah R.

2016-01-01

Background: Phonological memory (PM) plays a significant role in language development but is impaired in individuals with Down syndrome (DS). Without formal recommendations on how to address PM limitations in clients with DS, it is possible speech-language pathologists (SLPs) find ways to do so in their practices. Aims: This study asked if and how…

ChemicalTagger: A tool for semantic text-mining in chemistry.

PubMed

Hawizy, Lezan; Jessop, David M; Adams, Nico; Murray-Rust, Peter

2011-05-16

The primary method for scientific communication is in the form of published scientific articles and theses which use natural language combined with domain-specific terminology. As such, they contain free owing unstructured text. Given the usefulness of data extraction from unstructured literature, we aim to show how this can be achieved for the discipline of chemistry. The highly formulaic style of writing most chemists adopt make their contributions well suited to high-throughput Natural Language Processing (NLP) approaches. We have developed the ChemicalTagger parser as a medium-depth, phrase-based semantic NLP tool for the language of chemical experiments. Tagging is based on a modular architecture and uses a combination of OSCAR, domain-specific regex and English taggers to identify parts-of-speech. The ANTLR grammar is used to structure this into tree-based phrases. Using a metric that allows for overlapping annotations, we achieved machine-annotator agreements of 88.9% for phrase recognition and 91.9% for phrase-type identification (Action names). It is possible parse to chemical experimental text using rule-based techniques in conjunction with a formal grammar parser. ChemicalTagger has been deployed for over 10,000 patents and has identified solvents from their linguistic context with >99.5% precision.

Ontology and medical diagnosis.

PubMed

Bertaud-Gounot, Valérie; Duvauferrier, Régis; Burgun, Anita

2012-03-01

Ontology and associated generic tools are appropriate for knowledge modeling and reasoning, but most of the time, disease definitions in existing description logic (DL) ontology are not sufficient to classify patient's characteristics under a particular disease because they do not formalize operational definitions of diseases (association of signs and symptoms=diagnostic criteria). The main objective of this study is to propose an ontological representation which takes into account the diagnostic criteria on which specific patient conditions may be classified under a specific disease. This method needs as a prerequisite a clear list of necessary and sufficient diagnostic criteria as defined for lots of diseases by learned societies. It does not include probability/uncertainty which Web Ontology Language (OWL 2.0) cannot handle. We illustrate it with spondyloarthritis (SpA). Ontology has been designed in Protégé 4.1 OWL-DL2.0. Several kinds of criteria were formalized: (1) mandatory criteria, (2) picking two criteria among several diagnostic criteria, (3) numeric criteria. Thirty real patient cases were successfully classified with the reasoner. This study shows that it is possible to represent operational definitions of diseases with OWL and successfully classify real patient cases. Representing diagnostic criteria as descriptive knowledge (instead of rules in Semantic Web Rule Language or Prolog) allows us to take advantage of tools already available for OWL. While we focused on Assessment of SpondyloArthritis international Society SpA criteria, we believe that many of the representation issues addressed here are relevant to using OWL-DL for operational definition of other diseases in ontology.

[Procedural learning disorder: neuropsychological characteristics].

PubMed

Crespo-Eguílaz, N; Narbona, J

This research aims at neurocognitive delineation of the core features of procedural learning disorder (PLD), otherwise labeled as motor coordination disorder or non-verbal learning disorder. A sample of 209 correlative outpatients (73% males), aged 6-12 years, all of them having QI ranging from 81 to 120, was clustered into the following neurobehavioural groups: PLD (n = 16), PLD plus attention deficit hyperactivity disorder (ADHD) (n = 37), ADHD combined type (n = 47), ADHD predominantly inattentive type (n = 23), specific language impairment (n = 68), and semantic-pragmatic language impairment (n = 18). Two additional groups of patients were included for some comparisons: children with periventricular leukomalacia (PVL) without learning disability (n = 8) or associating PLD (n = 17). A set of behavioural scales and neurocognitive tests was used to evaluate verbal and non-verbal IQ, attention, impulsivity control, visuo-motor coordination, declarative memory, procedural memory and learning, formal and functional dimensions of language, peer relationships and academic achievement. Parametric analysis were used to test the differences and similarities of neurobehavioural variables between groups. Our results allow us to conclude that PLD implies a difficult acquisition of automatized motor, cognitive and communicative abilities required in school work and peer social relationships. PLD is different from autistic spectrum disorders. It is frequently associated to inattentive ADHD. Operational criteria for diagnosis of PLD are proposed, according to our results. A bilateral posterior parietal dysfunction is a plausible explanation of its physiopathology. Preserved general intelligence and formal linguistic abilities are the clues for intervention designs.

Embodying a cognitive model in a mobile robot

NASA Astrophysics Data System (ADS)

Benjamin, D. Paul; Lyons, Damian; Lonsdale, Deryle

2006-10-01

The ADAPT project is a collaboration of researchers in robotics, linguistics and artificial intelligence at three universities to create a cognitive architecture specifically designed to be embodied in a mobile robot. There are major respects in which existing cognitive architectures are inadequate for robot cognition. In particular, they lack support for true concurrency and for active perception. ADAPT addresses these deficiencies by modeling the world as a network of concurrent schemas, and modeling perception as problem solving. Schemas are represented using the RS (Robot Schemas) language, and are activated by spreading activation. RS provides a powerful language for distributed control of concurrent processes. Also, The formal semantics of RS provides the basis for the semantics of ADAPT's use of natural language. We have implemented the RS language in Soar, a mature cognitive architecture originally developed at CMU and used at a number of universities and companies. Soar's subgoaling and learning capabilities enable ADAPT to manage the complexity of its environment and to learn new schemas from experience. We describe the issues faced in developing an embodied cognitive architecture, and our implementation choices.

The linguistics of schizophrenia: thought disturbance as language pathology across positive symptoms

PubMed Central

Hinzen, Wolfram; Rosselló, Joana

2015-01-01

We hypothesize that linguistic (dis-)organization in the schizophrenic brain plays a more central role in the pathogenesis of this disease than commonly supposed. Against the standard view, that schizophrenia is a disturbance of thought or selfhood, we argue that the origins of the relevant forms of thought and selfhood at least partially depend on language. The view that they do not is premised by a theoretical conception of language that we here identify as ‘Cartesian’ and contrast with a recent ‘un-Cartesian’ model. This linguistic model empirically argues for both (i) a one-to-one correlation between human-specific thought or meaning and forms of grammatical organization, and (ii) an integrative and co-dependent view of linguistic cognition and its sensory-motor dimensions. Core dimensions of meaning mediated by grammar on this model specifically concern forms of referential and propositional meaning. A breakdown of these is virtually definitional of core symptoms. Within this model the three main positive symptoms of schizophrenia fall into place as failures in language-mediated forms of meaning, manifest either as a disorder of speech perception (Auditory Verbal Hallucinations), abnormal speech production running without feedback control (Formal Thought Disorder), or production of abnormal linguistic content (Delusions). Our hypothesis makes testable predictions for the language profile of schizophrenia across symptoms; it simplifies the cognitive neuropsychology of schizophrenia while not being inconsistent with a pattern of neurocognitive deficits and their correlations with symptoms; and it predicts persistent findings on disturbances of language-related circuitry in the schizophrenic brain. PMID:26236257

ccML, a new mark-up language to improve ISO/EN 13606-based electronic health record extracts practical edition.

PubMed

Sánchez-de-Madariaga, Ricardo; Muñoz, Adolfo; Cáceres, Jesús; Somolinos, Roberto; Pascual, Mario; Martínez, Ignacio; Salvador, Carlos H; Monteagudo, José Luis

2013-01-01

The objective of this paper is to introduce a new language called ccML, designed to provide convenient pragmatic information to applications using the ISO/EN13606 reference model (RM), such as electronic health record (EHR) extracts editors. EHR extracts are presently built using the syntactic and semantic information provided in the RM and constrained by archetypes. The ccML extra information enables the automation of the medico-legal context information edition, which is over 70% of the total in an extract, without modifying the RM information. ccML is defined using a W3C XML schema file. Valid ccML files complement the RM with additional pragmatics information. The ccML language grammar is defined using formal language theory as a single-type tree grammar. The new language is tested using an EHR extracts editor application as proof-of-concept system. Seven ccML PVCodes (predefined value codes) are introduced in this grammar to cope with different realistic EHR edition situations. These seven PVCodes have different interpretation strategies, from direct look up in the ccML file itself, to more complex searches in archetypes or system precomputation. The possibility to declare generic types in ccML gives rise to ambiguity during interpretation. The criterion used to overcome ambiguity is that specificity should prevail over generality. The opposite would make the individual specific element declarations useless. A new mark-up language ccML is introduced that opens up the possibility of providing applications using the ISO/EN13606 RM with the necessary pragmatics information to be practical and realistic.

Applications of a formal approach to decipher discrete genetic networks.

PubMed

Corblin, Fabien; Fanchon, Eric; Trilling, Laurent

2010-07-20

A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant and applicable to address questions raised by biologists about such networks. The behaviour of these systems being complex, it is essential to exploit efficiently every bit of experimental information. In our approach, both the evolution rules and the partial knowledge about the structure and the behaviour of the network are formalized using a common constraint-based language. In this article our formal and declarative approach is applied to three biological applications. The software environment that we developed allows to specifically address each application through a new class of biologically relevant queries. We show that we can describe easily and in a formal manner the partial knowledge about a genetic network. Moreover we show that this environment, based on a constraint algorithmic approach, offers a wide variety of functionalities, going beyond simple simulations, such as proof of consistency, model revision, prediction of properties, search for minimal models relatively to specified criteria. The formal approach proposed here deeply changes the way to proceed in the exploration of genetic and biochemical networks, first by avoiding the usual trial-and-error procedure, and second by placing the emphasis on sets of solutions, rather than a single solution arbitrarily chosen among many others. Last, the constraint approach promotes an integration of model and experimental data in a single framework.

Formalized Epistemology, Logic, and Grammar

NASA Astrophysics Data System (ADS)

Bitbol, Michel

The task of a formal epistemology is defined. It appears that a formal epistemology must be a generalization of "logic" in the sense of Wittgenstein's Tractatus. The generalization is required because, whereas logic presupposes a strict relation between activity and language, this relation may be broken in some domains of experimental enquiry (e.g., in microscopic physics). However, a formal epistemology should also retain a major feature of Wittgenstein's "logic": It must not be a discourse about scientific knowledge, but rather a way of making manifest the structures usually implicit in knowledge-gaining activity. This strategy is applied to the formalism of quantum mechanics.

Symbolic Power, Robotting, and Surveilling

ERIC Educational Resources Information Center

Skovsmose, Ole

2012-01-01

Symbolic power is discussed with reference to mathematics and formal languages. Two distinctions are crucial for establishing mechanical and formal perspectives: one between appearance and reality, and one between sense and reference. These distinctions include a nomination of what to consider primary and secondary. They establish the grammatical…

Innovative Active Networking Services

DTIC Science & Technology

2004-03-01

implementation of the ML programming language and runtime system. OCaml offers a programming environment that can be formally analyzed; 3. University... language such as Java or OCaml . A typical PLANet (PLAN Active network) node would look as in Figure 1. The University of Kansas /ITTC 6 Innovative... language . Hence we will be discussing it alone. 2.1.2 OCaml OCaml provides several of the design goals required for a service level language . Some of

Linguistic Extensions of Topic Models

DTIC Science & Technology

2010-09-01

Movie Legally Multiplex Heralded As Linchpin To Growth The Shape of Cinema , Transformed At the Click of a Mouse A Peaceful Crew Puts Muppets...Linguistic Representation of Multiple Languages The formalism of WordNet has been applied to many languages from different language families, e.g. Japanese ...could be also share information gleaned from 100 reviews on Amazon.com’s Japanese and German language sites. 6.2.3 Learning Deeper Structures and Testing

Science as a Second Language: Acquiring Fluency through Science Enterprises

NASA Astrophysics Data System (ADS)

Shope, R. E.

2012-12-01

Science Enterprises are problems that students genuinely want to solve, questions that students genuinely want to answer, that naturally entail reading, writing, exploration, investigation, and discussion. Engaging students in personally-relevant science enterprises provides both a diagnostic opportunity and a context for providing students the comprehensible input they need. We can differentiate instruction by creating science enterprise zones that are set up for the incremental increase in challenge for the students. Comprehensible input makes reachable, those just-out-of-reach concepts in the mix of the familiar and the new. We explore a series of science enterprise tools that have been developed and implemented in the context of informal science education projects that have reached over 10,000 urban youth in the Greater Los Angles area over the past six years. 1) The ED3U Science Inquiry Model, a learning cycle model that accounts for conceptual change; 2) The ¿NQUIRY Wheel, a compass of scientific inquiry strategies; 3) Inquiry Science Expeditions, a way of laying out a science learning environment, emulating a field and lab research collaboratory; 4) The Science Educative Experience Scale, a diagnostic measure of the quality of the science learning experience; and 5) Science Mimes, participatory enactment of science understanding. Practical examples of Science Enterprises will be presented, including a range of projects: Watershed Ecology; Astrobiology; Mars Rovers; Planetary Science; Icy Worlds. BACKGROUND: Language Acquisition is an informal process that occurs in the midst of exploring, solving problems, seeking answers to questions, playing, reading for pleasure, conversing, discussing, where the focus is not specifically on language development, but on the activity, which is of interest to the participant. Language Learning is a formal education process, the language arts aspect of the school day: the direct teaching of reading, writing, grammar, spelling, and speaking. Fluency results primarily from language acquisition and secondarily from language learning. We can view the problem of science education and communication as similar to language acquisition. Science Learning is a formal education process, the school science aspect of the school day: the direct teaching of standards-aligned science content. Science Acquisition is an informal process that occurs in the midst of exploring, solving problems, seeking answers to questions, playing, experimenting for pleasure, conversing, discussing, where the focus is not specifically on science content development, but on the inquiry activity, driven by the curiosity of the participant. Comprehensible input refers to the premise that we acquire language in the midst of activity when we understand the message; that is, when we understand what we hear or what we read or what we see. Acquisition is caused by comprehensible input as it occurs in the midst of a rich environment of language activity while doing something of interest to the learner. Providing comprehensible input is not the same as oversimplifying or "dumbing down." It is devising ways to create conditions where the interest of the learner is piqued.

Science As A Second Language: Acquiring Fluency through Science Enterprises

NASA Astrophysics Data System (ADS)

Shope, R.; EcoVoices Expedition Team

2013-05-01

Science Enterprises are problems that students genuinely want to solve, questions that students genuinely want to answer, that naturally entail reading, writing, investigation, and discussion. Engaging students in personally-relevant science enterprises provides both a diagnostic opportunity and a context for providing students the comprehensible input they need. We can differentiate instruction by creating science enterprise zones that are set up for the incremental increase in challenge for the students. Comprehensible input makes reachable, those just-out-of-reach concepts in the mix of the familiar and the new. EcoVoices takes students on field research expeditions within an urban natural area, the San Gabriel River Discovery Center. This project engages students in science enterprises focused on understanding ecosystems, ecosystem services, and the dynamics of climate change. A sister program, EcoVoces, has been launched in Mexico, in collaboration with the Universidad Loyola del Pacífico. 1) The ED3U Science Inquiry Model, a learning cycle model that accounts for conceptual change: Explore { Diagnose, Design, Discuss } Use. 2) The ¿NQUIRY Wheel, a compass of scientific inquiry strategies; 3) Inquiry Science Expeditions, a way of laying out a science learning environment, emulating a field and lab research collaboratory; 4) The Science Educative Experience Scale, a diagnostic measure of the quality of the science learning experience; and 5) Mimedia de la Ciencia, participatory enactment of science concepts using techniques of mime and improvisational theater. BACKGROUND: Science has become a vehicle for teaching reading, writing, and other communication skills, across the curriculum. This new emphasis creates renewed motivation for Scientists and Science Educators to work collaboratively to explore the common ground between acquiring science understanding and language acquisition theory. Language Acquisition is an informal process that occurs in the midst of exploring, solving problems, seeking answers to questions, playing, reading for pleasure, conversing, discussing, where the focus is not specifically on language development, but on the activity, which is of interest to the participant. Language Learning is a formal education process, the language arts aspect of the school day: the direct teaching of reading, writing, grammar, spelling, and speaking. Fluency results primarily from language acquisition and secondarily from language learning. We can view the problem of science education and communication as similar to language acquisition. Science Learning is a formal education process, the school science aspect of the school day: the direct teaching of standards-aligned science content. Science Acquisition is an informal process that occurs in the midst of exploring, solving problems, seeking answers to questions, playing, experimenting for pleasure, conversing, discussing, where the focus is not specifically on science content development, but on the inquiry activity, driven by the curiosity of the participant. Treating Science as a Second Language shifts the evaluation of science learning to include gauging the extent to which students choose to deepen their pursuit of science learning.

Teaching Creole-Speaking Children: Issues, Concerns and Resolutions for the Classroom

ERIC Educational Resources Information Center

Wigglesworth, Gillian; Billington, Rosey

2013-01-01

There are now significant numbers of children who speak a language other than English when they enter the formal school system in Australia. Many of these children come from a language background that is entirely different from the school language. Many Indigenous children, however, come from creole-speaking backgrounds where their home language…

Primary Discourse and Expressive Oral Language in a Kindergarten Student

ERIC Educational Resources Information Center

Fiano, Darcy A.

2014-01-01

This seven-month ethnographic case study elucidated a kindergarten student's navigation through her first formal schooling experience with relation to expressive oral language. Gee's theory of Discourses and methodology of discourse analysis were used to examine expressive oral language in use. Two discursive contexts germane to…

Why and How Do Distance Learners Use Mobile Devices for Language Learning?

ERIC Educational Resources Information Center

Demouy, Valérie; Jones, Ann; Kan, Qian; Kukulska-Hulme, Agnes; Eardley, Annie

2016-01-01

Most of the literature on mobile language learning is located in classroom contexts, and often concerns the use of resources developed by teachers or researchers. However, we also need to understand learner initiated practices, in informal as well as formal settings, where mobile language learners are increasingly using digital resources. In this…

Play, Language, and Stories: The Development of Children's Literate Behavior.

ERIC Educational Resources Information Center

Galda, Lee, Ed.; Pellegrini, Anthony D., Ed.

The question of the relationship between children's play and more formal, literate uses of language is explored in the 9 studies described in this volume. Chapter titles and authors are as follows: (1) "The Influence of Discourse Content and Context on Preschoolers' Use of Language" (Lucia A. French, Joan Lucariello, Susan Seidman, and Katherine…

Language Management: A Snapshot of Governmentality within the Private Schools in Quetta, Pakistan

ERIC Educational Resources Information Center

Manan, Syed Abdul; David, Maya Khemlani; Dumanig, Francisco Perlas

2016-01-01

Pakistan is a multilingual and multiethnic country; however, this diversity stands unrecognized in the formal language-in-education policies. Estimates suggest that about 90% of children who speak over 60 indigenous languages do not have access to education in their mother tongues. Linguists estimate that exclusive teaching of Urdu and English…

Primary Progressive Aphasia in a Bilingual Speaker: A Single-Case Study

ERIC Educational Resources Information Center

Zanini, Sergio; Angeli, Valentina; Tavano, Alessandro

2011-01-01

We report on the case of an elderly bilingual woman presenting with a diagnosis of primary progressive aphasia. The participant's native language was Friulian (L1), a predominantly oral Romance language, and her second language was Italian (L2), formally learned at primary school in oral and written forms. We investigated her linguistic abilities…

Ausdruckskraft und Regelmaessigkeit: Was Esperanto fuer automatische Uebersetzung geeignet macht (Expressiveness and Formal Regularity: What Makes Esperanto Suitable for Machine Translation).

ERIC Educational Resources Information Center

Schubert, Klaus

1988-01-01

Describes DLT, the multilingual machine translation system that uses Esperanto as an intermediate language in which substantial portions of the translation subprocesses are carried out. The criteria for choosing an intermediate language and the reasons for preferring Esperanto over other languages are explained. (Author/DJD)

Fostering Learner Autonomy: Power and Reciprocity in the Relationship between Language Learner and Language Learning Adviser

ERIC Educational Resources Information Center

Ciekanski, Maud

2007-01-01

Developments in lifelong learning and learner autonomy have given fresh impetus to the debate about learning without formal teaching. This paper concerns the educational relationship between learner and adviser in self-directed schemes. Two French self-directed language learning set-ups were observed, one situated at university level (Systeme…

Reading Strategies and CLIL: The Effect of Training in Formal Instruction

ERIC Educational Resources Information Center

de Zarobe, Yolanda Ruiz; Zenotz, Victoria

2015-01-01

Content and Language Integrated Learning (CLIL) is a multifaceted educational approach which has emerged as a major innovation in improving language learning and subject learning in the curriculum. In order to analyse the effect of this approach, a number of studies (Dalton Puffer, C., T. Nikula and U. Smit, eds. 2010. "Language Use and…

Incidental Focus on Form in University Spanish Literature Courses

ERIC Educational Resources Information Center

Zyzik, Eve; Polio, Charlene

2008-01-01

Incidental focus on form is one of several ways to direct language learners' attention to formal aspects of language within meaningful communicative contexts. Learners can benefit from focus on form, but the extent to which incidental focus on form, or any other type, is available to learners in advanced foreign language literature classes has not…

Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic

NASA Astrophysics Data System (ADS)

Xu, Huan

Cyber-physical systems integrate computation, networking, and physical processes. Substantial research challenges exist in the design and verification of such large-scale, distributed sensing, actuation, and control systems. Rapidly improving technology and recent advances in control theory, networked systems, and computer science give us the opportunity to drastically improve our approach to integrated flow of information and cooperative behavior. Current systems rely on text-based specifications and manual design. Using new technology advances, we can create easier, more efficient, and cheaper ways of developing these control systems. This thesis will focus on design considerations for system topologies, ways to formally and automatically specify requirements, and methods to synthesize reactive control protocols, all within the context of an aircraft electric power system as a representative application area. This thesis consists of three complementary parts: synthesis, specification, and design. The first section focuses on the synthesis of central and distributed reactive controllers for an aircraft elec- tric power system. This approach incorporates methodologies from computer science and control. The resulting controllers are correct by construction with respect to system requirements, which are formulated using the specification language of linear temporal logic (LTL). The second section addresses how to formally specify requirements and introduces a domain-specific language for electric power systems. A software tool automatically converts high-level requirements into LTL and synthesizes a controller. The final sections focus on design space exploration. A design methodology is proposed that uses mixed-integer linear programming to obtain candidate topologies, which are then used to synthesize controllers. The discrete-time control logic is then verified in real-time by two methods: hardware and simulation. Finally, the problem of partial observability and dynamic state estimation is explored. Given a set placement of sensors on an electric power system, measurements from these sensors can be used in conjunction with control logic to infer the state of the system.

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.

Ontology driven modeling for the knowledge of genetic susceptibility to disease.

PubMed

Lin, Yu; Sakamoto, Norihiro

2009-05-12

For the machine helped exploring the relationships between genetic factors and complex diseases, a well-structured conceptual framework of the background knowledge is needed. However, because of the complexity of determining a genetic susceptibility factor, there is no formalization for the knowledge of genetic susceptibility to disease, which makes the interoperability between systems impossible. Thus, the ontology modeling language OWL was used for formalization in this paper. After introducing the Semantic Web and OWL language propagated by W3C, we applied text mining technology combined with competency questions to specify the classes of the ontology. Then, an N-ary pattern was adopted to describe the relationships among these defined classes. Based on the former work of OGSF-DM (Ontology of Genetic Susceptibility Factors to Diabetes Mellitus), we formalized the definition of "Genetic Susceptibility", "Genetic Susceptibility Factor" and other classes by using OWL-DL modeling language; and a reasoner automatically performed the classification of the class "Genetic Susceptibility Factor". The ontology driven modeling is used for formalization the knowledge of genetic susceptibility to complex diseases. More importantly, when a class has been completely formalized in an ontology, the OWL reasoning can automatically compute the classification of the class, in our case, the class of "Genetic Susceptibility Factors". With more types of genetic susceptibility factors obtained from the laboratory research, our ontologies always needs to be refined, and many new classes must be taken into account to harmonize with the ontologies. Using the ontologies to develop the semantic web needs to be applied in the future.

Archetype Model-Driven Development Framework for EHR Web System

PubMed Central

Kimura, Eizen; Ishihara, Ken

2013-01-01

Objectives This article describes the Web application framework for Electronic Health Records (EHRs) we have developed to reduce construction costs for EHR sytems. Methods The openEHR project has developed clinical model driven architecture for future-proof interoperable EHR systems. This project provides the specifications to standardize clinical domain model implementations, upon which the ISO/CEN 13606 standards are based. The reference implementation has been formally described in Eiffel. Moreover C# and Java implementations have been developed as reference. While scripting languages had been more popular because of their higher efficiency and faster development in recent years, they had not been involved in the openEHR implementations. From 2007, we have used the Ruby language and Ruby on Rails (RoR) as an agile development platform to implement EHR systems, which is in conformity with the openEHR specifications. Results We implemented almost all of the specifications, the Archetype Definition Language parser, and RoR scaffold generator from archetype. Although some problems have emerged, most of them have been resolved. Conclusions We have provided an agile EHR Web framework, which can build up Web systems from archetype models using RoR. The feasibility of the archetype model to provide semantic interoperability of EHRs has been demonstrated and we have verified that that it is suitable for the construction of EHR systems. PMID:24523991

TRL - A FORMAL TEST REPRESENTATION LANGUAGE AND TOOL FOR FUNCTIONAL TEST DESIGNS

NASA Technical Reports Server (NTRS)

Hops, J. M.

1994-01-01

A Formal Test Representation Language and Tool for Functional Test Designs (TRL) is an automatic tool and a formal language that is used to implement the Category-Partition Method and produce the specification of test cases in the testing phase of software development. The Category-Partition Method is particularly useful in defining the inputs, outputs and purpose of the test design phase and combines the benefits of choosing normal cases with error exposing properties. Traceability can be maintained quite easily by creating a test design for each objective in the test plan. The effort to transform the test cases into procedures is simplified by using an automatic tool to create the cases based on the test design. The method allows the rapid elimination of undesired test cases from consideration, and easy review of test designs by peer groups. The first step in the category-partition method is functional decomposition, in which the specification and/or requirements are decomposed into functional units that can be tested independently. A secondary purpose of this step is to identify the parameters that affect the behavior of the system for each functional unit. The second step, category analysis, carries the work done in the previous step further by determining the properties or sub-properties of the parameters that would make the system behave in different ways. The designer should analyze the requirements to determine the features or categories of each parameter and how the system may behave if the category were to vary its value. If the parameter undergoing refinement is a data-item, then categories of this data-item may be any of its attributes, such as type, size, value, units, frequency of change, or source. After all the categories for the parameters of the functional unit have been determined, the next step is to partition each category's range space into mutually exclusive values that the category can assume. In choosing partition values, all possible kinds of values should be included, especially the ones that will maximize error detection. The purpose of the final step, partition constraint analysis, is to refine the test design specification so that only the technically effective and economically feasible test cases are implied. TRL is written in C-language to be machine independent. It has been successfully implemented on an IBM PC compatible running MS DOS, a Sun4 series computer running SunOS, an HP 9000/700 series workstation running HP-UX, a DECstation running DEC RISC ULTRIX, and a DEC VAX series computer running VMS. TRL requires 1Mb of disk space and a minimum of 84K of RAM. The documentation is available in electronic form in Word Perfect format. The standard distribution media for TRL is a 5.25 inch 360K MS-DOS format diskette. Alternate distribution media and formats are available upon request. TRL was developed in 1993 and is a copyrighted work with all copyright vested in NASA.

REQUIREMENTS PATTERNS FOR FORMAL CONTRACTS IN ARCHITECTURAL ANALYSIS AND DESIGN LANGUAGE (AADL) MODELS

DTIC Science & Technology

2017-04-17

Cyberphysical Systems, Formal Methods , Requirements Patterns, AADL, Assume Guarantee Reasoning Environment 16. SECURITY CLASSIFICATION OF: 17. LIMITATION OF...5 3. Methods , Assumptions, and Procedures...Rockwell Collins has been addressing these challenges by developing compositional reasoning methods that permit the verification of systems that exceed

Applying Chomsky's Linguistic Methodology to the Clinical Interpretation of Symbolic Play.

ERIC Educational Resources Information Center

Ariel, Shlomo

This paper summarizes how Chomsky's methodological principles of linguistics may be applied to the clinical interpretation of children's play. Based on Chomsky's derivation of a "universal grammar" (the set of essential, formal, and substantive traits of any human language), a number of hypothesized formal universals of…

Integration of Speech and Natural Language

DTIC Science & Technology

1988-04-01

major activities: • Development of the syntax and semantics components for natural language processing. • Integration of the developed syntax and...evaluating the performance of speech recognition algonthms developed K» under the Strategic Computing Program. grs Our work on natural language processing...included the developement of a grammar (syntax) that uses the Uiuficanon gnmmaj formaMsm (an augmented context free formalism). The Unification

Cultura, Comunicacion e interaccion: Hacia el contexto total del lenguage y el hombre hispanicos (Culture, Communication and Interaction: Towards a Total Context of the Spanish Language and Speaker)

ERIC Educational Resources Information Center

Poyatos, Fernando

1974-01-01

Described the methodological problems in setting up a kinesic inventory. Concludes that it is highly unrealistic to study language by itself without analyzing the formal and semantic make-up of the triple basic structure of language-paralanguage-kinesics. (Text is in Spanish.) (DS)

Breaking Through: TOSTAN's Non-Formal Basic Education Programme in National Languages in Senegal. Education for All: Making It Work. Innovation Series.

ERIC Educational Resources Information Center

Guttman, Cynthia

Since 1988, thousands of rural villagers across Senegal have participated in a basic education program called TOSTAN, which means "breakthrough" in Wolof, the majority language. Supported by UNICEF and implemented in the six national languages of Senegal, TOSTAN goes beyond traditional literacy programs to link literacy learning with…

Gaming as an English Language Learning Resource among Young Children in Denmark

ERIC Educational Resources Information Center

Jensen, Signe Hannibal

2017-01-01

This article presents a study of Danish young English language learners' (YELLs') contact with and use of Extramural English (EE) (N = 107, aged 8 [n = 49] and 10 [n = 58]). They have received little formal English instruction: two lessons per week for one year. Data on EE-habits were collected with a one-week language diary (self-report with…

Emerging Literacy in Spanish among Hispanic Heritage Language University Students in the USA: A Pilot Study

ERIC Educational Resources Information Center

Fairclough, Marta; Belpoliti, Flavia

2016-01-01

This pilot study identifies some lexical aspects of the emerging writing skills in Spanish among receptive English/Spanish bilingual students with little or no exposure to formal study of the home language upon entering a Spanish Heritage Language Program at a large public university in the Southwestern United States. The 200+ essays analyzed in…

Children's Comprehension Problems in Oral and Written Language: A Cognitive Perspective. Challenges in Language and Literacy

ERIC Educational Resources Information Center

Cain, Kate, Ed.; Oakhill, Jane, Ed.

2007-01-01

Comprehension is the ultimate aim of reading and listening. How do children develop the ability to comprehend written and spoken language, and what can be done to help those who are having difficulties? This book presents cutting-edge research on comprehension problems experienced by children without any formal diagnosis as well as those with…

A Proposed Pattern of Enterprise Architecture

DTIC Science & Technology

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

Verbal Counting in Bilingual Contexts

ERIC Educational Resources Information Center

Donevska-Todorova, Ana

2015-01-01

Informal experiences in mathematics often include playful competitions among young children in counting numbers in as many as possible different languages. Can these enjoyable experiences result with excellence in the formal processes of education? This article discusses connections between mathematical achievements and natural languages within…

Current management for word finding difficulties by speech-language therapists in South African remedial schools.

PubMed

de Rauville, Ingrid; Chetty, Sandhya; Pahl, Jenny

2006-01-01

Word finding difficulties frequently found in learners with language learning difficulties (Casby, 1992) are an integral part of Speech-Language Therapists' management role when working with learning disabled children. This study investigated current management for word finding difficulties by 70 Speech-Language Therapists in South African remedial schools. A descriptive survey design using a quantitative and qualitative approach was used. A questionnaire and follow-up focus group discussion were used to collect data. Results highlighted the use of the Renfrew Word Finding Scale (Renfrew, 1972, 1995) as the most frequently used formal assessment tool. Language sample analysis and discourse analysis were the most frequently used informal assessment procedures. Formal intervention programmes were generally not used. Phonetic, phonemic or phonological cueing were the most frequently used therapeutic strategies. The authors note strengths and raise concerns about current management for word finding difficulties in South African remedial schools, particularly in terms of bilingualism. Opportunities are highlighted regarding the development of assessment and intervention measures relevant to the diverse learning disabled population in South Africa.

Eugene--a domain specific language for specifying and constraining synthetic biological parts, devices, and systems.

PubMed

Bilitchenko, Lesia; Liu, Adam; Cheung, Sherine; Weeding, Emma; Xia, Bing; Leguia, Mariana; Anderson, J Christopher; Densmore, Douglas

2011-04-29

Synthetic biological systems are currently created by an ad-hoc, iterative process of specification, design, and assembly. These systems would greatly benefit from a more formalized and rigorous specification of the desired system components as well as constraints on their composition. Therefore, the creation of robust and efficient design flows and tools is imperative. We present a human readable language (Eugene) that allows for the specification of synthetic biological designs based on biological parts, as well as provides a very expressive constraint system to drive the automatic creation of composite Parts (Devices) from a collection of individual Parts. We illustrate Eugene's capabilities in three different areas: Device specification, design space exploration, and assembly and simulation integration. These results highlight Eugene's ability to create combinatorial design spaces and prune these spaces for simulation or physical assembly. Eugene creates functional designs quickly and cost-effectively. Eugene is intended for forward engineering of DNA-based devices, and through its data types and execution semantics, reflects the desired abstraction hierarchy in synthetic biology. Eugene provides a powerful constraint system which can be used to drive the creation of new devices at runtime. It accomplishes all of this while being part of a larger tool chain which includes support for design, simulation, and physical device assembly.

Executable Architecture Research at Old Dominion University

NASA Technical Reports Server (NTRS)

Tolk, Andreas; Shuman, Edwin A.; Garcia, Johnny J.

2011-01-01

Executable Architectures allow the evaluation of system architectures not only regarding their static, but also their dynamic behavior. However, the systems engineering community do not agree on a common formal specification of executable architectures. To close this gap and identify necessary elements of an executable architecture, a modeling language, and a modeling formalism is topic of ongoing PhD research. In addition, systems are generally defined and applied in an operational context to provide capabilities and enable missions. To maximize the benefits of executable architectures, a second PhD effort introduces the idea of creating an executable context in addition to the executable architecture. The results move the validation of architectures from the current information domain into the knowledge domain and improve the reliability of such validation efforts. The paper presents research and results of both doctoral research efforts and puts them into a common context of state-of-the-art of systems engineering methods supporting more agility.

Modeling Off-Nominal Behavior in SysML

NASA Technical Reports Server (NTRS)

Day, John C.; Donahue, Kenneth; Ingham, Michel; Kadesch, Alex; Kennedy, Andrew K.; Post, Ethan

2012-01-01

Specification and development of fault management functionality in systems is performed in an ad hoc way - more of an art than a science. Improvements to system reliability, availability, safety and resilience will be limited without infusion of additional formality into the practice of fault management. Key to the formalization of fault management is a precise representation of off-nominal behavior. Using the upcoming Soil Moisture Active-Passive (SMAP) mission for source material, we have modeled the off-nominal behavior of the SMAP system during its initial spin-up activity, using the System Modeling Language (SysML). In the course of developing these models, we have developed generic patterns for capturing off-nominal behavior in SysML. We show how these patterns provide useful ways of reasoning about the system (e.g., checking for completeness and effectiveness) and allow the automatic generation of typical artifacts (e.g., success trees and FMECAs) used in system analyses.

Safety Analysis of FMS/CTAS Interactions During Aircraft Arrivals

NASA Technical Reports Server (NTRS)

Leveson, Nancy G.

1998-01-01

This grant funded research on human-computer interaction design and analysis techniques, using future ATC environments as a testbed. The basic approach was to model the nominal behavior of both the automated and human procedures and then to apply safety analysis techniques to these models. Our previous modeling language, RSML, had been used to specify the system requirements for TCAS II for the FAA. Using the lessons learned from this experience, we designed a new modeling language that (among other things) incorporates features to assist in designing less error-prone human-computer interactions and interfaces and in detecting potential HCI problems, such as mode confusion. The new language, SpecTRM-RL, uses "intent" abstractions, based on Rasmussen's abstraction hierarchy, and includes both informal (English and graphical) specifications and formal, executable models for specifying various aspects of the system. One of the goals for our language was to highlight the system modes and mode changes to assist in identifying the potential for mode confusion. Three published papers resulted from this research. The first builds on the work of Degani on mode confusion to identify aspects of the system design that could lead to potential hazards. We defined and modeled modes differently than Degani and also defined design criteria for SpecTRM-RL models. Our design criteria include the Degani criteria but extend them to include more potential problems. In a second paper, Leveson and Palmer showed how the criteria for indirect mode transitions could be applied to a mode confusion problem found in several ASRS reports for the MD-88. In addition, we defined a visual task modeling language that can be used by system designers to model human-computer interaction. The visual models can be translated into SpecTRM-RL models, and then the SpecTRM-RL suite of analysis tools can be used to perform formal and informal safety analyses on the task model in isolation or integrated with the rest of the modeled system. We had hoped to be able to apply these modeling languages and analysis tools to a TAP air/ground trajectory negotiation scenario, but the development of the tools took more time than we anticipated.

Modeling and validating HL7 FHIR profiles using semantic web Shape Expressions (ShEx).

PubMed

Solbrig, Harold R; Prud'hommeaux, Eric; Grieve, Grahame; McKenzie, Lloyd; Mandel, Joshua C; Sharma, Deepak K; Jiang, Guoqian

2017-03-01

HL7 Fast Healthcare Interoperability Resources (FHIR) is an emerging open standard for the exchange of electronic healthcare information. FHIR resources are defined in a specialized modeling language. FHIR instances can currently be represented in either XML or JSON. The FHIR and Semantic Web communities are developing a third FHIR instance representation format in Resource Description Framework (RDF). Shape Expressions (ShEx), a formal RDF data constraint language, is a candidate for describing and validating the FHIR RDF representation. Create a FHIR to ShEx model transformation and assess its ability to describe and validate FHIR RDF data. We created the methods and tools that generate the ShEx schemas modeling the FHIR to RDF specification being developed by HL7 ITS/W3C RDF Task Force, and evaluated the applicability of ShEx in the description and validation of FHIR to RDF transformations. The ShEx models contributed significantly to workgroup consensus. Algorithmic transformations from the FHIR model to ShEx schemas and FHIR example data to RDF transformations were incorporated into the FHIR build process. ShEx schemas representing 109 FHIR resources were used to validate 511 FHIR RDF data examples from the Standards for Trial Use (STU 3) Ballot version. We were able to uncover unresolved issues in the FHIR to RDF specification and detect 10 types of errors and root causes in the actual implementation. The FHIR ShEx representations have been included in the official FHIR web pages for the STU 3 Ballot version since September 2016. ShEx can be used to define and validate the syntax of a FHIR resource, which is complementary to the use of RDF Schema (RDFS) and Web Ontology Language (OWL) for semantic validation. ShEx proved useful for describing a standard model of FHIR RDF data. The combination of a formal model and a succinct format enabled comprehensive review and automated validation. Copyright © 2017 Elsevier Inc. All rights reserved.

Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization.

PubMed

Misirli, Goksel; Cavaliere, Matteo; Waites, William; Pocock, Matthew; Madsen, Curtis; Gilfellon, Owen; Honorato-Zimmer, Ricardo; Zuliani, Paolo; Danos, Vincent; Wipat, Anil

2016-03-15

Biological systems are complex and challenging to model and therefore model reuse is highly desirable. To promote model reuse, models should include both information about the specifics of simulations and the underlying biology in the form of metadata. The availability of computationally tractable metadata is especially important for the effective automated interpretation and processing of models. Metadata are typically represented as machine-readable annotations which enhance programmatic access to information about models. Rule-based languages have emerged as a modelling framework to represent the complexity of biological systems. Annotation approaches have been widely used for reaction-based formalisms such as SBML. However, rule-based languages still lack a rich annotation framework to add semantic information, such as machine-readable descriptions, to the components of a model. We present an annotation framework and guidelines for annotating rule-based models, encoded in the commonly used Kappa and BioNetGen languages. We adapt widely adopted annotation approaches to rule-based models. We initially propose a syntax to store machine-readable annotations and describe a mapping between rule-based modelling entities, such as agents and rules, and their annotations. We then describe an ontology to both annotate these models and capture the information contained therein, and demonstrate annotating these models using examples. Finally, we present a proof of concept tool for extracting annotations from a model that can be queried and analyzed in a uniform way. The uniform representation of the annotations can be used to facilitate the creation, analysis, reuse and visualization of rule-based models. Although examples are given, using specific implementations the proposed techniques can be applied to rule-based models in general. The annotation ontology for rule-based models can be found at http://purl.org/rbm/rbmo The krdf tool and associated executable examples are available at http://purl.org/rbm/rbmo/krdf anil.wipat@newcastle.ac.uk or vdanos@inf.ed.ac.uk. © The Author 2015. Published by Oxford University Press.

Tackling health literacy: adaptation of public hypertension educational materials for an Indo-Asian population in Canada

PubMed Central

2011-01-01

Background Indo-Asians in Canada are at increased risk for cardiovascular diseases. There is a need for cultural and language specific educational materials relating to this risk. During this project we developed and field tested the acceptability of a hypertension public education pamphlet tailored to fit the needs of an at risk local Indo-Asian population, in Calgary, Alberta, Canada. Methods A community health board representing Calgary's Indo-Asian communities identified the culturally specific educational needs and language preferences of the local population. An adaptation of an existing English language Canadian Public Hypertension Recommendations pamphlet was created considering the literacy and translation challenges. The adapted pamphlet was translated into four Indo-Asian languages. The adapted pamphlets were disseminated as part of the initial educational component of a community-based culturally and language-sensitive cardiovascular risk factor screening and management program. Field testing of the materials was undertaken when participants returned for program follow-up seven to 12 months later. Results Fifty-nine English-speaking participants evaluated and confirmed the concept validity of the English adapted version. 28 non-English speaking participants evaluated the Gujarati (N = 13) and Punjabi (N = 15) translated versions of the adapted pamphlets. All participants found the pamphlets acceptable and felt they had improved their understanding of hypertension. Conclusions Involving the target community to identify health issues as well as help to create culturally, language and literacy sensitive health education materials ensures resources are highly acceptable to that community. Minor changes to the materials will be needed prior to formal testing of hypertension knowledge and health decision-making on a larger scale within this at risk community. PMID:21223580

ccML, a new mark-up language to improve ISO/EN 13606-based electronic health record extracts practical edition

PubMed Central

Sánchez-de-Madariaga, Ricardo; Muñoz, Adolfo; Cáceres, Jesús; Somolinos, Roberto; Pascual, Mario; Martínez, Ignacio; Salvador, Carlos H; Monteagudo, José Luis

2013-01-01

Objective The objective of this paper is to introduce a new language called ccML, designed to provide convenient pragmatic information to applications using the ISO/EN13606 reference model (RM), such as electronic health record (EHR) extracts editors. EHR extracts are presently built using the syntactic and semantic information provided in the RM and constrained by archetypes. The ccML extra information enables the automation of the medico-legal context information edition, which is over 70% of the total in an extract, without modifying the RM information. Materials and Methods ccML is defined using a W3C XML schema file. Valid ccML files complement the RM with additional pragmatics information. The ccML language grammar is defined using formal language theory as a single-type tree grammar. The new language is tested using an EHR extracts editor application as proof-of-concept system. Results Seven ccML PVCodes (predefined value codes) are introduced in this grammar to cope with different realistic EHR edition situations. These seven PVCodes have different interpretation strategies, from direct look up in the ccML file itself, to more complex searches in archetypes or system precomputation. Discussion The possibility to declare generic types in ccML gives rise to ambiguity during interpretation. The criterion used to overcome ambiguity is that specificity should prevail over generality. The opposite would make the individual specific element declarations useless. Conclusion A new mark-up language ccML is introduced that opens up the possibility of providing applications using the ISO/EN13606 RM with the necessary pragmatics information to be practical and realistic. PMID:23019241

Tackling health literacy: adaptation of public hypertension educational materials for an Indo-Asian population in Canada.

PubMed

Jones, Charlotte A; Mawani, Shefina; King, Kathryn M; Allu, Selina Omar; Smith, Megan; Mohan, Sailesh; Campbell, Norman R C

2011-01-11

Indo-Asians in Canada are at increased risk for cardiovascular diseases. There is a need for cultural and language specific educational materials relating to this risk. During this project we developed and field tested the acceptability of a hypertension public education pamphlet tailored to fit the needs of an at risk local Indo-Asian population, in Calgary, Alberta, Canada. A community health board representing Calgary's Indo-Asian communities identified the culturally specific educational needs and language preferences of the local population. An adaptation of an existing English language Canadian Public Hypertension Recommendations pamphlet was created considering the literacy and translation challenges. The adapted pamphlet was translated into four Indo-Asian languages. The adapted pamphlets were disseminated as part of the initial educational component of a community-based culturally and language-sensitive cardiovascular risk factor screening and management program. Field testing of the materials was undertaken when participants returned for program follow-up seven to 12 months later. Fifty-nine English-speaking participants evaluated and confirmed the concept validity of the English adapted version. 28 non-English speaking participants evaluated the Gujarati (N = 13) and Punjabi (N = 15) translated versions of the adapted pamphlets. All participants found the pamphlets acceptable and felt they had improved their understanding of hypertension. Involving the target community to identify health issues as well as help to create culturally, language and literacy sensitive health education materials ensures resources are highly acceptable to that community. Minor changes to the materials will be needed prior to formal testing of hypertension knowledge and health decision-making on a larger scale within this at risk community.

Does Personalisation Promote Learners' Attention? An Eye-Tracking Study

ERIC Educational Resources Information Center

Zander, Steffi; Reichelt, Maria; Wetzel, Stefanie; Kämmerer, Frauke; Bertel, Sven

2015-01-01

The personalisation principle is a design recommendation and states that multimedia presentations using personalised language promote learning better than those using formal language (e.g., using "your" instead of "the"). It is often assumed that this design recommendation affects motivation and therefore allocation of…

Marr's levels and the minimalist program.

PubMed

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.

International Workshop on Principles of Program Analysis

DTIC Science & Technology

1999-01-01

with respect to a semantics of the programming language. It is a sad fact that new program analyses often contain subtle bugs, and a formal ... It defines a higher-order function f with formal parameter x and body x 1; then it defines two functions g and h that are given as actual parameters...begin by presenting a formal semantics for WHILE. The material of this section may be skimmed through on a first reading; however, it is frequently

Meeting the Deadline: Why, When and How

NASA Technical Reports Server (NTRS)

Dignum, Frank; Broersen, Jan; Dignum, Virginia; Meyer, John-Jules

2004-01-01

A normative system is defined as any set of interacting agents whose behavior can usefully be regarded as norm-directed. Most organizations, and more specifically institutions, fall under this definition. Interactions in these normative systems are regulated by normative templates that describe desired behavior in terms of deontic concepts (obligations, prohibitions and permissions), deadlines, violations and sanctions. Agreements between agents, and between an agent and the society, can then be specified by means of contracts. Contracts provide flexible but verifiable means to integrate society requirements and agent autonomy. and are an adequate means for the explicit specification of interactions. From the society perspective, it is important that these contracts adhere to the specifications described in the model of the organization. If we want to automate such verifications, we have to formalize the languages used for contracts and for the specification of organizations. The logic LCR is based on deontic temporal logic. LCR is an expressive language for describing interaction in multi-agent systems, including obligations with deadlines. Deadlines are important norms in most interactions between agents. Intuitively, a deadline states that an agent should perform an action before a certain point in time. The obligation to perform the action starts at the moment the deadline becomes active. E.g. when a contract is signed or approved. If the action is not performed in time a violation of the deadline occurs. It can be specified independently what measure has to be taken in this case. In this paper we investigate the deadline concept in more detail. The paper is organized as follows. Section 2 defines the variant of CTL we use. In section 3, we discuss the basic intuitions of deadlines. Section 4 presents a first intuitive formalization for deadlines. In section 5, we look at a more complex model for deadlines trying to catch some more practical aspects. Finally, in section 6 we present issues for future work and our conciusions.

Professional Roles and Responsibilities in Meeting the Needs of Children with Speech, Language and Communication Needs: Joint Working between Educational Psychologists and Speech and Language Therapists

ERIC Educational Resources Information Center

McConnellogue, Sheila

2011-01-01

There is a large population of children with speech, language and communication needs who have additional special educational needs (SEN). Whilst professional collaboration between education and health professionals is recommended to ensure an integrated delivery of statutory services for this population of children, formal frameworks should be…

The Influence of Exposure, Parents, and Linguistic Distance on Young European Learners' Foreign Language Comprehension

ERIC Educational Resources Information Center

Lindgren, Eva; Munoz, Carmen

2013-01-01

The project Early Language Learning in Europe (ELLiE) has studied the longitudinal effects of an early foreign language (FL) start in seven European contexts. This article presents a sub-study of ELLiE that investigates the impact of out-of-school factors on learners' listening and reading skills in year four of formal FL instruction. More…

Situational therapy for Wernicke's aphasia.

PubMed

Altschuler, Eric Lewin; Multari, Alicia; Hirstein, William; Ramachandran, V S

2006-01-01

Patients with Wernicke's or expressive aphasia are able to produce fluent speech, however, this speech may be complete gibberish sounds and totally incomprehensible, or even when comprehensible to a degree is often laced with severe errors and abnormalities such as verbal and phonemic paraphasias and neologisms. Furthermore, patient's with Wernicke's aphasia have poor to no understanding of speech or language. There is no proven method for rehabilitation of Wernicke's aphasia, or even much guidance for physicians or speech therapists to treat Wernicke's aphasia patients. In contrast to their poor to non-existent communication skills using speech or other forms of language, it has long been appreciated informally and formally that Wernicke's aphasia patients are able to communicate well, even normally, using non-verbal means such as actions, movements, props, gestures, facials expressions, and affect. Furthermore, in non-language domains Wernicke's aphasia patients can show normal memory and learning abilities. Thus, we here suggest that the non-language communication channels of Wernicke's aphasia patients be channeled and utilized in their functional rehabilitation: Specifically, we suggest that therapy for Wernicke's aphasia patients should consist of placing patients in real or simulated important functional situations--e.g., buying food, taking transport--and let the patients train and learn to use and hone their non-language communication means and skills for improved practical functioning.

The Formal Pragmatics of Non-at-Issue Intensification in English and Japanese

ERIC Educational Resources Information Center

Taniguchi, Ai

2017-01-01

This dissertation concerns the formal pragmatics of constructions in English and Japanese that are perceptively intensificative in their discourse function in some way. In particular I examine polarity emphasis (verum focus), exclamatives, and acts of notification and surprise in language using a compositional version of Farkas and Bruce (2010)'s…

Formal and Informal CALL Preparation and Teacher Attitude toward Technology

ERIC Educational Resources Information Center

Kessler, Greg

2007-01-01

Recent research suggests that there is a general lack of a computer-assisted language learning (CALL) presence in teacher preparation programs. There is also evidence that teachers obtain a majority of their CALL knowledge from informal sources and personal experience rather than through formalized preparation. Further, graduates of these programs…

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.

What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems

NASA Technical Reports Server (NTRS)

McIlraith, Sheila; Scherl, Richard

2005-01-01

Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we investigate "what sensing actions tell us", i.e., what an agent comes to know indirectly from the outcome of a sensing action, given knowledge of its actions and state constraints that hold in the world. To this end, we propose a formalization of the notion of testing within a dialect of the situation calculus that includes knowledge and sensing actions. Realizing this formalization requires addressing the ramification problem for sensing actions. We formalize simple tests as sensing actions. Complex tests are expressed in the logic programming language Golog. We examine what it means to perform a test, and how the outcome of a test affects an agent's state of knowledge. Finally, we propose automated reasoning techniques for test generation and complex-test verification, under certain restrictions. The work presented in this paper is relevant to a number of application domains including diagnostic problem solving, natural language understanding, plan recognition, and active vision.

ChemicalTagger: A tool for semantic text-mining in chemistry

PubMed Central

2011-01-01

Background The primary method for scientific communication is in the form of published scientific articles and theses which use natural language combined with domain-specific terminology. As such, they contain free owing unstructured text. Given the usefulness of data extraction from unstructured literature, we aim to show how this can be achieved for the discipline of chemistry. The highly formulaic style of writing most chemists adopt make their contributions well suited to high-throughput Natural Language Processing (NLP) approaches. Results We have developed the ChemicalTagger parser as a medium-depth, phrase-based semantic NLP tool for the language of chemical experiments. Tagging is based on a modular architecture and uses a combination of OSCAR, domain-specific regex and English taggers to identify parts-of-speech. The ANTLR grammar is used to structure this into tree-based phrases. Using a metric that allows for overlapping annotations, we achieved machine-annotator agreements of 88.9% for phrase recognition and 91.9% for phrase-type identification (Action names). Conclusions It is possible parse to chemical experimental text using rule-based techniques in conjunction with a formal grammar parser. ChemicalTagger has been deployed for over 10,000 patents and has identified solvents from their linguistic context with >99.5% precision. PMID:21575201

Discrimination and Mental Health–Related Service Use in a National Study of Asian Americans

PubMed Central

Chen, Juan; Gee, Gilbert C.; Fabian, Cathryn G.; Takeuchi, David T.

2010-01-01

Objectives. We examined the association between perceived discrimination and use of mental health services among a national sample of Asian Americans. Methods. Our data came from the National Latino and Asian American Study, the first national survey of Asian Americans. Our sample included 600 Chinese, 508 Filipinos, 520 Vietnamese, and 467 other Asians (n=2095). We used logistic regression to examine the association between discrimination and formal and informal service use and the interactive effect of discrimination and English language proficiency. Results. Perceived discrimination was associated with more use of informal services, but not with less use of formal services. Additionally, higher levels of perceived discrimination combined with lower English proficiency were associated with more use of informal services. Conclusions. The effect of perceived discrimination and language proficiency on service use indicates a need for more bilingual services and more collaborations between formal service systems and community resources. PMID:20299649

Assessing Fluency: Are the Criteria Fair?

ERIC Educational Resources Information Center

Liyanage, Indika; Gardner, Rod

2013-01-01

In formal assessments of second-language speakers' fluency, the criteria used frequently fail to differentiate between real disfluency and interactionally effective practices, while superficially disfluent, that help with communication and are used by first language speakers. In this study, we focused on pausing, silences and self-repairs in the…

PubMed Central

Grégoire, J.

1993-01-01

Between five and 20% of preschool age children have language problems. These can be related to the child's hearing, socioeconomic status, intellectual development, or a psychiatric disorder. Even when it is difficult to recommend a formal screening program, family physicians can interpret delays in speech and language as "indicators" of underlying disorders. PMID:8495143

Computational Evaluation of the Traceback Method

ERIC Educational Resources Information Center

Kol, Sheli; Nir, Bracha; Wintner, Shuly

2014-01-01

Several models of language acquisition have emerged in recent years that rely on computational algorithms for simulation and evaluation. Computational models are formal and precise, and can thus provide mathematically well-motivated insights into the process of language acquisition. Such models are amenable to robust computational evaluation,…

A Kurdish-English Dictionary.

ERIC Educational Resources Information Center

Wahby, Taufiq; Edmonds, C.J.

The Kurdish of this dictionary is the standard language of belles-lettres, journalism, official and private correspondence, and formal speech of the Southern-Kirmanji dialect of Sulaimani in Iraq. It is the language adopted in Persia for Kurdish broadcasts and government-sponsored publications. Borrowings from Northern Kirmanji, Mukri, Sanandaji,…

78 FR 79675 - Guidance to Federal Financial Assistance Recipients Regarding Title VI Prohibition Against...

Federal Register 2010, 2011, 2012, 2013, 2014

2013-12-31

... written translations. --Competency to interpret, however, does not necessarily mean formal certification... free language assistance. --Written tests that do not assess English language competency, but test... States read, write, speak and understand English. There are many individuals, however, for whom English...

Teleological Talk in Parent-Child Conversations in Quechua

ERIC Educational Resources Information Center

Gelman, Susan A.; Mannheim, Bruce; Escalante, Carmen; Tapia, Ingrid Sanchez

2015-01-01

Southern Peruvian Quechua is an indigenous language spoken primarily in rural communities in the Peruvian Andes. The language includes a syntactic construction, "-paq", that expresses purpose or function, thus providing an opportunity to trace how parents and children with little formal education express teleological concepts. The…

The gradual emergence of phonological form in a new language

PubMed Central

Aronoff, Mark; Meir, Irit; Padden, Carol

2011-01-01

The division of linguistic structure into a meaningless (phonological) level and a meaningful level of morphemes and words is considered a basic design feature of human language. Although established sign languages, like spoken languages, have been shown to be characterized by this bifurcation, no information has been available about the way in which such structure arises. We report here on a newly emerging sign language, Al-Sayyid Bedouin Sign Language, which functions as a full language but in which a phonological level of structure has not yet emerged. Early indications of formal regularities provide clues to the way in which phonological structure may develop over time. PMID:22223927

Building an information model (with the help of PSL/PSA). [Problem Statement Language/Problem Statement Analyzer

NASA Technical Reports Server (NTRS)

Callender, E. D.; Farny, A. M.

1983-01-01

Problem Statement Language/Problem Statement Analyzer (PSL/PSA) applications, which were once a one-step process in which product system information was immediately translated into PSL statements, have in light of experience been shown to result in inconsistent representations. These shortcomings have prompted the development of an intermediate step, designated the Product System Information Model (PSIM), which provides a basis for the mutual understanding of customer terminology and the formal, conceptual representation of that product system in a PSA data base. The PSIM is initially captured as a paper diagram, followed by formal capture in the PSL/PSA data base.

School readiness of children with language impairment: predicting literacy skills from pre-literacy and social-behavioural dimensions.

PubMed

Pentimonti, Jill M; Murphy, Kimberly A; Justice, Laura M; Logan, Jessica A R; Kaderavek, Joan N

2016-03-01

School readiness generally captures the notion that children do best when they arrive at formal schooling with a certain threshold of skill that will help them thrive in the classroom's academic and social milieu. To examine the dimensionality of the construct of school readiness among children with language impairment (LI), as well as the extent to which these dimensions relate to children's end-of-kindergarten literacy skills. Participants were 136 preschool-aged children with LI. Children were assessed on measures of pre-literacy, social, and behavioural skills in preschool and reading and spelling in kindergarten. Confirmatory factor analyses indicated that school readiness for this sample of children with LI is best characterized as two dimensions: pre-literacy and socio-emotional. Of the two dimensions, pre-literacy readiness was predictive of children's future performance in reading and spelling. The results further our theoretical understanding of the dimensions of school readiness, as well as our knowledge of how these skills are related among children with LI. Identifying domain-specific readiness skills that are predictive of kindergarten success can help to identify means of early assessment and targets for speech-language intervention. © 2015 Royal College of Speech and Language Therapists.

Screening for Speech and Language Delay in Children 5 Years Old and Younger: A Systematic Review.

PubMed

Wallace, Ina F; Berkman, Nancy D; Watson, Linda R; Coyne-Beasley, Tamera; Wood, Charles T; Cullen, Katherine; Lohr, Kathleen N

2015-08-01

No recommendation exists for or against routine use of brief, formal screening instruments in primary care to detect speech and language delay in children through 5 years of age. This review aimed to update the evidence on screening and treating children for speech and language since the 2006 US Preventive Services Task Force systematic review. Medline, the Cochrane Library, PsycInfo, Cumulative Index to Nursing and Allied Health Literature, ClinicalTrials.gov, and reference lists. We included studies reporting diagnostic accuracy of screening tools and randomized controlled trials reporting benefits and harms of treatment of speech and language. Two independent reviewers extracted data, checked accuracy, and assigned quality ratings using predefined criteria. We found no evidence for the impact of screening on speech and language outcomes. In 23 studies evaluating the accuracy of screening tools, sensitivity ranged between 50% and 94%, and specificity ranged between 45% and 96%. Twelve treatment studies improved various outcomes in language, articulation, and stuttering; little evidence emerged for interventions improving other outcomes or for adverse effects of treatment. Risk factors associated with speech and language delay were male gender, family history, and low parental education. A limitation of this review is the lack of well-designed, well-conducted studies addressing whether screening for speech and language delay or disorders improves outcomes. Several screening tools can accurately identify children for diagnostic evaluations and interventions, but evidence is inadequate regarding applicability in primary care settings. Some treatments for young children identified with speech and language delays and disorders may be effective. Copyright © 2015 by the American Academy of Pediatrics.

An Ontology for State Analysis: Formalizing the Mapping to SysML

NASA Technical Reports Server (NTRS)

Wagner, David A.; Bennett, Matthew B.; Karban, Robert; Rouquette, Nicolas; Jenkins, Steven; Ingham, Michel

2012-01-01

State Analysis is a methodology developed over the last decade for architecting, designing and documenting complex control systems. Although it was originally conceived for designing robotic spacecraft, recent applications include the design of control systems for large ground-based telescopes. The European Southern Observatory (ESO) began a project to design the European Extremely Large Telescope (E-ELT), which will require coordinated control of over a thousand articulated mirror segments. The designers are using State Analysis as a methodology and the Systems Modeling Language (SysML) as a modeling and documentation language in this task. To effectively apply the State Analysis methodology in this context it became necessary to provide ontological definitions of the concepts and relations in State Analysis and greater flexibility through a mapping of State Analysis into a practical extension of SysML. The ontology provides the formal basis for verifying compliance with State Analysis semantics including architectural constraints. The SysML extension provides the practical basis for applying the State Analysis methodology with SysML tools. This paper will discuss the method used to develop these formalisms (the ontology), the formalisms themselves, the mapping to SysML and approach to using these formalisms to specify a control system and enforce architectural constraints in a SysML model.

The Evolution of Organization Analysis in ASQ, 1959-1979.

ERIC Educational Resources Information Center

Daft, Richard L.

1980-01-01

During the period 1959-1979, a sharp trend toward low-variety statistical languages has taken place, which may represent an organizational mapping phase in which simple, quantifiable relationships have been formally defined and measured. A broader scope of research languages will be needed in the future. (Author/IRT)

Ecolinguistic Biographies: Social Networks in a Nursery School.

ERIC Educational Resources Information Center

Thompson, Linda

A British ethnolinguistic study described the language behavior of 12 preschool children during their first experience in a formal educational setting where they constituted a linguistic minority. All were third-generation, British-born children of Moslem parents of ethnic Pakistani background; their home language was a vernacular Panjabi. Data…

Multi-Sensory Input in the Non-Academic ESL Classroom.

ERIC Educational Resources Information Center

Bassano, Sharron

Teaching approaches for adult English as second language students with little previous formal education or native language literacy cannot rely on the traditional written materials. For students who cannot be reached through the written word, approaches must be devised that engage other channels of perceptions. Classroom activities are suggested…

Exploring Literacy Practices in a Second Language

ERIC Educational Resources Information Center

Parlindungan, Firman

2017-01-01

There has been a consensus in research and practices that social and cultural aspects of lives contribute to literacy development, particularly in second language learning. The conception of literacy has been shifting from the lens of formal literacy learning in school settings into broader opportunities in sociocultural contexts, and some may…

Introduction to the theory of machines and languages

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

Weidhaas, P. P.

1976-04-01

This text is intended to be an elementary ''guided tour'' through some basic concepts of modern computer science. Various models of computing machines and formal languages are studied in detail. Discussions center around questions such as, ''What is the scope of problems that can or cannot be solved by computers.''

English Camp: A Language Immersion Program in Thailand

ERIC Educational Resources Information Center

Rugasken, Kris; Harris, Jacqueline A.

2009-01-01

A summer English camp language immersion program, which began in 2003, provided instruction by native English speakers to Thai college students via collaboration between Prince of Songkla University in Thailand and Ball State University in Indiana, USA. During this program, Thai students were exposed to English formally through classroom…

Two Interpretive Systems for Natural Language?

ERIC Educational Resources Information Center

Frazier, Lyn

2015-01-01

It is proposed that humans have available to them two systems for interpreting natural language. One system is familiar from formal semantics. It is a type based system that pairs a syntactic form with its interpretation using grammatical rules of composition. This system delivers both plausible and implausible meanings. The other proposed system…

Effects of Short-Term Memory and Content Representation Type on Mobile Language Learning

ERIC Educational Resources Information Center

Chen, Nian-Shing; Hsieh, Sheng-Wen; Kinshuk

2008-01-01

Due to the rapid advancements in mobile communication and wireless technologies, many researchers and educators have started to believe that these emerging technologies can be leveraged to support formal and informal learning opportunities. Mobile language learning can be effectively implemented by delivering learning content through mobile…

Methods & Strategies: 5E for ELL

ERIC Educational Resources Information Center

Gomez-Zwiep, Susan; Straits, William; Topps, Jo

2015-01-01

Science provides a rich context for English learners (ELs) to develop language skills in meaningful ways. This article outlines steps to create a lesson that blends both inquiry science and formal English language development (ELD) strategies. The process, developed through a four-year research project in a large urban school district (Gomez-Zwiep…

The boundary is mixed

NASA Astrophysics Data System (ADS)

Bianchi, Eugenio; Haggard, Hal M.; Rovelli, Carlo

2017-08-01

We show that in Oeckl's boundary formalism the boundary vectors that do not have a tensor form represent, in a precise sense, statistical states. Therefore the formalism incorporates quantum statistical mechanics naturally. We formulate general-covariant quantum statistical mechanics in this language. We illustrate the formalism by showing how it accounts for the Unruh effect. We observe that the distinction between pure and mixed states weakens in the general covariant context, suggesting that local gravitational processes are naturally statistical without a sharp quantal versus probabilistic distinction.

A Separate Compilation Extension to Standard ML (Revised and Expanded)

DTIC Science & Technology

2006-09-17

repetition of interfaces. The language is given a formal semantics, and we argue that this semantics is implementable in a variety of compilers. This...material is based on work supported in part by the National Science Foundation under grant 0121633 Language Technology for Trustless Software...Dissemination and by the Defense Advanced Research Projects Agency under contracts F196268-95-C-0050 The Fox Project: Advanced Languages for Systems Software

The Past, Present, and Future of Second Language Research: Selected Proceedings of the 2000 Second Language Research Forum (Madison, Wisconsin, September 7-10, 2000).

ERIC Educational Resources Information Center

Bonch-Bruevich, Xenia, Ed.; Crawford, William J., Ed.; Hellermann, John, Ed.; Higgins, Christina, Ed.; Nguyen, Hanh, Ed.

This book presents 16 peer-reviewed papers from a 2000 conference on second language research. Part 1, "Formal Investigations of SLA," includes "L2 Acquisition of English Liquids: Evidence for Production Independent from Perception" (Laura Catharine Smith); "Is L2 Learning the Same as L1 Learning? Learning L2 Phonology in…

Context-Aware Writing Support for SNS: Connecting Formal and Informal Learning

ERIC Educational Resources Information Center

Waragai, Ikumi; Kurabayashi, Shuichi; Ohta, Tatsuya; Raindl, Marco; Kiyoki, Yasushi; Tokuda, Hideyuki

2014-01-01

This paper presents another stage in a series of research efforts by the authors to develop an experience-connected mobile language learning environment, bridging formal and informal learning. Building on a study in which the authors tried to connect classroom learning (of German in Japan) with learners' real life experiences abroad by having…

A Descriptive Analysis of Pointing and Oral Movements in a Home Sign System.

ERIC Educational Resources Information Center

Torigoe, Takashi; Takei, Wataru

2002-01-01

Discussed a social survey on communication among deaf people who had no formal schooling. Participants were deaf individuals who lived in the Okinawa Islands of Japan. Reveals many elderly deaf people had no formal education, no access to conventional sign languages during childhood, and no contact with a Deaf community. Despite this, most…

Formal and Informal Early Education of Turkish-Origin Children in Germany

ERIC Educational Resources Information Center

Becker, Birgit; Boldin, Elena; Klein, Oliver

2016-01-01

A lack of adequate German language skills is often discussed as a major reason for the disadvantage of children of immigrants in the German educational system. This article analyses the access to formal and informal early education of Turkish-origin children in Germany and the influence of these early education contexts on the children's German…

Processability Approach to Arabic L2 Teaching and Syllabus Design

ERIC Educational Resources Information Center

Al Shatter, Ghassan

2011-01-01

This study aims to identify the relationship between the developmental hierarchy in the acquisition of Arabic as a second language (Arabic L2) and formal classroom instruction. It provides a general presentation of the current debate on the influence of formal instruction in the acquisition of L2. Special attention is given to the subset of…

A Research and Development Approach to the Delivery of Comprehensive Functional Education and Literacy in the Philippines.

ERIC Educational Resources Information Center

Doronila, Maria Luisa C.

In the Philippines, introduction of a formal education system, new written language, and the knowledge encoded in it have been part of a colonization process and not the result of direct evolution from informal education. The discontinuities between formal and informal education--abstraction, systematization, and specialization--are greater and…

Linguistics from the Perspective of the Theory of Models in Empirical Sciences: From Formal to Corpus Linguistics

ERIC Educational Resources Information Center

Grabinska, Teresa; Zielinska, Dorota

2010-01-01

The authors examine language from the perspective of models of empirical sciences, which discipline studies the relationship between reality, models, and formalisms. Such a perspective allows one to notice that linguistics approached within the classical framework share a number of problems with other experimental sciences studied initially…

Diagnostic games: from adequate formalization of clinical experience to structure discovery.

PubMed

Shifrin, Michael A; Kasparova, Eva I

2008-01-01

A method of obtaining well-founded and reproducible results in clinical decision making is presented. It is based on "diagnostic games", a procedure of elicitation and formalization of experts' knowledge and experience. The use of this procedure allows formulating decision rules in the terms of an adequate language, that are both unambiguous and clinically clear.

How to reach linguistic consensus: a proof of convergence for the naming game.

PubMed

De Vylder, Bart; Tuyls, Karl

2006-10-21

In this paper we introduce a mathematical model of naming games. Naming games have been widely used within research on the origins and evolution of language. Despite the many interesting empirical results these studies have produced, most of this research lacks a formal elucidating theory. In this paper we show how a population of agents can reach linguistic consensus, i.e. learn to use one common language to communicate with one another. Our approach differs from existing formal work in two important ways: one, we relax the too strong assumption that an agent samples infinitely often during each time interval. This assumption is usually made to guarantee convergence of an empirical learning process to a deterministic dynamical system. Two, we provide a proof that under these new realistic conditions, our model converges to a common language for the entire population of agents. Finally the model is experimentally validated.

Does formal complexity reflect cognitive complexity? Investigating aspects of the Chomsky Hierarchy in an artificial language learning study.

PubMed

Öttl, Birgit; Jäger, Gerhard; Kaup, Barbara

2015-01-01

This study investigated whether formal complexity, as described by the Chomsky Hierarchy, corresponds to cognitive complexity during language learning. According to the Chomsky Hierarchy, nested dependencies (context-free) are less complex than cross-serial dependencies (mildly context-sensitive). In two artificial grammar learning (AGL) experiments participants were presented with a language containing either nested or cross-serial dependencies. A learning effect for both types of dependencies could be observed, but no difference between dependency types emerged. These behavioral findings do not seem to reflect complexity differences as described in the Chomsky Hierarchy. This study extends previous findings in demonstrating learning effects for nested and cross-serial dependencies with more natural stimulus materials in a classical AGL paradigm after only one hour of exposure. The current findings can be taken as a starting point for further exploring the degree to which the Chomsky Hierarchy reflects cognitive processes.

Does Formal Complexity Reflect Cognitive Complexity? Investigating Aspects of the Chomsky Hierarchy in an Artificial Language Learning Study

PubMed Central

Öttl, Birgit; Jäger, Gerhard; Kaup, Barbara

2015-01-01

This study investigated whether formal complexity, as described by the Chomsky Hierarchy, corresponds to cognitive complexity during language learning. According to the Chomsky Hierarchy, nested dependencies (context-free) are less complex than cross-serial dependencies (mildly context-sensitive). In two artificial grammar learning (AGL) experiments participants were presented with a language containing either nested or cross-serial dependencies. A learning effect for both types of dependencies could be observed, but no difference between dependency types emerged. These behavioral findings do not seem to reflect complexity differences as described in the Chomsky Hierarchy. This study extends previous findings in demonstrating learning effects for nested and cross-serial dependencies with more natural stimulus materials in a classical AGL paradigm after only one hour of exposure. The current findings can be taken as a starting point for further exploring the degree to which the Chomsky Hierarchy reflects cognitive processes. PMID:25885790

Evaluating service delivery for speech and swallowing problems following paediatric brain injury: an international survey.

PubMed

Morgan, Angela T; Skeat, Jemma

2011-04-01

Little is documented about contemporary management of speech and swallowing disorders associated with paediatric acquired brain injury (ABI). It is therefore challenging for clinicians in this field to benchmark their clinical management against current evidence or practices undertaken in other centres. To address this issue, we aimed to provide much-needed baseline data on speech and language pathology management of speech and swallowing disorders associated with childhood ABI. Key objectives were to: (i) determine whether clinicians use formalized referral criteria, clinical guidelines, protocols or care pathways; and (ii) to document the specific assessment and treatment approaches used. Speech and language pathology managers and clinicians at 31 major paediatric rehabilitation centres across Australia, New Zealand, the UK and Ireland were invited to participate in an online survey. Fifty-one speech and language pathologists responded representing 26 centres (84% response rate). Routine referrals of ABI patients to speech and language pathology occurred relatively infrequently in these centres (12%). Centres utilized assessment protocols (23%) and guidelines (35%) more frequently than treatment guidelines (8%). Multidisciplinary care pathways were applied by 31%. Most centres used adult-based motor speech assessments and informal ('in-house developed') swallowing assessment tools. The limited use of referral criteria, protocols, care pathways and guidelines invites the possibility of unequal care, and less than optimal outcomes. Reliance on adult-based or in-house assessments is inappropriate, yet frequently a necessity due to an absence of paediatric-specific tools in this field. Further research is required in parallel with the formation of consensus groups to support the development of: (i) paediatric-specific assessment tools and management approaches; and (ii) clinical protocols and guidelines. © 2010 Blackwell Publishing Ltd.

Software for integrated manufacturing systems, part 2

NASA Technical Reports Server (NTRS)

Volz, R. A.; Naylor, A. W.

1987-01-01

Part 1 presented an overview of the unified approach to manufacturing software. The specific characteristics of the approach that allow it to realize the goals of reduced cost, increased reliability and increased flexibility are considered. Why the blending of a components view, distributed languages, generics and formal models is important, why each individual part of this approach is essential, and why each component will typically have each of these parts are examined. An example of a specification for a real material handling system is presented using the approach and compared with the standard interface specification given by the manufacturer. Use of the component in a distributed manufacturing system is then compared with use of the traditional specification with a more traditional approach to designing the system. An overview is also provided of the underlying mechanisms used for implementing distributed manufacturing systems using the unified software/hardware component approach.

Formal language theory: refining the Chomsky hierarchy

PubMed Central

Jäger, Gerhard; Rogers, James

2012-01-01

The first part of this article gives a brief overview of the four levels of the Chomsky hierarchy, with a special emphasis on context-free and regular languages. It then recapitulates the arguments why neither regular nor context-free grammar is sufficiently expressive to capture all phenomena in the natural language syntax. In the second part, two refinements of the Chomsky hierarchy are reviewed, which are both relevant to the extant research in cognitive science: the mildly context-sensitive languages (which are located between context-free and context-sensitive languages), and the sub-regular hierarchy (which distinguishes several levels of complexity within the class of regular languages). PMID:22688632

Formal language theory: refining the Chomsky hierarchy.

PubMed

Jäger, Gerhard; Rogers, James

2012-07-19

The first part of this article gives a brief overview of the four levels of the Chomsky hierarchy, with a special emphasis on context-free and regular languages. It then recapitulates the arguments why neither regular nor context-free grammar is sufficiently expressive to capture all phenomena in the natural language syntax. In the second part, two refinements of the Chomsky hierarchy are reviewed, which are both relevant to the extant research in cognitive science: the mildly context-sensitive languages (which are located between context-free and context-sensitive languages), and the sub-regular hierarchy (which distinguishes several levels of complexity within the class of regular languages).

On describing human white matter anatomy: the white matter query language.

PubMed

Wassermann, Demian; Makris, Nikos; Rathi, Yogesh; Shenton, Martha; Kikinis, Ron; Kubicki, Marek; Westin, Carl-Fredrik

2013-01-01

The main contribution of this work is the careful syntactical definition of major white matter tracts in the human brain based on a neuroanatomist's expert knowledge. We present a technique to formally describe white matter tracts and to automatically extract them from diffusion MRI data. The framework is based on a novel query language with a near-to-English textual syntax. This query language allows us to construct a dictionary of anatomical definitions describing white matter tracts. The definitions include adjacent gray and white matter regions, and rules for spatial relations. This enables automated coherent labeling of white matter anatomy across subjects. We use our method to encode anatomical knowledge in human white matter describing 10 association and 8 projection tracts per hemisphere and 7 commissural tracts. The technique is shown to be comparable in accuracy to manual labeling. We present results applying this framework to create a white matter atlas from 77 healthy subjects, and we use this atlas in a proof-of-concept study to detect tract changes specific to schizophrenia.

Eugene – A Domain Specific Language for Specifying and Constraining Synthetic Biological Parts, Devices, and Systems

PubMed Central

Bilitchenko, Lesia; Liu, Adam; Cheung, Sherine; Weeding, Emma; Xia, Bing; Leguia, Mariana; Anderson, J. Christopher; Densmore, Douglas

2011-01-01

Background Synthetic biological systems are currently created by an ad-hoc, iterative process of specification, design, and assembly. These systems would greatly benefit from a more formalized and rigorous specification of the desired system components as well as constraints on their composition. Therefore, the creation of robust and efficient design flows and tools is imperative. We present a human readable language (Eugene) that allows for the specification of synthetic biological designs based on biological parts, as well as provides a very expressive constraint system to drive the automatic creation of composite Parts (Devices) from a collection of individual Parts. Results We illustrate Eugene's capabilities in three different areas: Device specification, design space exploration, and assembly and simulation integration. These results highlight Eugene's ability to create combinatorial design spaces and prune these spaces for simulation or physical assembly. Eugene creates functional designs quickly and cost-effectively. Conclusions Eugene is intended for forward engineering of DNA-based devices, and through its data types and execution semantics, reflects the desired abstraction hierarchy in synthetic biology. Eugene provides a powerful constraint system which can be used to drive the creation of new devices at runtime. It accomplishes all of this while being part of a larger tool chain which includes support for design, simulation, and physical device assembly. PMID:21559524

Proceedings from the Workshop on Large-Grained Parallelism (2nd) Held in Hidden Valley, Pennsylvania on October 11-14, 1987.

DTIC Science & Technology

1987-11-01

The purpose of the workshop was to bring together people whose interests lie in the areas of operating I systems , programming languages, and formal... operating system support, and applications. There were parallel discussions on scheduling and distributed languages, and on real-time and operating ...number of key challenges: * Distributed systems , languages, environments - Make transactions efficient. Integrate them into the operating system

Spontaneous Language Production in Bilingual Parkinson's Disease Patients: Evidence of Greater Phonological, Morphological and Syntactic Impairments in Native Language

ERIC Educational Resources Information Center

Zanini, Sergio; Tavano, Alessandro; Fabbro, Franco

2010-01-01

Nine early non-demented bilingual (L1--Friulian, L2--Italian) patients with Parkinson's disease and nine normal controls matched for age, sex and years of education were studied on a spontaneous language production task. All subjects had acquired L1 from birth in a home environment and L2 at the age of six at school formally. Patients with PD…

How Will Alberta's Second Language Students Ever Achieve Proficiency? ACTFL Proficiency Guidelines, the CEFR and the "10,000-Hour Rule" in Relation to the Alberta K-12 Language-Learning Context

ERIC Educational Resources Information Center

Eaton, Sarah Elaine

2012-01-01

Students of second and international languages in Alberta do not receive sufficient hours of instruction through formal classroom time alone to achieve distinguished levels of proficiency (Archibald, J., Roy, S., Harmel, S., Jesney, K., Dewey, E., Moisik, S., et al., 2006). This research study uses a constructivist approach (Guba & Lincoln,…

Adult English Language Learners with Limited Literacy

ERIC Educational Resources Information Center

Bigelow, Martha; Schwarz, Robin Lovrien

2010-01-01

Adult English language learners who lack print literacy or experience with formal education encounter a unique set of challenges in their lives and their efforts to learn English. Educators and policymakers are similarly challenged by how best to help these adults acquire English literacy. This paper reviews a variety of research, including that…

A Grammar of Buem, the Lelemi Language.

ERIC Educational Resources Information Center

Allan, Edward Jay

A detailed grammar of Buem, one of the Togo-Remnant Languages spoken in Ghana's Volta region, describes the major structures and many minor structures occurring in informal and semi-formal speech. The phonetics and much of the phonology are described in taxonomic terms, and the vowel harmony system, syntax, and morphology are described in a…

Young Children Learning Languages in a Multilingual Context

ERIC Educational Resources Information Center

Kirsch, Claudine

2006-01-01

Luxembourg is a trilingual country where residents communicate in Luxembourgish, French and German concurrently. Children therefore study these languages at primary school. In this paper I explore how six eight-year-old Luxembourgish children use and learn German, French and English in formal and informal settings over a period of one year. Their…

Multilingual Metalanguage, or the Way Multilinguals Talk about Their Languages

ERIC Educational Resources Information Center

Jessner, Ulrike

2005-01-01

The increase of multilingualism in both natural and formal contexts has provoked a number of studies which have concentrated on providing evidence of multilingual processing and finding out about the differences and similarities between second and third language learning. This paper deals with the use of metalanguage in multilingual students in an…

Re-Assembling Formal Features in Second Language Acquisition: Beyond Minimalism

ERIC Educational Resources Information Center

Carroll, Susanne E.

2009-01-01

In this commentary, Lardiere's discussion of features is compared with the use of features in constraint-based theories, and it is argued that constraint-based theories might offer a more elegant account of second language acquisition (SLA). Further evidence is reported to question the accuracy of Chierchia's (1998) Nominal Mapping Parameter.…

Global English Teaching and Teacher Education: Praxis and Possibility

ERIC Educational Resources Information Center

Dogancay-Aktuna, Seran, Ed.; Hardman, Joel, Ed.

2008-01-01

Today's English language teaching goes beyond the norms of English spoken and taught in native-English-speaking countries such as the United States, the United Kingdom, or Australia. Increasingly, a variety of countries have established, formally or informally, a kind of English unique to their own populations, and English language teachers within…

[Language development: psychosocial requirements for communication].

PubMed

Clemente, R A; Villanueva, L

1999-02-01

This work describes the social and psychological characteristics of attachment adults. These features are considered as sociopsychological prerequisites for the child language development. The focus is put on the so-called no formal education, suitable for these attachment adults who are involved affectively and emotionally. Some educational strategies to be practised at home are also presented.

Swahili Learners' Reference Grammar. African Language Learners' Reference Grammar Series.

ERIC Educational Resources Information Center

Thompson, Katrina Daly; Schleicher, Antonia Folarin

This reference grammar is written for speakers of English who are learning Swahili. Because many language learners are not familiar with the grammatical terminology, this book explains the basic terminology and concepts of English grammar that are necessary for understanding the grammar of Swahili. It assumes no formal knowledge of English grammar…

What Artificial Grammar Learning Reveals about the Neurobiology of Syntax

ERIC Educational Resources Information Center

Petersson, Karl-Magnus; Folia, Vasiliki; Hagoort, Peter

2012-01-01

In this paper we examine the neurobiological correlates of syntax, the processing of structured sequences, by comparing FMRI results on artificial and natural language syntax. We discuss these and similar findings in the context of formal language and computability theory. We used a simple right-linear unification grammar in an implicit artificial…

Captured by Details: Sense-Making, Language and Communication in Autism

ERIC Educational Resources Information Center

Noens, Ilse L. J.; van Berckelaer-Onnes, Ina A.

2005-01-01

The communication of people with autism spectrum disorder (ASD) is characterized by a qualitative impairment in verbal and non-verbal communication. In past decades a growing body of descriptive studies has appeared on language and communication problems in ASD. Reviews suggest that the development of formal and semantic aspects is relatively…

Programming-Languages as a Conceptual Framework for Teaching Mathematics

ERIC Educational Resources Information Center

Feurzeig, Wallace; Papert, Seymour A.

2011-01-01

Formal mathematical methods remain, for most high school students, mysterious, artificial and not a part of their regular intuitive thinking. The authors develop some themes that could lead to a radically new approach. According to this thesis, the teaching of programming languages as a regular part of academic progress can contribute effectively…

Cartography As Language: An Argument and a Functional Application.

ERIC Educational Resources Information Center

Bosowski, Elaine Frances

This paper justifies the teaching of cartography in secondary schools and expands graphic knowledge by providing a formal graphic language simulation lesson. The cartographer's task, decisions, and methodologies are approximated by the use of this role playing scenario. Students assume the roles of map authors who are contracted to draw up a set…

The Evolution of Frequency Distributions: Relating Regularization to Inductive Biases through Iterated Learning

ERIC Educational Resources Information Center

Reali, Florencia; Griffiths, Thomas L.

2009-01-01

The regularization of linguistic structures by learners has played a key role in arguments for strong innate constraints on language acquisition, and has important implications for language evolution. However, relating the inductive biases of learners to regularization behavior in laboratory tasks can be challenging without a formal model. In this…

Research Timeline: Form-Focused Instruction and Second Language Acquisition

ERIC Educational Resources Information Center

Nassaji, Hossein

2016-01-01

This article provides a timeline of research on form-focused instruction (FFI). Over the past 40 years, research on the role of instruction has undergone many changes. Much of the early research concentrated on determining whether formal instruction makes any difference in the development of learner language. This question was motivated in part by…

Teachers' Perceptions about Grammar Teaching

ERIC Educational Resources Information Center

Thu, Tran Hoang

2009-01-01

This study investigates English as a second language (ESL) teachers' beliefs in grammar teaching. A 32-item questionnaire was administered to 11 ESL teachers in a language school in California. The results show that the participants generally believe that the formal study of grammar is essential to the eventual mastery of a foreign or second…

The Role of Automata and Machine Theory in School and College Mathematics Syllabuses.

ERIC Educational Resources Information Center

Holcombe, M.

1981-01-01

The introduction of certain topics in the theory of machines and languages into school and college mathematics courses in place of the more usual discussion of groups and formal logic is proposed. Examples of machines and languages and their interconnections suitable for such courses are outlined. (MP)

Linguistic Deterioration in Alzheimer's Senile Dementia and in Normal Aging.

ERIC Educational Resources Information Center

Emery, Olga Beattie

A study of language patterning as an indicator of higher cortical process focused on three matched comparison groups: normal pre-middle-aged, normal elderly, and elderly adults with senile dementia Alzheimer's type. In addition to tests of memory, level of cognitive function, and organic deficit, the formal aspects of language were analyzed in…

Perceptions of In-Service Teachers Regarding Technology Integrated English Language Teaching

ERIC Educational Resources Information Center

Saglam, Asli Lidice Gokturk; Sert, Semih

2012-01-01

Technology is changing paradigms in education rapidly and teachers are caught unguarded due to lack of professional training in this aspect. This study reflects the perceptions of nine ELT [English Language Teaching] instructors with M.A TEFL degrees and with over six years of professional experience. Despite the lack of formal professional…

A Resource Manual For Implementing Bilingual Education Programs.

ERIC Educational Resources Information Center

Good Neighbor Commission of Texas, Austin.

Bilingualism has occurred for many years wherever countries with different languages border each other. Recently, bilingual education has begun to have a position in the formal education process of schools throughout the United States with students whose first language is not English. This bulletin, designed with the hope that it can assist school…

ORAL DRILLS AND WRITING IMPROVEMENT IN THE FOURTH GRADE.

ERIC Educational Resources Information Center

MILLER, BARBARA D.; NEY, JAMES W.

BELIEVING FORMAL WRITTEN ENGLISH TO BE A "FOREIGN LANGUAGE" TO MOST AMERICAN PUBLIC SCHOOL STUDENTS, RESEARCHERS USED THE AUDIO-LINGUAL METHOD OF FOREIGN LANGUAGE INSTRUCTION TO PROMOTE WRITING IMPROVEMENT IN FOURTH-GRADERS. TWO RANDOMLY-SELECTED CLASSES OF STUDENTS OF AVERAGE ABILITY COMPOSED THE STUDY POPULATION--ONE CLASS FOR THE EXPERIMENT,…

Improving English Language Learners' Idiomatic Competence: Does Mode of Teaching Play a Role?

ERIC Educational Resources Information Center

Khonbi, Zainab Abolfazli; Sadeghi, Karim

2017-01-01

Idioms feature prominently in daily communication. Accordingly, teaching and learning idioms should be a primary concern in language education, including English education. However, there is relatively little research on the role of formal instruction of idioms in developing idiomatic competence. This study investigated the instructional effects…

Lexical Errors and Accuracy in Foreign Language Writing. Second Language Acquisition

ERIC Educational Resources Information Center

del Pilar Agustin Llach, Maria

2011-01-01

Lexical errors are a determinant in gaining insight into vocabulary acquisition, vocabulary use and writing quality assessment. Lexical errors are very frequent in the written production of young EFL learners, but they decrease as learners gain proficiency. Misspellings are the most common category, but formal errors give way to semantic-based…

Taking a Value-Oriented Perspective of Biliterate Families

ERIC Educational Resources Information Center

Kabuto, Bobbie; Velasco, Patricia

2016-01-01

The focus of this article is on how translanguaging, which is defined as a language practice that transcends formal language boundaries, was used as a linguistic tool and resource for expressing thoughts, emotions, and understandings of and around English and Spanish texts. Focusing on translanguaging as a medium for learning, the authors begin…

Quantum non-objectivity from performativity of quantum phenomena

NASA Astrophysics Data System (ADS)

Khrennikov, Andrei; Schumann, Andrew

2014-12-01

We analyze the logical foundations of quantum mechanics (QM) by stressing non-objectivity of quantum observables, which is a consequence of the absence of logical atoms in QM. We argue that the matter of quantum non-objectivity is that, on the one hand, the formalism of QM constructed as a mathematical theory is self-consistent, but, on the other hand, quantum phenomena as results of experimenters’ performances are not self-consistent. This self-inconsistency is an effect of the language of QM differing greatly from the language of human performances. The former is the language of a mathematical theory that uses some Aristotelian and Russellian assumptions (e.g., the assumption that there are logical atoms). The latter language consists of performative propositions that are self-inconsistent only from the viewpoint of conventional mathematical theory, but they satisfy another logic that is non-Aristotelian. Hence, the representation of quantum reality in linguistic terms may be different: the difference between a mathematical theory and a logic of performative propositions. To solve quantum self-inconsistency, we apply the formalism of non-classical self-referent logics.

Literacy in the 21st century: Towards a dynamic nexus of social relations

NASA Astrophysics Data System (ADS)

Benavot, Aaron

2015-06-01

Literacy is an essential means of communication. It enables individuals, communities and institutions to interact, over time and across space, as they develop a web of social relations via language. Effective literacy policies, programmes and practices expand the scale of social communication and interaction. Thus, literacy thrives when a state of connectedness - or social nexus of relations - is forged and sustained among individuals, households, communities and social institutions. This paper provides an overview of recent literacy trends and challenges as well as core aspects of the policy strategies which seek to address them. It reviews the main barriers or complicating factors which limit the effective implementation of literacy policies. The paper describes how the notion of non-formal education, which frames many scholarly and policy accounts of adult literacy work today, is under-conceptualised. One result of this is a relatively undifferentiated view of literacy programmes and their specific non-formal components. The author argues that the concept of the social nexus of literacy is implicit in many analyses of literacy policies and strategies. Thus, well-defined, context-specific and sharply conceived literacy policies, which enhance the social nexus of literacy, are crucial for improving the effectiveness of literacy work.

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.

Does Formal Assessment of Comprehension by SLT Agree with Teachers' Perceptions of Functional Comprehension Skills in the Classroom?

ERIC Educational Resources Information Center

Purse, Katie; Gardner, Hilary

2013-01-01

This study aimed to consider collaborative practice in contributing to joint assessment and producing appropriate referral of children to speech and language therapy (SLT). Results of formal testing of selected comprehension skills are compared with functional/classroom performance as rated by class teachers. Thirty children aged 6.5-8.4 years,…

EO Domain Specific Knowledge Enabled Services (KES-B)

NASA Astrophysics Data System (ADS)

Varas, J.; Busto, J.; Torguet, R.

2004-09-01

This paper recovers and describes a number of major statements with respect to the vision, mission and technological approaches of the Technological Research Project (TRP) "EO Domain Specific Knowledge Enabled Services" (project acronym KES-B), which is currently under development at the European Space Research Institute (ESRIN) under contract "16397/02/I- SB". Resulting from the on-going R&D activities, the KES-B project aims are to demonstrate with a prototype system the feasibility of the application of innovative knowledge-based technologies to provide services for easy, scheduled and controlled exploitation of EO resources (e.g.: data, algorithms, procedures, storage, processors, ...), to automate the generation of products, and to support users in easily identifying and accessing the required information or products by using their own vocabulary, domain knowledge and preferences. The ultimate goals of KES-B are summarized in the provision of the two main types of KES services: 1st the Search service (also referred to as Product Exploitation or Information Retrieval; and 2nd the Production service (also referred to as Information Extraction), with the strategic advantage that they are enabled by Knowledge consolidated (formalized) within the system. The KES-B system technical solution approach is driven by a strong commitment for the adoption of industry (XML-based) language standards, aiming to have an interoperable, scalable and flexible operational prototype. In that sense, the Search KES services builds on the basis of the adoption of consolidated and/or emergent W3C semantic-web standards. Remarkably the languages/models Dublin Core (DC), Universal Resource Identifier (URI), Resource Description Framework (RDF) and Ontology Web Language (OWL), and COTS like Protege [1] and JENA [2] are being integrated in the system as building bricks for the construction of the KES based Search services. On the other hand, the Production KES services builds on top of workflow management standards and tools. In this side, the Business Process Execution Language (BPEL), the Web Services Definition Language (WSDL), and the Collaxa [3] COTS tool for workflow management are being integrated for the construction of the KES-B Production Services. The KES-B platform (web portal and web-server) architecture is build on the basis of the J2EE reference architecture. These languages represent the mean for the codification of the different types of knowledge that are to be formalized in the system. This representing the ontological architecture of the system. This shall enable in fact the interoperability with other KES-based systems committing as well to those standards. The motivation behind this vision is pointing towards the construction of the Semantic-web based GRID supply- chain infrastructure for EO-services, in line with the INSPIRE initiative suggestions.

Clinical Applicability and Cutoff Values for an Unstructured Neuropsychological Assessment Protocol for Older Adults with Low Formal Education

PubMed Central

de Paula, Jonas Jardim; Bertola, Laiss; Ávila, Rafaela Teixeira; Moreira, Lafaiete; Coutinho, Gabriel; de Moraes, Edgar Nunes; Bicalho, Maria Aparecida Camargos; Nicolato, Rodrigo; Diniz, Breno Satler; Malloy-Diniz, Leandro Fernandes

2013-01-01

Background and Objectives The neuropsychological exam plays a central role in the assessment of elderly patients with cognitive complaints. It is particularly relevant to differentiate patients with mild dementia from those subjects with mild cognitive impairment. Formal education is a critical factor in neuropsychological performance; however, there are few studies that evaluated the psychometric properties, especially criterion related validity, neuropsychological tests for patients with low formal education. The present study aims to investigate the validity of an unstructured neuropsychological assessment protocol for this population and develop cutoff values for clinical use. Methods and Results A protocol composed by the Rey-Auditory Verbal Learning Test, Frontal Assessment Battery, Category and Letter Fluency, Stick Design Test, Clock Drawing Test, Digit Span, Token Test and TN-LIN was administered to 274 older adults (96 normal aging, 85 mild cognitive impairment and 93 mild Alzheimer`s disease) with predominantly low formal education. Factor analysis showed a four factor structure related to Executive Functions, Language/Semantic Memory, Episodic Memory and Visuospatial Abilities, accounting for 65% of explained variance. Most of the tests showed a good sensitivity and specificity to differentiate the diagnostic groups. The neuropsychological protocol showed a significant ecological validity as 3 of the cognitive factors explained 31% of the variance on Instrumental Activities of Daily Living. Conclusion The study presents evidence of the construct, criteria and ecological validity for this protocol. The neuropsychological tests and the proposed cutoff values might be used for the clinical assessment of older adults with low formal education. PMID:24066031

Medical Named Entity Recognition for Indonesian Language Using Word Representations

NASA Astrophysics Data System (ADS)

Rahman, Arief

2018-03-01

Nowadays, Named Entity Recognition (NER) system is used in medical texts to obtain important medical information, like diseases, symptoms, and drugs. While most NER systems are applied to formal medical texts, informal ones like those from social media (also called semi-formal texts) are starting to get recognition as a gold mine for medical information. We propose a theoretical Named Entity Recognition (NER) model for semi-formal medical texts in our medical knowledge management system by comparing two kinds of word representations: cluster-based word representation and distributed representation.

Reasoning About Digital Circuits.

DTIC Science & Technology

1983-07-01

The dissertation will later examine the logic’s formal syntax and semantics in great depth. Below are a few English - language statements and...function have a fixed point. Temporal lolc as a programming langua " Temporal logic can be used directly a a propamuing language . For example, the ...for a separate "sertion language ." For example, the formula S[(I+- );(I + i -- I) (I+2- I) states that if the variable I twice increaes by I in an

L-Py: An L-System Simulation Framework for Modeling Plant Architecture Development Based on a Dynamic Language

PubMed Central

Boudon, Frédéric; Pradal, Christophe; Cokelaer, Thomas; Prusinkiewicz, Przemyslaw; Godin, Christophe

2012-01-01

The study of plant development requires increasingly powerful modeling tools to help understand and simulate the growth and functioning of plants. In the last decade, the formalism of L-systems has emerged as a major paradigm for modeling plant development. Previous implementations of this formalism were made based on static languages, i.e., languages that require explicit definition of variable types before using them. These languages are often efficient but involve quite a lot of syntactic overhead, thus restricting the flexibility of use for modelers. In this work, we present an adaptation of L-systems to the Python language, a popular and powerful open-license dynamic language. We show that the use of dynamic language properties makes it possible to enhance the development of plant growth models: (i) by keeping a simple syntax while allowing for high-level programming constructs, (ii) by making code execution easy and avoiding compilation overhead, (iii) by allowing a high-level of model reusability and the building of complex modular models, and (iv) by providing powerful solutions to integrate MTG data-structures (that are a common way to represent plants at several scales) into L-systems and thus enabling to use a wide spectrum of computer tools based on MTGs developed for plant architecture. We then illustrate the use of L-Py in real applications to build complex models or to teach plant modeling in the classroom. PMID:22670147

L-py: an L-system simulation framework for modeling plant architecture development based on a dynamic language.

PubMed

Boudon, Frédéric; Pradal, Christophe; Cokelaer, Thomas; Prusinkiewicz, Przemyslaw; Godin, Christophe

2012-01-01

The study of plant development requires increasingly powerful modeling tools to help understand and simulate the growth and functioning of plants. In the last decade, the formalism of L-systems has emerged as a major paradigm for modeling plant development. Previous implementations of this formalism were made based on static languages, i.e., languages that require explicit definition of variable types before using them. These languages are often efficient but involve quite a lot of syntactic overhead, thus restricting the flexibility of use for modelers. In this work, we present an adaptation of L-systems to the Python language, a popular and powerful open-license dynamic language. We show that the use of dynamic language properties makes it possible to enhance the development of plant growth models: (i) by keeping a simple syntax while allowing for high-level programming constructs, (ii) by making code execution easy and avoiding compilation overhead, (iii) by allowing a high-level of model reusability and the building of complex modular models, and (iv) by providing powerful solutions to integrate MTG data-structures (that are a common way to represent plants at several scales) into L-systems and thus enabling to use a wide spectrum of computer tools based on MTGs developed for plant architecture. We then illustrate the use of L-Py in real applications to build complex models or to teach plant modeling in the classroom.

Fermionic topological quantum states as tensor networks

NASA Astrophysics Data System (ADS)

Wille, C.; Buerschaper, O.; Eisert, J.

2017-06-01

Tensor network states, and in particular projected entangled pair states, play an important role in the description of strongly correlated quantum lattice systems. They do not only serve as variational states in numerical simulation methods, but also provide a framework for classifying phases of quantum matter and capture notions of topological order in a stringent and rigorous language. The rapid development in this field for spin models and bosonic systems has not yet been mirrored by an analogous development for fermionic models. In this work, we introduce a tensor network formalism capable of capturing notions of topological order for quantum systems with fermionic components. At the heart of the formalism are axioms of fermionic matrix-product operator injectivity, stable under concatenation. Building upon that, we formulate a Grassmann number tensor network ansatz for the ground state of fermionic twisted quantum double models. A specific focus is put on the paradigmatic example of the fermionic toric code. This work shows that the program of describing topologically ordered systems using tensor networks carries over to fermionic models.

Automatic generation of computable implementation guides from clinical information models.

PubMed

Boscá, Diego; Maldonado, José Alberto; Moner, David; Robles, Montserrat

2015-06-01

Clinical information models are increasingly used to describe the contents of Electronic Health Records. Implementation guides are a common specification mechanism used to define such models. They contain, among other reference materials, all the constraints and rules that clinical information must obey. However, these implementation guides typically are oriented to human-readability, and thus cannot be processed by computers. As a consequence, they must be reinterpreted and transformed manually into an executable language such as Schematron or Object Constraint Language (OCL). This task can be difficult and error prone due to the big gap between both representations. The challenge is to develop a methodology for the specification of implementation guides in such a way that humans can read and understand easily and at the same time can be processed by computers. In this paper, we propose and describe a novel methodology that uses archetypes as basis for generation of implementation guides. We use archetypes to generate formal rules expressed in Natural Rule Language (NRL) and other reference materials usually included in implementation guides such as sample XML instances. We also generate Schematron rules from NRL rules to be used for the validation of data instances. We have implemented these methods in LinkEHR, an archetype editing platform, and exemplify our approach by generating NRL rules and implementation guides from EN ISO 13606, openEHR, and HL7 CDA archetypes. Copyright © 2015 Elsevier Inc. All rights reserved.

Specific cognitive functions and depressive symptoms as predictors of activities of daily living in older adults with heterogeneous cognitive backgrounds

PubMed Central

de Paula, Jonas J.; Diniz, Breno S.; Bicalho, Maria A.; Albuquerque, Maicon Rodrigues; Nicolato, Rodrigo; de Moraes, Edgar N.; Romano-Silva, Marco A.; Malloy-Diniz, Leandro F.

2015-01-01

Cognitive functioning influences activities of daily living (ADL). However, studies reporting the association between ADL and neuropsychological performance show inconsistent results regarding what specific cognitive domains are related to each specific functional domains. Additionally, whether depressive symptoms are associated with a worse functional performance in older adults is still under explored. We investigated if specific cognitive domains and depressive symptoms would affect different aspects of ADL. Participants were 274 older adults (96 normal aging participants, 85 patients with mild cognitive impairment, and 93 patients probable with mild Alzheimer’s disease dementia) with low formal education (∼4 years). Measures of ADL included three complexity levels: Self-care, Instrumental-Domestic, and Instrumental-Complex. The specific cognitive functions were evaluated through a factorial strategy resulting in four cognitive domains: Executive Functions, Language/Semantic Memory, Episodic Memory, and Visuospatial Abilities. The Geriatric Depression Scale measured depressive symptoms. Multiple linear regression analysis showed executive functions and episodic memory as significant predictors of Instrumental-Domestic ADL, and executive functions, episodic memory and language/semantic memory as predictors of Instrumental-Complex ADL (22 and 28% of explained variance, respectively). Ordinal regression analysis showed the influence of specific cognitive functions and depressive symptoms on each one of the instrumental ADL. We observed a heterogeneous pattern of association with explained variance ranging from 22 to 38%. Different instrumental ADL had specific cognitive predictors and depressive symptoms were predictive of ADL involving social contact. Our results suggest a specific pattern of influence depending on the specific instrumental daily living activity. PMID:26257644

Game On! Young Learners' Incidental Language Learning of English Prior to Instruction

ERIC Educational Resources Information Center

De Wilde, Vanessa; Eyckmans, June

2017-01-01

In this paper the incidental language acquisition of 11-year-old Flemish children (n = 30) who have not received any formal English instruction is investigated. The study looks into children's English proficiency and the learner characteristics that can be associated with it. In order to measure the children's English proficiency, a receptive…

A Collective Case Study of the Idiosyncratic Language of Formal Thought Disorder in Cases of Disorganized Psychosis

ERIC Educational Resources Information Center

Lowe, Amanda R.

2012-01-01

This study focuses on a meaningful understanding of idiosyncratic language in psychosis. The psychotic neologisms examined in this dissertation challenge the listener's accurate understanding. Idiosyncratic aspects of speech in psychosis are largely researched from a diagnostic perspective in the literature. This study asks how individuals…

Reading Readiness Deficiency in Children: Causes and Ways of Improvement

ERIC Educational Resources Information Center

Akubuilo, Francis; Okorie, Eugene U.; Onwuka, Gloria; Uloh-Bethels, Annah Chinyeaka

2015-01-01

Reading is one of the important skills of language. It is a basic tool of education whether formal or informal. Reading is a receptive skill, which involves the ability to meaningfully interpret or decode written or graphic symbols of language. Through reading, the hidden treasure of knowledge is unfolded; knowledge is gained thereby empowering…

The Second Language Acquisition of Number and Gender in Swahili: A Feature Reassembly Approach

ERIC Educational Resources Information Center

Spinner, Patti

2013-01-01

Much of the recent discussion surrounding the second language acquisition of morphology has centered on the question of whether learners can acquire new formal features. Lardiere's (2008, 2009) Feature Reassembly approach offers a new direction for research in this area by emphasizing the challenges presented by crosslinguistic differences in the…

How Artefacts Mediate Small-Group Co-Creation Activities in a Mobile-Assisted Seamless Language Learning Environment?

ERIC Educational Resources Information Center

Wong, L. -H.; Chen, W.; Jan, M.

2012-01-01

The rich learning resources and contexts learners experience in their everyday life could play important roles in complementing formal learning, but are often neglected by learners and teachers. In this paper, we present an intervention study in "Move, Idioms!", a mobile-assisted Chinese language learning approach that emphasizes contextualized…

Preservice Teacher and Interpreter American Sign Language Abilities: Self-Evaluations and Evaluations of Deaf Students' Narrative Renditions

ERIC Educational Resources Information Center

Beal-Alvarez, Jennifer S.; Scheetz, Nanci A.

2015-01-01

In deaf education, the sign language skills of teacher and interpreter candidates are infrequently assessed; when they are, formal measures are commonly used upon preparation program completion, as opposed to informal measures related to instructional tasks. Using an informal picture storybook task, the authors investigated the receptive and…

MOOCs for Language Learning-Opportunities and Challenges: The Case of the Open University Italian Beginners' MOOCs

ERIC Educational Resources Information Center

Motzo, Anna; Proudfoot, Anna

2017-01-01

Massive Open Online Courses (MOOCs) are a fairly recent development in online education. Language MOOCs (LMOOCs) have recently been added to the ever-growing list of open courses offered by various providers, including FutureLearn. For learners, MOOCs offer an innovative and inexpensive alternative to formal and traditional learning. For course…

Variables Associated with Grade R English Additional Language Acquisition in Multilingual Rural Mpumalanga Schools

ERIC Educational Resources Information Center

Moodley, P.; Kritzinger, A.; Vinck, B.

2016-01-01

In a previous study Moodley, Kritzinger and Vinck (2014) found that formal English Additional Language (EAL) instruction contributed significantly better to listening and speaking skills in Grade R learners, than did a play-based approach. The finding in multilingual rural Mpumalanga schools was in agreement with numerous studies elsewhere.…

An Evaluation of Auditory Verbal Therapy Using the Rate of Early Language Development as an Outcome Measure

ERIC Educational Resources Information Center

Hogan, Sarah; Stokes, Jacqueline; White, Catherine; Tyszkiewicz, Elizabeth; Woolgar, Alexandra

2008-01-01

Providing unbiased data concerning the outcomes of particular intervention methods is imperative if professionals and parents are to assimilate information which could contribute to an "informed choice". An evaluation of Auditory Verbal Therapy (AVT) was conducted using a formal assessment of spoken language as an outcome measure. Spoken…

Enculturation to Musical Pitch Structure in Young Children: Evidence from Behavioral and Electrophysiological Methods

ERIC Educational Resources Information Center

Corrigall, Kathleen A.; Trainor, Laurel J.

2014-01-01

Children learn the structure of the music of their culture similarly to how they learn the language to which they are exposed in their daily environment. Furthermore, as with language, children acquire this musical knowledge without formal instruction. Two critical aspects of musical pitch structure in Western tonal music are key membership…

Exploring the Relationship between EFL College Students' Multimodal Literacy Practices and Identity on Academic Language Use

ERIC Educational Resources Information Center

Wu, Hsiao-Ping

2011-01-01

The study investigates whether the informal interactive written discourse in instant messaging (IM) is permeating the more formal writing of English-as-a-foreign-language (EFL) college students, and how students' identities are constructed in terms of English multiliteracies in Taiwan. The study is designed as a qualitative case study. The…

Primary School English Reform in Japan: Policies, Progress and Challenges

ERIC Educational Resources Information Center

Ng, Chin Leong Patrick

2016-01-01

In April 2011, the Ministry of Education in Japan formally introduced Primary School English (PSE) language teaching in Japanese elementary schools. The PSE policy made it mandatory for fourth- and fifth-graders to attend English lessons once a week. Using the theoretical framework on why educational language plans fail [Kaplan, R. B., Baldauf, R.…

Matching Readers to Instructional Materials: The Use of Classic Readability Measures for Students with Language Learning Disabilities and Dyslexia.

ERIC Educational Resources Information Center

Kotula, Andrea Winokur

2003-01-01

The matching of students with language learning disabilities and dyslexia to appropriate reading materials is discussed, and formal and informal methods are presented for determining reading levels for accuracy, fluency, and comprehension instruction and practice. The Spache Readability Formula, the New Dale-Challe Readability Formula, and…

Four Characteristics of Facebook Activities for English Language Learning: A Study of Malaysian University Students' Needs and Preferences

ERIC Educational Resources Information Center

Kasuma, Shaidatul Akma Adi

2017-01-01

This paper identifies Malaysian university students' needs and preferences for online English language activities on a Facebook group that supports their formal learning. Two methods of data collection were employed; content analysis of the Facebook interactions, and semi structured interviews. Four main learning preferences or characteristics of…

Talking Science: Language and Learning in Science Classrooms

ERIC Educational Resources Information Center

Roth, Wolff-Michael

2005-01-01

This book is about the fundamental nature of talk in school science. Language as a formal system provides resources for conducting everyday affairs, including the doing of science. While writing science is one aspect, talking science may in fact constitute a much more important means by which people navigate and know the world--the very medium…

Refocusing on Oral Language and Rich Representations to Develop the Early Mathematical Understandings of Indigenous Students

ERIC Educational Resources Information Center

McDonald, Susan; Warren, Elizabeth; DeVries, Eva

2011-01-01

This article examines the nature of oral language and representations used by teachers as they instruct young Indigenous Australian students at the beginning of formal schooling during play-based activities in mathematics. In particular, the use of Standard Australian English (SAE), the mathematical register used, and the interplay with…

Using Collaborative Strategic Reading with Refugee English Language Learners in an Academic Bridging Program

ERIC Educational Resources Information Center

Lee, Kent

2016-01-01

Refugee students arrive in Canada with varying amounts of previous formal education. School-aged refugees who lack a solid first language education may find learning to read in English and studying subject content especially challenging. If these students leave school, they depart with inadequate English reading proficiency for further academics…

Low-Educated Immigrants and the Social Relevance of Second Language Acquisition Research

ERIC Educational Resources Information Center

Young-Scholten, Martha

2013-01-01

Since the 1980s' decoupling of the formal study of second language acquisition from pedagogical concerns, the social relevance of such research has been of little concern. Early studies, in the 1970s, of uninstructed adult learners' acquisition of morphosyntax pointed to social implications: these working class immigrants had varying levels of…

Grammatical Error Diagnosis in Fluid Construction Grammar: A Case Study in L2 Spanish Verb Morphology

ERIC Educational Resources Information Center

Beuls, Katrien

2014-01-01

Construction grammar (CG) has been proposed as an adequate grammatical formalism for building intelligent language tutoring systems because it is highly compatible with the learning strategies observed in second language learning. Unfortunately, the lack of computational CG implementations has made it impossible in the past to corroborate these…

Syntax, Concepts, and Logic in the Temporal Dynamics of Language Comprehension: Evidence from Event-Related Potentials

ERIC Educational Resources Information Center

Steinhauer, Karsten; Drury, John E.; Portner, Paul; Walenski, Matthew; Ullman, Michael T.

2010-01-01

Logic has been intertwined with the study of language and meaning since antiquity, and such connections persist in present day research in linguistic theory (formal semantics) and cognitive psychology (e.g., studies of human reasoning). However, few studies in cognitive neuroscience have addressed logical dimensions of sentence-level language…

Non-Discriminatory Assessment: Formal and Informal Assessment of Limited English Proficient Children.

ERIC Educational Resources Information Center

Mares, Sharon

PEOPLE (Pruebas de Expresion Oral y Percepcion de la Lengua Espanol) was developed as a test to help distinguish between a language difference and a language deficit in non English proficient (NEP) and limited English proficient (LEP) elementary Hispanic students. PEOPLE was developed, pilot tested in 14 school districts in Los Angeles County with…

Evidence-based speech-language pathology practices in schools: findings from a national survey.

PubMed

Hoffman, Lavae M; Ireland, Marie; Hall-Mills, Shannon; Flynn, Perry

2013-07-01

This study documented evidence-based practice (EBP) patterns as reported by speech-language pathologists (SLPs) employed in public schools during 2010-2011. Using an online survey, practioners reported their EBP training experiences, resources available in their workplaces, and the frequency with which they engage in specific EBP activities, as well as their resource needs and future training format preferences. A total of 2,762 SLPs in 28 states participated in the online survey, 85% of whom reported holding the Certificate of Clinical Competence in Speech-Language Pathology credential. Results revealed that one quarter of survey respondents had no formal training in EBP, 11% of SLPs worked in school districts with official EBP procedural guidelines, and 91% had no scheduled time to support EBP activities. The majority of SLPs posed and researched 0 to 2 EBP questions per year and read 0 to 4 American Speech-Language-Hearing Association (ASHA) journal articles per year on either assessment or intervention topics. Use of ASHA online resources and engagement in EBP activities were documented to be low. However, results also revealed that school-based SLPs have high interest in additional training and resources to support scientifically based practices. Suggestions for enhancing EBP support in public schools and augmenting knowledge transfer are provided.

Greek perception and production of an English vowel contrast: A preliminary study

NASA Astrophysics Data System (ADS)

Podlipský, Václav J.

2005-04-01

This study focused on language-independent principles functioning in acquisition of second language (L2) contrasts. Specifically, it tested Bohn's Desensitization Hypothesis [in Speech perception and linguistic experience: Issues in Cross Language Research, edited by W. Strange (York Press, Baltimore, 1995)] which predicted that Greek speakers of English as an L2 would base their perceptual identification of English /i/ and /I/ on durational differences. Synthetic vowels differing orthogonally in duration and spectrum between the /i/ and /I/ endpoints served as stimuli for a forced-choice identification test. To assess L2 proficiency and to evaluate the possibility of cross-language category assimilation, productions of English /i/, /I/, and /ɛ/ and of Greek /i/ and /e/ were elicited and analyzed acoustically. The L2 utterances were also rated for the degree of foreign accent. Two native speakers of Modern Greek with low and 2 with intermediate experience in English participated. Six native English (NE) listeners and 6 NE speakers tested in an earlier study constituted the control groups. Heterogeneous perceptual behavior was observed for the L2 subjects. It is concluded that until acquisition in completely naturalistic settings is tested, possible interference of formally induced meta-linguistic differentiation between a ``short'' and a ``long'' vowel cannot be eliminated.

Validation of the Italian version of the Movement Disorder Society--Unified Parkinson's Disease Rating Scale.

PubMed

Antonini, Angelo; Abbruzzese, Giovanni; Ferini-Strambi, Luigi; Tilley, Barbara; Huang, Jing; Stebbins, Glenn T; Goetz, Christopher G; Barone, Paolo; Bandettini di Poggio, Monica; Fabbrini, Giovanni; Di Stasio, Flavio; Tinazzi, Michele; Bovi, Tommaso; Ramat, Silvia; Meoni, Sara; Pezzoli, Gianni; Canesi, Margherita; Martinelli, Paolo; Maria Scaglione, Cesa Lorella; Rossi, Aroldo; Tambasco, Nicola; Santangelo, Gabriella; Picillo, Marina; Morgante, Letterio; Morgante, Francesca; Quatrale, Rocco; Sensi, MariaChiara; Pilleri, Manuela; Biundo, Roberta; Nordera, Giampietro; Caria, Antonella; Pacchetti, Claudio; Zangaglia, Roberta; Lopiano, Leonardo; Zibetti, Maurizio; Zappia, Mario; Nicoletti, Alessandra; Quattrone, Aldo; Salsone, Maria; Cossu, Gianni; Murgia, Daniela; Albanese, Alberto; Del Sorbo, Francesca

2013-05-01

The Movement Disorder Society-sponsored revision of the Unified Parkinson's Disease Rating Scale (MDS-UPDRS) has been available in English since 2008. As part of this process, the MDS-UPDRS organizing team developed guidelines for development of official non-English translations. We present here the formal process for completing officially approved non-English versions of the MDS-UPDRS and specifically focus on the first of these versions in Italian. The MDS-UPDRS was translated into Italian and tested in 377 native-Italian speaking PD patients. Confirmatory and exploratory factor analyses determined whether the factor structure for the English-language MDS-UPDRS could be confirmed in data collected using the Italian translation. To be designated an 'Official MDS translation,' the Comparative Fit Index (CFI) had to be ≥0.90 relative to the English-language version. For all four parts of the Italian MDS-UPDRS, the CFI, in comparison with the English-language data, was ≥0.94. Exploratory factor analyses revealed some differences between the two datasets, however these differences were considered to be within an acceptable range. The Italian version of the MDS-UPDRS reaches the criterion to be designated as an Official Translation and is now available for use. This protocol will serve as outline for further validation of this in multiple languages.

A minority perspective in the diagnosis of child language disorders.

PubMed

Seymour, H N; Bland, L

1991-01-01

The effective diagnosis and treatment of persons from diverse minority language backgrounds has become an important issue in the field of speech and language pathology. Yet, many SLPs have had little or no formal training in minority language, there is a paucity of normative data on language acquisition in minority groups, and there are few standardized speech and language tests appropriate for these groups. We described a diagnostic process that addresses these problems. The diagnostic protocol we have proposed for a child from a Black English-speaking background characterizes many of the major issues in treating minority children. In summary, we proposed four assessment strategies: gathering referral source data; making direct observations; using standardized tests of non-speech and language behavior (cognition, perception, motor, etc.); and eliciting language samples and probes.

Linguistic transfer in bilingual children with specific language impairment.

PubMed

Verhoeven, Ludo; Steenge, Judit; van Balkom, Hans

2012-01-01

In the literature so far the limited research on specific language impairment (SLI) in bilingual children has concentrated on linguistic skills in the first language (L1) and/or the second language (L2) without paying attention to the relations between the two types of skills and to the issue of linguistic transfer. To examine the first and second language proficiency of 75 Turkish-Dutch bilingual children with SLI in the age range between 7 and 11 years living in the Netherlands. A multidimensional perspective on language proficiency was taken in order to assess children's Turkish and Dutch proficiency levels, whereas equivalent tests were used in order to determine language dominance. A second aim was to find out to what extent the children's proficiency in L2 can be predicted from their L1 proficiency, while taking into account their general cognitive abilities. The children's performance on a battery of equivalent language ability tests in Turkish and Dutch was compared at three age levels. By means of analyses of variance, it was explored to what extent the factors of language and grade level as well as their interactions were significant. Bivariate correlations and partial correlations with age level partialled out were computed to examine the relationships between L1 and L2 proficiency levels. Moreover, regression analysis was conducted to find out to what extent the variance in general L2 proficiency levels could be explained by children's L1 proficiency, short-term memory and non-verbal intelligence. Repeated measures analyses showed that the children had generally higher scores on L1 as compared with L2 and that with progression of age the children's scores in L1 and L2 improved. Medium to high correlations were found between phonological memory, phonological awareness, grammatical skills and story comprehension in the two languages. Regression analysis revealed that children's L2 proficiency levels could be explained by their proficiency levels in L1, even after controlling for children's non-verbal intelligence and working memory. It is concluded that children's formal linguistic skills in L1 and L2 tend to be related and that their level of L1 proficiency may help to develop linguistic skills in L2. © 2011 Royal College of Speech & Language Therapists.

Relations between Formal Linguistic Insecurity and the Perception of Linguistic Insecurity: A Quantitative Study in an Educational Environment at the Valencian Community (Spain)

ERIC Educational Resources Information Center

Baldaqui Escandell, Josep M.

2011-01-01

What is the relationship between the awareness of linguistic prestige and the security or insecurity in the use of minoritised languages? Is formal linguistic insecurity (as initially described by Labov) the same as the speakers' perception of linguistic insecurity? Which are the variables related to the various types of linguistic insecurity in…

Reframing the Conversation about Students with Limited or Interrupted Formal Education: From Achievement Gap to Cultural Dissonance

ERIC Educational Resources Information Center

DeCapua, Andrea; Marshall, Helaine W.

2015-01-01

U.S. schools face increasing pressure to ensure that all students succeed, yet the dropout rate for English learners is alarmingly high, especially for those with limited or interrupted formal schooling (SLIFE). Serving SLIFE can be challenging because they not only need to master language and content but also need to develop literacy skills and…

Sign language comprehension: the case of Spanish sign language.

PubMed

Rodríguez Ortiz, I R

2008-01-01

This study aims to answer the question, how much of Spanish Sign Language interpreting deaf individuals really understand. Study sampling included 36 deaf people (deafness ranging from severe to profound; variety depending on the age at which they learned sign language) and 36 hearing people who had good knowledge of sign language (most were interpreters). Sign language comprehension was assessed using passages of secondary level. After being exposed to the passages, the participants had to tell what they had understood about them, answer a set of related questions, and offer a title for the passage. Sign language comprehension by deaf participants was quite acceptable but not as good as that by hearing signers who, unlike deaf participants, were not only late learners of sign language as a second language but had also learned it through formal training.

Confronting inadvertent stigma and pejorative language in addiction scholarship: a recognition and response.

PubMed

Broyles, Lauren M; Binswanger, Ingrid A; Jenkins, Jennifer A; Finnell, Deborah S; Faseru, Babalola; Cavaiola, Alan; Pugatch, Marianne; Gordon, Adam J

2014-01-01

Appropriate use of language in the field of addiction is important. Inappropriate use of language can negatively impact the way society perceives substance use and the people who are affected by it. Language frames what the public thinks about substance use and recovery, and it can also affect how individuals think about themselves and their own ability to change. But most importantly, language intentionally and unintentionally propagates stigma: the mark of dishonor, disgrace, and difference that depersonalizes people, depriving them of individual or personal qualities and personal identity. Stigma is harmful, distressing, and marginalizing to the individuals, groups, and populations who bear it. For these reasons, the Editorial Team of Substance Abuse seeks to formally operationalize respect for personhood in our mission, our public relations, and our instructions to authors. We ask authors, reviewers, and readers to carefully and intentionally consider the language used to describe alcohol and other drug use and disorders, the individuals affected by these conditions, and their related behaviors, comorbidities, treatment, and recovery in our publication. Specifically, we make an appeal for the use of language that (1) respects the worth and dignity of all persons ("people-first language"); (2) focuses on the medical nature of substance use disorders and treatment; (3) promotes the recovery process; and (4) avoids perpetuating negative stereotypes and biases through the use of slang and idioms. In this paper, we provide a brief overview of each of the above principles, along with examples, as well as some of the nuances and tensions that inherently arise as we give greater attention to the issue of how we talk and write about substance use and addiction.

A Bird’s Eye View of Human Language Evolution

PubMed Central

Berwick, Robert C.; Beckers, Gabriël J. L.; Okanoya, Kazuo; Bolhuis, Johan J.

2012-01-01

Comparative studies of linguistic faculties in animals pose an evolutionary paradox: language involves certain perceptual and motor abilities, but it is not clear that this serves as more than an input–output channel for the externalization of language proper. Strikingly, the capability for auditory–vocal learning is not shared with our closest relatives, the apes, but is present in such remotely related groups as songbirds and marine mammals. There is increasing evidence for behavioral, neural, and genetic similarities between speech acquisition and birdsong learning. At the same time, researchers have applied formal linguistic analysis to the vocalizations of both primates and songbirds. What have all these studies taught us about the evolution of language? Is the comparative study of an apparently species-specific trait like language feasible? We argue that comparative analysis remains an important method for the evolutionary reconstruction and causal analysis of the mechanisms underlying language. On the one hand, common descent has been important in the evolution of the brain, such that avian and mammalian brains may be largely homologous, particularly in the case of brain regions involved in auditory perception, vocalization, and auditory memory. On the other hand, there has been convergent evolution of the capacity for auditory–vocal learning, and possibly for structuring of external vocalizations, such that apes lack the abilities that are shared between songbirds and humans. However, significant limitations to this comparative analysis remain. While all birdsong may be classified in terms of a particularly simple kind of concatenation system, the regular languages, there is no compelling evidence to date that birdsong matches the characteristic syntactic complexity of human language, arising from the composition of smaller forms like words and phrases into larger ones. PMID:22518103

Linking Simulation with Formal Verification and Modeling of Wireless Sensor Network in TLA+

NASA Astrophysics Data System (ADS)

Martyna, Jerzy

In this paper, we present the results of the simulation of a wireless sensor network based on the flooding technique and SPIN protocols. The wireless sensor network was specified and verified by means of the TLA+ specification language [1]. For a model of wireless sensor network built this way simulation was carried with the help of specially constructed software tools. The obtained results allow us to predict the behaviour of the wireless sensor network in various topologies and spatial densities. Visualization of the output data enable precise examination of some phenomenas in wireless sensor networks, such as a hidden terminal, etc.

StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data.

PubMed

Mamouras, Konstantinos; Raghothaman, Mukund; Alur, Rajeev; Ives, Zachary G; Khanna, Sanjeev

2017-06-01

Real-time decision making in emerging IoT applications typically relies on computing quantitative summaries of large data streams in an efficient and incremental manner. To simplify the task of programming the desired logic, we propose StreamQRE, which provides natural and high-level constructs for processing streaming data. Our language has a novel integration of linguistic constructs from two distinct programming paradigms: streaming extensions of relational query languages and quantitative extensions of regular expressions. The former allows the programmer to employ relational constructs to partition the input data by keys and to integrate data streams from different sources, while the latter can be used to exploit the logical hierarchy in the input stream for modular specifications. We first present the core language with a small set of combinators, formal semantics, and a decidable type system. We then show how to express a number of common patterns with illustrative examples. Our compilation algorithm translates the high-level query into a streaming algorithm with precise complexity bounds on per-item processing time and total memory footprint. We also show how to integrate approximation algorithms into our framework. We report on an implementation in Java, and evaluate it with respect to existing high-performance engines for processing streaming data. Our experimental evaluation shows that (1) StreamQRE allows more natural and succinct specification of queries compared to existing frameworks, (2) the throughput of our implementation is higher than comparable systems (for example, two-to-four times greater than RxJava), and (3) the approximation algorithms supported by our implementation can lead to substantial memory savings.

StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data*

PubMed Central

Mamouras, Konstantinos; Raghothaman, Mukund; Alur, Rajeev; Ives, Zachary G.; Khanna, Sanjeev

2017-01-01

Real-time decision making in emerging IoT applications typically relies on computing quantitative summaries of large data streams in an efficient and incremental manner. To simplify the task of programming the desired logic, we propose StreamQRE, which provides natural and high-level constructs for processing streaming data. Our language has a novel integration of linguistic constructs from two distinct programming paradigms: streaming extensions of relational query languages and quantitative extensions of regular expressions. The former allows the programmer to employ relational constructs to partition the input data by keys and to integrate data streams from different sources, while the latter can be used to exploit the logical hierarchy in the input stream for modular specifications. We first present the core language with a small set of combinators, formal semantics, and a decidable type system. We then show how to express a number of common patterns with illustrative examples. Our compilation algorithm translates the high-level query into a streaming algorithm with precise complexity bounds on per-item processing time and total memory footprint. We also show how to integrate approximation algorithms into our framework. We report on an implementation in Java, and evaluate it with respect to existing high-performance engines for processing streaming data. Our experimental evaluation shows that (1) StreamQRE allows more natural and succinct specification of queries compared to existing frameworks, (2) the throughput of our implementation is higher than comparable systems (for example, two-to-four times greater than RxJava), and (3) the approximation algorithms supported by our implementation can lead to substantial memory savings. PMID:29151821

Achieving Flex in the Inflexible: Dealing with Individual Differences in Highly Structured EFL Preparatory College Courses

ERIC Educational Resources Information Center

Alghamdi, Fatimah M. A.; Alnowaiser, Sarah A. M.

2017-01-01

This study explores a field-motivated concern among English as a Foregin Language (EFL) teachers at a college preparatory English language program. The course syllabus for this program is fixed and systematically paced over four, seven-week modules. Despite formal assessment measures that result in placing the learners into four levels of English…

Transitional Woes: On the Impact of L2 Input Continuity from Primary to Secondary School

ERIC Educational Resources Information Center

Pfenninger, Simone E.; Lendl, Johanna

2017-01-01

In this paper, we discuss the problem of articulation between levels in the educational system, as the transition from a rather more communicative, content-based and holistic approach to English as a foreign language (EFL) teaching at primary level to more formal and explicit ways of foreign language (FL) teaching at secondary is often experienced…

Languaging in the Twenty-First Century: Exploring Varieties and Modalities in Literacies inside and outside Learning Spaces

ERIC Educational Resources Information Center

Gynne, Annaliina; Bagga-Gupta, Sangeeta

2015-01-01

The study presented in this paper focuses on young people's languaging, or ways-with-being-with-words, including literacies, in everyday practices that stretch across formal and informal learning spaces. Taking sociocultural and ethnographic points of departure, the aim of the study is to investigate aspects of young people's situated and…

The Path to Symbolism. Practice Perspectives--Highlighting Information on Deaf-Blindness. Number 3

ERIC Educational Resources Information Center

Malloy, Peggy

2008-01-01

Language involves the use of symbols in the form of words or signs that allow people to communicate their thoughts, ideas, and needs. Even without formal language, many children who are deaf-blind learn to communicate with gestures and object or picture symbols. Symbolic expression makes it possible to express thoughts and feelings about the…

Towards New Ideologies and Pedagogies of Multilingualism: Innovations in Interdisciplinary Language Education in Luxembourg

ERIC Educational Resources Information Center

De Korne, Haley

2012-01-01

Language is both a means and an end in educational systems. As a means to learning, it manifests itself in countless, shifting modalities; while as an end or objective of learning, it is often perceived as an autonomous, formal entity. Through a case study of an interdisciplinary secondary school project in Luxembourg, this paper explores the…

The Impact of Utilising Mobile Assisted Language Learning (MALL) on Vocabulary Acquisition among Migrant Women English Learners

ERIC Educational Resources Information Center

Ahmad, Kham Sila; Armarego, Jocelyn; Sudweeks, Fay

2017-01-01

Aim/Purpose: To develop a framework for utilizing Mobile Assisted Language Learning (MALL) to assist non-native English migrant women to acquire English vocabulary in a non-formal learning setting. Background: The women in this study migrated to Australia with varied backgrounds including voluntary or forced migration, very low to high levels of…

Bilingual Reading Skills of Primary Schoolchildren in Ghana. Working Papers on Bilingualism, No. 11.

ERIC Educational Resources Information Center

Bezanson, Keith A.; Hawkes, Nicolas

The medium of instruction in schools in most African countries is a second language (L2); less attention is focused on the first language (L1) at each successive level of formal schooling. Little attention, however, has been given in curriculum development and in research to the building up of the bilingual reading skills of children whose…

Preliterate English as a Second Language Learners: A Case Study of Somali Bantu Women

ERIC Educational Resources Information Center

Shaughnessy, Colleen

2006-01-01

The influx of immigrants and refugees with little or no previous formal education has made the investigation of English as a Second Language (ESL) literacy instructional techniques and methods a priority within the ESL professional field. The 2003-2004 resettlement of over 12,000, mostly preliterate, Somali Bantu refugees to the United States has…

Local Community Perspectives and Language of Education in Sub-Saharan African Communities

ERIC Educational Resources Information Center

Trudell, Barbara

2007-01-01

The use of local languages in formal education is a widely debated educational strategy in sub-Saharan Africa. National-level policies abound which permit mother-tongue instruction in primary grades, and yet successful implementation of those policies is not merely so common. The reasons for this are varied, but one powerful reason has to do with…

Gender Identity in a Second Language: The Use of First Person Pronouns by Male Learners of Japanese

ERIC Educational Resources Information Center

Brown, Lucien; Cheek, Elizabeth

2017-01-01

This is a qualitative sociocultural study examining how five advanced-level learners of Japanese from the United States use gendered first person pronouns to negotiate their identities. Japanese does not have a ubiquitous pronoun such as English "I." Instead, the language contains forms that are marked for formality and gender, including…

Understanding the Mapping between Numerical Approximation and Number Words: Evidence from Williams Syndrome and Typical Development

ERIC Educational Resources Information Center

Libertus, Melissa E.; Feigenson, Lisa; Halberda, Justin; Landau, Barbara

2014-01-01

All numerate humans have access to two systems of number representation: an exact system that is argued to be based on language and that supports formal mathematics, and an Approximate Number System (ANS) that is present at birth and appears independent of language. Here we examine the interaction between these two systems by comparing the…

How Intuition and Language Use Relate to Students' Understanding of Span and Linear Independence in an Elementary Linear Algebra Class

ERIC Educational Resources Information Center

Parker, Catherine Frieda

2010-01-01

A possible contributing factor to students' difficulty in learning advanced mathematics is the conflict between students' "natural" learning styles and the formal structure of mathematics, which is based on definitions, theorems, and proofs. Students' natural learning styles may be a function of their intuition and language skills. The purpose of…

Blogs and the Development of Plurilingual and Intercultural Competence: Report of a Co-Actional Approach in Portuguese Foreign Language Classroom

ERIC Educational Resources Information Center

Melo-Pfeifer, Sílvia

2015-01-01

Focusing on the topic of the development of the plurilingual and intercultural competence through the integration of electronic communicative practices both in foreign language classrooms and non-formal contexts, this work aims at defining and characterizing, in view of a co-actional perspective, a "pedagogical blog", by considering it…

The Use of an Educational Social Networking Site for English Language Learning beyond the Classroom in a Japanese University Setting

ERIC Educational Resources Information Center

Okumura, Shinji

2016-01-01

This study describes an attempt of using an educational social networking platform, which is called Edmodo, for English language learning outside classrooms at tertiary level. Considering the notion of communicative competence, the instructor incorporated Edmodo into his English classes as a project which is a formal assignment. In the project,…