Risk analysis with a fuzzy-logic approach of a complex installation

NASA Astrophysics Data System (ADS)

Peikert, Tim; Garbe, Heyno; Potthast, Stefan

2016-09-01

This paper introduces a procedural method based on fuzzy logic to analyze systematic the risk of an electronic system in an intentional electromagnetic environment (IEME). The method analyzes the susceptibility of a complex electronic installation with respect to intentional electromagnetic interference (IEMI). It combines the advantages of well-known techniques as fault tree analysis (FTA), electromagnetic topology (EMT) and Bayesian networks (BN) and extends the techniques with an approach to handle uncertainty. This approach uses fuzzy sets, membership functions and fuzzy logic to handle the uncertainty with probability functions and linguistic terms. The linguistic terms add to the risk analysis the knowledge from experts of the investigated system or environment.

Fuzzy logic

NASA Technical Reports Server (NTRS)

Zadeh, Lofti A.

1988-01-01

The author presents a condensed exposition of some basic ideas underlying fuzzy logic and describes some representative applications. The discussion covers basic principles; meaning representation and inference; basic rules of inference; and the linguistic variable and its application to fuzzy control.

Topology of Awareness: Therapeutic Implications of Logical Modalities of Multiple Levels of Awareness.

ERIC Educational Resources Information Center

Levine, Shellie

2000-01-01

Describes a theory of a topology of awareness, in which higher levels organize reality through dialectical logic, whereas lower levels construct reality based on Aristotelian logic, binary oppositions, and experiencing entities as discreet and independent. Argues that metaphor, poetry, and narrative are linguistic tools that enable clients to…

Learning fuzzy logic control system

NASA Technical Reports Server (NTRS)

Lung, Leung Kam

1994-01-01

The performance of the Learning Fuzzy Logic Control System (LFLCS), developed in this thesis, has been evaluated. The Learning Fuzzy Logic Controller (LFLC) learns to control the motor by learning the set of teaching values that are generated by a classical PI controller. It is assumed that the classical PI controller is tuned to minimize the error of a position control system of the D.C. motor. The Learning Fuzzy Logic Controller developed in this thesis is a multi-input single-output network. Training of the Learning Fuzzy Logic Controller is implemented off-line. Upon completion of the training process (using Supervised Learning, and Unsupervised Learning), the LFLC replaces the classical PI controller. In this thesis, a closed loop position control system of a D.C. motor using the LFLC is implemented. The primary focus is on the learning capabilities of the Learning Fuzzy Logic Controller. The learning includes symbolic representation of the Input Linguistic Nodes set and Output Linguistic Notes set. In addition, we investigate the knowledge-based representation for the network. As part of the design process, we implement a digital computer simulation of the LFLCS. The computer simulation program is written in 'C' computer language, and it is implemented in DOS platform. The LFLCS, designed in this thesis, has been developed on a IBM compatible 486-DX2 66 computer. First, the performance of the Learning Fuzzy Logic Controller is evaluated by comparing the angular shaft position of the D.C. motor controlled by a conventional PI controller and that controlled by the LFLC. Second, the symbolic representation of the LFLC and the knowledge-based representation for the network are investigated by observing the parameters of the Fuzzy Logic membership functions and the links at each layer of the LFLC. While there are some limitations of application with this approach, the result of the simulation shows that the LFLC is able to control the angular shaft position of the D.C. motor. Furthermore, the LFLC has better performance in rise time, settling time and steady state error than to the conventional PI controller. This abstract accurately represents the content of the candidate's thesis. I recommend its publication.

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…

Improving Cognitive Abilities and e-Inclusion in Children with Cerebral Palsy

NASA Astrophysics Data System (ADS)

Martinengo, Chiara; Curatelli, Francesco

Besides overcoming the motor barriers for accessing to computers and Internet, ICT tools can provide a very useful, and often necessary, support for the cognitive development of motor-impaired children with cerebral palsy. In fact, software tools for computation and communication allow teachers to put into effect, in a more complete and efficient way, the learning methods and the educational plans studied for the child. In the present article, after a brief analysis of the general objectives to be pursued for favouring the learning for children with cerebral palsy, we take account of some specific difficulties in the logical-linguistic and logical-mathematical fields, and we show how they can be overcome using general ICT tools and specifically implemented software programs.

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)

Language and the Law: A Case for Linguistic Pragmatics. Sociolinguistic Working Paper Number 94.

ERIC Educational Resources Information Center

Prince, Ellen F.

The emergence of a subfield of linguistics, linguistic pragmatics, whose goal is to discover the principles by which a hearer or reader understands a text or can construct a model based on the text, given the sentence-level competence to parse the text's sentences and assign logical forms to them, is discussed in the context of a court case in…

Logical Connectors, Grounding and Cognition.

ERIC Educational Resources Information Center

Chen, Rong

1991-01-01

Study of a group of logical connectors in English demonstrates how the meanings of those connectors signal the grounding of the clauses they introduce in absolute terms, unlike other linguistic means of grounding performed by tense, aspect, mood, voice, or verbal categories. (14 references) (Author/CB)

Preservice Elementary Teachers' Understanding of Logical Inference

ERIC Educational Resources Information Center

Hauk, Shandy; Judd, April Brown; Tsay, Jenq Jong; Barzilai, Harel; Austin, Homer

2009-01-01

This article reports on the logical reasoning efforts of five prospective elementary school teachers as they responded to interview prompts involving nonsense, natural, and mathematical representations of conditional statements. The interview participants evinced various levels of reliance on personal relevance, linguistic contextualization, and…

The Logical Syntax of Number Words: Theory, Acquisition and Processing

ERIC Educational Resources Information Center

Musolino, Julien

2009-01-01

Recent work on the acquisition of number words has emphasized the importance of integrating linguistic and developmental perspectives [Musolino, J. (2004). The semantics and acquisition of number words: Integrating linguistic and developmental perspectives. "Cognition 93", 1-41; Papafragou, A., Musolino, J. (2003). Scalar implicatures: Scalar…

Meta-Theory and Curriculum Development.

ERIC Educational Resources Information Center

Hartoonian, H. Michael

Curriculum development in any area should be imbued with a meaning that focuses on the cultural values of motivation, logic, and human relationships. The term "meaning" implies seeing relationships (linguistic, economic, political, moral), understanding logic, and being sensitive to the enduring values of the culture. Curriculum developers and…

Logical Demonomy Among the Ewe in West Africa

ERIC Educational Resources Information Center

Dzobo, N. K.

1974-01-01

Examines the indigenous pattern of moral behavior among the Ewe, an ethnic and linguistic group in West Africa, and assesses its role in moral education within the African context. The author develops a conceptual framework he calls "logical demonomy" that he uses to define the Ewe system of moral laws. (JT)

Linguistic Summarization of Video for Fall Detection Using Voxel Person and Fuzzy Logic

PubMed Central

Anderson, Derek; Luke, Robert H.; Keller, James M.; Skubic, Marjorie; Rantz, Marilyn; Aud, Myra

2009-01-01

In this paper, we present a method for recognizing human activity from linguistic summarizations of temporal fuzzy inference curves representing the states of a three-dimensional object called voxel person. A hierarchy of fuzzy logic is used, where the output from each level is summarized and fed into the next level. We present a two level model for fall detection. The first level infers the states of the person at each image. The second level operates on linguistic summarizations of voxel person’s states and inference regarding activity is performed. The rules used for fall detection were designed under the supervision of nurses to ensure that they reflect the manner in which elders perform these activities. The proposed framework is extremely flexible. Rules can be modified, added, or removed, allowing for per-resident customization based on knowledge about their cognitive and physical ability. PMID:20046216

Actes des Journees de linguistique (Proceedings of the Linguistics Conference) (9th, 1995).

ERIC Educational Resources Information Center

Audette, Julie, Ed.; And Others

Papers (entirely in French) presented at the conference on linguistics include these topics: language used in the legislature of New Brunswick; cohesion in the text of Arabic-speaking language learners; automatic adverb recognition; logic of machine translation in teaching revision; expansion in physics texts; discourse analysis and the syntax of…

Modern Foreign Languages: A Refereed International Journal of Linguistics and Applied Linguistics, 2000.

ERIC Educational Resources Information Center

Ying, Du, Ed; Zidong, Huang, Ed.

2000-01-01

These four issues include articles on: "The Syntax of DeP in Chinese" (Wu Gang); "Relevance in Cognition, Communication and Logic" (Xiong Xueliang); "A Survey of Chinese Learners' Use of English Verbs in Grammatical and Lexical Patterns" (Pu Jianzhong); "A Systemic Study of Projection in English Clause…

Classical Pragmatism on Mind and Rationality

ERIC Educational Resources Information Center

Maattanen, Pentti

2005-01-01

One of the major changes in twentieth century philosophy was the so-called linguistic turn, in which natural and formal languages became central subjects of study. This meant that theories of meaning became mostly about linguistic meaning, thinking was now analyzed in terms of symbol manipulation, and rules of classical logic formed the nucleus of…

Investigating the Development of Chinese Oral Explanation and Justification in Singapore Primary Students

ERIC Educational Resources Information Center

Yan, Jing

2016-01-01

Explanation and justification require cognitive ability which selects and organises relevant information in a logical way, and linguistic ability which enables speakers to encode the information with linguistic knowledge. This study aims to investigate the development of Chinese oral explanation and justification in Singapore primary students. The…

Language, procedures, and the non-perceptual origin of number word meanings.

PubMed

Barner, David

2017-05-01

Perceptual representations of objects and approximate magnitudes are often invoked as building blocks that children combine to acquire the positive integers. Systems of numerical perception are either assumed to contain the logical foundations of arithmetic innately, or to supply the basis for their induction. I propose an alternative to this framework, and argue that the integers are not learned from perceptual systems, but arise to explain perception. Using cross-linguistic and developmental data, I show that small (~1-4) and large (~5+) numbers arise both historically and in individual children via distinct mechanisms, constituting independent learning problems, neither of which begins with perceptual building blocks. Children first learn small numbers using the same logic that supports other linguistic number marking (e.g. singular/plural). Years later, they infer the logic of counting from the relations between large number words and their roles in blind counting procedures, only incidentally associating number words with approximate magnitudes.

Integration of language and sensor information

NASA Astrophysics Data System (ADS)

Perlovsky, Leonid I.; Weijers, Bertus

2003-04-01

The talk describes the development of basic technologies of intelligent systems fusing data from multiple domains and leading to automated computational techniques for understanding data contents. Understanding involves inferring appropriate decisions and recommending proper actions, which in turn requires fusion of data and knowledge about objects, situations, and actions. Data might include sensory data, verbal reports, intelligence intercepts, or public records, whereas knowledge ought to encompass the whole range of objects, situations, people and their behavior, and knowledge of languages. In the past, a fundamental difficulty in combining knowledge with data was the combinatorial complexity of computations, too many combinations of data and knowledge pieces had to be evaluated. Recent progress in understanding of natural intelligent systems, including the human mind, leads to the development of neurophysiologically motivated architectures for solving these challenging problems, in particular the role of emotional neural signals in overcoming combinatorial complexity of old logic-based approaches. Whereas past approaches based on logic tended to identify logic with language and thinking, recent studies in cognitive linguistics have led to appreciation of more complicated nature of linguistic models. Little is known about the details of the brain mechanisms integrating language and thinking. Understanding and fusion of linguistic information with sensory data represent a novel challenging aspect of the development of integrated fusion systems. The presentation will describe a non-combinatorial approach to this problem and outline techniques that can be used for fusing diverse and uncertain knowledge with sensory and linguistic data.

Application of Fuzzy-Logic Controller and Neural Networks Controller in Gas Turbine Speed Control and Overheating Control and Surge Control on Transient Performance

NASA Astrophysics Data System (ADS)

Torghabeh, A. A.; Tousi, A. M.

2007-08-01

This paper presents Fuzzy Logic and Neural Networks approach to Gas Turbine Fuel schedules. Modeling of non-linear system using feed forward artificial Neural Networks using data generated by a simulated gas turbine program is introduced. Two artificial Neural Networks are used , depicting the non-linear relationship between gas generator speed and fuel flow, and turbine inlet temperature and fuel flow respectively . Off-line fast simulations are used for engine controller design for turbojet engine based on repeated simulation. The Mamdani and Sugeno models are used to expression the Fuzzy system . The linguistic Fuzzy rules and membership functions are presents and a Fuzzy controller will be proposed to provide an Open-Loop control for the gas turbine engine during acceleration and deceleration . MATLAB Simulink was used to apply the Fuzzy Logic and Neural Networks analysis. Both systems were able to approximate functions characterizing the acceleration and deceleration schedules . Surge and Flame-out avoidance during acceleration and deceleration phases are then checked . Turbine Inlet Temperature also checked and controls by Neural Networks controller. This Fuzzy Logic and Neural Network Controllers output results are validated and evaluated by GSP software . The validation results are used to evaluate the generalization ability of these artificial Neural Networks and Fuzzy Logic controllers.

Creating Clinical Fuzzy Automata with Fuzzy Arden Syntax.

PubMed

de Bruin, Jeroen S; Steltzer, Heinz; Rappelsberger, Andrea; Adlassnig, Klaus-Peter

2017-01-01

Formal constructs for fuzzy sets and fuzzy logic are incorporated into Arden Syntax version 2.9 (Fuzzy Arden Syntax). With fuzzy sets, the relationships between measured or observed data and linguistic terms are expressed as degrees of compatibility that model the unsharpness of the boundaries of linguistic terms. Propositional uncertainty due to incomplete knowledge of relationships between clinical linguistic concepts is modeled with fuzzy logic. Fuzzy Arden Syntax also supports the construction of fuzzy state monitors. The latter are defined as monitors that employ fuzzy automata to observe gradual transitions between different stages of disease. As a use case, we re-implemented FuzzyARDS, a previously published clinical monitoring system for patients suffering from acute respiratory distress syndrome (ARDS). Using the re-implementation as an example, we show how key concepts of fuzzy automata, i.e., fuzzy states and parallel fuzzy state transitions, can be implemented in Fuzzy Arden Syntax. The results showed that fuzzy state monitors can be implemented in a straightforward manner.

Intelligent fuzzy controller for event-driven real time systems

NASA Technical Reports Server (NTRS)

Grantner, Janos; Patyra, Marek; Stachowicz, Marian S.

1992-01-01

Most of the known linguistic models are essentially static, that is, time is not a parameter in describing the behavior of the object's model. In this paper we show a model for synchronous finite state machines based on fuzzy logic. Such finite state machines can be used to build both event-driven, time-varying, rule-based systems and the control unit section of a fuzzy logic computer. The architecture of a pipelined intelligent fuzzy controller is presented, and the linguistic model is represented by an overall fuzzy relation stored in a single rule memory. A VLSI integrated circuit implementation of the fuzzy controller is suggested. At a clock rate of 30 MHz, the controller can perform 3 MFLIPS on multi-dimensional fuzzy data.

An Experience of Social Rising of Logical Tools in a Primary School Classroom: The Role of Language

ERIC Educational Resources Information Center

Coppola, Cristina; Mollo, Monica; Pacelli, Tiziana

2011-01-01

In this paper we explore the relationship between language and developmental processes of logical tools through the analysis at different levels of some "linguistic-manipulative" activities in a primary school classroom. We believe that this kind of activities can spur in the children a reflection and a change in their language…

An inquiry into computer understanding

NASA Technical Reports Server (NTRS)

Cheeseman, Peter

1988-01-01

The paper examines issues connected with the choice of the best method for representing and reasoning about common sense. McDermott (1978) has shown that a direct translation of common sense reasoning into logical form leads to insurmountable difficulties. It is shown, in the present work, that if Bayesian probability is used instead of logic as the language of such reasoning, none of the technical difficulties found in using logic arise. Bayesian inference is applied to a simple example of linguistic information to illustrate the potential of this type of inference for artificial intelligence.

Automated insertion of sequences into a ribosomal RNA alignment: An application of computational linguistics in molecular biology

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

Taylor, R.C.

This thesis involved the construction of (1) a grammar that incorporates knowledge on base invariancy and secondary structure in a molecule and (2) a parser engine that uses the grammar to position bases into the structural subunits of the molecule. These concepts were combined with a novel pinning technique to form a tool that semi-automates insertion of a new species into the alignment for the 16S rRNA molecule (a component of the ribosome) maintained by Dr. Carl Woese's group at the University of Illinois at Urbana. The tool was tested on species extracted from the alignment and on a groupmore » of entirely new species. The results were very encouraging, and the tool should be substantial aid to the curators of the 16S alignment. The construction of the grammar was itself automated, allowing application of the tool to alignments for other molecules. The logic programming language Prolog was used to construct all programs involved. The computational linguistics approach used here was found to be a useful way to attach the problem of insertion into an alignment.« less

Automated insertion of sequences into a ribosomal RNA alignment: An application of computational linguistics in molecular biology

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

Taylor, Ronald C.

This thesis involved the construction of (1) a grammar that incorporates knowledge on base invariancy and secondary structure in a molecule and (2) a parser engine that uses the grammar to position bases into the structural subunits of the molecule. These concepts were combined with a novel pinning technique to form a tool that semi-automates insertion of a new species into the alignment for the 16S rRNA molecule (a component of the ribosome) maintained by Dr. Carl Woese`s group at the University of Illinois at Urbana. The tool was tested on species extracted from the alignment and on a groupmore » of entirely new species. The results were very encouraging, and the tool should be substantial aid to the curators of the 16S alignment. The construction of the grammar was itself automated, allowing application of the tool to alignments for other molecules. The logic programming language Prolog was used to construct all programs involved. The computational linguistics approach used here was found to be a useful way to attach the problem of insertion into an alignment.« less

A new method for qualitative simulation of water resources systems: 1. Theory

NASA Astrophysics Data System (ADS)

Camara, A. S.; Pinheiro, M.; Antunes, M. P.; Seixas, M. J.

1987-11-01

A new dynamic modeling methodology, SLIN (Simulação Linguistica), allowing for the analysis of systems defined by linguistic variables, is presented. SLIN applies a set of logical rules avoiding fuzzy theoretic concepts. To make the transition from qualitative to quantitative modes, logical rules are used as well. Extensions of the methodology to simulation-optimization applications and multiexpert system modeling are also discussed.

Fuzzy logic and neural networks in artificial intelligence and pattern recognition

NASA Astrophysics Data System (ADS)

Sanchez, Elie

1991-10-01

With the use of fuzzy logic techniques, neural computing can be integrated in symbolic reasoning to solve complex real world problems. In fact, artificial neural networks, expert systems, and fuzzy logic systems, in the context of approximate reasoning, share common features and techniques. A model of Fuzzy Connectionist Expert System is introduced, in which an artificial neural network is designed to construct the knowledge base of an expert system from, training examples (this model can also be used for specifications of rules in fuzzy logic control). Two types of weights are associated with the synaptic connections in an AND-OR structure: primary linguistic weights, interpreted as labels of fuzzy sets, and secondary numerical weights. Cell activation is computed through min-max fuzzy equations of the weights. Learning consists in finding the (numerical) weights and the network topology. This feedforward network is described and first illustrated in a biomedical application (medical diagnosis assistance from inflammatory-syndromes/proteins profiles). Then, it is shown how this methodology can be utilized for handwritten pattern recognition (characters play the role of diagnoses): in a fuzzy neuron describing a number for example, the linguistic weights represent fuzzy sets on cross-detecting lines and the numerical weights reflect the importance (or weakness) of connections between cross-detecting lines and characters.

Detection of Failure in Asynchronous Motor Using Soft Computing Method

NASA Astrophysics Data System (ADS)

Vinoth Kumar, K.; Sony, Kevin; Achenkunju John, Alan; Kuriakose, Anto; John, Ano P.

2018-04-01

This paper investigates the stator short winding failure of asynchronous motor also their effects on motor current spectrums. A fuzzy logic approach i.e., model based technique possibly will help to detect the asynchronous motor failure. Actually, fuzzy logic similar to humanoid intelligent methods besides expected linguistic empowering inferences through vague statistics. The dynamic model is technologically advanced for asynchronous motor by means of fuzzy logic classifier towards investigate the stator inter turn failure in addition open phase failure. A hardware implementation was carried out with LabVIEW for the online-monitoring of faults.

Fuzzyics =CATEGORYICS =PRAGMATYICS (``Son of ``TRIZ''')/CATEGORY-SEMANTICS Cognition (fcp/csc) of Plato-Aristotle ``SQUARE-of-OPPOSITION''(SoO): Linguistics: Antonyms VS ``SYNONYMS'' VS Analogy/ Metaphor: Coarsest-Possible Topology: Shocks/High-Pressures Applications

NASA Astrophysics Data System (ADS)

Siegel, Edward Plato Aristotle Archimedes Carl-Ludwig; Young, Frederic; Lewis, Thomas

2013-06-01

Siegel[MRS Fall-Mtgs,:Symp.Fractals(89)-5-papers!!!;Symp.Scaling(90)] FCP/CSC {aka SPD}(Tic-Tac-Toe-Matrix/Tabular List-Format) ``COMMON-FUNCTIONING-PRINCIPLE'' DI/TRI-CHOTOMY GENERIC ``INEVITABILITY_-WEB'' PURPOSEFUL PARSIMONY-of-DI/TRI-CHOTOMY STRATEGY REdiscovery of SoO automatically/optimality is in NON-list-format/matrix: DIMENSIONALITY-DOMINATION -INEVIT-ABILITY ROOT-CAUSE(RC) ULTIMATE-ORIGIN(UO): (level-0.-logic) DIMENSIONALITY (level-0. logic): [dst = ODD-Z] <->{Dst=FRACTAL-UNcertainty FLUCTUATIONS} <->(dst = EVEN-Z): CAUSES: (level- I.-logic): EXTENT/SCALE/RADIUS: (relative)-[LOCALITY] <-> (relative)-(...GLOBALITY...) & (level-II.-logic): POWER-SPECTRUM{noise ≅generalized-susceptibility}: [``l''/ω0-White] <->(...-``l''/ω 1 . 000 . . . - HYPERBOLICITY...) & (level-III.-logic) CRITICAL-EXPONENT:n =0 <->n = 1.000... ; BUT ALL 3 ALSO CAUSED BY ANOTHER INdependent RCUO (level-IV.-logic):

FuzzObserver

NASA Technical Reports Server (NTRS)

Howard, Ayanna; Bayard, David

2006-01-01

Fuzzy Feature Observation Planner for Small Body Proximity Observations (FuzzObserver) is a developmental computer program, to be used along with other software, for autonomous planning of maneuvers of a spacecraft near an asteroid, comet, or other small astronomical body. Selection of terrain features and estimation of the position of the spacecraft relative to these features is an essential part of such planning. FuzzObserver contributes to the selection and estimation by generating recommendations for spacecraft trajectory adjustments to maintain the spacecraft's ability to observe sufficient terrain features for estimating position. The input to FuzzObserver consists of data from terrain images, including sets of data on features acquired during descent toward, or traversal of, a body of interest. The name of this program reflects its use of fuzzy logic to reason about the terrain features represented by the data and extract corresponding trajectory-adjustment rules. Linguistic fuzzy sets and conditional statements enable fuzzy systems to make decisions based on heuristic rule-based knowledge derived by engineering experts. A major advantage of using fuzzy logic is that it involves simple arithmetic calculations that can be performed rapidly enough to be useful for planning within the short times typically available for spacecraft maneuvers.

Language in Chimpanzee?

ERIC Educational Resources Information Center

Premack, David

1971-01-01

Describes procedures used to study abilities of chimpanzees to be taught written language. Words, sentences, questions, metalinguistics, class concepts, the copula, some quantifiers and if-then logical connections are investigated. Success seems attributable largely to non-linguistic cues. (JM)

The Theory of Multiple Intelligences.

ERIC Educational Resources Information Center

Gardner, Howard

1987-01-01

The multiple intelligence theory is based on cultural contexts, biological analysis, developmental theories, and a vertical theory of faculties. Seven intelligences are identified: linguistic, logical mathematical, musical, spatial, bodily kinesthetic, interpersonal, and intrapersonal. The theory's educational implications are described,…

The stock-flow model of spatial data infrastructure development refined by fuzzy logic.

PubMed

Abdolmajidi, Ehsan; Harrie, Lars; Mansourian, Ali

2016-01-01

The system dynamics technique has been demonstrated to be a proper method by which to model and simulate the development of spatial data infrastructures (SDI). An SDI is a collaborative effort to manage and share spatial data at different political and administrative levels. It is comprised of various dynamically interacting quantitative and qualitative (linguistic) variables. To incorporate linguistic variables and their joint effects in an SDI-development model more effectively, we suggest employing fuzzy logic. Not all fuzzy models are able to model the dynamic behavior of SDIs properly. Therefore, this paper aims to investigate different fuzzy models and their suitability for modeling SDIs. To that end, two inference and two defuzzification methods were used for the fuzzification of the joint effect of two variables in an existing SDI model. The results show that the Average-Average inference and Center of Area defuzzification can better model the dynamics of SDI development.

About the Linguistic Impossibility of Claiming that Small Planets are not Planets

NASA Astrophysics Data System (ADS)

Nedeljkovic, A. B.

2012-12-01

Philology, which is, the science of language and literature, must now offer assistance to the science of astronomy, about one question of terminology and logic. Namely, if something belongs to one category, then it is, regardless of its size (large, or medium, or small) a member of that category. Therefore, it was linguistically wrong to claim that Pluto is one of the dwarf planets and therefore not a planet. This mistake, much noticed by the world's public opinion, ought to be corrected immediately.

An ERP investigation of conditional reasoning with emotional and neutral contents.

PubMed

Blanchette, Isabelle; El-Deredy, Wael

2014-11-01

In two experiments we investigate conditional reasoning using event-related potentials (ERPs). Our goal was to examine the time course of inference making in two conditional forms, one logically valid (Modus Ponens, MP) and one logically invalid (Affirming the Consequent, AC). We focus particularly on the involvement of semantically-based inferential processes potentially marked by modulations of the N400. We also compared reasoning about emotional and neutral contents with separate sets of stimuli of differing linguistic complexity across the two experiments. Both MP and AC modulated the N400 component, suggesting the involvement of a semantically-based inferential mechanism common across different logical forms, content types, and linguistic features of the problems. Emotion did not have an effect on early components, and did not interact with components related to inference making. There was a main effect of emotion in the 800-1050 ms time window, consistent with an effect on sustained attention. The results suggest that conditional reasoning is not a purely formal process but that it importantly implicates semantic processing, and that the effect of emotion on reasoning does not primarily operate through a modulation of early automatic stages of information processing. Copyright © 2014 Elsevier Inc. All rights reserved.

Fuzzy logic modeling of the resistivity parameter and topography features for aquifer assessment in hydrogeological investigation of a crystalline basement complex

NASA Astrophysics Data System (ADS)

Adabanija, M. A.; Omidiora, E. O.; Olayinka, A. I.

2008-05-01

A linguistic fuzzy logic system (LFLS)-based expert system model has been developed for the assessment of aquifers for the location of productive water boreholes in a crystalline basement complex. The model design employed a multiple input/single output (MISO) approach with geoelectrical parameters and topographic features as input variables and control crisp value as the output. The application of the method to the data acquired in Khondalitic terrain, a basement complex in Vizianagaram District, south India, shows that potential groundwater resource zones that have control output values in the range 0.3295-0.3484 have a yield greater than 6,000 liters per hour (LPH). The range 0.3174-0.3226 gives a yield less than 4,000 LPH. The validation of the control crisp value using data acquired from Oban Massif, a basement complex in southeastern Nigeria, indicates a yield less than 3,000 LPH for control output values in the range 0.2938-0.3065. This validation corroborates the ability of control output values to predict a yield, thereby vindicating the applicability of linguistic fuzzy logic system in siting productive water boreholes in a basement complex.

Project Spectrum: An Innovative Assessment Alternative.

ERIC Educational Resources Information Center

Krechevsky, Mara

1991-01-01

Project Spectrum attempts to reconceptualize the traditional linguistic and logical/mathematical bases of intelligence. Spectrum blurs the line between curriculum and assessment, embeds assessment in meaningful, real-world activities, uses "intelligence-fair" measures, emphasizes children's strengths, and recognizes the stylistic…

Design and implementation of fuzzy logic controllers. Thesis Final Report, 27 Jul. 1992 - 1 Jan. 1993

NASA Technical Reports Server (NTRS)

Abihana, Osama A.; Gonzalez, Oscar R.

1993-01-01

The main objectives of our research are to present a self-contained overview of fuzzy sets and fuzzy logic, develop a methodology for control system design using fuzzy logic controllers, and to design and implement a fuzzy logic controller for a real system. We first present the fundamental concepts of fuzzy sets and fuzzy logic. Fuzzy sets and basic fuzzy operations are defined. In addition, for control systems, it is important to understand the concepts of linguistic values, term sets, fuzzy rule base, inference methods, and defuzzification methods. Second, we introduce a four-step fuzzy logic control system design procedure. The design procedure is illustrated via four examples, showing the capabilities and robustness of fuzzy logic control systems. This is followed by a tuning procedure that we developed from our design experience. Third, we present two Lyapunov based techniques for stability analysis. Finally, we present our design and implementation of a fuzzy logic controller for a linear actuator to be used to control the direction of the Free Flight Rotorcraft Research Vehicle at LaRC.

Information retrieval for a document writing assistance program

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

Corral, M.L.; Simon, A.; Julien, C.

This paper presents an Information Retrieval mechanism to facilitate the writing of technical documents in the space domain. To address the need for document exchange between partners in a given project, documents are standardized. The writing of a new document requires the re-use of existing documents or parts thereof. These parts can be identified by {open_quotes}tagging{close_quotes} the logical structure of documents and restored by means of a purpose-built Information Retrieval System (I.R.S.). The I.R.S. implemented in our writing assistance tool uses natural language queries and is based on a statistical linguistic approach which is enhanced by the use of documentmore » structure module.« less

The logical syntax of number words: theory, acquisition and processing.

PubMed

Musolino, Julien

2009-04-01

Recent work on the acquisition of number words has emphasized the importance of integrating linguistic and developmental perspectives [Musolino, J. (2004). The semantics and acquisition of number words: Integrating linguistic and developmental perspectives. Cognition93, 1-41; Papafragou, A., Musolino, J. (2003). Scalar implicatures: Scalar implicatures: Experiments at the semantics-pragmatics interface. Cognition, 86, 253-282; Hurewitz, F., Papafragou, A., Gleitman, L., Gelman, R. (2006). Asymmetries in the acquisition of numbers and quantifiers. Language Learning and Development, 2, 76-97; Huang, Y. T., Snedeker, J., Spelke, L. (submitted for publication). What exactly do numbers mean?]. Specifically, these studies have shown that data from experimental investigations of child language can be used to illuminate core theoretical issues in the semantic and pragmatic analysis of number terms. In this article, I extend this approach to the logico-syntactic properties of number words, focusing on the way numerals interact with each other (e.g. Three boys are holding two balloons) as well as with other quantified expressions (e.g. Three boys are holding each balloon). On the basis of their intuitions, linguists have claimed that such sentences give rise to at least four different interpretations, reflecting the complexity of the linguistic structure and syntactic operations involved. Using psycholinguistic experimentation with preschoolers (n=32) and adult speakers of English (n=32), I show that (a) for adults, the intuitions of linguists can be verified experimentally, (b) by the age of 5, children have knowledge of the core aspects of the logical syntax of number words, (c) in spite of this knowledge, children nevertheless differ from adults in systematic ways, (d) the differences observed between children and adults can be accounted for on the basis of an independently motivated, linguistically-based processing model [Geurts, B. (2003). Quantifying kids. Language Acquisition, 11(4), 197-218]. In doing so, this work ties together research on the acquisition of the number vocabulary with a growing body of work on the development of quantification and sentence processing abilities in young children [Geurts, 2003; Lidz, J., Musolino, J. (2002). Children's command of quantification. Cognition, 84, 113-154; Musolino, J., Lidz, J. (2003). The scope of isomorphism: Turning adults into children. Language Acquisition, 11(4), 277-291; Trueswell, J., Sekerina, I., Hilland, N., Logrip, M. (1999). The kindergarten-path effect: Studying on-line sentence processing in young children. Cognition, 73, 89-134; Noveck, I. (2001). When children are more logical than adults: Experimental investigations of scalar implicature. Cognition, 78, 165-188; Noveck, I., Guelminger, R., Georgieff, N., & Labruyere, N. (2007). What autism can tell us about every. . . not sentences. Journal of Semantics,24(1), 73-90. On a more general level, this work confirms the importance of integrating formal and developmental perspectives [Musolino, 2004], this time by highlighting the explanatory power of linguistically-based models of language acquisition and by showing that the complex structure postulated by linguists has important implications for developmental accounts of the number vocabulary.

Bridging Home and School through Multiple Intelligences.

ERIC Educational Resources Information Center

Reiff, Judith C.

1996-01-01

Suggests that teachers can share information with parents about multiple intelligences and encourage parents to provide activities to nurture their child's own intelligences. Provides teachers with instructional strategies and parents with activities related to linguistic, logical-mathematical, spatial, musical, bodily-kinesthetic, interpersonal,…

A Wittgenstein Approach to the Learning of OO-modeling

NASA Astrophysics Data System (ADS)

Holmboe, Christian

2004-12-01

The paper uses Ludwig Wittgenstein's theories about the relationship between thought, language, and objects of the world to explore the assumption that OO-thinking resembles natural thinking. The paper imports from research in linguistic philosophy to computer science education research. I show how UML class diagrams (i.e., an artificial context-free language) correspond to the logically perfect languages described in Tractatus Logico-Philosophicus. In Philosophical Investigations Wittgenstein disputes his previous theories by showing that natural languages are not constructed by rules of mathematical logic, but are language games where the meaning of a word is constructed through its use in social contexts. Contradicting the claim that OO-thinking is easy to learn because of its similarity to natural thinking, I claim that OO-thinking is difficult to learn because of its differences from natural thinking. The nature of these differences is not currently well known or appreciated. I suggest how explicit attention to the nature and implications of different language games may improve the teaching and learning of OO-modeling as well as programming.

Finding the Balance Between Schoolhouse and On-the-Job Training

DTIC Science & Technology

2007-01-01

military training [BMT] to 3-level award1 for mission-ready airmen). Specifically, we examined seven specialties: Airborne Crypto - logic Linguist (Air...sup- port and interfaces with other units. Performs and assists in mission planning. Maintains publications and currency items. Maintains and

Entangled Parametric Hierarchies: Problems for an Overspecified Universal Grammar

PubMed Central

Boeckx, Cedric; Leivada, Evelina

2013-01-01

This study addresses the feasibility of the classical notion of parameter in linguistic theory from the perspective of parametric hierarchies. A novel program-based analysis is implemented in order to show certain empirical problems related to these hierarchies. The program was developed on the basis of an enriched data base spanning 23 contemporary and 5 ancient languages. The empirical issues uncovered cast doubt on classical parametric models of language acquisition as well as on the conceptualization of an overspecified Universal Grammar that has parameters among its primitives. Pinpointing these issues leads to the proposal that (i) the (bio)logical problem of language acquisition does not amount to a process of triggering innately pre-wired values of parameters and (ii) it paves the way for viewing language, epigenetic (‘parametric’) variation as an externalization-related epiphenomenon, whose learning component may be more important than what sometimes is assumed. PMID:24019867

Go outside to Learn: The Value of Outdoor Learning Environments

ERIC Educational Resources Information Center

Randall, Robin R.

2012-01-01

Outdoors opens up endless possibilities. Every place and space people experience offers an opportunity to learn. Accepted educational research first theorized by social scientist and author, Howard Gardner, shows that learners have nine multiple intelligences--visual, logical, intrapersonal, musical, body-kinesthetic, linguistic, interpersonal,…

The Effects of Arts Education on Emotional Literacy.

ERIC Educational Resources Information Center

Wallace, Rebecca Rockwell

Human potential includes at least seven intelligences--only two, linguistics and mathematics/logic, typically are taught in elementary schools. Researchers in the field of multiple intelligences believe the arts represent the other intelligences, i.e.: music, spatial reasoning, kinesthetic, interpersonal, and intrapersonal. A study explored the…

A fuzzy logic approach to modeling the underground economy in Taiwan

NASA Astrophysics Data System (ADS)

Yu, Tiffany Hui-Kuang; Wang, David Han-Min; Chen, Su-Jane

2006-04-01

The size of the ‘underground economy’ (UE) is valuable information in the formulation of macroeconomic and fiscal policy. This study applies fuzzy set theory and fuzzy logic to model Taiwan's UE over the period from 1960 to 2003. Two major factors affecting the size of the UE, the effective tax rate and the degree of government regulation, are used. The size of Taiwan's UE is scaled and compared with those of other models. Although our approach yields different estimates, similar patterns and leading are exhibited throughout the period. The advantage of applying fuzzy logic is twofold. First, it can avoid the complex calculations in conventional econometric models. Second, fuzzy rules with linguistic terms are easy for human to understand.

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.

A survey of fuzzy logic monitoring and control utilisation in medicine.

PubMed

Mahfouf, M; Abbod, M F; Linkens, D A

2001-01-01

Intelligent systems have appeared in many technical areas, such as consumer electronics, robotics and industrial control systems. Many of these intelligent systems are based on fuzzy control strategies which describe complex systems mathematical models in terms of linguistic rules. Since the 1980s new techniques have appeared from which fuzzy logic has been applied extensively in medical systems. The justification for such intelligent systems driven solutions is that biological systems are so complex that the development of computerised systems within such environments is not always a straightforward exercise. In practice, a precise model may not exist for biological systems or it may be too difficult to model. In most cases fuzzy logic is considered to be an ideal tool as human minds work from approximate data, extract meaningful information and produce crisp solutions. This paper surveys the utilisation of fuzzy logic control and monitoring in medical sciences with an analysis of its possible future penetration.

Are I.Q. Tests Valid Measures of Intelligence? An Interview with Howard Gardner.

ERIC Educational Resources Information Center

School Administrator, 1986

1986-01-01

Discuss seven basic intellectual competencies possessed by all human beings: linguistic, logical-mathematical, musical, spatial, bodily-kinesthetic, interpersonal, and intrapersonal. Because I.Q. tests can measure only the first two qualities, this interview suggests evaluating schools by quality of educational experiences and students by project…

Actualizacion linguistica, AL-1 (Current Linguistics, AL-1).

ERIC Educational Resources Information Center

Penaloza, Miguel

This document, the first in a series called "Actualizacion Linguistica," seeks to establish the bases for testing a new methodology for teaching Spanish to Colombia beginning at the preschool and primary levels. The methodology initially uses a system of "logic blocks" of differing size, color, shape, and weight to devise games…

Schooling Built on the Multiple Intelligences

ERIC Educational Resources Information Center

Kunkel, Christine D.

2009-01-01

This article features a school built on multiple intelligences. As the first multiple intelligences school in the world, the Key Learning Community shapes its students' days to include significant time in the musical, spatial and bodily-kinesthetic intelligences, as well as the more traditional areas of logical-mathematical and linguistics. In…

The Poverty of the Mayan Stimulus

ERIC Educational Resources Information Center

Pye, Clifton

2012-01-01

Poverty of the stimulus (POS) arguments have instigated considerable debate in the recent linguistics literature. This article uses the comparative method to challenge the logic of POS arguments. Rather than question the premises of POS arguments, the article demonstrates how POS arguments for individual languages lead to a "reductio ad absurdum"…

Approximate spatial reasoning

NASA Technical Reports Server (NTRS)

Dutta, Soumitra

1988-01-01

A model for approximate spatial reasoning using fuzzy logic to represent the uncertainty in the environment is presented. Algorithms are developed which can be used to reason about spatial information expressed in the form of approximate linguistic descriptions similar to the kind of spatial information processed by humans. Particular attention is given to static spatial reasoning.

Apuntes sobre Latinismos en Espanol (Notes on Latinisms in Spanish)

ERIC Educational Resources Information Center

Perez B., L. A.

1977-01-01

Several Latinisms appear in Latin American Spanish, which would logically be farther from its Latin roots than Spanish in Spain. The existence of these elements and their importance as linguistic facts is analyzed here. Four words are treated: "Cliente,""cuadrar,""cuarto" and "rabula." (Text is in Spanish.) (CHK)

"Sesame Street": A Linguistic Detour for Black-Language Speakers

ERIC Educational Resources Information Center

Stewart, Barbara H.

1973-01-01

Maintains that the concept of verbal deprivation'' constituting an integral part of the operating assumption of Sesame Street'' has been thoroughly refuted by reputed liguists; that nonstandard'' English is not an inept, deficient approximation of American English but a separate, logical, and highly structured system of communication. (RJ)

If the Shoe Fits...How To Develop Multiple Intelligences in the Classroom.

ERIC Educational Resources Information Center

Chapman, Carolyn

This guide provides a rationale and approach for translating Howard Gardner's theory of multiple intelligences into classroom practice. Chapter 1 explains Gardner's theory and gives the definitions of the seven intelligences he identifies: verbal/linguistic, musical/rhythmic, logical/mathematical, visual/spatial, bodily/kinesthetic, intrapersonal,…

Multiple Intelligences and Career Development. Trends and Issues Alert No. 8.

ERIC Educational Resources Information Center

Kerka, Sandra

According to the theory of multiple intelligences (MI), intelligence is a set of abilities, talents, and skills in eight areas: mathematical-logical, spatial-visual, bodily-kinesthetic, musical-rhythmic, verbal-linguistic, interpersonal, intrapersonal, and naturalistic. All humans possess these intelligences in varying degrees, and most people can…

The Effect of Multiple Intelligences Strategies on EFL Ninth Graders' Achievement in Reading Comprehension

ERIC Educational Resources Information Center

Jallad, Nasreen Y.; Bani Abdelrahman, Abdallah A.

2008-01-01

This study aimed at investigating the effect of multiple intelligences strategies comprising logical-mathematical intelligence, verbal-linguistic intelligence, intrapersonal intelligence and interpersonal intelligence on ninth grade students' reading comprehension achievement in an EFL setting. The population of the study consisted of all ninth…

Learning in Their Own Style.

ERIC Educational Resources Information Center

Cambell, Melvin; Burton, VirLynn

1994-01-01

Presents a unit approach that utilizes Howard Gardner's seven intelligences (Linguistic, Logical/mathematical, Spatial, Music, Kinesthetic/body, Intrapersonal, and Interpersonal). Students are given a list of activities and make a contract to complete a certain number on the list. A sample unit for fifth graders on the bodily systems is provided.…

Some Thoughts on John Dewey's Ethics and Education

ERIC Educational Resources Information Center

Karafillis, Gregorios

2012-01-01

The philosopher and educator, John Dewey, explores the emergence of the terms "ethics" and "education" from a pragmatist's perspective, i.e., within the linguistic and social components' framework, and society's existing cognitive and cultural level. In the current article, we examine the development, logical control and the relation between…

Une nouvelle facon de decouvrir la grammaire (A New Way of Discovering Grammar).

ERIC Educational Resources Information Center

Gutierrez, Alma Rosa Aguilar; Duarte, Delma Gonzalez

1993-01-01

A discussion of French grammar instruction looks at the relationship between linguistic competence and communicative competence. It offers exercises emphasizing the logic of language, using four different approaches. Three of the exercises use texts (included), and the fourth requires the student to describe a room. (MSE)

A Motive of Rhetorics: Invention and Speech Acts.

ERIC Educational Resources Information Center

Schneider, Michael J.

While rhetorical theory has long been concerned with the epistemological foundations of rhetorical abilities, the full potential of the structuralist perspective is far from realized. The study of speech acts and inventive processes discloses the underlying logic of linguistic performance. A speech act is conceptualized in terms of the…

Linguistic Inability or Poor Performance: Dissociating Scalar Implicature Generation and Mismatch in the Developing Brain

ERIC Educational Resources Information Center

Shetreet, Einat; Chierchia, Gennaro; Gaab, Nadine

2014-01-01

Behavioral investigations of the acquisition of "some" have shown that children favor its logical interpretation ("some and possibly all"). Adults, however, use the pragmatic interpretation ("some but not all") derived by a scalar implicature. Certain experimental manipulations increase children's rates of adult-like…

What is the "Sense" of Prepositions?

ERIC Educational Resources Information Center

Dreike, Beate

1975-01-01

Examines the semantics of certain prepositions to show that the interpretation of relationships between linguistic units in a sentence is not always deducible from the logical structure underlying it, if this study does not include the study of pragmatic factors. Available from Liber Laeromedel, Box 1205, S-22105 Lund, Sweden. (Author/TL)

Library List: A Suggested Library Collection for Undergraduate Linguistics Programs. Linguistics in the Undergraduate Curriculum, Appendix 6.

ERIC Educational Resources Information Center

Linguistic Society of America, Washington, DC.

A list of linguistics-related holdings in the Middlebury College (Vermont) library is presented as an example of a well-developed library collection for an undergraduate linguistics program. The materials are listed under 10 headings corresponding to the best-represented subareas in the collection: linguistics, semantics, grammar (comparative and…

A genetic algorithms approach for altering the membership functions in fuzzy logic controllers

NASA Technical Reports Server (NTRS)

Shehadeh, Hana; Lea, Robert N.

1992-01-01

Through previous work, a fuzzy control system was developed to perform translational and rotational control of a space vehicle. This problem was then re-examined to determine the effectiveness of genetic algorithms on fine tuning the controller. This paper explains the problems associated with the design of this fuzzy controller and offers a technique for tuning fuzzy logic controllers. A fuzzy logic controller is a rule-based system that uses fuzzy linguistic variables to model human rule-of-thumb approaches to control actions within a given system. This 'fuzzy expert system' features rules that direct the decision process and membership functions that convert the linguistic variables into the precise numeric values used for system control. Defining the fuzzy membership functions is the most time consuming aspect of the controller design. One single change in the membership functions could significantly alter the performance of the controller. This membership function definition can be accomplished by using a trial and error technique to alter the membership functions creating a highly tuned controller. This approach can be time consuming and requires a great deal of knowledge from human experts. In order to shorten development time, an iterative procedure for altering the membership functions to create a tuned set that used a minimal amount of fuel for velocity vector approach and station-keep maneuvers was developed. Genetic algorithms, search techniques used for optimization, were utilized to solve this problem.

Australia and New Zealand Applied Linguistics (ANZAL): Taking Stock

ERIC Educational Resources Information Center

Kleinsasser, Robert C.

2004-01-01

This paper reviews some emerging trends in applied linguistics in both Australia and New Zealand. It sketches the current scene of (selected) postgraduate applied linguistics programs in higher education and considers how various university programs define applied linguistics through the classes (titles) they have postgraduate students complete to…

Parent and Teacher Opinions of Eight Different Ways of Thinking and Learning

ERIC Educational Resources Information Center

Maycock, George

2017-01-01

Parents and teachers at seven elementary schools were surveyed to determine their opinions of the importance of Gardner's eight different ways of thinking and learning. Parent and teacher opinions were highest in the four areas of logical-mathematical, intrapersonal, linguistic and interpersonal, which were all rated very important. Next in…

Examination of the Effect of Drama Education on Multiple Intelligence Areas of Children

ERIC Educational Resources Information Center

Köksal Akyol, Aysel

2018-01-01

This study was conducted to determine whether or not drama education causes any difference in the verbal-linguistic, mathematical-logical, visual-spatial, musical-rhythmic, bodily-kinaesthetic, intrapersonal and interpersonal intelligences of children. The sample group of the study consisted of 46 children (23 children in the experimental group…

Do Age and Sex of School Students Make Significant Difference in Their Multiple Intelligences?

ERIC Educational Resources Information Center

Ravi, R.; Vedapriya, S. Gethsi

2009-01-01

Multiple Intelligences are a new educational theory proposed by Howard Gardner in 1983. Multiple intelligences describe an array of different kinds of intelligences exhibited by human beings. This theory consists of verbal-linguistic, logical and mathematics, visual and spatial, bodily kinesthetic, musical-rhythmic, intrapersonal, interpersonal,…

Elaborer un exercice de grammaire (Working Out a Grammar Exercise)

ERIC Educational Resources Information Center

Principaud, Jeanne-Marie

1977-01-01

An elaboration of the official instruction on teaching French to native speakers in elementary school. The topics covered are: Methodological development of exercises; the linguistic ability and milieu of the students; operative criteria; and the question of a logical progression or spontaneous use of grammar exercises. (Text is in French.) (AMH)

Genetic algorithm optimized rainfall-runoff fuzzy inference system for row crop watersheds with claypan soils

USDA-ARS?s Scientific Manuscript database

The fuzzy logic algorithm has the ability to describe knowledge in a descriptive human-like manner in the form of simple rules using linguistic variables, and provides a new way of modeling uncertain or naturally fuzzy hydrological processes like non-linear rainfall-runoff relationships. Fuzzy infe...

Neuro-Linguistic Programming: A Discussion of Why and How.

ERIC Educational Resources Information Center

Partridge, Susan

Intended for teachers, this article offers a definition of neuro-linguistic programming (NLP), discusses its relevance to instruction, and provides illustrations of the implementation of neuro-linguistic programming in instructional contexts. NLP is defined as an approach to instruction that recognizes the familiar visual, auditory, and…

Improving English Instruction through Neuro-Linguistic Programming

ERIC Educational Resources Information Center

Helm, David Jay

2009-01-01

This study examines the background information and numerous applications of neuro-linguistic programming as it applies to improving English instruction. In addition, the N.L.P. modalities of eye movement, the use of predicates, and posturing are discussed. Neuro-linguistic programming presents all students of English an opportunity to reach their…

A fuzzy classifier system for process control

NASA Technical Reports Server (NTRS)

Karr, C. L.; Phillips, J. C.

1994-01-01

A fuzzy classifier system that discovers rules for controlling a mathematical model of a pH titration system was developed by researchers at the U.S. Bureau of Mines (USBM). Fuzzy classifier systems successfully combine the strengths of learning classifier systems and fuzzy logic controllers. Learning classifier systems resemble familiar production rule-based systems, but they represent their IF-THEN rules by strings of characters rather than in the traditional linguistic terms. Fuzzy logic is a tool that allows for the incorporation of abstract concepts into rule based-systems, thereby allowing the rules to resemble the familiar 'rules-of-thumb' commonly used by humans when solving difficult process control and reasoning problems. Like learning classifier systems, fuzzy classifier systems employ a genetic algorithm to explore and sample new rules for manipulating the problem environment. Like fuzzy logic controllers, fuzzy classifier systems encapsulate knowledge in the form of production rules. The results presented in this paper demonstrate the ability of fuzzy classifier systems to generate a fuzzy logic-based process control system.

Towards Resilient Critical Infrastructures: Application of Type-2 Fuzzy Logic in Embedded Network Security Cyber Sensor

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

Ondrej Linda; Todd Vollmer; Jim Alves-Foss

2011-08-01

Resiliency and cyber security of modern critical infrastructures is becoming increasingly important with the growing number of threats in the cyber-environment. This paper proposes an extension to a previously developed fuzzy logic based anomaly detection network security cyber sensor via incorporating Type-2 Fuzzy Logic (T2 FL). In general, fuzzy logic provides a framework for system modeling in linguistic form capable of coping with imprecise and vague meanings of words. T2 FL is an extension of Type-1 FL which proved to be successful in modeling and minimizing the effects of various kinds of dynamic uncertainties. In this paper, T2 FL providesmore » a basis for robust anomaly detection and cyber security state awareness. In addition, the proposed algorithm was specifically developed to comply with the constrained computational requirements of low-cost embedded network security cyber sensors. The performance of the system was evaluated on a set of network data recorded from an experimental cyber-security test-bed.« less

Taking the Edusemiotic Turn: A Body~Mind Approach to Education

ERIC Educational Resources Information Center

Semetsky, Inna

2014-01-01

Educational philosophy in English-speaking countries tends to be informed mainly by analytic philosophy common to Western thinking. A welcome alternative is provided by pragmatism in the tradition of Peirce, James and Dewey. Still, the habit of the so-called linguistic turn has a firm grip in terms of analytic philosophy based on the logic of…

Investigating the Association between Turkish Freshman's Multiple Intelligence Profiles and University Entrance Exam Performance

ERIC Educational Resources Information Center

Atas, Sait; Erisen, Yavuz

2016-01-01

Even though curriculum designers in Turkey considered Gardner's multiple intelligence theory as one of the most important theories during the curricula reform in 2005, the university entrance examination system is still on the basis of the two intelligence areas only, mathematical-logical and linguistics intelligence. The aim of this study was to…

The Conjunction Fallacy and the Many Meanings of "And"

ERIC Educational Resources Information Center

Hertwig, Ralph; Benz, Bjorn; Krauss, Stefan

2008-01-01

According to the conjunction rule, the probability of A "and" B cannot exceed the probability of either single event. This rule reads "and" in terms of the logical operator [inverted v], interpreting A and B as an intersection of two events. As linguists have long argued, in natural language "and" can convey a wide range of relationships between…

Interpretation of Verb Phrase Telicity: Sensitivity to Verb Type and Determiner Type

ERIC Educational Resources Information Center

Ogiela, Diane A.; Schmitt, Cristina; Casby, Michael W.

2014-01-01

Purpose: The authors examine how adults use linguistic information from verbs, direct objects, and particles to interpret an event description as encoding a logical endpoint to the event described (in which case, it is telic) or not (in which case, it is atelic). Current models of aspectual composition predict that quantity-sensitive verbs…

Implementing Multiple Intelligences: The New City School Experience. Fastback 407.

ERIC Educational Resources Information Center

Hoerr, Thomas R.

This brief reviews the concept of multiple intelligences (MI) and discusses the implementation of the theory of MI in the New City School, an independent school in St. Louis (Missouri). The theory of MI, as developed by Howard Gardner, says that there are at least seven different intelligences: linguistic, logical, musical, bodily-kinesthetic,…

Enhancing programming logic thinking using analogy mapping

NASA Astrophysics Data System (ADS)

Sukamto, R. A.; Megasari, R.

2018-05-01

Programming logic thinking is the most important competence for computer science students. However, programming is one of the difficult subject in computer science program. This paper reports our work about enhancing students' programming logic thinking using Analogy Mapping for basic programming subject. Analogy Mapping is a computer application which converts source code into analogies images. This research used time series evaluation and the result showed that Analogy Mapping can enhance students' programming logic thinking.

Devil is in the details: Using logic models to investigate program process.

PubMed

Peyton, David J; Scicchitano, Michael

2017-12-01

Theory-based logic models are commonly developed as part of requirements for grant funding. As a tool to communicate complex social programs, theory based logic models are an effective visual communication. However, after initial development, theory based logic models are often abandoned and remain in their initial form despite changes in the program process. This paper examines the potential benefits of committing time and resources to revising the initial theory driven logic model and developing detailed logic models that describe key activities to accurately reflect the program and assist in effective program management. The authors use a funded special education teacher preparation program to exemplify the utility of drill down logic models. The paper concludes with lessons learned from the iterative revision process and suggests how the process can lead to more flexible and calibrated program management. Copyright © 2017 Elsevier Ltd. All rights reserved.

Designing a Software Tool for Fuzzy Logic Programming

NASA Astrophysics Data System (ADS)

Abietar, José M.; Morcillo, Pedro J.; Moreno, Ginés

2007-12-01

Fuzzy Logic Programming is an interesting and still growing research area that agglutinates the efforts for introducing fuzzy logic into logic programming (LP), in order to incorporate more expressive resources on such languages for dealing with uncertainty and approximated reasoning. The multi-adjoint logic programming approach is a recent and extremely flexible fuzzy logic paradigm for which, unfortunately, we have not found practical tools implemented so far. In this work, we describe a prototype system which is able to directly translate fuzzy logic programs into Prolog code in order to safely execute these residual programs inside any standard Prolog interpreter in a completely transparent way for the final user. We think that the development of such fuzzy languages and programing tools might play an important role in the design of advanced software applications for computational physics, chemistry, mathematics, medicine, industrial control and so on.

Shifting to the World Englishes Paradigm by Way of the Translingual Approach: Code-Meshing as a Necessary Means of Transforming Composition Pedagogy

ERIC Educational Resources Information Center

Lee, Melissa E.

2014-01-01

"English" classrooms in U.S. institutions of higher education are not linguistically homogeneous. It is not logical, ethical, or realistic to designate "standard" English as the only discourse acceptable for the writing classroom. This praxis-oriented article chronicles a U.S. composition instructor's process of…

Game-Based Learning: Increasing the Logical-Mathematical, Naturalistic, and Linguistic Learning Levels of Primary School Students

ERIC Educational Resources Information Center

del Moral Pérez, M. Esther; Duque, Alba P. Guzmán; García, L. Carlota Fernández

2018-01-01

Game-based learning is an innovative methodology that takes advantage of the educational potential offered by videogames in general and serious games in particular to boost training processes, thus making it easier for users to achieve motivated learning. The present paper focuses on the description of the Game to Learn Project, which has as its…

Beyond "Brown": Empirical Research on Diverse Learners with or At-Risk for Specific Learning Disabilities from 1994-2012

ERIC Educational Resources Information Center

Trent, Stanley C.; Drivers, Melissa; Rodriguez, Diane; Oh, Kevin; Stewart, Shavon; Kea, Cathy; Artiles, Alfredo; Hull, Michael

2014-01-01

We conducted a literature review to determine the presence of culturally and linguistically diverse (CLD) learners in research on specific learning disabilities (SLD) from 1994-2012. We believed that disaggregation of results by category might identify nuances that will guide future policies, research, and practice. We deemed it logical to begin…

Fuzzy logic and image processing techniques for the interpretation of seismic data

NASA Astrophysics Data System (ADS)

Orozco-del-Castillo, M. G.; Ortiz-Alemán, C.; Urrutia-Fucugauchi, J.; Rodríguez-Castellanos, A.

2011-06-01

Since interpretation of seismic data is usually a tedious and repetitive task, the ability to do so automatically or semi-automatically has become an important objective of recent research. We believe that the vagueness and uncertainty in the interpretation process makes fuzzy logic an appropriate tool to deal with seismic data. In this work we developed a semi-automated fuzzy inference system to detect the internal architecture of a mass transport complex (MTC) in seismic images. We propose that the observed characteristics of a MTC can be expressed as fuzzy if-then rules consisting of linguistic values associated with fuzzy membership functions. The constructions of the fuzzy inference system and various image processing techniques are presented. We conclude that this is a well-suited problem for fuzzy logic since the application of the proposed methodology yields a semi-automatically interpreted MTC which closely resembles the MTC from expert manual interpretation.

Logic models as a tool for sexual violence prevention program development.

PubMed

Hawkins, Stephanie R; Clinton-Sherrod, A Monique; Irvin, Neil; Hart, Laurie; Russell, Sarah Jane

2009-01-01

Sexual violence is a growing public health problem, and there is an urgent need to develop sexual violence prevention programs. Logic models have emerged as a vital tool in program development. The Centers for Disease Control and Prevention funded an empowerment evaluation designed to work with programs focused on the prevention of first-time male perpetration of sexual violence, and it included as one of its goals, the development of program logic models. Two case studies are presented that describe how significant positive changes can be made to programs as a result of their developing logic models that accurately describe desired outcomes. The first case study describes how the logic model development process made an organization aware of the importance of a program's environmental context for program success; the second case study demonstrates how developing a program logic model can elucidate gaps in organizational programming and suggest ways to close those gaps.

Television as a Medium of Verbal Communication.

ERIC Educational Resources Information Center

Rice, Mabel

This paper describes a study on the nature of the linguistic information presented in children's television programs which was conducted to compare the verbal communication features of different types of programs, determine whether there were adjustments of linguistic information that would facilitate young children's linguistic processing, and…

Computing single step operators of logic programming in radial basis function neural networks

NASA Astrophysics Data System (ADS)

Hamadneh, Nawaf; Sathasivam, Saratha; Choon, Ong Hong

2014-07-01

Logic programming is the process that leads from an original formulation of a computing problem to executable programs. A normal logic program consists of a finite set of clauses. A valuation I of logic programming is a mapping from ground atoms to false or true. The single step operator of any logic programming is defined as a function (Tp:I→I). Logic programming is well-suited to building the artificial intelligence systems. In this study, we established a new technique to compute the single step operators of logic programming in the radial basis function neural networks. To do that, we proposed a new technique to generate the training data sets of single step operators. The training data sets are used to build the neural networks. We used the recurrent radial basis function neural networks to get to the steady state (the fixed point of the operators). To improve the performance of the neural networks, we used the particle swarm optimization algorithm to train the networks.

Logic Models for Program Design, Implementation, and Evaluation: Workshop Toolkit. REL 2015-057

ERIC Educational Resources Information Center

Shakman, Karen; Rodriguez, Sheila M.

2015-01-01

The Logic Model Workshop Toolkit is designed to help practitioners learn the purpose of logic models, the different elements of a logic model, and the appropriate steps for developing and using a logic model for program evaluation. Topics covered in the sessions include an overview of logic models, the elements of a logic model, an introduction to…

Fuzzy-Arden-Syntax-based, Vendor-agnostic, Scalable Clinical Decision Support and Monitoring Platform.

PubMed

Adlassnig, Klaus-Peter; Fehre, Karsten; Rappelsberger, Andrea

2015-01-01

This study's objective is to develop and use a scalable genuine technology platform for clinical decision support based on Arden Syntax, which was extended by fuzzy set theory and fuzzy logic. Arden Syntax is a widely recognized formal language for representing clinical and scientific knowledge in an executable format, and is maintained by Health Level Seven (HL7) International and approved by the American National Standards Institute (ANSI). Fuzzy set theory and logic permit the representation of knowledge and automated reasoning under linguistic and propositional uncertainty. These forms of uncertainty are a common feature of patients' medical data, the body of medical knowledge, and deductive clinical reasoning.

Price comparisons on the internet based on computational intelligence.

PubMed

Kim, Jun Woo; Ha, Sung Ho

2014-01-01

Information-intensive Web services such as price comparison sites have recently been gaining popularity. However, most users including novice shoppers have difficulty in browsing such sites because of the massive amount of information gathered and the uncertainty surrounding Web environments. Even conventional price comparison sites face various problems, which suggests the necessity of a new approach to address these problems. Therefore, for this study, an intelligent product search system was developed that enables price comparisons for online shoppers in a more effective manner. In particular, the developed system adopts linguistic price ratings based on fuzzy logic to accommodate user-defined price ranges, and personalizes product recommendations based on linguistic product clusters, which help online shoppers find desired items in a convenient manner.

Price Comparisons on the Internet Based on Computational Intelligence

PubMed Central

Kim, Jun Woo; Ha, Sung Ho

2014-01-01

Information-intensive Web services such as price comparison sites have recently been gaining popularity. However, most users including novice shoppers have difficulty in browsing such sites because of the massive amount of information gathered and the uncertainty surrounding Web environments. Even conventional price comparison sites face various problems, which suggests the necessity of a new approach to address these problems. Therefore, for this study, an intelligent product search system was developed that enables price comparisons for online shoppers in a more effective manner. In particular, the developed system adopts linguistic price ratings based on fuzzy logic to accommodate user-defined price ranges, and personalizes product recommendations based on linguistic product clusters, which help online shoppers find desired items in a convenient manner. PMID:25268901

Deciding Full Branching Time Logic by Program Transformation

NASA Astrophysics Data System (ADS)

Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio

We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL*) properties of finite state reactive systems. The finite state systems and the CTL* properties we want to verify, are encoded as logic programs on infinite lists. Our verification method consists of two steps. In the first step we transform the logic program that encodes the given system and the given property, into a monadic ω -program, that is, a stratified program defining nullary or unary predicates on infinite lists. This transformation is performed by applying unfold/fold rules that preserve the perfect model of the initial program. In the second step we verify the property of interest by using a proof method for monadic ω-programs.

Sortal Concepts and Pragmatic Inference in Children's Early Quantification of Objects

ERIC Educational Resources Information Center

Srinivasan, Mahesh; Chestnut, Eleanor; Li, Peggy; Barner, David

2013-01-01

It is typically assumed that count nouns like "fork" act as logical sortals, specifying whether objects are countable units of a kind (e.g., that a whole fork counts as "one fork") or not (e.g., that a piece of a fork does not count as "one fork"). In four experiments, we provide evidence from linguistic and conceptual development that nouns do…

Reversing the Use of Hobson's Choice: Culturally Relevant Assessment and Treatment Practices for Culturally and Linguistically Diverse Learners with Problem Behaviors

ERIC Educational Resources Information Center

Obiakor, Festus E.; Gibson, Lenwood

2015-01-01

Hobson's Choice is a psychological philosophy that prescribes a "take-it-or-leave-it" approach when addressing the problematic behaviors of students. Logically, this choice provides a traditional order in the classroom and gives teachers and service providers the sole power and authority to manage problem behaviors. For many students…

Viktor Vladimirovich Vinogradov.

DTIC Science & Technology

1961-03-02

of literary theory, texto - logy, and the history of Russian literature from the XVIII to the XX century. After graduating both from the History... de Courtenais and A. A. Potebnya. The late Lev Vladimirovich Shcherba also belongs to this type of linguist." (Pamyati akademika L’va Vladimirovicha...logical units in Russian, and gave a theoretical basis for separating idioms and phraseological clusters from ci.her types of phraseological

Program Alternatives for Linguistically Diverse Students. Educational Practice Report 1.

ERIC Educational Resources Information Center

Genesee, Fred, Ed.

The report looks at programs and approaches for educating students from diverse linguistic and cultural backgrounds. It is intended as a guide for school and district decision-makers to help them identify instructional approaches and programs appropriate to their students' needs. Four program alternatives are discussed: newcomer programs;…

Netlang: A software for the linguistic analysis of corpora by means of complex networks

PubMed Central

Serna Salazar, Diego; Isaza, Gustavo; Castillo Ossa, Luis F.; Bedia, Manuel G.

2017-01-01

To date there is no software that directly connects the linguistic analysis of a conversation to a network program. Networks programs are able to extract statistical information from data basis with information about systems of interacting elements. Language has also been conceived and studied as a complex system. However, most proposals do not analyze language according to linguistic theory, but use instead computational systems that should save time at the price of leaving aside many crucial aspects for linguistic theory. Some approaches to network studies on language do apply precise linguistic analyses, made by a linguist. The problem until now has been the lack of interface between the analysis of a sentence and its integration into the network that could be managed by a linguist and that could save the analysis of any language. Previous works have used old software that was not created for these purposes and that often produced problems with some idiosyncrasies of the target language. The desired interface should be able to deal with the syntactic peculiarities of a particular language, the options of linguistic theory preferred by the user and the preservation of morpho-syntactic information (lexical categories and syntactic relations between items). Netlang is the first program able to do that. Recently, a new kind of linguistic analysis has been developed, which is able to extract a complexity pattern from the speaker's linguistic production which is depicted as a network where words are inside nodes, and these nodes connect each other by means of edges or links (the information inside the edge can be syntactic, semantic, etc.). The Netlang software has become the bridge between rough linguistic data and the network program. Netlang has integrated and improved the functions of programs used in the past, namely the DGA annotator and two scripts (ToXML.pl and Xml2Pairs.py) used for transforming and pruning data. Netlang allows the researcher to make accurate linguistic analysis by means of syntactic dependency relations between words, while tracking record of the nature of such syntactic relationships (subject, object, etc). The Netlang software is presented as a new tool that solve many problems detected in the past. The most important improvement is that Netlang integrates three past applications into one program, and is able to produce a series of file formats that can be read by a network program. Through the Netlang software, the linguistic network analysis based on syntactic analyses, characterized for its low cost and the completely non-invasive procedure aims to evolve into a sufficiently fine grained tool for clinical diagnosis in potential cases of language disorders. PMID:28832598

Netlang: A software for the linguistic analysis of corpora by means of complex networks.

PubMed

Barceló-Coblijn, Lluís; Serna Salazar, Diego; Isaza, Gustavo; Castillo Ossa, Luis F; Bedia, Manuel G

2017-01-01

To date there is no software that directly connects the linguistic analysis of a conversation to a network program. Networks programs are able to extract statistical information from data basis with information about systems of interacting elements. Language has also been conceived and studied as a complex system. However, most proposals do not analyze language according to linguistic theory, but use instead computational systems that should save time at the price of leaving aside many crucial aspects for linguistic theory. Some approaches to network studies on language do apply precise linguistic analyses, made by a linguist. The problem until now has been the lack of interface between the analysis of a sentence and its integration into the network that could be managed by a linguist and that could save the analysis of any language. Previous works have used old software that was not created for these purposes and that often produced problems with some idiosyncrasies of the target language. The desired interface should be able to deal with the syntactic peculiarities of a particular language, the options of linguistic theory preferred by the user and the preservation of morpho-syntactic information (lexical categories and syntactic relations between items). Netlang is the first program able to do that. Recently, a new kind of linguistic analysis has been developed, which is able to extract a complexity pattern from the speaker's linguistic production which is depicted as a network where words are inside nodes, and these nodes connect each other by means of edges or links (the information inside the edge can be syntactic, semantic, etc.). The Netlang software has become the bridge between rough linguistic data and the network program. Netlang has integrated and improved the functions of programs used in the past, namely the DGA annotator and two scripts (ToXML.pl and Xml2Pairs.py) used for transforming and pruning data. Netlang allows the researcher to make accurate linguistic analysis by means of syntactic dependency relations between words, while tracking record of the nature of such syntactic relationships (subject, object, etc). The Netlang software is presented as a new tool that solve many problems detected in the past. The most important improvement is that Netlang integrates three past applications into one program, and is able to produce a series of file formats that can be read by a network program. Through the Netlang software, the linguistic network analysis based on syntactic analyses, characterized for its low cost and the completely non-invasive procedure aims to evolve into a sufficiently fine grained tool for clinical diagnosis in potential cases of language disorders.

On directionality of phrase structure building.

PubMed

Chesi, Cristiano

2015-02-01

Minimalism in grammatical theorizing (Chomsky in The minimalist program. MIT Press, Cambridge, 1995) led to simpler linguistic devices and a better focalization of the core properties of the structure building engine: a lexicon and a free (recursive) phrase formation operation, dubbed Merge, are the basic components that serve in building syntactic structures. Here I suggest that by looking at the elementary restrictions that apply to Merge (i.e., selection and licensing of functional features), we could conclude that a re-orientation of the syntactic derivation (from bottom-up/right-left to top-down/left-right) is necessary to make the theory simpler, especially for long-distance (filler-gap) dependencies, and is also empirically more adequate. If the structure building operations would assemble lexical items in the order they are pronounced (Phillips in Order and structure. PhD thesis, MIT, 1996; Chesi in Phases and cartography in linguistic computation: Toward a cognitively motivated computational model of linguistic competence. PhD thesis, Università di Siena, 2004; Chesi in Competence and computation: Toward a processing friendly minimalist grammar. Unipress, Padova, 2012), on-line performance data could better fit the grammatical model, without resorting to external "performance factors." The phase-based, top-down (and, as a consequence, left-right) Minimalist Grammar here discussed goes in this direction, ultimately showing how strong Islands (Huang in Logical relations in Chinese and the theory of grammar. PhD thesis, MIT, 1982) and intervention effects (Gordon et al. in J Exp Psychol Learn Mem Cogn 27:1411-1423, 2001, Gordon et al. in J Mem Lang 51:97-114, 2004) could be better explained in structural terms assuming this unconventional derivational direction.

Program logic: a framework for health program design and evaluation - the Pap nurse in general practice program.

PubMed

Hallinan, Christine M

2010-01-01

In this paper, program logic will be used to 'map out' the planning, development and evaluation of the general practice Pap nurse program in the Australian general practice arena. The incorporation of program logic into the evaluative process supports a greater appreciation of the theoretical assumptions and external influences that underpin general practice Pap nurse activity. The creation of a program logic model is a conscious strategy that results an explicit understanding of the challenges ahead, the resources available and time frames for outcomes. Program logic also enables a recognition that all players in the general practice arena need to be acknowledged by policy makers, bureaucrats and program designers when addressing through policy, issues relating to equity and accessibility of health initiatives. Logic modelling allows decision makers to consider the complexities of causal associations when developing health care proposals and programs. It enables the Pap nurse in general practice program to be represented diagrammatically by linking outcomes (short, medium and long term) with both the program activities and program assumptions. The research methodology used in the evaluation of the Pap nurse in general practice program includes a descriptive study design and the incorporation of program logic, with a retrospective analysis of Australian data from 2001 to 2009. For the purposes of gaining both empirical and contextual data for this paper, a data set analysis and literature review was performed. The application of program logic as an evaluative tool for analysis of the Pap PN incentive program facilitates a greater understanding of complex general practice activity triggers, and also allows this greater understanding to be incorporated into policy to facilitate Pap PN activity, increase general practice cervical smear and ultimately decrease burden of disease.

Use of program logic models in the Southern Rural Access Program evaluation.

PubMed

Pathman, Donald; Thaker, Samruddhi; Ricketts, Thomas C; Albright, Jennifer B

2003-01-01

The Southern Rural Access Program (SRAP) evaluation team used program logic models to clarify grantees' activities, objectives, and timelines. This information was used to benchmark data from grantees' progress reports to assess the program's successes. This article presents a brief background on the use of program logic models--essentially charts or diagrams specifying a program's planned activities, objectives, and goals--for evaluating and managing a program. It discusses the structure of the logic models chosen for the SRAP and how the model concept was introduced to the grantees to promote acceptance and use of the models. The article describes how the models helped clarify the program's objectives and helped lead agencies plan and manage the many program initiatives and subcontractors in their states. Models also provided a framework for grantees to report their progress to the National Program Office and evaluators and promoted the evaluators' visibility and acceptance by the grantees. Program logics, however, increased grantees' reporting requirements and demanded substantial time of the evaluators. Program logic models, on balance, proved their merit in the SRAP through their contributions to its management and evaluation and by providing a better understanding of the program's initiatives, successes, and potential impact.

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

ERIC Educational Resources Information Center

Carroll, John B.; And Others

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

The effectiveness of web-programming module based on scientific approach to train logical thinking ability for students in vocational high school

NASA Astrophysics Data System (ADS)

Nashiroh, Putri Khoirin; Kamdi, Waras; Elmunsyah, Hakkun

2017-09-01

Web programming is a basic subject in Computer and Informatics Engineering, a program study in a vocational high school. It requires logical thinking ability in its learning activities. The purposes of this research were (1) to develop a web programming module that implement scientific approach that can improve logical thinking ability for students in vocational high school; and (2) to test the effectiveness of web programming module based on scientific approach to train students' logical thinking ability. The results of this research was a web-programming module that apply scientific approach for learning activities to improve logical thinking ability of students in the vocational high school. The results of the effectiveness test of web-programming module give conclusion that it was very effective to train logical thinking ability and to improve learning result, this conclusion was supported by: (1) the average of posttest result of students exceeds the minimum criterion value, it was 79.91; (2) the average percentage of students' logical thinking score is 82,98; and (3) the average percentage of students' responses to the web programming module was 81.86%.

Alternative Secondary Mathematics Programs for Migrant Students: Cultural and Linguistic Considerations.

ERIC Educational Resources Information Center

Celedon-Pattichis, Sylvia

This chapter describes various programs providing secondary mathematics curricula to migrant students and discusses some challenges of integrating the cultural and linguistic experiences of migrant students learning mathematics. Among the distance-education programs designed for migrant students, the University of Texas Migrant Program delivers 22…

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

An Arbitrary First Order Theory Can Be Represented by a Program: A Theorem

NASA Technical Reports Server (NTRS)

Hosheleva, Olga

1997-01-01

How can we represent knowledge inside a computer? For formalized knowledge, classical logic seems to be the most adequate tool. Classical logic is behind all formalisms of classical mathematics, and behind many formalisms used in Artificial Intelligence. There is only one serious problem with classical logic: due to the famous Godel's theorem, classical logic is algorithmically undecidable; as a result, when the knowledge is represented in the form of logical statements, it is very difficult to check whether, based on this statement, a given query is true or not. To make knowledge representations more algorithmic, a special field of logic programming was invented. An important portion of logic programming is algorithmically decidable. To cover knowledge that cannot be represented in this portion, several extensions of the decidable fragments have been proposed. In the spirit of logic programming, these extensions are usually introduced in such a way that even if a general algorithm is not available, good heuristic methods exist. It is important to check whether the already proposed extensions are sufficient, or further extensions is necessary. In the present paper, we show that one particular extension, namely, logic programming with classical negation, introduced by M. Gelfond and V. Lifschitz, can represent (in some reasonable sense) an arbitrary first order logical theory.

Proceedings of the Sixth Conference on African Linguistics. Working Papers in Linguistics, No. 20.

ERIC Educational Resources Information Center

Herbert, Robert K., Ed.

This volume contains a selection of 27 papers presented at the Sixth Conference on African Linguistics. The papers cover a very wide range of topics, and are organized into three sections: (1) Historical and Comparative Studies; (2) Phonology; and (3) Syntax. The conference program, the program of the symposium on African language, culture and…

Implementation of the Multiple Intelligences Theory in the 21st Century Teaching and Learning Environments: A New Tool for Effective Teaching and Learning in All Levels.

ERIC Educational Resources Information Center

Mbuva, James

This paper focuses on the implementation of the multiple intelligences (MI) theory in 21st century teaching and learning environment, suggesting that it offers a new tool for effective teaching and learning at all levels. The eight current MI include: verbal/linguistic, logical/mathematical, visual/spatial, bodily/kinesthetic, musical/rhythmic,…

Defining, illustrating and reflecting on logic analysis with an example from a professional development program.

PubMed

Tremblay, Marie-Claude; Brousselle, Astrid; Richard, Lucie; Beaudet, Nicole

2013-10-01

Program designers and evaluators should make a point of testing the validity of a program's intervention theory before investing either in implementation or in any type of evaluation. In this context, logic analysis can be a particularly useful option, since it can be used to test the plausibility of a program's intervention theory using scientific knowledge. Professional development in public health is one field among several that would truly benefit from logic analysis, as it appears to be generally lacking in theorization and evaluation. This article presents the application of this analysis method to an innovative public health professional development program, the Health Promotion Laboratory. More specifically, this paper aims to (1) define the logic analysis approach and differentiate it from similar evaluative methods; (2) illustrate the application of this method by a concrete example (logic analysis of a professional development program); and (3) reflect on the requirements of each phase of logic analysis, as well as on the advantages and disadvantages of such an evaluation method. Using logic analysis to evaluate the Health Promotion Laboratory showed that, generally speaking, the program's intervention theory appeared to have been well designed. By testing and critically discussing logic analysis, this article also contributes to further improving and clarifying the method. Copyright © 2013 Elsevier Ltd. All rights reserved.

Discovering Knowledge from Noisy Databases Using Genetic Programming.

ERIC Educational Resources Information Center

Wong, Man Leung; Leung, Kwong Sak; Cheng, Jack C. Y.

2000-01-01

Presents a framework that combines Genetic Programming and Inductive Logic Programming, two approaches in data mining, to induce knowledge from noisy databases. The framework is based on a formalism of logic grammars and is implemented as a data mining system called LOGENPRO (Logic Grammar-based Genetic Programming System). (Contains 34…

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

Hamadneh, Nawaf; Sathasivam, Saratha; Choon, Ong Hong

Logic programming is the process that leads from an original formulation of a computing problem to executable programs. A normal logic program consists of a finite set of clauses. A valuation I of logic programming is a mapping from ground atoms to false or true. The single step operator of any logic programming is defined as a function (T{sub p}:I→I). Logic programming is well-suited to building the artificial intelligence systems. In this study, we established a new technique to compute the single step operators of logic programming in the radial basis function neural networks. To do that, we proposed amore » new technique to generate the training data sets of single step operators. The training data sets are used to build the neural networks. We used the recurrent radial basis function neural networks to get to the steady state (the fixed point of the operators). To improve the performance of the neural networks, we used the particle swarm optimization algorithm to train the networks.« less

Jeagle: a JAVA Runtime Verification Tool

NASA Technical Reports Server (NTRS)

DAmorim, Marcelo; Havelund, Klaus

2005-01-01

We introduce the temporal logic Jeagle and its supporting tool for runtime verification of Java programs. A monitor for an Jeagle formula checks if a finite trace of program events satisfies the formula. Jeagle is a programming oriented extension of the rule-based powerful Eagle logic that has been shown to be capable of defining and implementing a range of finite trace monitoring logics, including future and past time temporal logic, real-time and metric temporal logics, interval logics, forms of quantified temporal logics, and so on. Monitoring is achieved on a state-by-state basis avoiding any need to store the input trace. Jeagle extends Eagle with constructs for capturing parameterized program events such as method calls and method returns. Parameters can be the objects that methods are called upon, arguments to methods, and return values. Jeagle allows one to refer to these in formulas. The tool performs automated program instrumentation using AspectJ. We show the transformational semantics of Jeagle.

Logic Programming: PROLOG.

ERIC Educational Resources Information Center

Lopez, Antonio M., Jr.

1989-01-01

Provides background material on logic programing and presents PROLOG as a high-level artificial intelligence programing language that borrows its basic constructs from logic. Suggests the language is one which will help the educator to achieve various goals, particularly the promotion of problem solving ability. (MVL)

Fuzzy time series forecasting model with natural partitioning length approach for predicting the unemployment rate under different degree of confidence

NASA Astrophysics Data System (ADS)

Ramli, Nazirah; Mutalib, Siti Musleha Ab; Mohamad, Daud

2017-08-01

Fuzzy time series forecasting model has been proposed since 1993 to cater for data in linguistic values. Many improvement and modification have been made to the model such as enhancement on the length of interval and types of fuzzy logical relation. However, most of the improvement models represent the linguistic term in the form of discrete fuzzy sets. In this paper, fuzzy time series model with data in the form of trapezoidal fuzzy numbers and natural partitioning length approach is introduced for predicting the unemployment rate. Two types of fuzzy relations are used in this study which are first order and second order fuzzy relation. This proposed model can produce the forecasted values under different degree of confidence.

Bridging the Gap: TESOL Training in a Linguistics Department

ERIC Educational Resources Information Center

Holland, Cory

2013-01-01

The relationship between structural linguists and applied linguists is notoriously uncomfortable; each tends to view the others' focus and methods with suspicion. Despite this uneasy relationship many TESOL-focused master's programs are housed in Linguistics Departments. This article reflects on my experience in 1 such department and makes…

Western Perspectives in Applied Linguistics in Africa

ERIC Educational Resources Information Center

Makoni, Sinfree; Meinhof, Ulrike H.

2004-01-01

The aim of this article is to analyze the nature of the historical and contemporary social contexts within which applied linguistics in Africa emerged, and is currently practiced. The article examines the challenges "local" applied Linguistics in Africa is confronted with as it tries to amplify applied linguistic programs emanating from…

Contradictory Reasoning Network: An EEG and fMRI Study

PubMed Central

Thai, Ngoc Jade; Seri, Stefano; Rotshtein, Pia; Tecchio, Franca

2014-01-01

Contradiction is a cornerstone of human rationality, essential for everyday life and communication. We investigated electroencephalographic (EEG) and functional magnetic resonance imaging (fMRI) in separate recording sessions during contradictory judgments, using a logical structure based on categorical propositions of the Aristotelian Square of Opposition (ASoO). The use of ASoO propositions, while controlling for potential linguistic or semantic confounds, enabled us to observe the spatial temporal unfolding of this contradictory reasoning. The processing started with the inversion of the logical operators corresponding to right middle frontal gyrus (rMFG-BA11) activation, followed by identification of contradictory statement associated with in the right inferior frontal gyrus (rIFG-BA47) activation. Right medial frontal gyrus (rMeFG, BA10) and anterior cingulate cortex (ACC, BA32) contributed to the later stages of process. We observed a correlation between the delayed latency of rBA11 response and the reaction time delay during inductive vs. deductive reasoning. This supports the notion that rBA11 is crucial for manipulating the logical operators. Slower processing time and stronger brain responses for inductive logic suggested that examples are easier to process than general principles and are more likely to simplify communication. PMID:24667491

Contradictory reasoning network: an EEG and FMRI study.

PubMed

Porcaro, Camillo; Medaglia, Maria Teresa; Thai, Ngoc Jade; Seri, Stefano; Rotshtein, Pia; Tecchio, Franca

2014-01-01

Contradiction is a cornerstone of human rationality, essential for everyday life and communication. We investigated electroencephalographic (EEG) and functional magnetic resonance imaging (fMRI) in separate recording sessions during contradictory judgments, using a logical structure based on categorical propositions of the Aristotelian Square of Opposition (ASoO). The use of ASoO propositions, while controlling for potential linguistic or semantic confounds, enabled us to observe the spatial temporal unfolding of this contradictory reasoning. The processing started with the inversion of the logical operators corresponding to right middle frontal gyrus (rMFG-BA11) activation, followed by identification of contradictory statement associated with in the right inferior frontal gyrus (rIFG-BA47) activation. Right medial frontal gyrus (rMeFG, BA10) and anterior cingulate cortex (ACC, BA32) contributed to the later stages of process. We observed a correlation between the delayed latency of rBA11 response and the reaction time delay during inductive vs. deductive reasoning. This supports the notion that rBA11 is crucial for manipulating the logical operators. Slower processing time and stronger brain responses for inductive logic suggested that examples are easier to process than general principles and are more likely to simplify communication.

CADAT network translator

NASA Technical Reports Server (NTRS)

Pitts, E. R.

1981-01-01

Program converts cell-net data into logic-gate models for use in test and simulation programs. Input consists of either Place, Route, and Fold (PRF) or Place-and-Route-in-Two-Dimensions (PR2D) layout data deck. Output consists of either Test Pattern Generator (TPG) or Logic-Simulation (LOGSIM) logic circuitry data deck. Designer needs to build only logic-gate-model circuit description since program acts as translator. Language is FORTRAN IV.

Research on teacher education programs: logic model approach.

PubMed

Newton, Xiaoxia A; Poon, Rebecca C; Nunes, Nicole L; Stone, Elisa M

2013-02-01

Teacher education programs in the United States face increasing pressure to demonstrate their effectiveness through pupils' learning gains in classrooms where program graduates teach. The link between teacher candidates' learning in teacher education programs and pupils' learning in K-12 classrooms implicit in the policy discourse suggests a one-to-one correspondence. However, the logical steps leading from what teacher candidates have learned in their programs to what they are doing in classrooms that may contribute to their pupils' learning are anything but straightforward. In this paper, we argue that the logic model approach from scholarship on evaluation can enhance research on teacher education by making explicit the logical links between program processes and intended outcomes. We demonstrate the usefulness of the logic model approach through our own work on designing a longitudinal study that focuses on examining the process and impact of an undergraduate mathematics and science teacher education program. Copyright © 2012 Elsevier Ltd. All rights reserved.

Television Linguistics Program. 1967 Report.

ERIC Educational Resources Information Center

Glassner, Leonard E.

The program teaches comtemporary English grammar through principles of linguistic science to 12,000 students in Pittsburgh. Structural grammar is presented to eighth and ninth grade students, and transformational grammar to tenth graders. In 1966-67, the effectiveness of the program was evaluated by data processing of final examination results.…

Neuro Linguistic Programming for Counselors.

ERIC Educational Resources Information Center

Harman, Robert L.; O'Neill, Charles

1981-01-01

Describes contributions of Neuro Linguistic Programming (NLP) to counseling practice. The Meta-Model, representational systems, anchoring, and reframing are described. Counselors interested in learning NLP can integrate many valuable new ways of communicating with clients and changing client behaviors. (Author)

2013/2014 Eco-Logical program annual report

DOT National Transportation Integrated Search

2014-12-01

The Eco-Logical approach offers an ecosystem-based framework for integrated infrastructure and natural resource planning, project development, and delivery. The 2013/2014 Eco-Logical Program Annual Report provides updates on the Federal Highway Admin...

Are children with Specific Language Impairment competent with the pragmatics and logic of quantification?

PubMed

Katsos, Napoleon; Roqueta, Clara Andrés; Estevan, Rosa Ana Clemente; Cummins, Chris

2011-04-01

Specific Language Impairment (SLI) is understood to be a disorder that predominantly affects phonology, morphosyntax and/or lexical semantics. There is little conclusive evidence on whether children with SLI are challenged with regard to Gricean pragmatic maxims and on whether children with SLI are competent with the logical meaning of quantifying expressions. We use the comprehension of statements quantified with 'all', 'none', 'some', 'some…not', 'most' and 'not all' as a paradigm to study whether Spanish-speaking children with SLI are competent with the pragmatic maxim of informativeness, as well as with the logical meaning of these expressions. Children with SLI performed more poorly than a group of age-matched typically-developing peers, and both groups performed more poorly with pragmatics than with logical meaning. Moreover, children with SLI were disproportionately challenged by pragmatic meaning compared to their age-matched peers. However, the performance of children with SLI was comparable to that of a group of younger language-matched typically-developing children. The findings document that children with SLI do face difficulties with employing the maxim of informativeness, as well as with understanding the logical meaning of quantifiers, but also that these difficulties are in keeping with their overall language difficulties rather than exceeding them. The implications of these findings for SLI, linguistic theory, and clinical practice are discussed. Copyright © 2010 Elsevier B.V. All rights reserved.

Simulation of the Predictive Control Algorithm for Container Crane Operation using Matlab Fuzzy Logic Tool Box

NASA Technical Reports Server (NTRS)

Richardson, Albert O.

1997-01-01

This research has investigated the use of fuzzy logic, via the Matlab Fuzzy Logic Tool Box, to design optimized controller systems. The engineering system for which the controller was designed and simulate was the container crane. The fuzzy logic algorithm that was investigated was the 'predictive control' algorithm. The plant dynamics of the container crane is representative of many important systems including robotic arm movements. The container crane that was investigated had a trolley motor and hoist motor. Total distance to be traveled by the trolley was 15 meters. The obstruction height was 5 meters. Crane height was 17.8 meters. Trolley mass was 7500 kilograms. Load mass was 6450 kilograms. Maximum trolley and rope velocities were 1.25 meters per sec. and 0.3 meters per sec., respectively. The fuzzy logic approach allowed the inclusion, in the controller model, of performance indices that are more effectively defined in linguistic terms. These include 'safety' and 'cargo swaying'. Two fuzzy inference systems were implemented using the Matlab simulation package, namely the Mamdani system (which relates fuzzy input variables to fuzzy output variables), and the Sugeno system (which relates fuzzy input variables to crisp output variable). It is found that the Sugeno FIS is better suited to including aspects of those plant dynamics whose mathematical relationships can be determined.

Welcoming Linguistic Diversity and Saying Adios to Remediation: Stretch and Studio Composition at a Hispanic-Serving Institution

ERIC Educational Resources Information Center

Davila, Bethany A.; Elder, Cristyn L.

2017-01-01

In this program profile, we describe the stretch/studio program recently implemented at the University of New Mexico. This program responds both to an institutional move away from remediation and to the large number of linguistically and racially diverse students at our institution. In this profile, we describe the new program's curriculum, which…

A Distance-Delivered Teacher Education Program for Rural Culturally and Linguistically Diverse Teacher Candidates

ERIC Educational Resources Information Center

Lohfink, Gayla; Morales, Amanda; Shroyer, Gail; Yahnke, Sally; Hernandez, Cecilia

2011-01-01

This article describes a collaborative, distance-delivered, teacher preparation program for rural, culturally and linguistically diverse (CLD) teacher candidates. Multiple institutions partnered with one university in order to diversify the teaching force in the region and meet the needs of CLD students living there. In describing the program's…

The Miami Linguistic Reading Program, 1965-1968. Report.

ERIC Educational Resources Information Center

Digneo, Ellen Hartnett, Ed.; Shaya, Tila, Ed.

Information related to the implementation of the Miami Linguistic Reading Program for Spanish-speaking and American Indian children in 6 New Mexico school systems is presented. School systems utilizing and reporting on the program are: (1) the West Las Vegas School System; (2) Anton Chico Elementary School in Santa Rosa; (3) Pojoaque Valley…

Influences of School Latino Composition and Linguistic Acculturation on a Prevention Program for Youths

ERIC Educational Resources Information Center

Marsiglia, Flavio F.; Yabiku, Scott T.; Kulis, Stephen; Nieri, Tanya; Lewin, Benjamin

2010-01-01

This study examined how ethnic composition and linguistic acculturation within schools affected the efficacy of a youth substance use prevention model program. Data came from a randomized trial of the "keepin' it REAL" program, using a predominantly Mexican American sample of middle school students in Phoenix, Arizona. Schools were…

Probabilistic modeling of discourse-aware sentence processing.

PubMed

Dubey, Amit; Keller, Frank; Sturt, Patrick

2013-07-01

Probabilistic models of sentence comprehension are increasingly relevant to questions concerning human language processing. However, such models are often limited to syntactic factors. This restriction is unrealistic in light of experimental results suggesting interactions between syntax and other forms of linguistic information in human sentence processing. To address this limitation, this article introduces two sentence processing models that augment a syntactic component with information about discourse co-reference. The novel combination of probabilistic syntactic components with co-reference classifiers permits them to more closely mimic human behavior than existing models. The first model uses a deep model of linguistics, based in part on probabilistic logic, allowing it to make qualitative predictions on experimental data; the second model uses shallow processing to make quantitative predictions on a broad-coverage reading-time corpus. Copyright © 2013 Cognitive Science Society, Inc.

A Logic Programming Testbed for Inductive Thought and Specification.

ERIC Educational Resources Information Center

Neff, Norman D.

This paper describes applications of logic programming technology to the teaching of the inductive method in computer science and mathematics. It discusses the nature of inductive thought and its place in those fields of inquiry, arguing that a complete logic programming system for supporting inductive inference is not only feasible but necessary.…

Neuro-Linguistic Programming and Family Therapy.

ERIC Educational Resources Information Center

Davis, Susan L. R.; Davis, Donald I.

1983-01-01

Presents a brief introduction to Neuro-Linguistic Programming (NLP), followed by case examples which illustrate some of the substantive gains which NLP techniques have provided in work with couples and families. NLP's major contributions involve understanding new models of human experience. (WAS)

A sample theory-based logic model to improve program development, implementation, and sustainability of Farm to School programs.

PubMed

Ratcliffe, Michelle M

2012-08-01

Farm to School programs hold promise to address childhood obesity. These programs may increase students’ access to healthier foods, increase students’ knowledge of and desire to eat these foods, and increase their consumption of them. Implementing Farm to School programs requires the involvement of multiple people, including nutrition services, educators, and food producers. Because these groups have not traditionally worked together and each has different goals, it is important to demonstrate how Farm to School programs that are designed to decrease childhood obesity may also address others’ objectives, such as academic achievement and economic development. A logic model is an effective tool to help articulate a shared vision for how Farm to School programs may work to accomplish multiple goals. Furthermore, there is evidence that programs based on theory are more likely to be effective at changing individuals’ behaviors. Logic models based on theory may help to explain how a program works, aid in efficient and sustained implementation, and support the development of a coherent evaluation plan. This article presents a sample theory-based logic model for Farm to School programs. The presented logic model is informed by the polytheoretical model for food and garden-based education in school settings (PMFGBE). The logic model has been applied to multiple settings, including Farm to School program development and evaluation in urban and rural school districts. This article also includes a brief discussion on the development of the PMFGBE, a detailed explanation of how Farm to School programs may enhance the curricular, physical, and social learning environments of schools, and suggestions for the applicability of the logic model for practitioners, researchers, and policy makers.

A measurement model of multiple intelligence profiles of management graduates

NASA Astrophysics Data System (ADS)

Krishnan, Heamalatha; Awang, Siti Rahmah

2017-05-01

In this study, developing a fit measurement model and identifying the best fitting items to represent Howard Gardner's nine intelligences namely, musical intelligence, bodily-kinaesthetic intelligence, mathematical/logical intelligence, visual/spatial intelligence, verbal/linguistic intelligence, interpersonal intelligence, intrapersonal intelligence, naturalist intelligence and spiritual intelligence are the main interest in order to enhance the opportunities of the management graduates for employability. In order to develop a fit measurement model, Structural Equation Modeling (SEM) was applied. A psychometric test which is the Ability Test in Employment (ATIEm) was used as the instrument to measure the existence of nine types of intelligence of 137 University Teknikal Malaysia Melaka (UTeM) management graduates for job placement purposes. The initial measurement model contains nine unobserved variables and each unobserved variable is measured by ten observed variables. Finally, the modified measurement model deemed to improve the Normed chi-square (NC) = 1.331; Incremental Fit Index (IFI) = 0.940 and Root Mean Square of Approximation (RMSEA) = 0.049 was developed. The findings showed that the UTeM management graduates possessed all nine intelligences either high or low. Musical intelligence, mathematical/logical intelligence, naturalist intelligence and spiritual intelligence contributed highest loadings on certain items. However, most of the intelligences such as bodily kinaesthetic intelligence, visual/spatial intelligence, verbal/linguistic intelligence interpersonal intelligence and intrapersonal intelligence possessed by UTeM management graduates are just at the borderline.

The Linguistic Memory of Composition and the Rhetoric and Composition PhD: Forgetting (and Remembering) Language and Language Difference in Doctoral Curricula

ERIC Educational Resources Information Center

Kilfoil, Carrie Byars

2017-01-01

This article analyzes the decline of linguistics in rhetoric and composition PhD programs in terms of the "linguistic memory" (Trimbur) of composition. Since the field of linguistics once offered the primary means for composition to address the structural, psychological, sociohistorical, and cultural dimensions of language in student…

Procedural and Logic Programming: A Comparison.

ERIC Educational Resources Information Center

Watkins, Will; And Others

1988-01-01

Examines the similarities and fundamental differences between procedural programing and logic programing by comparing LogoWriter and PROLOG. Suggests that PROLOG may be a good first programing language for students to learn. (MVL)

The Effects of Learning a Computer Programming Language on the Logical Reasoning of School Children.

ERIC Educational Resources Information Center

Seidman, Robert H.

The research reported in this paper explores the syntactical and semantic link between computer programming statements and logical principles, and addresses the effects of learning a programming language on logical reasoning ability. Fifth grade students in a public school in Syracuse, New York, were randomly selected as subjects, and then…

Development of a Logic Model to Guide Evaluations of the ASCA National Model for School Counseling Programs

ERIC Educational Resources Information Center

Martin, Ian; Carey, John

2014-01-01

A logic model was developed based on an analysis of the 2012 American School Counselor Association (ASCA) National Model in order to provide direction for program evaluation initiatives. The logic model identified three outcomes (increased student achievement/gap reduction, increased school counseling program resources, and systemic change and…

Development of a program logic model and evaluation plan for a participatory ergonomics intervention in construction.

PubMed

Jaegers, Lisa; Dale, Ann Marie; Weaver, Nancy; Buchholz, Bryan; Welch, Laura; Evanoff, Bradley

2014-03-01

Intervention studies in participatory ergonomics (PE) are often difficult to interpret due to limited descriptions of program planning and evaluation. In an ongoing PE program with floor layers, we developed a logic model to describe our program plan, and process and summative evaluations designed to describe the efficacy of the program. The logic model was a useful tool for describing the program elements and subsequent modifications. The process evaluation measured how well the program was delivered as intended, and revealed the need for program modifications. The summative evaluation provided early measures of the efficacy of the program as delivered. Inadequate information on program delivery may lead to erroneous conclusions about intervention efficacy due to Type III error. A logic model guided the delivery and evaluation of our intervention and provides useful information to aid interpretation of results. © 2013 Wiley Periodicals, Inc.

Development of a Program Logic Model and Evaluation Plan for a Participatory Ergonomics Intervention in Construction

PubMed Central

Jaegers, Lisa; Dale, Ann Marie; Weaver, Nancy; Buchholz, Bryan; Welch, Laura; Evanoff, Bradley

2013-01-01

Background Intervention studies in participatory ergonomics (PE) are often difficult to interpret due to limited descriptions of program planning and evaluation. Methods In an ongoing PE program with floor layers, we developed a logic model to describe our program plan, and process and summative evaluations designed to describe the efficacy of the program. Results The logic model was a useful tool for describing the program elements and subsequent modifications. The process evaluation measured how well the program was delivered as intended, and revealed the need for program modifications. The summative evaluation provided early measures of the efficacy of the program as delivered. Conclusions Inadequate information on program delivery may lead to erroneous conclusions about intervention efficacy due to Type III error. A logic model guided the delivery and evaluation of our intervention and provides useful information to aid interpretation of results. PMID:24006097

[Fuzzy logic in urology. How to reason in inaccurate terms].

PubMed

Vírseda Chamorro, Miguel; Salinas Casado, Jesus; Vázquez Alba, David

2004-05-01

The Occidental thinking is basically binary, based on opposites. The classic logic constitutes a systematization of these thinking. The methods of pure sciences such as physics are based on systematic measurement, analysis and synthesis. Nature is described by deterministic differential equations this way. Medical knowledge does not adjust well to deterministic equations of physics so that probability methods are employed. However, this method is not free of problems, both theoretical and practical, so that it is not often possible even to know with certainty the probabilities of most events. On the other hand, the application of binary logic to medicine in general, and to urology particularly, finds serious difficulties such as the imprecise character of the definition of most diseases and the uncertainty associated with most medical acts. These are responsible for the fact that many medical recommendations are made using a literary language which is inaccurate, inconsistent and incoherent. The blurred logic is a way of reasoning coherently using inaccurate concepts. This logic was proposed by Lofti Zadeh in 1965 and it is based in two principles: the theory of blurred conjuncts and the use of blurred rules. A blurred conjunct is one the elements of which have a degree of belonging between 0 and 1. Each blurred conjunct is associated with an inaccurate property or linguistic variable. Blurred rules use the principles of classic logic adapted to blurred conjuncts taking the degree of belonging of each element to the blurred conjunct of reference as the value of truth. Blurred logic allows to do coherent urologic recommendations (i.e. what patient is the performance of PSA indicated in?, what to do in the face of an elevated PSA?), or to perform diagnosis adapted to the uncertainty of diagnostic tests (e.g. data obtained from pressure flow studies in females).

The State of Software

ERIC Educational Resources Information Center

Day, A. C.

1975-01-01

ALLC members are divided here into pure linguists, pure programmers, and linguist programmers. Five computer languages and the use of packages and coders are discussed briefly. It is suggested that the pure programmers are best able to help the pure linguists with their programming problems. (RM)

An interval logic for higher-level temporal reasoning

NASA Technical Reports Server (NTRS)

Schwartz, R. L.; Melliar-Smith, P. M.; Vogt, F. H.; Plaisted, D. A.

1983-01-01

Prior work explored temporal logics, based on classical modal logics, as a framework for specifying and reasoning about concurrent programs, distributed systems, and communications protocols, and reported on efforts using temporal reasoning primitives to express very high level abstract requirements that a program or system is to satisfy. Based on experience with those primitives, this report describes an Interval Logic that is more suitable for expressing such higher level temporal properties. The report provides a formal semantics for the Interval Logic, and several examples of its use. A description of decision procedures for the logic is also included.

Neuro-Linguistic Programming Treatment for Anxiety: Magic or Myth?

ERIC Educational Resources Information Center

Krugman, Martin; And Others

1985-01-01

Compared neuro-linguistic programing treatment for anxiety with self-control desensitization of equal duration and a waiting-list control group in treating public speaking anxiety. Results indicated that neither treatment was more effective in reducing anxiety than merely waiting for one hour. (Author/MCF)

Linguistic multi-criteria decision-making with representing semantics by programming

NASA Astrophysics Data System (ADS)

Yang, Wu-E.; Ma, Chao-Qun; Han, Zhi-Qiu

2017-01-01

A linguistic multi-criteria decision-making method is introduced. In this method, a maximising discrimination programming assigns the semanteme values to linguistic variables to represent their semantics. Incomplete preferences from using linguistic information are expressed by the constraints of the model. Such assignment can amplify the difference between alternatives. Thus, the discrimination of the decision model is increased, which facilitates the decision-maker to rank or order the alternatives for making a decision. We also discuss the parameter setting and its influence, and use an application example to illustrate the proposed method. Further, the results with three types of semantic structure highlight the ability of the method in handling different semantic structures.

Assessment of Evidence-based Management Training Program: Application of a Logic Model.

PubMed

Guo, Ruiling; Farnsworth, Tracy J; Hermanson, Patrick M

2016-06-01

The purposes of this study were to apply a logic model to plan and implement an evidence-based management (EBMgt) educational training program for healthcare administrators and to examine whether a logic model is a useful tool for evaluating the outcomes of the educational program. The logic model was used as a conceptual framework to guide the investigators in developing an EBMgt educational training program and evaluating the outcomes of the program. The major components of the logic model were constructed as inputs, outputs, and outcomes/impacts. The investigators delineated the logic model based on the results of the needs assessment survey. Two 3-hour training workshops were delivered to 30 participants. To assess the outcomes of the EBMgt educational program, pre- and post-tests and self-reflection surveys were conducted. The data were collected and analyzed descriptively and inferentially, using the IBM Statistical Package for the Social Sciences (SPSS) 22.0. A paired sample t-test was performed to compare the differences in participants' EBMgt knowledge and skills prior to and after the training. The assessment results showed that there was a statistically significant difference in participants' EBMgt knowledge and information searching skills before and after the training (p< 0.001). Participants' confidence in using the EBMgt approach for decision-making was significantly increased after the training workshops (p< 0.001). Eighty-three percent of participants indicated that the knowledge and skills they gained through the training program could be used for future management decision-making in their healthcare organizations. The overall evaluation results of the program were positive. It is suggested that the logic model is a useful tool for program planning, implementation, and evaluation, and it also improves the outcomes of the educational program.

Logic via Computer Programming.

ERIC Educational Resources Information Center

Wieschenberg, Agnes A.

This paper proposed the question "How do we teach logical thinking and sophisticated mathematics to unsophisticated college students?" One answer among many is through the writing of computer programs. The writing of computer algorithms is mathematical problem solving and logic in disguise and it may attract students who would otherwise stop…

The importance of context in logic model construction for a multi-site community-based Aboriginal driver licensing program.

PubMed

Cullen, Patricia; Clapham, Kathleen; Byrne, Jake; Hunter, Kate; Senserrick, Teresa; Keay, Lisa; Ivers, Rebecca

2016-08-01

Evidence indicates that Aboriginal people are underrepresented among driver licence holders in New South Wales, which has been attributed to licensing barriers for Aboriginal people. The Driving Change program was developed to provide culturally responsive licensing services that engage Aboriginal communities and build local capacity. This paper outlines the formative evaluation of the program, including logic model construction and exploration of contextual factors. Purposive sampling was used to identify key informants (n=12) from a consultative committee of key stakeholders and program staff. Semi-structured interviews were transcribed and thematically analysed. Data from interviews informed development of the logic model. Participants demonstrated high level of support for the program and reported that it filled an important gap. The program context revealed systemic barriers to licensing that were correspondingly targeted by specific program outputs in the logic model. Addressing underlying assumptions of the program involved managing local capacity and support to strengthen implementation. This formative evaluation highlights the importance of exploring program context as a crucial first step in logic model construction. The consultation process assisted in clarifying program goals and ensuring that the program was responding to underlying systemic factors that contribute to inequitable licensing access for Aboriginal people. Copyright © 2016 Elsevier Ltd. All rights reserved.

C code generation from Petri-net-based logic controller specification

NASA Astrophysics Data System (ADS)

Grobelny, Michał; Grobelna, Iwona; Karatkevich, Andrei

2017-08-01

The article focuses on programming of logic controllers. It is important that a programming code of a logic controller is executed flawlessly according to the primary specification. In the presented approach we generate C code for an AVR microcontroller from a rule-based logical model of a control process derived from a control interpreted Petri net. The same logical model is also used for formal verification of the specification by means of the model checking technique. The proposed rule-based logical model and formal rules of transformation ensure that the obtained implementation is consistent with the already verified specification. The approach is validated by practical experiments.

Exploring Linguistic Identity in Young Multilingual Learners

ERIC Educational Resources Information Center

Dressler, Roswita

2014-01-01

This article explores the linguistic identity of young multilingual learners through the use of a Language Portrait Silhouette. Examples from a research study of children aged 6-8 years in a German bilingual program in Canada provide teachers with an understanding that linguistic identity comprises expertise, affiliation, and inheritance. This…

Promoting diversity through program websites: A multicultural content analysis of school psychology program websites.

PubMed

Smith, Leann V; Blake, Jamilia J; Graves, Scott L; Vaughan-Jensen, Jessica; Pulido, Ryne; Banks, Courtney

2016-09-01

The recruitment of culturally and linguistically diverse students to graduate programs is critical to the overall growth and development of school psychology as a field. Program websites serve as an effective recruitment tool for attracting prospective students, yet there is limited research on how school psychology programs use their websites to recruit diverse students. The purpose of this study was to evaluate whether school psychology program websites include sufficient levels of diversity-related content critical for attracting diverse applicants. The website content of 250 professional psychology programs (165 school psychology training programs and 85 clinical and counseling psychology programs) were examined for the presence of themes of diversity and multiculturalism that prospective racially/ethnically and linguistically diverse students deem important for selecting a graduate program. Results indicated that school psychology programs had less diversity-related content on their program's website relative to clinical and counseling psychology programs.' Implications for improving recruitment of racially/ethnically and linguistically diverse students through websites are discussed. (PsycINFO Database Record (c) 2016 APA, all rights reserved).

Neuro-Linguistic Programming, Matching Sensory Predicates, and Rapport.

ERIC Educational Resources Information Center

Schmedlen, George W.; And Others

A key task for the therapist in psychotherapy is to build trust and rapport with the client. Neuro-Linguistic Programming (NLP) practitioners believe that matching the sensory modality (representational system) of a client's predicates (verbs, adverbs, and adjectives) improves rapport. In this study, 16 volunteer subjects participated in two…

Overview of a Linguistic Theory of Design. AI Memo 383A.

ERIC Educational Resources Information Center

Miller, Mark L.; Goldstein, Ira P.

The SPADE theory, which uses linguistic formalisms to model the planning and debugging processes of computer programming, was simultaneously developed and tested in three separate contexts--computer uses in education, automatic programming (a traditional artificial intelligence arena), and protocol analysis (the domain of information processing…

An Evaluation of Culturally Responsive Practices in Special Education Program for Preservice Educators

ERIC Educational Resources Information Center

Scott, LaRon A.; Alexander, Quentin; Fritton, Sandra; Thoma, Colleen

2017-01-01

Meeting the needs of students from culturally and linguistically diverse backgrounds is a serious concern that schools are facing. This article describes an evaluation of embedding culturally and linguistically diverse evidence-based practices in a master's program for teacher candidates seeking endorsement in special education. A…

ANALOGY AND DISANALOGY IN PRODUCTION AND PERCEPTION OF SPEECH

PubMed Central

Remez, Robert E.

2014-01-01

A varied psychological vocabulary now describes the cognitive and social conditions of language production, the ultimate result of which is the mechanical action of vocal musculature in spoken expression. Following the logic of the speech chain, descriptions of production have often exhibited a clear analogy to accounts of perception. This reciprocality is especially evident in explanations that rely on reafference to control production, on articulation to inform perception, and on strict parity between produced and perceived form to provide invariance in the relation between abstract linguistic objects and observed expression. However, a causal account of production and perception cannot derive solely from this hopeful analogy. Despite sharing of abstract linguistic representations, the control functions in production and perception as well as the constraints on their use stand in fundamental disanalogy. This is readily seen in the different adaptive challenges to production — to speak in a single voice — and perception — to resolve familiar linguistic properties in any voice. This acknowledgment sets descriptive and theoretical challenges that break the symmetry of production and perception. As a consequence, this recognition dislodges an old impasse between the psychoacoustic and motoric accounts in the regulation of production and perception. PMID:25642428

An adaptive maneuvering logic computer program for the simulation of one-on-one air-to-air combat. Volume 1: General description

NASA Technical Reports Server (NTRS)

Burgin, G. H.; Fogel, L. J.; Phelps, J. P.

1975-01-01

A technique for computer simulation of air combat is described. Volume 1 decribes the computer program and its development in general terms. Two versions of the program exist. Both incorporate a logic for selecting and executing air combat maneuvers with performance models of specific fighter aircraft. In the batch processing version the flight paths of two aircraft engaged in interactive aerial combat and controlled by the same logic are computed. The realtime version permits human pilots to fly air-to-air combat against the adaptive maneuvering logic (AML) in Langley Differential Maneuvering Simulator (DMS). Volume 2 consists of a detailed description of the computer programs.

SITE PROGRAM DEMONSTRATION ECO LOGIC INTERNATIONAL GAS-PHASE CHEMICAL REDUCTION PROCESS, BAY CITY, MICHIGAN TECHNOLOGY EVALUATION REPORT

EPA Science Inventory

The SITE Program funded a field demonstration to evaluate the Eco Logic Gas-Phase Chemical Reduction Process developed by ELI Eco Logic International Inc. (ELI), Ontario, Canada. The Demonstration took place at the Middleground Landfill in Bay City, Michigan using landfill wa...

The Application of Logic Programming to Communication Education.

ERIC Educational Resources Information Center

Sanford, David L.

Recommending that communication students be required to learn to use computers not merely as number crunchers, word processors, data bases, and graphics generators, but also as logical inference makers, this paper examines the recently developed technology of logical programing in computer languages. It presents two syllogisms and shows how they…

77 FR 35107 - Petition for Waiver of Compliance

Federal Register 2010, 2011, 2012, 2013, 2014

2012-06-12

... devices. CSX requests relief from 49 CFR 236.109 as it applies to variable timers within the program logic... program logic of the operating software. However, CSX notes that some microprocessor-based equipment have.../check sum/universal control number of the existing location specific application logic to the previously...

A logic-based method for integer programming

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

Hooker, J.; Natraj, N.R.

1994-12-31

We propose a logic-based approach to integer programming that replaces traditional branch-and-cut techniques with logical analogs. Integer variables are regarded as atomic propositions. The constraints give rise to logical formulas that are analogous to separating cuts. No continuous relaxation is used. Rather, the cuts are selected so that they can be easily solved as a discrete relaxation. (In fact, defining a relaxation and generating cuts are best seen as the same problem.) We experiment with relaxations that have a k-tree structure and can be solved by nonserial dynamic programming. We also present logic-based analogs of facet-defining cuts, Chv{acute a}tal rank,more » etc. We conclude with some preliminary computational results.« less

Fostering and Inspiring Research Engagement (FIRE): program logic of a research incubator scheme for allied health students.

PubMed

Ziviani, Jenny; Feeney, Rachel; Schabrun, Siobhan; Copland, David; Hodges, Paul

2014-08-01

The purpose of this study was to present the application of a logic model in depicting the underlying theory of an undergraduate research scheme for occupational therapy, physiotherapy, and speech pathology university students in Queensland, Australia. Data gathered from key written documents on the goals and intended operation of the research incubator scheme were used to create a draft (unverified) logic model. The major components of the logic model were inputs and resources, activities/outputs, and outcomes (immediate/learning, intermediate/action, and longer term/impacts). Although immediate and intermediate outcomes chiefly pertained to students' participation in honours programs, longer-term outcomes (impacts) concerned their subsequent participation in research higher-degree programs and engagement in research careers. Program logic provided an effective means of clarifying program objectives and the mechanisms by which the research incubator scheme was designed to achieve its intended outcomes. This model was developed as the basis for evaluation of the effectiveness of the scheme in achieving its stated goals.

A hybrid nanomemristor/transistor logic circuit capable of self-programming

PubMed Central

Borghetti, Julien; Li, Zhiyong; Straznicky, Joseph; Li, Xuema; Ohlberg, Douglas A. A.; Wu, Wei; Stewart, Duncan R.; Williams, R. Stanley

2009-01-01

Memristor crossbars were fabricated at 40 nm half-pitch, using nanoimprint lithography on the same substrate with Si metal-oxide-semiconductor field effect transistor (MOS FET) arrays to form fully integrated hybrid memory resistor (memristor)/transistor circuits. The digitally configured memristor crossbars were used to perform logic functions, to serve as a routing fabric for interconnecting the FETs and as the target for storing information. As an illustrative demonstration, the compound Boolean logic operation (A AND B) OR (C AND D) was performed with kilohertz frequency inputs, using resistor-based logic in a memristor crossbar with FET inverter/amplifier outputs. By routing the output signal of a logic operation back onto a target memristor inside the array, the crossbar was conditionally configured by setting the state of a nonvolatile switch. Such conditional programming illuminates the way for a variety of self-programmed logic arrays, and for electronic synaptic computing. PMID:19171903

A hybrid nanomemristor/transistor logic circuit capable of self-programming.

PubMed

Borghetti, Julien; Li, Zhiyong; Straznicky, Joseph; Li, Xuema; Ohlberg, Douglas A A; Wu, Wei; Stewart, Duncan R; Williams, R Stanley

2009-02-10

Memristor crossbars were fabricated at 40 nm half-pitch, using nanoimprint lithography on the same substrate with Si metal-oxide-semiconductor field effect transistor (MOS FET) arrays to form fully integrated hybrid memory resistor (memristor)/transistor circuits. The digitally configured memristor crossbars were used to perform logic functions, to serve as a routing fabric for interconnecting the FETs and as the target for storing information. As an illustrative demonstration, the compound Boolean logic operation (A AND B) OR (C AND D) was performed with kilohertz frequency inputs, using resistor-based logic in a memristor crossbar with FET inverter/amplifier outputs. By routing the output signal of a logic operation back onto a target memristor inside the array, the crossbar was conditionally configured by setting the state of a nonvolatile switch. Such conditional programming illuminates the way for a variety of self-programmed logic arrays, and for electronic synaptic computing.

Conceptual Modeling via Logic Programming

DTIC Science & Technology

1990-01-01

Define User Interface and Query Language L i1W= Ltl k.l 4. Define Procedures for Specifying Output S . Select Logic Programming Language 6. Develop ...baseline s change model. sessions and baselines. It was changed 6. Develop Methodology for C 31 Users. considerably with the advent of the window This...Model Development : Implica- for Conceptual Modeling Via Logic tions for Communications of a Cognitive Programming. Marina del Rey, Calif.: Analysis of

Logic Models in Out-of-School Time Programs: What Are They and Why Are They Important? Research-to-Results Brief. Publication #2007-01

ERIC Educational Resources Information Center

Hamilton, Jenny; Bronte-Tinkew, Jacinta

2007-01-01

A logic model, also called a conceptual model and theory-of-change model, is a visual representation of how a program is expected to "work." It relates resources, activities, and the intended changes or impacts that a program is expected to create. Typically, logic models are diagrams or flow charts with illustrations, text, and arrows that…

Development of a Logic Model for a Physical Activity–Based Employee Wellness Program for Mass Transit Workers

PubMed Central

Petruzzello, Steven J.; Ryan, Katherine E.

2014-01-01

Transportation workers, who constitute a large sector of the workforce, have worksite factors that harm their health. Worksite wellness programs must target this at-risk population. Although physical activity is often a component of worksite wellness logic models, we consider it the cornerstone for improving the health of mass transit employees. Program theory was based on in-person interviews and focus groups of employees. We identified 4 short-term outcome categories, which provided a chain of responses based on the program activities that should lead to the desired end results. This logic model may have significant public health impact, because it can serve as a framework for other US mass transit districts and worksite populations that face similar barriers to wellness, including truck drivers, railroad employees, and pilots. The objective of this article is to discuss the development of a logic model for a physical activity–based mass-transit employee wellness program by describing the target population, program theory, the components of the logic model, and the process of its development. PMID:25032838

Development of a logic model for a physical activity-based employee wellness program for mass transit workers.

PubMed

Das, Bhibha M; Petruzzello, Steven J; Ryan, Katherine E

2014-07-17

Transportation workers, who constitute a large sector of the workforce, have worksite factors that harm their health. Worksite wellness programs must target this at-risk population. Although physical activity is often a component of worksite wellness logic models, we consider it the cornerstone for improving the health of mass transit employees. Program theory was based on in-person interviews and focus groups of employees. We identified 4 short-term outcome categories, which provided a chain of responses based on the program activities that should lead to the desired end results. This logic model may have significant public health impact, because it can serve as a framework for other US mass transit districts and worksite populations that face similar barriers to wellness, including truck drivers, railroad employees, and pilots. The objective of this article is to discuss the development of a logic model for a physical activity-based mass-transit employee wellness program by describing the target population, program theory, the components of the logic model, and the process of its development.

THRESHOLD LOGIC IN ARTIFICIAL INTELLIGENCE

DTIC Science & Technology

COMPUTER LOGIC, ARTIFICIAL INTELLIGENCE , BIONICS, GEOMETRY, INPUT OUTPUT DEVICES, LINEAR PROGRAMMING, MATHEMATICAL LOGIC, MATHEMATICAL PREDICTION, NETWORKS, PATTERN RECOGNITION, PROBABILITY, SWITCHING CIRCUITS, SYNTHESIS

Linguistics at School: Language Awareness in Primary and Secondary Education

ERIC Educational Resources Information Center

Denham, Kristin, Ed.; Lobeck, Anne, Ed.

2010-01-01

Linguistics is a subject that has remained largely confined to the academy, rather than being integrated into school curricula. This is unfortunate but not surprising, as although some teacher education programs include courses on linguistics, it is not comprehensively integrated into teacher education, so it is largely absent from the curriculum.…

Linguistic Error Analysis on Students' Thesis Proposals

ERIC Educational Resources Information Center

Pescante-Malimas, Mary Ann; Samson, Sonrisa C.

2017-01-01

This study identified and analyzed the common linguistic errors encountered by Linguistics, Literature, and Advertising Arts majors in their Thesis Proposal classes in the First Semester 2016-2017. The data were the drafts of the thesis proposals of the students from the three different programs. A total of 32 manuscripts were analyzed which was…

Research in the School of Languages and Linguistics at Griffith University

ERIC Educational Resources Information Center

Fenton-Smith, Ben; Walkinshaw, Ian

2014-01-01

Griffith University is set across five campuses in south-east Queensland, Australia, and has a student population of 43,000. The School of Languages and Linguistics (LAL) offers programs in linguistics, international English, Chinese, Italian, Japanese and Spanish, as well as English language enhancement courses. Research strands reflect the…

Building Culturally & Linguistically Competent Services to Support Young Children, Their Families, and School Readiness

ERIC Educational Resources Information Center

Hepburn, Kathy Seitzinger

2004-01-01

The purpose of this tool kit is to provide guidance, tools, and resources that will assist communities in building culturally and linguistically competent services, supports, programs, and practices related to young children, their families. By offering services in culturally and linguistically meaningful ways, communities can engage all families…

Abductive Equivalential Translation and its application to Natural Language Database Interfacing

NASA Astrophysics Data System (ADS)

Rayner, Manny

1994-05-01

The thesis describes a logical formalization of natural-language database interfacing. We assume the existence of a ``natural language engine'' capable of mediating between surface linguistic string and their representations as ``literal'' logical forms: the focus of interest will be the question of relating ``literal'' logical forms to representations in terms of primitives meaningful to the underlying database engine. We begin by describing the nature of the problem, and show how a variety of interface functionalities can be considered as instances of a type of formal inference task which we call ``Abductive Equivalential Translation'' (AET); functionalities which can be reduced to this form include answering questions, responding to commands, reasoning about the completeness of answers, answering meta-questions of type ``Do you know...'', and generating assertions and questions. In each case, a ``linguistic domain theory'' (LDT) Γ and an input formula F are given, and the goal is to construct a formula with certain properties which is equivalent to F, given Γ and a set of permitted assumptions. If the LDT is of a certain specified type, whose formulas are either conditional equivalences or Horn-clauses, we show that the AET problem can be reduced to a goal-directed inference method. We present an abstract description of this method, and sketch its realization in Prolog. The relationship between AET and several problems previously discussed in the literature is discussed. In particular, we show how AET can provide a simple and elegant solution to the so-called ``Doctor on Board'' problem, and in effect allows a ``relativization'' of the Closed World Assumption. The ideas in the thesis have all been implemented concretely within the SRI CLARE project, using a real projects and payments database. The LDT for the example database is described in detail, and examples of the types of functionality that can be achieved within the example domain are presented.

Barriers to Full Participation in the Individualized Education Program for Culturally and Linguistically Diverse Parents

ERIC Educational Resources Information Center

Tamzarian, Arpi; Menzies, Holly M.; Ricci, Leila

2012-01-01

The Individuals with Disabilities Education Improvement Act (2004) mandates that schools facilitate parent participation in planning the Individual Education Program (IEP). However, culturally and linguistically diverse parents are less likely to feel fully included in the IEP process. In this article we examine three sources of cross-cultural…

[Communicating effectively: neuro-linguistic programming in the psychiatric interview].

PubMed

Ducasse, Déborah; Fond, Guillaume

2014-01-01

Neuro-linguistic programming is a set of practices and knowledge which seeks to "model" and then imitate the best communication practices. Applying the key concepts to the care relationship in mental health care helps to improve the quality of the contact, the clarity of the communication and to create an openness to change.

Restructuring Schools for Linguistic Diversity: Linking Decision Making to Effective Programs. Second Edition. Language & Literacy Series

ERIC Educational Resources Information Center

Miramontes, Ofelia B.; Nadeau, Adel; Commins, Nancy L.

2011-01-01

This bestselling book addresses a major instructional and policy concern in public education--how personnel and resources can best be utilized to develop strong instructional programs for a culturally and linguistically diverse (CLD) student population. This meticulously updated second edition incorporates the experience that the authors have…

Neuro-Linguistic Programming: Developing Effective Communication in the Classroom.

ERIC Educational Resources Information Center

Torres, Cresencio; Katz, Judy H.

Neuro-Linguistic Programming (NLP) is a method that teachers can use to increase their communication effectiveness by matching their communication patterns with those of their students. The basic premise of NLP is that people operate and make sense of their experience through information received from the world around them. This information is…

Neuro-Linguistic Programming in Couple Therapy.

ERIC Educational Resources Information Center

Forman, Bruce D.

Neuro-Linguistic Programming (NLP) is a method of understanding the organization of subjective human experience. The NLP model provides a theoretical framework for directing or guiding therapeutic change. According to NLP, people experience the so-called real world indirectly and operate on the real world as if it were like the model of it they…

Validation of Linguistic and Communicative Oral Language Tests for Spanish-English Bilingual Programs.

ERIC Educational Resources Information Center

Politzer, Robert L.; And Others

1983-01-01

The development, administration, and scoring of a communicative test and its validation with tests of linguistic and sociolinguistic competence in English and Spanish are reported. Correlation with measures of home language use and school achievement are also presented, and issues of test validation for bilingual programs are discussed. (MSE)

French Phonology for Teachers: A Programmed Introduction.

ERIC Educational Resources Information Center

Green, Jerald R.; Poulin, Norman A.

This programed, self-instructional course has the following terminal objectives: (1) to present some notions of the science of linguistics and the major branches of linguistics, (2) to teach the segmental and suprasegmental phonemes of French, (3) to identify the major articulatory problems of French for the native speaker of English, (4) to…

Neuro-Linguistic Programming as an Innovation in Education and Teaching

ERIC Educational Resources Information Center

Tosey, Paul; Mathison, Jane

2010-01-01

Neuro-linguistic programming (NLP)--an emergent, contested approach to communication and personal development created in the 1970s--has become increasingly familiar in education and teaching. There is little academic work on NLP to date. This article offers an informed introduction to, and appraisal of, the field for educators. We review the…

Investigating the Relationship between Iranian EFL Teachers' Autonomy and Their Neuro-Linguistic Programming

ERIC Educational Resources Information Center

Hosseinzadeh, Ehsan; Baradaran, Abdollah

2015-01-01

The present study was an attempt to investigate the relationship between English Language Teachers' autonomy and their Neuro-linguistic Programming (NLP). To this end, a group of 200 experienced English language teachers at various language schools in Tehran, inter alia, Asre Zaban Language Academy, were given two questionnaires namely Teaching…

Syntax, concepts, and logic in the temporal dynamics of language comprehension: evidence from event-related potentials.

PubMed

Steinhauer, Karsten; Drury, John E; Portner, Paul; Walenski, Matthew; Ullman, Michael T

2010-05-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 processing, and none have directly compared these aspects of processing with syntax and lexical/conceptual-semantics. We used ERPs to examine a violation paradigm involving "Negative Polarity Items" or NPIs (e.g., ever/any), which are sensitive to logical/truth-conditional properties of the environments in which they occur (e.g., presence/absence of negation in: John hasn't ever been to Paris, versus: John has *ever been to Paris). Previous studies examining similar types of contrasts found a mix of effects on familiar ERP components (e.g., LAN, N400, P600). We argue that their experimental designs and/or analyses were incapable of separating which effects are connected to NPI-licensing violations proper. Our design enabled statistical analyses teasing apart genuine violation effects from independent effects tied solely to lexical/contextual factors. Here unlicensed NPIs elicited a late P600 followed in onset by a late left anterior negativity (or "L-LAN"), an ERP profile which has also appeared elsewhere in studies targeting logical semantics. Crucially, qualitatively distinct ERP-profiles emerged for syntactic and conceptual semantic violations which we also tested here. We discuss how these findings may be linked to previous findings in the ERP literature. Apart from methodological recommendations, we suggest that the study of logical semantics may aid advancing our understanding of the underlying neurocognitive etiology of ERP components. 2010 Elsevier Ltd. All rights reserved.

Systematic design of membership functions for fuzzy-logic control: A case study on one-stage partial nitritation/anammox treatment systems.

PubMed

Boiocchi, Riccardo; Gernaey, Krist V; Sin, Gürkan

2016-10-01

A methodology is developed to systematically design the membership functions of fuzzy-logic controllers for multivariable systems. The methodology consists of a systematic derivation of the critical points of the membership functions as a function of predefined control objectives. Several constrained optimization problems corresponding to different qualitative operation states of the system are defined and solved to identify, in a consistent manner, the critical points of the membership functions for the input variables. The consistently identified critical points, together with the linguistic rules, determine the long term reachability of the control objectives by the fuzzy logic controller. The methodology is highlighted using a single-stage side-stream partial nitritation/Anammox reactor as a case study. As a result, a new fuzzy-logic controller for high and stable total nitrogen removal efficiency is designed. Rigorous simulations are carried out to evaluate and benchmark the performance of the controller. The results demonstrate that the novel control strategy is capable of rejecting the long-term influent disturbances, and can achieve a stable and high TN removal efficiency. Additionally, the controller was tested, and showed robustness, against measurement noise levels typical for wastewater sensors. A feedforward-feedback configuration using the present controller would give even better performance. In comparison, a previously developed fuzzy-logic controller using merely expert and intuitive knowledge performed worse. This proved the importance of using a systematic methodology for the derivation of the membership functions for multivariable systems. These results are promising for future applications of the controller in real full-scale plants. Furthermore, the methodology can be used as a tool to help systematically design fuzzy logic control applications for other biological processes. Copyright © 2016 Elsevier Ltd. All rights reserved.

SYNTAX, CONCEPTS, AND LOGIC IN THE TEMPORAL DYNAMICS OF LANGUAGE COMPREHENSION: EVIDENCE FROM EVENT RELATED POTENTIALS

PubMed Central

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 processing, and none have directly compared these aspects of processing with syntax and lexical/conceptual-semantics. We used ERPs to examine a violation paradigm involving “Negative Polarity Items” or NPIs (e.g., ever/any), which are sensitive to logical/truth-conditional properties of the environments in which they occur (e.g., presence/absence of negation in: John hasn’t ever been to Paris, versus: John has *ever been to Paris). Previous studies examining similar types of contrasts found a mix of effects on familiar ERP components (e.g., LAN, N400, P600). We argue that their experimental designs and/or analyses were incapable of separating which effects are connected to NPI-licensing violations proper. Our design enabled statistical analyses teasing apart genuine violation effects from independent effects tied solely to lexical/contextual factors. Here unlicensed NPIs elicited a late P600 followed in onset by a late left anterior negativity (or “L-LAN”), an ERP profile which has also appeared elsewhere in studies targeting logical semantics. Crucially, qualitatively distinct ERP-profiles emerged for syntactic and conceptual semantic violations which we also tested here. We discuss how these findings may be linked to previous findings in the ERP literature. Apart from methodological recommendations, we suggest that the study of logical semantics may aid advancing our understanding of the underlying neurocognitive etiology of ERP components. PMID:20138065

Recursivity in Lingua Cosmica

NASA Astrophysics Data System (ADS)

Ollongren, Alexander

2011-02-01

In a sequence of papers on the topic of message construction for interstellar communication by means of a cosmic language, the present author has discussed various significant requirements such a lingua should satisfy. The author's Lingua Cosmica is a (meta) system for annotating contents of possibly large-scale messages for ETI. LINCOS, based on formal constructive logic, was primarily designed for dealing with logic contents of messages but is also applicable for denoting structural properties of more general abstractions embedded in such messages. The present paper explains ways and means for achieving this for a special case: recursive entities. As usual two stages are involved: first the domain of discourse is enriched with suitable representations of the entities concerned, after which properties over them can be dealt with within the system itself. As a representative example the case of Russian dolls (Matrjoshka's) is discussed in some detail and relations with linguistic structures in natural languages are briefly exploited.

Evolutionary fuzzy modeling human diagnostic decisions.

PubMed

Peña-Reyes, Carlos Andrés

2004-05-01

Fuzzy CoCo is a methodology, combining fuzzy logic and evolutionary computation, for constructing systems able to accurately predict the outcome of a human decision-making process, while providing an understandable explanation of the underlying reasoning. Fuzzy logic provides a formal framework for constructing systems exhibiting both good numeric performance (accuracy) and linguistic representation (interpretability). However, fuzzy modeling--meaning the construction of fuzzy systems--is an arduous task, demanding the identification of many parameters. To solve it, we use evolutionary computation techniques (specifically cooperative coevolution), which are widely used to search for adequate solutions in complex spaces. We have successfully applied the algorithm to model the decision processes involved in two breast cancer diagnostic problems, the WBCD problem and the Catalonia mammography interpretation problem, obtaining systems both of high performance and high interpretability. For the Catalonia problem, an evolved system was embedded within a Web-based tool-called COBRA-for aiding radiologists in mammography interpretation.

Hybrid neural network and fuzzy logic approaches for rendezvous and capture in space

NASA Technical Reports Server (NTRS)

Berenji, Hamid R.; Castellano, Timothy

1991-01-01

The nonlinear behavior of many practical systems and unavailability of quantitative data regarding the input-output relations makes the analytical modeling of these systems very difficult. On the other hand, approximate reasoning-based controllers which do not require analytical models have demonstrated a number of successful applications such as the subway system in the city of Sendai. These applications have mainly concentrated on emulating the performance of a skilled human operator in the form of linguistic rules. However, the process of learning and tuning the control rules to achieve the desired performance remains a difficult task. Fuzzy Logic Control is based on fuzzy set theory. A fuzzy set is an extension of a crisp set. Crisp sets only allow full membership or no membership at all, whereas fuzzy sets allow partial membership. In other words, an element may partially belong to a set.

Runtime Analysis of Linear Temporal Logic Specifications

NASA Technical Reports Server (NTRS)

Giannakopoulou, Dimitra; Havelund, Klaus

2001-01-01

This report presents an approach to checking a running program against its Linear Temporal Logic (LTL) specifications. LTL is a widely used logic for expressing properties of programs viewed as sets of executions. Our approach consists of translating LTL formulae to finite-state automata, which are used as observers of the program behavior. The translation algorithm we propose modifies standard LTL to B chi automata conversion techniques to generate automata that check finite program traces. The algorithm has been implemented in a tool, which has been integrated with the generic JPaX framework for runtime analysis of Java programs.

Neuro-Linguistic Programming: Human Technology for Today’s Air Force.

DTIC Science & Technology

1986-04-01

Part III, pp. 4-5. ’ 26. Ibid, p. 6. 27. Donald W. McCormick, " Neurolinguistic Programming : A Resource Guide and Review of the Research, The 1984...Carol Johnson, " Neurolinguistic Programming --Mystique or Mistake?" Army Organizational Effectiveness Journal, No. 1, 1985, pp. 74-80. 29. Dilts...AD-RI67 836 NEURO-LINGUISTIC PROGRAMMING : HUHAN TECHNOLOGY FOR / TODAY’S AIR FORCEMU AIR COMMAND ANM STAFF COLL NAXHELL AFB AL J B CAULFIELD APR 86

Program Theory Evaluation: Logic Analysis

ERIC Educational Resources Information Center

Brousselle, Astrid; Champagne, Francois

2011-01-01

Program theory evaluation, which has grown in use over the past 10 years, assesses whether a program is designed in such a way that it can achieve its intended outcomes. This article describes a particular type of program theory evaluation--logic analysis--that allows us to test the plausibility of a program's theory using scientific knowledge.…

What's in a Name? Degree Programs and What They Tell Us about "Applied Linguistics" in Australia

ERIC Educational Resources Information Center

Murray, Neil; Crichton, Jonathan

2010-01-01

In this paper we explore the provision of applied linguistics within Australian universities. We focus on how the "what" of applied linguistics, as captured in scholarly definitions of the discipline, accords with the "where", as captured in potential contexts of application as these are manifested in provision. In doing so, we…

Pecan Research and Outreach in New Mexico: Logic Model Development and Change in Communication Paradigms

ERIC Educational Resources Information Center

Sammis, Theodore W.; Shukla, Manoj K.; Mexal, John G.; Wang, Junming; Miller, David R.

2013-01-01

Universities develop strategic planning documents, and as part of that planning process, logic models are developed for specific programs within the university. This article examines the long-standing pecan program at New Mexico State University and the deficiencies and successes in the evolution of its logic model. The university's agricultural…

A retrospective review of the Honduras AIN-C program guided by a community health worker performance logic model.

PubMed

Rodríguez, Daniela C; Peterson, Lauren A

2016-05-06

Factors that influence performance of community health workers (CHWs) delivering health services are not well understood. A recent logic model proposed categories of support from both health sector and communities that influence CHW performance and program outcomes. This logic model has been used to review a growth monitoring program delivered by CHWs in Honduras, known as Atención Integral a la Niñez en la Comunidad (AIN-C). A retrospective review of AIN-C was conducted through a document desk review and supplemented with in-depth interviews. Documents were systematically coded using the categories from the logic model, and gaps were addressed through interviews. Authors reviewed coded data for each category to analyze program details and outcomes as well as identify potential issues and gaps in the logic model. Categories from the logic model were inconsistently represented, with more information available for health sector than community. Context and input activities were not well documented. Information on health sector systems-level activities was available for governance but limited for other categories, while not much was found for community systems-level activities. Most available information focused on program-level activities with substantial data on technical support. Output, outcome, and impact data were drawn from various resources and suggest mixed results of AIN-C on indicators of interest. Assessing CHW performance through a desk review left gaps that could not be addressed about the relationship of activities and performance. There were critical characteristics of program design that made it contextually appropriate; however, it was difficult to identify clear links between AIN-C and malnutrition indicators. Regarding the logic model, several categories were too broad (e.g., technical support, context) and some aspects of AIN-C did not fit neatly in logic model categories (e.g., political commitment, equity, flexibility in implementation). The CHW performance logic model has potential as a tool for program planning and evaluation but would benefit from additional supporting tools and materials to facilitate and operationalize its use.

Teaching Standard Italian to Dialect Speakers: A Pedagogical Perspective of Linguistic Systems in Contact

ERIC Educational Resources Information Center

Danesi, Marcel

1974-01-01

The teaching of standard Italian to speakers of Italian dialects both in Italy and in North America is discussed, specifically through a specialized pedagogical program within the framework of a sociolinguistic and psycholinguistic perspective, and based on a structural analysis of linguistic systems in contact. Italian programs in Toronto are…

Collaborative Teaching in a Linguistically and Culturally Diverse Higher Education Setting: A Case Study of a Postgraduate Accounting Program

ERIC Educational Resources Information Center

Evans, Elaine; Tindale, Jen; Cable, Dawn; Mead, Suzanne Hamil

2009-01-01

The Language for Professional Communication in Accounting project has changed teaching practice in a linguistically and culturally diverse postgraduate accounting program at Macquarie University in Australia. This paper reflects on the project's interdisciplinary and collaborative approach to diversity in the classroom by tracing its growth and…

Academic and Linguistic Gains during a Semester-Long Study Abroad: A Cohort Case Study

ERIC Educational Resources Information Center

Cai, Wei; Li, Xiangrong; Liu, Meihua

2013-01-01

The present case study investigated university students' academic and linguistic gains during a semester-long exchange program abroad. Thirty three third-year English majors from a Chinese university answered a battery of questionnaires and 13 of them participated in semi-structured interviews both prior to and after the program. Analyses of the…

A Qualitative Investigation into the Experience of Neuro-Linguistic Programming Certification Training among Japanese Career Consultants

ERIC Educational Resources Information Center

Kotera, Yasuhiro

2018-01-01

Although the application of neuro-linguistic programming (NLP) has been reported worldwide, its scientific investigation is limited. Career consulting is one of the fields where NLP has been increasingly applied in Japan. This study explored why career consultants undertake NLP training, and what they find most useful to their practice. Thematic…

Exploring the Role Teacher Perceptions Play in the Underrepresentation of Culturally and Linguistically Diverse Students in Gifted Programming

ERIC Educational Resources Information Center

Allen, Jennifer K.

2017-01-01

This qualitative study explored the role teacher perceptions play in the underrepresentation of culturally and linguistically diverse (CLD) students in gifted programming. Purposeful sampling was used to select six interview participants with at least 5 years of teaching experience. Each participant took part in two semistructured interviews over…

A Self-Paced Introductory Programming Course

ERIC Educational Resources Information Center

Gill, T. Grandon; Holton, Carolyn F.

2006-01-01

In this paper, a required introductory programming course being taught to MIS undergraduates using the C++ programming language is described. Two factors make the objectives of the course--which are to provide students with an exposure to the logical organization of the computer in addition to teaching them basic programming logic--particularly…

An Overview of the Runtime Verification Tool Java PathExplorer

NASA Technical Reports Server (NTRS)

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

2002-01-01

We present an overview of the Java PathExplorer runtime verification tool, in short referred to as JPAX. JPAX can monitor the execution of a Java program and check that it conforms with a set of user provided properties formulated in temporal logic. JPAX can in addition analyze the program for concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provided specification. The tool facilitates automated instrumentation of a program's bytecode, which when executed will emit an event stream, the execution trace, to an observer. The observer dispatches the incoming event stream to a set of observer processes, each performing a specialized analysis, such as the temporal logic verification, the deadlock analysis and the data race analysis. Temporal logic specifications can be formulated by the user in the Maude rewriting logic, where Maude is a high-speed rewriting system for equational logic, but here extended with executable temporal logic. The Maude rewriting engine is then activated as an event driven monitoring process. Alternatively, temporal specifications can be translated into efficient automata, which check the event stream. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems.

Fuzzy logic based robotic controller

NASA Technical Reports Server (NTRS)

Attia, F.; Upadhyaya, M.

1994-01-01

Existing Proportional-Integral-Derivative (PID) robotic controllers rely on an inverse kinematic model to convert user-specified cartesian trajectory coordinates to joint variables. These joints experience friction, stiction, and gear backlash effects. Due to lack of proper linearization of these effects, modern control theory based on state space methods cannot provide adequate control for robotic systems. In the presence of loads, the dynamic behavior of robotic systems is complex and nonlinear, especially where mathematical modeling is evaluated for real-time operators. Fuzzy Logic Control is a fast emerging alternative to conventional control systems in situations where it may not be feasible to formulate an analytical model of the complex system. Fuzzy logic techniques track a user-defined trajectory without having the host computer to explicitly solve the nonlinear inverse kinematic equations. The goal is to provide a rule-based approach, which is closer to human reasoning. The approach used expresses end-point error, location of manipulator joints, and proximity to obstacles as fuzzy variables. The resulting decisions are based upon linguistic and non-numerical information. This paper presents a solution to the conventional robot controller which is independent of computationally intensive kinematic equations. Computer simulation results of this approach as obtained from software implementation are also discussed.

Design of an iterative auto-tuning algorithm for a fuzzy PID controller

NASA Astrophysics Data System (ADS)

Saeed, Bakhtiar I.; Mehrdadi, B.

2012-05-01

Since the first application of fuzzy logic in the field of control engineering, it has been extensively employed in controlling a wide range of applications. The human knowledge on controlling complex and non-linear processes can be incorporated into a controller in the form of linguistic terms. However, with the lack of analytical design study it is becoming more difficult to auto-tune controller parameters. Fuzzy logic controller has several parameters that can be adjusted, such as: membership functions, rule-base and scaling gains. Furthermore, it is not always easy to find the relation between the type of membership functions or rule-base and the controller performance. This study proposes a new systematic auto-tuning algorithm to fine tune fuzzy logic controller gains. A fuzzy PID controller is proposed and applied to several second order systems. The relationship between the closed-loop response and the controller parameters is analysed to devise an auto-tuning method. The results show that the proposed method is highly effective and produces zero overshoot with enhanced transient response. In addition, the robustness of the controller is investigated in the case of parameter changes and the results show a satisfactory performance.

Fuzzy – PI controller to control the velocity parameter of Induction Motor

NASA Astrophysics Data System (ADS)

Malathy, R.; Balaji, V.

2018-04-01

The major application of Induction motor includes the usage of the same in industries because of its high robustness, reliability, low cost, highefficiency and good self-starting capability. Even though it has the above mentioned advantages, it also have some limitations: (1) the standard motor is not a true constant-speed machine, itsfull-load slip varies less than 1 % (in high-horsepower motors).And (2) it is not inherently capable of providing variable-speedoperation. In order to solve the above mentioned problem smart motor controls and variable speed controllers are used. Motor applications involve non linearity features, which can be controlled by Fuzzy logic controller as it is capable of handling those features with high efficiency and it act similar to human operator. This paper presents individuality of the plant modelling. The fuzzy logic controller (FLC)trusts on a set of linguistic if-then rules, a rule-based Mamdani for closed loop Induction Motor model. Themotor model is designed and membership functions are chosenaccording to the parameters of the motor model. Simulation results contains non linearity in induction motor model. A conventional PI controller iscompared practically to fuzzy logic controller using Simulink.

OncoLogicTM

EPA Science Inventory

OncoLogic^TM - A Computer System to Evaluate the Carcinogenic Potential of Chemicals
OncoLogic^TM is a software program that evaluates the likelihood that a chemical may cause cancer. OncoLogic^TM has been peer reviewed and is being rele...

Hand-Held Calculator Algorithms for Coastal Engineering.

DTIC Science & Technology

1982-01-01

and water depth at the structure toe, ds. The development of the equation is derived on the solution sheet included with program 104R. Algorithm uses...Limited Design Breaking Wave Height at Structure (AOS logic)... .... ....... ......... .54 6. 105R Wave Transmission - Fuchs’ Equation (RPN logic...58 105A Wave Transmission - Fuchs’ Equation (AOS logic). . . . 61 APPENDIX BLANK PROGRAM FORMS ........ ....................... ... 67 4

Coinductive Logic Programming with Negation

NASA Astrophysics Data System (ADS)

Min, Richard; Gupta, Gopal

We introduce negation into coinductive logic programming (co-LP) via what we term Coinductive SLDNF (co-SLDNF) resolution. We present declarative and operational semantics of co-SLDNF resolution and present their equivalence under the restriction of rationality. Co-LP with co-SLDNF resolution provides a powerful, practical and efficient operational semantics for Fitting's Kripke-Kleene three-valued logic with restriction of rationality. Further, applications of co-SLDNF resolution are also discussed and illustrated where Co-SLDNF resolution allows one to develop elegant implementations of modal logics. Moreover it provides the capability of non-monotonic inference (e.g., predicate Answer Set Programming) that can be used to develop novel and effective first-order modal non-monotonic inference engines.

LOGSIM user's manual. [Logic Simulation Program for computer aided design of logic circuits

NASA Technical Reports Server (NTRS)

Mitchell, C. L.; Taylor, J. F.

1972-01-01

The user's manual for the LOGSIM Program is presented. All program options are explained and a detailed definition of the format of each input card is given. LOGSIM Program operations, and the preparation of LOGSIM input data are discused along with data card formats, postprocessor data cards, and output interpretation.

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

ERIC Educational Resources Information Center

Farahani, Fahimeh

2018-01-01

Neuro-Linguistic Programming (NLP) has potential to help language learners; however, it has received scant attention. The present study was an attempt to investigate the effect of NLP techniques on reading comprehension of English as a Foreign Language (EFL) learners at an English for Specific Purposes (ESP) course. To achieve this goal, two…

Linguistically and Culturally Diverse Students' Perceptions of Successful Classroom Practices in a UK Graduate Program

ERIC Educational Resources Information Center

Rich, Sarah

2005-01-01

In this paper, I present the findings of a longitudinal study into the perceptions of linguistically and culturally diverse practicing teachers in a graduate program in the United Kingdom (UK) with regard to pedagogic practices deemed successful in helping them negotiate access to an academic community of practice. It is argued that an approach…

Logic Models: A Tool for Designing and Monitoring Program Evaluations. REL 2014-007

ERIC Educational Resources Information Center

Lawton, Brian; Brandon, Paul R.; Cicchinelli, Louis; Kekahio, Wendy

2014-01-01

introduction to logic models as a tool for designing program evaluations defines the major components of education programs--resources, activities, outputs, and short-, mid-, and long-term outcomes--and uses an example to demonstrate the relationships among them. This quick…

A Logical Analysis of Quantum Voting Protocols

NASA Astrophysics Data System (ADS)

Rad, Soroush Rafiee; Shirinkalam, Elahe; Smets, Sonja

2017-12-01

In this paper we provide a logical analysis of the Quantum Voting Protocol for Anonymous Surveying as developed by Horoshko and Kilin in (Phys. Lett. A 375, 1172-1175 2011). In particular we make use of the probabilistic logic of quantum programs as developed in (Int. J. Theor. Phys. 53, 3628-3647 2014) to provide a formal specification of the protocol and to derive its correctness. Our analysis is part of a wider program on the application of quantum logics to the formal verification of protocols in quantum communication and quantum computation.

The case for multimodal analysis of atypical interaction: questions, answers and gaze in play involving a child with autism.

PubMed

Muskett, Tom; Body, Richard

2013-01-01

Conversation analysis (CA) continues to accrue interest within clinical linguistics as a methodology that can enable elucidation of structural and sequential orderliness in interactions involving participants who produce ostensibly disordered communication behaviours. However, it can be challenging to apply CA to re-examine clinical phenomena that have initially been defined in terms of linguistics, as a logical starting point for analysis may be to focus primarily on the organisation of language ("talk") in such interactions. In this article, we argue that CA's methodological power can only be fully exploited in this research context when a multimodal analytic orientation is adopted, where due consideration is given to participants' co-ordinated use of multiple semiotic resources including, but not limited to, talk (e.g., gaze, embodied action, object use and so forth). To evidence this argument, a two-layered analysis of unusual question-answer sequences in a play episode involving a child with autism is presented. It is thereby demonstrated that only when the scope of enquiry is broadened to include gaze and other embodied action can an account be generated of orderliness within these sequences. This finding has important implications for CA's application as a research methodology within clinical linguistics.

Constraint Logic Programming approach to protein structure prediction.

PubMed

Dal Palù, Alessandro; Dovier, Agostino; Fogolari, Federico

2004-11-30

The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information and/or simplified protein models. The protein structure prediction problem can be cast in the form of an optimization problem. Notwithstanding its importance, the problem has very seldom been tackled by Constraint Logic Programming, a declarative programming paradigm suitable for solving combinatorial optimization problems. Constraint Logic Programming techniques have been applied to the protein structure prediction problem on the face-centered cube lattice model. Molecular dynamics techniques, endowed with the notion of constraint, have been also exploited. Even using a very simplified model, Constraint Logic Programming on the face-centered cube lattice model allowed us to obtain acceptable results for a few small proteins. As a test implementation their (known) secondary structure and the presence of disulfide bridges are used as constraints. Simplified structures obtained in this way have been converted to all atom models with plausible structure. Results have been compared with a similar approach using a well-established technique as molecular dynamics. The results obtained on small proteins show that Constraint Logic Programming techniques can be employed for studying protein simplified models, which can be converted into realistic all atom models. The advantage of Constraint Logic Programming over other, much more explored, methodologies, resides in the rapid software prototyping, in the easy way of encoding heuristics, and in exploiting all the advances made in this research area, e.g. in constraint propagation and its use for pruning the huge search space.

Acknowledging Spanish and English resources during mathematical reasoning

NASA Astrophysics Data System (ADS)

LópezLeiva, Carlos A.; Torres, Zayoni; Khisty, Lena L.

2013-12-01

As English-only efforts continue in the US schooling system, dual-language programs have served as attempts to preserve students' home language. An after-school, dual-language, Spanish-English, mathematics program, Los Rayos was developed in a predominantly Mexican/Mexican-American neighborhood in Chicago. As participant observers with a sociocultural perspective, we explored the linguistic and personal resources used by participating 4th grade bilingual Latina/o students. We found that students used imaginative, playful, and hybrid linguistic resources to make sense of and solve probability tasks when engaged within a zone of mathematical practice. Results challenge narrow perspectives on bilingual students' linguistic resources. Language implications are discussed.

Preparing underemployed Latino U.S. nurses through the Mexico NCLEX-RN Success Program.

PubMed

Lujan, Josefina; Little, Kermit

2010-12-01

The critical nursing shortage in U.S. communities along the United States-Mexico border is compounded by the need for nurses who are linguistically and culturally concordant with the growing number of Latinos in these communities. The innovative 16-week Mexico NCLEX-RN Success Program responds to this need by helping underemployed Latino nurses, who were educated in Mexico and live in the United States, adapt linguistically and culturally to multiple-choice testing. Ten of the program students have taken the NCLEX-RN with a 50% pass rate, which is twice as high as the internationally educated candidate passing average. This demonstrates potential for the program to build the human capacity of U.S. communities along the United States-Mexico border by infusing linguistically and culturally concordant nurses into the workforce and materializing the dream of underemployed Latino nurses to implement their hard-earned and urgently needed nursing skills. Lessons learned from the program are discussed. Copyright 2010, SLACK Incorporated.

Linguistics in School Programs. The Sixty-Ninth Yearbook of the National Society for the Study of Education, Part II.

ERIC Educational Resources Information Center

Marckwardt, Albert H., Ed.

Authors in Section 1 of this yearbook distinguish between the special knowledge and tools employed by the linguists, and the concepts and conclusions which may be passed on to teachers; while authors in Section 2 deal specifically with linguistics in the school context--both its content and its implications for teaching strategies. Papers and…

Educational Linguistics as a Field: A View from Penn's Program on the Occasion of Its 25th Anniversary.

ERIC Educational Resources Information Center

Hornberger, Nancy H.

2001-01-01

Educational linguistics at the University of Pennsylvania's (Penn) Graduate School of Education traces its beginnings to 1976 and the deanship of Dell Hymes. This paper takes up various aspects of the practice of educational linguistics at Penn, discussing them in relation to issues that have been raised in the literature about the definition,…

A Comparison of Linear and Systems Thinking Approaches for Program Evaluation Illustrated Using the Indiana Interdisciplinary GK-12

ERIC Educational Resources Information Center

Dyehouse, Melissa; Bennett, Deborah; Harbor, Jon; Childress, Amy; Dark, Melissa

2009-01-01

Logic models are based on linear relationships between program resources, activities, and outcomes, and have been used widely to support both program development and evaluation. While useful in describing some programs, the linear nature of the logic model makes it difficult to capture the complex relationships within larger, multifaceted…

The place of human values in the language of science: Kuhn, Saussure, and structuralism.

PubMed

Psaty, B M; Inui, T S

1991-12-01

The current paradigm in medicine generally distinguishes between genetic and environmental causes of disease. Although the word "paradigm" has become a commonplace, the theories of Thomas Kuhn have not received much attention in the journals of medicine. Kuhn's structuralist method differs radically from the daily activities of the scientific method itself. Using linguistic theory, this essay offers a structuralist reading of Thomas Kuhn's The Structure of Scientific Revolutions. Our purpose is to highlight the similarities between these structuralist models of science and language. In part, we focus on the logic that enables Kuhn to assert the priority of perception over interpretation in the history of science. To illustrate some of these issues, we refer to the distinction between environmental and genetic causes of disease. While the activity of scientific research results in the revision of concepts in science, the production of significant differences that shape our knowledge is in part a social and linguistic process.

Logic integer programming models for signaling networks.

PubMed

Haus, Utz-Uwe; Niermann, Kathrin; Truemper, Klaus; Weismantel, Robert

2009-05-01

We propose a static and a dynamic approach to model biological signaling networks, and show how each can be used to answer relevant biological questions. For this, we use the two different mathematical tools of Propositional Logic and Integer Programming. The power of discrete mathematics for handling qualitative as well as quantitative data has so far not been exploited in molecular biology, which is mostly driven by experimental research, relying on first-order or statistical models. The arising logic statements and integer programs are analyzed and can be solved with standard software. For a restricted class of problems the logic models reduce to a polynomial-time solvable satisfiability algorithm. Additionally, a more dynamic model enables enumeration of possible time resolutions in poly-logarithmic time. Computational experiments are included.

The linguistic repudiation of Wundt.

PubMed

Nerlich, B; Clarke, D D

1998-08-01

Wilhelm Wundt's influence on the development of linguistics and psychology was pervasive. The foundations for this web of influence on the sciences of mind and language were laid down in Wundt's own research program, which was quite different from other attempts at founding a new psychology, as it was deeply rooted in German philosophy. This resulted in certain gaps in Wundt's conception of mind and language. These gaps provoked a double repudiation of Wundt's theories, by linguists and psychologists. The psychological repudiation has been studied by historians of psychology, and the linguistic repudiation has been studied by historians of linguistics. The intent of this article is to bring the linguistic repudiation to the attention of historians of psychology, especially the one outlined by two important figures in the history of psychology: Karl Buhler and George Mead.

The Old Brain, the New Mirror: Matching Teaching and Learning Styles in Foreign Language Class (Based on Neuro-Linguistic Programming).

ERIC Educational Resources Information Center

Knowles, John K.

The process of matching teaching materials and methods to the student's learning style and ability level in foreign language classes is explored. The Neuro-Linguistic Programming (NLP) model offers a diagnostic process for the identification of style. This process can be applied to the language learning setting as a way of presenting material to…

Exploratory Comparisons from the Field: Study of Students from Two Teacher Credentialing Programs of Cross-Cultural, Language, and Academic Development (Professional Development Schools and Regular Teacher Education Programs).

ERIC Educational Resources Information Center

Torrez, Nena

This paper discusses development of the Crosscultural, Language, and Academic Development (CLAD) credential in California's preservice teacher education. CLAD focuses on first and second language development, educational equity, linguistic and cultural diversity, equal access to core curriculum, respect for cultural and linguistic issues,…

Training in Influencing Skills from Neuro-Linguistic Programming (Modelled from Hypnosis and Family Therapy), in Combination with Innovative Maths Pedagogy, Raises Maths Attainment in Adult Numeracy Learners

ERIC Educational Resources Information Center

Allan, F.; Bourne, J.; Bouch, D.; Churches, R.; Dennison, J.; Evans, J.; Fowler, J.; Jeffers, A.; Prior, E.; Rhodes, L.

2012-01-01

Case study research suggests that NLP [neuro-linguistic programming] influencing strategies benefit teacher effectiveness. Maths pedagogy involving higher-order questioning, challenge, problem solving and collaborative working may be a way of improving attainment in adult numeracy learning, however, such strategies may be less effective if the…

Programming Programmable Logic Controller. High-Technology Training Module.

ERIC Educational Resources Information Center

Lipsky, Kevin

This training module on programming programmable logic controllers (PLC) is part of the memory structure and programming unit used in a packaging systems equipment control course. In the course, students assemble, install, maintain, and repair industrial machinery used in industry. The module contains description, objectives, content outline,…

The Logic of Evaluation.

ERIC Educational Resources Information Center

Welty, Gordon A.

The logic of the evaluation of educational and other action programs is discussed from a methodological viewpoint. However, no attempt is made to develop methods of evaluating programs. In Part I, the structure of an educational program is viewed as a system with three components--inputs, transformation of inputs into outputs, and outputs. Part II…

A String Search Marketing Application Using Visual Programming

ERIC Educational Resources Information Center

Chin, Jerry M.; Chin, Mary H.; Van Landuyt, Cathryn

2013-01-01

This paper demonstrates the use of programing software that provides the student programmer visual cues to construct the code to a student programming assignment. This method does not disregard or minimize the syntax or required logical constructs. The student can concentrate more on the logic and less on the language itself.

Implementing Eco-Logical 2014-2015 Annual Report

DOT National Transportation Integrated Search

2015-12-01

The Eco-Logical approach offers an ecosystem-based framework for integrated infrastructure and natural resource planning, project development, and delivery. The 2014/2015 Implementing Eco-Logical Program Annual Report provides updates on the Federal ...

Application of Fuzzy Logic in Oral Cancer Risk Assessment

PubMed Central

SCROBOTĂ, Ioana; BĂCIUȚ, Grigore; FILIP, Adriana Gabriela; TODOR, Bianca; BLAGA, Florin; BĂCIUȚ, Mihaela Felicia

2017-01-01

Background: The mapping of the malignization mechanism is still incomplete, but oxidative stress is strongly correlated to carcinogenesis. In our research, using fuzzy logic, we aimed to estimate the oxidative stress related-cancerization risk of the oral potentially malignant disorders. Methods: Serum from 16 patients diagnosed (clinical and histopathological) with oral potentially malignant disorders (Dept. of Cranio-Maxillofacial Surgery and Radiology, ”Iuliu Hațieganu” University of Medicine and Pharmacy, Cluj Napoca, Romania) was processed fluorometric for malondialdehyde and proton donors assays (Dept. of Physiology,”Iuliu Hațieganu” University of Medicine and Pharmacy, Cluj-Napoca, Romania). The values were used as inputs, they were associated linguistic terms using MIN-MAX method and 25 IF-THEN inference rules were generated to estimate the output value, the cancerization risk appreciated on a scale from 1 to 10 - IF malondialdehyde is very high and donors protons are very low THEN the cancer risk is reaching the maximum value (Dept. of Industrial Engineering, Faculty of Managerial and Technological Engineering, University of Oradea, Oradea, Romania) (2012–2014). Results: We estimated the cancerization risk of the oral potentially malignant disorders by implementing the multi-criteria decision support system based on serum malondialdehyde and proton donors’ values. The risk was estimated as a concrete numerical value on a scale from 1 to 10 depending on the input numerical/linguistic value. Conclusion: The multi-criteria decision support system proposed by us, integrated into a more complex computerized decision support system, could be used as an important aid in oral cancer screening and establish future medical decision in oral potentially malignant disorders. PMID:28560191

Application of Fuzzy Logic in Oral Cancer Risk Assessment.

PubMed

Scrobotă, Ioana; Băciuț, Grigore; Filip, Adriana Gabriela; Todor, Bianca; Blaga, Florin; Băciuț, Mihaela Felicia

2017-05-01

The mapping of the malignization mechanism is still incomplete, but oxidative stress is strongly correlated to carcinogenesis. In our research, using fuzzy logic, we aimed to estimate the oxidative stress related-cancerization risk of the oral potentially malignant disorders. Serum from 16 patients diagnosed (clinical and histopathological) with oral potentially malignant disorders (Dept. of Cranio-Maxillofacial Surgery and Radiology, "Iuliu Hațieganu" University of Medicine and Pharmacy, Cluj Napoca, Romania) was processed fluorometric for malondialdehyde and proton donors assays (Dept. of Physiology,"Iuliu Hațieganu" University of Medicine and Pharmacy, Cluj-Napoca, Romania). The values were used as inputs, they were associated linguistic terms using MIN-MAX method and 25 IF-THEN inference rules were generated to estimate the output value, the cancerization risk appreciated on a scale from 1 to 10 - IF malondialdehyde is very high and donors protons are very low THEN the cancer risk is reaching the maximum value (Dept. of Industrial Engineering, Faculty of Managerial and Technological Engineering, University of Oradea, Oradea, Romania) (2012-2014). We estimated the cancerization risk of the oral potentially malignant disorders by implementing the multi-criteria decision support system based on serum malondialdehyde and proton donors' values. The risk was estimated as a concrete numerical value on a scale from 1 to 10 depending on the input numerical/linguistic value. The multi-criteria decision support system proposed by us, integrated into a more complex computerized decision support system, could be used as an important aid in oral cancer screening and establish future medical decision in oral potentially malignant disorders.

A fuzzy logic-based model for noise control at industrial workplaces.

PubMed

Aluclu, I; Dalgic, A; Toprak, Z F

2008-05-01

Ergonomics is a broad science encompassing the wide variety of working conditions that can affect worker comfort and health, including factors such as lighting, noise, temperature, vibration, workstation design, tool design, machine design, etc. This paper describes noise-human response and a fuzzy logic model developed by comprehensive field studies on noise measurements (including atmospheric parameters) and control measures. The model has two subsystems constructed on noise reduction quantity in dB. The first subsystem of the fuzzy model depending on 549 linguistic rules comprises acoustical features of all materials used in any workplace. Totally 984 patterns were used, 503 patterns for model development and the rest 481 patterns for testing the model. The second subsystem deals with atmospheric parameter interactions with noise and has 52 linguistic rules. Similarly, 94 field patterns were obtained; 68 patterns were used for training stage of the model and the rest 26 patterns for testing the model. These rules were determined by taking into consideration formal standards, experiences of specialists and the measurements patterns. The results of the model were compared with various statistics (correlation coefficients, max-min, standard deviation, average and coefficient of skewness) and error modes (root mean square error and relative error). The correlation coefficients were significantly high, error modes were quite low and the other statistics were very close to the data. This statement indicates the validity of the model. Therefore, the model can be used for noise control in any workplace and helpful to the designer in planning stage of a workplace.

Mining Building Energy Management System Data Using Fuzzy Anomaly Detection and Linguistic Descriptions

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

Dumidu Wijayasekara; Ondrej Linda; Milos Manic

Building Energy Management Systems (BEMSs) are essential components of modern buildings that utilize digital control technologies to minimize energy consumption while maintaining high levels of occupant comfort. However, BEMSs can only achieve these energy savings when properly tuned and controlled. Since indoor environment is dependent on uncertain criteria such as weather, occupancy, and thermal state, performance of BEMS can be sub-optimal at times. Unfortunately, the complexity of BEMS control mechanism, the large amount of data available and inter-relations between the data can make identifying these sub-optimal behaviors difficult. This paper proposes a novel Fuzzy Anomaly Detection and Linguistic Description (Fuzzy-ADLD)more » based method for improving the understandability of BEMS behavior for improved state-awareness. The presented method is composed of two main parts: 1) detection of anomalous BEMS behavior and 2) linguistic representation of BEMS behavior. The first part utilizes modified nearest neighbor clustering algorithm and fuzzy logic rule extraction technique to build a model of normal BEMS behavior. The second part of the presented method computes the most relevant linguistic description of the identified anomalies. The presented Fuzzy-ADLD method was applied to real-world BEMS system and compared against a traditional alarm based BEMS. In six different scenarios, the Fuzzy-ADLD method identified anomalous behavior either as fast as or faster (an hour or more), that the alarm based BEMS. In addition, the Fuzzy-ADLD method identified cases that were missed by the alarm based system, demonstrating potential for increased state-awareness of abnormal building behavior.« less

Post optimization paradigm in maximum 3-satisfiability logic programming

NASA Astrophysics Data System (ADS)

Mansor, Mohd. Asyraf; Sathasivam, Saratha; Kasihmuddin, Mohd Shareduwan Mohd

2017-08-01

Maximum 3-Satisfiability (MAX-3SAT) is a counterpart of the Boolean satisfiability problem that can be treated as a constraint optimization problem. It deals with a conundrum of searching the maximum number of satisfied clauses in a particular 3-SAT formula. This paper presents the implementation of enhanced Hopfield network in hastening the Maximum 3-Satisfiability (MAX-3SAT) logic programming. Four post optimization techniques are investigated, including the Elliot symmetric activation function, Gaussian activation function, Wavelet activation function and Hyperbolic tangent activation function. The performances of these post optimization techniques in accelerating MAX-3SAT logic programming will be discussed in terms of the ratio of maximum satisfied clauses, Hamming distance and the computation time. Dev-C++ was used as the platform for training, testing and validating our proposed techniques. The results depict the Hyperbolic tangent activation function and Elliot symmetric activation function can be used in doing MAX-3SAT logic programming.

Eco-logical successes : January 2011

DOT National Transportation Integrated Search

2011-01-01

This document identifies and explains each Eco-Logical signatory agency's strategic environmental programs, projects, and efforts that are either directly related to or share the vision set forth in Eco-Logical. A brief description of an agency's key...

LINGUISTIC SOCIETY OF AMERICA ANNUAL MEETING (42D, CHICAGO, DECEMBER 28-30, 1967). MEETING HANDBOOK.

ERIC Educational Resources Information Center

Center for Applied Linguistics, Washington, DC.

THIS HANDBOOK WAS PREPARED BY THE CENTER FOR APPLIED LINGUISTICS TO SERVE AS A GUIDE FOR THOSE ATTENDING THE FORTY-SECOND ANNUAL MEETING OF THE LINGUISTIC SOCIETY OF AMERICA, AS WELL AS TO PROVIDE A PERMANENT RECORD OF THE PAPERS PRESENTED AT THE MEETING. THERE ARE THREE PARTS TO THE HANDBOOK--(1) THE OFFICIAL PROGRAM OF THE MEETING, (2) AUTHORS'…

Studies of Standard English and Hawaiian Islands Creole English: KEEP Linguistic Research, 1971-1976. Technical Report No. 59.

ERIC Educational Resources Information Center

Gallimore, Ronald; Tharp, Roland G.

This report presents a summary of the linguistic research conducted at the Kamehameha Early Education Program (KEEP) during its first five years of operation, as well as a description of relevant linguistic theories. The subjects of the research are the students in the KEEP elementary school (K-3) who were tested twice a year during the five-year…

The New Voices = Nuevas Voces Guide to Cultural and Linguistic Diversity in Early Childhood/The New Voices = Nuevas Voces Facilitator's Guide to Cultural and Linguistic Diversity in Early Childhood

ERIC Educational Resources Information Center

Castro, Dina C.; Ayankoya, Betsy; Kasprzak, Christina

2011-01-01

As early childhood programs and schools become more culturally and linguistically diverse, professionals need to create settings that welcome "new voices" and help all children succeed. This comprehensive professional development course gives them the in-depth practical guidance they need. Developed by respected scholar Dina Castro and her expert…

Is abstinence education theory based? The underlying logic of abstinence education programs in Texas.

PubMed

Goodson, Patricia; Pruitt, B E; Suther, Sandy; Wilson, Kelly; Buhi, Eric

2006-04-01

Authors examined the logic (or the implicit theory) underlying 16 abstinence-only-until-marriage programs in Texas (50% of all programs funded under the federal welfare reform legislation during 2001 and 2002). Defined as a set of propositions regarding the relationship between program activities and their intended outcomes, program staff's implicit theories were summarized and compared to (a) data from studies on adolescent sexual behavior, (b) a theory-based model of youth abstinent behavior, and (c) preliminary findings from the national evaluation of Title V programs. Authors interviewed 62 program directors and instructors and employed selected principles of grounded theory to analyze interview data. Findings indicated that abstinence education staff could clearly articulate the logic guiding program activity choices. Comparisons between interview data and a theory-based model of adolescent sexual behavior revealed striking similarities. Implications of these findings for conceptualizing and evaluating abstinence-only-until-marriage (or similar) programs are examined.

Multi-dimensionality and variability in folk classification of stingless bees (Apidae: Meliponini).

PubMed

Zamudio, Fernando; Hilgert, Norma I

2015-05-23

Not long ago Eugene Hunn suggested using a combination of cognitive, linguistic, ecological and evolutionary theories in order to account for the dynamic character of ethnoecology in the study of folk classification systems. In this way he intended to question certain homogeneity in folk classifications models and deepen in the analysis and interpretation of variability in folk classifications. This paper studies how a rural culturally mixed population of the Atlantic Forest of Misiones (Argentina) classified honey-producing stingless bees according to the linguistic, cognitive and ecological dimensions of folk classification. We also analyze the socio-ecological meaning of binomialization in naming and the meaning of general local variability in the appointment of stingless bees. We used three different approaches: the classical approach developed by Brent Berlin which relies heavily on linguistic criteria, the approach developed by Eleonor Rosch which relies on psychological (cognitive) principles of categorization and finally we have captured the ecological dimension of folk classification in local narratives. For the second approximation, we developed ways of measuring the degree of prototypicality based on a total of 107 comparisons of the type "X is similar to Y" identified in personal narratives. Various logical and grouping strategies coexist and were identified as: graded of lateral linkage, hierarchical and functional. Similarity judgments among folk taxa resulted in an implicit logic of classification graded according to taxa's prototypicality. While there is a high agreement on naming stingless bees with monomial names, a considerable number of underrepresented binomial names and lack of names were observed. Two possible explanations about reported local naming variability are presented. We support the multidimensionality of folk classification systems. This confirms the specificity of local classification systems but also reflects the use of grouping strategies and mechanisms commonly observed in other cultural groups, such as the use of similarity judgments between more or less prototypical organisms. Also we support the idea that alternative naming results from a process of fragmentation of knowledge or incomplete transmission of knowledge. These processes lean on the facts that culturally based knowledge, on the one hand, and biologic knowledge of nature on the other, can be acquired through different learning pathways.

Two autowire versions for CDC-3200 and IBM-360

NASA Technical Reports Server (NTRS)

Billingsley, J. B.

1972-01-01

Microelectronics program was initiated to evaluate circuitry, packaging methods, and fabrication approaches necessary to produce completely procured logic system. Two autowire programs were developed for CDC-3200 and IBM-360 computers for use in designing logic systems.

How Young Children Learn to Program with Sensor, Action, and Logic Blocks

ERIC Educational Resources Information Center

Wyeth, Peta

2008-01-01

Electronic Blocks are a new programming environment designed specifically for children aged between 3 and 8 years. These physical, stackable blocks include sensor blocks, action blocks, and logic blocks. By connecting these blocks, children can program a wide variety of structures that interact with one another and the environment. Electronic…

Metalevel programming in robotics: Some issues

NASA Technical Reports Server (NTRS)

Kumarn, A.; Parameswaran, N.

1987-01-01

Computing in robotics has two important requirements: efficiency and flexibility. Algorithms for robot actions are implemented usually in procedural languages such as VAL and AL. But, since their excessive bindings create inflexible structures of computation, it is proposed that Logic Programming is a more suitable language for robot programming due to its non-determinism, declarative nature, and provision for metalevel programming. Logic Programming, however, results in inefficient computations. As a solution to this problem, researchers discuss a framework in which controls can be described to improve efficiency. They have divided controls into: (1) in-code and (2) metalevel and discussed them with reference to selection of rules and dataflow. Researchers illustrated the merit of Logic Programming by modelling the motion of a robot from one point to another avoiding obstacles.

Using logic models in a community-based agricultural injury prevention project.

PubMed

Helitzer, Deborah; Willging, Cathleen; Hathorn, Gary; Benally, Jeannie

2009-01-01

The National Institute for Occupational Safety and Health has long promoted the logic model as a useful tool in an evaluator's portfolio. Because a logic model supports a systematic approach to designing interventions, it is equally useful for program planners. Undertaken with community stakeholders, a logic model process articulates the underlying foundations of a particular programmatic effort and enhances program design and evaluation. Most often presented as sequenced diagrams or flow charts, logic models demonstrate relationships among the following components: statement of a problem, various causal and mitigating factors related to that problem, available resources to address the problem, theoretical foundations of the selected intervention, intervention goals and planned activities, and anticipated short- and long-term outcomes. This article describes a case example of how a logic model process was used to help community stakeholders on the Navajo Nation conceive, design, implement, and evaluate agricultural injury prevention projects.

An adaptive maneuvering logic computer program for the simulation of one-to-one air-to-air combat. Volume 2: Program description

NASA Technical Reports Server (NTRS)

Burgin, G. H.; Owens, A. J.

1975-01-01

A detailed description is presented of the computer programs in order to provide an understanding of the mathematical and geometrical relationships as implemented in the programs. The individual sbbroutines and their underlying mathematical relationships are described, and the required input data and the output provided by the program are explained. The relationship of the adaptive maneuvering logic program with the program to drive the differential maneuvering simulator is discussed.

Commentary: “An Evaluation of Universal Grammar and the Phonological Mind”—UG Is Still a Viable Hypothesis

PubMed Central

Berent, Iris

2016-01-01

Everett (2016b) criticizes The Phonological Mind thesis (Berent, 2013a,b) on logical, methodological and empirical grounds. Most of Everett’s concerns are directed toward the hypothesis that the phonological grammar is constrained by universal grammatical (UG) principles. Contrary to Everett’s logical challenges, here I show that the UG hypothesis is readily falsifiable, that universality is not inconsistent with innateness (Everett’s arguments to the contrary are rooted in a basic confusion of the UG phenotype and the genotype), and that its empirical evaluation does not require a full evolutionary account of language. A detailed analysis of one case study, the syllable hierarchy, presents a specific demonstration that people have knowledge of putatively universal principles that are unattested in their language and these principles are most likely linguistic in nature. Whether Universal Grammar exists remains unknown, but Everett’s arguments hardly undermine the viability of this hypothesis. PMID:27471480

HyFIS: adaptive neuro-fuzzy inference systems and their application to nonlinear dynamical systems.

PubMed

Kim, J; Kasabov, N

1999-11-01

This paper proposes an adaptive neuro-fuzzy system, HyFIS (Hybrid neural Fuzzy Inference System), for building and optimising fuzzy models. The proposed model introduces the learning power of neural networks to fuzzy logic systems and provides linguistic meaning to the connectionist architectures. Heuristic fuzzy logic rules and input-output fuzzy membership functions can be optimally tuned from training examples by a hybrid learning scheme comprised of two phases: rule generation phase from data; and rule tuning phase using error backpropagation learning scheme for a neural fuzzy system. To illustrate the performance and applicability of the proposed neuro-fuzzy hybrid model, extensive simulation studies of nonlinear complex dynamic systems are carried out. The proposed method can be applied to an on-line incremental adaptive learning for the prediction and control of nonlinear dynamical systems. Two benchmark case studies are used to demonstrate that the proposed HyFIS system is a superior neuro-fuzzy modelling technique.

A computer program for the generation of logic networks from task chart data

NASA Technical Reports Server (NTRS)

Herbert, H. E.

1980-01-01

The Network Generation Program (NETGEN), which creates logic networks from task chart data is presented. NETGEN is written in CDC FORTRAN IV (Extended) and runs in a batch mode on the CDC 6000 and CYBER 170 series computers. Data is input via a two-card format and contains information regarding the specific tasks in a project. From this data, NETGEN constructs a logic network of related activities with each activity having unique predecessor and successor nodes, activity duration, descriptions, etc. NETGEN then prepares this data on two files that can be used in the Project Planning Analysis and Reporting System Batch Network Scheduling program and the EZPERT graphics program.

Information processing. [in human performance

NASA Technical Reports Server (NTRS)

Wickens, Christopher D.; Flach, John M.

1988-01-01

Theoretical models of sensory-information processing by the human brain are reviewed from a human-factors perspective, with a focus on their implications for aircraft and avionics design. The topics addressed include perception (signal detection and selection), linguistic factors in perception (context provision, logical reversals, absence of cues, and order reversals), mental models, and working and long-term memory. Particular attention is given to decision-making problems such as situation assessment, decision formulation, decision quality, selection of action, the speed-accuracy tradeoff, stimulus-response compatibility, stimulus sequencing, dual-task performance, task difficulty and structure, and factors affecting multiple task performance (processing modalities, codes, and stages).

Can fuzzy logic bring complex problems into focus? Modeling imprecise factors in environmental policy

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

McKone, Thomas E.; Deshpande, Ashok W.

2004-06-14

In modeling complex environmental problems, we often fail to make precise statements about inputs and outcome. In this case the fuzzy logic method native to the human mind provides a useful way to get at these problems. Fuzzy logic represents a significant change in both the approach to and outcome of environmental evaluations. Risk assessment is currently based on the implicit premise that probability theory provides the necessary and sufficient tools for dealing with uncertainty and variability. The key advantage of fuzzy methods is the way they reflect the human mind in its remarkable ability to store and process informationmore » which is consistently imprecise, uncertain, and resistant to classification. Our case study illustrates the ability of fuzzy logic to integrate statistical measurements with imprecise health goals. But we submit that fuzzy logic and probability theory are complementary and not competitive. In the world of soft computing, fuzzy logic has been widely used and has often been the ''smart'' behind smart machines. But it will require more effort and case studies to establish its niche in risk assessment or other types of impact assessment. Although we often hear complaints about ''bright lines,'' could we adapt to a system that relaxes these lines to fuzzy gradations? Would decision makers and the public accept expressions of water or air quality goals in linguistic terms with computed degrees of certainty? Resistance is likely. In many regions, such as the US and European Union, it is likely that both decision makers and members of the public are more comfortable with our current system in which government agencies avoid confronting uncertainties by setting guidelines that are crisp and often fail to communicate uncertainty. But some day perhaps a more comprehensive approach that includes exposure surveys, toxicological data, epidemiological studies coupled with fuzzy modeling will go a long way in resolving some of the conflict, divisiveness, and controversy in the current regulatory paradigm.« less

Developing and Using a Logic Model for Evaluation and Assessment of University Student Affairs Programming: A Case Study

ERIC Educational Resources Information Center

Cooper, Jeff

2009-01-01

This dissertation addresses theory and practice of evaluation and assessment in university student affairs, by applying logic modeling/program theory to a case study. I intend to add knowledge to ongoing dialogue among evaluation scholars and practitioners on student affairs program planning and improvement as integral considerations that serve…

Student Perceptions of Instructional Tools in Programming Logic: A Comparison of Traditional versus Alice Teaching Environments

ERIC Educational Resources Information Center

Schultz, Leah

2011-01-01

This research investigates the implementation of the programming language Alice to teach computer programming logic to computer information systems students. Alice has been implemented in other university settings and has been reported to have many benefits including object-oriented concepts and an engaging and fun learning environment. In this…

IT0: Discrete Math and Programming Logic Topics as a Hybrid Alternative to CS0

ERIC Educational Resources Information Center

Martin, Nancy L.

2015-01-01

This paper describes the development of a hybrid introductory course for students in their first or second year of an information systems technologies degree program at a large Midwestern university. The course combines topics from discrete mathematics and programming logic and design, a unique twist on most introductory courses. The objective of…

Using the Logic Model to Plan Extension and Outreach Program Development and Scholarship

ERIC Educational Resources Information Center

Corbin, Marilyn; Kiernan, Nancy Ellen; Koble, Margaret A.; Watson, Jack; Jackson, Daney

2004-01-01

In searching for a process to help program teams of campus-based faculty and field-based educators develop five-year and annual statewide program plans, cooperative extension administrators and specialists in Penn State's College of Agricultural Sciences discovered that the use of the logic model process can influence the successful design of…

Teaching and Learning Logic Programming in Virtual Worlds Using Interactive Microworld Representations

ERIC Educational Resources Information Center

Vosinakis, Spyros; Anastassakis, George; Koutsabasis, Panayiotis

2018-01-01

Logic Programming (LP) follows the declarative programming paradigm, which novice students often find hard to grasp. The limited availability of visual teaching aids for LP can lead to low motivation for learning. In this paper, we present a platform for teaching and learning Prolog in Virtual Worlds, which enables the visual interpretation and…

How Did an Antismoking Campaign with a Neuro Linguistic Program Work out? A Case Study of Secondary School Students' Experiences in One Finnish School

ERIC Educational Resources Information Center

Sahi, Salme; Maatta, Kaarina

2013-01-01

This article describes the use of a Neuro Linguistic Program (NLP) in an antismoking campaign and studies how successful this campaign was according to secondary school students. This campaign was carried out in a small town in northern Finland as an intensive three-day-long campaign. The data consisted of the essays and interviews of those…

Notes on Linguistics, 1999.

ERIC Educational Resources Information Center

Payne, David, Ed.

1999-01-01

The 1999 issues of "Notes on Linguistics," published quarterly, include the following articles, review articles, reviews, book notices, and reports: "A New Program for Doing Morphology: Hermit Crab"; "Lingualinks CD-ROM: Field Guide to Recording Language Data"; "'Unruly' Phonology: An Introduction to Optimality Theory"; "Borrowing vs. Code…

Guatemalan Linguistics Project

ERIC Educational Resources Information Center

Linguistic Reporter, 1974

1974-01-01

The general goals of the Guatemalan technical institution, the Proyecto Linguistico Francisco Marroquin, are to: create a national technical resource institution in linguistics and Mayan languages; enable Indians to influence programs for their communities; and stimulate the study of Mayan languages and their use as communication medium. (SW)

MIRAP, microcomputer reliability analysis program

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

Jehee, J.N.T.

1989-01-01

A program for a microcomputer is outlined that can determine minimal cut sets from a specified fault tree logic. The speed and memory limitations of the microcomputers on which the program is implemented (Atari ST and IBM) are addressed by reducing the fault tree's size and by storing the cut set data on disk. Extensive well proven fault tree restructuring techniques, such as the identification of sibling events and of independent gate events, reduces the fault tree's size but does not alter its logic. New methods are used for the Boolean reduction of the fault tree logic. Special criteria formore » combining events in the 'AND' and 'OR' logic avoid the creation of many subsuming cut sets which all would cancel out due to existing cut sets. Figures and tables illustrates these methods. 4 refs., 5 tabs.« less

[Documenting a rehabilitation program using a logic model: an advantage to the assessment process].

PubMed

Poncet, Frédérique; Swaine, Bonnie; Pradat-Diehl, Pascale

2017-03-06

The cognitive and behavioral disorders after brain injury can result in severe limitations of activities and restrictions of participation. An interdisciplinary rehabilitation program was developed in physical medicine and rehabilitation at the Pitié-Salpêtriere Hospital, Paris, France. Clinicians believe this program decreases activity limitations and improves participation in patients. However, the program’s effectiveness had never been assessed. To do this, we had to define/describe this program. However rehabilitation programs are holistic and thus complex making them difficult to describe. Therefore, to facilitate the evaluation of complex programs, including those for rehabilitation, we illustrate the use of a theoretical logic model, as proposed by Champagne, through the process of documentation of a specific complex and interdisciplinary rehabilitation program. Through participatory/collaborative research, the rehabilitation program was analyzed using three “submodels” of the logic model of intervention: causal model, intervention model and program theory model. This should facilitate the evaluation of programs, including those for rehabilitation.

Linguistic Multi-Attribute Group Decision Making with Risk Preferences and Its Use in Low-Carbon Tourism Destination Selection.

PubMed

Lin, Hui; Wang, Zhou-Jing

2017-09-17

Low-carbon tourism plays an important role in carbon emission reduction and environmental protection. Low-carbon tourism destination selection often involves multiple conflicting and incommensurate attributes or criteria and can be modelled as a multi-attribute decision-making problem. This paper develops a framework to solve multi-attribute group decision-making problems, where attribute evaluation values are provided as linguistic terms and the attribute weight information is incomplete. In order to obtain a group risk preference captured by a linguistic term set with triangular fuzzy semantic information, a nonlinear programming model is established on the basis of individual risk preferences. We first convert individual linguistic-term-based decision matrices to their respective triangular fuzzy decision matrices, which are then aggregated into a group triangular fuzzy decision matrix. Based on this group decision matrix and the incomplete attribute weight information, a linear program is developed to find an optimal attribute weight vector. A detailed procedure is devised for tackling linguistic multi-attribute group decision making problems. A low-carbon tourism destination selection case study is offered to illustrate how to use the developed group decision-making model in practice.

Linguistic Multi-Attribute Group Decision Making with Risk Preferences and Its Use in Low-Carbon Tourism Destination Selection

PubMed Central

Lin, Hui; Wang, Zhou-Jing

2017-01-01

Low-carbon tourism plays an important role in carbon emission reduction and environmental protection. Low-carbon tourism destination selection often involves multiple conflicting and incommensurate attributes or criteria and can be modelled as a multi-attribute decision-making problem. This paper develops a framework to solve multi-attribute group decision-making problems, where attribute evaluation values are provided as linguistic terms and the attribute weight information is incomplete. In order to obtain a group risk preference captured by a linguistic term set with triangular fuzzy semantic information, a nonlinear programming model is established on the basis of individual risk preferences. We first convert individual linguistic-term-based decision matrices to their respective triangular fuzzy decision matrices, which are then aggregated into a group triangular fuzzy decision matrix. Based on this group decision matrix and the incomplete attribute weight information, a linear program is developed to find an optimal attribute weight vector. A detailed procedure is devised for tackling linguistic multi-attribute group decision making problems. A low-carbon tourism destination selection case study is offered to illustrate how to use the developed group decision-making model in practice. PMID:28926985

Toward a functional neuroanatomy of semantic aphasia: A history and ten new cases.

PubMed

Dragoy, Olga; Akinina, Yulia; Dronkers, Nina

2017-12-01

Almost 70 years ago, Alexander Luria incorporated semantic aphasia among his aphasia classifications by demonstrating that deficits in linking the logical relationships of words in a sentence could co-occur with non-linguistic disorders of calculation, spatial gnosis and praxis deficits. In line with his comprehensive approach to the assessment of language and other cognitive functions, he argued that deficits in understanding semantically reversible sentences and prepositional phrases, for example, were in line with a single neuropsychological factor of impaired spatial analysis and synthesis, since understanding such grammatical relationships would also draw on their spatial relationships. Critically, Luria demonstrated the neural underpinnings of this syndrome with the critical implication of the cortex of the left temporal-parietal-occipital (TPO) junction. In this study, we report neuropsychological and lesion profiles of 10 new cases of semantic aphasia. Modern neuroimaging techniques provide support for the relevance of the left TPO area for semantic aphasia, but also extend Luria's neuroanatomical model by taking into account white matter pathways. Our findings suggest that tracts with parietal connectivity - the arcuate fasciculus (long and posterior segments), the inferior fronto-occipital fasciculus, the inferior longitudinal fasciculus, the superior longitudinal fasciculus II and III, and the corpus callosum - are implicated in the linguistic and non-linguistic deficits of patients with semantic aphasia. Copyright © 2016 Elsevier Ltd. All rights reserved.

Logic Design Pathology and Space Flight Electronics

NASA Technical Reports Server (NTRS)

Katz, Richard B.; Barto, Rod L.; Erickson, Ken

1999-01-01

This paper presents a look at logic design from early in the US Space Program and examines faults in recent logic designs. Most examples are based on flight hardware failures and analysis of new tools and techniques. The paper is presented in viewgraph form.

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…

Preparing Culturally and Linguistically Responsive Special Educators: It "Does" Take a Village

ERIC Educational Resources Information Center

Robertson, Phyllis M.; García, Shernaz B.; McFarland, Laura A.; Rieth, Herbert J.

2012-01-01

The preparation of culturally and linguistically responsive special educators requires planning, substantive collaboration, and valuing the perspectives of underrepresented groups. This article describes restructuring efforts of one special education preparation program that included coursework and field-based experiences designed to enhance…

MELD: A Logical Approach to Distributed and Parallel Programming

DTIC Science & Technology

2012-03-01

0215 5b. GRANT NUMBER N/A 5c. PROGRAM ELEMENT NUMBER 61101E 6. AUTHOR(S) Seth Copen Goldstein Flavio Cruz 5d. PROJECT NUMBER BI20 5e. TASK...Comp. Sci., vol. 50, pp. 1–102, 1987. [33] P. Ló pez, F. Pfenning, J. Polakow, and K. Watkins , “Monadic concurrent linear logic programming,” in

Exploration of picture grammars, grammar learning, and inductive logic programming for image understanding

NASA Astrophysics Data System (ADS)

Ducksbury, P. G.; Kennedy, C.; Lock, Z.

2003-09-01

Grammars have been used for the formal specification of programming languages, and there are a number of commercial products which now use grammars. However, these have tended to be focused mainly on flow control type applications. In this paper, we consider the potential use of picture grammars and inductive logic programming in generic image understanding applications, such as object recognition. A number of issues are considered, such as what type of grammar needs to be used, how to construct the grammar with its associated attributes, difficulties encountered with parsing grammars followed by issues of automatically learning grammars using a genetic algorithm. The concept of inductive logic programming is then introduced as a method that can overcome some of the earlier difficulties.

Logic programming and metadata specifications

NASA Technical Reports Server (NTRS)

Lopez, Antonio M., Jr.; Saacks, Marguerite E.

1992-01-01

Artificial intelligence (AI) ideas and techniques are critical to the development of intelligent information systems that will be used to collect, manipulate, and retrieve the vast amounts of space data produced by 'Missions to Planet Earth.' Natural language processing, inference, and expert systems are at the core of this space application of AI. This paper presents logic programming as an AI tool that can support inference (the ability to draw conclusions from a set of complicated and interrelated facts). It reports on the use of logic programming in the study of metadata specifications for a small problem domain of airborne sensors, and the dataset characteristics and pointers that are needed for data access.

Reasoning on Weighted Delegatable Authorizations

NASA Astrophysics Data System (ADS)

Ruan, Chun; Varadharajan, Vijay

This paper studies logic based methods for representing and evaluating complex access control policies needed by modern database applications. In our framework, authorization and delegation rules are specified in a Weighted Delegatable Authorization Program (WDAP) which is an extended logic program. We show how extended logic programs can be used to specify complex security policies which support weighted administrative privilege delegation, weighted positive and negative authorizations, and weighted authorization propagations. We also propose a conflict resolution method that enables flexible delegation control by considering priorities of authorization grantors and weights of authorizations. A number of rules are provided to achieve delegation depth control, conflict resolution, and authorization and delegation propagations.

Using RUFDATA to guide a logic model for a quality assurance process in an undergraduate university program.

PubMed

Sherman, Paul David

2016-04-01

This article presents a framework to identify key mechanisms for developing a logic model blueprint that can be used for an impending comprehensive evaluation of an undergraduate degree program in a Canadian university. The evaluation is a requirement of a comprehensive quality assurance process mandated by the university. A modified RUFDATA (Saunders, 2000) evaluation model is applied as an initiating framework to assist in decision making to provide a guide for conceptualizing a logic model for the quality assurance process. This article will show how an educational evaluation is strengthened by employing a RUFDATA reflective process in exploring key elements of the evaluation process, and then translating this information into a logic model format that could serve to offer a more focussed pathway for the quality assurance activities. Using preliminary program evaluation data from two key stakeholders of the undergraduate program as well as an audit of the curriculum's course syllabi, a case is made for, (1) the importance of inclusivity of key stakeholders participation in the design of the evaluation process to enrich the authenticity and accuracy of program participants' feedback, and (2) the diversification of data collection methods to ensure that stakeholders' narrative feedback is given ample exposure. It is suggested that the modified RUFDATA/logic model framework be applied to all academic programs at the university undergoing the quality assurance process at the same time so that economies of scale may be realized. Copyright © 2015 Elsevier Ltd. All rights reserved.

Improving the human readability of Arden Syntax medical logic modules using a concept-oriented terminology and object-oriented programming expressions.

PubMed

Choi, Jeeyae; Bakken, Suzanne; Lussier, Yves A; Mendonça, Eneida A

2006-01-01

Medical logic modules are a procedural representation for sharing task-specific knowledge for decision support systems. Based on the premise that clinicians may perceive object-oriented expressions as easier to read than procedural rules in Arden Syntax-based medical logic modules, we developed a method for improving the readability of medical logic modules. Two approaches were applied: exploiting the concept-oriented features of the Medical Entities Dictionary and building an executable Java program to replace Arden Syntax procedural expressions. The usability evaluation showed that 66% of participants successfully mapped all Arden Syntax rules to Java methods. These findings suggest that these approaches can play an essential role in the creation of human readable medical logic modules and can potentially increase the number of clinical experts who are able to participate in the creation of medical logic modules. Although our approaches are broadly applicable, we specifically discuss the relevance to concept-oriented nursing terminologies and automated processing of task-specific nursing knowledge.

Social interaction, languaging and the operational conditions for the emergence of observing.

PubMed

Raimondi, Vincenzo

2014-01-01

In order to adequately understand the foundations of human social interaction, we need to provide an explanation of our specific mode of living based on linguistic activity and the cultural practices with which it is interwoven. To this end, we need to make explicit the constitutive conditions for the emergence of the phenomena which relate to language and joint activity starting from their operational-relational matrix. The approach presented here challenges the inadequacy of mentalist models to explain the relation between language and interaction. Recent empirical studies concerning joint attention and language acquisition have led scholars such as Tomasello et al. (2005) to postulate the existence of a universal human "sociocognitive infrastructure" that drives joint social activities and is biologically inherited. This infrastructure would include the skill of precocious intention-reading, and is meant to explain human linguistic development and cultural learning. However, the cognitivist and functionalist assumptions on which this model relies have resulted in controversial hypotheses (i.e., intention-reading as the ontogenetic precursor of language) which take a contentious conception of mind and language for granted. By challenging this model, I will show that we should instead turn ourselves towards a constitutive explanation of language within a "bio-logical" understanding of interactivity. This is possible only by abandoning the cognitivist conception of organism and traditional views of language. An epistemological shift must therefore be proposed, based on embodied, enactive and distributed approaches, and on Maturana's work in particular. The notions of languaging and observing that will be discussed in this article will allow for a bio-logically grounded, theoretically parsimonious alternative to mentalist and spectatorial approaches, and will guide us towards a wider understanding of our sociocultural mode of living.

Principle-based concept analysis: Caring in nursing education

PubMed Central

Salehian, Maryam; Heydari, Abbas; Aghebati, Nahid; Moonaghi, Hossein Karimi; Mazloom, Seyed Reza

2016-01-01

Introduction The aim of this principle-based concept analysis was to analyze caring in nursing education and to explain the current state of the science based on epistemologic, pragmatic, linguistic, and logical philosophical principles. Methods A principle-based concept analysis method was used to analyze the nursing literature. The dataset included 46 English language studies, published from 2005 to 2014, and they were retrieved through PROQUEST, MEDLINE, CINAHL, ERIC, SCOPUS, and SID scientific databases. The key dimensions of the data were collected using a validated data-extraction sheet. The four principles of assessing pragmatic utility were used to analyze the data. The data were managed by using MAXQDA 10 software. Results The scientific literature that deals with caring in nursing education relies on implied meaning. Caring in nursing education refers to student-teacher interactions that are formed on the basis of human values and focused on the unique needs of the students (epistemological principle). The result of student-teacher interactions is the development of both the students and the teachers. Numerous applications of the concept of caring in nursing education are available in the literature (pragmatic principle). There is consistency in the meaning of the concept, as a central value of the faculty-student interaction (linguistic principle). Compared with other related concepts, such as “caring pedagogy,” “value-based education,” and “teaching excellence,” caring in nursing education does not have exact and clear conceptual boundaries (logic principle). Conclusion Caring in nursing education was identified as an approach to teaching and learning, and it is formed based on teacher-student interactions and sustainable human values. A greater understanding of the conceptual basis of caring in nursing education will improve the caring behaviors of teachers, create teaching-learning environments, and help experts in curriculum development. PMID:27123225

Principle-based concept analysis: Caring in nursing education.

PubMed

Salehian, Maryam; Heydari, Abbas; Aghebati, Nahid; Karimi Moonaghi, Hossein; Mazloom, Seyed Reza

2016-03-01

The aim of this principle-based concept analysis was to analyze caring in nursing education and to explain the current state of the science based on epistemologic, pragmatic, linguistic, and logical philosophical principles. A principle-based concept analysis method was used to analyze the nursing literature. The dataset included 46 English language studies, published from 2005 to 2014, and they were retrieved through PROQUEST, MEDLINE, CINAHL, ERIC, SCOPUS, and SID scientific databases. The key dimensions of the data were collected using a validated data-extraction sheet. The four principles of assessing pragmatic utility were used to analyze the data. The data were managed by using MAXQDA 10 software. The scientific literature that deals with caring in nursing education relies on implied meaning. Caring in nursing education refers to student-teacher interactions that are formed on the basis of human values and focused on the unique needs of the students (epistemological principle). The result of student-teacher interactions is the development of both the students and the teachers. Numerous applications of the concept of caring in nursing education are available in the literature (pragmatic principle). There is consistency in the meaning of the concept, as a central value of the faculty-student interaction (linguistic principle). Compared with other related concepts, such as "caring pedagogy," "value-based education," and "teaching excellence," caring in nursing education does not have exact and clear conceptual boundaries (logic principle). Caring in nursing education was identified as an approach to teaching and learning, and it is formed based on teacher-student interactions and sustainable human values. A greater understanding of the conceptual basis of caring in nursing education will improve the caring behaviors of teachers, create teaching-learning environments, and help experts in curriculum development.

Ordering Traces Logically to Identify Lateness in Message Passing Programs

DOE PAGES

Isaacs, Katherine E.; Gamblin, Todd; Bhatele, Abhinav; ...

2015-03-30

Event traces are valuable for understanding the behavior of parallel programs. However, automatically analyzing a large parallel trace is difficult, especially without a specific objective. We aid this endeavor by extracting a trace's logical structure, an ordering of trace events derived from happened-before relationships, while taking into account developer intent. Using this structure, we can calculate an operation's delay relative to its peers on other processes. The logical structure also serves as a platform for comparing and clustering processes as well as highlighting communication patterns in a trace visualization. We present an algorithm for determining this idealized logical structure frommore » traces of message passing programs, and we develop metrics to quantify delays and differences among processes. We implement our techniques in Ravel, a parallel trace visualization tool that displays both logical and physical timelines. Rather than showing the duration of each operation, we display where delays begin and end, and how they propagate. As a result, we apply our approach to the traces of several message passing applications, demonstrating the accuracy of our extracted structure and its utility in analyzing these codes.« less

Annual Review of Applied Linguistics, 1983.

ERIC Educational Resources Information Center

Kaplan, Robert B., Ed.; And Others

A collection of reports on literacy and literacy issues includes a variety of perspectives and descriptions of diverse programs and is divided into three sections. The first examines broad questions of literacy: "On the Study of Literacy" (David Bendor-Samuel); "Linguistics and Literacy" (Gloria Kindell); and "Literacy in…

Pausing and activating thread state upon pin assertion by external logic monitoring polling loop exit time condition

DOEpatents

Chen, Dong; Giampapa, Mark; Heidelberger, Philip; Ohmacht, Martin; Satterfield, David L; Steinmacher-Burow, Burkhard; Sugavanam, Krishnan

2013-05-21

A system and method for enhancing performance of a computer which includes a computer system including a data storage device. The computer system includes a program stored in the data storage device and steps of the program are executed by a processer. The processor processes instructions from the program. A wait state in the processor waits for receiving specified data. A thread in the processor has a pause state wherein the processor waits for specified data. A pin in the processor initiates a return to an active state from the pause state for the thread. A logic circuit is external to the processor, and the logic circuit is configured to detect a specified condition. The pin initiates a return to the active state of the thread when the specified condition is detected using the logic circuit.

Answer Sets in a Fuzzy Equilibrium Logic

NASA Astrophysics Data System (ADS)

Schockaert, Steven; Janssen, Jeroen; Vermeir, Dirk; de Cock, Martine

Since its introduction, answer set programming has been generalized in many directions, to cater to the needs of real-world applications. As one of the most general “classical” approaches, answer sets of arbitrary propositional theories can be defined as models in the equilibrium logic of Pearce. Fuzzy answer set programming, on the other hand, extends answer set programming with the capability of modeling continuous systems. In this paper, we combine the expressiveness of both approaches, and define answer sets of arbitrary fuzzy propositional theories as models in a fuzzification of equilibrium logic. We show that the resulting notion of answer set is compatible with existing definitions, when the syntactic restrictions of the corresponding approaches are met. We furthermore locate the complexity of the main reasoning tasks at the second level of the polynomial hierarchy. Finally, as an illustration of its modeling power, we show how fuzzy equilibrium logic can be used to find strong Nash equilibria.

Monitoring Java Programs with Java PathExplorer

NASA Technical Reports Server (NTRS)

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

2001-01-01

We present recent work on the development Java PathExplorer (JPAX), a tool for monitoring the execution of Java programs. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems. The tool facilitates automated instrumentation of a program's late code which will then omit events to an observer during its execution. The observer checks the events against user provided high level requirement specifications, for example temporal logic formulae, and against lower level error detection procedures, for example concurrency related such as deadlock and data race algorithms. High level requirement specifications together with their underlying logics are defined in the Maude rewriting logic, and then can either be directly checked using the Maude rewriting engine, or be first translated to efficient data structures and then checked in Java.

Logic and Simulation.

ERIC Educational Resources Information Center

Straumanis, Joan

A major problem in teaching symbolic logic is that of providing individualized and early feedback to students who are learning to do proofs. To overcome this difficulty, a computer program was developed which functions as a line-by-line proof checker in Sentential Calculus. The program, DEMON, first evaluates any statement supplied by the student…

Logic Programming in LISP.

DTIC Science & Technology

1981-01-01

THIS PAGZ(Whan Doee Es tMord) Item 20 (Cont’d) ------ work in the area of artificial intelligence and those used in general program development into a...Controlling Gfile) IS. SECURITY CLASS. (of tis report) Same .,/ UNCLASSIFIED 13d. DECLASSIFICATION/ DOWN GRADING ..- ". .--- /A!CHEDULEI t I IS...logic programming with LISP for implementing intelligent data base query systems. Continued developments will allow for enhancements to be made to the

Logic Models: A Tool for Effective Program Planning, Collaboration, and Monitoring. REL 2014-025

ERIC Educational Resources Information Center

Kekahio, Wendy; Lawton, Brian; Cicchinelli, Louis; Brandon, Paul R.

2014-01-01

A logic model is a visual representation of the assumptions and theory of action that underlie the structure of an education program. A program can be a strategy for instruction in a classroom, a training session for a group of teachers, a grade-level curriculum, a building-level intervention, or a district-or statewide initiative. This guide, an…

Multicomponent Linguistic Awareness Intervention for At-Risk Kindergarteners

ERIC Educational Resources Information Center

Zoski, Jennifer L.; Erickson, Karen A.

2017-01-01

This study investigated the feasibility of multicomponent linguistic awareness intervention on early literacy skills in at-risk kindergarteners. Seventeen students, including native Spanish-speaking English language learners (n = 10) and native English speakers (n = 7), participated in a 6-week small-group therapy program, for a total of 12…

CREOLE STUDIES.

ERIC Educational Resources Information Center

FIGUEROA, JOHN J.

THE AUTHOR FEELS THAT THE STUDY OF THE CREOLIZATION OF LANGUAGE IN THE CARIBBEAN AREA IS IMPORTANT TO LINGUISTS, LANGUAGE TEACHERS, AND SOCIOLINGUISTS IN ALL PARTS OF THE WORLD. IN THIS PAPER, PRESENTED AT THE SECOND INSTITUTE OF THE INTER-AMERICAN PROGRAM IN LANGUAGES AND LINGUISTICS (MEXICO CITY, FEBRUARY 1968), HE FIRST REPORTS ON WORK DONE AT…

Developing Collaborative Partnerships with Culturally and Linguistically Diverse Families during the IEP Process

ERIC Educational Resources Information Center

Rossetti, Zachary; Sauer, Janet Story; Bui, Oanh; Ou, Susan

2017-01-01

Although there has been a consistent vision for multicultural education and family collaboration in teacher preparation programs for decades, collaborative partnerships between culturally and linguistically diverse (CLD) families and their children's educators remain elusive (Harry, 2008; Trent, Kea, & Oh, 2008). Family engagement in special…

Safety evaluation of driver cognitive failures and driving errors on right-turn filtering movement at signalized road intersections based on Fuzzy Cellular Automata (FCA) model.

PubMed

Chai, Chen; Wong, Yiik Diew; Wang, Xuesong

2017-07-01

This paper proposes a simulation-based approach to estimate safety impact of driver cognitive failures and driving errors. Fuzzy Logic, which involves linguistic terms and uncertainty, is incorporated with Cellular Automata model to simulate decision-making process of right-turn filtering movement at signalized intersections. Simulation experiments are conducted to estimate the relationships between cognitive failures and driving errors with safety performance. Simulation results show Different types of cognitive failures are found to have varied relationship with driving errors and safety performance. For right-turn filtering movement, cognitive failures are more likely to result in driving errors with denser conflicting traffic stream. Moreover, different driving errors are found to have different safety impacts. The study serves to provide a novel approach to linguistically assess cognitions and replicate decision-making procedures of the individual driver. Compare to crash analysis, the proposed FCA model allows quantitative estimation of particular cognitive failures, and the impact of cognitions on driving errors and safety performance. Copyright © 2017 Elsevier Ltd. All rights reserved.

Programmable Logic Controllers. Teacher Edition.

ERIC Educational Resources Information Center

Rauh, Bob; Kaltwasser, Stan

These materials were developed for a seven-unit secondary or postsecondary education course on programmable logic controllers (PLCs) that treats most of the skills needed to work effectively with PLCs as programming skills. The seven units of the course cover the following topics: fundamentals of programmable logic controllers; contracts, timers,…

Putting time into proof outlines

NASA Technical Reports Server (NTRS)

Schneider, Fred B.; Bloom, Bard; Marzullo, Keith

1991-01-01

A logic for reasoning about timing of concurrent programs is presented. The logic is based on proof outlines and can handle maximal parallelism as well as resource-constrained execution environments. The correctness proof for a mutual exclusion protocol that uses execution timings in a subtle way illustrates the logic in action.

UTP and Temporal Logic Model Checking

NASA Astrophysics Data System (ADS)

Anderson, Hugh; Ciobanu, Gabriel; Freitas, Leo

In this paper we give an additional perspective to the formal verification of programs through temporal logic model checking, which uses Hoare and He Unifying Theories of Programming (UTP). Our perspective emphasizes the use of UTP designs, an alphabetised relational calculus expressed as a pre/post condition pair of relations, to verify state or temporal assertions about programs. The temporal model checking relation is derived from a satisfaction relation between the model and its properties. The contribution of this paper is that it shows a UTP perspective to temporal logic model checking. The approach includes the notion of efficiency found in traditional model checkers, which reduced a state explosion problem through the use of efficient data structures

Boolean logic tree of graphene-based chemical system for molecular computation and intelligent molecular search query.

PubMed

Huang, Wei Tao; Luo, Hong Qun; Li, Nian Bing

2014-05-06

The most serious, and yet unsolved, problem of constructing molecular computing devices consists in connecting all of these molecular events into a usable device. This report demonstrates the use of Boolean logic tree for analyzing the chemical event network based on graphene, organic dye, thrombin aptamer, and Fenton reaction, organizing and connecting these basic chemical events. And this chemical event network can be utilized to implement fluorescent combinatorial logic (including basic logic gates and complex integrated logic circuits) and fuzzy logic computing. On the basis of the Boolean logic tree analysis and logic computing, these basic chemical events can be considered as programmable "words" and chemical interactions as "syntax" logic rules to construct molecular search engine for performing intelligent molecular search query. Our approach is helpful in developing the advanced logic program based on molecules for application in biosensing, nanotechnology, and drug delivery.

BEASTling: A software tool for linguistic phylogenetics using BEAST 2

PubMed Central

Forkel, Robert; Kaiping, Gereon A.; Atkinson, Quentin D.

2017-01-01

We present a new open source software tool called BEASTling, designed to simplify the preparation of Bayesian phylogenetic analyses of linguistic data using the BEAST 2 platform. BEASTling transforms comparatively short and human-readable configuration files into the XML files used by BEAST to specify analyses. By taking advantage of Creative Commons-licensed data from the Glottolog language catalog, BEASTling allows the user to conveniently filter datasets using names for recognised language families, to impose monophyly constraints so that inferred language trees are backward compatible with Glottolog classifications, or to assign geographic location data to languages for phylogeographic analyses. Support for the emerging cross-linguistic linked data format (CLDF) permits easy incorporation of data published in cross-linguistic linked databases into analyses. BEASTling is intended to make the power of Bayesian analysis more accessible to historical linguists without strong programming backgrounds, in the hopes of encouraging communication and collaboration between those developing computational models of language evolution (who are typically not linguists) and relevant domain experts. PMID:28796784

BEASTling: A software tool for linguistic phylogenetics using BEAST 2.

PubMed

Maurits, Luke; Forkel, Robert; Kaiping, Gereon A; Atkinson, Quentin D

2017-01-01

We present a new open source software tool called BEASTling, designed to simplify the preparation of Bayesian phylogenetic analyses of linguistic data using the BEAST 2 platform. BEASTling transforms comparatively short and human-readable configuration files into the XML files used by BEAST to specify analyses. By taking advantage of Creative Commons-licensed data from the Glottolog language catalog, BEASTling allows the user to conveniently filter datasets using names for recognised language families, to impose monophyly constraints so that inferred language trees are backward compatible with Glottolog classifications, or to assign geographic location data to languages for phylogeographic analyses. Support for the emerging cross-linguistic linked data format (CLDF) permits easy incorporation of data published in cross-linguistic linked databases into analyses. BEASTling is intended to make the power of Bayesian analysis more accessible to historical linguists without strong programming backgrounds, in the hopes of encouraging communication and collaboration between those developing computational models of language evolution (who are typically not linguists) and relevant domain experts.

Semantics by analogy for illustrative volume visualization☆

PubMed Central

Gerl, Moritz; Rautek, Peter; Isenberg, Tobias; Gröller, Eduard

2012-01-01

We present an interactive graphical approach for the explicit specification of semantics for volume visualization. This explicit and graphical specification of semantics for volumetric features allows us to visually assign meaning to both input and output parameters of the visualization mapping. This is in contrast to the implicit way of specifying semantics using transfer functions. In particular, we demonstrate how to realize a dynamic specification of semantics which allows to flexibly explore a wide range of mappings. Our approach is based on three concepts. First, we use semantic shader augmentation to automatically add rule-based rendering functionality to static visualization mappings in a shader program, while preserving the visual abstraction that the initial shader encodes. With this technique we extend recent developments that define a mapping between data attributes and visual attributes with rules, which are evaluated using fuzzy logic. Second, we let users define the semantics by analogy through brushing on renderings of the data attributes of interest. Third, the rules are specified graphically in an interface that provides visual clues for potential modifications. Together, the presented methods offer a high degree of freedom in the specification and exploration of rule-based mappings and avoid the limitations of a linguistic rule formulation. PMID:23576827

Application of Logic Models in a Large Scientific Research Program

ERIC Educational Resources Information Center

O'Keefe, Christine M.; Head, Richard J.

2011-01-01

It is the purpose of this article to discuss the development and application of a logic model in the context of a large scientific research program within the Commonwealth Scientific and Industrial Research Organisation (CSIRO). CSIRO is Australia's national science agency and is a publicly funded part of Australia's innovation system. It conducts…

Semi-Structured Interview Protocol for Constructing Logic Models

ERIC Educational Resources Information Center

Gugiu, P. Cristian; Rodriguez-Campos, Liliana

2007-01-01

This paper details a semi-structured interview protocol that evaluators can use to develop a logic model of a program's services and outcomes. The protocol presents a series of questions, which evaluators can ask of specific program informants, that are designed to: (1) identify key informants basic background and contextual information, (2)…

Implementing a Knowledge-Based Library Information System with Typed Horn Logic.

ERIC Educational Resources Information Center

Ait-Kaci, Hassan; And Others

1990-01-01

Describes a prototype library expert system called BABEL which uses a new programing language, LOGIN, that combines the idea of attribute inheritance with logic programing. Use of hierarchical classification of library objects to build a knowledge base for a library information system is explained, and further research is suggested. (11…

Evaluating bacterial gene-finding HMM structures as probabilistic logic programs.

PubMed

Mørk, Søren; Holmes, Ian

2012-03-01

Probabilistic logic programming offers a powerful way to describe and evaluate structured statistical models. To investigate the practicality of probabilistic logic programming for structure learning in bioinformatics, we undertook a simplified bacterial gene-finding benchmark in PRISM, a probabilistic dialect of Prolog. We evaluate Hidden Markov Model structures for bacterial protein-coding gene potential, including a simple null model structure, three structures based on existing bacterial gene finders and two novel model structures. We test standard versions as well as ADPH length modeling and three-state versions of the five model structures. The models are all represented as probabilistic logic programs and evaluated using the PRISM machine learning system in terms of statistical information criteria and gene-finding prediction accuracy, in two bacterial genomes. Neither of our implementations of the two currently most used model structures are best performing in terms of statistical information criteria or prediction performances, suggesting that better-fitting models might be achievable. The source code of all PRISM models, data and additional scripts are freely available for download at: http://github.com/somork/codonhmm. Supplementary data are available at Bioinformatics online.

Understanding the Linguistic Needs of Diverse Individuals with Autism Spectrum Disorder: Some Comments on the Research Literature and Suggestions for Clinicians.

PubMed

Lim, Nataly; O'Reilly, Mark F; Sigafoos, Jeff; Lancioni, Giulio E

2018-03-12

The practice of advising bilingual parents of children with autism spectrum disorder (ASD) to speak in a single language, often the majority language of the region, with their child with ASD seems to be common. Such advice, however, is not grounded on empirical evidence but appears to be based more on logical arguments and assumptions. In this commentary, fears surrounding dual language exposure and empirical evidence supporting bilingualism in children with ASD are discussed. Suggestions for future research and three key steps that clinicians can consider taking to better address the needs of diverse learners are provided.

A Risk Assessment System with Automatic Extraction of Event Types

NASA Astrophysics Data System (ADS)

Capet, Philippe; Delavallade, Thomas; Nakamura, Takuya; Sandor, Agnes; Tarsitano, Cedric; Voyatzi, Stavroula

In this article we describe the joint effort of experts in linguistics, information extraction and risk assessment to integrate EventSpotter, an automatic event extraction engine, into ADAC, an automated early warning system. By detecting as early as possible weak signals of emerging risks ADAC provides a dynamic synthetic picture of situations involving risk. The ADAC system calculates risk on the basis of fuzzy logic rules operated on a template graph whose leaves are event types. EventSpotter is based on a general purpose natural language dependency parser, XIP, enhanced with domain-specific lexical resources (Lexicon-Grammar). Its role is to automatically feed the leaves with input data.

The Role of Phonological versus Morphological Skills in the Development of Arabic Spelling: An Intervention Study.

PubMed

Taha, Haitham; Saiegh-Haddad, Elinor

2016-06-01

The current study investigated the contribution of two linguistic intervention programs, phonological and morphological to the development of word spelling among skilled and poor native Arabic readers, in three grades: second, fourth and sixth. The participants were assigned to three experimental groups: morphological intervention, phonological intervention and a non-intervention control group. Phonological awareness, morphological awareness, and spelling abilities were tested before and after the intervention. Participants from both linguistic intervention programs and in all grades made significant progress in linguistic awareness and spelling after the intervention. The results showed that both intervention programs were successful in promoting children's spelling skills in both groups. Also, older poor readers showed a stronger response to the morphological intervention than the older skilled readers. A transfer effect was found with the phonological training contributing to the morphological skills and vice versa. The results of the current study were discussed in the light of developmental and psycholinguistic views of spelling acquisition as well as the characteristics of Arabic language and orthography.

The Effect of Scratch- and Lego Mindstorms Ev3-Based Programming Activities on Academic Achievement, Problem-Solving Skills and Logical-Mathematical Thinking Skills of Students

ERIC Educational Resources Information Center

Korkmaz, Özgen

2016-01-01

The aim of this study was to investigate the effect of the Scratch and Lego Mindstorms Ev3 programming activities on academic achievement with respect to computer programming, and on the problem-solving and logical-mathematical thinking skills of students. This study was a semi-experimental, pretest-posttest study with two experimental groups and…

Efficient dynamic optimization of logic programs

NASA Technical Reports Server (NTRS)

Laird, Phil

1992-01-01

A summary is given of the dynamic optimization approach to speed up learning for logic programs. The problem is to restructure a recursive program into an equivalent program whose expected performance is optimal for an unknown but fixed population of problem instances. We define the term 'optimal' relative to the source of input instances and sketch an algorithm that can come within a logarithmic factor of optimal with high probability. Finally, we show that finding high-utility unfolding operations (such as EBG) can be reduced to clause reordering.

DESIGN METHODOLOGIES AND TOOLS FOR SINGLE-FLUX QUANTUM LOGIC CIRCUITS

DTIC Science & Technology

2017-10-01

DESIGN METHODOLOGIES AND TOOLS FOR SINGLE-FLUX QUANTUM LOGIC CIRCUITS UNIVERSITY OF SOUTHERN CALIFORNIA OCTOBER 2017 FINAL...SUBTITLE DESIGN METHODOLOGIES AND TOOLS FOR SINGLE-FLUX QUANTUM LOGIC CIRCUITS 5a. CONTRACT NUMBER FA8750-15-C-0203 5b. GRANT NUMBER N/A 5c. PROGRAM...of this project was to investigate the state-of-the-art in design and optimization of single-flux quantum (SFQ) logic circuits, e.g., RSFQ and ERSFQ

A Current Logical Framework: The Propositional Fragment

DTIC Science & Technology

2003-01-01

Under the Curry- Howard isomorphism, M can also be read as a proof term, and A as a proposition of intuitionistic linear logic in its formulation as DILL...the obliga- tion to ensure that the underlying logic (via the Curry- Howard isomorphism, if you like) is sensible. In particular, the principles of...Proceedings of the International Logic Programming Symposium (ILPS󈨣), pages 51-65, Portland, Oregon, December 1995. MIT Press. 6. G. Bellin and P. J

Counseling the Linguistically and Culturally Diverse Student: Meeting School Counselors' Professional Development Needs

ERIC Educational Resources Information Center

Schwallie-Giddis, Pat; Anstrom, Kristina; Sanchez, Patricio; Sardi, Victoria A.; Granato, Laura

2004-01-01

This study used qualitative methods to investigate the challenges and professional development needs of elementary and secondary school counselors who work with linguistically and culturally diverse students and families, and their perceptions of the impact of a 9-month professional development program focused on improving school counselors'…

Language Assessment: Its Development and Future--An Interview with Lyle F. Bachman

ERIC Educational Resources Information Center

Chen, Jing

2011-01-01

Lyle F. Bachman is Professor, Department of Applied Linguistics, University of California, Los Angeles. He is a past president of the American Association for Applied Linguistics and of the International Language Testing Association. He has published numerous articles and books in the areas of language testing, program evaluation, and second…

Culturally and Linguistically Diverse Students in Gifted Education: Recruitment and Retention Issues

ERIC Educational Resources Information Center

Ford, Donna Y.; Grantham, Tarek C.; Whiting, Gilman W.

2008-01-01

The field of gifted education has faced criticism about the underrepresentation of African American, Hispanic/Latino, and American Indian students who are culturally and linguistically diverse (CLD) in its programs. This article proposes that efforts targeting both recruitment and retention barriers are essential to remedying this disparity.…

From Remediation to Acceleration: Recruiting, Retaining, and Graduating Future Culturally and Linguistically Diverse (CLD) Educators

ERIC Educational Resources Information Center

Herrera, Socorro G.; Morales, Amanda R.; Holmes, Melissa A.; Terry, Dawn Herrera

2012-01-01

This ethnographic case study explores one mid-western state university's response to the challenge of culturally and linguistically diverse (CLD), especially Latino/a, student recruitment and retention. BESITOS (Bilingual/Bicultural Education Students Interacting To Obtain Success) is an integrated teacher preparation program implemented at a…

Connecting Writing and Speaking with Linguistically Diverse Teacher Education Students

ERIC Educational Resources Information Center

Kennedy, Eileen

2008-01-01

The increasing diversity of students and the pedagogical issues that such differences bring to the classroom is a challenge for early childhood teacher education programs today. In the early childhood education classroom, culturally and linguistically diverse teachers are sought after, yet these same diverse teacher candidates find it difficult to…

Evaluating the Validity of Computerized Content Analysis Programs for Identification of Emotional Expression in Cancer Narratives

ERIC Educational Resources Information Center

Bantum, Erin O'Carroll; Owen, Jason E.

2009-01-01

Psychological interventions provide linguistic data that are particularly useful for testing mechanisms of action and improving intervention methodologies. For this study, emotional expression in an Internet-based intervention for women with breast cancer (n = 63) was analyzed via rater coding and 2 computerized coding methods (Linguistic Inquiry…

LAMP: 100+ Systematic Exercise Lessons for Developing Linguistic Auditory Memory Patterns in Beginning Readers.

ERIC Educational Resources Information Center

Valett, Robert E.

Research findings on auditory sequencing and auditory blending and fusion, auditory-visual integration, and language patterns are presented in support of the Linguistic Auditory Memory Patterns (LAMP) program. LAMP consists of 100 developmental lessons for young students with learning disabilities or language problems. The lessons are included in…

Exploring the Experiences of Linguistically Diverse College of Education Student Writers

ERIC Educational Resources Information Center

Karathanos, Katya A.; Mena, Dolores D.

2014-01-01

Many linguistically diverse students at the post-secondary level have difficulty with academic language skills that are important to their success in content-area university courses. Although programs have been established to help English language learners (ELLs) transition from high school to college, little attention has been given to how…

Linguistic Differences with Bilingual Parents Who Are Immigrants: Words for Dialoguing about Young Children

ERIC Educational Resources Information Center

Cheatham, Gregory A.; Nyegenye, Sylvia

2017-01-01

While partnerships including meaningful, two-way, parent-teacher dialogue about young children during early childhood program and school meetings are critical, linguistic differences between bilingual parents who are immigrants and early educators can impede communication and lead to inequitable services. In this article, we focus on one aspect of…

General purpose programmable accelerator board

DOEpatents

Robertson, Perry J.; Witzke, Edward L.

2001-01-01

A general purpose accelerator board and acceleration method comprising use of: one or more programmable logic devices; a plurality of memory blocks; bus interface for communicating data between the memory blocks and devices external to the board; and dynamic programming capabilities for providing logic to the programmable logic device to be executed on data in the memory blocks.

California Geriatric Education Center Logic Model: An Evaluation and Communication Tool

ERIC Educational Resources Information Center

Price, Rachel M.; Alkema, Gretchen E.; Frank, Janet C.

2009-01-01

A logic model is a communications tool that graphically represents a program's resources, activities, priority target audiences for change, and the anticipated outcomes. This article describes the logic model development process undertaken by the California Geriatric Education Center in spring 2008. The CGEC is one of 48 Geriatric Education…

Learning Probabilistic Logic Models from Probabilistic Examples

PubMed Central

Chen, Jianzhong; Muggleton, Stephen; Santos, José

2009-01-01

Abstract We revisit an application developed originally using abductive Inductive Logic Programming (ILP) for modeling inhibition in metabolic networks. The example data was derived from studies of the effects of toxins on rats using Nuclear Magnetic Resonance (NMR) time-trace analysis of their biofluids together with background knowledge representing a subset of the Kyoto Encyclopedia of Genes and Genomes (KEGG). We now apply two Probabilistic ILP (PILP) approaches - abductive Stochastic Logic Programs (SLPs) and PRogramming In Statistical modeling (PRISM) to the application. Both approaches support abductive learning and probability predictions. Abductive SLPs are a PILP framework that provides possible worlds semantics to SLPs through abduction. Instead of learning logic models from non-probabilistic examples as done in ILP, the PILP approach applied in this paper is based on a general technique for introducing probability labels within a standard scientific experimental setting involving control and treated data. Our results demonstrate that the PILP approach provides a way of learning probabilistic logic models from probabilistic examples, and the PILP models learned from probabilistic examples lead to a significant decrease in error accompanied by improved insight from the learned results compared with the PILP models learned from non-probabilistic examples. PMID:19888348

Learning Probabilistic Logic Models from Probabilistic Examples.

PubMed

Chen, Jianzhong; Muggleton, Stephen; Santos, José

2008-10-01

We revisit an application developed originally using abductive Inductive Logic Programming (ILP) for modeling inhibition in metabolic networks. The example data was derived from studies of the effects of toxins on rats using Nuclear Magnetic Resonance (NMR) time-trace analysis of their biofluids together with background knowledge representing a subset of the Kyoto Encyclopedia of Genes and Genomes (KEGG). We now apply two Probabilistic ILP (PILP) approaches - abductive Stochastic Logic Programs (SLPs) and PRogramming In Statistical modeling (PRISM) to the application. Both approaches support abductive learning and probability predictions. Abductive SLPs are a PILP framework that provides possible worlds semantics to SLPs through abduction. Instead of learning logic models from non-probabilistic examples as done in ILP, the PILP approach applied in this paper is based on a general technique for introducing probability labels within a standard scientific experimental setting involving control and treated data. Our results demonstrate that the PILP approach provides a way of learning probabilistic logic models from probabilistic examples, and the PILP models learned from probabilistic examples lead to a significant decrease in error accompanied by improved insight from the learned results compared with the PILP models learned from non-probabilistic examples.

Automata-Based Verification of Temporal Properties on Running Programs

NASA Technical Reports Server (NTRS)

Giannakopoulou, Dimitra; Havelund, Klaus; Lan, Sonie (Technical Monitor)

2001-01-01

This paper presents an approach to checking a running program against its Linear Temporal Logic (LTL) specifications. LTL is a widely used logic for expressing properties of programs viewed as sets of executions. Our approach consists of translating LTL formulae to finite-state automata, which are used as observers of the program behavior. The translation algorithm we propose modifies standard LTL to Buchi automata conversion techniques to generate automata that check finite program traces. The algorithm has been implemented in a tool, which has been integrated with the generic JPaX framework for runtime analysis of Java programs.

Linguistic and pragmatic constraints on utterance interpretation

NASA Astrophysics Data System (ADS)

Hinkelman, Elizabeth A.

1990-05-01

In order to model how people understand language, it is necessary to understand not only grammar and logic but also how people use language to affect their environment. This area of study is known as natural language pragmatics. Speech acts, for instance, are the offers, promises, announcements, etc., that people make by talking. The same expression may be different acts in different contexts, and yet not every expression performs every act. We want to understand how people are able to recognize other's intentions and implications in saying something. Previous plan-based theories of speech act interpretation do not account for the conventional aspect of speech acts. They can, however, be made sensitive to both linguistic and propositional information. This dissertation presents a method of speech act interpretation which uses patterns of linguistic features (e.g., mood, verb form, sentence adverbials, thematic roles) to identify a range of speech act interpretations for the utterance. These are then filtered and elaborated by inferences about agents' goals and plans. In many cases the plan reasoning consists of short, local inference chains (that are in fact conversational implicatures) and, extended reasoning is necessary only for the most difficult cases. The method is able to accommodate a wide range of cases, from those which seem very idiomatic to those which must be analyzed using knowledge about the world and human behavior. It explains how, Can you pass the salt, can be a request while, Are you able to pass the salt, is not.

An Introduction to Logic Control Systems for the Behavioral Scientist, Part I, Text.

ERIC Educational Resources Information Center

Larsen, Lawrence A.

This programed instruction course gives a basic introduction to solid state programing equipment. Course objectives include giving the student (1) a working knowledge of the various types of units used in building digital logic control systems and (2) an idea of how they interconnect to perform different functions. The course has no prerequisites…

Security risk assessment: applying the concepts of fuzzy logic.

PubMed

Bajpai, Shailendra; Sachdeva, Anish; Gupta, J P

2010-01-15

Chemical process industries (CPI) handling hazardous chemicals in bulk can be attractive targets for deliberate adversarial actions by terrorists, criminals and disgruntled employees. It is therefore imperative to have comprehensive security risk management programme including effective security risk assessment techniques. In an earlier work, it has been shown that security risk assessment can be done by conducting threat and vulnerability analysis or by developing Security Risk Factor Table (SRFT). HAZOP type vulnerability assessment sheets can be developed that are scenario based. In SRFT model, important security risk bearing factors such as location, ownership, visibility, inventory, etc., have been used. In this paper, the earlier developed SRFT model has been modified using the concepts of fuzzy logic. In the modified SRFT model, two linguistic fuzzy scales (three-point and four-point) are devised based on trapezoidal fuzzy numbers. Human subjectivity of different experts associated with previous SRFT model is tackled by mapping their scores to the newly devised fuzzy scale. Finally, the fuzzy score thus obtained is defuzzyfied to get the results. A test case of a refinery is used to explain the method and compared with the earlier work.

Identification of multiple intelligences for high school students in theoretical and applied science courses

NASA Astrophysics Data System (ADS)

Wiseman, D. Kim

Historically educators in the United States have used the Stanford-Binet intelligence test to measure a students' ability in logical/mathematical and linguistic domains. This measurement is being used by a society that has evolved from agrarian and industrial-based economies to what is presently labeled a technological society. As society has changed so have the educational needs of the students who will live in this technological society. This study assessed the multiple intelligences of high school students enrolled in theoretical and applied science (physics and applied physics) courses. Studies have verified that performance and outcomes of students enrolled in these courses are similar in standardized testing but instructional methodology and processes are dissimilar. Analysis of multiple intelligence profiles collected from this study found significant differences in logical/mathematical, bodily/kinesthetic and intrapersonal multiple intelligences of students in theoretical science courses compared to students in applied science courses. Those differences clearly illustrate why it is imperative for educators to expand the definition of intelligence for students entering the new millennium.

The Application of LOGO! in Control System of a Transmission and Sorting Mechanism

NASA Astrophysics Data System (ADS)

Liu, Jian; Lv, Yuan-Jun

Logic programming of general logic control module LOGO! has been recommended the application in transmission and sorting mechanism. First, the structure and operating principle of the mechanism had been introduced. Then the pneumatic loop of the mechanism had been plotted in the software of FluidSIM-P. At last, pneumatic loop and motors had been control by LOGO!, which makes the control process simple and clear instead of the complicated control of ordinary relay. LOGO! can achieve the complicated interlock control composed of inter relays and time relays. In the control process, the logic control function of LOGO! is fully used to logic programming so that the system realizes the control of air cylinder and motor. It is reliable and adjustable mechanism after application.

Fuzzy logic and neural network technologies

NASA Technical Reports Server (NTRS)

Villarreal, James A.; Lea, Robert N.; Savely, Robert T.

1992-01-01

Applications of fuzzy logic technologies in NASA projects are reviewed to examine their advantages in the development of neural networks for aerospace and commercial expert systems and control. Examples of fuzzy-logic applications include a 6-DOF spacecraft controller, collision-avoidance systems, and reinforcement-learning techniques. The commercial applications examined include a fuzzy autofocusing system, an air conditioning system, and an automobile transmission application. The practical use of fuzzy logic is set in the theoretical context of artificial neural systems (ANSs) to give the background for an overview of ANS research programs at NASA. The research and application programs include the Network Execution and Training Simulator and faster training algorithms such as the Difference Optimized Training Scheme. The networks are well suited for pattern-recognition applications such as predicting sunspots, controlling posture maintenance, and conducting adaptive diagnoses.

Simulated Laboratory in Digital Logic.

ERIC Educational Resources Information Center

Cleaver, Thomas G.

Design of computer circuits used to be a pencil and paper task followed by laboratory tests, but logic circuit design can now be done in half the time as the engineer accesses a program which simulates the behavior of real digital circuits, and does all the wiring and testing on his computer screen. A simulated laboratory in digital logic has been…

A Public Service-Dominant Logic for the Executive Education of Public Managers

ERIC Educational Resources Information Center

Hiedemann, Alexander M.; Nasi, Greta; Saporito, Raffaella

2017-01-01

Building on the concept of Public Service-Dominant Logic (PSDL), this article aims to apply the public service-dominant logic to executive education. We argue that fit-for-purpose and effective executive master programs for public managers (EMPA) need to be designed from a public service perspective. Framing executive education as a service…

Drawing upon Lessons Learned: Effective Curriculum and Instruction for Culturally and Linguistically Diverse Gifted Learners

ERIC Educational Resources Information Center

Swanson, Julie Dingle

2016-01-01

Javits Gifted and Talented Education Program has provided a wealth of knowledge on culturally and linguistically diverse (CLD) gifted learners and how to support teachers in their work with CLD students. This study examined five impactful Javits projects through qualitative inquiry centered on how innovative practice takes root or not. Using…

The Effects of Positive Behavior Support Parent-Training Programs on Parent-Child Relationships in Culturally and Linguistically Diverse Families

ERIC Educational Resources Information Center

Hall, Tonya P.; Turnbull, Ann P.; McCart, Amy; Griggs, Peter; Choi, Jeong-Hoon; Markey, Ursula; Markey, D. J.; Sailor, Wayne

2007-01-01

A pre-postassessment, single-subject, pilot study was implemented, testing the hypothesis that positive behavior support (PBS) would improve family quality-of-life outcomes by reducing parental stress and challenging behaviors of preschool children who are culturally and linguistically diverse and reside in urban, disadvantaged communities. Six…

In Search of a New, Linguistically and Culturally Sensitive Paradigm in Deaf Education

ERIC Educational Resources Information Center

Simms, Laurene; Thumann, Helen

2007-01-01

For more than a century, educators have recognized the low academic achievement of deaf children in America. Teacher training programs in deaf education historically have emphasized medical-pathological views of deaf people and deaf education rather than appropriate pedagogies that draw upon and build on deaf students' linguistic and cultural …

French Immersion Research in Canada: Recent Contributions to SLA and Applied Linguistics.

ERIC Educational Resources Information Center

Swain, Merrill

2000-01-01

Discusses two questions: (1) What has the recent research conducted in French immersion programs in Canada contributed to understanding of second language acquisition?; and (2) What has it contributed to the broader field of applied linguistics? Considers research in the coming decade, and discusses obstacles that may be faced in Canada in…

Work Papers of the Summer Institute of Linguistics, University of North Dakota Session. Volume 38.

ERIC Educational Resources Information Center

Martlett, Stephen A., Ed.; Meyer, Jim, Ed.

This collection of eight papers and six "data squibs" (short research findings) are based on topics and languages under study by students and staff of the linguistics program of the University of North Dakota. The papers are: (1) "Dakota Sioux Objects" (Thomas M. Pinson); (2) "The Tapir: A Yanomami Text" (Irma…

Media Technologies and Language Learning. Proceedings of an IRAAL Seminar (Dublin, Ireland, November 25, 1989).

ERIC Educational Resources Information Center

Little, David, Ed.; O Meadhra, Bebhinn, Ed.

A seminar sponsored by the Irish Association for Applied Linguistics on the role of media and media technologies in second and foreign language learning is reported. The organization of this report reflects the program of the seminar. Four plenary papers established some broad applied linguistic perspectives and presented an overview of recent…

Can yu rid guat ay rot? A Developmental Investigation of Cross-Linguistic Spelling Errors among Spanish-English Bilingual Students

ERIC Educational Resources Information Center

Howard, Elizabeth R.; Green, Jennifer D.; Arteagoitia, Igone

2012-01-01

This study contributes to the literature on cross-linguistic literacy relationships for English language learners, and in particular, the Spanish-influenced spelling patterns of Spanish-English bilinguals. English spelling, reading, and vocabulary assessments were administered to 220 students in four TWI programs over a three-year period, from…

Exploring an In-Service Staff Development System for Classroom Teachers in Culturally and Linguistically Diverse Classrooms

ERIC Educational Resources Information Center

Heiligenstein, Janna X.

2010-01-01

Population data across the nation demonstrates the growing number of students in public schools who are from culturally and linguistically diverse backgrounds, while public school data reflects a teacher population that is mainly white, middle class and female. While new teacher programs are beginning to respond to this diversity, in-service…

Scaffolding Linguistic and Intercultural Goals in EFL with Simplified Novels and Their Film Adaptations

ERIC Educational Resources Information Center

Zoreda, Margaret Lee; Vivaldo-Lima, Javier

2008-01-01

This article argues that exposure to culture will help students develop complex linguistic and cultural skills. The authors discuss the use of graded literary readers, audio resources, and films. They present a detailed description of the implementation and results of two simplified novel modules in an EFL program. One module was taught to…

Siblings as Mediators of Literacy in Linguistic Minority Communities.

ERIC Educational Resources Information Center

Gregory, Eve

This paper argues for the need to move beyond the paradigm of parental involvement in reading, which presently informs home/school reading programs for linguistic minority children in the United Kingdom (UK). The first part of the paper examines the literature informing the current model showing the marked absence of studies on the role played by…

Educating Linguistically Diverse Students: A Mixed Methods Study of Elementary Teachers' Coursework, Attitudes, and Practice

ERIC Educational Resources Information Center

Greenfield, Renée A.

2016-01-01

This study followed a mixed-methods sequential explanatory design. Phase I involved the collection of quantitative data to examine inservice teachers' (N = 69) attitudes about language and linguistic diversity as well as their teacher education coursework. All participants were graduates from the same teacher education program. Phase II included…

Cultural and Linguistic Diversity in Early Childhood Teacher Preparation: The Impact of Contextual Characteristics on Coursework and Practica

ERIC Educational Resources Information Center

Lim, Chih-Ing; Maxwell, Kelly L.; Able-Boone, Harriet; Zimmer, Catherine R.

2009-01-01

The population of children in early childhood settings is becoming increasingly culturally and linguistically diverse, and these changes in demographics have warranted teachers becoming more culturally responsive and better prepared to work with diverse young children and families. Teacher preparation programs across the nation have responded…

L'Enquete linguistique et son application a la correction de l'expression orale (Linguistic Inquiry and Its Application to the Correction of Oral Expression)

ERIC Educational Resources Information Center

Niedzielski, Henri

1970-01-01

This article suggests applying the methods of linguistic investigation which dialectologists use in field work to the systematically programmed training of foreign language teachers in hearing and correcting the phonemic deviations in their students' pronunciation of the target language. (Author/FB)

Pronominal Differences in Languages of Sabah and Sarawak and the Effect on the Acquisition of Bahasa Malaysia.

ERIC Educational Resources Information Center

Lee, Eileen Yen Ee; Boutin, Michael E.

Bilingual education programs must be based on a sound understanding of the linguistic, social, psychological, and cultural factors affecting students. This paper is concerned with linguistic factors that affect the acquisition of Bahasa Malaysia (BM) pronouns by non-native speakers from Sabah and Sarawak. Properties in the personal pronoun systems…

The Effect of Chair Yoga on Biopsychosocial Changes in English- and Spanish-Speaking Community-Dwelling Older Adults with Lower-Extremity Osteoarthritis.

PubMed

Park, Juyoung; Newman, David; McCaffrey, Ruth; Garrido, Jacinto J; Riccio, Mary Lou; Liehr, Patricia

Chair yoga (CY), a mind-body therapy, is a safe nonpharmacological approach for managing osteoarthritis (OA) in older adults who cannot participate in standing exercise. However, there is no linguistically tailored CY program for those with limited English proficiency (LEP). This 2-arm randomized controlled trial compared the effects of a linguistically tailored yoga program (English and Spanish versions) on the outcomes of pain, physical function, and psychosocial factors compared to the effects of a linguistically tailored Health Education Program (HEP; English and Spanish versions). Participants with lower-extremity OA, recruited from 2 community sites, completed the Spanish (n = 40) or English (n = 60) version of twice-weekly 45-min CY or HEP sessions for 8 weeks. Data were collected at baseline, 4 weeks, 8 weeks, and 1- and 3-month follow-ups. English and Spanish CY groups (but neither HEP language group) showed significant decreases in pain interference. Measures of OA symptoms, balance, depression, and social activities were not significantly different between English and Spanish versions of CY and English and Spanish versions of HEP. It was concluded that the Spanish and English versions of CY and HEP were equivalent. Linguistically tailored CY could be implemented in aging-serving communities for persons with LEP.

It ain't what you say, it's how you say it: linguistic and cultural diversity in the classroom.

PubMed

Robinson, Cynthia Cole; Clardy, Pauline

2011-01-01

The disparity between the cultural and linguistic diversity of the teaching population and the student population continues to grow as teacher education programs enroll and graduate primarily white teacher candidates (83.7%). At the same time, the diversity of the K-12 student body has increased with 65% of public school students being from culturally and linguistically diverse backgrounds (National Center for Education Statistics, 2007). This chasm between the diversity of the teaching force and student population is of concern as many teachers report that they do not have the cultural knowledge and experience of working or living in diverse environments, yet will be faced with teaching a very diverse student population. Hence, the need for teacher candidates and current teachers to be explicitly taught the skills needed to successfully teach diverse student populations is urgent. In this article, we explore the following phenomena: how linguistic and cultural diversity is regarded in teacher education programs, as well as teacher candidates' and current K-12 teachers' dispositions towards students who do not share their cultural backgrounds or language (including those who vary in their dialects). Finally, we will present strategies that teacher educators can use to embrace and empower culturally and linguistically diverse (CLD) teacher candidates, as well as prepare teacher candidates to teach diverse student populations.

Using Weighted Constraints to Diagnose Errors in Logic Programming--The Case of an Ill-Defined Domain

ERIC Educational Resources Information Center

Le, Nguyen-Thinh; Menzel, Wolfgang

2009-01-01

In this paper, we introduce logic programming as a domain that exhibits some characteristics of being ill-defined. In order to diagnose student errors in such a domain, we need a means to hypothesise the student's intention, that is the strategy underlying her solution. This is achieved by weighting constraints, so that hypotheses about solution…

Corpus Linguistics and the Design of a Response Message

NASA Astrophysics Data System (ADS)

Atwell, E.

2002-01-01

Most research related to SETI, the Search for Extra-Terrestrial Intelligence, is focussed on techniques for detection of possible incoming signals from extra-terrestrial intelligent sources (e.g. Turnbull et al. 1999), and algorithms for analysis of these signals to identify intelligent language-like characteristics (e.g. Elliott and Atwell 1999, 2000). However, another issue for research and debate is the nature of our response, should a signal arrive and be detected. The design of potentially the most significant communicative act in history should not be decided solely by astrophysicists; the Corpus Linguistics research community has a contribution to make to what is essentially a Corpus design and implementation project. (Vakoch 1998) advocated that the message constructed to transmit to extraterrestrials should include a broad, representative collection of perspectives rather than a single viewpoint or genre; this should strike a chord with Corpus Linguists for whom a central principle is that a corpus must be "balanced" to be representative (Meyer 2001). One idea favoured by SETI researchers is to transmit an encyclopaedia summarising human knowledge, such as the Encyclopaedia Britannica, to give ET communicators an overview and "training set" key to analysis of subsequent messages. Furthermore, this should be sent in several versions in parallel: the text; page-images, to include illustrations left out of the text-file and perhaps some sort of abstract linguistic representation of the text, using a functional or logic language (Ollongren 1999, Freudenthal 1960). The idea of "enriching" the message corpus with annotations at several levels should also strike a chord with Corpus Linguists who have long known that Natural language exhibits highly complex multi-layering sequencing, structural and functional patterns, as difficult to model as sequences and structures found in more traditional physical and biological sciences. Some corpora have been annotated with several levels or layers of linguistic knowledge, for example the SEC corpus (Taylor and Knowles 1988), the ISLE corpus (Menzel et al. 2000). Tagged and parsed corpus can be used by corpus linguists as a testbed to guide their development of grammars (e.g. Souter and Atwell 1994); and they can be used to train Natural Language Learning or data-mining models of complex sequence data (e.g. Brill 1993, Hughes 1993, Atwell 1996). Corpus linguists have a range of standards and tools for design and annotation of representative corpus resources, and experience of which annotation types are more amenable to Natural Language Learning algorithms. An Advisory panel of corpus linguists could help design and implement an extended Multi-annotated Interstellar Corpus of English, incorporating ideas from Corpus Linguistics such as: - Augment the Encyclopaedia Britannica with a collection of samples representing the diversity of language in real use. - As an additional "key", transmit a dictionary aimed at language learners which has also been a rich source for NLP - Supply our ET communicators with several levels of linguistic annotation, to give them a richer training set for their - Add translations of the English text into other human languages: Humanity should not be represented by English alone, This calls for a large-scale corpus annotation project, requiring an Interstellar Corpus Advisory Panel, analogous to the BNC or MATE advisory panels, to include experts in English grammar and semantics, English language learning, computational Natural language Learning algorithms, and corpus design, implementation, annotation, standardisation, and analysis.

Data Acquisition and Linguistic Resources

NASA Astrophysics Data System (ADS)

Strassel, Stephanie; Christianson, Caitlin; McCary, John; Staderman, William; Olive, Joseph

All human language technology demands substantial quantities of data for system training and development, plus stable benchmark data to measure ongoing progress. While creation of high quality linguistic resources is both costly and time consuming, such data has the potential to profoundly impact not just a single evaluation program but language technology research in general. GALE's challenging performance targets demand linguistic data on a scale and complexity never before encountered. Resources cover multiple languages (Arabic, Chinese, and English) and multiple genres -- both structured (newswire and broadcast news) and unstructured (web text, including blogs and newsgroups, and broadcast conversation). These resources include significant volumes of monolingual text and speech, parallel text, and transcribed audio combined with multiple layers of linguistic annotation, ranging from word aligned parallel text and Treebanks to rich semantic annotation.

Language plus for international graduate students in nursing.

PubMed

Julian, M A; Keane, A; Davidson, K

1999-01-01

To provide information about an English-language support program that focuses on the needs of international graduate nursing students. The growing presence of these students coincides with the increasing numbers of universities committed to world health. Crucial social and language competence affect the success and progress of international students in graduate nursing programs. Reviewed literature was 1980 to 1998, in nursing and applied linguistic research including second-language acquisition, phonology, discourse analysis, and language pragmatics to identify social and language phenomena. Investigators suggest essential elements such as conventions of academic writing, reading comprehension, vocabulary, and pronunciation skills be included in the supportive Language Plus program. Ongoing development of the Language Plus program can promote collaboration between nurses and linguists and increase the success of international graduate nursing students.

Structured Analysis/Design - LSA Task 101, Early Logistic Support Analysis Strategy, Subtask 101.2.1, Develop Early LSA Strategy

DTIC Science & Technology

1990-07-01

replacing "logic diagrams" or "flow charts") to aid in coordinating the functions to be performed by a computer program and its associated Inputs...ADDRESS (City, State, and ZIP Code) 10. SOURCE OF FUNDING NUMBERS PROGRAM PROJECT ITASK IWORK UNIT ELEMENT NO. NO. NO. ACCESSION NO. 11. TITLE...the analysis. Both the logical model and detailed procedures are used to develop the application software programs which will be provided to Government

A system for programming experiments and for recording and analyzing data automatically1

PubMed Central

Herrick, Robert M.; Denelsbeck, John S.

1963-01-01

A system designed for use in complex operant conditioning experiments is described. Some of its key features are: (a) plugboards that permit the experimenter to change either from one program to another or from one analysis to another in less than a minute, (b) time-sharing of permanently-wired, electronic logic components, (c) recordings suitable for automatic analyses. Included are flow diagrams of the system and sample logic diagrams for programming experiments and for analyzing data. ImagesFig. 4. PMID:14055967

Optical programmable Boolean logic unit.

PubMed

Chattopadhyay, Tanay

2011-11-10

Logic units are the building blocks of many important computational operations likes arithmetic, multiplexer-demultiplexer, radix conversion, parity checker cum generator, etc. Multifunctional logic operation is very much essential in this respect. Here a programmable Boolean logic unit is proposed that can perform 16 Boolean logical operations from a single optical input according to the programming input without changing the circuit design. This circuit has two outputs. One output is complementary to the other. Hence no loss of data can occur. The circuit is basically designed by a 2×2 polarization independent optical cross bar switch. Performance of the proposed circuit has been achieved by doing numerical simulations. The binary logical states (0,1) are represented by the absence of light (null) and presence of light, respectively.

Espanol para alumnos hispanohablantes: Niveles I y II de secundaria (Spanish for Spanish-Speaking Students: Secondary Levels I and II).

ERIC Educational Resources Information Center

Arce, Eugene; And Others

A curriculum guide for secondary levels 1 and 2 offers a linguistic and cultural program for native speakers of Spanish. Designed especially for bilingual students in Texas, the guide recognizes the high level of linguistic achievement of the Spanish-speaking pupils, and stresses an appreciation of Hispanic culture. The bulletin provides…

Changes in Beliefs about Language Learning and Teaching by Foreign Language Teachers in an Applied Linguistics Course

ERIC Educational Resources Information Center

Abreu, Laurel

2015-01-01

This article presents the results of a study on the language learning and teaching beliefs of graduate students enrolled in an applied linguistics course in a language teaching program. Ten participants completed a questionnaire at the start of the course and another at the end; their responses were analyzed both quantitatively and qualitatively.…

Meeting the Challenge of Linguistic and Cultural Diversity in Early Childhood Education. Yearbook in Early Childhood Education Series, Volume 6.

ERIC Educational Resources Information Center

Garcia, Eugene E., Ed.; And Others

Geared toward early childhood educators, reading and writing teachers, bilingual and English as a Second Language teachers, and to courses in these fields, this yearbook examines the issues of linguistic and cultural diversity in early childhood programs. Following an introduction (Eugene Garcia and Barry McLaughlin) on the cultural context…

Using Pretend Play to Promote Foundations for Text Comprehension: Examples from a Program for Children Who Are Deaf and Hard of Hearing

ERIC Educational Resources Information Center

Westby, Carol; Wilson, Deborah

2017-01-01

This review article starts with an overview of changing education paradigms and the literature on cognitive and linguistic relationships in imaginative play related to comprehension of oral and written texts. Strategies for developing the cognitive and linguistic foundations for text comprehension through play are described. A review of current…

Consultation and Collaboration to Develop and Implement Restorative Practices in a Culturally and Linguistically Diverse Elementary School

ERIC Educational Resources Information Center

Ingraham, Colette L.; Hokoda, Audrey; Moehlenbruck, Derek; Karafin, Monica; Manzo, Caroline; Ramirez, Daniel

2016-01-01

Through an embedded single-case study design and qualitative methods, this article describes the school-wide implementation and preliminary results of a restorative practices (RP) program within a culturally and linguistically diverse (CLD) elementary school. Located in an urban area with high rates of crime, violence, and poverty, the three-year…

Articles on Practical Cybernetics. Computer-Developed Computers; Heuristics and Modern Sciences; Linguistics and Practice; Cybernetics and Moral-Ethical Considerations; and Men and Machines at the Chessboard.

ERIC Educational Resources Information Center

Berg, A. I.; And Others

Five articles which were selected from a Russian language book on cybernetics and then translated are presented here. They deal with the topics of: computer-developed computers, heuristics and modern sciences, linguistics and practice, cybernetics and moral-ethical considerations, and computer chess programs. (Author/JY)

The Road to Participation: The Construction of a Literacy Practice in a Learning Community of Linguistically Diverse Learners.

ERIC Educational Resources Information Center

Kong, Ailing; Pearson, P. David

2003-01-01

Describes a year-long process in which a group of fourth- and fifth-grade students with diverse cultural and linguistic backgrounds learned to participate in reading, writing, and talking about books in a literature-based instructional program. Reveals a gradual release of responsibility from the teacher to students as they developed the knowledge…

Systemic Functional Linguistic Genre Pedagogy ((SFL GP) in a Tertiary EFL Writing Context in Indonesia

ERIC Educational Resources Information Center

Emilia, Emi; Hamied, Fuad Abdul

2015-01-01

This article reports on the results of a study aiming to investigate whether systemic functional linguistic genre pedagogy (SFL GP) can help students develop their writing ability in English and the students' opinions about the teaching program using SFL GP. The study was conducted in one semester with 19 student teachers taking a writing course…

A multi-disciplinary curriculum for 11- to 13-year-olds: immunization, plus!

PubMed

Glik, D C; Stone, K M; McNeil, J D; Berkanovic, E; Jones, M C; Richardes, D A; Mirocha, J M

1997-09-01

A sixth grade curriculum entitled "Immunization, Plus!" Was developed to promote adolescent immunization. This targeted immunization curriculum utilized contemporary learning theory and innovative teaching approaches and styles to maximize acceptability among educators. Because instructional time in school was limited, a thematic curriculum was created to embed immunization and communicable disease content within mathematics, science/health, and language arts units. The curriculum, which reflected the theory of multiple intelligences among students, offered an array of different learning formats, including linguistic, logical-mathematical, spatial, and bodily-kinesthetic. The curriculum was made available free of charge to school districts in California, and its evaluation was planned to track distribution, utilization, and changes in students' knowledge, attitude, and behavior.

Neuro-Fuzzy Support of Knowledge Management in Social Regulation

NASA Astrophysics Data System (ADS)

Petrovic-Lazarevic, Sonja; Coghill, Ken; Abraham, Ajith

2002-09-01

The aim of the paper is to demonstrate the neuro-fuzzy support of knowledge management in social regulation. Knowledge could be understood for social regulation purposes as explicit and tacit. Explicit knowledge relates to the community culture indicating how things work in the community based on social policies and procedures. Tacit knowledge is ethics and norms of the community. The former could be codified, stored and transferable in order to support decision making, while the latter being based on personal knowledge, experience and judgments is difficult to codify and store. Tacit knowledge expressed through linguistic information can be stored and used to support knowledge management in social regulation through the application of fuzzy and neuro-fuzzy logic.

Media framing of complex issues: The case of endangered languages.

PubMed

Rivenburgh, Nancy K

2013-08-01

This study investigates how media frame a global trend that is complex in nature, emergent in terms of scientific understanding, and has public policy implications: the rapid disappearance of languages. It analyzes how English-language media from 15 western, industrialized countries frame the causes and implications of endangered languages over 35 years (1971-2006) - a time period notable for growing, interdisciplinary concerns over the potential negative impacts of losing the world's linguistic diversity. The results reveal a media discourse characterized by three complementary frames that are sympathetic to the plight of endangered languages, but that present the problem, its cause, and societal implications in a logical structure that would promote public complacency.

Federal Highway Administration research and technology evaluation final report : Eco-Logical

DOT National Transportation Integrated Search

2018-03-01

This report documents an evaluation of Federal Highway Administrations (FHWA) Research and Technology Programs activities on the implementation of the Eco-Logical approach by State transportation departments and metropolitan planning organizati...

Logic programming to infer complex RNA expression patterns from RNA-seq data.

PubMed

Weirick, Tyler; Militello, Giuseppe; Ponomareva, Yuliya; John, David; Döring, Claudia; Dimmeler, Stefanie; Uchida, Shizuka

2018-03-01

To meet the increasing demand in the field, numerous long noncoding RNA (lncRNA) databases are available. Given many lncRNAs are specifically expressed in certain cell types and/or time-dependent manners, most lncRNA databases fall short of providing such profiles. We developed a strategy using logic programming to handle the complex organization of organs, their tissues and cell types as well as gender and developmental time points. To showcase this strategy, we introduce 'RenalDB' (http://renaldb.uni-frankfurt.de), a database providing expression profiles of RNAs in major organs focusing on kidney tissues and cells. RenalDB uses logic programming to describe complex anatomy, sample metadata and logical relationships defining expression, enrichment or specificity. We validated the content of RenalDB with biological experiments and functionally characterized two long intergenic noncoding RNAs: LOC440173 is important for cell growth or cell survival, whereas PAXIP1-AS1 is a regulator of cell death. We anticipate RenalDB will be used as a first step toward functional studies of lncRNAs in the kidney.

Economic Assimilation and Skill Acquisition: Evidence From the Occupational Sorting of Childhood Immigrants.

PubMed

Bacolod, Marigee; Rangel, Marcos A

2017-04-01

We study the economic assimilation of childhood immigrants to the United States. The linguistic distance between English and the predominant language in one's country of birth interacted with age at arrival is shown to be closely connected to occupational sorting in adulthood. By applying big-data techniques to occupations' detailed skill requirements, we provide evidence that childhood immigrants from English-distant countries who arrived after the primary school years reveal comparative advantages in tasks distinct from those for which (close to) Anglophone immigrants are better suited. Meanwhile, those who arrive at younger ages specialize in a bundle of skills very similar to that supplied by observationally equivalent workers. These patterns emerge even after we net out the effects of formal education. Such findings are compatible with the existence of different degrees of complementarity between relative English-learning potential at arrival and the acquisition of multiple capabilities demanded in the U.S. labor market (math/logic, socioemotional, physical, and communication skills). Consistent with the investment-complementarity argument, we show that linguistic distance and age at arrival also play a significant role on the choice of college major within this population.

Gender Differences in the Effect of Linguistic Acculturation on Substance Use Among Mexican-Origin Youth in the Southwest United States

PubMed Central

Marsiglia, Flavio F.; Kulis, Stephen; Hussaini, Syed Khaleel; Nieri, Tanya A.; Becerra, David

2010-01-01

This study tested for gender differences in the impact of linguistic acculturation on pro-drug norms, substance use intentions, and actual substance use among youth of Mexican heritage in a large metropolitan area in the Southwest United States. The authors analyzed baseline survey data provided by 2,487 middle school students of Mexican heritage who were part of a larger, multiethnic randomized efficacy trial of a drug abuse prevention program. Using multi-group structural equation modeling, the authors found that linguistic acculturation was positively and directly related to adherence to pro-drug norms, substance use intentions, and recent alcohol use, controlling for age, poor grades, and socioeconomic status. In addition, linguistic acculturation had an indirect effect on substance use intentions and recent alcohol use through pro-drug norms. The direct effect of linguistic acculturation on pro-drug norms was stronger for girls than for boys, as was its indirect effect on substance use intentions. PMID:20390972

Putting time into proof outlines

NASA Technical Reports Server (NTRS)

Schneider, Fred B.; Bloom, Bard; Marzullo, Keith

1993-01-01

A logic for reasoning about timing properties of concurrent programs is presented. The logic is based on Hoare-style proof outlines and can handle maximal parallelism as well as certain resource-constrained execution environments. The correctness proof for a mutual exclusion protocol that uses execution timings in a subtle way illustrates the logic in action. A soundness proof using structural operational semantics is outlined in the appendix.

Application of logic models in a large scientific research program.

PubMed

O'Keefe, Christine M; Head, Richard J

2011-08-01

It is the purpose of this article to discuss the development and application of a logic model in the context of a large scientific research program within the Commonwealth Scientific and Industrial Research Organisation (CSIRO). CSIRO is Australia's national science agency and is a publicly funded part of Australia's innovation system. It conducts mission-driven scientific research focussed on delivering results with relevance and impact for Australia, where impact is defined and measured in economic, environmental and social terms at the national level. The Australian Government has recently signalled an increasing emphasis on performance assessment and evaluation, which in the CSIRO context implies an increasing emphasis on ensuring and demonstrating the impact of its research programs. CSIRO continues to develop and improve its approaches to impact planning and evaluation, including conducting a trial of a program logic approach in the CSIRO Preventative Health National Research Flagship. During the trial, improvements were observed in clarity of the research goals and path to impact, as well as in alignment of science and support function activities with national challenge goals. Further benefits were observed in terms of communication of the goals and expected impact of CSIRO's research programs both within CSIRO and externally. The key lesson learned was that significant value was achieved through the process itself, as well as the outcome. Recommendations based on the CSIRO trial may be of interest to managers of scientific research considering developing similar logic models for their research projects. The CSIRO experience has shown that there are significant benefits to be gained, especially if the project participants have a major role in the process of developing the logic model. Copyright © 2011 Elsevier Ltd. All rights reserved.

Flight Design System-1 System Design Document. Volume 9: Executive logic flow, program design language

NASA Technical Reports Server (NTRS)

1979-01-01

The detailed logic flow for the Flight Design System Executive is presented. The system is designed to provide the hardware/software capability required for operational support of shuttle flight planning.

Molecular implementation of simple logic programs.

PubMed

Ran, Tom; Kaplan, Shai; Shapiro, Ehud

2009-10-01

Autonomous programmable computing devices made of biomolecules could interact with a biological environment and be used in future biological and medical applications. Biomolecular implementations of finite automata and logic gates have already been developed. Here, we report an autonomous programmable molecular system based on the manipulation of DNA strands that is capable of performing simple logical deductions. Using molecular representations of facts such as Man(Socrates) and rules such as Mortal(X) <-- Man(X) (Every Man is Mortal), the system can answer molecular queries such as Mortal(Socrates)? (Is Socrates Mortal?) and Mortal(X)? (Who is Mortal?). This biomolecular computing system compares favourably with previous approaches in terms of expressive power, performance and precision. A compiler translates facts, rules and queries into their molecular representations and subsequently operates a robotic system that assembles the logical deductions and delivers the result. This prototype is the first simple programming language with a molecular-scale implementation.

A study on different forms of intelligence in Indian school-going children.

PubMed

Singh, Yashpal; Makharia, Archita; Sharma, Abhilasha; Agrawal, Kruti; Varma, Gowtham; Yadav, Tarun

2017-01-01

Most definitions of intelligence focus on capabilities that are relevant to scholastic performances. However, there are seven forms of intelligences. There is a lack of data on multiple intelligences in Indian children. Hence, this study was conducted to assess different forms of intelligences in students and compared these diverse intelligences with intelligence quotient (IQ) scores. In this cross-sectional observational study, we recruited 1065 school children between the age of 12 and 16 years from two government and 13 private schools in five towns, six cities, and two villages across India. All the children were administered multiple intelligences questionnaire by Armstrong, consisting of thirty true/false types of questions to assess the intelligences of a child in seven domains including linguistic skills, logical/mathematical abilities, musical skills, spatial intelligence, bodily-kinesthetic skills, intrapersonal intelligence, and interpersonal intelligence. IQ scores were assessed by Ravens Standard Progressive Matrices. We found that different students possessed different forms of intelligences and most students had more than one forms of intelligence. Of seven forms of intelligence, only three forms of intelligence such as logical/mathematical, musical, and spatial were positively correlated with the IQ score. Even in the children with low IQ, many students had other forms of intelligences. The IQ scores correlated with only logical/mathematical, spatial, and musical intelligence. Hence, tapping the intelligences of students can help enhance their learning process. Our curriculum should have an amalgamation of teaching for all kinds of intelligences for maximum productivity.

Estimating outcomes in newborn infants using fuzzy logic

PubMed Central

Chaves, Luciano Eustáquio; Nascimento, Luiz Fernando C.

2014-01-01

OBJECTIVE: To build a linguistic model using the properties of fuzzy logic to estimate the risk of death of neonates admitted to a Neonatal Intensive Care Unit. METHODS: Computational model using fuzzy logic. The input variables of the model were birth weight, gestational age, 5th-minute Apgar score and inspired fraction of oxygen in newborn infants admitted to a Neonatal Intensive Care Unit of Taubaté, Southeast Brazil. The output variable was the risk of death, estimated as a percentage. Three membership functions related to birth weight, gestational age and 5th-minute Apgar score were built, as well as two functions related to the inspired fraction of oxygen; the risk presented five membership functions. The model was developed using the Mandani inference by means of Matlab(r) software. The model values were compared with those provided by experts and their performance was estimated by ROC curve. RESULTS: 100 newborns were included, and eight of them died. The model estimated an average possibility of death of 49.7±29.3%, and the possibility of hospital discharge was 24±17.5%. These values are different when compared by Student's t-test (p<0.001). The correlation test revealed r=0.80 and the performance of the model was 81.9%. CONCLUSIONS: This predictive, non-invasive and low cost model showed a good accuracy and can be applied in neonatal care, given the easiness of its use. PMID:25119746

Second language learning in a family nurse practitioner and nurse midwifery diversity education project.

PubMed

Kelley, Frances J; Klopf, Maria Ignacia

2008-10-01

To describe the Clinical Communication Program developed to integrate second language learning (L2), multimedia, Web-based technologies, and the Internet in an advanced practice nursing education program. Electronic recording devices as well as audio, video editing, Web design, and programming software were used as tools for developing L2 scenarios for practice in clinical settings. The Clinical Communication Program offers opportunities to support both students and faculty members to develop their linguistic and cultural competence skills to serve better their patients, in general, and their students who speak a language other than English, in particular. The program provided 24 h on-demand access for using audio, video, and text exercises via the Internet. L2 education for healthcare providers includes linguistic (listening, speaking, reading, and writing) experiences as well as cultural competence and practices inside and outside the classroom environment as well as online and offline the Internet realm.

Development, implementation, and evaluation of a community- and hospital-based respiratory syncytial virus prophylaxis program.

PubMed

Bracht, Marianne; Heffer, Michael; O'Brien, Karel

2005-02-01

To implement and deliver a respiratory syncytial virus prophylaxis (RSVP) program in response to the Canadian Pediatric Society recommendations. A novel program was designed to provide inpatient RSVP for at-risk infants cared for in 1 tertiary care newborn intensive care unit (NICU). This inpatient program was part of a coordinated approach to RSVP, designed and implemented by 3 hospitals. An RSVP program logic model was created and used by a multidisciplinary team to evaluate the in-house program and identify areas of program activity requiring improvement. Following the 2000 to 2001 RSV season, a compliance and outcomes audit was performed in the tertiary center; 193 infants were enrolled in the RSVP program and 162 infants had received RSVP in the NICU [Mean = 1.64 doses]. Telephone follow-up with the parents of discharged infants identified that 159 infants (98%) had successfully completed their full course of RSVP. Using the RSVP program logic model, 5 areas for program improvement were identified including infant recruitment, patient transfer/discharge processes, product procurement, preparation/distribution/administration of doses, and healthcare team communication. Interdisciplinary collaboration is an important factor in the success of the RSVP program and has supported a consistent model of care for the delivery of RSVP. The program logic model provided a useful structure to systematically review the RSVP program in this organization.

Across language families: Genome diversity mirrors linguistic variation within Europe

PubMed Central

Longobardi, Giuseppe; Ghirotto, Silvia; Guardiano, Cristina; Tassi, Francesca; Benazzo, Andrea; Ceolin, Andrea

2015-01-01

ABSTRACT Objectives: The notion that patterns of linguistic and biological variation may cast light on each other and on population histories dates back to Darwin's times; yet, turning this intuition into a proper research program has met with serious methodological difficulties, especially affecting language comparisons. This article takes advantage of two new tools of comparative linguistics: a refined list of Indo‐European cognate words, and a novel method of language comparison estimating linguistic diversity from a universal inventory of grammatical polymorphisms, and hence enabling comparison even across different families. We corroborated the method and used it to compare patterns of linguistic and genomic variation in Europe. Materials and Methods: Two sets of linguistic distances, lexical and syntactic, were inferred from these data and compared with measures of geographic and genomic distance through a series of matrix correlation tests. Linguistic and genomic trees were also estimated and compared. A method (Treemix) was used to infer migration episodes after the main population splits. Results: We observed significant correlations between genomic and linguistic diversity, the latter inferred from data on both Indo‐European and non‐Indo‐European languages. Contrary to previous observations, on the European scale, language proved a better predictor of genomic differences than geography. Inferred episodes of genetic admixture following the main population splits found convincing correlates also in the linguistic realm. Discussion: These results pave the ground for previously unfeasible cross‐disciplinary analyses at the worldwide scale, encompassing populations of distant language families. Am J Phys Anthropol 157:630–640, 2015. © 2015 Wiley Periodicals, Inc. PMID:26059462

Methods for identifying SNP interactions: a review on variations of Logic Regression, Random Forest and Bayesian logistic regression.

PubMed

Chen, Carla Chia-Ming; Schwender, Holger; Keith, Jonathan; Nunkesser, Robin; Mengersen, Kerrie; Macrossan, Paula

2011-01-01

Due to advancements in computational ability, enhanced technology and a reduction in the price of genotyping, more data are being generated for understanding genetic associations with diseases and disorders. However, with the availability of large data sets comes the inherent challenges of new methods of statistical analysis and modeling. Considering a complex phenotype may be the effect of a combination of multiple loci, various statistical methods have been developed for identifying genetic epistasis effects. Among these methods, logic regression (LR) is an intriguing approach incorporating tree-like structures. Various methods have built on the original LR to improve different aspects of the model. In this study, we review four variations of LR, namely Logic Feature Selection, Monte Carlo Logic Regression, Genetic Programming for Association Studies, and Modified Logic Regression-Gene Expression Programming, and investigate the performance of each method using simulated and real genotype data. We contrast these with another tree-like approach, namely Random Forests, and a Bayesian logistic regression with stochastic search variable selection.

English use among older bilingual immigrants in linguistically concentrated neighborhoods: Social proficiency and internal speech as intracultural variation

PubMed Central

Schrauf, Robert W.

2013-01-01

This research focuses on patterns of English proficiency and use-of-English among older immigrants living in linguistically concentrated, ethnic neighborhoods. A sample (n=60) of older Puerto Ricans, who moved from the island to the mainland in their twenties, were divided into English proficiency groups (fluent, high intermediate, low intermediate) via the Adult Language Assessment Scales. Participants then provided self-ratings of their English proficiency (understanding, speaking, reading, and writing), their use of English in social domains (language spoken with own-family, in-laws, spouse, children, neighbors, and workmates), and their use of English in private psychological domains (language of talking to oneself, counting, writing notes to oneself, thinking, dreaming, praying, and expressing feelings). Finally, all participants completed the Puerto Rican Bicultural Scale. Results show a cohort of immigrant elders whose first language is protected by their ethnic neighborhoods but whose domestic and private lives are increasingly permeated by English. In particular, children emerge as powerful forces of language socialization in English for their parents. Further, there are important individual differences by level of proficiency, with a lowest proficiency group that is less acculturated, lower in socioeconomic status, and even more linguistically isolated than groups with higher proficiency. In essence, level of second language proficiency is a potent source of intracultural variation. Methodologically, the paper makes the important point that self-rated patterns of language use are consistent with scores on formal measures of proficiency. The paper also provides empirical verification of the logic of dividing language use into external, social speech and internal, psychological speech. PMID:19184621

What Do I Lose if I Lose My Bilingual School? Students' and Teachers' Perceptions of the Value of a Slovene Language Maintenance Program in Italy

ERIC Educational Resources Information Center

Paciotto, Carla

2009-01-01

The Italian-Slovenian border represents a dynamic vantage point from which to observe how cultural and linguistic contact takes place and how minority groups have created educational strategies to preserve their cultural and linguistic diversity while striving for respectful coexistence with the dominant society. Slovene-medium schools have been…

Linguistic Society of America Annual Meeting (44th, San Francisco, California, December 29-31, 1969). Meeting Handbook.

ERIC Educational Resources Information Center

Grognet, Allene Guss, Ed.

This handbook was compiled for the 44th Linguistic Society of America Meeting in San Francisco, December 29-31, 1969. It consists of the official program for the meeting, abstracts of the 78 papers presented there, and advertisements. The abstracts are arranged in alphabetical order by author, and in some cases are accompanied by handouts. (DO)

Empowering Equity in Postsecondary Transition for Marginalized Culturally and Linguistically Diverse Students with Disabilities by Implementing a Culturally Responsive Summary of Performance Teacher Training and Support Program

ERIC Educational Resources Information Center

Jez, Rebekka Joanne

2011-01-01

Marginalized culturally and linguistically diverse students with special needs often struggle after high school. Many special educators are unaware of legal mandates and best practice in postsecondary transition, especially the intricate needs when working this group. The culturally responsive Summary of Performance (CRSOP) training and support…

Implementation and Evaluation of Microcomputer Systems for the Republic of Turkey’s Naval Ships.

DTIC Science & Technology

1986-03-01

important database design tool for both logical and physical database design, such as flowcharts or pseudocodes are used for program design. Logical...string manipulation in FORTRAN is difficult but not impossible. BASIC ( Beginners All-Purpose Symbolic Instruction Code): Basic is currently the most...63 APPENDIX B GLOSSARY/ACRONYM LIST AC Alternating Current AP Application Program BASIC Beginners All-purpose Symbolic Instruction Code CCP

Experimental demonstration of programmable multi-functional spin logic cell based on spin Hall effect

NASA Astrophysics Data System (ADS)

Zhang, X.; Wan, C. H.; Yuan, Z. H.; Fang, C.; Kong, W. J.; Wu, H.; Zhang, Q. T.; Tao, B. S.; Han, X. F.

2017-04-01

Confronting with the gigantic volume of data produced every day, raising integration density by reducing the size of devices becomes harder and harder to meet the ever-increasing demand for high-performance computers. One feasible path is to actualize more logic functions in one cell. In this respect, we experimentally demonstrate a prototype spin-orbit torque based spin logic cell integrated with five frequently used logic functions (AND, OR, NOT, NAND and NOR). The cell can be easily programmed and reprogrammed to perform desired function. Furthermore, the information stored in cells is symmetry-protected, making it possible to expand into logic gate array where the cell can be manipulated one by one without changing the information of other undesired cells. This work provides a prospective example of multi-functional spin logic cell with reprogrammability and nonvolatility, which will advance the application of spin logic devices.

Becoming sustainable: human determinants of change.

PubMed

Frank, Gerhard

2014-05-15

The author is a natural scientist and philosopher who has been involved in the global experience industry for more than 25 years. During this period of time he has developed a coherent, interdisciplinary body of knowledge that appears to be of essential interest as related to the transition towards a sustainable society: the Experience Science (Frank, 2011, 2012). Important scientific inputs come from underlying disciplines like cybernetics, system theory, psychology, and cognitive science. One of the key findings of the Experience Science is the innate structure of human experiencing. Any human experience includes 5 different experiential domains that influence and regulate each other: the emotional domain (feeling); the mental imagery domain (mental narrating); the sensorimotor domain (acting & perceiving); the linguistic domain (rational reasoning); the communicational domain (conversing). In the light of the Experience Science the dilemma of the current transition process towards a sustainable society becomes clearly visible. Any relevant attempt reduces the existing problems to more or less exclusively the linguistic, rational domain. Although ever evolving rational knowledge indeed is an indispensable prerequisite for a sustainable future this is not enough. Societal change towards a sustainable life-style can only happen if the whole experiential system gets a chance to reorganize itself. This leads to the following logical consequence. Any rational knowledge is embedded in a both emotional and narrative knowledge system that underlies and frames human reasoning. As long as human learning restricts itself to an exclusively rational attempt the underlying emotional and narrative program remains untouched. The learner hence continues orienting her attention into the direction determined by the underlying emotional and narrative paradigm. The paper delineates the experiential determinants of change and analyzes their specific, constitutive interrelations. From this a holistic choreography of change learning is outlined that pays tribute to the intrinsic transition principles represented by the human learner. © 2013.

Optical reversible programmable Boolean logic unit.

PubMed

Chattopadhyay, Tanay

2012-07-20

Computing with reversibility is the only way to avoid dissipation of energy associated with bit erase. So, a reversible microprocessor is required for future computing. In this paper, a design of a simple all-optical reversible programmable processor is proposed using a polarizing beam splitter, liquid crystal-phase spatial light modulators, a half-wave plate, and plane mirrors. This circuit can perform 16 logical operations according to three programming inputs. Also, inputs can be easily recovered from the outputs. It is named the "reversible programmable Boolean logic unit (RPBLU)." The logic unit is the basic building block of many complex computational operations. Hence the design is important in sense. Two orthogonally polarized lights are defined here as two logical states, respectively.

Introductory Programs: Kindergarten to Junior High.

ERIC Educational Resources Information Center

Curriculum Review, 1980

1980-01-01

Reviews two supplementary series and four new or significantly revised basal reading series: American Readers; Houghton Mifflin Reading Program 1980; Series R: Macmillan Reading; and the Merrill Linguistic Reading Program. A chart compares features of these programs and an index cites other recent reviews of basal series in this magazine. (SJL)

Bayesian Logic Programs for Plan Recognition and Machine Reading

DTIC Science & Technology

2012-12-01

models is that they can handle both uncertainty and structured/ relational data. As a result, they are widely used in domains like social network...data. As a result, they are widely used in domains like social net- work analysis, biological data analysis, and natural language processing. Bayesian...the Story Understanding data set. (b) The logical representation of the observations. (c) The set of ground rules obtained from logical abduction

Integration of Bilingual Emphasis Program into University Curriculum. Multiple Subjects Credential Program: Hupa, Yurok, Karuk, or Tolowa Emphasis.

ERIC Educational Resources Information Center

Bennett, Ruth

A description of the American Indian Bilingual Teacher Credential Program offered by Humboldt State University (California) provides background information on the linguistic groups served by the program. Accompanying the program descriptions are lists of lower and upper division requirements, descriptions of competency exam, program schedule,…

Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae

NASA Technical Reports Server (NTRS)

Rosu, Grigore; Havelund, Klaus

2001-01-01

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. We present an algorithm which takes an LTL formula and generates an efficient dynamic programming algorithm. The generated algorithm tests whether the LTL formula is satisfied by a finite trace of events given as input. The generated algorithm runs in linear time, its constant depending on the size of the LTL formula. The memory needed is constant, also depending on the size of the formula.

Informational analysis involving application of complex information system

NASA Astrophysics Data System (ADS)

Ciupak, Clébia; Vanti, Adolfo Alberto; Balloni, Antonio José; Espin, Rafael

The aim of the present research is performing an informal analysis for internal audit involving the application of complex information system based on fuzzy logic. The same has been applied in internal audit involving the integration of the accounting field into the information systems field. The technological advancements can provide improvements to the work performed by the internal audit. Thus we aim to find, in the complex information systems, priorities for the work of internal audit of a high importance Private Institution of Higher Education. The applied method is quali-quantitative, as from the definition of strategic linguistic variables it was possible to transform them into quantitative with the matrix intersection. By means of a case study, where data were collected via interview with the Administrative Pro-Rector, who takes part at the elaboration of the strategic planning of the institution, it was possible to infer analysis concerning points which must be prioritized at the internal audit work. We emphasize that the priorities were identified when processed in a system (of academic use). From the study we can conclude that, starting from these information systems, audit can identify priorities on its work program. Along with plans and strategic objectives of the enterprise, the internal auditor can define operational procedures to work in favor of the attainment of the objectives of the organization.

The Father Friendly Initiative within Families: Using a logic model to develop program theory for a father support program.

PubMed

Gervais, Christine; de Montigny, Francine; Lacharité, Carl; Dubeau, Diane

2015-10-01

The transition to fatherhood, with its numerous challenges, has been well documented. Likewise, fathers' relationships with health and social services have also begun to be explored. Yet despite the problems fathers experience in interactions with healthcare services, few programs have been developed for them. To explain this, some authors point to the difficulty practitioners encounter in developing and structuring the theory of programs they are trying to create to promote and support father involvement (Savaya, R., & Waysman, M. (2005). Administration in Social Work, 29(2), 85), even when such theory is key to a program's effectiveness (Chen, H.-T. (2005). Practical program evaluation. Thousand Oaks, CA: Sage Publications). The objective of the present paper is to present a tool, the logic model, to bridge this gap and to equip practitioners for structuring program theory. This paper addresses two questions: (1) What would be a useful instrument for structuring the development of program theory in interventions for fathers? (2) How would the concepts of a father involvement program best be organized? The case of the Father Friendly Initiative within Families (FFIF) program is used to present and illustrate six simple steps for developing a logic model that are based on program theory and demonstrate its relevance. Crown Copyright © 2015. Published by Elsevier Ltd. All rights reserved.

Model of Auctioneer Estimation of Swordtip Squid (Loligo edulis) Quality

NASA Astrophysics Data System (ADS)

Nakamura, Makoto; Matsumoto, Keisuke; Morimoto, Eiji; Ezoe, Satoru; Maeda, Toshimichi; Hirano, Takayuki

The knowledge of experienced auctioneers regarding the circulation of marine products is an essential skill and is necessary for evaluating product quality and managing aspects such as freshness. In the present study, the ability of an auctioneer to quickly evaluate the freshness of swordtip squid (Loligo edulis) at fish markets was analyzed. Evaluation characteristics used by an auctioneer were analyzed and developed using a fuzzy logic model. Forty boxes containing 247 swordtip squid with mantles measuring 220 mm that had been evaluated and assigned to one of five quality categories by an auctioneer were used for the analysis and the modeling. The relationships between the evaluations of appearance, body color, and muscle freshness were statistically analyzed. It was found that a total of four indexes of the epidermis color strongly reflected evaluations of appearance: dispersion ratio of the head, chroma on the head-end mantle and the difference in the chroma and brightness of the mantle. The fuzzy logic model used these indexes for the antecedent-part of the linguistic rules. The results of both simulation and evaluations demonstrate that the model is robust, with the predicted results corresponding with more than 96% of the quality assignments of the auctioneers.

Strategic Mobility 21: Modeling, Simulation, and Analysis

DTIC Science & Technology

2010-04-14

using AnyLogic , which is a Java programmed, multi-method simulation modeling tool developed by XJ Technologies. The last section examines the academic... simulation model from an Arena platform to an AnyLogic based Web Service. MATLAB is useful for small problems with few nodes, but GAMS/CPLEX is better... Transportation Modeling Studio TM . The SCASN modeling and simulation program was designed to be generic in nature to allow for use by both commercial and

Logic Programming as an Inference Engine for Non-Monotonic Reasoning

DTIC Science & Technology

1991-11-11

Mathematical Sciences . ... University of Texas at El Paso AdI!ar, El Pazo , TX 79968-0514 [ A , (teodor math.ep.utexas.edu) Dist November 11, 1991 Title...Przymusinska, L. Pereira and D.S. Warren. Significant progress has been made towards both theoretical and algorithmic foundations of a non-monotonic...reasoning system based on logic programming. An implementation of such a system, limited to circumscrip- tive thoories, has been also completed. 14

Difference to Inference: teaching logical and statistical reasoning through on-line interactivity.

PubMed

Malloy, T E

2001-05-01

Difference to Inference is an on-line JAVA program that simulates theory testing and falsification through research design and data collection in a game format. The program, based on cognitive and epistemological principles, is designed to support learning of the thinking skills underlying deductive and inductive logic and statistical reasoning. Difference to Inference has database connectivity so that game scores can be counted as part of course grades.

Removing obstacles for African American English-speaking children through greater understanding of language difference.

PubMed

Pearson, Barbara Zurer; Conner, Tracy; Jackson, Janice E

2013-01-01

Language difference among speakers of African American English (AAE) has often been considered language deficit, based on a lack of understanding about the AAE variety. Following Labov (1972), Wolfram (1969), Green (2002, 2011), and others, we define AAE as a complex rule-governed linguistic system and briefly discuss language structures that it shares with general American English (GAE) and others that are unique to AAE. We suggest ways in which mistaken ideas about the language variety add to children's difficulties in learning the mainstream dialect and, in effect, deny them the benefits of their educational programs. We propose that a linguistically informed approach that highlights correspondences between AAE and the mainstream dialect and trains students and teachers to understand language varieties at a metalinguistic level creates environments that support the academic achievement of AAE-speaking students. Finally, we present 3 program types that are recommended for helping students achieve the skills they need to be successful in multiple linguistic environments.

Participatory arts programs in residential dementia care: Playing with language differences.

PubMed

Swinnen, Aagje; de Medeiros, Kate

2017-01-01

This article examines connections between language, identity, and cultural difference in the context of participatory arts in residential dementia care. Specifically, it looks at how language differences become instruments for the language play that characterizes the participatory arts programs, TimeSlips and the Alzheimer's Poetry Project. These are two approaches that are predominantly spoken-word driven. Although people living with dementia experience cognitive decline that affects language, they are linguistic agents capable of participating in ongoing negotiation processes of connection, belonging, and in- and exclusion through language use. The analysis of two ethnographic vignettes, based on extensive fieldwork in the closed wards of two Dutch nursing homes, illustrates how TimeSlips and the Alzheimer's Poetry Project support them in this agency. The theoretical framework of the analysis consists of literature on the linguistic agency of people living with dementia, the notions of the homo ludens (or man the player) and ludic language, as well as linguistic strategies of belonging in relation to place.

Logical Form as a Determinant of Cognitive Processes

NASA Astrophysics Data System (ADS)

van Lambalgen, Michiel

We discuss a research program on reasoning patterns in subjects with autism, showing that they fail to engage in certain forms of non-monotonic reasoning that come naturally to neurotypical subjects. The striking reasoning patterns of autists occur both in verbal and in non-verbal tasks. Upon formalising the relevant non-verbal tasks, one sees that their logical form is the same as that of the verbal tasks. This suggests that logical form can play a causal role in cognitive processes, and we suggest that this logical form is actually embodied in the cognitive capacity called 'executive function'.

Software Safety Assurance of Programmable Logic

NASA Technical Reports Server (NTRS)

Berens, Kalynnda

2002-01-01

Programmable Logic (PLC, FPGA, ASIC) devices are hybrids - hardware devices that are designed and programmed like software. As such, they fall in an assurance gray area. Programmable Logic is usually tested and verified as hardware, and the software aspects are ignored, potentially leading to safety or mission success concerns. The objective of this proposal is to first determine where and how Programmable Logic (PL) is used within NASA and document the current methods of assurance. Once that is known, raise awareness of the PL software aspects within the NASA engineering community and provide guidance for the use and assurance of PL form a software perspective.

Evolving 50–50% bilingual pedagogy in Alberta: what does the research say?

PubMed Central

Naqvi, Rahat; Schmidt, Elaine; Krickhan, Marlene

2014-01-01

This paper outlines the provincial frameworks that define the Spanish bilingual program in Alberta, Canada, provides an historical overview of its pedagogic constraints and evolution, and proposes a framework for bilingual pedagogy. The framework is conceptualized from the research evidence of three local case studies, and is based on the centrality of cross-linguistic transfer, in relation to linguistic interdependence and bilingual learning. PMID:24987378

Catalytic nucleic acids (DNAzymes) as functional units for logic gates and computing circuits: from basic principles to practical applications.

PubMed

Orbach, Ron; Willner, Bilha; Willner, Itamar

2015-03-11

This feature article addresses the implementation of catalytic nucleic acids as functional units for the construction of logic gates and computing circuits, and discusses the future applications of these systems. The assembly of computational modules composed of DNAzymes has led to the operation of a universal set of logic gates, to field programmable logic gates and computing circuits, to the development of multiplexers/demultiplexers, and to full-adder systems. Also, DNAzyme cascades operating as logic gates and computing circuits were demonstrated. DNAzyme logic systems find important practical applications. These include the use of DNAzyme-based systems for sensing and multiplexed analyses, for the development of controlled release and drug delivery systems, for regulating intracellular biosynthetic pathways, and for the programmed synthesis and operation of cascades.

Towards programming languages for genetic engineering of living cells

PubMed Central

Pedersen, Michael; Phillips, Andrew

2009-01-01

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

Towards programming languages for genetic engineering of living cells.

PubMed

Pedersen, Michael; Phillips, Andrew

2009-08-06

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

The Role of Linguistic Modification in Nursing Education.

PubMed

Moore, Brenda S; Clark, Michele C

2016-06-01

English-as-a-second-language (ESL) nursing students fail to graduate from programs at alarming rates. For many of these students, academic failure results from poor performance on multiple choice examinations, which frequently contain linguistic errors. A remedy for these errors is to linguistically modify examination questions. This study assessed the effects of linguistic modification on examination scores. Scores of ESL and non-ESL nursing students were compared on an experimental multiple choice examination and a control examination. After exclusion, 67 ESL and 252 non-ESL students completed the experimental examination; 68 ESL and 257 non-ESL students completed the control examination. Both ESL and non-ESL students scored higher on the experimental examination than on the control examination. For ESL students, the increase in observed means between the experimental and control examination was 0.6%; for non-ESL students, the increase was 0.48%. [J Nurs Educ. 2016;55(6):309-315.]. Copyright 2016, SLACK Incorporated.

Promoting Diversity through Program Websites: A Multicultural Content Analysis of School Psychology Program Websites

ERIC Educational Resources Information Center

Smith, Leann V.; Blake, Jamilia J.; Graves, Scott L.; Vaughan-Jensen, Jessica; Pulido, Ryne; Banks, Courtney

2016-01-01

The recruitment of culturally and linguistically diverse students to graduate programs is critical to the overall growth and development of school psychology as a field. Program websites serve as an effective recruitment tool for attracting prospective students, yet there is limited research on how school psychology programs use their websites to…

A Guide to Organizing Short-term Study Abroad Programs. Series on Languages and Linguistics No. 4.

ERIC Educational Resources Information Center

Griffith, Paul T.

This guide is designed for those interested in organizing and/or participating in short-term study abroad programs. The following main topics are treated in detail: (1) the nature of the program, (2) the budget, (3) winning administrative approval for the program, (4) announcing the program, (5) orientation, (6) the program director, (7) the…

A survey of advancements in nucleic acid-based logic gates and computing for applications in biotechnology and biomedicine.

PubMed

Wu, Cuichen; Wan, Shuo; Hou, Weijia; Zhang, Liqin; Xu, Jiehua; Cui, Cheng; Wang, Yanyue; Hu, Jun; Tan, Weihong

2015-03-04

Nucleic acid-based logic devices were first introduced in 1994. Since then, science has seen the emergence of new logic systems for mimicking mathematical functions, diagnosing disease and even imitating biological systems. The unique features of nucleic acids, such as facile and high-throughput synthesis, Watson-Crick complementary base pairing, and predictable structures, together with the aid of programming design, have led to the widespread applications of nucleic acids (NA) for logic gate and computing in biotechnology and biomedicine. In this feature article, the development of in vitro NA logic systems will be discussed, as well as the expansion of such systems using various input molecules for potential cellular, or even in vivo, applications.

A Survey of Advancements in Nucleic Acid-based Logic Gates and Computing for Applications in Biotechnology and biomedicine

PubMed Central

Wu, Cuichen; Wan, Shuo; Hou, Weijia; Zhang, Liqin; Xu, Jiehua; Cui, Cheng; Wang, Yanyue; Hu, Jun

2015-01-01

Nucleic acid-based logic devices were first introduced in 1994. Since then, science has seen the emergence of new logic systems for mimicking mathematical functions, diagnosing disease and even imitating biological systems. The unique features of nucleic acids, such as facile and high-throughput synthesis, Watson-Crick complementary base pairing, and predictable structures, together with the aid of programming design, have led to the widespread applications of nucleic acids (NA) for logic gating and computing in biotechnology and biomedicine. In this feature article, the development of in vitro NA logic systems will be discussed, as well as the expansion of such systems using various input molecules for potential cellular, or even in vivo, applications. PMID:25597946

Proceedings of the Seventh International Symposium on Methodologies for Intelligent Systems (Poster Session)

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

Harber, K.S.

1993-05-01

This report contains the following papers: Implications in vivid logic; a self-learning bayesian expert system; a natural language generation system for a heterogeneous distributed database system; competence-switching'' managed by intelligent systems; strategy acquisition by an artificial neural network: Experiments in learning to play a stochastic game; viewpoints and selective inheritance in object-oriented modeling; multivariate discretization of continuous attributes for machine learning; utilization of the case-based reasoning method to resolve dynamic problems; formalization of an ontology of ceramic science in CLASSIC; linguistic tools for intelligent systems; an application of rough sets in knowledge synthesis; and a relational model for imprecise queries.more » These papers have been indexed separately.« less

Proceedings of the Seventh International Symposium on Methodologies for Intelligent Systems (Poster Session)

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

Harber, K.S.

1993-05-01

This report contains the following papers: Implications in vivid logic; a self-learning Bayesian Expert System; a natural language generation system for a heterogeneous distributed database system; ``competence-switching`` managed by intelligent systems; strategy acquisition by an artificial neural network: Experiments in learning to play a stochastic game; viewpoints and selective inheritance in object-oriented modeling; multivariate discretization of continuous attributes for machine learning; utilization of the case-based reasoning method to resolve dynamic problems; formalization of an ontology of ceramic science in CLASSIC; linguistic tools for intelligent systems; an application of rough sets in knowledge synthesis; and a relational model for imprecise queries.more » These papers have been indexed separately.« less

Concept analysis: wrong-site surgery.

PubMed

Watson, Donna S

2015-06-01

A concept analysis was conducted on the concept of wrong-site surgery (WSS) using the principle-based method by Penrod and Hupcey. It included analysis of WSS within the context of epistemological, pragmatic, linguistic, and logical principles. The analysis found that WSS is an important concept that is universally accepted, but the definition could be improved with inclusion of comprehensive labeling for types of WSS that may occur, such as wrong patient, wrong site, wrong level/part, wrong procedure, and wrong side. Wrong-site surgery falls into the domains of both nursing and medicine, and there is limited research on the topic specific to nursing interventions, perceptions, and contributions to prevent WSS. Copyright © 2015 AORN, Inc. Published by Elsevier Inc. All rights reserved.

Verification and Planning Based on Coinductive Logic Programming

NASA Technical Reports Server (NTRS)

Bansal, Ajay; Min, Richard; Simon, Luke; Mallya, Ajay; Gupta, Gopal

2008-01-01

Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations [6]. Where induction corresponds to least fixed point's semantics, coinduction corresponds to greatest fixed point semantics. Recently coinduction has been incorporated into logic programming and an elegant operational semantics developed for it [11, 12]. This operational semantics is the greatest fix point counterpart of SLD resolution (SLD resolution imparts operational semantics to least fix point based computations) and is termed co- SLD resolution. In co-SLD resolution, a predicate goal p( t) succeeds if it unifies with one of its ancestor calls. In addition, rational infinite terms are allowed as arguments of predicates. Infinite terms are represented as solutions to unification equations and the occurs check is omitted during the unification process. Coinductive Logic Programming (Co-LP) and Co-SLD resolution can be used to elegantly perform model checking and planning. A combined SLD and Co-SLD resolution based LP system forms the common basis for planning, scheduling, verification, model checking, and constraint solving [9, 4]. This is achieved by amalgamating SLD resolution, co-SLD resolution, and constraint logic programming [13] in a single logic programming system. Given that parallelism in logic programs can be implicitly exploited [8], complex, compute-intensive applications (planning, scheduling, model checking, etc.) can be executed in parallel on multi-core machines. Parallel execution can result in speed-ups as well as in larger instances of the problems being solved. In the remainder we elaborate on (i) how planning can be elegantly and efficiently performed under real-time constraints, (ii) how real-time systems can be elegantly and efficiently model- checked, as well as (iii) how hybrid systems can be verified in a combined system with both co-SLD and SLD resolution. Implementations of co-SLD resolution as well as preliminary implementations of the planning and verification applications have been developed [4]. Co-LP and Model Checking: The vast majority of properties that are to be verified can be classified into safety properties and liveness properties. It is well known within model checking that safety properties can be verified by reachability analysis, i.e, if a counter-example to the property exists, it can be finitely determined by enumerating all the reachable states of the Kripke structure.

Bibliography of Literature on Neuro-Linguistic Programming.

ERIC Educational Resources Information Center

McCormick, Donald W.

Two bibliographies on neurolinguistic programming are updates of an earlier literature review by the same compiler. The two lists contain citations of over 160 books, research reports, dissertations, journal articles, audio and video recordings, and research projects in progress on aspects of neurolinguistic programming. Appended notes suggest…

Outdoor Education and Neuro-Linguistic Programming.

ERIC Educational Resources Information Center

Lee, Alistair

1993-01-01

Discusses the importance of increasing effective communication in outdoor education programs. Examines sensory preferences and how they affect vocabulary, voice tone, and body language. Describes ways that outdoor educators can use this information to improve their communication skills. (LP)

Programming Cell Adhesion for On-Chip Sequential Boolean Logic Functions.

PubMed

Qu, Xiangmeng; Wang, Shaopeng; Ge, Zhilei; Wang, Jianbang; Yao, Guangbao; Li, Jiang; Zuo, Xiaolei; Shi, Jiye; Song, Shiping; Wang, Lihua; Li, Li; Pei, Hao; Fan, Chunhai

2017-08-02

Programmable remodelling of cell surfaces enables high-precision regulation of cell behavior. In this work, we developed in vitro constructed DNA-based chemical reaction networks (CRNs) to program on-chip cell adhesion. We found that the RGD-functionalized DNA CRNs are entirely noninvasive when interfaced with the fluidic mosaic membrane of living cells. DNA toehold with different lengths could tunably alter the release kinetics of cells, which shows rapid release in minutes with the use of a 6-base toehold. We further demonstrated the realization of Boolean logic functions by using DNA strand displacement reactions, which include multi-input and sequential cell logic gates (AND, OR, XOR, and AND-OR). This study provides a highly generic tool for self-organization of biological systems.

Execution of Educational Mechanical Production Programs for School Children

NASA Astrophysics Data System (ADS)

Itoh, Nobuhide; Itoh, Goroh; Shibata, Takayuki

The authors are conducting experience-based engineering educational programs for elementary and junior high school students with the aim to provide a chance for them to experience mechanical production. As part of this endeavor, we planned and conducted a program called “Fabrication of Original Magnet Plates by Casting” for elementary school students. This program included a course for leading nature laws and logical thinking method. Prior to the program, a preliminary program was applied to school teachers to get comments and to modify for the program accordingly. The children responded excellently to the production process which realizes their ideas, but it was found that the course on natural laws and logical methods need to be improved to draw their interest and attention. We will continue to plan more effective programs, deepening ties with the local community.

An efficient annealing in Boltzmann machine in Hopfield neural network

NASA Astrophysics Data System (ADS)

Kin, Teoh Yeong; Hasan, Suzanawati Abu; Bulot, Norhisam; Ismail, Mohammad Hafiz

2012-09-01

This paper proposes and implements Boltzmann machine in Hopfield neural network doing logic programming based on the energy minimization system. The temperature scheduling in Boltzmann machine enhancing the performance of doing logic programming in Hopfield neural network. The finest temperature is determined by observing the ratio of global solution and final hamming distance using computer simulations. The study shows that Boltzmann Machine model is more stable and competent in term of representing and solving difficult combinatory problems.

Detecting Payload Attacks on Programmable Logic Controllers (PLCs)

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

Yang, Huan

Programmable logic controllers (PLCs) play critical roles in industrial control systems (ICS). Providing hardware peripherals and firmware support for control programs (i.e., a PLC’s “payload”) written in languages such as ladder logic, PLCs directly receive sensor readings and control ICS physical processes. An attacker with access to PLC development software (e.g., by compromising an engineering workstation) can modify the payload program and cause severe physical damages to the ICS. To protect critical ICS infrastructure, we propose to model runtime behaviors of legitimate PLC payload program and use runtime behavior monitoring in PLC firmware to detect payload attacks. By monitoring themore » I/O access patterns, network access patterns, as well as payload program timing characteristics, our proposed firmware-level detection mechanism can detect abnormal runtime behaviors of malicious PLC payload. Using our proof-of-concept implementation, we evaluate the memory and execution time overhead of implementing our proposed method and find that it is feasible to incorporate our method into existing PLC firmware. In addition, our evaluation results show that a wide variety of payload attacks can be effectively detected by our proposed approach. The proposed firmware-level payload attack detection scheme complements existing bumpin- the-wire solutions (e.g., external temporal-logic-based model checkers) in that it can detect payload attacks that violate realtime requirements of ICS operations and does not require any additional apparatus.« less

The deaf strong hospital program: a model of diversity and inclusion training for first-year medical students.

PubMed

Thew, Denise; Smith, Scott R; Chang, Christopher; Starr, Matt

2012-11-01

Recent research indicates that the cultural competence training students receive during medical school might not adequately address the issues that arise when caring for patients of different cultures. Because of their unique communication, linguistic, and cultural issues, incorporating deaf people who use sign language into cultural competence education at medical schools might help to bridge this gap in cross-cultural education. The Deaf Strong Hospital (DSH) program at the University of Rochester School of Medicine and Dentistry, started in 1998, exposes first-year medical students to the issues that are relevant to providing effective patient care and to establishing multicultural sensitivity early in their medical education. Because medical students better acquire cross-cultural competence through hands-on experience rather than through lectures, the DSH program, which includes a role-reversal exercise in which medical students play the role of the patients, provides such a model for other medical schools and health care training centers to use in teaching future health care providers how to address the relevant cultural, linguistic, and communication needs of both their deaf patients and their non-English-speaking patients. This article describes the DSH program curriculum, shares findings from both medical students' short-term and long-term postprogram evaluations, and provides a framework for the implementation of a broader cultural and linguistic sensitivity training program specific to working with and improving the quality of health care among deaf people.

Relationships of linguistic and motivation variables with drinking outcomes following two mailed brief interventions.

PubMed

Collins, Susan E; Carey, Kate B; Smyth, Joshua

2005-07-01

This study was a post hoc analysis of linguistic and motivation variables found in writing samples following the administration of two mailed brief interventions. At-risk college drinkers (N = 100) received personalized normative feedback (PNF) or an alcohol education (AE) brochure via mail. Participants responded to open-ended questions describing their reactions to the information they received. The writing samples were then coded for linguistic characteristics using the Linguistic Inquiry and Word Count program and for proportions of self-motivational statements using a modified version of the Motivational Interviewing Skills Code. Group comparisons indicated that the PNF group used a significantly higher percentage of first-person-singular and school-related words, whereas the AE group used a higher percentage of discrepancy, second-person and body-related words. Furthermore, the PNF group produced more language consistent with motivation to change than did the AE group. Hierarchical regressions testing mediation and moderation indicated that linguistic references to school and motivation moderated the group effect on changes in consumption during the heaviest drinking week. Further, although the group predicted reduction in heavy, episodic drinking, its effect was completely mediated by linguistic variables. Findings confirmed that PNF elicits distinct verbal responses that are associated with increased motivation and behavior change.

Use of LOGIC to support lidar operations

NASA Astrophysics Data System (ADS)

Davis-Lunde, Kimberley; Jugan, Laurie A.; Shoemaker, J. Todd

1999-10-01

The Naval Oceanographic Office (NAVOCEANO) and Planning Systems INcorporated are developing the Littoral Optics Geospatial Integrated Capability (LOGIC). LOGIC supports NAVOCEANO's directive to assess the impact of the environment on Fleet systems in areas of operational interest. LOGIC is based in the Geographic Information System (GIS) ARC/INFO and offers a method to view and manipulate optics and ancillary data to support emerging Fleet lidar systems. LOGIC serves as a processing (as required) and quality-checking mechanism for data entering NAVOCEANO's Data Warehouse and handles both remotely sensed and in-water data. LOGIC provides a link between these data and the GIS-based Graphical User Interface, allowing the user to select data manipulation routines and/or system support products. The results of individual modules are displayed via the GIS to provide such products as lidar system performance, laser penetration depth, and asset vulnerability from a lidar threat. LOGIC is being developed for integration into other NAVOCEANO programs, most notably for Comprehensive Environmental Assessment System, an established tool supporting sonar-based systems. The prototype for LOGIC was developed for the Yellow Sea, focusing on a diver visibility support product.

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.

Monte Carlo simulation of the nuclear-electromagnetic cascade development and the energy response of ionization spectrometers

NASA Technical Reports Server (NTRS)

Jones, W. V.

1973-01-01

Modifications to the basic computer program for performing the simulations are reported. The major changes include: (1) extension of the calculations to include the development of cascades initiated by heavy nuclei, (2) improved treatment of the nuclear disintegrations which occur during the interactions of hadrons in heavy absorbers, (3) incorporation of accurate multi-pion final-state cross sections for various interactions at accelerator energies, (4) restructuring of the program logic so that calculations can be made for sandwich-type detectors, and (5) logic modifications related to execution of the program.

Teaching Linguistically and Culturally Diverse Learners: Effective Programs and Practices. Proceedings of an Institute Hosted by the National Center for Research on Cultural Diversity and Second Language Learning (Santa Cruz, California, June 28-30, 1994).

ERIC Educational Resources Information Center

Montone, Christopher L., Ed.

The proceedings presented consist of summaries and reports of the presentations given during a summer institute on teaching linguistically and culturally diverse learners. Summaries of the following papers are provided: "Education 2000 and Beyond: The Challenge of Our Culturally Diverse Students" (Eugene Garcia); "Second Language…

Program Monitoring with LTL in EAGLE

NASA Technical Reports Server (NTRS)

Barringer, Howard; Goldberg, Allen; Havelund, Klaus; Sen, Koushik

2004-01-01

We briefly present a rule-based framework called EAGLE, shown to be capable of defining and implementing finite trace monitoring logics, including future and past time temporal logic, extended regular expressions, real-time and metric temporal logics (MTL), interval logics, forms of quantified temporal logics, and so on. In this paper we focus on a linear temporal logic (LTL) specialization of EAGLE. For an initial formula of size m, we establish upper bounds of O(m(sup 2)2(sup m)log m) and O(m(sup 4)2(sup 2m)log(sup 2) m) for the space and time complexity, respectively, of single step evaluation over an input trace. This bound is close to the lower bound O(2(sup square root m) for future-time LTL presented. EAGLE has been successfully used, in both LTL and metric LTL forms, to test a real-time controller of an experimental NASA planetary rover.

Diverse Teacher Candidates' Perceptions of and Recommendations for a Special Education Preparation Program

ERIC Educational Resources Information Center

Prater, Mary Anne; Cramer, Ashleigh; Wilder, Lynn K.; Carter, Nari J.

2016-01-01

As part of a four-year professional development program centered on increasing special education faculty members' cultural responsiveness, the faculty members interviewed culturally and/or linguistically diverse (CLD) teacher candidates nearing completion of the special education program at a large Western university. The interviews, which focused…

Title III ESEA - Evaluation Special Education. Final Report.

ERIC Educational Resources Information Center

District of Columbia Public Schools, Washington, DC.

Presented are evaluation reports on four special education programs in the District of Columbia Public Schools: a daily program for the development of linguistic and conceptual ability in 12 aphasic children, emphasizing language reception and expression; a complete instructional program for some 18 multiply handicapped, hearing impaired rubella…

Collaboratively Crafting Individualized Education Program Goals for Culturally and Linguistically Diverse Students

ERIC Educational Resources Information Center

Jozwik, Sara L.; Cahill, Alice; Sánchez, Gilberto

2018-01-01

Individualized education programs (IEPs) reflect the spirit of individualized instruction that lies at the heart of special education. Quality annual goal statements, which propel the implementation of special education programming, use clear language to communicate measurable, meaningful, and standards-aligned expectations to all members of the…

Neuro-Linguistic Programming: Enhancing Teacher-Student Communications.

ERIC Educational Resources Information Center

Childers, John H., Jr.

1985-01-01

Defines Neurolinguistic Programming (NCP) and discusses specific dimensions of the model that have applications for classroom teaching. Describes five representational systems individuals use to process information and gives examples of effective and ineffective teacher-student communication for each system. (MCF)

Evaluation of a Postdischarge Call System Using the Logic Model.

PubMed

Frye, Timothy C; Poe, Terri L; Wilson, Marisa L; Milligan, Gary

2018-02-01

This mixed-method study was conducted to evaluate a postdischarge call program for congestive heart failure patients at a major teaching hospital in the southeastern United States. The program was implemented based on the premise that it would improve patient outcomes and overall quality of life, but it had never been evaluated for effectiveness. The Logic Model was used to evaluate the input of key staff members to determine whether the outputs and results of the program matched the expectations of the organization. Interviews, online surveys, reviews of existing patient outcome data, and reviews of publicly available program marketing materials were used to ascertain current program output. After analyzing both qualitative and quantitative data from the evaluation, recommendations were made to the organization to improve the effectiveness of the program.

A Community Health Worker "logic model": towards a theory of enhanced performance in low- and middle-income countries.

PubMed

Naimoli, Joseph F; Frymus, Diana E; Wuliji, Tana; Franco, Lynne M; Newsome, Martha H

2014-10-02

There has been a resurgence of interest in national Community Health Worker (CHW) programs in low- and middle-income countries (LMICs). A lack of strong research evidence persists, however, about the most efficient and effective strategies to ensure optimal, sustained performance of CHWs at scale. To facilitate learning and research to address this knowledge gap, the authors developed a generic CHW logic model that proposes a theoretical causal pathway to improved performance. The logic model draws upon available research and expert knowledge on CHWs in LMICs. Construction of the model entailed a multi-stage, inductive, two-year process. It began with the planning and implementation of a structured review of the existing research on community and health system support for enhanced CHW performance. It continued with a facilitated discussion of review findings with experts during a two-day consultation. The process culminated with the authors' review of consultation-generated documentation, additional analysis, and production of multiple iterations of the model. The generic CHW logic model posits that optimal CHW performance is a function of high quality CHW programming, which is reinforced, sustained, and brought to scale by robust, high-performing health and community systems, both of which mobilize inputs and put in place processes needed to fully achieve performance objectives. Multiple contextual factors can influence CHW programming, system functioning, and CHW performance. The model is a novel contribution to current thinking about CHWs. It places CHW performance at the center of the discussion about CHW programming, recognizes the strengths and limitations of discrete, targeted programs, and is comprehensive, reflecting the current state of both scientific and tacit knowledge about support for improving CHW performance. The model is also a practical tool that offers guidance for continuous learning about what works. Despite the model's limitations and several challenges in translating the potential for learning into tangible learning, the CHW generic logic model provides a solid basis for exploring and testing a causal pathway to improved performance.

Modifications to the streamtube curvature program. Volume 1: Program modifications and user's manual. [user manuals (computer programs) for transonic flow of nacelles and intake systems of turbofan engines

NASA Technical Reports Server (NTRS)

Ferguson, D. R.; Keith, J. S.

1975-01-01

The improvements which have been incorporated in the Streamtube Curvature Program to enhance both its computational and diagnostic capabilities are described. Detailed descriptions are given of the revisions incorporated to more reliably handle the jet stream-external flow interaction at trailing edges. Also presented are the augmented boundary layer procedures and a variety of other program changes relating to program diagnostics and extended solution capabilities. An updated User's Manual, that includes information on the computer program operation, usage, and logical structure, is presented. User documentation includes an outline of the general logical flow of the program and detailed instructions for program usage and operation. From the standpoint of the programmer, the overlay structure is described. The input data, output formats, and diagnostic printouts are covered in detail and illustrated with three typical test cases.

Peptide Logic Circuits Based on Chemoenzymatic Ligation for Programmable Cell Apoptosis.

PubMed

Li, Yong; Sun, Sujuan; Fan, Lin; Hu, Shanfang; Huang, Yan; Zhang, Ke; Nie, Zhou; Yao, Shouzhou

2017-11-20

A novel and versatile peptide-based bio-logic system capable of regulating cell function is developed using sortase A (SrtA), a peptide ligation enzyme, as a generic processor. By modular peptide design, we demonstrate that mammalian cells apoptosis can be programmed by peptide-based logic operations, including binary and combination gates (AND, INHIBIT, OR, and AND-INHIBIT), and a complex sequential logic circuit (multi-input keypad lock). Moreover, a proof-of-concept peptide regulatory circuit was developed to analyze the expression profile of cell-secreted protein biomarkers and trigger cancer-cell-specific apoptosis. © 2017 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim.

A study on different forms of intelligence in Indian school-going children

PubMed Central

Singh, Yashpal; Makharia, Archita; Sharma, Abhilasha; Agrawal, Kruti; Varma, Gowtham; Yadav, Tarun

2017-01-01

Introduction: Most definitions of intelligence focus on capabilities that are relevant to scholastic performances. However, there are seven forms of intelligences. There is a lack of data on multiple intelligences in Indian children. Hence, this study was conducted to assess different forms of intelligences in students and compared these diverse intelligences with intelligence quotient (IQ) scores. Materials and Methods: In this cross-sectional observational study, we recruited 1065 school children between the age of 12 and 16 years from two government and 13 private schools in five towns, six cities, and two villages across India. All the children were administered multiple intelligences questionnaire by Armstrong, consisting of thirty true/false types of questions to assess the intelligences of a child in seven domains including linguistic skills, logical/mathematical abilities, musical skills, spatial intelligence, bodily-kinesthetic skills, intrapersonal intelligence, and interpersonal intelligence. IQ scores were assessed by Ravens Standard Progressive Matrices. Results: We found that different students possessed different forms of intelligences and most students had more than one forms of intelligence. Of seven forms of intelligence, only three forms of intelligence such as logical/mathematical, musical, and spatial were positively correlated with the IQ score. Conclusions: Even in the children with low IQ, many students had other forms of intelligences. The IQ scores correlated with only logical/mathematical, spatial, and musical intelligence. Hence, tapping the intelligences of students can help enhance their learning process. Our curriculum should have an amalgamation of teaching for all kinds of intelligences for maximum productivity. PMID:29456325

Experimental Verification of Electric Drive Technologies Based on Artificial Intelligence Tools

NASA Technical Reports Server (NTRS)

Rubaai, Ahmed; Kankam, David (Technical Monitor)

2003-01-01

A laboratory implementation of a fuzzy logic-tracking controller using a low cost Motorola MC68HC11E9 microprocessor is described in this report. The objective is to design the most optimal yet practical controller that can be implemented and marketed, and which gives respectable performance, even when the system loads, inertia and parameters are varying. A distinguishing feature of this work is the by-product goal of developing a marketable, simple, functional and low cost controller. Additionally, real-time nonlinearities are not ignored, and a mathematical model is not required. A number of components have been designed, built and tested individually, and in various combinations of hardware and software segments. These components have been integrated with a brushless motor to constitute the drive system. A microprocessor-based FLC is incorporated to provide robust speed and position control. Design objectives that are difficult to express mathematically can be easily incorporated in a fuzzy logic-based controller by linguistic information (in the form of fuzzy IF-THEN rules). The theory and design are tested in the laboratory using a hardware setup. Several test cases have been conducted to confirm the effectiveness of the proposed controller. The results indicate excellent tracking performance for both speed and position trajectories. For the purpose of comparison, a bang-bang controller has been tested. The fuzzy logic controller performs significantly better than the traditional bang-bang controller. The bang-bang controller has been shown to be relatively inaccurate and lacking in robustness. Description of the implementation hardware system is also given.

Design automation techniques for custom LSI arrays

NASA Technical Reports Server (NTRS)

Feller, A.

1975-01-01

The standard cell design automation technique is described as an approach for generating random logic PMOS, CMOS or CMOS/SOS custom large scale integration arrays with low initial nonrecurring costs and quick turnaround time or design cycle. The system is composed of predesigned circuit functions or cells and computer programs capable of automatic placement and interconnection of the cells in accordance with an input data net list. The program generates a set of instructions to drive an automatic precision artwork generator. A series of support design automation and simulation programs are described, including programs for verifying correctness of the logic on the arrays, performing dc and dynamic analysis of MOS devices, and generating test sequences.

Neuro-linguistic programming and application in treatment of phobias.

PubMed

Karunaratne, Mahishika

2010-11-01

Phobias are a prevalent and often debilitating mental health problem all over the world. This article aims to explore what is known about the use of Neuro-linguistic Programming (NLP) as a treatment for this condition. Whilst there is abundant experiential evidence from NLP practitioners attesting to the efficacy of this method as a treatment for phobias, experimental research in this area is somewhat limited. This paper reviews evidence available in literature produced in the UK and US and reveals that NLP is a successful treatment for phobias as well as being particularly efficient due to the relatively brief time period it takes to effect an improvement. Copyright © 2010 Elsevier Ltd. All rights reserved.

A Deductive Approach to Computer Programming.

DTIC Science & Technology

1986-01-01

82] K. L. (’lark and S.-A. Thrnlund (editors). Logic Programming, Academic Press (1982). A.R.(’. Studies in Data Processing No. 16. : .(;Goguen and...Tiii Siiillii’>>- oftlie t ralnSforunatloll rukisi 5 (v ielt Since e’ach prodite’ ani (’xjpl’ssiill equliv- * ~ Llil i t’qi ii (ilk t it(’ theo’try...S. Boyer and J S. Moore, A Computational Logic, Academic Press, New York, N.Y., 1979. Brand [751 D. Brand, Proving theorems with the modification

A Logical Design of a Session Services Control Layer of a Distributed Network Architecture for SPLICE (Stock Point Logistics Integrated Communication Environment).

DTIC Science & Technology

1984-06-01

Eacn stock point is autonomous witn respect to how it implements data processing support, as long as it accommodates the Navy Supply Systems Command...has its own data elements, files, programs , transactions, users, reports, and some have additional hardware. To augment them all and not force redesign... programs are written to request session establishments among them using only logical addressing names (mailboxes) whicn are independent from physical

Playing Tic-Tac-Toe with a Sugar-Based Molecular Computer.

PubMed

Elstner, M; Schiller, A

2015-08-24

Today, molecules can perform Boolean operations and circuits at a level of higher complexity. However, concatenation of logic gates and inhomogeneous inputs and outputs are still challenging tasks. Novel approaches for logic gate integration are possible when chemical programming and software programming are combined. Here it is shown that a molecular finite automaton based on the concatenated implication function (IMP) of a fluorescent two-component sugar probe via a wiring algorithm is able to play tic-tac-toe.

Structure identification in fuzzy inference using reinforcement learning

NASA Technical Reports Server (NTRS)

Berenji, Hamid R.; Khedkar, Pratap

1993-01-01

In our previous work on the GARIC architecture, we have shown that the system can start with surface structure of the knowledge base (i.e., the linguistic expression of the rules) and learn the deep structure (i.e., the fuzzy membership functions of the labels used in the rules) by using reinforcement learning. Assuming the surface structure, GARIC refines the fuzzy membership functions used in the consequents of the rules using a gradient descent procedure. This hybrid fuzzy logic and reinforcement learning approach can learn to balance a cart-pole system and to backup a truck to its docking location after a few trials. In this paper, we discuss how to do structure identification using reinforcement learning in fuzzy inference systems. This involves identifying both surface as well as deep structure of the knowledge base. The term set of fuzzy linguistic labels used in describing the values of each control variable must be derived. In this process, splitting a label refers to creating new labels which are more granular than the original label and merging two labels creates a more general label. Splitting and merging of labels directly transform the structure of the action selection network used in GARIC by increasing or decreasing the number of hidden layer nodes.

Improving Cyber-Security of Smart Grid Systems via Anomaly Detection and Linguistic Domain Knowledge

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

Ondrej Linda; Todd Vollmer; Milos Manic

The planned large scale deployment of smart grid network devices will generate a large amount of information exchanged over various types of communication networks. The implementation of these critical systems will require appropriate cyber-security measures. A network anomaly detection solution is considered in this work. In common network architectures multiple communications streams are simultaneously present, making it difficult to build an anomaly detection solution for the entire system. In addition, common anomaly detection algorithms require specification of a sensitivity threshold, which inevitably leads to a tradeoff between false positives and false negatives rates. In order to alleviate these issues, thismore » paper proposes a novel anomaly detection architecture. The designed system applies the previously developed network security cyber-sensor method to individual selected communication streams allowing for learning accurate normal network behavior models. Furthermore, the developed system dynamically adjusts the sensitivity threshold of each anomaly detection algorithm based on domain knowledge about the specific network system. It is proposed to model this domain knowledge using Interval Type-2 Fuzzy Logic rules, which linguistically describe the relationship between various features of the network communication and the possibility of a cyber attack. The proposed method was tested on experimental smart grid system demonstrating enhanced cyber-security.« less

Airport Landside. Volume IV. Appendix A. ALSIM AUXILIARY and MAIN Programs.

DOT National Transportation Integrated Search

1982-06-01

This Appendix describes the Program Logic of the Airport Landside Simulation Model (ALSIM) AUXILIARY and MAIN Programs. Both programs are written in GPSS-V. The AUXILIARY program is operated prior to the MAIN Program to create GPSS transactions repre...

Using a logic model to evaluate the Kids Together early education inclusion program for children with disabilities and additional needs.

PubMed

Clapham, Kathleen; Manning, Claire; Williams, Kathryn; O'Brien, Ginger; Sutherland, Margaret

2017-04-01

Despite clear evidence that learning and social opportunities for children with disabilities and special needs are more effective in inclusive not segregated settings, there are few known effective inclusion programs available to children with disabilities, their families or teachers in the early years within Australia. The Kids Together program was developed to support children with disabilities/additional needs aged 0-8 years attending mainstream early learning environments. Using a key worker transdisciplinary team model, the program aligns with the individualised package approach of the National Disability Insurance Scheme (NDIS). This paper reports on the use of a logic model to underpin the process, outcomes and impact evaluation of the Kids Together program. The research team worked across 15 Early Childhood Education and Care (ECEC) centres and in home and community settings. A realist evaluation using mixed methods was undertaken to understand what works, for whom and in what contexts. The development of a logic model provided a structured way to explore how the program was implemented and achieved short, medium and long term outcomes within a complex community setting. Kids Together was shown to be a highly effective and innovative model for supporting the inclusion of children with disabilities/additional needs in a range of environments central for early childhood learning and development. The use of a logic model provided a visual representation of the Kids Together model and its component parts and enabled a theory of change to be inferred, showing how a coordinated and collaborative approached can work across multiple environments. Copyright © 2016 Elsevier Ltd. All rights reserved.

Universal Pin Electronics.

DTIC Science & Technology

1982-11-03

define the maximum count for the pattern defined by the first 3 bits. Since there are 11 bits involved it is possible to define patterns up to 2048 ...applied to the UUT directly through the driver for any count up to 2048 . Any one of the 7 clocks may be selected under program control and applied to any...one ievel for the driver ( VDI ), the logic zero level for the driver (VDO), the logic one level for the receiver (VRl), and the logic zero level for the

Design of a Ferroelectric Programmable Logic Gate Array

NASA Technical Reports Server (NTRS)

MacLeod, Todd C.; Ho, Fat Duen

2003-01-01

A programmable logic gate array has been designed utilizing ferroelectric field effect transistors. The design has only a small number of gates, but this could be scaled up to a more useful size. Using FFET's in a logic array gives several advantages. First, it allows real-time programmability to the array to give high speed reconfiguration. It also allows the array to be configured nearly an unlimited number of times, unlike a FLASH FPGA. Finally, the Ferroelectric Programmable Logic Gate Array (FPLGA) can be implemented using a smaller number of transistors because of the inherent logic characteristics of an FFET. The device was only designed and modeled using Spice models of the circuit, including the FFET. The actual device was not produced. The design consists of a small array of NAND and NOR logic gates. Other gates could easily be produced. They are linked by FFET's that control the logic flow. Timing and logic tables have been produced showing the array can produce a variety of logic combinations at a real time usable speed. This device could be a prototype for a device that could be put into imbedded systems that need the high speed of hardware implementation of logic and the complexity to need to change the logic algorithm. Because of the non-volatile nature of the FFET, it would also be useful in situations that needed to program a logic array once and use it repeatedly after the power has been shut off.

Users manual for Streamtube Curvature Analysis: Analytical method for predicting the pressure distribution about a nacelle at transonic speeds, volume 1

NASA Technical Reports Server (NTRS)

Keith, J. S.; Ferguson, D. R.; Heck, P. H.

1972-01-01

The computer program, Streamtube Curvature Analysis, is described for the engineering user and for the programmer. The user oriented documentation includes a description of the mathematical governing equations, their use in the solution, and the method of solution. The general logical flow of the program is outlined and detailed instructions for program usage and operation are explained. General procedures for program use and the program capabilities and limitations are described. From the standpoint of the grammar, the overlay structure of the program is described. The various storage tables are defined and their uses explained. The input and output are discussed in detail. The program listing includes numerous comments so that the logical flow within the program is easily followed. A test case showing input data and output format is included as well as an error printout description.

[Styles of programming 1952-1972].

PubMed

van den Bogaard, Adrienne

2008-01-01

In the field of history of computing, the construction of the early computers has received much scholarly attention. However, these machines have not only been important because of their logical design and their engineering, but also because of the programming practices that emerged around these first machines. This article compares two styles of programming that developed around Dutch 'first computers'. The first style is represented by Edsger Wybe Dijkstra (1930-2002), who would receive the Turing Award for his work in 1972. Dijkstra developed a mathematical style of programming--a program was something you should be able to design mathematically and prove it logically. The second style is represented by Willem Louis van der Poel (born 1926). For him, programming is 'trickology'. A program is primarily a technical artefact that should work: a program is something you play with, comparable to the way one solves a puzzle.

High speed CMOS/SOS standard cell notebook

NASA Technical Reports Server (NTRS)

1978-01-01

The NASA/MSFC high speed CMOS/SOS standard cell family, designed to be compatible with the PR2D (Place, Route in 2-Dimensions) automatic layout program, is described. Standard cell data sheets show the logic diagram, the schematic, the truth table, and propagation delays for each logic cell.

Online Collaboration for Programming: Assessing Students' Cognitive Abilities

ERIC Educational Resources Information Center

Othman, Mahfudzah; Muhd Zain, Nurzaid

2015-01-01

This study is primarily focused on assessing the students' logical thinking and cognitive levels in an online collaborative environment. The aim is to investigate whether the online collaboration has significant impact to the students' cognitive abilities. The assessment of the logical thinking involved the use of the online Group Assessment…

Can yu rid guat ay rot? A developmental investigation of cross-linguistic spelling errors among Spanish-English bilingual students

PubMed Central

Howard, Elizabeth R.; Green, Jennifer D.; Arteagoitia, Igone

2014-01-01

This study contributes to the literature on cross-linguistic literacy relationships for English language learners, and in particular, the Spanish-influenced spelling patterns of Spanish-English bilinguals. English spelling, reading and vocabulary assessments were administered to 220 students in four TWI programs over a three-year period, from 2nd grade to 4th grade. Data analysis consisted of t-tests and multiple regression. The incidence of cross-linguistic spelling errors was found to be low at all grade levels and to virtually disappear by 4th grade, indicating that this is a developmental issue that is common among bilingual students and that resolves itself without remediation. PMID:25302051

Are There Alternatives in Reading Textbooks? An Examination of Three Beginning Reading Programs

ERIC Educational Resources Information Center

Hiebert, Elfrieda H.; Martin, Leigh Ann; Menon, Shailaja

2005-01-01

The first-grade components of three textbook programs--mainstream basal, combined phonics and literature, and phonics emphasis--were compared on cognitive load (e.g., number of different words) and linguistic content (e.g., number of monosyllabic, simple vowel words). Three levels of three components of a program--literature anthologies, decodable…

The English Language in the School Program.

ERIC Educational Resources Information Center

Hogan, Robert F., Ed.

The 22 papers in this publication, drawn from the 1963 and 1964 NCTE Spring Institutes on Language, Linguistics, and School Programs, concentrate on the relevance of recent scholarship for English language programs in elementary and secondary schools. Language theory is the focus of articles by Harold B. Allen, Sumner Ives, Albert H. Marckwardt,…

A Critique of Centralized Curricula in Literacy Programs: The Case of Botswana.

ERIC Educational Resources Information Center

Maruatona, Tonic L.

2002-01-01

Argues that the Botswana National Literacy Program curriculum does not support linguistic, cultural, or socioeconomic diversity. Suggests that the program should be decentralized to accommodate cultural and ethnic diversity, that language policy should be reformed to permit the use of other languages, and that curriculum developers should network…

Implementing a Musical Program to Promote Preschool Children's Vocabulary Development

ERIC Educational Resources Information Center

Moyeda, Iris Xóchitl Galicia; Gómez, Ixtlixóchitl Contreras; Flores, María Teresa Peña

2006-01-01

In light of the correlation between musical and linguistic skills, a program of musical activities was designed to promote discrimination of rhythmic and melodic elements and the association of auditory stimuli with visual stimuli and motor activities. The effects of the program on the vocabulary of preschool children were evaluated and compared…

Short-term effects on substance use of the keepin' it real pilot prevention program: linguistically adapted for youth in Jalisco, Mexico.

PubMed

Marsiglia, Flavio F; Booth, Jaime M; Ayers, Stephanie L; Nuño-Gutierrez, Bertha L; Kulis, Stephen; Hoffman, Steven

2014-10-01

This article presents the short-term effects of a pilot study of keepin'it REAL (Manténte REAL) conducted in central Mexico by a binational team of investigators. This middle school-based model program for preventing substance use was adapted for Mexico linguistically but not culturally. Two Guadalajara public middle schools were recruited and randomly assigned to either implement the prevention program or serve as a control site. The program was implemented in the treatment site by the students' regular teachers, who were trained by the research team. Seventh graders in ten classrooms in the treatment and control schools (N = 432) completed a pretest and posttest survey in Spanish similar to the survey utilized in the original efficacy trial of keepin'it REAL in the US. T-tests and OLS regressions were conducted to determine the effects of the intervention on substance use outcomes. Differences between treatment and control groups in frequency of use of alcohol and tobacco, the two substances of choice in this sample, were significant and in the desired direction. Differences in amount of use were also in the preferred direction but were not significant for alcohol and only marginally significant for tobacco. When the sample was split by gender, statistically significant treatment effects remained for females but were not observed among males. Effects of the linguistically adapted version of keepin'it REAL appears to be driven by the change in female use; however, the difference in male and female outcomes was not statistically significant. Implications for cultural adaptation and prevention in Mexico are discussed from a communication competency perspective. The promising results of the pilot study suggest that the linguistic adaptation was effective, but that a comprehensive cultural adaptation of keepin'it REAL in partnership with Mexican investigators and communities may be warranted.

Short-term effects on substance use of the keepin' it REAL pilot prevention program: Linguistically adapted for youth in Jalisco, Mexico

PubMed Central

Marsiglia, Flavio F.; Booth, Jaime M.; Ayers, Stephanie L.; Nuño-Gutierrez, Bertha L.; Kulis, Stephen; Hoffman, Steven

2013-01-01

This article presents the short-term effects of a pilot study of keepin' it REAL(Manténte REAL) conducted in central Mexico by a bi-national team of investigators. This middle school-based model program for preventing substance use was adapted for Mexico linguistically but not culturally. Two Guadalajara public middle schools were recruited and randomly assigned to either implement the prevention program or serve as a control site. The program was implemented in the treatment site by the students' regular teachers, who were trained by the research team. Seventh graders in ten classrooms in the treatment and control schools (N = 432) completed a pretest and post-test survey in Spanish similar to the survey utilized in the original efficacy trial of keepin' it REAL in the US. T-tests and OLS regressions were conducted to determine the effects of the intervention on substance use outcomes. Differences between treatment and control groups in frequency of use of alcohol and tobacco, the two substances of choice in this sample, were significant and in the desired direction. Differences in amount of use were also in the preferred direction but were not significant for alcohol and only marginally significant for tobacco. When the sample was split by gender, statistically significant treatment effects remained for females but were not observed among males. Effects of the linguistically adapted version of keepin' it REAL appears to be driven by the change in female use, however the difference in male and female outcomes was not statistically significant. Implications for cultural adaptation and prevention in Mexico are discussed from a communication competency perspective. The promising results of the pilot study suggest that the linguistic adaptation was effective but that a comprehensive cultural adaptation of keepin' it REAL in partnership with Mexican investigators and communities may be warranted. PMID:23877541

Heliocentric interplanetary low thrust trajectory optimization program, supplement 1, part 2

NASA Technical Reports Server (NTRS)

Mann, F. I.; Horsewood, J. L.

1978-01-01

The improvements made to the HILTOP electric propulsion trajectory computer program are described. A more realistic propulsion system model was implemented in which various thrust subsystem efficiencies and specific impulse are modeled as variable functions of power available to the propulsion system. The number of operating thrusters are staged, and the beam voltage is selected from a set of five (or less) constant voltages, based upon the application of variational calculus. The constant beam voltages may be optimized individually or collectively. The propulsion system logic is activated by a single program input key in such a manner as to preserve the HILTOP logic. An analysis describing these features, a complete description of program input quantities, and sample cases of computer output illustrating the program capabilities are presented.

Using a systems orientation and foundational theory to enhance theory-driven human service program evaluations.

PubMed

Wasserman, Deborah L

2010-05-01

This paper offers a framework for using a systems orientation and "foundational theory" to enhance theory-driven evaluations and logic models. The framework guides the process of identifying and explaining operative relationships and perspectives within human service program systems. Self-Determination Theory exemplifies how a foundational theory can be used to support the framework in a wide range of program evaluations. Two examples illustrate how applications of the framework have improved the evaluators' abilities to observe and explain program effect. In both exemplars improvements involved addressing and organizing into a single logic model heretofore seemingly disparate evaluation issues regarding valuing (by whose values); the role of organizational and program context; and evaluation anxiety and utilization. Copyright 2009 Elsevier Ltd. All rights reserved.

Observations concerning Research Literature on Neuro-Linguistic Programming.

ERIC Educational Resources Information Center

Einspruch, Eric L.; Forman, Bruce D.

1985-01-01

Identifies six categories of design and methodological errors contained in the 39 empirical studies of neurolinguistic programming (NLP) documented through April 1984. Representative reports reflecting each category are discussed. Suggestions are offered for improving the quality of research on NLP. (Author/MCF)

Neuro-Linguistics Programming: Developing Effective Communication in the Classroom.

ERIC Educational Resources Information Center

Torres, Cresencio; Katz, Judy H.

1983-01-01

Students and teachers experience the world primarily through visual, kinesthetic, or auditory representational systems. If teachers are aware of their own favored system and those of their students, classroom communication will improve. Neurolinguistic programing can help teachers become more effective communicators. (PP)

Data Science Programs in U.S. Higher Education: An Exploratory Content Analysis of Program Description, Curriculum Structure, and Course Focus

ERIC Educational Resources Information Center

Tang, Rong; Sae-Lim, Watinee

2016-01-01

In this study, an exploratory content analysis of 30 randomly selected Data Science (DS) programs from eight disciplines revealed significant gaps in current DS education in the United States. The analysis centers on linguistic patterns of program descriptions, curriculum requirements, and DS course focus as pertaining to key skills and domain…

Logical qubit fusion

NASA Astrophysics Data System (ADS)

Moussa, Jonathan; Ryan-Anderson, Ciaran

The canonical modern plan for universal quantum computation is a Clifford+T gate set implemented in a topological error-correcting code. This plan has the basic disparity that logical Clifford gates are natural for codes in two spatial dimensions while logical T gates are natural in three. Recent progress has reduced this disparity by proposing logical T gates in two dimensions with doubled, stacked, or gauge color codes, but these proposals lack an error threshold. An alternative universal gate set is Clifford+F, where a fusion (F) gate converts two logical qubits into a logical qudit. We show that logical F gates can be constructed by identifying compatible pairs of qubit and qudit codes that stabilize the same logical subspace, much like the original Bravyi-Kitaev construction of magic state distillation. The simplest example of high-distance compatible codes results in a proposal that is very similar to the stacked color code with the key improvement of retaining an error threshold. Sandia National Labs is a multi-program laboratory managed and operated by Sandia Corp, a wholly owned subsidiary of Lockheed Martin Corp, for the U.S. Department of Energy's National Nuclear Security Administration under contract DE-AC04-94AL85000.

Quantum probabilistic logic programming

NASA Astrophysics Data System (ADS)

Balu, Radhakrishnan

2015-05-01

We describe a quantum mechanics based logic programming language that supports Horn clauses, random variables, and covariance matrices to express and solve problems in probabilistic logic. The Horn clauses of the language wrap random variables, including infinite valued, to express probability distributions and statistical correlations, a powerful feature to capture relationship between distributions that are not independent. The expressive power of the language is based on a mechanism to implement statistical ensembles and to solve the underlying SAT instances using quantum mechanical machinery. We exploit the fact that classical random variables have quantum decompositions to build the Horn clauses. We establish the semantics of the language in a rigorous fashion by considering an existing probabilistic logic language called PRISM with classical probability measures defined on the Herbrand base and extending it to the quantum context. In the classical case H-interpretations form the sample space and probability measures defined on them lead to consistent definition of probabilities for well formed formulae. In the quantum counterpart, we define probability amplitudes on Hinterpretations facilitating the model generations and verifications via quantum mechanical superpositions and entanglements. We cast the well formed formulae of the language as quantum mechanical observables thus providing an elegant interpretation for their probabilities. We discuss several examples to combine statistical ensembles and predicates of first order logic to reason with situations involving uncertainty.

Are computers effective lie detectors? A meta-analysis of linguistic cues to deception.

PubMed

Hauch, Valerie; Blandón-Gitlin, Iris; Masip, Jaume; Sporer, Siegfried L

2015-11-01

This meta-analysis investigates linguistic cues to deception and whether these cues can be detected with computer programs. We integrated operational definitions for 79 cues from 44 studies where software had been used to identify linguistic deception cues. These cues were allocated to six research questions. As expected, the meta-analyses demonstrated that, relative to truth-tellers, liars experienced greater cognitive load, expressed more negative emotions, distanced themselves more from events, expressed fewer sensory-perceptual words, and referred less often to cognitive processes. However, liars were not more uncertain than truth-tellers. These effects were moderated by event type, involvement, emotional valence, intensity of interaction, motivation, and other moderators. Although the overall effect size was small, theory-driven predictions for certain cues received support. These findings not only further our knowledge about the usefulness of linguistic cues to detect deception with computers in applied settings but also elucidate the relationship between language and deception. © 2014 by the Society for Personality and Social Psychology, Inc.

Using a logic model to relate the strategic to the tactical in program planning and evaluation: an illustration based on social norms interventions.

PubMed

Keller, Adrienne; Bauerle, Jennifer A

2009-01-01

Logic models are a ubiquitous tool for specifying the tactics--including implementation and evaluation--of interventions in the public health, health and social behaviors arenas. Similarly, social norms interventions are a common strategy, particularly in college settings, to address hazardous drinking and other dangerous or asocial behaviors. This paper illustrates an extension of logic models to include strategic as well as tactical components, using a specific example developed for social norms interventions. Placing the evaluation of projects within the context of this kind of logic model addresses issues related to the lack of a research design to evaluate effectiveness.

Logic Design Pathology and Space Flight Electronics

NASA Technical Reports Server (NTRS)

Katz, Richard; Barto, Rod L.; Erickson, K.

1997-01-01

Logic design errors have been observed in space flight missions and the final stages of ground test. The technologies used by designers and their design/analysis methodologies will be analyzed. This will give insight to the root causes of the failures. These technologies include discrete integrated circuit based systems, systems based on field and mask programmable logic, and the use computer aided engineering (CAE) systems. State-of-the-art (SOTA) design tools and methodologies will be analyzed with respect to high-reliability spacecraft design and potential pitfalls are discussed. Case studies of faults from large expensive programs to "smaller, faster, cheaper" missions will be used to explore the fundamental reasons for logic design problems.

A fuzzy MCDM framework based on fuzzy measure and fuzzy integral for agile supplier evaluation

NASA Astrophysics Data System (ADS)

Dursun, Mehtap

2017-06-01

Supply chains need to be agile in order to response quickly to the changes in today's competitive environment. The success of an agile supply chain depends on the firm's ability to select the most appropriate suppliers. This study proposes a multi-criteria decision making technique for conducting an analysis based on multi-level hierarchical structure and fuzzy logic for the evaluation of agile suppliers. The ideal and anti-ideal solutions are taken into consideration simultaneously in the developed approach. The proposed decision approach enables the decision-makers to use linguistic terms, and thus, reduce their cognitive burden in the evaluation process. Furthermore, a hierarchy of evaluation criteria and their related sub-criteria is employed in the presented approach in order to conduct a more effective analysis.

Health: A Developing Concept in Nursing.

PubMed

Alslman, Eman Tariq; Ahmad, Muayyad M; Bani Hani, Manar Ali; Atiyeh, Huda Mohammad

2017-04-01

The purpose of this paper is to evaluate the level of maturity of the concept of health in the nursing discipline. The four principles of Morse and colleagues were used to evaluate the level of maturity of the health concept-epistemological, logical, pragmatical, and linguistical. This evaluation suggests that the concept of health in nursing is immature, defined inconsistently, and with different instruments. Health is a central concept for nursing. Additional concept development and clarification are needed. For the concept of health to be conceptualized, it is important that nurses have consensus regarding the definition of health. The nursing discipline should define health in a manner that is consistent with its philosophical presuppositions. Further, it should be measurable, empirically based, and capture the outcomes that are sensitive to the nursing interventions. © 2015 NANDA International, Inc.

A DNAzyme-mediated logic gate for programming molecular capture and release on DNA origami.

PubMed

Li, Feiran; Chen, Haorong; Pan, Jing; Cha, Tae-Gon; Medintz, Igor L; Choi, Jong Hyun

2016-06-28

Here we design a DNA origami-based site-specific molecular capture and release platform operated by a DNAzyme-mediated logic gate process. We show the programmability and versatility of this platform with small molecules, proteins, and nanoparticles, which may also be controlled by external light signals.

Rosalie Wolf Memorial Lecture: A logic model to measure the impacts of World Elder Abuse Awareness Day.

PubMed

Stein, Karen

2016-01-01

This commentary discusses the need to evaluate the impact of World Elder Abuse Awareness Day activities, the elder abuse field's most sustained public awareness initiative. A logic model is proposed with measures for short-term, medium-term, and long-term outcomes for community-based programs.

Sign-And-Magnitude Up/Down Counter

NASA Technical Reports Server (NTRS)

Cole, Steven W.

1991-01-01

Magnitude-and-sign counter includes conventional up/down counter for magnitude part and special additional circuitry for sign part. Negative numbers indicated more directly. Counter implemented by programming erasable programmable logic device (EPLD) or programmable logic array (PLA). Used in place of conventional up/down counter to provide sign and magnitude values directly to other circuits.

Teaching Machines to Think Fuzzy

ERIC Educational Resources Information Center

Technology Teacher, 2004

2004-01-01

Fuzzy logic programs for computers make them more human. Computers can then think through messy situations and make smart decisions. It makes computers able to control things the way people do. Fuzzy logic has been used to control subway trains, elevators, washing machines, microwave ovens, and cars. Pretty much all the human has to do is push one…

Programmable bioelectronics in a stimuli-encoded 3D graphene interface

NASA Astrophysics Data System (ADS)

Parlak, Onur; Beyazit, Selim; Tse-Sum-Bui, Bernadette; Haupt, Karsten; Turner, Anthony P. F.; Tiwari, Ashutosh

2016-05-01

The ability to program and mimic the dynamic microenvironment of living organisms is a crucial step towards the engineering of advanced bioelectronics. Here, we report for the first time a design for programmable bioelectronics, with `built-in' switchable and tunable bio-catalytic performance that responds simultaneously to appropriate stimuli. The designed bio-electrodes comprise light and temperature responsive compartments, which allow the building of Boolean logic gates (i.e. ``OR'' and ``AND'') based on enzymatic communications to deliver logic operations.The ability to program and mimic the dynamic microenvironment of living organisms is a crucial step towards the engineering of advanced bioelectronics. Here, we report for the first time a design for programmable bioelectronics, with `built-in' switchable and tunable bio-catalytic performance that responds simultaneously to appropriate stimuli. The designed bio-electrodes comprise light and temperature responsive compartments, which allow the building of Boolean logic gates (i.e. ``OR'' and ``AND'') based on enzymatic communications to deliver logic operations. Electronic supplementary information (ESI) available. See DOI: 10.1039/c6nr02355j