Optimizing Aerobot Exploration of Venus

NASA Astrophysics Data System (ADS)

Ford, Kevin S.

1997-03-01

Venus Flyer Robot (VFR) is an aerobot; an autonomous balloon probe designed for remote exploration of Earth's sister planet in 2003. VFR's simple navigation and control system permits travel to virtually any location on Venus, but it can survive for only a limited duration in the harsh Venusian environment. To help address this limitation, we develop: (1) a global circulation model that captures the most important characteristics of the Venusian atmosphere; (2) a simple aerobot model that captures thermal restrictions faced by VFR at Venus; and (3) one exact and two heuristic algorithms that, using abstractions (1) and (2), construct routes making the best use of VFR's limited lifetime. We demonstrate this modeling by planning several small example missions and a prototypical mission that explores numerous interesting sites recently documented in the plane tary geology literature.

Optimizing Aerobot Exploration of Venus

NASA Technical Reports Server (NTRS)

Ford, Kevin S.

1997-01-01

Venus Flyer Robot (VFR) is an aerobot; an autonomous balloon probe designed for remote exploration of Earth's sister planet in 2003. VFR's simple navigation and control system permits travel to virtually any location on Venus, but it can survive for only a limited duration in the harsh Venusian environment. To help address this limitation, we develop: (1) a global circulation model that captures the most important characteristics of the Venusian atmosphere; (2) a simple aerobot model that captures thermal restrictions faced by VFR at Venus; and (3) one exact and two heuristic algorithms that, using abstractions (1) and (2), construct routes making the best use of VFR's limited lifetime. We demonstrate this modeling by planning several small example missions and a prototypical mission that explores numerous interesting sites recently documented in the plane tary geology literature.

Formal methods for modeling and analysis of hybrid systems

NASA Technical Reports Server (NTRS)

Tiwari, Ashish (Inventor); Lincoln, Patrick D. (Inventor)

2009-01-01

A technique based on the use of a quantifier elimination decision procedure for real closed fields and simple theorem proving to construct a series of successively finer qualitative abstractions of hybrid automata is taught. The resulting abstractions are always discrete transition systems which can then be used by any traditional analysis tool. The constructed abstractions are conservative and can be used to establish safety properties of the original system. The technique works on linear and non-linear polynomial hybrid systems: the guards on discrete transitions and the continuous flows in all modes can be specified using arbitrary polynomial expressions over the continuous variables. An exemplar tool in the SAL environment built over the theorem prover PVS is detailed. The technique scales well to large and complex hybrid systems.

77 FR 76604 - Submission for OMB Review; Comment Request

Federal Register 2010, 2011, 2012, 2013, 2014

2012-12-28

... currently approved collection. Title: Form 5304-SIMPLE; Form 5305-SIMPLE; Notice 98-4. Abstract: Forms 5304-SIMPLE and 5035-SIMPLE are used by an employer to permit employees to make salary reduction contributions to a savings incentive match plan (SIMPLE IRA) described in Code section 408(p). These forms are not...

A Model-Driven Approach for Telecommunications Network Services Definition

NASA Astrophysics Data System (ADS)

Chiprianov, Vanea; Kermarrec, Yvon; Alff, Patrick D.

Present day Telecommunications market imposes a short concept-to-market time for service providers. To reduce it, we propose a computer-aided, model-driven, service-specific tool, with support for collaborative work and for checking properties on models. We started by defining a prototype of the Meta-model (MM) of the service domain. Using this prototype, we defined a simple graphical modeling language specific for service designers. We are currently enlarging the MM of the domain using model transformations from Network Abstractions Layers (NALs). In the future, we will investigate approaches to ensure the support for collaborative work and for checking properties on models.

Applicability of Existing C3 (Command, Control and Communications) Vulnerability and Hardness Analyses to Sentry System Issues.

DTIC Science & Technology

1983-01-13

Naval .1 Ordnance Systems Command ) codes are detailed propagation simulations mostly at lower frequencies . These are combined with WEPH code phenomenology...AD B062349L. Scope /Abstract: This report describes a simple model for predicting the loads on box-like target structures subject to air blast. A... model and applying it to targets which can be approximated by a series of rectangular parallelopipeds. In this report the physical phenomena of high

Usage Automata

NASA Astrophysics Data System (ADS)

Bartoletti, Massimo

Usage automata are an extension of finite stata automata, with some additional features (e.g. parameters and guards) that improve their expressivity. Usage automata are expressive enough to model security requirements of real-world applications; at the same time, they are simple enough to be statically amenable, e.g. they can be model-checked against abstractions of program usages. We study here some foundational aspects of usage automata. In particular, we discuss about their expressive power, and about their effective use in run-time mechanisms for enforcing usage policies.

An Absolute Phase Space for the Physicality of Matter

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

Valentine, John S.

2010-12-22

We define an abstract and absolute phase space (''APS'') for sub-quantum intrinsic wave states, in three axes, each mapping directly to a duality having fundamental ontological basis. Many aspects of quantum physics emerge from the interaction algebra and a model deduced from principles of 'unique solvability' and 'identifiable entity', and we reconstruct previously abstract fundamental principles and phenomena from these new foundations. The physical model defines bosons as virtual continuous waves pairs in the APS, and fermions as real self-quantizing snapshots of those waves when simple conditions are met. The abstraction and physical model define a template for the constitutionmore » of all fermions, a template for all the standard fundamental bosons and their local interactions, in a common framework and compactified phase space for all forms of real matter and virtual vacuum energy, and a distinct algebra for observables and unobservables. To illustrate our scheme's potential, we provide examples of slit experiment variations (where the model finds theoretical basis for interference only occurring between two final sources), QCD (where we may model most attributes known to QCD, and a new view on entanglement), and we suggest approaches for other varied applications. We believe this is a viable candidate for further exploration as a foundational proposition for physics.« less

A Problem of Play for Democratic Education? Abstraction, Realism, and Exploration in Learning Games. A Response to "The Challenges of Gaming for Democratic Education: The Case of iCivics"

ERIC Educational Resources Information Center

DeVane, Benjamin

2017-01-01

In this review article, I argue that games are complementary, not self-supporting, learning tools for democratic education because they can: (a) offer "simplified, but often not simple, outlines" (later called "models") of complex social systems that generate further inquiry; (b) provide "practice spaces" for…

(abstract) Simple Spreadsheet Thermal Models for Cryogenic Applications

NASA Technical Reports Server (NTRS)

Nash, A. E.

1994-01-01

Self consistent circuit analog thermal models, that can be run in commercial spreadsheet programs on personal computers, have been created to calculate the cooldown and steady state performance of cryogen cooled Dewars. The models include temperature dependent conduction and radiation effects. The outputs of the models provide temperature distribution and Dewar performance information. These models have been used to analyze the Cryogenic Telescope Test Facility (CTTF). The facility will be on line in early 1995 for its first user, the Infrared Telescope Technology Testbed (ITTT), for the Space Infrared Telescope Facility (SIRTF) at JPL. The model algorithm as well as a comparison of the model predictions and actual performance of this facility will be presented.

Quasiclassical trajectory calculations to evaluate a kinematic constraint on internal energy in suprathreshold collision energy abstraction reactions

NASA Astrophysics Data System (ADS)

Shuman, Nicholas S.; Mihok, Morgan; Fistik, Margaret; Valentini, James J.

2005-08-01

Experimentally observed product quantum state distributions across a wide range of abstraction reactions at suprathreshold collision energies have shown a strong bias against product internal energy. Only a fraction, sometimes quite a small fraction, of the energetically accessible product quantum states are populated. Picconatto et al. [J. Chem. Phys. 114, 1663 (2001)] noted a simple mathematical relationship between the highest-energy rovibrational states observed and the kinematics of the reaction system. They proposed a reaction model based on reaction kinematics that quantitatively explains this behavior. The model is in excellent agreement with measured quantum state distributions. The assumptions of the model invoke detailed characteristics of reactive trajectories at suprathreshold collision energies. Here we test those assumptions using quasiclassical trajectory calculations for the abstraction reactions H +HCl→H2+Cl, D +HCl→HD+Cl, and H +DCl→HD+Cl. Trajectories were run on a potential-energy surface calculated with a London-Eyring-Polyani-Sato function with a localized 3-center term (LEPS-3C) previously shown to accurately reproduce experimentally observed product state distributions for the H +HCl abstraction reaction. The trajectories sample collision energies near threshold and also substantially above it. Although the trajectories demonstrate some aspects of the model, they show that it is not valid. However, the inadequacy of the proposed model does not invalidate the apparent kinematic basis of the observed energy constraint. The present results show that there must be some other molecular behavior rooted in the reaction kinematics that is the explanation and the source of the constraint.

A simple recipe for setting up the flux equations of cyclic and linear reaction schemes of ion transport with a high number of states: The arrow scheme

PubMed Central

Hansen, Ulf-Peter; Rauh, Oliver; Schroeder, Indra

2016-01-01

abstract The calculation of flux equations or current-voltage relationships in reaction kinetic models with a high number of states can be very cumbersome. Here, a recipe based on an arrow scheme is presented, which yields a straightforward access to the minimum form of the flux equations and the occupation probability of the involved states in cyclic and linear reaction schemes. This is extremely simple for cyclic schemes without branches. If branches are involved, the effort of setting up the equations is a little bit higher. However, also here a straightforward recipe making use of so-called reserve factors is provided for implementing the branches into the cyclic scheme, thus enabling also a simple treatment of such cases. PMID:26646356

Modeling of Small Martian Volcanoes: A Changing View of Volcanic Shield and Cone Fields

NASA Astrophysics Data System (ADS)

Sakimoto, S. E.; Bradley, B. A.; Garvin, J. B.

2001-05-01

The small volcanic features on Mars (channels, flows, shields, and cratered cones) are key to understanding eruption styles, rates, and volumes because they are ubiquitous and simple enough to attempt modeling. Several of these small features have been suggested to be geologically recent [1,2,3]. This study measures and models small (3-50 km) volcanic edifices. Recent Mars Global Surveyor data reveal that these small features are more common that we had previously thought from the lower resolution Viking mission data (e.g., [3,4]). Furthermore, there are clear geometric differences in the Mars Orbiter Laser Altimeter (MOLA) data between regions suggesting local and regional eruption styles may vary with latitude. While a few of the pre-MGS construction models predict the martian mid-latitude volcanic shield shapes fairly well, the small explosive volcanic edifice shapes were not well predicted by existing models (see[5]), and there are a host of types-mostly polar-that are not well described by prior modeling. We compare small edifice construction model results for a percolation style model of effusive and mixed effusive and explosive edifices to prior model results for several martian volcanic regions. While mid-latitude edifices match well to predicted cross-section shapes, steeper flank slopes (See [6]; Glaze and Sakimoto, this volume) for the polar edifices suggest that the magma supply rate or the edifice permeability may be higher in the polar regions for some edifices types. However, polar edifice flank slopes do not commonly reach the greater than 10 degree flanks expected from prior explosive edifice models. Additionally, we do not observe shallow flank slope shields in the polar regions. This suggests that simple shield building may be significantly influenced or modified by volatile involvement near the martian poles, while a range of poorly understood explosive activity may be active in both regions. [1] Keszthelyi et al. JGR 105, 15027-15049, 2000. [2] Hartmann and Berman, JGR, 105, 15011-15025, 2000. [3] Garvin, et al., Icarus, 145, 648-652, 2000. [4] Sakimoto, et al., LPSC XXXII, CDROM, abstract #1808, 2001. [5] Glaze and Baloga LPSC XXXII, CDROM, abstract #1209, 2001. [6] Wong, et al., LPSC XXXII, CDROM, abstract #1563, 2001.

Visualising ‘work done’ with a simple flying wheel toy

NASA Astrophysics Data System (ADS)

Amir, Nazir

2018-07-01

A way to scaffold students’ understanding of abstract physics concepts is through fun activities that help in visualisation. This article highlights a simple flying wheel toy can be used as a demonstration kit in presenting the equation ‘Work Done  =  Force  ×  Distance’. The kit has helped the author’s students visualise the equation, getting them to appreciate how components of the equation are related to one another, which otherwise may have been abstract for them.

Learning a theory of causality.

PubMed

Goodman, Noah D; Ullman, Tomer D; Tenenbaum, Joshua B

2011-01-01

The very early appearance of abstract knowledge is often taken as evidence for innateness. We explore the relative learning speeds of abstract and specific knowledge within a Bayesian framework and the role for innate structure. We focus on knowledge about causality, seen as a domain-general intuitive theory, and ask whether this knowledge can be learned from co-occurrence of events. We begin by phrasing the causal Bayes nets theory of causality and a range of alternatives in a logical language for relational theories. This allows us to explore simultaneous inductive learning of an abstract theory of causality and a causal model for each of several causal systems. We find that the correct theory of causality can be learned relatively quickly, often becoming available before specific causal theories have been learned--an effect we term the blessing of abstraction. We then explore the effect of providing a variety of auxiliary evidence and find that a collection of simple perceptual input analyzers can help to bootstrap abstract knowledge. Together, these results suggest that the most efficient route to causal knowledge may be to build in not an abstract notion of causality but a powerful inductive learning mechanism and a variety of perceptual supports. While these results are purely computational, they have implications for cognitive development, which we explore in the conclusion.

USSR and Eastern Europe Scientific Abstracts, Physics. Number 46.

DTIC Science & Technology

1978-11-02

parameters of cerium, gadolinium and lutetium orthovanadite. Polytherms of heat capacity, magnetization and magnetic susceptibility of these rare...of lasing in mixed ZnxCd^_xS single crystals, and it was found that the model of a simple " Fabry -Perot resonator," i.e., an inverse layer on the...such a self- locking depends on narrowing the emission band, which can be achieved with the aid of an appropriately designed Fabry -Perot

Post-game analysis: An initial experiment for heuristic-based resource management in concurrent systems

NASA Technical Reports Server (NTRS)

Yan, Jerry C.

1987-01-01

In concurrent systems, a major responsibility of the resource management system is to decide how the application program is to be mapped onto the multi-processor. Instead of using abstract program and machine models, a generate-and-test framework known as 'post-game analysis' that is based on data gathered during program execution is proposed. Each iteration consists of (1) (a simulation of) an execution of the program; (2) analysis of the data gathered; and (3) the proposal of a new mapping that would have a smaller execution time. These heuristics are applied to predict execution time changes in response to small perturbations applied to the current mapping. An initial experiment was carried out using simple strategies on 'pipeline-like' applications. The results obtained from four simple strategies demonstrated that for this kind of application, even simple strategies can produce acceptable speed-up with a small number of iterations.

Diffusion of a new intermediate product in a simple ‘classical‐Schumpeterian’ model

PubMed Central

2017-01-01

Abstract This paper deals with the problem of new intermediate products within a simple model, where production is circular and goods enter into the production of other goods. It studies the process by which the new good is absorbed into the economy and the structural transformation that goes with it. By means of a long‐period method the forces of structural transformation are examined, in particular the shift of existing means of production towards the innovation and the mechanism of differential growth in terms of alternative techniques and their associated systems of production. We treat two important Schumpeterian topics: the question of technological unemployment and the problem of ‘forced saving’ and the related problem of an involuntary reduction of real consumption per capita. It is shown that both phenomena are potential by‐products of the transformation process. PMID:29695874

Topological characterization versus synchronization for assessing (or not) dynamical equivalence

NASA Astrophysics Data System (ADS)

Letellier, Christophe; Mangiarotti, Sylvain; Sendiña-Nadal, Irene; Rössler, Otto E.

2018-04-01

Model validation from experimental data is an important and not trivial topic which is too often reduced to a simple visual inspection of the state portrait spanned by the variables of the system. Synchronization was suggested as a possible technique for model validation. By means of a topological analysis, we revisited this concept with the help of an abstract chemical reaction system and data from two electrodissolution experiments conducted by Jack Hudson's group. The fact that it was possible to synchronize topologically different global models led us to conclude that synchronization is not a recommendable technique for model validation. A short historical preamble evokes Jack Hudson's early career in interaction with Otto E. Rössler.

Experimental Evaluation of the Taylor-Type Polycrystal Model for the Finite Deformation of an FCC Metal (OFHC Copper)

DTIC Science & Technology

1991-05-01

was received as bar stocks in the work hardened condition. Before machining, the copper rods were annealed at 400 °C in argon for one hour. This...ABSTRACT Large deformation uniaxial compression and fixed-end torsion (simple shear) experiments were conducted on annealed OFHC Copper to obtain its... annealing treatment produced an average grain diameter of 45 jim. Experimental Procedure Compression Tests All the compression tests were conducted with

As Simple as Possible, But No Simpler: A Gentle Introduction to Simulation Modeling

DTIC Science & Technology

2006-12-01

cultures, people waiting for a bus mimic the concept by standing in a row. However, there are some cultures where no line forms but it is considered...mathematical equations such as the equations of motion Report Documentation Page Form ApprovedOMB No. 0704-0188 Public reporting burden for the...PERSON a. REPORT unclassified b. ABSTRACT unclassified c. THIS PAGE unclassified Standard Form 298 (Rev. 8-98) Prescribed by ANSI Std Z39-18

STARTING SMALL IN STELLA: LEARNING HOW TO PLAN FOR SUSTAINABILITY

EPA Science Inventory

Concepts of sustainability are rarely clearly defined and their applications often seem abstract. Because these concepts must address systems scale, even simple strategies often seem complex, abstract, and overwhelming. The opportunity to apply a theory for sustainable developmen...

Games for All Seasons.

ERIC Educational Resources Information Center

Jaques, David

1981-01-01

Argues that games with a simple communication structure and/or an abstract content have more virtues than games which introduce too many details into the roles and scenario. Four such "simple" games are described, one in detail, and four references are listed. (LLS)

MAGNESIUM IN WATER: SIMPLE AND EFFECTIVE FOR PINACOL COUPLING. (R822668)

EPA Science Inventory

The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...

JTSA: an open source framework for time series abstractions.

PubMed

Sacchi, Lucia; Capozzi, Davide; Bellazzi, Riccardo; Larizza, Cristiana

2015-10-01

The evaluation of the clinical status of a patient is frequently based on the temporal evolution of some parameters, making the detection of temporal patterns a priority in data analysis. Temporal abstraction (TA) is a methodology widely used in medical reasoning for summarizing and abstracting longitudinal data. This paper describes JTSA (Java Time Series Abstractor), a framework including a library of algorithms for time series preprocessing and abstraction and an engine to execute a workflow for temporal data processing. The JTSA framework is grounded on a comprehensive ontology that models temporal data processing both from the data storage and the abstraction computation perspective. The JTSA framework is designed to allow users to build their own analysis workflows by combining different algorithms. Thanks to the modular structure of a workflow, simple to highly complex patterns can be detected. The JTSA framework has been developed in Java 1.7 and is distributed under GPL as a jar file. JTSA provides: a collection of algorithms to perform temporal abstraction and preprocessing of time series, a framework for defining and executing data analysis workflows based on these algorithms, and a GUI for workflow prototyping and testing. The whole JTSA project relies on a formal model of the data types and of the algorithms included in the library. This model is the basis for the design and implementation of the software application. Taking into account this formalized structure, the user can easily extend the JTSA framework by adding new algorithms. Results are shown in the context of the EU project MOSAIC to extract relevant patterns from data coming related to the long term monitoring of diabetic patients. The proof that JTSA is a versatile tool to be adapted to different needs is given by its possible uses, both as a standalone tool for data summarization and as a module to be embedded into other architectures to select specific phenotypes based on TAs in a large dataset. Copyright © 2015 Elsevier Ireland Ltd. All rights reserved.

A Web Application For Visualizing Empirical Models of the Space-Atmosphere Interface Region: AtModWeb

NASA Astrophysics Data System (ADS)

Knipp, D.; Kilcommons, L. M.; Damas, M. C.

2015-12-01

We have created a simple and user-friendly web application to visualize output from empirical atmospheric models that describe the lower atmosphere and the Space-Atmosphere Interface Region (SAIR). The Atmospheric Model Web Explorer (AtModWeb) is a lightweight, multi-user, Python-driven application which uses standard web technology (jQuery, HTML5, CSS3) to give an in-browser interface that can produce plots of modeled quantities such as temperature and individual species and total densities of neutral and ionized upper-atmosphere. Output may be displayed as: 1) a contour plot over a map projection, 2) a pseudo-color plot (heatmap) which allows visualization of a variable as a function of two spatial coordinates, or 3) a simple line plot of one spatial coordinate versus any number of desired model output variables. The application is designed around an abstraction of an empirical atmospheric model, essentially treating the model code as a black box, which makes it simple to add additional models without modifying the main body of the application. Currently implemented are the Naval Research Laboratory NRLMSISE00 model for neutral atmosphere and the International Reference Ionosphere (IRI). These models are relevant to the Low Earth Orbit environment and the SAIR. The interface is simple and usable, allowing users (students and experts) to specify time and location, and choose between historical (i.e. the values for the given date) or manual specification of whichever solar or geomagnetic activity drivers are required by the model. We present a number of use-case examples from research and education: 1) How does atmospheric density between the surface and 1000 km vary with time of day, season and solar cycle?; 2) How do ionospheric layers change with the solar cycle?; 3 How does the composition of the SAIR vary between day and night at a fixed altitude?

SIMPLE PLANT-BASED DESIGN STRATEGIES FOR VOLATILE ORGANIC POLLUTANTS. (R825549C062)

EPA Science Inventory

The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...

Application of empirical and dynamical closure methods to simple climate models

NASA Astrophysics Data System (ADS)

Padilla, Lauren Elizabeth

This dissertation applies empirically- and physically-based methods for closure of uncertain parameters and processes to three model systems that lie on the simple end of climate model complexity. Each model isolates one of three sources of closure uncertainty: uncertain observational data, large dimension, and wide ranging length scales. They serve as efficient test systems toward extension of the methods to more realistic climate models. The empirical approach uses the Unscented Kalman Filter (UKF) to estimate the transient climate sensitivity (TCS) parameter in a globally-averaged energy balance model. Uncertainty in climate forcing and historical temperature make TCS difficult to determine. A range of probabilistic estimates of TCS computed for various assumptions about past forcing and natural variability corroborate ranges reported in the IPCC AR4 found by different means. Also computed are estimates of how quickly uncertainty in TCS may be expected to diminish in the future as additional observations become available. For higher system dimensions the UKF approach may become prohibitively expensive. A modified UKF algorithm is developed in which the error covariance is represented by a reduced-rank approximation, substantially reducing the number of model evaluations required to provide probability densities for unknown parameters. The method estimates the state and parameters of an abstract atmospheric model, known as Lorenz 96, with accuracy close to that of a full-order UKF for 30-60% rank reduction. The physical approach to closure uses the Multiscale Modeling Framework (MMF) to demonstrate closure of small-scale, nonlinear processes that would not be resolved directly in climate models. A one-dimensional, abstract test model with a broad spatial spectrum is developed. The test model couples the Kuramoto-Sivashinsky equation to a transport equation that includes cloud formation and precipitation-like processes. In the test model, three main sources of MMF error are evaluated independently. Loss of nonlinear multi-scale interactions and periodic boundary conditions in closure models were dominant sources of error. Using a reduced order modeling approach to maximize energy content allowed reduction of the closure model dimension up to 75% without loss in accuracy. MMF and a comparable alternative model peformed equally well compared to direct numerical simulation.

Comparative Recall and Precision of Simple and Expert Searches in Google Scholar and Eight Other Databases

ERIC Educational Resources Information Center

Walters, William H.

2011-01-01

This study evaluates the effectiveness of simple and expert searches in Google Scholar (GS), EconLit, GEOBASE, PAIS, POPLINE, PubMed, Social Sciences Citation Index, Social Sciences Full Text, and Sociological Abstracts. It assesses the recall and precision of 32 searches in the field of later-life migration: nine simple keyword searches and 23…

Natural concepts in a juvenile gorilla (gorilla gorilla gorilla) at three levels of abstraction.

PubMed Central

Vonk, Jennifer; MacDonald, Suzanne E

2002-01-01

The extent to which nonhumans are able to form conceptual versus perceptual discriminations remains a matter of debate. Among the great apes, only chimpanzees have been tested for conceptual understanding, defined as the ability to form discriminations not based solely on simple perceptual features of stimuli, and to transfer this learning to novel stimuli. In the present investigation, a young captive female gorilla was trained at three levels of abstraction (concrete, intermediate, and abstract) involving sets of photographs representing natural categories (e.g., orangutans vs. humans, primates vs. nonprimate animals, animals vs. foods). Within each level of abstraction, when the gorilla had learned to discriminate positive from negative exemplars in one set of photographs, a novel set was introduced. Transfer was defined in terms of high accuracy during the first two sessions with the new stimuli. The gorilla acquired discriminations at all three levels of abstraction but showed unambiguous transfer only with the concrete and abstract stimulus sets. Detailed analyses of response patterns revealed little evidence of control by simple stimulus features. Acquisition and transfer involving abstract stimulus sets suggest a conceptual basis for gorilla categorization. The gorilla's relatively poor performance with intermediate-level discriminations parallels findings with pigeons, and suggests a need to reconsider the role of perceptual information in discriminations thought to indicate conceptual behavior in nonhumans. PMID:12507006

Modelling abstraction licensing strategies ahead of the UK's water abstraction licensing reform

NASA Astrophysics Data System (ADS)

Klaar, M. J.

2012-12-01

Within England and Wales, river water abstractions are licensed and regulated by the Environment Agency (EA), who uses compliance with the Environmental Flow Indicator (EFI) to ascertain where abstraction may cause undesirable effects on river habitats and species. The EFI is a percentage deviation from natural flow represented using a flow duration curve. The allowable percentage deviation changes with different flows, and also changes depending on an assessment of the sensitivity of the river to changes in flow (Table 1). Within UK abstraction licensing, resource availability is expressed as a surplus or deficit of water resources in relation to the EFI, and utilises the concept of 'hands-off-flows' (HOFs) at the specified flow statistics detailed in Table 1. Use of a HOF system enables abstraction to cease at set flows, but also enables abstraction to occur at periods of time when more water is available. Compliance at low flows (Q95) is used by the EA to determine the hydrological classification and compliance with the Water Framework Directive (WFD) for identifying waterbodies where flow may be causing or contributing to a failure in good ecological status (GES; Table 2). This compliance assessment shows where the scenario flows are below the EFI and by how much, to help target measures for further investigation and assessment. Currently, the EA is reviewing the EFI methodology in order to assess whether or not it can be used within the reformed water abstraction licensing system which is being planned by the Department for Environment, Food and Rural Affairs (DEFRA) to ensure the licensing system is resilient to the challenges of climate change and population growth, while allowing abstractors to meet their water needs efficiently, and better protect the environment. In order to assess the robustness of the EFI, a simple model has been created which allows a number of abstraction, flow and licensing scenarios to be run to determine WFD compliance using the current EFI method, as well as allowing alternative licensing scenarios (e.g. using alternative flow statistics, flow periods and ASB bands) to be tested. Initial analysis suggests that the model is a useful tool in visualising licensing options ahead of the licensing reform.Table 1: Percentage allowable abstraction from natural flows at different abstraction sensitivity bands (ASB), as allowed under the EFI method; Table 2: Current framework used to determine flows which support GES as part of the EU WFD;

State-Transition Structures in Physics and in Computation

NASA Astrophysics Data System (ADS)

Petri, C. A.

1982-12-01

In order to establish close connections between physical and computational processes, it is assumed that the concepts of “state” and of “transition” are acceptable both to physicists and to computer scientists, at least in an informal way. The aim of this paper is to propose formal definitions of state and transition elements on the basis of very low level physical concepts in such a way that (1) all physically possible computations can be described as embedded in physical processes; (2) the computational aspects of physical processes can be described on a well-defined level of abstraction; (3) the gulf between the continuous models of physics and the discrete models of computer science can be bridged by simple mathematical constructs which may be given a physical interpretation; (4) a combinatorial, nonstatistical definition of “information” can be given on low levels of abstraction which may serve as a basis to derive higher-level concepts of information, e.g., by a statistical or probabilistic approach. Conceivable practical consequences are discussed.

Hierarchical Ada robot programming system (HARPS)- A complete and working telerobot control system based on the NASREM model

NASA Technical Reports Server (NTRS)

Leake, Stephen; Green, Tom; Cofer, Sue; Sauerwein, Tim

1989-01-01

HARPS is a telerobot control system that can perform some simple but useful tasks. This capability is demonstrated by performing the ORU exchange demonstration. HARPS is based on NASREM (NASA Standard Reference Model). All software is developed in Ada, and the project incorporates a number of different CASE (computer-aided software engineering) tools. NASREM was found to be a valid and useful model for building a telerobot control system. Its hierarchical and distributed structure creates a natural and logical flow for implementing large complex robust control systems. The ability of Ada to create and enforce abstraction enhanced the implementation of such control systems.

SharP

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

Venkata, Manjunath Gorentla; Aderholdt, William F

The pre-exascale systems are expected to have a significant amount of hierarchical and heterogeneous on-node memory, and this trend of system architecture in extreme-scale systems is expected to continue into the exascale era. along with hierarchical-heterogeneous memory, the system typically has a high-performing network ad a compute accelerator. This system architecture is not only effective for running traditional High Performance Computing (HPC) applications (Big-Compute), but also for running data-intensive HPC applications and Big-Data applications. As a consequence, there is a growing desire to have a single system serve the needs of both Big-Compute and Big-Data applications. Though the system architecturemore » supports the convergence of the Big-Compute and Big-Data, the programming models and software layer have yet to evolve to support either hierarchical-heterogeneous memory systems or the convergence. A programming abstraction to address this problem. The programming abstraction is implemented as a software library and runs on pre-exascale and exascale systems supporting current and emerging system architecture. Using distributed data-structures as a central concept, it provides (1) a simple, usable, and portable abstraction for hierarchical-heterogeneous memory and (2) a unified programming abstraction for Big-Compute and Big-Data applications.« less

The Learnability of Abstract Syntactic Principles

ERIC Educational Resources Information Center

Perfors, Amy; Tenenbaum, Joshua B.; Regier, Terry

2011-01-01

Children acquiring language infer the correct form of syntactic constructions for which they appear to have little or no direct evidence, avoiding simple but incorrect generalizations that would be consistent with the data they receive. These generalizations must be guided by some inductive bias--some abstract knowledge--that leads them to prefer…

NEURAL TUBE DEFECTS IN OFFSPRING ASSOCIATED WITH MATERNAL PERICONCEPTIONAL DIETARY INTAKE OF SIMPLE SUGARS AND GLYCEMIC INDEX. (R828292)

EPA Science Inventory

The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...

Trait-Dependent Biogeography: (Re)Integrating Biology into Probabilistic Historical Biogeographical Models.

PubMed

Sukumaran, Jeet; Knowles, L Lacey

2018-06-01

The development of process-based probabilistic models for historical biogeography has transformed the field by grounding it in modern statistical hypothesis testing. However, most of these models abstract away biological differences, reducing species to interchangeable lineages. We present here the case for reintegration of biology into probabilistic historical biogeographical models, allowing a broader range of questions about biogeographical processes beyond ancestral range estimation or simple correlation between a trait and a distribution pattern, as well as allowing us to assess how inferences about ancestral ranges themselves might be impacted by differential biological traits. We show how new approaches to inference might cope with the computational challenges resulting from the increased complexity of these trait-based historical biogeographical models. Copyright © 2018 Elsevier Ltd. All rights reserved.

Water quality assessment and meta model development in Melen watershed - Turkey.

PubMed

Erturk, Ali; Gurel, Melike; Ekdal, Alpaslan; Tavsan, Cigdem; Ugurluoglu, Aysegul; Seker, Dursun Zafer; Tanik, Aysegul; Ozturk, Izzet

2010-07-01

Istanbul, being one of the highly populated metropolitan areas of the world, has been facing water scarcity since the past decade. Water transfer from Melen Watershed was considered as the most feasible option to supply water to Istanbul due to its high water potential and relatively less degraded water quality. This study consists of two parts. In the first part, water quality data covering 26 parameters from 5 monitoring stations were analyzed and assessed due to the requirements of the "Quality Required of Surface Water Intended for the Abstraction of Drinking Water" regulation. In the second part, a one-dimensional stream water quality model with simple water quality kinetics was developed. It formed a basic design for more advanced water quality models for the watershed. The reason for assessing the water quality data and developing a model was to provide information for decision making on preliminary actions to prevent any further deterioration of existing water quality. According to the water quality assessment at the water abstraction point, Melen River has relatively poor water quality with regard to NH(4)(+), BOD(5), faecal streptococcus, manganese and phenol parameters, and is unsuitable for drinking water abstraction in terms of COD, PO(4)(3-), total coliform, total suspended solids, mercury and total chromium parameters. The results derived from the model were found to be consistent with the water quality assessment. It also showed that relatively high inorganic nitrogen and phosphorus concentrations along the streams are related to diffuse nutrient loads that should be managed together with municipal and industrial wastewaters. Copyright 2010 Elsevier Ltd. All rights reserved.

A Simple Analytical Model for Predicting the Detectable Ion Current in Ion Mobility Spectrometry Using Corona Discharge Ionization Sources.

PubMed

Kirk, Ansgar Thomas; Kobelt, Tim; Spehlbrink, Hauke; Zimmermann, Stefan

2018-05-08

Corona discharge ionization sources are often used in ion mobility spectrometers (IMS) when a non-radioactive ion source with high ion currents is required. Typically, the corona discharge is followed by a reaction region where analyte ions are formed from the reactant ions. In this work, we present a simple yet sufficiently accurate model for predicting the ion current available at the end of this reaction region when operating at reduced pressure as in High Kinetic Energy Ion Mobility Spectrometers (HiKE-IMS) or most IMS-MS instruments. It yields excellent qualitative agreement with measurement results and is even able to calculate the ion current within an error of 15%. Additional interesting findings of this model are the ion current at the end of the reaction region being independent from the ion current generated by the corona discharge and the ion current in High Kinetic Energy Ion Mobility Spectrometers (HiKE-IMS) growing quadratically when scaling down the length of the reaction region. Graphical Abstract ᅟ.

A Simple System for the Early Detection of Breast Cancer

DTIC Science & Technology

2016-07-01

AWARD NUMBER: W81XWH-14-1-0231 TITLE: A Simple System for Early Detection of Breast Cancer PRINCIPAL INVESTIGATOR: Stephen Johnston CONTRACTING...ADDRESS. 1. REPORT DATE July 2016 2. REPORT TYPE Annual 3. DATES COVERED 1Jul2015 - 30Jun2016 4. TITLE AND SUBTITLE A Simple System for the Early...Form 298 (Rev. 8-98) Prescribed by ANSI Std. Z39.18 W81XWH-14-1-0231 Abstract: We invented the immunosignature technology (IMS) as a simple , universal

The importance of situation-specific encodings: analysis of a simple connectionist model of letter transposition effects

NASA Astrophysics Data System (ADS)

Fang, Shin-Yi; Smith, Garrett; Tabor, Whitney

2018-04-01

This paper analyses a three-layer connectionist network that solves a translation-invariance problem, offering a novel explanation for transposed letter effects in word reading. Analysis of the hidden unit encodings provides insight into two central issues in cognitive science: (1) What is the novelty of claims of "modality-specific" encodings? and (2) How can a learning system establish a complex internal structure needed to solve a problem? Although these topics (embodied cognition and learnability) are often treated separately, we find a close relationship between them: modality-specific features help the network discover an abstract encoding by causing it to break the initial symmetries of the hidden units in an effective way. While this neural model is extremely simple compared to the human brain, our results suggest that neural networks need not be black boxes and that carefully examining their encoding behaviours may reveal how they differ from classical ideas about the mind-world relationship.

Population modeling and its role in toxicological studies

USGS Publications Warehouse

Sauer, John R.; Pendleton, Grey W.; Hoffman, David J.; Rattner, Barnett A.; Burton, G. Allen; Cairns, John

1995-01-01

A model could be defined as any abstraction from reality that is used to provide some insight into the real system. In this discussion, we will use a more specific definition that a model is a set of rules or assumptions, expressed as mathematical equations, that describe how animals survive and reproduce, including the external factors that affect these characteristics. A model simplifies a system, retaining essential components while eliminating parts that are not of interest. ecology has a rich history of using models to gain insight into populations, often borrowing both model structures and analysis methods from demographers and engineers. Much of the development of the models has been a consequence of mathematicians and physicists seeing simple analogies between their models and patterns in natural systems. Consequently, one major application of ecological modeling has been to emphasize the analysis of dynamics of often complex models to provide insight into theoretical aspects of ecology.1

Complex Phenomena Understanding in Electricity through Dynamically Linked Concrete and Abstract Representations

ERIC Educational Resources Information Center

Taramopoulos, A.; Psillos, D.

2017-01-01

The present study investigates the impact of utilizing virtual laboratory environments combining dynamically linked concrete and abstract representations in investigative activities on the ability of students to comprehend simple and complex phenomena in the field of electric circuits. Forty-two 16- to 17-year-old high school students participated…

A SIMPLE COLORIMETRIC ASSAY FOR PHENOTYPING THE MAJOR HUMAN THERMOSTABLE PHENOL SULFOTRANSFERASE (SULT1A1) USING PLATELET CYTOSOLS. (R825280)

EPA Science Inventory

The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...

Methods for solving reasoning problems in abstract argumentation – A survey

PubMed Central

Charwat, Günther; Dvořák, Wolfgang; Gaggl, Sarah A.; Wallner, Johannes P.; Woltran, Stefan

2015-01-01

Within the last decade, abstract argumentation has emerged as a central field in Artificial Intelligence. Besides providing a core formalism for many advanced argumentation systems, abstract argumentation has also served to capture several non-monotonic logics and other AI related principles. Although the idea of abstract argumentation is appealingly simple, several reasoning problems in this formalism exhibit high computational complexity. This calls for advanced techniques when it comes to implementation issues, a challenge which has been recently faced from different angles. In this survey, we give an overview on different methods for solving reasoning problems in abstract argumentation and compare their particular features. Moreover, we highlight available state-of-the-art systems for abstract argumentation, which put these methods to practice. PMID:25737590

A geometric modeler based on a dual-geometry representation polyhedra and rational b-splines

NASA Technical Reports Server (NTRS)

Klosterman, A. L.

1984-01-01

For speed and data base reasons, solid geometric modeling of large complex practical systems is usually approximated by a polyhedra representation. Precise parametric surface and implicit algebraic modelers are available but it is not yet practical to model the same level of system complexity with these precise modelers. In response to this contrast the GEOMOD geometric modeling system was built so that a polyhedra abstraction of the geometry would be available for interactive modeling without losing the precise definition of the geometry. Part of the reason that polyhedra modelers are effective is that all bounded surfaces can be represented in a single canonical format (i.e., sets of planar polygons). This permits a very simple and compact data structure. Nonuniform rational B-splines are currently the best representation to describe a very large class of geometry precisely with one canonical format. The specific capabilities of the modeler are described.

A Simple Mathematical Model for Standard Model of Elementary Particles and Extension Thereof

NASA Astrophysics Data System (ADS)

Sinha, Ashok

2016-03-01

An algebraically (and geometrically) simple model representing the masses of the elementary particles in terms of the interaction (strong, weak, electromagnetic) constants is developed, including the Higgs bosons. The predicted Higgs boson mass is identical to that discovered by LHC experimental programs; while possibility of additional Higgs bosons (and their masses) is indicated. The model can be analyzed to explain and resolve many puzzles of particle physics and cosmology including the neutrino masses and mixing; origin of the proton mass and the mass-difference between the proton and the neutron; the big bang and cosmological Inflation; the Hubble expansion; etc. A novel interpretation of the model in terms of quaternion and rotation in the six-dimensional space of the elementary particle interaction-space - or, equivalently, in six-dimensional spacetime - is presented. Interrelations among particle masses are derived theoretically. A new approach for defining the interaction parameters leading to an elegant and symmetrical diagram is delineated. Generalization of the model to include supersymmetry is illustrated without recourse to complex mathematical formulation and free from any ambiguity. This Abstract represents some results of the Author's Independent Theoretical Research in Particle Physics, with possible connection to the Superstring Theory. However, only very elementary mathematics and physics is used in my presentation.

Spatial-temporal modeling of malware propagation in networks.

PubMed

Chen, Zesheng; Ji, Chuanyi

2005-09-01

Network security is an important task of network management. One threat to network security is malware (malicious software) propagation. One type of malware is called topological scanning that spreads based on topology information. The focus of this work is on modeling the spread of topological malwares, which is important for understanding their potential damages, and for developing countermeasures to protect the network infrastructure. Our model is motivated by probabilistic graphs, which have been widely investigated in machine learning. We first use a graphical representation to abstract the propagation of malwares that employ different scanning methods. We then use a spatial-temporal random process to describe the statistical dependence of malware propagation in arbitrary topologies. As the spatial dependence is particularly difficult to characterize, the problem becomes how to use simple (i.e., biased) models to approximate the spatially dependent process. In particular, we propose the independent model and the Markov model as simple approximations. We conduct both theoretical analysis and extensive simulations on large networks using both real measurements and synthesized topologies to test the performance of the proposed models. Our results show that the independent model can capture temporal dependence and detailed topology information and, thus, outperforms the previous models, whereas the Markov model incorporates a certain spatial dependence and, thus, achieves a greater accuracy in characterizing both transient and equilibrium behaviors of malware propagation.

Necessary optimality conditions for infinite dimensional state constrained control problems

NASA Astrophysics Data System (ADS)

Frankowska, H.; Marchini, E. M.; Mazzola, M.

2018-06-01

This paper is concerned with first order necessary optimality conditions for state constrained control problems in separable Banach spaces. Assuming inward pointing conditions on the constraint, we give a simple proof of Pontryagin maximum principle, relying on infinite dimensional neighboring feasible trajectories theorems proved in [20]. Further, we provide sufficient conditions guaranteeing normality of the maximum principle. We work in the abstract semigroup setting, but nevertheless we apply our results to several concrete models involving controlled PDEs. Pointwise state constraints (as positivity of the solutions) are allowed.

Deriving dynamical models from paleoclimatic records: application to glacial millennial-scale climate variability.

PubMed

Kwasniok, Frank; Lohmann, Gerrit

2009-12-01

A method for systematically deriving simple nonlinear dynamical models from ice-core data is proposed. It offers a tool to integrate models and theories with paleoclimatic data. The method is based on the unscented Kalman filter, a nonlinear extension of the conventional Kalman filter. Here, we adopt the abstract conceptual model of stochastically driven motion in a potential that allows for two distinctly different states. The parameters of the model-the shape of the potential and the noise level-are estimated from a North Greenland ice-core record. For the glacial period from 70 to 20 ky before present, a potential is derived that is asymmetric and almost degenerate. There is a deep well corresponding to a cold stadial state and a very shallow well corresponding to a warm interstadial state.

The Hartman-Grobman theorem for semilinear hyperbolic evolution equations

NASA Astrophysics Data System (ADS)

Hein, Marie-Luise; Prüss, Jan

2016-10-01

The famous Hartman-Grobman theorem for ordinary differential equations is extended to abstract semilinear hyperbolic evolution equations in Banach spaces by means of simple direct proof. It is also shown that the linearising map is Hölder continuous. Several applications to abstract and specific damped wave equations are given, to demonstrate the strength of our results.

WATER-BORNE BLOCK COPOLYMER SYNTHESIS AND A SIMPLE AND EFFECTIVE ONE-POT SYNTHESIS OF ACRYLATE-METHACRYLATE BLOCK COPOLYMERS BY ATOM TRANSFER RADICAL POLYMERIZATION. (R826735)

EPA Science Inventory

The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...

Is realistic neuronal modeling realistic?

PubMed Central

Almog, Mara

2016-01-01

Scientific models are abstractions that aim to explain natural phenomena. A successful model shows how a complex phenomenon arises from relatively simple principles while preserving major physical or biological rules and predicting novel experiments. A model should not be a facsimile of reality; it is an aid for understanding it. Contrary to this basic premise, with the 21st century has come a surge in computational efforts to model biological processes in great detail. Here we discuss the oxymoronic, realistic modeling of single neurons. This rapidly advancing field is driven by the discovery that some neurons don't merely sum their inputs and fire if the sum exceeds some threshold. Thus researchers have asked what are the computational abilities of single neurons and attempted to give answers using realistic models. We briefly review the state of the art of compartmental modeling highlighting recent progress and intrinsic flaws. We then attempt to address two fundamental questions. Practically, can we realistically model single neurons? Philosophically, should we realistically model single neurons? We use layer 5 neocortical pyramidal neurons as a test case to examine these issues. We subject three publically available models of layer 5 pyramidal neurons to three simple computational challenges. Based on their performance and a partial survey of published models, we conclude that current compartmental models are ad hoc, unrealistic models functioning poorly once they are stretched beyond the specific problems for which they were designed. We then attempt to plot possible paths for generating realistic single neuron models. PMID:27535372

Spatial Pattern of Cell Damage in Tissue from Heavy Ions

NASA Technical Reports Server (NTRS)

Ponomarev, Artem L.; Huff, Janice L.; Cucinotta, Francis A.

2007-01-01

A new Monte Carlo algorithm was developed that can model passage of heavy ions in a tissue, and their action on the cellular matrix for 2- or 3-dimensional cases. The build-up of secondaries such as projectile fragments, target fragments, other light fragments, and delta-rays was simulated. Cells were modeled as a cell culture monolayer in one example, where the data were taken directly from microscopy (2-d cell matrix). A simple model of tissue was given as abstract spheres with close approximation to real cell geometries (3-d cell matrix), as well as a realistic model of tissue was proposed based on microscopy images. Image segmentation was used to identify cells in an irradiated cell culture monolayer, or slices of tissue. The cells were then inserted into the model box pixel by pixel. In the case of cell monolayers (2-d), the image size may exceed the modeled box size. Such image was is moved with respect to the box in order to sample as many cells as possible. In the case of the simple tissue (3-d), the tissue box is modeled with periodic boundary conditions, which extrapolate the technique to macroscopic volumes of tissue. For real tissue, specific spatial patterns for cell apoptosis and necrosis are expected. The cell patterns were modeled based on action cross sections for apoptosis and necrosis estimated based on BNL data, and other experimental data.

Query-seeded iterative sequence similarity searching improves selectivity 5–20-fold

PubMed Central

Li, Weizhong; Lopez, Rodrigo

2017-01-01

Abstract Iterative similarity search programs, like psiblast, jackhmmer, and psisearch, are much more sensitive than pairwise similarity search methods like blast and ssearch because they build a position specific scoring model (a PSSM or HMM) that captures the pattern of sequence conservation characteristic to a protein family. But models are subject to contamination; once an unrelated sequence has been added to the model, homologs of the unrelated sequence will also produce high scores, and the model can diverge from the original protein family. Examination of alignment errors during psiblast PSSM contamination suggested a simple strategy for dramatically reducing PSSM contamination. psiblast PSSMs are built from the query-based multiple sequence alignment (MSA) implied by the pairwise alignments between the query model (PSSM, HMM) and the subject sequences in the library. When the original query sequence residues are inserted into gapped positions in the aligned subject sequence, the resulting PSSM rarely produces alignment over-extensions or alignments to unrelated sequences. This simple step, which tends to anchor the PSSM to the original query sequence and slightly increase target percent identity, can reduce the frequency of false-positive alignments more than 20-fold compared with psiblast and jackhmmer, with little loss in search sensitivity. PMID:27923999

Multi-Disciplinary, Multi-Fidelity Discrete Data Transfer Using Degenerate Geometry Forms

NASA Technical Reports Server (NTRS)

Olson, Erik D.

2016-01-01

In a typical multi-fidelity design process, different levels of geometric abstraction are used for different analysis methods, and transitioning from one phase of design to the next often requires a complete re-creation of the geometry. To maintain consistency between lower-order and higher-order analysis results, Vehicle Sketch Pad (OpenVSP) recently introduced the ability to generate and export several degenerate forms of the geometry, representing the type of abstraction required to perform low- to medium-order analysis for a range of aeronautical disciplines. In this research, the functionality of these degenerate models was extended, so that in addition to serving as repositories for the geometric information that is required as input to an analysis, the degenerate models can also store the results of that analysis mapped back onto the geometric nodes. At the same time, the results are also mapped indirectly onto the nodes of lower-order degenerate models using a process called aggregation, and onto higher-order models using a process called disaggregation. The mapped analysis results are available for use by any subsequent analysis in an integrated design and analysis process. A simple multi-fidelity analysis process for a single-aisle subsonic transport aircraft is used as an example case to demonstrate the value of the approach.

Development of abstract mathematical reasoning: the case of algebra

PubMed Central

Susac, Ana; Bubic, Andreja; Vrbanc, Andrija; Planinic, Maja

2014-01-01

Algebra typically represents the students’ first encounter with abstract mathematical reasoning and it therefore causes significant difficulties for students who still reason concretely. The aim of the present study was to investigate the developmental trajectory of the students’ ability to solve simple algebraic equations. 311 participants between the ages of 13 and 17 were given a computerized test of equation rearrangement. Equations consisted of an unknown and two other elements (numbers or letters), and the operations of multiplication/division. The obtained results showed that younger participants are less accurate and slower in solving equations with letters (symbols) than those with numbers. This difference disappeared for older participants (16–17 years), suggesting that they had reached an abstract reasoning level, at least for this simple task. A corresponding conclusion arises from the analysis of their strategies which suggests that younger participants mostly used concrete strategies such as inserting numbers, while older participants typically used more abstract, rule-based strategies. These results indicate that the development of algebraic thinking is a process which unfolds over a long period of time. In agreement with previous research, we can conclude that, on average, children at the age of 15–16 transition from using concrete to abstract strategies while solving the algebra problems addressed within the present study. A better understanding of the timing and speed of students’ transition from concrete arithmetic reasoning to abstract algebraic reasoning might help in designing better curricula and teaching materials that would ease that transition. PMID:25228874

Development of abstract mathematical reasoning: the case of algebra.

PubMed

Susac, Ana; Bubic, Andreja; Vrbanc, Andrija; Planinic, Maja

2014-01-01

Algebra typically represents the students' first encounter with abstract mathematical reasoning and it therefore causes significant difficulties for students who still reason concretely. The aim of the present study was to investigate the developmental trajectory of the students' ability to solve simple algebraic equations. 311 participants between the ages of 13 and 17 were given a computerized test of equation rearrangement. Equations consisted of an unknown and two other elements (numbers or letters), and the operations of multiplication/division. The obtained results showed that younger participants are less accurate and slower in solving equations with letters (symbols) than those with numbers. This difference disappeared for older participants (16-17 years), suggesting that they had reached an abstract reasoning level, at least for this simple task. A corresponding conclusion arises from the analysis of their strategies which suggests that younger participants mostly used concrete strategies such as inserting numbers, while older participants typically used more abstract, rule-based strategies. These results indicate that the development of algebraic thinking is a process which unfolds over a long period of time. In agreement with previous research, we can conclude that, on average, children at the age of 15-16 transition from using concrete to abstract strategies while solving the algebra problems addressed within the present study. A better understanding of the timing and speed of students' transition from concrete arithmetic reasoning to abstract algebraic reasoning might help in designing better curricula and teaching materials that would ease that transition.

(abstract) A Test of the Theoretical Models of Bipolar Outflows: The Bipolar Outflow in Mon R2

NASA Technical Reports Server (NTRS)

Xie, Taoling; Goldsmith, Paul; Patel, Nimesh

1993-01-01

We report some results of a study of the massive bipolar outflow in the central region of the relatively nearby giant molecular cloud Monoceros R2. We make a quantative comparison of our results with the Shu et al. outflow model which incorporates a radially directed wind sweeping up the ambient material into a shell. We find that this simple model naturally explains the shape of this thin shell. Although Shu's model in its simplest form predicts with reasonable parameters too much mass at very small polar angles, as previously pointed out by Masson and Chernin, it provides a reasonable good fit to the mass distribution at larger polar angles. It is possible that this discrepancy is due to inhomogeneities of the ambient molecular gas which is not considered by the model. We also discuss the constraints imposed by these results on recent jet-driven outflow models.

A Biologically Constrained, Mathematical Model of Cortical Wave Propagation Preceding Seizure Termination

PubMed Central

González-Ramírez, Laura R.; Ahmed, Omar J.; Cash, Sydney S.; Wayne, C. Eugene; Kramer, Mark A.

2015-01-01

Epilepsy—the condition of recurrent, unprovoked seizures—manifests in brain voltage activity with characteristic spatiotemporal patterns. These patterns include stereotyped semi-rhythmic activity produced by aggregate neuronal populations, and organized spatiotemporal phenomena, including waves. To assess these spatiotemporal patterns, we develop a mathematical model consistent with the observed neuronal population activity and determine analytically the parameter configurations that support traveling wave solutions. We then utilize high-density local field potential data recorded in vivo from human cortex preceding seizure termination from three patients to constrain the model parameters, and propose basic mechanisms that contribute to the observed traveling waves. We conclude that a relatively simple and abstract mathematical model consisting of localized interactions between excitatory cells with slow adaptation captures the quantitative features of wave propagation observed in the human local field potential preceding seizure termination. PMID:25689136

Toward a molecular programming language for algorithmic self-assembly

NASA Astrophysics Data System (ADS)

Patitz, Matthew John

Self-assembly is the process whereby relatively simple components autonomously combine to form more complex objects. Nature exhibits self-assembly to form everything from microscopic crystals to living cells to galaxies. With a desire to both form increasingly sophisticated products and to understand the basic components of living systems, scientists have developed and studied artificial self-assembling systems. One such framework is the Tile Assembly Model introduced by Erik Winfree in 1998. In this model, simple two-dimensional square 'tiles' are designed so that they self-assemble into desired shapes. The work in this thesis consists of a series of results which build toward the future goal of designing an abstracted, high-level programming language for designing the molecular components of self-assembling systems which can perform powerful computations and form into intricate structures. The first two sets of results demonstrate self-assembling systems which perform infinite series of computations that characterize computably enumerable and decidable languages, and exhibit tools for algorithmically generating the necessary sets of tiles. In the next chapter, methods for generating tile sets which self-assemble into complicated shapes, namely a class of discrete self-similar fractal structures, are presented. Next, a software package for graphically designing tile sets, simulating their self-assembly, and debugging designed systems is discussed. Finally, a high-level programming language which abstracts much of the complexity and tedium of designing such systems, while preventing many of the common errors, is presented. The summation of this body of work presents a broad coverage of the spectrum of desired outputs from artificial self-assembling systems and a progression in the sophistication of tools used to design them. By creating a broader and deeper set of modular tools for designing self-assembling systems, we hope to increase the complexity which is attainable. These tools provide a solid foundation for future work in both the Tile Assembly Model and explorations into more advanced models.

Multi-Detection Events, Probability Density Functions, and Reduced Location Area

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

Eslinger, Paul W.; Schrom, Brian T.

2016-03-01

Abstract Several efforts have been made in the Comprehensive Nuclear-Test-Ban Treaty (CTBT) community to assess the benefits of combining detections of radionuclides to improve the location estimates available from atmospheric transport modeling (ATM) backtrack calculations. We present a Bayesian estimation approach rather than a simple dilution field of regard approach to allow xenon detections and non-detections to be combined mathematically. This system represents one possible probabilistic approach to radionuclide event formation. Application of this method to a recent interesting radionuclide event shows a substantial reduction in the location uncertainty of that event.

Rapid Equipping Force (REF) Analytical Support

DTIC Science & Technology

2007-06-01

document contains color images. 14. ABSTRACT 15. SUBJECT TERMS 16. SECURITY CLASSIFICATION OF: 17. LIMITATION OF ABSTRACT UU 18. NUMBER OF PAGES 44...interface and performs actions via Excel formulae, ActiveX controls, and VBA code. – Plan to provide both simple and complex weighting and scoring methods...Requirements Quad Chart. –Solution Set Information Worksheet: A spreadsheet containing detailed information concerning every potential solution considered

Datacube Interoperability, Encoding Independence, and Analytics

NASA Astrophysics Data System (ADS)

Baumann, Peter; Hirschorn, Eric; Maso, Joan

2017-04-01

Datacubes are commonly accepted as an enabling paradigm which provides a handy abstraction for accessing and analyzing the zillions of image files delivered by the manifold satellite instruments and climate simulations, among others. Additionally, datacubes are the classic model for statistical and OLAP datacubes, so a further information category can be integrated. From a standards perspective, spatio-temporal datacubes naturally are included in the concept of coverages which encompass regular and irregular grids, point clouds, and general meshes - or, more abstractly, digital representations of spatio-temporally varying phenomena. ISO 19123, which is identical to OGC Abstract Topic 6, gives a high-level abstract definition which is complemented by the OGC Coverage Implementation Schema (CIS) which is an interoperable, yet format independent concretization of the abstract model. Currently, ISO is working on adopting OGC CIS as ISO 19123-2; the existing ISO 19123 standard is under revision by one of the abstract authors and will become ISO 19123-1. The roadmap agreed by ISO further foresees adoption of the OGC Web Coverage Service (WCS) as an ISO standard so that a complete data and service model will exist. In 2016, INSPIRE has adopted WCS as Coverage Download Service, including the datacube analytics language Web Coverage Processing Service (WCPS). The rasdaman technology (www.rasdaman.org) is both OGC and INSPIRE Reference Implementation. In the global EarthServer initiative rasdaman database sizes are exceeding 250 TB today, heading for the Petabyte frontier well in 2017. Technically, CIS defines a compact, efficient model for representing multi-dimensional datacubes in several ways. The classical coverage cube defines a domain set (where are values?), a range set (what are these values?), and range type (what do the values mean?), as well as a "bag" for arbitrary metadata. With CIS 1.1, coordinate/value pair sequences have been added, as well as tiled representations. Further, CIS 1.1 offers a unified model for any kind of regular and irregular grids, also allowing sensor models as per SensorML. Encodings include ASCII formats like GML, JSON, RDF as well as binary formats like GeoTIFF, NetCDF, JPEG2000, and GRIB2; further, a container concept allows mixed representations within one coverage file utilizing zip or other convenient package formats. Through the tight integration with the Sensor Web Enablement (SWE), a lossless "transport" from sensor into coverage world is ensured. The corresponding service model of WCS supports datacube operations ranging from simple data extraction to complex ad-hoc analytics with WPCS. Notably, W3C is working has set out on a coverage model as well; it has been designed relatively independently from the abovementioned standards, but there is informal agreement to link it into the CIS universe (which allows for different, yet interchangeable representations). Particularly interesting in the W3C proposal is the detailed semantic modeling of metadata; as CIS 1.1 supports RDF, a tight coupling seems feasible.

Cognitive/emotional models for human behavior representation in 3D avatar simulations

NASA Astrophysics Data System (ADS)

Peterson, James K.

2004-08-01

Simplified models of human cognition and emotional response are presented which are based on models of auditory/ visual polymodal fusion. At the core of these models is a computational model of Area 37 of the temporal cortex which is based on new isocortex models presented recently by Grossberg. These models are trained using carefully chosen auditory (musical sequences), visual (paintings) and higher level abstract (meta level) data obtained from studies of how optimization strategies are chosen in response to outside managerial inputs. The software modules developed are then used as inputs to character generation codes in standard 3D virtual world simulations. The auditory and visual training data also enable the development of simple music and painting composition generators which significantly enhance one's ability to validate the cognitive model. The cognitive models are handled as interacting software agents implemented as CORBA objects to allow the use of multiple language coding choices (C++, Java, Python etc) and efficient use of legacy code.

Estimation of a simple agent-based model of financial markets: An application to Australian stock and foreign exchange data

NASA Astrophysics Data System (ADS)

Alfarano, Simone; Lux, Thomas; Wagner, Friedrich

2006-10-01

Following Alfarano et al. [Estimation of agent-based models: the case of an asymmetric herding model, Comput. Econ. 26 (2005) 19-49; Excess volatility and herding in an artificial financial market: analytical approach and estimation, in: W. Franz, H. Ramser, M. Stadler (Eds.), Funktionsfähigkeit und Stabilität von Finanzmärkten, Mohr Siebeck, Tübingen, 2005, pp. 241-254], we consider a simple agent-based model of a highly stylized financial market. The model takes Kirman's ant process [A. Kirman, Epidemics of opinion and speculative bubbles in financial markets, in: M.P. Taylor (Ed.), Money and Financial Markets, Blackwell, Cambridge, 1991, pp. 354-368; A. Kirman, Ants, rationality, and recruitment, Q. J. Econ. 108 (1993) 137-156] of mimetic contagion as its starting point, but allows for asymmetry in the attractiveness of both groups. Embedding the contagion process into a standard asset-pricing framework, and identifying the abstract groups of the herding model as chartists and fundamentalist traders, a market with periodic bubbles and bursts is obtained. Taking stock of the availability of a closed-form solution for the stationary distribution of returns for this model, we can estimate its parameters via maximum likelihood. Expanding our earlier work, this paper presents pertinent estimates for the Australian dollar/US dollar exchange rate and the Australian stock market index. As it turns out, our model indicates dominance of fundamentalist behavior in both the stock and foreign exchange market.

Users manual for a one-dimensional Lagrangian transport model

USGS Publications Warehouse

Schoellhamer, D.H.; Jobson, H.E.

1986-01-01

A Users Manual for the Lagrangian Transport Model (LTM) is presented. The LTM uses Lagrangian calculations that are based on a reference frame moving with the river flow. The Lagrangian reference frame eliminates the need to numerically solve the convective term of the convection-diffusion equation and provides significant numerical advantages over the more commonly used Eulerian reference frame. When properly applied, the LTM can simulate riverine transport and decay processes within the accuracy required by most water quality studies. The LTM is applicable to steady or unsteady one-dimensional unidirectional flows in fixed channels with tributary and lateral inflows. Application of the LTM is relatively simple and optional capabilities improve the model 's convenience. Appendices give file formats and three example LTM applications that include the incorporation of the QUAL II water quality model 's reaction kinetics into the LTM. (Author 's abstract)

The Oceanographic Multipurpose Software Environment (OMUSE v1.0)

NASA Astrophysics Data System (ADS)

Pelupessy, Inti; van Werkhoven, Ben; van Elteren, Arjen; Viebahn, Jan; Candy, Adam; Portegies Zwart, Simon; Dijkstra, Henk

2017-08-01

In this paper we present the Oceanographic Multipurpose Software Environment (OMUSE). OMUSE aims to provide a homogeneous environment for existing or newly developed numerical ocean simulation codes, simplifying their use and deployment. In this way, numerical experiments that combine ocean models representing different physics or spanning different ranges of physical scales can be easily designed. Rapid development of simulation models is made possible through the creation of simple high-level scripts. The low-level core of the abstraction in OMUSE is designed to deploy these simulations efficiently on heterogeneous high-performance computing resources. Cross-verification of simulation models with different codes and numerical methods is facilitated by the unified interface that OMUSE provides. Reproducibility in numerical experiments is fostered by allowing complex numerical experiments to be expressed in portable scripts that conform to a common OMUSE interface. Here, we present the design of OMUSE as well as the modules and model components currently included, which range from a simple conceptual quasi-geostrophic solver to the global circulation model POP (Parallel Ocean Program). The uniform access to the codes' simulation state and the extensive automation of data transfer and conversion operations aids the implementation of model couplings. We discuss the types of couplings that can be implemented using OMUSE. We also present example applications that demonstrate the straightforward model initialization and the concurrent use of data analysis tools on a running model. We give examples of multiscale and multiphysics simulations by embedding a regional ocean model into a global ocean model and by coupling a surface wave propagation model with a coastal circulation model.

The method of abstraction in the design of databases and the interoperability

NASA Astrophysics Data System (ADS)

Yakovlev, Nikolay

2018-03-01

When designing the database structure oriented to the contents of indicators presented in the documents and communications subject area. First, the method of abstraction is applied by expansion of the indices of new, artificially constructed abstract concepts. The use of abstract concepts allows to avoid registration of relations many-to-many. For this reason, when built using abstract concepts, demonstrate greater stability in the processes. The example abstract concepts to address structure - a unique house number. Second, the method of abstraction can be used in the transformation of concepts by omitting some attributes that are unnecessary for solving certain classes of problems. Data processing associated with the amended concepts is more simple without losing the possibility of solving the considered classes of problems. For example, the concept "street" loses the binding to the land. The content of the modified concept of "street" are only the relations of the houses to the declared name. For most accounting tasks and ensure communication is enough.

Reduction of uncertainty for estimating runoff with the NRCS CN model by the adaptation to local climatic conditions

NASA Astrophysics Data System (ADS)

Durán-Barroso, Pablo; González, Javier; Valdés, Juan B.

2016-04-01

Rainfall-runoff quantification is one of the most important tasks in both engineering and watershed management as it allows to identify, forecast and explain watershed response. For that purpose, the Natural Resources Conservation Service Curve Number method (NRCS CN) is the conceptual lumped model more recognized in the field of rainfall-runoff estimation. Furthermore, there is still an ongoing discussion about the procedure to determine the portion of rainfall retained in the watershed before runoff is generated, called as initial abstractions. This concept is computed as a ratio (λ) of the soil potential maximum retention S of the watershed. Initially, this ratio was assumed to be 0.2, but later it has been proposed to be modified to 0.05. However, the actual procedures to convert NRCS CN model parameters obtained under a different hypothesis about λ do not incorporate any adaptation of climatic conditions of each watershed. By this reason, we propose a new simple method for computing model parameters which is adapted to local conditions taking into account regional patterns of climate conditions. After checking the goodness of this procedure against the actual ones in 34 different watersheds located in Ohio and Texas (United States), we concluded that this novel methodology represents the most accurate and efficient alternative to refit the initial abstraction ratio.

A Connectionist Approach to Embodied Conceptual Metaphor

PubMed Central

Flusberg, Stephen J.; Thibodeau, Paul H.; Sternberg, Daniel A.; Glick, Jeremy J.

2010-01-01

A growing body of data has been gathered in support of the view that the mind is embodied and that cognition is grounded in sensory-motor processes. Some researchers have gone so far as to claim that this paradigm poses a serious challenge to central tenets of cognitive science, including the widely held view that the mind can be analyzed in terms of abstract computational principles. On the other hand, computational approaches to the study of mind have led to the development of specific models that help researchers understand complex cognitive processes at a level of detail that theories of embodied cognition (EC) have sometimes lacked. Here we make the case that connectionist architectures in particular can illuminate many surprising results from the EC literature. These models can learn the statistical structure in their environments, providing an ideal framework for understanding how simple sensory-motor mechanisms could give rise to higher-level cognitive behavior over the course of learning. Crucially, they form overlapping, distributed representations, which have exactly the properties required by many embodied accounts of cognition. We illustrate this idea by extending an existing connectionist model of semantic cognition in order to simulate findings from the embodied conceptual metaphor literature. Specifically, we explore how the abstract domain of time may be structured by concrete experience with space (including experience with culturally specific spatial and linguistic cues). We suggest that both EC researchers and connectionist modelers can benefit from an integrated approach to understanding these models and the empirical findings they seek to explain. PMID:21833256

ViSimpl: Multi-View Visual Analysis of Brain Simulation Data

PubMed Central

Galindo, Sergio E.; Toharia, Pablo; Robles, Oscar D.; Pastor, Luis

2016-01-01

After decades of independent morphological and functional brain research, a key point in neuroscience nowadays is to understand the combined relationships between the structure of the brain and its components and their dynamics on multiple scales, ranging from circuits of neurons at micro or mesoscale to brain regions at macroscale. With such a goal in mind, there is a vast amount of research focusing on modeling and simulating activity within neuronal structures, and these simulations generate large and complex datasets which have to be analyzed in order to gain the desired insight. In such context, this paper presents ViSimpl, which integrates a set of visualization and interaction tools that provide a semantic view of brain data with the aim of improving its analysis procedures. ViSimpl provides 3D particle-based rendering that allows visualizing simulation data with their associated spatial and temporal information, enhancing the knowledge extraction process. It also provides abstract representations of the time-varying magnitudes supporting different data aggregation and disaggregation operations and giving also focus and context clues. In addition, ViSimpl tools provide synchronized playback control of the simulation being analyzed. Finally, ViSimpl allows performing selection and filtering operations relying on an application called NeuroScheme. All these views are loosely coupled and can be used independently, but they can also work together as linked views, both in centralized and distributed computing environments, enhancing the data exploration and analysis procedures. PMID:27774062

ViSimpl: Multi-View Visual Analysis of Brain Simulation Data.

PubMed

Galindo, Sergio E; Toharia, Pablo; Robles, Oscar D; Pastor, Luis

2016-01-01

After decades of independent morphological and functional brain research, a key point in neuroscience nowadays is to understand the combined relationships between the structure of the brain and its components and their dynamics on multiple scales, ranging from circuits of neurons at micro or mesoscale to brain regions at macroscale. With such a goal in mind, there is a vast amount of research focusing on modeling and simulating activity within neuronal structures, and these simulations generate large and complex datasets which have to be analyzed in order to gain the desired insight. In such context, this paper presents ViSimpl, which integrates a set of visualization and interaction tools that provide a semantic view of brain data with the aim of improving its analysis procedures. ViSimpl provides 3D particle-based rendering that allows visualizing simulation data with their associated spatial and temporal information, enhancing the knowledge extraction process. It also provides abstract representations of the time-varying magnitudes supporting different data aggregation and disaggregation operations and giving also focus and context clues. In addition, ViSimpl tools provide synchronized playback control of the simulation being analyzed. Finally, ViSimpl allows performing selection and filtering operations relying on an application called NeuroScheme. All these views are loosely coupled and can be used independently, but they can also work together as linked views, both in centralized and distributed computing environments, enhancing the data exploration and analysis procedures.

Diffusion Dynamics and Creative Destruction in a Simple Classical Model

PubMed Central

2015-01-01

ABSTRACT The article explores the impact of the diffusion of new methods of production on output and employment growth and income distribution within a Classical one‐sector framework. Disequilibrium paths are studied analytically and in terms of simulations. Diffusion by differential growth affects aggregate dynamics through several channels. The analysis reveals the non‐steady nature of economic change and shows that the adaptation pattern depends both on the innovation's factor‐saving bias and on the extent of the bias, which determines the strength of the selection pressure on non‐innovators. The typology of different cases developed shows various aspects of Schumpeter's concept of creative destruction. PMID:27642192

Are groundwater nitrate concentrations reaching a turning point in some chalk aquifers?

PubMed

Smith, J T; Clarke, R T; Bowes, M J

2010-09-15

In past decades, there has been much scientific effort dedicated to the development of models for simulation and prediction of nitrate concentrations in groundwaters, but producing truly predictive models remains a major challenge. A time-series model, based on long-term variations in nitrate fertiliser applications and average rainfall, was calibrated against measured concentrations from five boreholes in the River Frome catchment of Southern England for the period spanning from the mid-1970s to 2003. The model was then used to "blind" predict nitrate concentrations for the period 2003-2008. To our knowledge, this represents the first "blind" test of a model for predicting nitrate concentrations in aquifers. It was found that relatively simple time-series models could explain and predict a significant proportion of the variation in nitrate concentrations in these groundwater abstraction points (R(2)=0.6-0.9 and mean absolute prediction errors 4.2-8.0%). The study highlighted some important limitations and uncertainties in this, and other modelling approaches, in particular regarding long-term nitrate fertiliser application data. In three of the five groundwater abstraction points (Hooke, Empool and Eagle Lodge), once seasonal variations were accounted for, there was a recent change in the generally upward historical trend in nitrate concentrations. This may be an early indication of a response to levelling-off (and declining) fertiliser application rates since the 1980s. There was no clear indication of trend change at the Forston and Winterbourne Abbas sites nor in the trend of nitrate concentration in the River Frome itself from 1965 to 2008. Copyright 2010 Elsevier B.V. All rights reserved.

Machine Learning-Based Classification of 38 Years of Spine-Related Literature Into 100 Research Topics.

PubMed

Sing, David C; Metz, Lionel N; Dudli, Stefan

2017-06-01

Retrospective review. To identify the top 100 spine research topics. Recent advances in "machine learning," or computers learning without explicit instructions, have yielded broad technological advances. Topic modeling algorithms can be applied to large volumes of text to discover quantifiable themes and trends. Abstracts were extracted from the National Library of Medicine PubMed database from five prominent peer-reviewed spine journals (European Spine Journal [ESJ], The Spine Journal [SpineJ], Spine, Journal of Spinal Disorders and Techniques [JSDT], Journal of Neurosurgery: Spine [JNS]). Each abstract was entered into a latent Dirichlet allocation model specified to discover 100 topics, resulting in each abstract being assigned a probability of belonging in a topic. Topics were named using the five most frequently appearing terms within that topic. Significance of increasing ("hot") or decreasing ("cold") topic popularity over time was evaluated with simple linear regression. From 1978 to 2015, 25,805 spine-related research articles were extracted and classified into 100 topics. Top two most published topics included "clinical, surgeons, guidelines, information, care" (n = 496 articles) and "pain, back, low, treatment, chronic" (424). Top two hot trends included "disc, cervical, replacement, level, arthroplasty" (+0.05%/yr, P < 0.001), and "minimally, invasive, approach, technique" (+0.05%/yr, P < 0.001). By journal, the most published topics were ESJ-"operative, surgery, postoperative, underwent, preoperative"; SpineJ-"clinical, surgeons, guidelines, information, care"; Spine-"pain, back, low, treatment, chronic"; JNS- "tumor, lesions, rare, present, diagnosis"; JSDT-"cervical, anterior, plate, fusion, ACDF." Topics discovered through latent Dirichlet allocation modeling represent unbiased meaningful themes relevant to spine care. Topic dynamics can provide historical context and direction for future research for aspiring investigators and trainees interested in spine careers. Please explore https://singdc.shinyapps.io/spinetopics. N A.

the Role of Species, Structure, and Biochemical Traits in the Spatial Distribution of a Woodland Community

NASA Astrophysics Data System (ADS)

Adeline, K.; Ustin, S.; Roth, K. L.; Huesca Martinez, M.; Schaaf, C.; Baldocchi, D. D.; Gastellu-Etchegorry, J. P.

2015-12-01

The assessment of canopy biochemical diversity is critical for monitoring ecological and physiological functioning and for mapping vegetation change dynamics in relation to environmental resources. For example in oak woodland savannas, these dynamics are mainly driven by water constraints. Inversion using radiative transfer theory is one method for estimating canopy biochemistry. However, this approach generally only considers relatively simple scenarios to model the canopy due to the difficulty in encompassing stand heterogeneity with spatial and temporal consistency. In this research, we compared 3 modeling strategies for estimating canopy biochemistry variables (i.e. chlorophyll, carotenoids, water, dry matter) by coupling of the PROSPECT (leaf level) and DART (canopy level) models : i) a simple forest representation made of ellipsoid trees, and two representations taking into account the tree species and structural composition, and the landscape spatial pattern, using (ii) geometric tree crown shapes and iii) detailed tree crown and wood structure retrieved from terrestrial lidar acquisitions. AVIRIS 18m remote sensing data are up-scaled to simulate HyspIRI 30m images. Both spatial resolutions are validated by measurements acquired during 2013-2014 field campaigns (cover/tree inventory, LAI, leaf sampling, optical measures). The results outline the trade-off between accurate and abstract canopy modeling for inversion purposes and may provide perspectives to assess the impact of the California drought with multi-temporal monitoring of canopy biochemistry traits.

Simple Exploration Apparatus for the Introductory Physics Laboratory

ERIC Educational Resources Information Center

Campbell, Thomas C.

1977-01-01

Discusses the laboratory portion of a beginning noncalculus physics course that uses concrete examples of abstract concepts. Describes the use of coffee cans to explain oscillations and plastic darts to illustrate collisions. (MLH)

A comparative study of physico-chemical properties of CBD and SILAR grown ZnO thin films

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

Jambure, S.B.; Patil, S.J.; Deshpande, A.R.

2014-01-01

Graphical abstract: Schematic model indicating ZnO nanorods by CBD (Z{sub 1}) and nanograins by SILAR (Z{sub 2}). - Highlights: • Simple methods for the synthesis of ZnO thin films. • Comparative study of physico-chemical properties of ZnO thin films prepared by CBD and SILAR methods. • CBD outperforms SILAR method. - Abstract: In the present work, nanocrystalline zinc oxide (ZnO) thin films have been successfully deposited onto glass substrates by simple and economical chemical bath deposition (CBD) and successive ionic layer adsorption reaction (SILAR) methods. These films were further characterized for their structural, optical, surface morphological and wettability properties. Themore » X-ray diffraction (XRD) patterns for both CBD and SILAR deposited ZnO thin films reveal the highly crystalline hexagonal wurtzite structure. From optical studies, band gaps obtained are 2.9 and 3.0 eV for CBD and SILAR deposited thin films, respectively. The scanning electron microscope (SEM) patterns show growth of well defined randomly oriented nanorods and nanograins on the CBD and SILAR deposited samples, respectively. The resistivity of CBD deposited films (10{sup 2} Ω cm) is lower than that of SILAR deposited films (10{sup 5} Ω cm). Surface wettability studies show hydrophobic nature for both films. From the above results it can be concluded that CBD grown ZnO thin films show better properties as compared to SILAR method.« less

Rational use of cognitive resources: levels of analysis between the computational and the algorithmic.

PubMed

Griffiths, Thomas L; Lieder, Falk; Goodman, Noah D

2015-04-01

Marr's levels of analysis-computational, algorithmic, and implementation-have served cognitive science well over the last 30 years. But the recent increase in the popularity of the computational level raises a new challenge: How do we begin to relate models at different levels of analysis? We propose that it is possible to define levels of analysis that lie between the computational and the algorithmic, providing a way to build a bridge between computational- and algorithmic-level models. The key idea is to push the notion of rationality, often used in defining computational-level models, deeper toward the algorithmic level. We offer a simple recipe for reverse-engineering the mind's cognitive strategies by deriving optimal algorithms for a series of increasingly more realistic abstract computational architectures, which we call "resource-rational analysis." Copyright © 2015 Cognitive Science Society, Inc.

Experimental Evaluation of a Planning Language Suitable for Formal Verification

NASA Technical Reports Server (NTRS)

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

2008-01-01

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

Single- and Dual-Process Models of Biased Contingency Detection

PubMed Central

2016-01-01

Abstract. Decades of research in causal and contingency learning show that people’s estimations of the degree of contingency between two events are easily biased by the relative probabilities of those two events. If two events co-occur frequently, then people tend to overestimate the strength of the contingency between them. Traditionally, these biases have been explained in terms of relatively simple single-process models of learning and reasoning. However, more recently some authors have found that these biases do not appear in all dependent variables and have proposed dual-process models to explain these dissociations between variables. In the present paper we review the evidence for dissociations supporting dual-process models and we point out important shortcomings of this literature. Some dissociations seem to be difficult to replicate or poorly generalizable and others can be attributed to methodological artifacts. Overall, we conclude that support for dual-process models of biased contingency detection is scarce and inconclusive. PMID:27025532

Argument structure and the representation of abstract semantics.

PubMed

Rodríguez-Ferreiro, Javier; Andreu, Llorenç; Sanz-Torrent, Mònica

2014-01-01

According to the dual coding theory, differences in the ease of retrieval between concrete and abstract words are related to the exclusive dependence of abstract semantics on linguistic information. Argument structure can be considered a measure of the complexity of the linguistic contexts that accompany a verb. If the retrieval of abstract verbs relies more on the linguistic codes they are associated to, we could expect a larger effect of argument structure for the processing of abstract verbs. In this study, sets of length- and frequency-matched verbs including 40 intransitive verbs, 40 transitive verbs taking simple complements, and 40 transitive verbs taking sentential complements were presented in separate lexical and grammatical decision tasks. Half of the verbs were concrete and half were abstract. Similar results were obtained in the two tasks, with significant effects of imageability and transitivity. However, the interaction between these two variables was not significant. These results conflict with hypotheses assuming a stronger reliance of abstract semantics on linguistic codes. In contrast, our data are in line with theories that link the ease of retrieval with availability and robustness of semantic information.

Symmetrical treatment of "Diagnostic and Statistical Manual of Mental Disorders, Fifth Edition", for major depressive disorders.

PubMed

Sawamura, Jitsuki; Morishita, Shigeru; Ishigooka, Jun

2016-01-01

We previously presented a group theoretical model that describes psychiatric patient states or clinical data in a graded vector-like format based on modulo groups. Meanwhile, the Diagnostic and Statistical Manual of Mental Disorders, Fifth Edition (DSM-5, the current version), is frequently used for diagnosis in daily psychiatric treatments and biological research. The diagnostic criteria of DSM-5 contain simple binominal items relating to the presence or absence of specific symptoms. In spite of its simple form, the practical structure of the DSM-5 system is not sufficiently systemized for data to be treated in a more rationally sophisticated way. To view the disease states in terms of symmetry in the manner of abstract algebra is considered important for the future systematization of clinical medicine. We provide a simple idea for the practical treatment of the psychiatric diagnosis/score of DSM-5 using depressive symptoms in line with our previously proposed method. An expression is given employing modulo-2 and -7 arithmetic (in particular, additive group theory) for Criterion A of a 'major depressive episode' that must be met for the diagnosis of 'major depressive disorder' in DSM-5. For this purpose, the novel concept of an imaginary value 0 that can be recognized as an explicit 0 or implicit 0 was introduced to compose the model. The zeros allow the incorporation or deletion of an item between any other symptoms if they are ordered appropriately. Optionally, a vector-like expression can be used to rate/select only specific items when modifying the criterion/scale. Simple examples are illustrated concretely. Further development of the proposed method for the criteria/scale of a disease is expected to raise the level of formalism of clinical medicine to that of other fields of natural science.

GoFFish: A Sub-Graph Centric Framework for Large-Scale Graph Analytics1

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

Simmhan, Yogesh; Kumbhare, Alok; Wickramaarachchi, Charith

2014-08-25

Large scale graph processing is a major research area for Big Data exploration. Vertex centric programming models like Pregel are gaining traction due to their simple abstraction that allows for scalable execution on distributed systems naturally. However, there are limitations to this approach which cause vertex centric algorithms to under-perform due to poor compute to communication overhead ratio and slow convergence of iterative superstep. In this paper we introduce GoFFish a scalable sub-graph centric framework co-designed with a distributed persistent graph storage for large scale graph analytics on commodity clusters. We introduce a sub-graph centric programming abstraction that combines themore » scalability of a vertex centric approach with the flexibility of shared memory sub-graph computation. We map Connected Components, SSSP and PageRank algorithms to this model to illustrate its flexibility. Further, we empirically analyze GoFFish using several real world graphs and demonstrate its significant performance improvement, orders of magnitude in some cases, compared to Apache Giraph, the leading open source vertex centric implementation. We map Connected Components, SSSP and PageRank algorithms to this model to illustrate its flexibility. Further, we empirically analyze GoFFish using several real world graphs and demonstrate its significant performance improvement, orders of magnitude in some cases, compared to Apache Giraph, the leading open source vertex centric implementation.« less

A Simple Model for the Orbital Debris Environment in GEO

NASA Astrophysics Data System (ADS)

Anilkumar, A. K.; Ananthasayanam, M. R.; Subba Rao, P. V.

The increase of space debris and its threat to commercial space activities in the Geosynchronous Earth Orbit (GEO) predictably cause concern regarding the environment over the long term. A variety of studies regarding space debris such as detection, modeling, protection and mitigation measures, is being pursued for the past couple of decades. Due to the absence of atmospheric drag to remove debris in GEO and the increasing number of utility satellites therein, the number of objects in GEO will continue to increase. The characterization of the GEO environment is critical for risk assessment and protection of future satellites and also to incorporate effective debris mitigation measures in the design and operations. The debris measurements in GEO have been limited to objects with size more than 60 cm. This paper provides an engineering model of the GEO environment by utilizing the philosophy and approach as laid out for the SIMPLE model proposed recently for LEO by the authors. The present study analyses the statistical characteristics of the GEO catalogued objects in order to arrive at a model for the GEO space debris environment. It is noted that the catalogued objects, as of now of around 800, by USSPACECOM across the years 1998 to 2004 have the same semi major axis mode (highest number density) around 35750 km above the earth. After removing the objects in the small bin around the mode, (35700, 35800) km containing around 40 percent (a value that is nearly constant across the years) of the objects, the number density of the other objects follow a single Laplace distribution with two parameters, namely location and scale. Across the years the location parameter of the above distribution does not significantly vary but the scale parameter shows a definite trend. These observations are successfully utilized in proposing a simple model for the GEO debris environment. References Ananthasayanam, M. R., Anil Kumar, A. K., and Subba Rao, P. V., ``A New Stochastic Impressionistic Low Earth (SIMPLE) Model of the Space Debris Scenario'', Conference Abstract COSPAR 02-A-01772, 2002. Ananthasayanam, M. R., Anilkumar, A. K., Subba Rao, P. V., and V. Adimurthy, ``Characterization of Eccentricity and Ballistic Coefficients of Space Debris in Altitude and Perigee Bins'', IAC-03-IAA5.p.04, Presented at the IAF Conference, Bremen, October 2003 and also to be published in the Proceedings of IAF Conference, Science and Technology Series, 2003.

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

Zhao, Xin-Yu; Zhu, Ying-Jie, E-mail: y.j.zhu@mail.sic.ac.cn; Lu, Bing-Qiang

Graphical abstract: Hydroxyapatite nanorods are synthesized using biocompatible biomolecule pyridoxal-5′-phosphate as a new organic phosphorus source by the hydrothermal method. - Highlights: • Hydrothermal synthesis of hydroxyapatite nanorods is reported. • Biocompatible pyridoxal-5′-phosphate is used as an organic phosphorus source. • This method is simple, surfactant-free and environmentally friendly. - Abstract: Hydroxyapatite nanorods are synthesized by the hydrothermal method using biocompatible biomolecule pyridoxal-5′-phosphate (PLP) as a new organic phosphorus source. In this method, PLP biomolecules are hydrolyzed to produce phosphate ions under hydrothermal conditions, and these phosphate ions react with pre-existing calcium ions to form hydroxyapatite nanorods. The effects ofmore » experimental conditions including hydrothermal temperature and time on the morphology and crystal phase of the products are investigated. This method is simple, surfactant-free and environmentally friendly. The products are characterized by X-ray powder diffraction, scanning electron microscopy, transmission electron microscopy, Fourier transform infrared (FTIR) spectroscopy, and thermogravimetric (TG) analysis.« less

Dynamic system classifier.

PubMed

Pumpe, Daniel; Greiner, Maksim; Müller, Ewald; Enßlin, Torsten A

2016-07-01

Stochastic differential equations describe well many physical, biological, and sociological systems, despite the simplification often made in their derivation. Here the usage of simple stochastic differential equations to characterize and classify complex dynamical systems is proposed within a Bayesian framework. To this end, we develop a dynamic system classifier (DSC). The DSC first abstracts training data of a system in terms of time-dependent coefficients of the descriptive stochastic differential equation. Thereby the DSC identifies unique correlation structures within the training data. For definiteness we restrict the presentation of the DSC to oscillation processes with a time-dependent frequency ω(t) and damping factor γ(t). Although real systems might be more complex, this simple oscillator captures many characteristic features. The ω and γ time lines represent the abstract system characterization and permit the construction of efficient signal classifiers. Numerical experiments show that such classifiers perform well even in the low signal-to-noise regime.

Preparation of hollow magnetite microspheres and their applications as drugs carriers

PubMed Central

2012-01-01

Hollow magnetite microspheres have been synthesized by a simple process through a template-free hydrothermal approach. Hollow microspheres were surface modified by coating with a silica nanolayer. Pristine and modified hollow microparticles were characterized by field-emission electron microscopy, transmission electron microscopy, X-ray diffraction, X-ray photoelectron spectroscopy, FT-IR and Raman spectroscopy, and VSM magnetometry. The potential application of the modified hollow magnetite microspheres as a drug carrier was evaluated by using Rhodamine B and methotrexate as model drugs. The loading and release kinetics of both molecules showed a clear pH and temperature dependent profile. Graphical abstract Hollow magnetite microspheres have been synthesized. Load-release experiments with Rhodamine-B as a model drug and with Methotrexate (chemotherapy drug used in treating certain types of cancer) demonstrated the potential applications of these nanostructures in biomedical applications. PMID:22490731

Sensor fusion V; Proceedings of the Meeting, Boston, MA, Nov. 15-17, 1992

NASA Technical Reports Server (NTRS)

Schenker, Paul S. (Editor)

1992-01-01

Topics addressed include 3D object perception, human-machine interface in multisensor systems, sensor fusion architecture, fusion of multiple and distributed sensors, interface and decision models for sensor fusion, computational networks, simple sensing for complex action, multisensor-based control, and metrology and calibration of multisensor systems. Particular attention is given to controlling 3D objects by sketching 2D views, the graphical simulation and animation environment for flexible structure robots, designing robotic systems from sensorimotor modules, cylindrical object reconstruction from a sequence of images, an accurate estimation of surface properties by integrating information using Bayesian networks, an adaptive fusion model for a distributed detection system, multiple concurrent object descriptions in support of autonomous navigation, robot control with multiple sensors and heuristic knowledge, and optical array detectors for image sensors calibration. (No individual items are abstracted in this volume)

A New Replicator: A theoretical framework for analysing replication

PubMed Central

2010-01-01

Background Replicators are the crucial entities in evolution. The notion of a replicator, however, is far less exact than the weight of its importance. Without identifying and classifying multiplying entities exactly, their dynamics cannot be determined appropriately. Therefore, it is importance to decide the nature and characteristics of any multiplying entity, in a detailed and formal way. Results Replication is basically an autocatalytic process which enables us to rest on the notions of formal chemistry. This statement has major implications. Simple autocatalytic cycle intermediates are considered as non-informational replicators. A consequence of which is that any autocatalytically multiplying entity is a replicator, be it simple or overly complex (even nests). A stricter definition refers to entities which can inherit acquired changes (informational replicators). Simple autocatalytic molecules (and nests) are excluded from this group. However, in turn, any entity possessing copiable information is to be named a replicator, even multicellular organisms. In order to deal with the situation, an abstract, formal framework is presented, which allows the proper identification of various types of replicators. This sheds light on the old problem of the units and levels of selection and evolution. A hierarchical classification for the partition of the replicator-continuum is provided where specific replicators are nested within more general ones. The classification should be able to be successfully applied to known replicators and also to future candidates. Conclusion This paper redefines the concept of the replicator from a bottom-up theoretical approach. The formal definition and the abstract models presented can distinguish between among all possible replicator types, based on their quantity of variable and heritable information. This allows for the exact identification of various replicator types and their underlying dynamics. The most important claim is that replication, in general, is basically autocatalysis, with a specific defined environment and selective force. A replicator is not valid unless its working environment, and the selective force to which it is subject, is specified. PMID:20219099

On Matrices, Automata, and Double Counting

NASA Astrophysics Data System (ADS)

Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin

Matrix models are ubiquitous for constraint problems. Many such problems have a matrix of variables M, with the same constraint defined by a finite-state automaton A on each row of M and a global cardinality constraint gcc on each column of M. We give two methods for deriving, by double counting, necessary conditions on the cardinality variables of the gcc constraints from the automaton A. The first method yields linear necessary conditions and simple arithmetic constraints. The second method introduces the cardinality automaton, which abstracts the overall behaviour of all the row automata and can be encoded by a set of linear constraints. We evaluate the impact of our methods on a large set of nurse rostering problem instances.

Digital Morphing Wing: Active Wing Shaping Concept Using Composite Lattice-Based Cellular Structures

PubMed Central

Jenett, Benjamin; Calisch, Sam; Cellucci, Daniel; Cramer, Nick; Gershenfeld, Neil; Swei, Sean

2017-01-01

Abstract We describe an approach for the discrete and reversible assembly of tunable and actively deformable structures using modular building block parts for robotic applications. The primary technical challenge addressed by this work is the use of this method to design and fabricate low density, highly compliant robotic structures with spatially tuned stiffness. This approach offers a number of potential advantages over more conventional methods for constructing compliant robots. The discrete assembly reduces manufacturing complexity, as relatively simple parts can be batch-produced and joined to make complex structures. Global mechanical properties can be tuned based on sub-part ordering and geometry, because local stiffness and density can be independently set to a wide range of values and varied spatially. The structure's intrinsic modularity can significantly simplify analysis and simulation. Simple analytical models for the behavior of each building block type can be calibrated with empirical testing and synthesized into a highly accurate and computationally efficient model of the full compliant system. As a case study, we describe a modular and reversibly assembled wing that performs continuous span-wise twist deformation. It exhibits high performance aerodynamic characteristics, is lightweight and simple to fabricate and repair. The wing is constructed from discrete lattice elements, wherein the geometric and mechanical attributes of the building blocks determine the global mechanical properties of the wing. We describe the mechanical design and structural performance of the digital morphing wing, including their relationship to wind tunnel tests that suggest the ability to increase roll efficiency compared to a conventional rigid aileron system. We focus here on describing the approach to design, modeling, and construction as a generalizable approach for robotics that require very lightweight, tunable, and actively deformable structures. PMID:28289574

The Relationship Between School Holidays and Transmission of Influenza in England and Wales

PubMed Central

Jackson, Charlotte; Vynnycky, Emilia; Mangtani, Punam

2016-01-01

Abstract School closure is often considered as an influenza control measure, but its effects on transmission are poorly understood. We used 2 approaches to estimate how school holidays affect the contact parameter (the per capita rate of contact sufficient for infection transmission) for influenza using primary care data from England and Wales (1967–2000). Firstly, we fitted an age-structured susceptible-infectious-recovered model to each year's data to estimate the proportional change in the contact parameter during school holidays as compared with termtime. Secondly, we calculated the percentage difference in the contact parameter between holidays and termtime from weekly values of the contact parameter, estimated directly from simple mass-action models. Estimates were combined using random-effects meta-analysis, where appropriate. From fitting to the data, the difference in the contact parameter among children aged 5–14 years during holidays as compared with termtime ranged from a 36% reduction to a 17% increase; estimates were too heterogeneous for meta-analysis. Based on the simple mass-action model, the contact parameter was 17% (95% confidence interval: 10, 25) lower during holidays than during termtime. Results were robust to the assumed proportions of infections that were reported and individuals who were susceptible when the influenza season started. We conclude that school closure may reduce transmission during influenza outbreaks. PMID:27744384

A Statistical Analysis of Reviewer Agreement and Bias in Evaluating Medical Abstracts 1

PubMed Central

Cicchetti, Domenic V.; Conn, Harold O.

1976-01-01

Observer variability affects virtually all aspects of clinical medicine and investigation. One important aspect, not previously examined, is the selection of abstracts for presentation at national medical meetings. In the present study, 109 abstracts, submitted to the American Association for the Study of Liver Disease, were evaluated by three “blind” reviewers for originality, design-execution, importance, and overall scientific merit. Of the 77 abstracts rated for all parameters by all observers, interobserver agreement ranged between 81 and 88%. However, corresponding intraclass correlations varied between 0.16 (approaching statistical significance) and 0.37 (p < 0.01). Specific tests of systematic differences in scoring revealed statistically significant levels of observer bias on most of the abstract components. Moreover, the mean differences in interobserver ratings were quite small compared to the standard deviations of these differences. These results emphasize the importance of evaluating the simple percentage of rater agreement within the broader context of observer variability and systematic bias. PMID:997596

Planetary micro-rover operations on Mars using a Bayesian framework for inference and control

NASA Astrophysics Data System (ADS)

Post, Mark A.; Li, Junquan; Quine, Brendan M.

2016-03-01

With the recent progress toward the application of commercially-available hardware to small-scale space missions, it is now becoming feasible for groups of small, efficient robots based on low-power embedded hardware to perform simple tasks on other planets in the place of large-scale, heavy and expensive robots. In this paper, we describe design and programming of the Beaver micro-rover developed for Northern Light, a Canadian initiative to send a small lander and rover to Mars to study the Martian surface and subsurface. For a small, hardware-limited rover to handle an uncertain and mostly unknown environment without constant management by human operators, we use a Bayesian network of discrete random variables as an abstraction of expert knowledge about the rover and its environment, and inference operations for control. A framework for efficient construction and inference into a Bayesian network using only the C language and fixed-point mathematics on embedded hardware has been developed for the Beaver to make intelligent decisions with minimal sensor data. We study the performance of the Beaver as it probabilistically maps a simple outdoor environment with sensor models that include uncertainty. Results indicate that the Beaver and other small and simple robotic platforms can make use of a Bayesian network to make intelligent decisions in uncertain planetary environments.

Local rules simulation of the kinetics of virus capsid self-assembly.

PubMed

Schwartz, R; Shor, P W; Prevelige, P E; Berger, B

1998-12-01

A computer model is described for studying the kinetics of the self-assembly of icosahedral viral capsids. Solution of this problem is crucial to an understanding of the viral life cycle, which currently cannot be adequately addressed through laboratory techniques. The abstract simulation model employed to address this is based on the local rules theory of. Proc. Natl. Acad. Sci. USA. 91:7732-7736). It is shown that the principle of local rules, generalized with a model of kinetics and other extensions, can be used to simulate complicated problems in self-assembly. This approach allows for a computationally tractable molecular dynamics-like simulation of coat protein interactions while retaining many relevant features of capsid self-assembly. Three simple simulation experiments are presented to illustrate the use of this model. These show the dependence of growth and malformation rates on the energetics of binding interactions, the tolerance of errors in binding positions, and the concentration of subunits in the examples. These experiments demonstrate a tradeoff within the model between growth rate and fidelity of assembly for the three parameters. A detailed discussion of the computational model is also provided.

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

Sadayappan, Ponnuswamy

Exascale computing systems will provide a thousand-fold increase in parallelism and a proportional increase in failure rate relative to today's machines. Systems software for exascale machines must provide the infrastructure to support existing applications while simultaneously enabling efficient execution of new programming models that naturally express dynamic, adaptive, irregular computation; coupled simulations; and massive data analysis in a highly unreliable hardware environment with billions of threads of execution. We propose a new approach to the data and work distribution model provided by system software based on the unifying formalism of an abstract file system. The proposed hierarchical data model providesmore » simple, familiar visibility and access to data structures through the file system hierarchy, while providing fault tolerance through selective redundancy. The hierarchical task model features work queues whose form and organization are represented as file system objects. Data and work are both first class entities. By exposing the relationships between data and work to the runtime system, information is available to optimize execution time and provide fault tolerance. The data distribution scheme provides replication (where desirable and possible) for fault tolerance and efficiency, and it is hierarchical to make it possible to take advantage of locality. The user, tools, and applications, including legacy applications, can interface with the data, work queues, and one another through the abstract file model. This runtime environment will provide multiple interfaces to support traditional Message Passing Interface applications, languages developed under DARPA's High Productivity Computing Systems program, as well as other, experimental programming models. We will validate our runtime system with pilot codes on existing platforms and will use simulation to validate for exascale-class platforms. In this final report, we summarize research results from the work done at the Ohio State University towards the larger goals of the project listed above.« less

ABSTRACTION FOR DATA INTEGRATION: FUSING MAMMALIAN MOLECULAR, CELLULAR AND PHENOTYPE BIG DATASETS FOR BETTER KNOWLEDGE EXTRACTION

PubMed Central

Rouillard, Andrew D.; Wang, Zichen; Ma’ayan, Avi

2015-01-01

With advances in genomics, transcriptomics, metabolomics and proteomics, and more expansive electronic clinical record monitoring, as well as advances in computation, we have entered the Big Data era in biomedical research. Data gathering is growing rapidly while only a small fraction of this data is converted to useful knowledge or reused in future studies. To improve this, an important concept that is often overlooked is data abstraction. To fuse and reuse biomedical datasets from diverse resources, data abstraction is frequently required. Here we summarize some of the major Big Data biomedical research resources for genomics, proteomics and phenotype data, collected from mammalian cells, tissues and organisms. We then suggest simple data abstraction methods for fusing this diverse but related data. Finally, we demonstrate examples of the potential utility of such data integration efforts, while warning about the inherit biases that exist within such data. PMID:26101093

Information from multiple modalities helps 5-month-olds learn abstract rules.

PubMed

Frank, Michael C; Slemmer, Jonathan A; Marcus, Gary F; Johnson, Scott P

2009-07-01

By 7 months of age, infants are able to learn rules based on the abstract relationships between stimuli (Marcus et al., 1999), but they are better able to do so when exposed to speech than to some other classes of stimuli. In the current experiments we ask whether multimodal stimulus information will aid younger infants in identifying abstract rules. We habituated 5-month-olds to simple abstract patterns (ABA or ABB) instantiated in coordinated looming visual shapes and speech sounds (Experiment 1), shapes alone (Experiment 2), and speech sounds accompanied by uninformative but coordinated shapes (Experiment 3). Infants showed evidence of rule learning only in the presence of the informative multimodal cues. We hypothesize that the additional evidence present in these multimodal displays was responsible for the success of younger infants in learning rules, congruent with both a Bayesian account and with the Intersensory Redundancy Hypothesis.

The Importance of Planetary Rotation Period for Ocean Heat Transport

PubMed Central

Stevens, D.; Joshi, M.

2014-01-01

Abstract The climate and, hence, potential habitability of a planet crucially depends on how its atmospheric and ocean circulation transports heat from warmer to cooler regions. However, previous studies of planetary climate have concentrated on modeling the dynamics of atmospheres, while dramatically simplifying the treatment of oceans, which neglects or misrepresents the effect of the ocean in the total heat transport. Even the majority of studies with a dynamic ocean have used a simple so-called aquaplanet that has no continental barriers, which is a configuration that dramatically changes the ocean dynamics. Here, the significance of the response of poleward ocean heat transport to planetary rotation period is shown with a simple meridional barrier—the simplest representation of any continental configuration. The poleward ocean heat transport increases significantly as the planetary rotation period is increased. The peak heat transport more than doubles when the rotation period is increased by a factor of ten. There are also significant changes to ocean temperature at depth, with implications for the carbon cycle. There is strong agreement between the model results and a scale analysis of the governing equations. This result highlights the importance of both planetary rotation period and the ocean circulation when considering planetary habitability. Key Words: Exoplanet—Oceans—Rotation—Climate—Habitability. Astrobiology 14, 645–650. PMID:25041658

Weighing Evidence “Steampunk” Style via the Meta-Analyser

PubMed Central

Bowden, Jack; Jackson, Chris

2016-01-01

ABSTRACT The funnel plot is a graphical visualization of summary data estimates from a meta-analysis, and is a useful tool for detecting departures from the standard modeling assumptions. Although perhaps not widely appreciated, a simple extension of the funnel plot can help to facilitate an intuitive interpretation of the mathematics underlying a meta-analysis at a more fundamental level, by equating it to determining the center of mass of a physical system. We used this analogy to explain the concepts of weighing evidence and of biased evidence to a young audience at the Cambridge Science Festival, without recourse to precise definitions or statistical formulas and with a little help from Sherlock Holmes! Following on from the science fair, we have developed an interactive web-application (named the Meta-Analyser) to bring these ideas to a wider audience. We envisage that our application will be a useful tool for researchers when interpreting their data. First, to facilitate a simple understanding of fixed and random effects modeling approaches; second, to assess the importance of outliers; and third, to show the impact of adjusting for small study bias. This final aim is realized by introducing a novel graphical interpretation of the well-known method of Egger regression. PMID:28003684

Abstraction and model evaluation in category learning.

PubMed

Vanpaemel, Wolf; Storms, Gert

2010-05-01

Thirty previously published data sets, from seminal category learning tasks, are reanalyzed using the varying abstraction model (VAM). Unlike a prototype-versus-exemplar analysis, which focuses on extreme levels of abstraction only, a VAM analysis also considers the possibility of partial abstraction. Whereas most data sets support no abstraction when only the extreme possibilities are considered, we show that evidence for abstraction can be provided using the broader view on abstraction provided by the VAM. The present results generalize earlier demonstrations of partial abstraction (Vanpaemel & Storms, 2008), in which only a small number of data sets was analyzed. Following the dominant modus operandi in category learning research, Vanpaemel and Storms evaluated the models on their best fit, a practice known to ignore the complexity of the models under consideration. In the present study, in contrast, model evaluation not only relies on the maximal likelihood, but also on the marginal likelihood, which is sensitive to model complexity. Finally, using a large recovery study, it is demonstrated that, across the 30 data sets, complexity differences between the models in the VAM family are small. This indicates that a (computationally challenging) complexity-sensitive model evaluation method is uncalled for, and that the use of a (computationally straightforward) complexity-insensitive model evaluation method is justified.

Modern Quantum Field Theory II - Proceeeings of the International Colloquium

NASA Astrophysics Data System (ADS)

Das, S. R.; Mandal, G.; Mukhi, S.; Wadia, S. R.

1995-08-01

The Table of Contents for the book is as follows: * Foreword * 1. Black Holes and Quantum Gravity * Quantum Black Holes and the Problem of Time * Black Hole Entropy and the Semiclassical Approximation * Entropy and Information Loss in Two Dimensions * Strings on a Cone and Black Hole Entropy (Abstract) * Boundary Dynamics, Black Holes and Spacetime Fluctuations in Dilation Gravity (Abstract) * Pair Creation of Black Holes (Abstract) * A Brief View of 2-Dim. String Theory and Black Holes (Abstract) * 2. String Theory * Non-Abelian Duality in WZW Models * Operators and Correlation Functions in c ≤ 1 String Theory * New Symmetries in String Theory * A Look at the Discretized Superstring Using Random Matrices * The Nested BRST Structure of Wn-Symmetries * Landau-Ginzburg Model for a Critical Topological String (Abstract) * On the Geometry of Wn Gravity (Abstract) * O(d, d) Tranformations, Marginal Deformations and the Coset Construction in WZNW Models (Abstract) * Nonperturbative Effects and Multicritical Behaviour of c = 1 Matrix Model (Abstract) * Singular Limits and String Solutions (Abstract) * BV Algebra on the Moduli Spaces of Riemann Surfaces and String Field Theory (Abstract) * 3. Condensed Matter and Statistical Mechanics * Stochastic Dynamics in a Deposition-Evaporation Model on a Line * Models with Inverse-Square Interactions: Conjectured Dynamical Correlation Functions of the Calogero-Sutherland Model at Rational Couplings * Turbulence and Generic Scale Invariance * Singular Perturbation Approach to Phase Ordering Dynamics * Kinetics of Diffusion-Controlled and Ballistically-Controlled Reactions * Field Theory of a Frustrated Heisenberg Spin Chain * FQHE Physics in Relativistic Field Theories * Importance of Initial Conditions in Determining the Dynamical Class of Cellular Automata (Abstract) * Do Hard-Core Bosons Exhibit Quantum Hall Effect? (Abstract) * Hysteresis in Ferromagnets * 4. Fundamental Aspects of Quantum Mechanics and Quantum Field Theory * Finite Quantum Physics and Noncommutative Geometry * Higgs as Gauge Field and the Standard Model * Canonical Quantisation of an Off-Conformal Theory * Deterministic Quantum Mechanics in One Dimension * Spin-Statistics Relations for Topological Geons in 2+1 Quantum Gravity * Generalized Fock Spaces * Geometrical Expression for Short Distance Singularities in Field Theory * 5. Mathematics and Quantum Field Theory * Knot Invariants from Quantum Field Theories * Infinite Grassmannians and Moduli Spaces of G-Bundles * A Review of an Algebraic Geometry Approach to a Model Quantum Field Theory on a Curve (Abstract) * 6. Integrable Models * Spectral Representation of Correlation Functions in Two-Dimensional Quantum Field Theories * On Various Avatars of the Pasquier Algebra * Supersymmetric Integrable Field Theories and Eight Vertex Free Fermion Models (Abstract) * 7. Lattice Field Theory * From Kondo Model and Strong Coupling Lattice QCD to the Isgur-Wise Function * Effective Confinement from a Logarithmically Running Coupling (Abstract)

The Abstraction Process of Limit Knowledge

ERIC Educational Resources Information Center

Sezgin Memnun, Dilek; Aydin, Bünyamin; Özbilen, Ömer; Erdogan, Günes

2017-01-01

The RBC+C abstraction model is an effective model in mathematics education because it gives the opportunity to analyze research data through cognitive actions. For this reason, we aim to examine the abstraction process of the limit knowledge of two volunteer participant students using the RBC+C abstraction model. With this aim, the students'…

The universality of the von Bertalanffy growth curve. Comment on: ;Physics of metabolic organization; by Marko Jusup et al.

NASA Astrophysics Data System (ADS)

Maino, James L.; Kearney, Michael R.

2017-03-01

A key strength of the DEB approach, in contrast to other metabolic theories, is that its foundational principles are general to all of life. Other theories have attempted to explain patterns in metabolism in terms of taxon-specific processes, such as the geometry of vascular network supply constraints [1,2], or heat dissipation requirements of endotherms [3], but DEB theory presents constraints on metabolic processes that apply to a wide range of taxa, including bacteria, invertebrates, birds, or mammals [4]. The price of this generalisability is abstraction, but there is much to gain from a general and unifying metabolic theory. Abstracting individuals into simple energy processors would seem to overlook many other important aspects of their biology, such as their unique phylogeny, physiology, or ethology, but this strategy has facilitated great advances in one of the grand challenges in biology: making sense of interacting phenomena occurring across wide scales in space, time, and organisational complexity. The study of cells, individuals, communities and ecosystems have benefited from such a regime [5,6]. Similarly, the simple abstraction of partitioning individual organisms into compartments of reserve biomass and structural biomass allows one to account for an astounding variety of energetic transformations that occur between species and as an organism develops.

Economy of Command

ERIC Educational Resources Information Center

Medeiros, David Peter

2012-01-01

This dissertation proposes a principle of "economy of command", arguing that it provides a simple and natural explanation for some well-known properties of human language syntax. The focus is on the abstract combinatorial system that constructs the hierarchical structure of linguistic expressions, with long-distance dependencies…

Woody species susceptibility to forest herbicides applied by ground machines

Treesearch

James H. Miller; M. Boyd Edwards

1996-01-01

Abstract. This study used a simple approach of post-treatment observations to colleot data on hexbicide effectiveness for common southeastern hardwoods and shrub species, and for loblolly pine. Both site preparation and release herbicides labeled for loblolly pine were examiued.

Modeling human comprehension of data visualizations

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

Matzen, Laura E.; Haass, Michael Joseph; Divis, Kristin Marie

This project was inspired by two needs. The first is a need for tools to help scientists and engineers to design effective data visualizations for communicating information, whether to the user of a system, an analyst who must make decisions based on complex data, or in the context of a technical report or publication. Most scientists and engineers are not trained in visualization design, and they could benefit from simple metrics to assess how well their visualization's design conveys the intended message. In other words, will the most important information draw the viewer's attention? The second is the need formore » cognition-based metrics for evaluating new types of visualizations created by researchers in the information visualization and visual analytics communities. Evaluating visualizations is difficult even for experts. However, all visualization methods and techniques are intended to exploit the properties of the human visual system to convey information efficiently to a viewer. Thus, developing evaluation methods that are rooted in the scientific knowledge of the human visual system could be a useful approach. In this project, we conducted fundamental research on how humans make sense of abstract data visualizations, and how this process is influenced by their goals and prior experience. We then used that research to develop a new model, the Data Visualization Saliency Model, that can make accurate predictions about which features in an abstract visualization will draw a viewer's attention. The model is an evaluation tool that can address both of the needs described above, supporting both visualization research and Sandia mission needs.« less

Musings about beauty.

PubMed

Kintsch, Walter

2012-01-01

In this essay, I explore how cognitive science could illuminate the concept of beauty. Two results from the extensive literature on aesthetics guide my discussion. As the term "beauty" is overextended in general usage, I choose as my starting point the notion of "perfect form." Aesthetic theorists are in reasonable agreement about the criteria for perfect form. What do these criteria imply for mental representations that are experienced as beautiful? Complexity theory can be used to specify constraints on mental representations abstractly formulated as vectors in a high-dimensional space. A central feature of the proposed model is that perfect form depends both on features of the objects or events perceived and on the nature of the encoding strategies or model of the observer. A simple example illustrates the proposed calculations. A number of interesting implications that arise as a consequence of reformulating beauty in this way are noted. Copyright © 2012 Cognitive Science Society, Inc.

In defence of story-telling.

PubMed

Currie, Adrian; Sterelny, Kim

2017-04-01

We argue that narratives are central to the success of historical reconstruction. Narrative explanation involves tracing causal trajectories across time. The construction of narrative, then, often involves postulating relatively speculative causal connections between comparatively well-established events. But speculation is not always idle or harmful: it also aids in overcoming local underdetermination by forming scaffolds from which new evidence becomes relevant. Moreover, as our understanding of the past's causal milieus become richer, the constraints on narrative plausibility become increasingly strict: a narrative's admissibility does not turn on mere logical consistency with background data. Finally, narrative explanation and explanation generated by simple, formal models complement one another. Where models often achieve isolation and precision at the cost of simplification and abstraction, narratives can track complex changes in a trajectory over time at the cost of simplicity and precision. In combination both allow us to understand and explain highly complex historical sequences. Copyright © 2017 Elsevier Ltd. All rights reserved.

Ising model with conserved magnetization on the human connectome: Implications on the relation structure-function in wakefulness and anesthesia

NASA Astrophysics Data System (ADS)

Stramaglia, S.; Pellicoro, M.; Angelini, L.; Amico, E.; Aerts, H.; Cortés, J. M.; Laureys, S.; Marinazzo, D.

2017-04-01

Dynamical models implemented on the large scale architecture of the human brain may shed light on how a function arises from the underlying structure. This is the case notably for simple abstract models, such as the Ising model. We compare the spin correlations of the Ising model and the empirical functional brain correlations, both at the single link level and at the modular level, and show that their match increases at the modular level in anesthesia, in line with recent results and theories. Moreover, we show that at the peak of the specific heat (the critical state), the spin correlations are minimally shaped by the underlying structural network, explaining how the best match between the structure and function is obtained at the onset of criticality, as previously observed. These findings confirm that brain dynamics under anesthesia shows a departure from criticality and could open the way to novel perspectives when the conserved magnetization is interpreted in terms of a homeostatic principle imposed to neural activity.

Legal Agreements and the Governance of Research Commons: Lessons from Materials Sharing in Mouse Genomics

PubMed Central

Mishra, Amrita

2014-01-01

Abstract Omics research infrastructure such as databases and bio-repositories requires effective governance to support pre-competitive research. Governance includes the use of legal agreements, such as Material Transfer Agreements (MTAs). We analyze the use of such agreements in the mouse research commons, including by two large-scale resource development projects: the International Knockout Mouse Consortium (IKMC) and International Mouse Phenotyping Consortium (IMPC). We combine an analysis of legal agreements and semi-structured interviews with 87 members of the mouse model research community to examine legal agreements in four contexts: (1) between researchers; (2) deposit into repositories; (3) distribution by repositories; and (4) exchanges between repositories, especially those that are consortium members of the IKMC and IMPC. We conclude that legal agreements for the deposit and distribution of research reagents should be kept as simple and standard as possible, especially when minimal enforcement capacity and resources exist. Simple and standardized legal agreements reduce transactional bottlenecks and facilitate the creation of a vibrant and sustainable research commons, supported by repositories and databases. PMID:24552652

Enhancement of equivalence class formation by pretraining discriminative functions.

PubMed

Nartey, Richard K; Arntzen, Erik; Fields, Lanny

2015-03-01

The present experiment showed that a simple discriminative function acquired by an abstract stimulus through simultaneous and/or successive discrimination training enhanced the formation of an equivalence class of which that stimulus was a member. College students attempted to form three equivalence classes composed of three nodes and five members (A→B→C→D→E), using the simultaneous protocol. In the PIC group, the C stimuli were pictures and the A, B, D, and E stimuli were abstract shapes. In the ABS group, all of the stimuli were abstract shapes. In the SIM + SUCC (simultaneous and successive) group, simple discriminations were formed with the C stimuli through both simultaneous and successive discrimination training before class formation. Finally, in the SIM-only and SUCC-only groups, prior to class formation, simple discriminations were established for the C stimuli with a simultaneous procedure and a successive procedure, respectively. Equivalence classes were formed by 80% and 70% of the participants in the PIC and SIM + SUCC groups respectively, by 30% in the SUCC-only group, and by 10% apiece in the ABS and SIM-only groups. Thus, pretraining of combined simultaneous and successive discriminations enhanced class formation, as did the inclusion of a meaningful stimulus in a class. The isolated effect of forming successive discriminations was more influential than that of forming simultaneous discriminations. The establishment of both discriminations together produced an enhancement greater than the sum of the two procedures alone. Finally, a sorting test documented the maintenance of the classes formed during the simultaneous protocol. These results also provide a stimulus control-function account of the class-enhancing effects of meaningful stimuli.

Efficient embedding of complex networks to hyperbolic space via their Laplacian

PubMed Central

Alanis-Lobato, Gregorio; Mier, Pablo; Andrade-Navarro, Miguel A.

2016-01-01

The different factors involved in the growth process of complex networks imprint valuable information in their observable topologies. How to exploit this information to accurately predict structural network changes is the subject of active research. A recent model of network growth sustains that the emergence of properties common to most complex systems is the result of certain trade-offs between node birth-time and similarity. This model has a geometric interpretation in hyperbolic space, where distances between nodes abstract this optimisation process. Current methods for network hyperbolic embedding search for node coordinates that maximise the likelihood that the network was produced by the afore-mentioned model. Here, a different strategy is followed in the form of the Laplacian-based Network Embedding, a simple yet accurate, efficient and data driven manifold learning approach, which allows for the quick geometric analysis of big networks. Comparisons against existing embedding and prediction techniques highlight its applicability to network evolution and link prediction. PMID:27445157

LANDSAT-D investigations in snow hydrology

NASA Technical Reports Server (NTRS)

Dozier, J. (Principal Investigator); Davis, R. E.; Dubayah, R. O.; Frew, J. E.; Li, S.; Marks, D.; Milliff, R. F.; Rousseau, D. D.; Wan, Z. M.

1985-01-01

Work undertaken during the contract and its results are described. Many of the results from this investigation are available in journal or conference proceedings literature - published, accepted for publication, or submitted for publication. For these the reference and the abstract are given. Those results that have not yet been submitted separately for publication are described in detail. Accomplishments during the contract period are summarized as follows: (1) analysis of the snow reflectance characteristics of the LANDSAT Thematic Mapper, including spectral suitability, dynamic range, and spectral resolution; (2) development of a variety of atmospheric models for use with LANDSAT Thematic Mapper data. These include a simple but fast two-stream approximation for inhomogeneous atmospheres over irregular surfaces, and a doubling model for calculation of the angular distribution of spectral radiance at any level in an plane-parallel atmosphere; (3) incorporation of digital elevation data into the atmospheric models and into the analysis of the satellite data; and (4) textural analysis of the spatial distribution of snow cover.

Efficient embedding of complex networks to hyperbolic space via their Laplacian

NASA Astrophysics Data System (ADS)

Alanis-Lobato, Gregorio; Mier, Pablo; Andrade-Navarro, Miguel A.

2016-07-01

The different factors involved in the growth process of complex networks imprint valuable information in their observable topologies. How to exploit this information to accurately predict structural network changes is the subject of active research. A recent model of network growth sustains that the emergence of properties common to most complex systems is the result of certain trade-offs between node birth-time and similarity. This model has a geometric interpretation in hyperbolic space, where distances between nodes abstract this optimisation process. Current methods for network hyperbolic embedding search for node coordinates that maximise the likelihood that the network was produced by the afore-mentioned model. Here, a different strategy is followed in the form of the Laplacian-based Network Embedding, a simple yet accurate, efficient and data driven manifold learning approach, which allows for the quick geometric analysis of big networks. Comparisons against existing embedding and prediction techniques highlight its applicability to network evolution and link prediction.

Environment-dependent morphology in plasmodium of true slime mold Physarum polycephalum and a network growth model.

PubMed

Takamatsu, Atsuko; Takaba, Eri; Takizawa, Ginjiro

2009-01-07

Branching network growth patterns, depending on environmental conditions, in plasmodium of true slime mold Physarum polycephalum were investigated. Surprisingly, the patterns resemble those in bacterial colonies even though the biological mechanisms differ greatly. Bacterial colonies are collectives of microorganisms in which individual organisms have motility and interact through nutritious and chemical fields. In contrast, the plasmodium is a giant amoeba-like multinucleated unicellular organism that forms a network of tubular structures through which protoplasm streams. The cell motility of the plasmodium is generated by oscillation phenomena observed in the partial bodies, which interact through the tubular structures. First, we analyze characteristics of the morphology quantitatively, then we abstract local rules governing the growing process to construct a simple network growth model. This model is independent of specific systems, in which only two rules are applied. Finally, we discuss the mechanism of commonly observed biological pattern formations through comparison with the system of bacterial colonies.

Study of an intraurban travel demand model incorporating commuter preference variables

NASA Technical Reports Server (NTRS)

Holligan, P. E.; Coote, M. A.; Rushmer, C. R.; Fanning, M. L.

1971-01-01

The model is based on the substantial travel data base for the nine-county San Francisco Bay Area, provided by the Metropolitan Transportation Commission. The model is of the abstract type, and makes use of commuter attitudes towards modes and simple demographic characteristics of zones in a region to predict interzonal travel by mode for the region. A characterization of the STOL/VTOL mode was extrapolated by means of a subjective comparison of its expected characteristics with those of modes characterized by the survey. Predictions of STOL demand were made for the Bay Area and an aircraft network was developed to serve this demand. When this aircraft system is compared to the base case system, the demand for STOL service has increased five fold and the resulting economics show considerable benefit from the increased scale of operations. In the previous study all systems required subsidy in varying amounts. The new system shows a substantial profit at an average fare of $3.55 per trip.

Abstraction Techniques for Parameterized Verification

DTIC Science & Technology

2006-11-01

approach for applying model checking to unbounded systems is to extract finite state models from them using conservative abstraction techniques. Prop...36 2.5.1 Multiple Reference Processes . . . . . . . . . . . . . . . . . . . 36 2.5.2 Adding Monitor Processes...model checking to complex pieces of code like device drivers depends on the use of abstraction methods. An abstraction method extracts a small finite

Finding Feasible Abstract Counter-Examples

NASA Technical Reports Server (NTRS)

Pasareanu, Corina S.; Dwyer, Matthew B.; Visser, Willem; Clancy, Daniel (Technical Monitor)

2002-01-01

A strength of model checking is its ability to automate the detection of subtle system errors and produce traces that exhibit those errors. Given the high computational cost of model checking most researchers advocate the use of aggressive property-preserving abstractions. Unfortunately, the more aggressively a system is abstracted the more infeasible behavior it will have. Thus, while abstraction enables efficient model checking it also threatens the usefulness of model checking as a defect detection tool, since it may be difficult to determine whether a counter-example is feasible and hence worth developer time to analyze. We have explored several strategies for addressing this problem by extending an explicit-state model checker, Java PathFinder (JPF), to search for and analyze counter-examples in the presence of abstractions. We demonstrate that these techniques effectively preserve the defect detection ability of model checking in the presence of aggressive abstraction by applying them to check properties of several abstracted multi-threaded Java programs. These new capabilities are not specific to JPF and can be easily adapted to other model checking frameworks; we describe how this was done for the Bandera toolset.

Simulation and Verification of Synchronous Set Relations in Rewriting Logic

NASA Technical Reports Server (NTRS)

Rocha, Camilo; Munoz, Cesar A.

2011-01-01

This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property veri cation of synchronous set relations. The mathematical foundation is given in the language of abstract set relations. The infrastructure consists of an ordersorted rewrite theory in Maude, a rewriting logic system, that enables the synchronous execution of a set relation provided by the user. By using the infrastructure, existing algorithm veri cation techniques already available in Maude for traditional asynchronous rewriting, such as reachability analysis and model checking, are automatically available to synchronous set rewriting. The use of the infrastructure is illustrated with an executable operational semantics of a simple synchronous language and the veri cation of temporal properties of a synchronous system.

Assessing the Concreteness of Relational Representation

ERIC Educational Resources Information Center

Rein, Jonathan R.; Markman, Arthur B.

2010-01-01

Research has shown that people's ability to transfer abstract relational knowledge across situations can be heavily influenced by the concrete objects that fill relational roles. This article provides evidence that the concreteness of the relations themselves also affects performance. In 3 experiments, participants viewed simple relational…

Alternating-current conductivity and dielectric relaxation of bulk iodoargentate

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

Duan, Hai-Bao, E-mail: duanhaibao4660@163.com; Yu, Shan-Shan; Zhou, Hong

Graphical abstract: The electric modulus shows single dielectric relaxation process in the measured frequency range. - Highlights: • The conduction mechanism is described by quantum mechanical tunneling model. • The applications of dielectric modulus give a simple method for evaluating the activation energy of the dielectric relaxation. • The [Ag{sub 2}I{sub 4}]{sup 2−}1-D chain and [Cu(en){sub 2}]{sup 2+} cation column form the layered stacks by hydrogen bond interactions. - Abstract: An inorganic-organic hybrid compound Cu(en){sub 2}Ag{sub 2}I{sub 4} (en = ethylenediamine) (1) was synthesized and single crystal structurally characterized. Along the [001] direction, the inorganic parts form an infinite 1-Dmore » chain and [Cu(en){sub 2}]{sup 2+} cations are separated by inorganic chain. The electrical conductivity and dielectric properties of 1 have been investigated over wide ranges of frequency. The alternating-current conductivities have been fitted to the Almond–West type power law expression with use of a single value of S. It is found that S values for 1 are nearly temperature-independent, which indicates that the conduction mechanism could be quantum mechanical tunneling (QMT) model. The dielectric loss and electric modulus show single dielectric relaxation process. The activation energy obtained from temperature-dependent electric modulus compare with the calculated from the dc conductivity plots.« less

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

NASA Astrophysics Data System (ADS)

Banda, Gourinath; Gallagher, John P.

interpretation provides a practical approach to verifying properties of infinite-state systems. We apply the framework of abstract interpretation to derive an abstract semantic function for the modal μ-calculus, which is the basis for abstract model checking. The abstract semantic function is constructed directly from the standard concrete semantics together with a Galois connection between the concrete state-space and an abstract domain. There is no need for mixed or modal transition systems to abstract arbitrary temporal properties, as in previous work in the area of abstract model checking. Using the modal μ-calculus to implement CTL, the abstract semantics gives an over-approximation of the set of states in which an arbitrary CTL formula holds. Then we show that this leads directly to an effective implementation of an abstract model checking algorithm for CTL using abstract domains based on linear constraints. The implementation of the abstract semantic function makes use of an SMT solver. We describe an implemented system for proving properties of linear hybrid automata and give some experimental results.

Abstracting event-based control models for high autonomy systems

NASA Technical Reports Server (NTRS)

Luh, Cheng-Jye; Zeigler, Bernard P.

1993-01-01

A high autonomy system needs many models on which to base control, management, design, and other interventions. These models differ in level of abstraction and in formalism. Concepts and tools are needed to organize the models into a coherent whole. The paper deals with the abstraction processes for systematic derivation of related models for use in event-based control. The multifaceted modeling methodology is briefly reviewed. The morphism concepts needed for application to model abstraction are described. A theory for supporting the construction of DEVS models needed for event-based control is then presented. An implemented morphism on the basis of this theory is also described.

Computational Phenotyping in Psychiatry: A Worked Example

PubMed Central

2016-01-01

Abstract Computational psychiatry is a rapidly emerging field that uses model-based quantities to infer the behavioral and neuronal abnormalities that underlie psychopathology. If successful, this approach promises key insights into (pathological) brain function as well as a more mechanistic and quantitative approach to psychiatric nosology—structuring therapeutic interventions and predicting response and relapse. The basic procedure in computational psychiatry is to build a computational model that formalizes a behavioral or neuronal process. Measured behavioral (or neuronal) responses are then used to infer the model parameters of a single subject or a group of subjects. Here, we provide an illustrative overview over this process, starting from the modeling of choice behavior in a specific task, simulating data, and then inverting that model to estimate group effects. Finally, we illustrate cross-validation to assess whether between-subject variables (e.g., diagnosis) can be recovered successfully. Our worked example uses a simple two-step maze task and a model of choice behavior based on (active) inference and Markov decision processes. The procedural steps and routines we illustrate are not restricted to a specific field of research or particular computational model but can, in principle, be applied in many domains of computational psychiatry. PMID:27517087

Heat capacity and magnetic properties of fluoride CsFe{sup 2+}Fe{sup 3+}F{sub 6} with defect pyrochlore structure

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

Gorev, M.V., E-mail: gorev@iph.krasn.ru; Institute of Engineering Physics and Radio Electronics, Siberian State University, 660074 Krasnoyarsk; Flerov, I.N.

2016-05-15

Heat capacity, Mössbauer and Raman spectra as well as magnetic properties of fluoride CsFe{sub 2}F{sub 6} with defect pyrochlore structure were studied. In addition to recently found above room temperature three successive structural transformations Pnma-Imma-I4{sub 1}amd-Fd-3m, phase transition of antiferromagnetic nature with the 13.7 K Neel temperature and a broad heat capacity anomaly with a maximum at about 30 K were observed. The room temperature symmetry Pnma is unchanged at least down to 7 K. Simple model of indirect bond used to estimate the exchange interactions and to propose a magnetic structure model. - Graphical abstract: The ordered arrangement ofmore » Fe{sup 2+} and Fe{sup 3+} ions in high-spin states as well as antiferromagnetic phase transition followed by significant magnetic frustrations were found in pyrocholore-related CsFe{sup 2+}Fe{sup 3+}F{sub 6}. A magnetic structure was proposed using a simple model of indirect bonds. - Highlights: • The Pnma structure in pyrocholore CsFe{sub 2}F{sub 6} is stable down to helium temperature. • Mössbauer spectra confirmed the ordering of Fe{sup 2+} and Fe{sup 3+} ions. • Antiferromagnetic transformation and significant magnetic frustrations are found. • Experimental magnetic entropy agrees with entropy for Fe ions in high-spin state. • Superexchange interactions were calculated and a magnetic structure was proposed.« less

Interaction of a Ni(II) tetraazaannulene complex with elongated fullerenes as simple models for carbon nanotubes.

PubMed

Henao-Holguín, Laura Verónica; Basiuk, Vladimir A

2015-06-01

Nickel(II) complex of 5,14-dihydro-6,8,15,17-tetramethyldibenzo[b,i][1,4,8,11] tetraazacyclotetradecine (NiTMTAA), which can be employed for noncovalent functionalization of carbon nanotubes (CNTs), represents a more complex and interesting case in terms of structure of the resulting nanohybrids, as compared to the related materials functionalized with porphyrins and phthalocyanines. Due to its saddle shape, the NiTMTAA molecule adsorbed can adopt different, energetically non-equivalent orientations with respect to CNT, depending on whether CH3 or C6H4 groups contact the latter. The main goal of the present work was to provide information on the interactions of NiTMTAA with simple single-walled CNT (SWNT) models accessible for dispersion-corrected DFT calculations. For reasons of comparison, we employed three such functionals: M06-2X and LC-BLYP as implemented in Gaussian 09 package, and PBE-G as implemented in Materials Studio 6.0. In order to roughly estimate the effect of nanotube chirality on the interaction strenght, we considered two short closed-end SWNT models (also referred to as 'elongated fullerenes'), one armchair and one zigzag, derived from C60 and C80 hemispheres. In addition, we calculated similar complexes with C60, as well as I h and D 5h isomers of C80. The results were analyzed in terms of optimized geometries, formation energies, HOMO-LUMO gap energies, and intermolecular separations. Graphical Abstract Interaction of Ni(II) tetraazaannulene complex with elongated fullerenes.

HOT ELUENT CAPILLARY LIQUID CHROMATOGRAPHY USING ZIRCONIA AND TITANIA BASED STATIONARY PHASES. (R825344)

EPA Science Inventory

Abstract

High speed capillary liquid chromatographic separations using a simple home made system constructed from readily available inexpensive components have been studied. Using thermally stable zirconia and titania based packing, the separation of eight alkylbenzene...

THE ELECTROCHEMISTRY OF ANTIBODY-MODIFIED CONDUCTING POLYMER ELECTRODES. (R825323)

EPA Science Inventory

Abstract

The modification of conducting polymer electrodes with antibodies (i.e. proteins) by means of electrochemical polymerization is a simple step that can be used to develop an immunological sensor. However, the electrochemical processes involved leading to the ge...

From anomalies to forecasts: Toward a descriptive model of decisions under risk, under ambiguity, and from experience.

PubMed

Erev, Ido; Ert, Eyal; Plonsky, Ori; Cohen, Doron; Cohen, Oded

2017-07-01

Experimental studies of choice behavior document distinct, and sometimes contradictory, deviations from maximization. For example, people tend to overweight rare events in 1-shot decisions under risk, and to exhibit the opposite bias when they rely on past experience. The common explanations of these results assume that the contradicting anomalies reflect situation-specific processes that involve the weighting of subjective values and the use of simple heuristics. The current article analyzes 14 choice anomalies that have been described by different models, including the Allais, St. Petersburg, and Ellsberg paradoxes, and the reflection effect. Next, it uses a choice prediction competition methodology to clarify the interaction between the different anomalies. It focuses on decisions under risk (known payoff distributions) and under ambiguity (unknown probabilities), with and without feedback concerning the outcomes of past choices. The results demonstrate that it is not necessary to assume situation-specific processes. The distinct anomalies can be captured by assuming high sensitivity to the expected return and 4 additional tendencies: pessimism, bias toward equal weighting, sensitivity to payoff sign, and an effort to minimize the probability of immediate regret. Importantly, feedback increases sensitivity to probability of regret. Simple abstractions of these assumptions, variants of the model Best Estimate and Sampling Tools (BEAST), allow surprisingly accurate ex ante predictions of behavior. Unlike the popular models, BEAST does not assume subjective weighting functions or cognitive shortcuts. Rather, it assumes the use of sampling tools and reliance on small samples, in addition to the estimation of the expected values. (PsycINFO Database Record (c) 2017 APA, all rights reserved).

Evaluating Water Demand Using Agent-Based Modeling

NASA Astrophysics Data System (ADS)

Lowry, T. S.

2004-12-01

The supply and demand of water resources are functions of complex, inter-related systems including hydrology, climate, demographics, economics, and policy. To assess the safety and sustainability of water resources, planners often rely on complex numerical models that relate some or all of these systems using mathematical abstractions. The accuracy of these models relies on how well the abstractions capture the true nature of the systems interactions. Typically, these abstractions are based on analyses of observations and/or experiments that account only for the statistical mean behavior of each system. This limits the approach in two important ways: 1) It cannot capture cross-system disruptive events, such as major drought, significant policy change, or terrorist attack, and 2) it cannot resolve sub-system level responses. To overcome these limitations, we are developing an agent-based water resources model that includes the systems of hydrology, climate, demographics, economics, and policy, to examine water demand during normal and extraordinary conditions. Agent-based modeling (ABM) develops functional relationships between systems by modeling the interaction between individuals (agents), who behave according to a probabilistic set of rules. ABM is a "bottom-up" modeling approach in that it defines macro-system behavior by modeling the micro-behavior of individual agents. While each agent's behavior is often simple and predictable, the aggregate behavior of all agents in each system can be complex, unpredictable, and different than behaviors observed in mean-behavior models. Furthermore, the ABM approach creates a virtual laboratory where the effects of policy changes and/or extraordinary events can be simulated. Our model, which is based on the demographics and hydrology of the Middle Rio Grande Basin in the state of New Mexico, includes agent groups of residential, agricultural, and industrial users. Each agent within each group determines its water usage based on its own condition and the condition of the world around it. For example, residential agents can make decisions to convert to or from xeriscaping and/or low-flow appliances based on policy implementation, economic status, weather, and climatic conditions. Agricultural agents may vary their usage by making decisions on crop distribution and irrigation design. Preliminary results show that water usage can be highly irrational under certain conditions. Results also identify sub-sectors within each group that have the highest influence on ensemble group behavior, providing a means for policy makers to target their efforts. Finally, the model is able to predict the impact of low-probability, high-impact events such as catastrophic denial of service due to natural and/or man-made events.

Information-theoretic approach to interactive learning

NASA Astrophysics Data System (ADS)

Still, S.

2009-01-01

The principles of statistical mechanics and information theory play an important role in learning and have inspired both theory and the design of numerous machine learning algorithms. The new aspect in this paper is a focus on integrating feedback from the learner. A quantitative approach to interactive learning and adaptive behavior is proposed, integrating model- and decision-making into one theoretical framework. This paper follows simple principles by requiring that the observer's world model and action policy should result in maximal predictive power at minimal complexity. Classes of optimal action policies and of optimal models are derived from an objective function that reflects this trade-off between prediction and complexity. The resulting optimal models then summarize, at different levels of abstraction, the process's causal organization in the presence of the learner's actions. A fundamental consequence of the proposed principle is that the learner's optimal action policies balance exploration and control as an emerging property. Interestingly, the explorative component is present in the absence of policy randomness, i.e. in the optimal deterministic behavior. This is a direct result of requiring maximal predictive power in the presence of feedback.

Eye Movements in Strategic Choice

PubMed Central

Gächter, Simon; Noguchi, Takao; Mullett, Timothy L.

2015-01-01

Abstract In risky and other multiattribute choices, the process of choosing is well described by random walk or drift diffusion models in which evidence is accumulated over time to threshold. In strategic choices, level‐k and cognitive hierarchy models have been offered as accounts of the choice process, in which people simulate the choice processes of their opponents or partners. We recorded the eye movements in 2 × 2 symmetric games including dominance‐solvable games like prisoner's dilemma and asymmetric coordination games like stag hunt and hawk–dove. The evidence was most consistent with the accumulation of payoff differences over time: we found longer duration choices with more fixations when payoffs differences were more finely balanced, an emerging bias to gaze more at the payoffs for the action ultimately chosen, and that a simple count of transitions between payoffs—whether or not the comparison is strategically informative—was strongly associated with the final choice. The accumulator models do account for these strategic choice process measures, but the level‐k and cognitive hierarchy models do not. © 2015 The Authors. Journal of Behavioral Decision Making published by John Wiley & Sons Ltd. PMID:27513881

From structure from motion to historical building information modeling: populating a semantic-aware library of architectural elements

NASA Astrophysics Data System (ADS)

Santagati, Cettina; Lo Turco, Massimiliano

2017-01-01

In recent years, we have witnessed a huge diffusion of building information modeling (BIM) approaches in the field of architectural design, although very little research has been undertaken to explore the value, criticalities, and advantages attributable to the application of these methodologies in the cultural heritage domain. Furthermore, the last developments in digital photogrammetry lead to the easy generation of reliable low-cost three-dimensional textured models that could be used in BIM platforms to create semantic-aware objects that could compose a specific library of historical architectural elements. In this case, the transfer between the point cloud and its corresponding parametric model is not so trivial and the level of geometrical abstraction could not be suitable with the scope of the BIM. The aim of this paper is to explore and retrace the milestone works on this crucial topic in order to identify the unsolved issues and to propose and test a unique and simple workflow practitioner centered and based on the use of the latest available solutions for point cloud managing into commercial BIM platforms.

[Effect of somatostatin-14 in simple mechanical obstruction of the small intestine].

PubMed

Jimenez-Garcia, A; Ahmad Araji, O; Balongo Garcia, R; Nogales Munoz, A; Salguero Villadiego, M; Cantillana Martinez, J

1994-02-01

In order to investigate the properties of somatostatin-14 we studied an experimental model of simple mechanical and closed loop occlusion. Forty-eight New Zealand rabbits were assigned randomly to three groups of 16: group C (controls) was operated and treated with saline solution (4 cc/Kg/h); group A was operated and initially treated with saline solution and an equal dose of somatostatin-14 (3.5 micrograms/Kg/h; and group B was operated and treated in the same manner as group A, but later, 8 hours after the laparotomy. The animals were sacrificed 24 hours later; intestinal secretion was quantified, blood and intestinal fluid chemistries were performed and specimens of the intestine were prepared for histological examination. Descriptive statistical analysis of the results was performed with the ANOVA, a semi-quantitative test and the covariance test. Somatostatin-14 produced an improvement in the volume of intestinal secretion in the treated groups compared with the control group. The results were statistically significant in group B treated after an 8-hour delay: closed loop (ml): 6.40 +/- 1.12, 2.50 +/- 0.94, 1.85 +/- 0.83 and simple mechanical occlusion (ml): 175 +/- 33.05, 89.50 +/- 9.27, 57.18 +/- 21.23, p < 0.01 for groups C, A and B C, A and B respectively. Net secretion of Cl and Na ions was also improved, p < 0.01.(ABSTRACT TRUNCATED AT 250 WORDS)

Exploiting map plans as resources for action

NASA Technical Reports Server (NTRS)

Payton, David

1989-01-01

When plans are used as programs for controlling the action of autonomous or teleoperated robots, their abstract representation can easily obscure a great deal of the critical knowledge that originally led to the planned course of action. An autonomous vehicle experiment is highlighted which illustrates how the information barriers created by abstraction can result in undesirable action. It is then shown how the same task can be performed correctly using plans as a resource for action. As a result of this simple change in outlook, problems requiring opportunistic reaction to unexpected changes in the environment can be solved.

Selected translated abstracts of Russian-language climate-change publications. 4: General circulation models (in English;Russian)

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

Burtis, M.D.; Razuvaev, V.N.; Sivachok, S.G.

1996-10-01

This report presents English-translated abstracts of important Russian-language literature concerning general circulation models as they relate to climate change. Into addition to the bibliographic citations and abstracts translated into English, this report presents the original citations and abstracts in Russian. Author and title indexes are included to assist the reader in locating abstracts of particular interest.

The maximum economic depth of groundwater abstraction for irrigation

NASA Astrophysics Data System (ADS)

Bierkens, M. F.; Van Beek, L. P.; de Graaf, I. E. M.; Gleeson, T. P.

2017-12-01

Over recent decades, groundwater has become increasingly important for agriculture. Irrigation accounts for 40% of the global food production and its importance is expected to grow further in the near future. Already, about 70% of the globally abstracted water is used for irrigation, and nearly half of that is pumped groundwater. In many irrigated areas where groundwater is the primary source of irrigation water, groundwater abstraction is larger than recharge and we see massive groundwater head decline in these areas. An important question then is: to what maximum depth can groundwater be pumped for it to be still economically recoverable? The objective of this study is therefore to create a global map of the maximum depth of economically recoverable groundwater when used for irrigation. The maximum economic depth is the maximum depth at which revenues are still larger than pumping costs or the maximum depth at which initial investments become too large compared to yearly revenues. To this end we set up a simple economic model where costs of well drilling and the energy costs of pumping, which are a function of well depth and static head depth respectively, are compared with the revenues obtained for the irrigated crops. Parameters for the cost sub-model are obtained from several US-based studies and applied to other countries based on GDP/capita as an index of labour costs. The revenue sub-model is based on gross irrigation water demand calculated with a global hydrological and water resources model, areal coverage of crop types from MIRCA2000 and FAO-based statistics on crop yield and market price. We applied our method to irrigated areas in the world overlying productive aquifers. Estimated maximum economic depths range between 50 and 500 m. Most important factors explaining the maximum economic depth are the dominant crop type in the area and whether or not initial investments in well infrastructure are limiting. In subsequent research, our estimates of maximum economic depth will be combined with estimates of groundwater depth and storage coefficients to estimate economically attainable groundwater volumes worldwide.

Marginal Consistency: Upper-Bounding Partition Functions over Commutative Semirings.

PubMed

Werner, Tomás

2015-07-01

Many inference tasks in pattern recognition and artificial intelligence lead to partition functions in which addition and multiplication are abstract binary operations forming a commutative semiring. By generalizing max-sum diffusion (one of convergent message passing algorithms for approximate MAP inference in graphical models), we propose an iterative algorithm to upper bound such partition functions over commutative semirings. The iteration of the algorithm is remarkably simple: change any two factors of the partition function such that their product remains the same and their overlapping marginals become equal. In many commutative semirings, repeating this iteration for different pairs of factors converges to a fixed point when the overlapping marginals of every pair of factors coincide. We call this state marginal consistency. During that, an upper bound on the partition function monotonically decreases. This abstract algorithm unifies several existing algorithms, including max-sum diffusion and basic constraint propagation (or local consistency) algorithms in constraint programming. We further construct a hierarchy of marginal consistencies of increasingly higher levels and show than any such level can be enforced by adding identity factors of higher arity (order). Finally, we discuss instances of the framework for several semirings, including the distributive lattice and the max-sum and sum-product semirings.

GenoMetric Query Language: a novel approach to large-scale genomic data management.

PubMed

Masseroli, Marco; Pinoli, Pietro; Venco, Francesco; Kaitoua, Abdulrahman; Jalili, Vahid; Palluzzi, Fernando; Muller, Heiko; Ceri, Stefano

2015-06-15

Improvement of sequencing technologies and data processing pipelines is rapidly providing sequencing data, with associated high-level features, of many individual genomes in multiple biological and clinical conditions. They allow for data-driven genomic, transcriptomic and epigenomic characterizations, but require state-of-the-art 'big data' computing strategies, with abstraction levels beyond available tool capabilities. We propose a high-level, declarative GenoMetric Query Language (GMQL) and a toolkit for its use. GMQL operates downstream of raw data preprocessing pipelines and supports queries over thousands of heterogeneous datasets and samples; as such it is key to genomic 'big data' analysis. GMQL leverages a simple data model that provides both abstractions of genomic region data and associated experimental, biological and clinical metadata and interoperability between many data formats. Based on Hadoop framework and Apache Pig platform, GMQL ensures high scalability, expressivity, flexibility and simplicity of use, as demonstrated by several biological query examples on ENCODE and TCGA datasets. The GMQL toolkit is freely available for non-commercial use at http://www.bioinformatics.deib.polimi.it/GMQL/. © The Author 2015. Published by Oxford University Press. All rights reserved. For Permissions, please e-mail: journals.permissions@oup.com.

Coupling Radar Rainfall to Hydrological Models for Water Abstraction Management

NASA Astrophysics Data System (ADS)

Asfaw, Alemayehu; Shucksmith, James; Smith, Andrea; MacDonald, Ken

2015-04-01

The impacts of climate change and growing water use are likely to put considerable pressure on water resources and the environment. In the UK, a reform to surface water abstraction policy has recently been proposed which aims to increase the efficiency of using available water resources whilst minimising impacts on the aquatic environment. Key aspects to this reform include the consideration of dynamic rather than static abstraction licensing as well as introducing water trading concepts. Dynamic licensing will permit varying levels of abstraction dependent on environmental conditions (i.e. river flow and quality). The practical implementation of an effective dynamic abstraction strategy requires suitable flow forecasting techniques to inform abstraction asset management. Potentially the predicted availability of water resources within a catchment can be coupled to predicted demand and current storage to inform a cost effective water resource management strategy which minimises environmental impacts. The aim of this work is to use a historical analysis of UK case study catchment to compare potential water resource availability using modelled dynamic abstraction scenario informed by a flow forecasting model, against observed abstraction under a conventional abstraction regime. The work also demonstrates the impacts of modelling uncertainties on the accuracy of predicted water availability over range of forecast lead times. The study utilised a conceptual rainfall-runoff model PDM - Probability-Distributed Model developed by Centre for Ecology & Hydrology - set up in the Dove River catchment (UK) using 1km2 resolution radar rainfall as inputs and 15 min resolution gauged flow data for calibration and validation. Data assimilation procedures are implemented to improve flow predictions using observed flow data. Uncertainties in the radar rainfall data used in the model are quantified using artificial statistical error model described by Gaussian distribution and propagated through the model to assess its influence on the forecasted flow uncertainty. Furthermore, the effects of uncertainties at different forecast lead times on potential abstraction strategies are assessed. The results show that over a 10 year period, an average of approximately 70 ML/d of potential water is missed in the study catchment under a convention abstraction regime. This indicates a considerable potential for the use of flow forecasting models to effectively implement advanced abstraction management and more efficiently utilize available water resources in the study catchment.

Essential English for Micronesian Adults.

ERIC Educational Resources Information Center

Conrad, Jo Ann; Reinecke, Hank

This student workbook is designed to help Micronesian adults learn everyday English. Its ten chapters move from simple one-word picture labeling to more abstract ideas in a spiraled fashion, reiterating the essential elements of the English language in different, more complicated ways. Subjects covered include names for everyday objects and…

By Klee Inspired.

ERIC Educational Resources Information Center

Grimes, Linda

1999-01-01

Discusses two activities based on the paintings of Paul Klee who used simple lines, bright colors, and happy subjects within his artwork. Explains that in the kindergarten activity, the students practice line drawing and looking at tree forms as well as painting; the first grade activity focuses on the abstract cubist style. (CMK)

Number Sense Made Simple Using Number Patterns

ERIC Educational Resources Information Center

Su, Hui Fang Huang; Marinas, Carol; Furner, Joseph

2011-01-01

This article highlights investigating intriguing number patterns utilising an emerging technology called the Square Tool. Mathematics teachers of grades K-12 will find the Square Tool useful in making connections and bridging the gap from the concrete to the abstract. Pattern recognition helps students discover various mathematical concepts. With…

Analysing Simple Electric Motors in the Classroom

ERIC Educational Resources Information Center

Yap, Jeff; MacIsaac, Dan

2006-01-01

Electromagnetic phenomena and devices such as motors are typically unfamiliar to both teachers and students. To better visualize and illustrate the abstract concepts (such as magnetic fields) underlying electricity and magnetism, we suggest that students construct and analyse the operation of a simply constructed Johnson electric motor. In this…

The Contribution of Short Repeats of Low Sequence Complexity to Large Conifer Genomes

Treesearch

A. Schmidt; R.L. Doudrick; J.S. Heslop-Harrison; T. Schmidt

2000-01-01

Abstract: The abundance and genomic organization of six simple sequence repeats, consisting of di-, tri-, and tetranucleotide sequence motifs, and a minisatellite repeat have been analyzed in different gymnosperms by Southern hybridization. Within the gymnosperm genomes investigated, the abundance and genomic organization of micro- and...

Reprint of "Abstraction for data integration: Fusing mammalian molecular, cellular and phenotype big datasets for better knowledge extraction".

PubMed

Rouillard, Andrew D; Wang, Zichen; Ma'ayan, Avi

2015-12-01

With advances in genomics, transcriptomics, metabolomics and proteomics, and more expansive electronic clinical record monitoring, as well as advances in computation, we have entered the Big Data era in biomedical research. Data gathering is growing rapidly while only a small fraction of this data is converted to useful knowledge or reused in future studies. To improve this, an important concept that is often overlooked is data abstraction. To fuse and reuse biomedical datasets from diverse resources, data abstraction is frequently required. Here we summarize some of the major Big Data biomedical research resources for genomics, proteomics and phenotype data, collected from mammalian cells, tissues and organisms. We then suggest simple data abstraction methods for fusing this diverse but related data. Finally, we demonstrate examples of the potential utility of such data integration efforts, while warning about the inherit biases that exist within such data. Copyright © 2015 Elsevier Ltd. All rights reserved.

Spinal circuits can accommodate interaction torques during multijoint limb movements.

PubMed

Buhrmann, Thomas; Di Paolo, Ezequiel A

2014-01-01

The dynamic interaction of limb segments during movements that involve multiple joints creates torques in one joint due to motion about another. Evidence shows that such interaction torques are taken into account during the planning or control of movement in humans. Two alternative hypotheses could explain the compensation of these dynamic torques. One involves the use of internal models to centrally compute predicted interaction torques and their explicit compensation through anticipatory adjustment of descending motor commands. The alternative, based on the equilibrium-point hypothesis, claims that descending signals can be simple and related to the desired movement kinematics only, while spinal feedback mechanisms are responsible for the appropriate creation and coordination of dynamic muscle forces. Partial supporting evidence exists in each case. However, until now no model has explicitly shown, in the case of the second hypothesis, whether peripheral feedback is really sufficient on its own for coordinating the motion of several joints while at the same time accommodating intersegmental interaction torques. Here we propose a minimal computational model to examine this question. Using a biomechanics simulation of a two-joint arm controlled by spinal neural circuitry, we show for the first time that it is indeed possible for the neuromusculoskeletal system to transform simple descending control signals into muscle activation patterns that accommodate interaction forces depending on their direction and magnitude. This is achieved without the aid of any central predictive signal. Even though the model makes various simplifications and abstractions compared to the complexities involved in the control of human arm movements, the finding lends plausibility to the hypothesis that some multijoint movements can in principle be controlled even in the absence of internal models of intersegmental dynamics or learned compensatory motor signals.

Introduction to multiresolution modeling (MMR) with an example involving precision fires

NASA Astrophysics Data System (ADS)

Davis, Paul K.; Bigelow, James H.

1998-08-01

In this paper we review motivations for multilevel resolution modeling (MRM) within a single model, an integrated hierarchical family of models, or both. We then present a new depiction of consistency criteria for models at different levels. After describing our hypotheses for studying the process of MRM with examples, we define a simple but policy-relevant problem involving the use of precision fires to halt an invading army. We then illustrate MRM with a sequence of abstractions suggested by formal theory, visual representation, and approximation. We milk the example for insights about why MRM is different and often difficult, and how it might be accomplished more routinely. It should be feasible even in complex systems such as JWARS and JSIMS, but it is by no means easy. Comprehensive MRM designs are unlikely. It is useful to take the view that some MRM is a great deal better than none and that approximate MRM relationships are often quite adequate. Overall, we conclude that high-quality MRM requires new theory, design practices, modeling tools, and software tools, all of which will take some years to develop. Current object-oriented programming practices may actually be a hindrance.

Graph-Theoretic Properties of Networks Based on Word Association Norms: Implications for Models of Lexical Semantic Memory.

PubMed

Gruenenfelder, Thomas M; Recchia, Gabriel; Rubin, Tim; Jones, Michael N

2016-08-01

We compared the ability of three different contextual models of lexical semantic memory (BEAGLE, Latent Semantic Analysis, and the Topic model) and of a simple associative model (POC) to predict the properties of semantic networks derived from word association norms. None of the semantic models were able to accurately predict all of the network properties. All three contextual models over-predicted clustering in the norms, whereas the associative model under-predicted clustering. Only a hybrid model that assumed that some of the responses were based on a contextual model and others on an associative network (POC) successfully predicted all of the network properties and predicted a word's top five associates as well as or better than the better of the two constituent models. The results suggest that participants switch between a contextual representation and an associative network when generating free associations. We discuss the role that each of these representations may play in lexical semantic memory. Concordant with recent multicomponent theories of semantic memory, the associative network may encode coordinate relations between concepts (e.g., the relation between pea and bean, or between sparrow and robin), and contextual representations may be used to process information about more abstract concepts. Copyright © 2015 Cognitive Science Society, Inc.

Effective Hamiltonian for travelling discrete breathers

NASA Astrophysics Data System (ADS)

MacKay, Robert S.; Sepulchre, Jacques-Alexandre

2002-05-01

Hamiltonian chains of oscillators in general probably do not sustain exact travelling discrete breathers. However solutions which look like moving discrete breathers for some time are not difficult to observe in numerics. In this paper we propose an abstract framework for the description of approximate travelling discrete breathers in Hamiltonian chains of oscillators. The method is based on the construction of an effective Hamiltonian enabling one to describe the dynamics of the translation degree of freedom of moving breathers. Error estimate on the approximate dynamics is also studied. The concept of the Peierls-Nabarro barrier can be made clear in this framework. We illustrate the method with two simple examples, namely the Salerno model which interpolates between the Ablowitz-Ladik lattice and the discrete nonlinear Schrödinger system, and the Fermi-Pasta-Ulam chain.

Pteros 2.0: Evolution of the fast parallel molecular analysis library for C++ and python.

PubMed

Yesylevskyy, Semen O

2015-07-15

Pteros is the high-performance open-source library for molecular modeling and analysis of molecular dynamics trajectories. Starting from version 2.0 Pteros is available for C++ and Python programming languages with very similar interfaces. This makes it suitable for writing complex reusable programs in C++ and simple interactive scripts in Python alike. New version improves the facilities for asynchronous trajectory reading and parallel execution of analysis tasks by introducing analysis plugins which could be written in either C++ or Python in completely uniform way. The high level of abstraction provided by analysis plugins greatly simplifies prototyping and implementation of complex analysis algorithms. Pteros is available for free under Artistic License from http://sourceforge.net/projects/pteros/. © 2015 Wiley Periodicals, Inc.

Playing biology's name game: identifying protein names in scientific text.

PubMed

Hanisch, Daniel; Fluck, Juliane; Mevissen, Heinz-Theodor; Zimmer, Ralf

2003-01-01

A growing body of work is devoted to the extraction of protein or gene interaction information from the scientific literature. Yet, the basis for most extraction algorithms, i.e. the specific and sensitive recognition of protein and gene names and their numerous synonyms, has not been adequately addressed. Here we describe the construction of a comprehensive general purpose name dictionary and an accompanying automatic curation procedure based on a simple token model of protein names. We designed an efficient search algorithm to analyze all abstracts in MEDLINE in a reasonable amount of time on standard computers. The parameters of our method are optimized using machine learning techniques. Used in conjunction, these ingredients lead to good search performance. A supplementary web page is available at http://cartan.gmd.de/ProMiner/.

A Biologically Informed, Mechanistic Model of Desert Shrub Population Dynamics Bearing on Arid Landscape Evolution

NASA Astrophysics Data System (ADS)

Worman, Stacey; Furbish, David; Fathel, Siobhan

2014-05-01

In arid landscapes, desert shrubs individually and collectively modify how sediment is transported (e.g by wind, overland-flow, and rain-splash). Addressing how desert shrubs modify landscapes on geomorphic timescales therefore necessitates spanning multiple shrub lifetimes and accounting for how processes affecting shrub dynamics on these longer timescales (e.g. fire, grazing, drought, and climate change) may in turn impact sediment transport. To fulfill this need, we present a mechanistic model of the spatiotemporal dynamics of a desert-shrub population that uses a simple accounting framework and tracks individual shrubs as they enter, age, and exit the population (via recruitment, growth, and mortality). Our model is novel insomuch as it (1) features a strong biophysical foundation, (2) mimics well-documented aspects of how shrub populations respond to changes in precipitation, and (3) possesses the process granularity appropriate for use in geomorphic simulations. In a complimentary abstract (Fathel et al. 2014), we demonstrate the potential of this biological model by coupling it to a physical model of rain-splash sediment transport: We mechanistically reproduce the empirical observation that the erosion rate of a hillslope decreases as its vegetation coverage increases and we predict erosion rates under different climate-change scenarios.

High performance cellular level agent-based simulation with FLAME for the GPU.

PubMed

Richmond, Paul; Walker, Dawn; Coakley, Simon; Romano, Daniela

2010-05-01

Driven by the availability of experimental data and ability to simulate a biological scale which is of immediate interest, the cellular scale is fast emerging as an ideal candidate for middle-out modelling. As with 'bottom-up' simulation approaches, cellular level simulations demand a high degree of computational power, which in large-scale simulations can only be achieved through parallel computing. The flexible large-scale agent modelling environment (FLAME) is a template driven framework for agent-based modelling (ABM) on parallel architectures ideally suited to the simulation of cellular systems. It is available for both high performance computing clusters (www.flame.ac.uk) and GPU hardware (www.flamegpu.com) and uses a formal specification technique that acts as a universal modelling format. This not only creates an abstraction from the underlying hardware architectures, but avoids the steep learning curve associated with programming them. In benchmarking tests and simulations of advanced cellular systems, FLAME GPU has reported massive improvement in performance over more traditional ABM frameworks. This allows the time spent in the development and testing stages of modelling to be drastically reduced and creates the possibility of real-time visualisation for simple visual face-validation.

Environment Modeling Using Runtime Values for JPF-Android

NASA Technical Reports Server (NTRS)

van der Merwe, Heila; Tkachuk, Oksana; Nel, Seal; van der Merwe, Brink; Visser, Willem

2015-01-01

Software applications are developed to be executed in a specific environment. This environment includes external native libraries to add functionality to the application and drivers to fire the application execution. For testing and verification, the environment of an application is simplified abstracted using models or stubs. Empty stubs, returning default values, are simple to generate automatically, but they do not perform well when the application expects specific return values. Symbolic execution is used to find input parameters for drivers and return values for library stubs, but it struggles to detect the values of complex objects. In this work-in-progress paper, we explore an approach to generate drivers and stubs based on values collected during runtime instead of using default values. Entry-points and methods that need to be modeled are instrumented to log their parameters and return values. The instrumented applications are then executed using a driver and instrumented libraries. The values collected during runtime are used to generate driver and stub values on- the-fly that improve coverage during verification by enabling the execution of code that previously crashed or was missed. We are implementing this approach to improve the environment model of JPF-Android, our model checking and analysis tool for Android applications.

Application of a buprenorphine transdermal patch for the perioperative analgesia in patients who underwent simple lumbar discectomy

PubMed Central

Tang, Jian; Fan, Jin; Yao, Yilun; Cai, Weihua; Yin, Guoyong; Zhou, Wei

2017-01-01

Abstract This study aimed to investigate the perioperative analgesic effect of a buprenorphine transdermal patch in patients who underwent simple lumbar discectomy. In total, 96 patients were randomly divided into parecoxib intravenous injection (Group A), oral celecoxib (Group B), and buprenorphine transdermal patch groups (Group C). The pain status, degree of satisfaction, adverse effects, and condition in which the patient received tramadol hydrochloride for uncontrolled pain were recorded on the night before surgery, postoperative day 1, postoperative day 3, and postoperative day 5. The degree of patient satisfaction in Group C was higher than that in Groups A and B, with minimal adverse effects. The buprenorphine transdermal patch had a better perioperative analgesic effect in patients who underwent simple lumbar discectomy. PMID:28514299

Visualizing Gas Adsorption on Porous Solids: Four Simple, Effective Demonstrations

ERIC Educational Resources Information Center

Cheung, Ocean

2014-01-01

Gas adsorption on porous solids is a topic that is often discussed in an undergraduate chemistry or chemical engineering course. The idea of porosity and gas adsorption on a porous solid is usually discussed with adsorption isotherms recorded using commercially available equipment. This discussion can be rather abstract and can be difficult for…

Making Light Rays Visible in 3-D

ERIC Educational Resources Information Center

Logiurato, F.; Gratton, L. M.; Oss, S.

2007-01-01

Students become deeply involved in physics classes when spectacular demonstrations take over from abstract and formal presentations. In this paper we propose a simple experimental setup in which the wave behavior of light can be made spectacularly evident along the whole path of the light beam in a practically unlimited number of configurations.…

An initial-abstraction, constant-loss model for unit hydrograph modeling for applicable watersheds in Texas

USGS Publications Warehouse

Asquith, William H.; Roussel, Meghan C.

2007-01-01

Estimation of representative hydrographs from design storms, which are known as design hydrographs, provides for cost-effective, riskmitigated design of drainage structures such as bridges, culverts, roadways, and other infrastructure. During 2001?07, the U.S. Geological Survey (USGS), in cooperation with the Texas Department of Transportation, investigated runoff hydrographs, design storms, unit hydrographs,and watershed-loss models to enhance design hydrograph estimation in Texas. Design hydrographs ideally should mimic the general volume, peak, and shape of observed runoff hydrographs. Design hydrographs commonly are estimated in part by unit hydrographs. A unit hydrograph is defined as the runoff hydrograph that results from a unit pulse of excess rainfall uniformly distributed over the watershed at a constant rate for a specific duration. A time-distributed, watershed-loss model is required for modeling by unit hydrographs. This report develops a specific time-distributed, watershed-loss model known as an initial-abstraction, constant-loss model. For this watershed-loss model, a watershed is conceptualized to have the capacity to store or abstract an absolute depth of rainfall at and near the beginning of a storm. Depths of total rainfall less than this initial abstraction do not produce runoff. The watershed also is conceptualized to have the capacity to remove rainfall at a constant rate (loss) after the initial abstraction is satisfied. Additional rainfall inputs after the initial abstraction is satisfied contribute to runoff if the rainfall rate (intensity) is larger than the constant loss. The initial abstraction, constant-loss model thus is a two-parameter model. The initial-abstraction, constant-loss model is investigated through detailed computational and statistical analysis of observed rainfall and runoff data for 92 USGS streamflow-gaging stations (watersheds) in Texas with contributing drainage areas from 0.26 to 166 square miles. The analysis is limited to a previously described, watershed-specific, gamma distribution model of the unit hydrograph. In particular, the initial-abstraction, constant-loss model is tuned to the gamma distribution model of the unit hydrograph. A complex computational analysis of observed rainfall and runoff for the 92 watersheds was done to determine, by storm, optimal values of initial abstraction and constant loss. Optimal parameter values for a given storm were defined as those values that produced a modeled runoff hydrograph with volume equal to the observed runoff hydrograph and also minimized the residual sum of squares of the two hydrographs. Subsequently, the means of the optimal parameters were computed on a watershed-specific basis. These means for each watershed are considered the most representative, are tabulated, and are used in further statistical analyses. Statistical analyses of watershed-specific, initial abstraction and constant loss include documentation of the distribution of each parameter using the generalized lambda distribution. The analyses show that watershed development has substantial influence on initial abstraction and limited influence on constant loss. The means and medians of the 92 watershed-specific parameters are tabulated with respect to watershed development; although they have considerable uncertainty, these parameters can be used for parameter prediction for ungaged watersheds. The statistical analyses of watershed-specific, initial abstraction and constant loss also include development of predictive procedures for estimation of each parameter for ungaged watersheds. Both regression equations and regression trees for estimation of initial abstraction and constant loss are provided. The watershed characteristics included in the regression analyses are (1) main-channel length, (2) a binary factor representing watershed development, (3) a binary factor representing watersheds with an abundance of rocky and thin-soiled terrain, and (4) curve numb

Application of glucose as a green capping agent and reductant to fabricate CuI micro/nanostructures

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

Tavakoli, Farnosh; Salavati-Niasari, Masoud, E-mail: salavati@kashanu.ac.ir; Ghanbari, Davood

Graphical abstract: - Highlights: • CuI nanostructures were prepared via a simple precipitation method. • Glucose as a green capping agent and reductant was applied. • The effect of glucose concentration on the morphology of CuI was investigated. • According to XRD results, pure cubic phase CuI have been formed by using glucose. - Abstract: In this work, CuI micro/nanostructures have been successfully prepared via a simple precipitation route at room temperature. By using glucose as a clean reducing agent with different concentrations, CuI micro/nanostructures with various morphologies were obtained. Besides glucose, Na{sub 2}SO{sub 3}, KBH{sub 4} and N{sub 2}H{submore » 4}·H{sub 2}O have been applied as reductant. X-ray diffraction (XRD), scanning electron microscopy (SEM), photoluminescence spectroscopy, X-ray energy dispersive spectroscopy (EDS) and Fourier transformed infrared (FT-IR) spectroscopy were used to characterize the as-produced CuI micro/nanostructures. According to the XRD results, it was found that pure cubic phase CuI have been formed by using glucose.« less

Learning to use working memory: a reinforcement learning gating model of rule acquisition in rats

PubMed Central

Lloyd, Kevin; Becker, Nadine; Jones, Matthew W.; Bogacz, Rafal

2012-01-01

Learning to form appropriate, task-relevant working memory representations is a complex process central to cognition. Gating models frame working memory as a collection of past observations and use reinforcement learning (RL) to solve the problem of when to update these observations. Investigation of how gating models relate to brain and behavior remains, however, at an early stage. The current study sought to explore the ability of simple RL gating models to replicate rule learning behavior in rats. Rats were trained in a maze-based spatial learning task that required animals to make trial-by-trial choices contingent upon their previous experience. Using an abstract version of this task, we tested the ability of two gating algorithms, one based on the Actor-Critic and the other on the State-Action-Reward-State-Action (SARSA) algorithm, to generate behavior consistent with the rats'. Both models produced rule-acquisition behavior consistent with the experimental data, though only the SARSA gating model mirrored faster learning following rule reversal. We also found that both gating models learned multiple strategies in solving the initial task, a property which highlights the multi-agent nature of such models and which is of importance in considering the neural basis of individual differences in behavior. PMID:23115551

Neural theory for the perception of causal actions.

PubMed

Fleischer, Falk; Christensen, Andrea; Caggiano, Vittorio; Thier, Peter; Giese, Martin A

2012-07-01

The efficient prediction of the behavior of others requires the recognition of their actions and an understanding of their action goals. In humans, this process is fast and extremely robust, as demonstrated by classical experiments showing that human observers reliably judge causal relationships and attribute interactive social behavior to strongly simplified stimuli consisting of simple moving geometrical shapes. While psychophysical experiments have identified critical visual features that determine the perception of causality and agency from such stimuli, the underlying detailed neural mechanisms remain largely unclear, and it is an open question why humans developed this advanced visual capability at all. We created pairs of naturalistic and abstract stimuli of hand actions that were exactly matched in terms of their motion parameters. We show that varying critical stimulus parameters for both stimulus types leads to very similar modulations of the perception of causality. However, the additional form information about the hand shape and its relationship with the object supports more fine-grained distinctions for the naturalistic stimuli. Moreover, we show that a physiologically plausible model for the recognition of goal-directed hand actions reproduces the observed dependencies of causality perception on critical stimulus parameters. These results support the hypothesis that selectivity for abstract action stimuli might emerge from the same neural mechanisms that underlie the visual processing of natural goal-directed action stimuli. Furthermore, the model proposes specific detailed neural circuits underlying this visual function, which can be evaluated in future experiments.

Biotic Abstract Dual Automata (BiADA): a novel tool for studying the evolution of porebiotic order (and the origin of life).

PubMed

Cimpoiasu, Vily M; Popa, Radu

2012-12-01

Biotic Abstract Dual Automata (BiADA), a novel simulation concept for studying the evolution of prebiotic order, has four main attributes. (1) The energy of each form of organization is the sum of two stocks: entropy-associated energy (E(s)) and free energy (E(g)), with dissimilar meaning, energy conductive, and energy exchange properties; (2) E(s) and E(g) have user-defined absolute values and are not derived from the relative thermodynamic parameters standard entropy and standard Gibbs free energy; (3) BiADA analyzes changes in both units of transformation and units of organization; and (4) BiADA-based models analyze forward and reverse transformations separately and the brut production of forms of organization. We discuss quantitative relationships between energy, information, and order parameters proposed in BiADA-based simulations. The example we show is that of a simple system with two forms of organization. The model monitors the energy flow and budget, the evolution of order and information capacity, and the energy cost of producing and maintaining the system's state. We show the effect of six prebiotic factors on the evolution of order and energy dissipative potential of the system. These are the initial state of the system, energy availability, the intrinsic energy conductivity, catalysis of "A to B" transformations, B autocatalysis, and the terminal heat sink. We discuss benefits of employing BiADA principles in the study of the origin of order in more complex networks.

Stereoscopy in cinematographic synthetic imagery

NASA Astrophysics Data System (ADS)

Eisenmann, Jonathan; Parent, Rick

2009-02-01

In this paper we present experiments and results pertaining to the perception of depth in stereoscopic viewing of synthetic imagery. In computer animation, typical synthetic imagery is highly textured and uses stylized illumination of abstracted material models by abstracted light source models. While there have been numerous studies concerning stereoscopic capabilities, conventions for staging and cinematography in stereoscopic movies have not yet been well-established. Our long-term goal is to measure the effectiveness of various cinematography techniques on the human visual system in a theatrical viewing environment. We would like to identify the elements of stereoscopic cinema that are important in terms of enhancing the viewer's understanding of a scene as well as providing guidelines for the cinematographer relating to storytelling. In these experiments we isolated stereoscopic effects by eliminating as many other visual cues as is reasonable. In particular, we aim to empirically determine what types of movement in synthetic imagery affect the perceptual depth sensing capabilities of our viewers. Using synthetic imagery, we created several viewing scenarios in which the viewer is asked to locate a target object's depth in a simple environment. The scenarios were specifically designed to compare the effectiveness of stereo viewing, camera movement, and object motion in aiding depth perception. Data were collected showing the error between the choice of the user and the actual depth value, and patterns were identified that relate the test variables to the viewer's perceptual depth accuracy in our theatrical viewing environment.

ASM Conference on Prokaryotic Development

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

Kaplan, H. B.

2005-07-13

Support was provided by DOE for the 2nd ASM Conference on Prokaryotic Development. The final conference program and abstracts book is attached. The conference presentations are organized around topics that are central to the current research areas in prokaryotic development. The program starts with topics that involve relatively simple models systems and ends with systems that are more complex. The topics are: i) the cell cycle, ii) the cytoskeleton, iii) morphogenesis, iv) developmental transcription, v) signaling, vi) multicellularity, and vii) developmental diversity and symbiosis. The best-studied prokaryotic development model systems will be highlighted at the conference through research presentations bymore » leaders in the field. Many of these systems are also model systems of relevance to the DOE mission including carbon sequestration (Bradyrizobium, Synechococcus), energy production (Anabaena, Rhodobacter) and bioremediation (Caulobacter, Mesorhizobium). In addition, many of the highlighted organisms have important practical applications; the actinomycetes and myxobacteria produce antimicrobials that are of commercial interest. It is certain that the cutting-edge science presented at the conference will be applicable to the large group of bacteria relevant to the DOE mission.« less

The Effect of Expected Value on Attraction Effect Preference Reversals

PubMed Central

Warren, Paul A.; El‐Deredy, Wael; Howes, Andrew

2016-01-01

Abstract The attraction effect shows that adding a third alternative to a choice set can alter preference between the original two options. For over 30 years, this simple demonstration of context dependence has been taken as strong evidence against a class of parsimonious value‐maximising models that evaluate alternatives independently from one another. Significantly, however, in previous demonstrations of the attraction effect alternatives are approximately equally valuable, so there was little consequence to the decision maker irrespective of which alternative was selected. Here we vary the difference in expected value between alternatives and provide the first demonstration that, although extinguished with large differences, this theoretically important effect persists when choice between alternatives has a consequence. We use this result to clarify the implications of the attraction effect, arguing that although it robustly violates the assumptions of value‐maximising models, it does not eliminate the possibility that human decision making is optimal. © 2016 The Authors Journal of Behavioral Decision Making Published by John Wiley & Sons Ltd. PMID:29081595

Formal verification of a microcoded VIPER microprocessor using HOL

NASA Technical Reports Server (NTRS)

Levitt, Karl; Arora, Tejkumar; Leung, Tony; Kalvala, Sara; Schubert, E. Thomas; Windley, Philip; Heckman, Mark; Cohen, Gerald C.

1993-01-01

The Royal Signals and Radar Establishment (RSRE) and members of the Hardware Verification Group at Cambridge University conducted a joint effort to prove the correspondence between the electronic block model and the top level specification of Viper. Unfortunately, the proof became too complex and unmanageable within the given time and funding constraints, and is thus incomplete as of the date of this report. This report describes an independent attempt to use the HOL (Cambridge Higher Order Logic) mechanical verifier to verify Viper. Deriving from recent results in hardware verification research at UC Davis, the approach has been to redesign the electronic block model to make it microcoded and to structure the proof in a series of decreasingly abstract interpreter levels, the lowest being the electronic block level. The highest level is the RSRE Viper instruction set. Owing to the new approach and some results on the proof of generic interpreters as applied to simple microprocessors, this attempt required an effort approximately an order of magnitude less than the previous one.

Data Integration Using SOAP in the VSO

NASA Astrophysics Data System (ADS)

Tian, K. Q.; Bogart, R. S.; Davey, A.; Dimitoglou, G.; Gurman, J. B.; Hill, F.; Martens, P. C.; Wampler, S.

2003-05-01

The Virtual Solar Observatory (VSO) project has implemented a time interval search for all four participating data archives. The back-end query services are implemented as web services, and are accessible via SOAP. SOAP (Simple Object Access Protocol) defines an RPC (Remote Procedure Call) mechanism that employs HTTP as its transport and encodes the client-server interactions (request and response messages) in XML (eXtensible Markup Language) documents. In addition to its core function of identifying relevant datasets in the local archive, the SOAP server at each data provider acts as a "wrapper" that maps descriptions in an abstract data model to those in the provider-specific data model, and vice versa. It is in this way that VSO integrates heterogeneous data services and allows access to them using a common interface. Our experience with SOAP has been fruitful. It has proven to be a better alternative to traditional web access methods, namely POST and GET, because of its flexibility and interoperability.

Vaccine Effects on Heterogeneity in Susceptibility and Implications for Population Health Management

PubMed Central

Wargo, Andrew R.; Jones, Darbi R.; Viss, Jessie R.; Rutan, Barbara J.; Egan, Nicholas A.; Sá-Guimarães, Pedro; Kim, Min Sun; Kurath, Gael; Gomes, M. Gabriela M.

2017-01-01

ABSTRACT Heterogeneity in host susceptibility is a key determinant of infectious disease dynamics but is rarely accounted for in assessment of disease control measures. Understanding how susceptibility is distributed in populations, and how control measures change this distribution, is integral to predicting the course of epidemics with and without interventions. Using multiple experimental and modeling approaches, we show that rainbow trout have relatively homogeneous susceptibility to infection with infectious hematopoietic necrosis virus and that vaccination increases heterogeneity in susceptibility in a nearly all-or-nothing fashion. In a simple transmission model with an R0 of 2, the highly heterogeneous vaccine protection would cause a 35 percentage-point reduction in outbreak size over an intervention inducing homogenous protection at the same mean level. More broadly, these findings provide validation of methodology that can help to reduce biases in predictions of vaccine impact in natural settings and provide insight into how vaccination shapes population susceptibility. PMID:29162706

Sense and simplicity in HADDOCK scoring: Lessons from CASP‐CAPRI round 1

PubMed Central

Vangone, A.; Rodrigues, J. P. G. L. M.; Xue, L. C.; van Zundert, G. C. P.; Geng, C.; Kurkcuoglu, Z.; Nellen, M.; Narasimhan, S.; Karaca, E.; van Dijk, M.; Melquiond, A. S. J.; Visscher, K. M.; Trellet, M.; Kastritis, P. L.

2016-01-01

ABSTRACT Our information‐driven docking approach HADDOCK is a consistent top predictor and scorer since the start of its participation in the CAPRI community‐wide experiment. This sustained performance is due, in part, to its ability to integrate experimental data and/or bioinformatics information into the modelling process, and also to the overall robustness of the scoring function used to assess and rank the predictions. In the CASP‐CAPRI Round 1 scoring experiment we successfully selected acceptable/medium quality models for 18/14 of the 25 targets – a top‐ranking performance among all scorers. Considering that for only 20 targets acceptable models were generated by the community, our effective success rate reaches as high as 90% (18/20). This was achieved using the standard HADDOCK scoring function, which, thirteen years after its original publication, still consists of a simple linear combination of intermolecular van der Waals and Coulomb electrostatics energies and an empirically derived desolvation energy term. Despite its simplicity, this scoring function makes sense from a physico‐chemical perspective, encoding key aspects of biomolecular recognition. In addition to its success in the scoring experiment, the HADDOCK server takes the first place in the server prediction category, with 16 successful predictions. Much like our scoring protocol, because of the limited time per target, the predictions relied mainly on either an ab initio center‐of‐mass and symmetry restrained protocol, or on a template‐based approach whenever applicable. These results underline the success of our simple but sensible prediction and scoring scheme. Proteins 2017; 85:417–423. © 2016 Wiley Periodicals, Inc. PMID:27802573

Simple arithmetic: not so simple for highly math anxious individuals

PubMed Central

Sprute, Lisa; Maloney, Erin A; Beilock, Sian L; Berman, Marc G

2017-01-01

Abstract Fluency with simple arithmetic, typically achieved in early elementary school, is thought to be one of the building blocks of mathematical competence. Behavioral studies with adults indicate that math anxiety (feelings of tension or apprehension about math) is associated with poor performance on cognitively demanding math problems. However, it remains unclear whether there are fundamental differences in how high and low math anxious individuals approach overlearned simple arithmetic problems that are less reliant on cognitive control. The current study used functional magnetic resonance imaging to examine the neural correlates of simple arithmetic performance across high and low math anxious individuals. We implemented a partial least squares analysis, a data-driven, multivariate analysis method to measure distributed patterns of whole-brain activity associated with performance. Despite overall high simple arithmetic performance across high and low math anxious individuals, performance was differentially dependent on the fronto-parietal attentional network as a function of math anxiety. Specifically, low—compared to high—math anxious individuals perform better when they activate this network less—a potential indication of more automatic problem-solving. These findings suggest that low and high math anxious individuals approach even the most fundamental math problems differently. PMID:29140499

System and method for transferring telemetry data between a ground station and a control center

NASA Technical Reports Server (NTRS)

Ray, Timothy J. (Inventor); Ly, Vuong T. (Inventor)

2012-01-01

Disclosed herein are systems, computer-implemented methods, and tangible computer-readable media for coordinating communications between a ground station, a control center, and a spacecraft. The method receives a call to a simple, unified application programmer interface implementing communications protocols related to outer space, when instruction relates to receiving a command at the control center for the ground station generate an abstract message by agreeing upon a format for each type of abstract message with the ground station and using a set of message definitions to configure the command in the agreed upon format, encode the abstract message to generate an encoded message, and transfer the encoded message to the ground station, and perform similar actions when the instruction relates to receiving a second command as a second encoded message at the ground station from the control center and when the determined instruction type relates to transmitting information to the control center.

Difference in the Dissolution Behaviors of Tablets Containing Polyvinylpolypyrrolidone (PVPP) Depending on Pharmaceutical Formulation After Storage Under High Temperature and Humid Conditions.

PubMed

Takekuma, Yoh; Ishizaka, Haruka; Sumi, Masato; Sato, Yuki; Sugawara, Mitsuru

Storage under high temperature and humid conditions has been reported to decrease the dissolution rate for some kinds of tablets containing polyvinylpolypyrrolidone (PVPP) as a disintegrant. The aim of this study was to elucidate the properties of pharmaceutical formulations with PVPP that cause a decrease in the dissolution rate after storage under high temperature and humid conditions by using model tablets with a simple composition. Model tablets, which consisted of rosuvastatin calcium or 5 simple structure compounds, salicylic acid, 2-aminodiphenylmethane, 2-aminobiphenyl, 2-(p-tolyl)benzoic acid or 4.4'-biphenol as principal agents, cellulose, lactose hydrate, PVPP and magnesium stearate as additives, were made by direct compression. The model tables were wrapped in paraffin papers and stored for 2 weeks at 40°C/75% relative humidity (RH). Dissolution tests were carried out by the paddle method in the Japanese Pharmacopoeia 16th edition. Model tablets with a simple composition were able to reproduce a decreased dissolution rate after storage at 40°C/75% RH. These tablets showed significantly decreased water absorption activities after storage. In the case of tablets without lactose hydrate by replacing with cellulose, a decreased dissolution rate was not observed. Carboxyl and amino groups in the structure of the principal agent were not directly involved in the decreased dissolution. 2-Benzylaniline tablets showed a remarkably decreased dissolution rate and 2-aminobiphenyl and 2-(p-tolyl)benzoic acid tablets showed slightly decreased dissolution rates, though 4,4'-biphenol tablets did not show a decrease dissolution rate. We demonstrated that additives and structure of the principal agent were involved in the decreased in dissolution rate for tablets with PVPP. The results suggested that one of the reasons for a decreased dissolution rate was the inclusion of lactose hydrate in tablets. The results also indicated that compounds as principal agents with low affinity for PVPP may be easily affected by airborne water under high temperature and humid conditions. This article is open to POST-PUBLICATION REVIEW. Registered readers (see "For Readers") may comment by clicking on ABSTRACT on the issue's contents page.

Consistent model driven architecture

NASA Astrophysics Data System (ADS)

Niepostyn, Stanisław J.

2015-09-01

The goal of the MDA is to produce software systems from abstract models in a way where human interaction is restricted to a minimum. These abstract models are based on the UML language. However, the semantics of UML models is defined in a natural language. Subsequently the verification of consistency of these diagrams is needed in order to identify errors in requirements at the early stage of the development process. The verification of consistency is difficult due to a semi-formal nature of UML diagrams. We propose automatic verification of consistency of the series of UML diagrams originating from abstract models implemented with our consistency rules. This Consistent Model Driven Architecture approach enables us to generate automatically complete workflow applications from consistent and complete models developed from abstract models (e.g. Business Context Diagram). Therefore, our method can be used to check practicability (feasibility) of software architecture models.

Modelling Farm Animal Welfare

PubMed Central

Collins, Lisa M.; Part, Chérie E.

2013-01-01

Simple Summary In this review paper we discuss the different modeling techniques that have been used in animal welfare research to date. We look at what questions they have been used to answer, the advantages and pitfalls of the methods, and how future research can best use these approaches to answer some of the most important upcoming questions in farm animal welfare. Abstract The use of models in the life sciences has greatly expanded in scope and advanced in technique in recent decades. However, the range, type and complexity of models used in farm animal welfare is comparatively poor, despite the great scope for use of modeling in this field of research. In this paper, we review the different modeling approaches used in farm animal welfare science to date, discussing the types of questions they have been used to answer, the merits and problems associated with the method, and possible future applications of each technique. We find that the most frequently published types of model used in farm animal welfare are conceptual and assessment models; two types of model that are frequently (though not exclusively) based on expert opinion. Simulation, optimization, scenario, and systems modeling approaches are rarer in animal welfare, despite being commonly used in other related fields. Finally, common issues such as a lack of quantitative data to parameterize models, and model selection and validation are discussed throughout the review, with possible solutions and alternative approaches suggested. PMID:26487411

Exploring the concept of interaction computing through the discrete algebraic analysis of the Belousov-Zhabotinsky reaction.

PubMed

Dini, Paolo; Nehaniv, Chrystopher L; Egri-Nagy, Attila; Schilstra, Maria J

2013-05-01

Interaction computing (IC) aims to map the properties of integrable low-dimensional non-linear dynamical systems to the discrete domain of finite-state automata in an attempt to reproduce in software the self-organizing and dynamically stable properties of sub-cellular biochemical systems. As the work reported in this paper is still at the early stages of theory development it focuses on the analysis of a particularly simple chemical oscillator, the Belousov-Zhabotinsky (BZ) reaction. After retracing the rationale for IC developed over the past several years from the physical, biological, mathematical, and computer science points of view, the paper presents an elementary discussion of the Krohn-Rhodes decomposition of finite-state automata, including the holonomy decomposition of a simple automaton, and of its interpretation as an abstract positional number system. The method is then applied to the analysis of the algebraic properties of discrete finite-state automata derived from a simplified Petri net model of the BZ reaction. In the simplest possible and symmetrical case the corresponding automaton is, not surprisingly, found to contain exclusively cyclic groups. In a second, asymmetrical case, the decomposition is much more complex and includes five different simple non-abelian groups whose potential relevance arises from their ability to encode functionally complete algebras. The possible computational relevance of these findings is discussed and possible conclusions are drawn. Copyright © 2013 Elsevier Ireland Ltd. All rights reserved.

Similarity, not complexity, determines visual working memory performance.

PubMed

Jackson, Margaret C; Linden, David E J; Roberts, Mark V; Kriegeskorte, Nikolaus; Haenschel, Corinna

2015-11-01

A number of studies have shown that visual working memory (WM) is poorer for complex versus simple items, traditionally accounted for by higher information load placing greater demands on encoding and storage capacity limits. Other research suggests that it may not be complexity that determines WM performance per se, but rather increased perceptual similarity between complex items as a result of a large amount of overlapping information. Increased similarity is thought to lead to greater comparison errors between items encoded into WM and the test item(s) presented at retrieval. However, previous studies have used different object categories to manipulate complexity and similarity, raising questions as to whether these effects are simply due to cross-category differences. For the first time, here the relationship between complexity and similarity in WM using the same stimulus category (abstract polygons) are investigated. The authors used a delayed discrimination task to measure WM for 1-4 complex versus simple simultaneously presented items and manipulated the similarity between the single test item at retrieval and the sample items at encoding. WM was poorer for complex than simple items only when the test item was similar to 1 of the encoding items, and not when it was dissimilar or identical. The results provide clear support for reinterpretation of the complexity effect in WM as a similarity effect and highlight the importance of the retrieval stage in governing WM performance. The authors discuss how these findings can be reconciled with current models of WM capacity limits. (c) 2015 APA, all rights reserved).

Abstraction and Assume-Guarantee Reasoning for Automated Software Verification

NASA Technical Reports Server (NTRS)

Chaki, S.; Clarke, E.; Giannakopoulou, D.; Pasareanu, C. S.

2004-01-01

Compositional verification and abstraction are the key techniques to address the state explosion problem associated with model checking of concurrent software. A promising compositional approach is to prove properties of a system by checking properties of its components in an assume-guarantee style. This article proposes a framework for performing abstraction and assume-guarantee reasoning of concurrent C code in an incremental and fully automated fashion. The framework uses predicate abstraction to extract and refine finite state models of software and it uses an automata learning algorithm to incrementally construct assumptions for the compositional verification of the abstract models. The framework can be instantiated with different assume-guarantee rules. We have implemented our approach in the COMFORT reasoning framework and we show how COMFORT out-performs several previous software model checking approaches when checking safety properties of non-trivial concurrent programs.

Secure Infrastructure-Less Network (SINET)

DTIC Science & Technology

2017-06-01

Protocol CNSA Commercial National Security Algorithm COMSEC Communications Security COTS Commercial off the Shelf CSfC Commercial Solutions for...ABSTRACT (maximum 200 words) Military leaders and first responders desire the familiarity of commercial -off-the-shelf lightweight mobile devices while...since they lack reliable or secure communication infrastructure. Routine and simple mobile information-sharing tasks become a challenge over the

Research Reporting Sections, Annual Meeting of the National Council of Teachers of Mathematics (57th, Boston, Massachusetts, April 18-21, 1979).

ERIC Educational Resources Information Center

Higgins, Jon L., Ed.

This document provides abstracts of 20 research reports. Topics covered include: children's comprehension of simple story problems; field independence and group instruction; problem-solving competence and memory; spatial visualization and the use of manipulative materials; effects of games on mathematical skills; problem-solving ability and right…

Interactions between Language and Mathematics with Deaf Students: Defining the "Language-Mathematics" Equation.

ERIC Educational Resources Information Center

Hillegeist, Eleanor; Epstein, Kenneth

The study examined the relationship between language and mathematics with 11 classes of deaf students taking Algebra 1 or Algebra 2 at the Gallaudet University School of Preparatory Studies. Specifically, the study attempted to predict the difficulty of a variety of relatively simple algebra problems based on the abstractness of the math and the…

A Simple Activity to Facilitate Proportional Reasoning in the Contexts of Density, Dissolving, and Nanoparticles

ERIC Educational Resources Information Center

Hamed, Kastro

2008-01-01

To address the confusion resulting from difficulties with proportional reasoning among preservice physical science students, a cube-assembly activity was used to bring a sense of concreteness to abstract ideas. The activity took students from the concrete step of assembling cubes of various sizes and directly measuring their properties to slightly…

Demonstrating Earth Connections and Fuses Working Together

ERIC Educational Resources Information Center

Harrison, Mark

2017-01-01

Earth wires and fuses work together in UK mains circuits to keep users safe from electric shocks and are taught in many school contexts. The subject can be quite abstract and difficult for pupils to grasp, and a simple but visually clear and direct demonstration is described which would be easy for most physics departments to build and which can…

Laboratory Activity on Sample Handling and Maintaining a Laboratory Notebook through Simple pH Measurements

ERIC Educational Resources Information Center

Erdmann, Mitzy A.; March, Joe L.

2016-01-01

Sample handling and laboratory notebook maintenance are necessary skills but can seem abstract if not presented to students in context. An introductory exercise focusing on proper sample handling, data collection and laboratory notebook keeping for the general chemistry laboratory was developed to emphasize the importance of keeping an accurate…

Human substantia nigra and ventral tegmental area involvement in computing social error signals during the ultimatum game

PubMed Central

Hétu, Sébastien; Luo, Yi; D’Ardenne, Kimberlee; Lohrenz, Terry

2017-01-01

Abstract As models of shared expectations, social norms play an essential role in our societies. Since our social environment is changing constantly, our internal models of it also need to change. In humans, there is mounting evidence that neural structures such as the insula and the ventral striatum are involved in detecting norm violation and updating internal models. However, because of methodological challenges, little is known about the possible involvement of midbrain structures in detecting norm violation and updating internal models of our norms. Here, we used high-resolution cardiac-gated functional magnetic resonance imaging and a norm adaptation paradigm in healthy adults to investigate the role of the substantia nigra/ventral tegmental area (SN/VTA) complex in tracking signals related to norm violation that can be used to update internal norms. We show that the SN/VTA codes for the norm’s variance prediction error (PE) and norm PE with spatially distinct regions coding for negative and positive norm PE. These results point to a common role played by the SN/VTA complex in supporting both simple reward-based and social decision making. PMID:28981876

How self-organization can guide evolution.

PubMed

Glancy, Jonathan; Stone, James V; Wilson, Stuart P

2016-11-01

Self-organization and natural selection are fundamental forces that shape the natural world. Substantial progress in understanding how these forces interact has been made through the study of abstract models. Further progress may be made by identifying a model system in which the interaction between self-organization and selection can be investigated empirically. To this end, we investigate how the self-organizing thermoregulatory huddling behaviours displayed by many species of mammals might influence natural selection of the genetic components of metabolism. By applying a simple evolutionary algorithm to a well-established model of the interactions between environmental, morphological, physiological and behavioural components of thermoregulation, we arrive at a clear, but counterintuitive, prediction: rodents that are able to huddle together in cold environments should evolve a lower thermal conductance at a faster rate than animals reared in isolation. The model therefore explains how evolution can be accelerated as a consequence of relaxed selection , and it predicts how the effect may be exaggerated by an increase in the litter size, i.e. by an increase in the capacity to use huddling behaviours for thermoregulation. Confirmation of these predictions in future experiments with rodents would constitute strong evidence of a mechanism by which self-organization can guide natural selection.

Economic and environmental optimization of waste treatment

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

Münster, M.; Ravn, H.; Hedegaard, K.

2015-04-15

Highlights: • Optimizing waste treatment by incorporating LCA methodology. • Applying different objectives (minimizing costs or GHG emissions). • Prioritizing multiple objectives given different weights. • Optimum depends on objective and assumed displaced electricity production. - Abstract: This article presents the new systems engineering optimization model, OptiWaste, which incorporates a life cycle assessment (LCA) methodology and captures important characteristics of waste management systems. As part of the optimization, the model identifies the most attractive waste management options. The model renders it possible to apply different optimization objectives such as minimizing costs or greenhouse gas emissions or to prioritize several objectivesmore » given different weights. A simple illustrative case is analysed, covering alternative treatments of one tonne of residual household waste: incineration of the full amount or sorting out organic waste for biogas production for either combined heat and power generation or as fuel in vehicles. The case study illustrates that the optimal solution depends on the objective and assumptions regarding the background system – illustrated with different assumptions regarding displaced electricity production. The article shows that it is feasible to combine LCA methodology with optimization. Furthermore, it highlights the need for including the integrated waste and energy system into the model.« less

BCl3‐Induced Annulative Oxo‐ and Thioboration for the Formation of C3‐Borylated Benzofurans and Benzothiophenes

PubMed Central

Warner, Andrew J.; Churn, Anna; McGough, John S.

2016-01-01

Abstract BCl3‐induced borylative cyclization of aryl‐alkynes possessing ortho‐EMe (E=S, O) groups represents a simple, metal‐free method for the formation of C3‐borylated benzothiophenes and benzofurans. The dichloro(heteroaryl)borane primary products can be protected to form synthetically ubiquitous pinacol boronate esters or used in situ in Suzuki–Miyaura cross couplings to generate 2,3‐disubstituted heteroarenes from simple alkyne precursors in one pot. In a number of cases alkyne trans‐haloboration occurs alongside, or instead of, borylative cyclization and the factors controlling the reaction outcome are determined. PMID:27897368

Combining Radiography and Passive Measurements for Radiological Threat Detection in Cargo

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

Miller, Erin A.; White, Timothy A.; Jarman, Kenneth D.

Abstract Radiography is widely understood to provide information complimentary to passive detection: while not directly sensitive to radiological materials, radiography can reveal highly shielded regions which may mask a passive radiological signal. We present a method for combining radiographic and passive data which uses the radiograph to provide an estimate of scatter and attenuation for possible sources. This approach allows quantitative use of radiographic images without relying on image interpretation, and results in a probabilistic description of likely source locations and strengths. We present first results for this method for a simple modeled test case of a cargo container drivingmore » through a PVT portal. With this inversion approach, we address criteria for an integrated passive and radiographic screening system and how detection of SNM threats might be improved in such a system.« less

Comment on "Most computational hydrology is not reproducible, so is it really science?" by Christopher Hutton et al.

NASA Astrophysics Data System (ADS)

Añel, Juan A.

2017-03-01

Nowadays, the majority of the scientific community is not aware of the risks and problems associated with an inadequate use of computer systems for research, mostly for reproducibility of scientific results. Such reproducibility can be compromised by the lack of clear standards and insufficient methodological description of the computational details involved in an experiment. In addition, the inappropriate application or ignorance of copyright laws can have undesirable effects on access to aspects of great importance of the design of experiments and therefore to the interpretation of results.