National Library of Energy BETA

Sample records for model abstract sam

  1. SAM Photovoltaic Model Technical Reference

    SciTech Connect (OSTI)

    Gilman, P.

    2015-05-27

    This manual describes the photovoltaic performance model in the System Advisor Model (SAM). The U.S. Department of Energy’s National Renewable Energy Laboratory maintains and distributes SAM, which is available as a free download from https://sam.nrel.gov. These descriptions are based on SAM 2015.1.30 (SSC 41).

  2. SAM Photovoltaic Model Technical Reference

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    SAM Photovoltaic Model Technical Reference P. Gilman National Renewable Energy Laboratory Technical Report NRELTP-6A20-64102 May 2015 NREL is a national laboratory of the U.S....

  3. Droidel: A General Approach to Android Framework Modeling Sam Blackshear

    E-Print Network [OSTI]

    Chang, Bor-Yuh Evan

    Droidel: A General Approach to Android Framework Modeling Sam Blackshear University of Colorado.chang@colorado.edu Abstract We present an approach and tool for general-purpose modeling of Android for static analysis. Our approach is to explicate the reflective bridge between the Android framework and an application to make

  4. Technoeconomic Modeling of Battery Energy Storage in SAM

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    lithium-ion battery models have been integrated with photovoltaic models giving System Advisor Model (SAM) the ability to predict the performance and economic benefit of behind the...

  5. System Advisor Model, SAM 2014.1.14: General Description

    SciTech Connect (OSTI)

    Blair, N.; Dobos, A. P.; Freeman, J.; Neises, T.; Wagner, M.; Ferguson, T.; Gilman, P.; Janzou, S.

    2014-02-01

    This document describes the capabilities of the U.S. Department of Energy and National Renewable Energy Laboratory's System Advisor Model (SAM), Version 2013.9.20, released on September 9, 2013. SAM is a computer model that calculates performance and financial metrics of renewable energy systems. Project developers, policy makers, equipment manufacturers, and researchers use graphs and tables of SAM results in the process of evaluating financial, technology, and incentive options for renewable energy projects. SAM simulates the performance of photovoltaic, concentrating solar power, solar water heating, wind, geothermal, biomass, and conventional power systems. The financial model can represent financial structures for projects that either buy and sell electricity at retail rates (residential and commercial) or sell electricity at a price determined in a power purchase agreement (utility). SAM's advanced simulation options facilitate parametric and sensitivity analyses, and statistical analysis capabilities are available for Monte Carlo simulation and weather variability (P50/P90) studies. SAM can also read input variables from Microsoft Excel worksheets. For software developers, the SAM software development kit (SDK) makes it possible to use SAM simulation modules in their applications written in C/C++, C#, Java, Python, and MATLAB. NREL provides both SAM and the SDK as free downloads at http://sam.nrel.gov. Technical support and more information about the software are available on the website.

  6. Technical Manual for the SAM Physical Trough Model

    SciTech Connect (OSTI)

    Wagner, M. J.; Gilman, P.

    2011-06-01

    NREL, in conjunction with Sandia National Lab and the U.S Department of Energy, developed the System Advisor Model (SAM) analysis tool for renewable energy system performance and economic analysis. This paper documents the technical background and engineering formulation for one of SAM's two parabolic trough system models in SAM. The Physical Trough model calculates performance relationships based on physical first principles where possible, allowing the modeler to predict electricity production for a wider range of component geometries than is possible in the Empirical Trough model. This document describes the major parabolic trough plant subsystems in detail including the solar field, power block, thermal storage, piping, auxiliary heating, and control systems. This model makes use of both existing subsystem performance modeling approaches, and new approaches developed specifically for SAM.

  7. System Advisor Model, SAM 2011.12.2: General Description

    SciTech Connect (OSTI)

    Gilman, P.; Dobos, A.

    2012-02-01

    This document describes the capabilities of the U.S. Department of Energy and National Renewable Energy Laboratory's System Advisor Model (SAM), Version 2011.12.2, released on December 2, 2011. SAM is software that models the cost and performance of renewable energy systems. Project developers, policy makers, equipment manufacturers, and researchers use graphs and tables of SAM results in the process of evaluating financial, technology, and incentive options for renewable energy projects. SAM simulates the performance of solar, wind, geothermal, biomass, and conventional power systems. The financial model can represent financing structures for projects that either buy and sell electricity at retail rates (residential and commercial) or sell electricity at a price determined in a power purchase agreement (utility). Advanced analysis options facilitate parametric, sensitivity, and statistical analyses, and allow for interfacing SAM with Microsoft Excel or with other computer programs. SAM is available as a free download at http://sam.nrel.gov. Technical support and more information about the software are available on the website.

  8. Wind Technology Modeling Within the System Advisor Model (SAM) (Poster)

    SciTech Connect (OSTI)

    Blair, N.; Dobos, A.; Ferguson, T.; Freeman, J.; Gilman, P.; Whitmore, J.

    2014-05-01

    This poster provides detail for implementation and the underlying methodology for modeling wind power generation performance in the National Renewable Energy Laboratory's (NREL's) System Advisor Model (SAM). SAM's wind power model allows users to assess projects involving one or more large or small wind turbines with any of the detailed options for residential, commercial, or utility financing. The model requires information about the wind resource, wind turbine specifications, wind farm layout (if applicable), and costs, and provides analysis to compare the absolute or relative impact of these inputs. SAM is a system performance and economic model designed to facilitate analysis and decision-making for project developers, financers, policymakers, and energy researchers. The user pairs a generation technology with a financing option (residential, commercial, or utility) to calculate the cost of energy over the multi-year project period. Specifically, SAM calculates the value of projects which buy and sell power at retail rates for residential and commercial systems, and also for larger-scale projects which operate through a power purchase agreement (PPA) with a utility. The financial model captures complex financing and rate structures, taxes, and incentives.

  9. An Ontology for the Simulation, Algorithms, and Modeling (SAM...

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    An Ontology for the Simulation, Algorithms, and Modeling (SAM) Office of NA-22 May 22, 2013 Problem Statement: The Office of Nonproliferation and Verification R&D (NA-22) needs an...

  10. Technoeconomic Modeling of Battery Energy Storage in SAM

    SciTech Connect (OSTI)

    DiOrio, Nicholas; Dobos, Aron; Janzou, Steven; Nelson, Austin; Lundstrom, Blake

    2015-09-01

    Detailed comprehensive lead-acid and lithium-ion battery models have been integrated with photovoltaic models in an effort to allow System Advisor Model (SAM) to offer the ability to predict the performance and economic benefit of behind the meter storage. In a system with storage, excess PV energy can be saved until later in the day when PV production has fallen, or until times of peak demand when it is more valuable. Complex dispatch strategies can be developed to leverage storage to reduce energy consumption or power demand based on the utility rate structure. This document describes the details of the battery performance and economic models in SAM.

  11. Technical Manual for the SAM Biomass Power Generation Model

    SciTech Connect (OSTI)

    Jorgenson, J.; Gilman, P.; Dobos, A.

    2011-09-01

    This technical manual provides context for the implementation of the biomass electric power generation performance model in the National Renewable Energy Laboratory's (NREL's) System Advisor Model (SAM). Additionally, the report details the engineering and scientific principles behind the underlying calculations in the model. The framework established in this manual is designed to give users a complete understanding of behind-the-scenes calculations and the results generated.

  12. System Advisor Model (SAM) | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page| Open Energy Information Serbia-Enhancing CapacityVectren)Model forTechnologies95Symerton, Illinois:EV

  13. System Advisor Model (SAM) | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page| Open Energy Information Serbia-Enhancing CapacityVectren)Model forTechnologies95Symerton, Illinois:EV

  14. Molten Salt Power Tower Cost Model for the System Advisor Model (SAM)

    SciTech Connect (OSTI)

    Turchi, C. S.; Heath, G. A.

    2013-02-01

    This report describes a component-based cost model developed for molten-salt power tower solar power plants. The cost model was developed by the National Renewable Energy Laboratory (NREL), using data from several prior studies, including a contracted analysis from WorleyParsons Group, which is included herein as an Appendix. The WorleyParsons' analysis also estimated material composition and mass for the plant to facilitate a life cycle analysis of the molten salt power tower technology. Details of the life cycle assessment have been published elsewhere. The cost model provides a reference plant that interfaces with NREL's System Advisor Model or SAM. The reference plant assumes a nominal 100-MWe (net) power tower running with a nitrate salt heat transfer fluid (HTF). Thermal energy storage is provided by direct storage of the HTF in a two-tank system. The design assumes dry-cooling. The model includes a spreadsheet that interfaces with SAM via the Excel Exchange option in SAM. The spreadsheet allows users to estimate the costs of different-size plants and to take into account changes in commodity prices. This report and the accompanying Excel spreadsheet can be downloaded at https://sam.nrel.gov/cost.

  15. Parabolic Trough Reference Plant for Cost Modeling with the Solar Advisor Model (SAM)

    SciTech Connect (OSTI)

    Turchi, C.

    2010-07-01

    This report describes a component-based cost model developed for parabolic trough solar power plants. The cost model was developed by the National Renewable Energy Laboratory (NREL), assisted by WorleyParsons Group Inc., for use with NREL's Solar Advisor Model (SAM). This report includes an overview and explanation of the model, two summary contract reports from WorleyParsons, and an Excel spreadsheet for use with SAM. The cost study uses a reference plant with a 100-MWe capacity and six hours of thermal energy storage. Wet-cooling and dry-cooling configurations are considered. The spreadsheet includes capital and operating cost by component to allow users to estimate the impact of changes in component costs.

  16. Modeling and Analysis of Hybrid Converters Michael Evzelman Shmuel (Sam) Ben-Yaakov

    E-Print Network [OSTI]

    by simulation and experimentally. The experimental converter included a Boost converter followed by x3 switched. This can be conveniently done by hybrid converters with multiple Figure 1. Hybrid Boost SCCx3 converterModeling and Analysis of Hybrid Converters Michael Evzelman Shmuel (Sam) Ben-Yaakov Power

  17. Case Studies Comparing System Advisor Model (SAM) Results to Real Performance Data: Preprint

    SciTech Connect (OSTI)

    Blair, N.; Dobos, A.; Sather, N.

    2012-06-01

    NREL has completed a series of detailed case studies comparing the simulations of the System Advisor Model (SAM) and measured performance data or published performance expectations. These case studies compare PV measured performance data with simulated performance data using appropriate weather data. The measured data sets were primarily taken from NREL onsite PV systems and weather monitoring stations.

  18. Parabolic Trough Collector Cost Update for the System Advisor Model (SAM)

    SciTech Connect (OSTI)

    Kurup, Parthiv; Turchi, Craig S.

    2015-11-01

    This report updates the baseline cost for parabolic trough solar fields in the United States within NREL's System Advisor Model (SAM). SAM, available at no cost at https://sam.nrel.gov/, is a performance and financial model designed to facilitate decision making for people involved in the renewable energy industry. SAM is the primary tool used by NREL and the U.S. Department of Energy (DOE) for estimating the performance and cost of concentrating solar power (CSP) technologies and projects. The study performed a bottom-up build and cost estimate for two state-of-the-art parabolic trough designs -- the SkyTrough and the Ultimate Trough. The SkyTrough analysis estimated the potential installed cost for a solar field of 1500 SCAs as $170/m2 +/- $6/m2. The investigation found that SkyTrough installed costs were sensitive to factors such as raw aluminum alloy cost and production volume. For example, in the case of the SkyTrough, the installed cost would rise to nearly $210/m2 if the aluminum alloy cost was $1.70/lb instead of $1.03/lb. Accordingly, one must be aware of fluctuations in the relevant commodities markets to track system cost over time. The estimated installed cost for the Ultimate Trough was only slightly higher at $178/m2, which includes an assembly facility of $11.6 million amortized over the required production volume. Considering the size and overall cost of a 700 SCA Ultimate Trough solar field, two parallel production lines in a fully covered assembly facility, each with the specific torque box, module and mirror jigs, would be justified for a full CSP plant.

  19. Modeling PV Power Electronics in SAM (Fact Sheet), NREL (National...

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Power Electronics in the System Advisor Model Module-level power electronics-- such as DC power optimizers, microinverters, and those found in AC modules-- are increasing in...

  20. GoSam 2.0: Automated one loop calculations within and beyond the Standard Model

    E-Print Network [OSTI]

    Nicolas Greiner

    2014-10-13

    We present GoSam 2.0, a fully automated framework for the generation and evaluation of one loop amplitudes in multi leg processes. The new version offers numerous improvements both on generational aspects as well as on the reduction side. This leads to a faster and more stable code for calculations within and beyond the Standard Model. Furthermore it contains the extended version of the standardized interface to Monte Carlo programs which allows for an easy combination with other existing tools. We briefly describe the conceptual innovations and present some phenomenological results.

  1. Jacobi Sum Matrices Sam Vandervelde

    E-Print Network [OSTI]

    Vandervelde, Sam

    Jacobi Sum Matrices Sam Vandervelde Abstract. In this article we identify several beautiful properties of Jacobi sums that become evident when these numbers are organized as a matrix and studied via the tools of linear algebra. In the process we reconsider a convention employed in computing Jacobi sum

  2. SATURATED ZONE FLOW AND TRANSPORT MODEL ABSTRACTION

    SciTech Connect (OSTI)

    B.W. ARNOLD

    2004-10-27

    The purpose of the saturated zone (SZ) flow and transport model abstraction task is to provide radionuclide-transport simulation results for use in the total system performance assessment (TSPA) for license application (LA) calculations. This task includes assessment of uncertainty in parameters that pertain to both groundwater flow and radionuclide transport in the models used for this purpose. This model report documents the following: (1) The SZ transport abstraction model, which consists of a set of radionuclide breakthrough curves at the accessible environment for use in the TSPA-LA simulations of radionuclide releases into the biosphere. These radionuclide breakthrough curves contain information on radionuclide-transport times through the SZ. (2) The SZ one-dimensional (I-D) transport model, which is incorporated in the TSPA-LA model to simulate the transport, decay, and ingrowth of radionuclide decay chains in the SZ. (3) The analysis of uncertainty in groundwater-flow and radionuclide-transport input parameters for the SZ transport abstraction model and the SZ 1-D transport model. (4) The analysis of the background concentration of alpha-emitting species in the groundwater of the SZ.

  3. Abstract polymer models with general pair interactions

    E-Print Network [OSTI]

    Aldo Procacci

    2008-11-26

    A convergence criterion of cluster expansion is presented in the case of an abstract polymer system with general pair interactions (i.e. not necessarily hard core or repulsive). As a concrete example, the low temperature disordered phase of the BEG model with infinite range interactions, decaying polynomially as $1/r^{d+\\lambda}$ with $\\lambda>0$, is studied.

  4. Results and Comparison from the SAM Linear Fresnel Technology Performance Model: Preprint

    SciTech Connect (OSTI)

    Wagner, M. J.

    2012-04-01

    This paper presents the new Linear Fresnel technology performance model in NREL's System Advisor Model. The model predicts the financial and technical performance of direct-steam-generation Linear Fresnel power plants, and can be used to analyze a range of system configurations. This paper presents a brief discussion of the model formulation and motivation, and provides extensive discussion of the model performance and financial results. The Linear Fresnel technology is also compared to other concentrating solar power technologies in both qualitative and quantitative measures. The Linear Fresnel model - developed in conjunction with the Electric Power Research Institute - provides users with the ability to model a variety of solar field layouts, fossil backup configurations, thermal receiver designs, and steam generation conditions. This flexibility aims to encompass current market solutions for the DSG Linear Fresnel technology, which is seeing increasing exposure in fossil plant augmentation and stand-alone power generation applications.

  5. A Behavioral SPICE Compatible Model of an Electrodeless Fluorescent Lamp Sam Ben-Yaakov*1

    E-Print Network [OSTI]

    . The model was tested under various experimental conditions: at steady state for different power levels vessel coated inside with light emitting phosphor. Inside the vessel is a combination of inert gas on an earlier methodology, which relies on experimental observations as well as some physics based reasoning

  6. System for Award Management (SAM):

    Energy Savers [EERE]

    - Help Section BUYER BEWARE The System for Award Management (SAM) and the Federal Service Desk (FSD) are Federal Government owned and operated free web sites. www.sam.gov...

  7. Abstracts

    E-Print Network [OSTI]

    2013-11-13

    Nov 16, 2013 ... Charles Smart, MIT. Sat, Nov 16 ... Abstract. Motivated by problems arising in conductivity imaging, we prove existence, uniqueness, and com- ... ciated with the Ginzburg-Landau energy posed on a 2-manifold. We will show ...

  8. Abstract

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    based on a bottom-up approach both from the traditional definition of energy-economic-engineering modeling, the "integrated assessment" model methodology, and from a pragmatic...

  9. Abstracts

    E-Print Network [OSTI]

    The model in consideration is of interest as the effects of superconducting electron pairs diffusing into the normal region are here represented. Bo Guan ...

  10. ABSTRACT

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefieldSulfateSciTechtail.TheoryTuesday, August 10, 20102016 News BelowAsked toUSC-Aiken,AUii ABSTRACT This

  11. FAST ABSTRACT: Vulnerability Discovery Modeling using Weibull Distribution

    E-Print Network [OSTI]

    Malaiya, Yashwant K.

    models for the related processes. A few vulnerability discovery models (VDMs) have been proposed recently that attempt to model the vulnerability discovery process during the lifecycle of a given software productFAST ABSTRACT: Vulnerability Discovery Modeling using Weibull Distribution HyunChul Joh, Jinyoo Kim

  12. Abstract polymer models with general pair interactions Aldo Procacci

    E-Print Network [OSTI]

    Procacci, Aldo

    Abstract polymer models with general pair interactions Aldo Procacci Dep. Matem´atica-ICEx, UFMG (i.e. not necessarily hard core or repulsive). A concrete example is given in which polymers are r0 (possibly attractive), of the type 1/rd+ with > 0. 1. Introduction The abstract polymer gas is an important

  13. Data Abstraction In Cognitive Models for Compositional Design in Painting

    E-Print Network [OSTI]

    Peterson, James K

    Data Abstraction In Cognitive Models for Compositional Design in Painting James Peterson Linda Dzuris June 19, 2003 Abstract In this paper, we discuss the design of painting data, which is neutral the process of artistic design for eventual use in the development of an autonomous painting composition

  14. Fast Directed Model Checking via Russian Doll Abstraction

    E-Print Network [OSTI]

    Hoffmann, Jörg -FR 6.2

    Fast Directed Model Checking via Russian Doll Abstraction Sebastian Kupferschmid1 , J¨org Hoffmann2 on a kind of Russian Doll principle, where the heuristic for a given problem arises through using UPPAAL

  15. RELATIONSHIPS FOR MODELLING WATER FLOW IN GEOTECHNICAL CENTRIFUGE MODELS [abstract

    E-Print Network [OSTI]

    Goodings, Deborah

    1984-01-01

    relationships between centrifuge model and prototype waterADVANCES IN GEOTECHNICAL CENTRIFUGE MODELING A symposium onAdvances in Geotechnical Centrifuge Modeling was held on

  16. Substation alarm multiplexing system (SAMS)

    SciTech Connect (OSTI)

    ElBadaly, H.; Gaughan, J.; Ward, G.; Amengual, S.

    1996-03-01

    This paper describes an on going R&D project to develop, design, install, and assess the field performance of an advanced substation alarm system. SAMS provides a highly fault-tolerant system for the reporting of equipment alarms. SAMS separates and identifies each of the multiple alarm contacts, transmits an alarm condition over existing substation two-wire system, and displays the alarm source, and its associated technical information, on a touch-screen monitor inside the substation control room, and a remote central location and on a hand held terminal which may be carried anywhere within the substation. SAMS is currently installed at the Sherman Creek substation in the Bronx for the purpose of a three month field evaluation.

  17. Shape Analysis through Predicate Abstraction and Model Checking

    E-Print Network [OSTI]

    Namjoshi, Kedar

    Shape Analysis through Predicate Abstraction and Model Checking Dennis Dams and Kedar S. Namjoshi framework with the analysis of some "classical" list manipulation programs, using our implementa- tion on a "classical" list reversal program. A detailed de- scription of the experiments, including input and result

  18. Sam Moskowitz A Preliminary Bibliography 

    E-Print Network [OSTI]

    Hall, Hal W.

    2010-08-24

    York: Pyramid Books, 1970. p. 188-222. Reprinted as: Le chemin du retour, in: l?Age d?or de la science fiction. 4e Serie. Paria: Editions OPTA, 1973. P. 215-254. (Fiction Special No. 21) World of Mockery, Planet Stories 1(7): 74.... [Not Seen] Alien earth and Other Stories, edited by Roger Elwood and Sam Moskowitz. New York : Macfadden-Bartell Corp., 1969. 208 p. Contents: Alien Earth, by Edmond Hamilton; Bloch, R. The Past Master, by Robert Bloch; Gardner, E. S...

  19. Sam Moskowitz: A Preliminary Bibliography 

    E-Print Network [OSTI]

    Hall, Hal W.

    2010-08-17

    York: Pyramid Books, 1970. p. 188-222. Reprinted as: Le chemin du retour, in: l?Age d?or de la science fiction. 4e Serie. Paria: Editions OPTA, 1973. P. 215-254. (Fiction Special No. 21) World of Mockery, Planet Stories 1(7): 74.... [Not Seen] Alien earth and Other Stories, edited by Roger Elwood and Sam Moskowitz. New York : Macfadden-Bartell Corp., 1969. 208 p. Contents: Alien Earth, by Edmond Hamilton; Bloch, R. The Past Master, by Robert Bloch; Gardner, E. S...

  20. Sam Moskowitz: A Preliminary Bibliography 

    E-Print Network [OSTI]

    Hall, Hal W.

    2010-08-18

    York: Pyramid Books, 1970. p. 188-222. Reprinted as: Le chemin du retour, in: l?Age d?or de la science fiction. 4e Serie. Paria: Editions OPTA, 1973. P. 215-254. (Fiction Special No. 21) World of Mockery, Planet Stories 1(7): 74.... [Not Seen] Alien earth and Other Stories, edited by Roger Elwood and Sam Moskowitz. New York : Macfadden-Bartell Corp., 1969. 208 p. Contents: Alien Earth, by Edmond Hamilton; Bloch, R. The Past Master, by Robert Bloch; Gardner, E. S...

  1. System for Award Management (SAM):

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OF APPLICABLEStatutory Authority SustainXSystem for Award Management (SAM)

  2. Automation of One-Loop Calculations with GoSam: Present Status and Future Outlook

    E-Print Network [OSTI]

    Gavin Cullen; Nicolas Greiner; Gudrun Heinrich; Gionata Luisoni; Pierpaolo Mastrolia; Giovanni Ossola; Thomas Reiter; Francesco Tramontano

    2011-11-14

    In this presentation, we describe the GoSam (Golem/Samurai) framework for the automated computation of multi-particle scattering amplitudes at the one-loop level. The amplitudes are generated analytically in terms of Feynman diagrams, and can be evaluated using either D-dimensional integrand reduction or tensor decomposition. GoSam can be used to compute one-loop corrections to Standard Model (QCD and EW) processes, and it is ready to link generic model files for theories Beyond SM. We show the main features of GoSam through its application to several examples of different complexity.

  3. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

    E-Print Network [OSTI]

    : Formal Verification, Abstraction, Model Checking, Hybrid Systems, Refinement, Counterexamples #12Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems Edmund Clarke a counterexample generated by the model checker. For hybrid systems, analysis of the counterexample requires

  4. Defining and Model Checking Abstractions of Complex Railway Models using CSP||B

    E-Print Network [OSTI]

    Doran, Simon J.

    Defining and Model Checking Abstractions of Complex Railway Models using CSP||B Faron Moller1. In [11, 10] we propose a new modelling approach for railway interlockings. We use CSP||B [13], which involves events such as train movements and, in the interlocking, state based reasoning. In this sense, CSP

  5. Centrifugal Modeling of Subsidence of Landfill Covers [abstract

    E-Print Network [OSTI]

    Sterling, Harry; Ronayne, Michael

    1984-01-01

    Engineering Division. j "Centrifugal Moueling of Subsidencer I I r t l I I I A centrifugal modeling procedure foras prototypes f or the centrifugal modeling. The prototypes'

  6. CENTRIFUGAL MODEL TESTS FOR ULTIMATE BEARING CAPACITY OF FOOTINGS ON STEEP SLOPES IN COHESIONLESS SOIL [abstract

    E-Print Network [OSTI]

    Gemperline, Mark

    1984-01-01

    Gemperline, Mark C. , Centrifugal ~odel Tests for UltimateDivision. ABSTRACTS II CENTRIFUGAL MODEL TESTS FOR ULTIMATE

  7. Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems

    E-Print Network [OSTI]

    Cordy, James R.

    Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems Kevin A introduces the Abstract User Interface (AUI) model and notation for specifying abstract interaction in interactive soft- ware systems with graphical, direct manipulation user interfaces. The AUI model is aimed

  8. Model Abstraction Techniques for Large-Scale Power Systems

    E-Print Network [OSTI]

    Report on System Simulation using High Performance Computing Prepared by New Mexico Tech New Mexico: Application of High Performance Computing to Electric Power System Modeling, Simulation and Analysis Task Two

  9. Selected translated abstracts of Russian-language climate-change publications. 4: General circulation models

    SciTech Connect (OSTI)

    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.

  10. Nutrient Management in TexasNutrient Management in Texas Sam FeagleySam Feagley

    E-Print Network [OSTI]

    Nutrient Management in TexasNutrient Management in Texas Sam FeagleySam Feagley Texas Cooperative ExtensionTexas Cooperative Extension #12;ObjectivesObjectives ·· 1. Describe the Nutrient Management Practice1. Describe the Nutrient Management Practice Standard process in TexasStandard process in Texas

  11. Abstraction and CounterexampleGuided Refinement in Model Checking of Hybrid Systems

    E-Print Network [OSTI]

    : Formal Verification, Abstraction, Model Checking, Hybrid Systems, Refinement, Counterexamples #12; 1Abstraction and Counterexample­Guided Refinement in Model Checking of Hybrid Systems Edmund Clarke a counterexample generated by the model checker. For hybrid systems, analysis of the counterexample requires

  12. Sam Madden Basically Everyone Except My Bank

    E-Print Network [OSTI]

    California at Irvine, University of

    Sam Madden Physicists Biologists Basically Everyone Except My Bank #12;· Benefit(DBMS) DBMS? · DBMS setup & boundary crossings painful ­ Especially if you have to do it multiple times! MATLAB a fleet of 40 cabs on Boston streets · Pipeline ­ Raw data in DBMS ­ Trajectories with Matlab ­ Queries

  13. Abstract--Eventually, prediction of transformer thermal performance for dynamic loading will be made using models

    E-Print Network [OSTI]

    1 Abstract--Eventually, prediction of transformer thermal performance for dynamic loading will be made using models distilled from measure data, rather than models derived from transformer heat for measuring the acceptability of transformer thermal models. For a model to be acceptable, it must have

  14. Modeling the environmental suitability of recreational trails in the Sam Houston National Forest: an application of spatial technologies and the universal soil loss equation 

    E-Print Network [OSTI]

    Holzer, Damon Michael

    1997-01-01

    high suitability to unsuitable. These results were based on a combination of environmental characteristics which are related to erosion, including rainfall intensity, slope, soil type, vegetation type, and management input. After the suitability... between measured erosion in different risk zones, then the model could help classify the suitability of recreational land based on its resistance to erosion. If found successful, this procedure could provide natural resource and recreational managers...

  15. Real-time system verification techniques based on abstraction/deduction and model checking

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Real-time system verification techniques based on abstraction/deduction and model checking Eun in or- der to obtain a powerful and highly automatic verification environment for real-time systems. One-Young.Kang@loria.fr Abstract. Our research focuses on verification techniques for real-time systems based on predicate

  16. Abstract--Using a bioenergetics model, we estimated daily ration and

    E-Print Network [OSTI]

    332 Abstract--Using a bioenergetics model, we estimated daily ration and seasonal prey consumption sandbar sharks (Carcharhinus plumbeus) in Chesapeake Bay, Virginia, using a bioenergetics model* W. Wesley used in error analyses of the sandbar shark (Carcharhinus plumbeus) bioenergetics model. See text

  17. Abstracting Business Modeling Patterns from Pankaj R. Telang and Munindar P. Singh

    E-Print Network [OSTI]

    Abstracting Business Modeling Patterns from RosettaNet Pankaj R. Telang and Munindar P. Singh North on a commitment-based approach for business modeling. It presents an ap- proach that defines commitment to model a well-known real-life use case of a cross-organizational business interaction. 1 Introduction

  18. Matching Simulation and Experiment: A New Simplified Model for Simulating Protein Folding (extended abstract)

    E-Print Network [OSTI]

    Istrail, Sorin

    Matching Simulation and Experiment: A New Simplified Model for Simulating Protein Folding (extended, Berkeley, CA 94720 T LHead-Gordon@lbl.gov, Abstract Simulations of simplified protein folding models have provided much insight into solving the protein folding problem. We propose here a new off-lattice bead

  19. Abstract --Most logistics network design models assume exogenous customer demand that is independent of the service

    E-Print Network [OSTI]

    Graves, Stephen C.

    Abstract -- Most logistics network design models assume exogenous customer demand for the network design decision making process. Index Terms -- Logistics Network Design, Demand Classes, Benefits. In most logistics network design models, the customer demand is exogenous and defined as a uniform

  20. System Advisor Model (SAM) | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavyAgencyTendo New Energy EquipmentSvendborg Brakes

  1. System Advisor Model (SAM) | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop Inc JumpHeter BatterySolarfinMarketMember

  2. SAMS Overview | National Nuclear Security Administration

    National Nuclear Security Administration (NNSA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal GasAdministration Medal of HonorPosterNationalPrograms |NationalSpring 2014Fall 2014SAMS

  3. Abstraction of Models for Pitting and Crevice Corrosion of Drip Shield and Waste Package Outer Barrier

    SciTech Connect (OSTI)

    K. Mon

    2001-08-29

    This analyses and models report (AMR) was conducted in response to written work direction (CRWMS M and O 1999a). ICN 01 of this AMR was developed following guidelines provided in TWP-MGR-MD-000004 REV 01, ''Technical Work Plan for: Integrated Management of Technical Product Input Department'' (BSC 2001, Addendum B). The purpose and scope of this AMR is to review and analyze upstream process-level models (CRWMS M and O 2000a and CRWMS M and O 2000b) and information relevant to pitting and crevice corrosion degradation of waste package outer barrier (Alloy 22) and drip shield (Titanium Grade 7) materials, and to develop abstractions of the important processes in a form that is suitable for input to the WAPDEG analysis for long-term degradation of waste package outer barrier and drip shield in the repository. The abstraction is developed in a manner that ensures consistency with the process-level models and information and captures the essential behavior of the processes represented. Also considered in the model abstraction are the probably range of exposure conditions in emplacement drifts and local exposure conditions on drip shield and waste package surfaces. The approach, method, and assumptions that are employed in the model abstraction are documented and justified.

  4. ASPB News,Vol. 37, No. 2 21 Sam Aronoff

    E-Print Network [OSTI]

    Govindjee

    , who was a chemist, died in 1997. Sam was born in New York City on February 27, 1915. His father Jewish, had emigrated from Russia. The family moved from New York to California, where Sam graduated from scratching through the char- coal...my job was to change it every day and file it." He then became a graduate

  5. GLAO IN THE VISIBLE: THE SAM EXPERIENCE Andrei Tokovinina

    E-Print Network [OSTI]

    Tokovinin, Andrei A.

    ) are not sensed, but the DM control is tilt-free. The third SAM partic- ularity is the use of a UV Rayleigh LGS light in March 2011. Good correction was achieved a year later. Figure 2 resumes SAM experience during, reasonably good seeing improvement was achieved. The shutdown periods were used to improve the thermal

  6. the sam noble oklahoma museum of natural history

    E-Print Network [OSTI]

    Oklahoma, University of

    the sam noble oklahoma museum of natural history annual report july 2006­june 2007 #12;board and steve Wright mission statement, adopted december 2003 the sam noble oklahoma museum of natural history at the university of oklahoma inspires minds to understand the natural and cultural world through collection

  7. MARQUAM HILL CAMPUS SW SWGIBBS ST / SAM JACKSON PARK RD

    E-Print Network [OSTI]

    Chapman, Michael S.

    B28 EMC MARQUAM HILL CAMPUS BRB SW SWGIBBS ST / SAM JACKSON PARK RD SW SAM JACKSON PARK RD SW US VETERANS HOSPITAL RD SW GAINES ST SW6THAVE SW CAMPUS DR SWUSVETERANSHOSPITALRD SW CAM PUS DR map: www.ohsu.edu/map From Lake Oswego/Sellwood Bridge area · Travel north on S.W. Macadam Ave. · Turn

  8. Economic Analysis Case Studies of Battery Energy Storage with SAM

    SciTech Connect (OSTI)

    DiOrio, Nicholas; Dobos, Aron; Janzou, Steven

    2015-11-01

    Interest in energy storage has continued to increase as states like California have introduced mandates and subsidies to spur adoption. This energy storage includes customer sited behind-the-meter storage coupled with photovoltaics (PV). This paper presents case study results from California and Tennessee, which were performed to assess the economic benefit of customer-installed systems. Different dispatch strategies, including manual scheduling and automated peak-shaving were explored to determine ideal ways to use the storage system to increase the system value and mitigate demand charges. Incentives, complex electric tariffs, and site specific load and PV data were used to perform detailed analysis. The analysis was performed using the free, publically available System Advisor Model (SAM) tool. We find that installation of photovoltaics with a lithium-ion battery system priced at $300/kWh in Los Angeles under a high demand charge utility rate structure and dispatched using perfect day-ahead forecasting yields a positive net-present value, while all other scenarios cost the customer more than the savings accrued. Different dispatch strategies, including manual scheduling and automated peak-shaving were explored to determine ideal ways to use the storage system to increase the system value and mitigate demand charges. Incentives, complex electric tariffs, and site specific load and PV data were used to perform detailed analysis. The analysis was performed using the free, publically available System Advisor Model (SAM) tool. We find that installation of photovoltaics with a lithium-ion battery system priced at $300/kWh in Los Angeles under a high demand charge utility rate structure and dispatched using perfect day-ahead forecasting yields a positive net-present value, while all other scenarios cost the customer more than the savings accrued.

  9. SAM -a facility GLAO instrument Andrei Tokovinin, Roberto Tighe, Patricio Schurter, Rolando Cantarutti, Nicole van der Bliek,

    E-Print Network [OSTI]

    Tokovinin, Andrei A.

    -American Observatory, Casilla 603, La Serena, Chile ABSTRACT The SOAR Adaptive Module (SAM) will compensate ground-layer atmospheric turbulence, improving image resolution in the visible over a 3 x3 field and increasing light and reliable ground layer adaptive optics system. The main AO module is now in the integration and testing

  10. Energy-oriented models for WDM networks Abstract--A realistic energy-oriented model is necessary to

    E-Print Network [OSTI]

    Politècnica de Catalunya, Universitat

    [4]. Recent initiatives gathering major IT companies started to explore the energy savings and greenEnergy-oriented models for WDM networks Abstract-- A realistic energy-oriented model is necessary to formally characterize the energy consumption and the consequent carbon footprint of actual and future high

  11. Modeling and Driving Piezoelectric Resonant Blade Elements

    E-Print Network [OSTI]

    Modeling and Driving Piezoelectric Resonant Blade Elements Sam Ben-Yaakov* and Natan Krihely Power@ee.bgu.ac.il ; Website: http://www.ee.bgu.ac.il/~pel Abstract-- Piezoelectric Resonant Blade elements (PRB) are useful in applications such as light choppers, laser beam scanners, fans and others. Three methods are proposed

  12. ModelChecking Infinite StateSpace Systems with FineGrained Abstractions Using SPIN

    E-Print Network [OSTI]

    Chechik, Marsha

    . Predicate abstraction, introduced by Graf and Saidi [GS97], is a form of abstraction specified as a number

  13. Abstract--This paper presents a stochastic model for the observed signal of biosensors, a model that predicts the signal

    E-Print Network [OSTI]

    Dutton, Robert W.

    1 of 4 Abstract-- This paper presents a stochastic model for the observed signal of biosensors-based biosensors. The effects of scaling from macroscopic to microscopic regimes are also studied, which indicate to analyze the behavior of a DNA hybridization electronic detector1. Keywords--Biosensor, noise, scaling, DNA

  14. Fast Protein Folding in the Hydrophobic-hydrophilic Model Within Three-eights of Optimal (Extended Abstract)

    E-Print Network [OSTI]

    Istrail, Sorin

    Fast Protein Folding in the Hydrophobic-hydrophilic Model Within Three-eights of Optimal (Extended for the protein folding problem in the hydrophobic- hydrophilic model, Dill (1985). To our knowledge, our al for this model, Dill (1994). The hydrophobic-hydrophilic model abstracts the dominant force of protein folding

  15. Abstract--In models of imperfect competition of deregulated electricity markets, the key task is to find the Nash equilibrium

    E-Print Network [OSTI]

    Baldick, Ross

    1 Abstract--In models of imperfect competition of deregulated electricity markets, the key task techniques are adopted in this paper. Two example application problems arising from electricity markets Terms-- Bimatrix Game, Complementarity Problem, Deregulation, Dominated Strategy, Electric Power Market

  16. Review: The Pedagogical State: Education and the Politics of National Culture in Post-1980 Turkey by Sam Kaplan

    E-Print Network [OSTI]

    Rexhepi, Jevdet

    2008-01-01

    in Post-1980 Turkey by Sam Kaplan. Palo Alto, CA: StanfordPedagogical State by Sam Kaplan draws substantially on theeducation. Specifically, Kaplan seeks to address how the

  17. JOHNSON, EVERINGHAM: CLUSTERED MODELS FOR HUMAN POSE ESTIMATION 1 Clustered Pose and Nonlinear Appearance

    E-Print Network [OSTI]

    Everingham, Mark

    Appearance Models for Human Pose Estimation Sam Johnson s.a.johnson04@leeds.ac.uk Mark Everingham m.everingham@leeds.ac.uk School of Computing University of Leeds Leeds, UK Abstract We investigate the task of 2D articulated parts e.g. labeling the position and orientation of the head, torso, arms and legs in an image

  18. SAM Technical Review Committee Final Report: Summary and Key Recommendations from the Onsite TRC Meeting Held April 22-23, 2013

    SciTech Connect (OSTI)

    Blair, N.; Dobos, S.; Janzou, S.; Gilman, P.; Freeman, J.; Kaffine, L.

    2013-08-01

    The System Advisor Model (SAM) is a broad and robust set of models and frameworks for analyzing both system performance and system financing. It does this across a range of technologies dominated by solar technologies including photovoltaics (PV) and concentrated solar power (CSP). The U.S. Department of Energy (DOE) Solar Energy Technology Program requested the SAM development team to review the photovoltaic performance modeling with the development community and specifically, with the independent engineering community. The report summarizes the major effort for this technical review committee (TRC).

  19. Uncle Sam Turns to SAM for Solar Modeling | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative FuelsofProgram: Report1538-1950 Timeline ofTurkeyProgram |2012)Unclassified

  20. Post-Training Support for Learning Technology Sam Snoddy, Jr.

    E-Print Network [OSTI]

    Novick, David G.

    Post-Training Support for Learning Technology Sam Snoddy, Jr. Cloudcroft Schools P.O. Box 198 the effects of post-training support, we studied the introduction of new gradebook software in a public high school. The school's 108 faculty members received training on the software, and approximately half

  1. Abstract: A 3D biomechanical finite element model of the face is presented. Muscles are represented by piece-

    E-Print Network [OSTI]

    Payan, Yohan

    /lower lip contacts are also modeled. Simulations of smiling and of an Orbicularis Oris activationAbstract: A 3D biomechanical finite element model of the face is presented. Muscles are represented the mesh or the muscle implementation totally independently of each other. Lip/teeth and upper lip

  2. Abstract--Modelling and control of gas turbines (GTs) have always been a controversial issue because of the complex

    E-Print Network [OSTI]

    Sainudiin, Raazesh

    Abstract--Modelling and control of gas turbines (GTs) have always been a controversial issue that there is no end to the efforts for performance optimization of gas turbines. A variety of analytical and experimental models as well as control systems has been built so far for gas turbines. However, the need

  3. thesis abstract: Applying species distribution modeling for the conservation of Iberian protected invertebrates

    E-Print Network [OSTI]

    Chefaoui, Rosa María

    2011-01-01

    ibero?baleares.   Ph.D.   Thesis.   Universidad  Autó? noma 6596  news and update  thesis abstract  Applying species María Chefaoui  PhD Thesis, Departamento de Biodiversidad y 

  4. An Abstract Model for Proving Safety of Multi-Lane Traffic Manoeuvres

    E-Print Network [OSTI]

    Habel, Annegret

    - timately a hybrid verification problem due to the continuous dynamics of the cars. We abstract from cars are equipped with such a controller. This is ultimately a problem of hybrid system verification-affine hybrid systems based on simplices. Our key idea for coping with the safety of many cars on a motorway

  5. Abstract Features in Feature Modeling Thomas Thum, Christian Kastner, Sebastian Erdweg, and Norbert Siegmund

    E-Print Network [OSTI]

    Kaestner, Christian

    , feature modeling, feature model, automated analyses. I. INTRODUCTION A software product line is a set--A software product line is a set of program variants, typically generated from a common code base. Feature models describe variability in product lines by documenting features and their valid combinations

  6. Abstract Game theoretical models predict that the main function of fighting behaviour is to assess the relative

    E-Print Network [OSTI]

    Kotiaho, Janne S.

    Abstract Game theoretical models predict that the main function of fighting behaviour is to assess the relative fighting ability of opponents. The sequential assessment game has often been used to investigate about fighting ability, and how size and motivation asymmetries affect male fighting behav- iour. We

  7. Abstract Designers of advanced power converters may choose from a variety of switching device models for simulation. Some

    E-Print Network [OSTI]

    Kimball, Jonathan W.

    Abstract ­ Designers of advanced power converters may choose from a variety of switching device to the design of a typical power converter than voltage transients. Averaging is used in [7] to create a power dissipation model. The present work instead inserts power dissipating elements at each switching edge

  8. Sam Rayburn Municipal Pwr Agny | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page onRAPID/Geothermal/Exploration/ColoradoRemsenburg-Speonk,Sage Resources Jump to:Ohio:Project Jump to:SaltonSam

  9. Abstract: The paper discusses model development aspects for electronic design automation using Virtual

    E-Print Network [OSTI]

    Petriu, Emil M.

    configurations - often in a much shorter time than would be required to physically build and test a prototype closely the reality. Advanced computation techniques are needed to reduce the execution time of the models by its usual 3D geometric shape, material property and safety-envelopes defining the 3D geometric space

  10. Abstract--Modeling and control of underwater vehicles presents the challenge of sufficiently identifying acting

    E-Print Network [OSTI]

    Papadopoulos, Evangelos

    Estimation, Multi-axis Motion Control, Tow-tank System, Model Identification. I. INTRODUCTION Measurement drag forces specifically, are important for the design of the necessary propulsion system for achieving the conservation of momentum to calculate the effective forces acting on the moving body, [2]. Extensive research

  11. Non-canonical active site architecture of the radical SAM thiamin pyrimidine synthase

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Fenwick, Michael K.; Mehta, Angad P.; Zhang, Yang; Abdelwahed, Sameh H.; Begley, Tadhg P.; Ealick, Steven E.

    2015-03-27

    Radical S-adenosylmethionine (SAM) enzymes use a [4Fe-4S] cluster to generate a 5'-deoxyadenosyl radical. Canonical radical SAM enzymes are characterized by a ?-barrel-like fold and SAM anchors to the differentiated iron of the cluster, which is located near the amino terminus and within the ?-barrel, through its amino and carboxylate groups. Here we show that ?ThiC, the thiamin pyrimidine synthase in plants and bacteria, contains a tethered cluster-binding domain at its carboxy terminus that moves in and out of the active site during catalysis. In contrast to canonical radical SAM enzymes, we predict that SAM anchors to an additional active sitemore »metal through its amino and carboxylate groups. Superimposition of the catalytic domains of ?ThiC and glutamate mutase shows that these two enzymes share similar active site architectures, thus providing strong evidence for an evolutionary link between the radical ?SAM and adenosylcobalamin-dependent enzyme superfamilies.« less

  12. AbstractAbstract Improving efficiency of thermoelectric

    E-Print Network [OSTI]

    Walker, D. Greg

    AbstractAbstract · Improving efficiency of thermoelectric energy conversion devices is a major-classical transport models used to predict ZT can effectively predict thermoelectric performance of bulk materials method proposed to couple quantum and scattering effects to predict thermoelectric performance. · NEGF

  13. SAM sees the light Andrei Tokovinin, Roberto Tighe, Patricio Schurter, Rolando Cantarutti, Nicole van der Bliek,

    E-Print Network [OSTI]

    Tokovinin, Andrei A.

    SAM sees the light Andrei Tokovinin, Roberto Tighe, Patricio Schurter, Rolando Cantarutti, Nicole on the SOAR Adaptive Module, SAM, including some results of tests of the Natural Guide Star mode: image telescope and laser wavefront sensor. Keywords: Laser Guide Star, Adaptive Optics 1. INTRODUCTION SOAR

  14. SPASM and Twitch Domains in S-Adenosylmethionine (SAM) Radical Enzymes

    E-Print Network [OSTI]

    Goldman, Peter J.

    S-Adenosylmethionine (SAM, also known as AdoMet) radical enzymes use SAM and a [4Fe-4S] cluster to catalyze a diverse array of reactions. They adopt a partial triose-phosphate isomerase (TIM) barrel fold with N- and ...

  15. PREDICATE ABSTRACTION a dissertation

    E-Print Network [OSTI]

    Dill, David L.

    of the original system. The abstract version of the verification condition, a safety property, is model v #12 for finding bugs. However, in the general case, the system is not finite state, and so model checking can automatic, verification of safety properties of infinite state systems. A finite set of abstraction

  16. Abstract. The use of object-orientation for both spatial data and spatial process models facilitates their integration, which can allow exploration

    E-Print Network [OSTI]

    Brown, Daniel G.

    process and data models: Toward integration of agent-based models and GIS Daniel G. Brown1,3 , Rick Riolo3Abstract. The use of object-orientation for both spatial data and spatial process models (fields and objects) and agent-based process models can interact: identity, causal, temporal

  17. Mutation of the Salt Bridge-forming Residues in the ETV6-SAM Domain Interface Blocks ETV6-NTRK3-induced

    E-Print Network [OSTI]

    McIntosh, Lawrence P.

    Mutation of the Salt Bridge-forming Residues in the ETV6-SAM Domain Interface Blocks ETV6-NTRK3 transformation. Results: Mutation of a salt bridge at the SAM polymer interface weakens SAM polymerization- physicalandcellularbiologicaltechniquesthatmutationofLys-99, which participates in a salt bridge at the SAM polymer interface, reducesself

  18. Configuration Structures (extended abstract)

    E-Print Network [OSTI]

    Pratt, Vaughan

    Configuration Structures (extended abstract) R.J. van Glabbeek \\Lambda Computer Science Department Science University of Edinburgh Edinburgh EH9 3JZ, UK gdp@dcs.ed.ac.uk Abstract Configuration structures provide a model of concur­ rency generalising the families of configurations of event structures. They can

  19. From Proceedings of the Twenty-First Annual Conference of the Cognitive Science Society. Vancouver: Lawrence Erlbaum (1999). Concrete and Abstract Models of Category Learning

    E-Print Network [OSTI]

    Langley, Pat

    1999-01-01

    : Lawrence Erlbaum (1999). Concrete and Abstract Models of Category Learning Pat Langley1 (langley@isle.org) Institute for the Study of Learning and Expertise 2164 Staunton Court, Palo Alto, CA 94306 USA Abstract of category learning with the growing evidence that dif- ferent theoretical paradigms typically produce

  20. Top-Down Intelligent Reservoir Models, Integrating Reservoir Engineering with AI&DM Extended Abstract, 2009 AAPG Annual Conventions, Denver Colorado

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    1 Top-Down Intelligent Reservoir Models, Integrating Reservoir Engineering with AI&DM Extended Abstract, 2009 AAPG Annual Conventions, Denver Colorado TOP-DOWN INTELLIGENT RESERVOIR MODELING (TDIRM and the history matched model is used to strategize field development in order to improve recovery. Top

  1. Abstract -A new analytical model for high-frequency noise in RF active CMOS mixers such as single-balanced and dou-

    E-Print Network [OSTI]

    Heydari, Payam

    Abstract - A new analytical model for high-frequency noise in RF active CMOS mixers such as single. The analytical model predicts that the output noise and NF are both a strong function of the LO frequency models for the mixer noise proposed in [1] and [2] are, therefore, incapable of accurately predicting

  2. 9th Annual Oklahoma Native American Youth Language Fair Sam Noble Oklahoma Museum of Natural History

    E-Print Network [OSTI]

    Oklahoma, University of

    9th Annual Oklahoma Native American Youth Language Fair Sam Noble Oklahoma Museum of Natural History University of Oklahoma Elder Voices, Youth Choices from the Oklahoma Native American Youth Language Fair! We are pleased

  3. SW SWGIBBS ST / SAM JACKSON PARK RD RDSW US VETERANS HOSPITAL RD

    E-Print Network [OSTI]

    Chapman, Michael S.

    BR B SW SWGIBBS ST / SAM JACKSON PARK RD SW SAM JACKSO N PARK RDSW US VETERANS HOSPITAL RD SW GAINES ST SW6THAVE SW CAMPUS DR SW USVETERANSHOSPITALRD SW CAM PUS DR SWTERWILLIGERBLVD 3 1 2 6 4 5 9 7 8.ohsu.edu/map From Lake Oswego/Sellwood Bridge area · Travel north on S.W. Macadam Ave. · Turn left onto S.W

  4. SW SWGIBBS ST / SAM JACKSON PARK RD RDSW US VETERANS HOSPITAL RD

    E-Print Network [OSTI]

    Chapman, Michael S.

    BR B B2 8 EM C SW SWGIBBS ST / SAM JACKSON PARK RD SW SAM JACKSO N PARK RDSW US VETERANS HOSPITAL RD SW GAINES ST SW6THAVE SW CAMPUS DR SW USVETERANSHOSPITALRD SW CAM PUS DR SWTERWILLIGERBLVD 3 1 2 6 HILL OHSU interactive map: www.ohsu.edu/map From Lake Oswego/Sellwood Bridge area · Travel north on S.W

  5. PREDICATE ABSTRACTION a dissertation

    E-Print Network [OSTI]

    Dill, David L.

    property, is model v #12; checked on the abstract system. If successful the verification condition holds an excellent tool for finding bugs. However, in the general case, the system is not finite state, and so model, and in many cases automatic, verification of safety properties of infinite state systems. A finite set

  6. Abstract--A bi-objective optimization model of power and power changes generated by a wind turbine is discussed in this

    E-Print Network [OSTI]

    Kusiak, Andrew

    1 Abstract--A bi-objective optimization model of power and power changes generated by a wind the industrial data collected at a wind farm. The models and constraints derived from the data were integrated prediction, power ramp rate, data mining, wind turbine operation strategy, generator torque, blade pitch

  7. Abstract--This paper introduces a kinematic model of a deep-sea mining vehicle in presence of sliding parameters. The

    E-Print Network [OSTI]

    Hu, Huosheng

    Abstract--This paper introduces a kinematic model of a deep-sea mining vehicle in presence of sliding parameters. The model describes both the noises features of sliding parameters and the deep better localization estimation than a normal UKF for a deep-sea tracked vehicle (DTV). I. INTRODUCTION

  8. Large Engineering Systems Conference on Power Engineering, July 2004, Halifax Canada. IEEE 2004 1 Abstract--One important assumption in a model of an

    E-Print Network [OSTI]

    the impacts of bid format and profit calculation on market outcomes in different scenarios. Index Terms-- Power system economics, Pricing, Market design I. INTRODUCTION ne of the first assumptions in a model Abstract--One important assumption in a model of an electricity market is the format of bids and costs

  9. EBS Radionuclide Transport Abstraction

    SciTech Connect (OSTI)

    J. Prouty

    2006-07-14

    The purpose of this report is to develop and analyze the engineered barrier system (EBS) radionuclide transport abstraction model, consistent with Level I and Level II model validation, as identified in Technical Work Plan for: Near-Field Environment and Transport: Engineered Barrier System: Radionuclide Transport Abstraction Model Report Integration (BSC 2005 [DIRS 173617]). The EBS radionuclide transport abstraction (or EBS RT Abstraction) is the conceptual model used in the total system performance assessment (TSPA) to determine the rate of radionuclide releases from the EBS to the unsaturated zone (UZ). The EBS RT Abstraction conceptual model consists of two main components: a flow model and a transport model. Both models are developed mathematically from first principles in order to show explicitly what assumptions, simplifications, and approximations are incorporated into the models used in the TSPA. The flow model defines the pathways for water flow in the EBS and specifies how the flow rate is computed in each pathway. Input to this model includes the seepage flux into a drift. The seepage flux is potentially split by the drip shield, with some (or all) of the flux being diverted by the drip shield and some passing through breaches in the drip shield that might result from corrosion or seismic damage. The flux through drip shield breaches is potentially split by the waste package, with some (or all) of the flux being diverted by the waste package and some passing through waste package breaches that might result from corrosion or seismic damage. Neither the drip shield nor the waste package survives an igneous intrusion, so the flux splitting submodel is not used in the igneous scenario class. The flow model is validated in an independent model validation technical review. The drip shield and waste package flux splitting algorithms are developed and validated using experimental data. The transport model considers advective transport and diffusive transport from a breached waste package. Advective transport occurs when radionuclides that are dissolved or sorbed onto colloids (or both) are carried from the waste package by the portion of the seepage flux that passes through waste package breaches. Diffusive transport occurs as a result of a gradient in radionuclide concentration and may take place while advective transport is also occurring, as well as when no advective transport is occurring. Diffusive transport is addressed in detail because it is the sole means of transport when there is no flow through a waste package, which may dominate during the regulatory compliance period in the nominal and seismic scenarios. The advective transport rate, when it occurs, is generally greater than the diffusive transport rate. Colloid-facilitated advective and diffusive transport is also modeled and is presented in detail in Appendix B of this report.

  10. Abstract--In this paper, we present an collision avoidance algorithm for unmanned aerial vehicles (UAVs) based on model

    E-Print Network [OSTI]

    Sastry, S. Shankar

    Abstract-- In this paper, we present an collision avoidance algorithm for unmanned aerial vehicles in a head-on collision scenario using unmanned aerial vehicles. I. INTRODUCTION HE concept of a highly to avoid the impending collision at all cost. During this procedure, the unmanned vehicle must compute

  11. ABSTRACT: The ability of a watershed model to mimic specified watershed processes is assessed through the calibration and valida-

    E-Print Network [OSTI]

    Chaubey, Indrajeet

    model was implemented in the Beaver Reservoir Watershed of Northwest Arkansas. The objectives were to model; (2) conduct sensitivity analysis; and (3) perform calibration and validation at three different of the model is a key factor in reducing uncertainty and increasing user confidence in its predictive abilities

  12. Electronic copy available at: http://ssrn.com/abstract=2046853 Can Agent-Based Models Forecast Spot Prices in Electricity Markets? Evidence from the New

    E-Print Network [OSTI]

    Tesfatsion, Leigh

    Spot Prices in Electricity Markets? Evidence from the New Zealand Electricity Market David Young1 , Stephen Poletti2 , Oliver Browne2 24th January 2012 Abstract Modelling price formation in electricity markets is a notoriously difficult process, due to physical constraints on electricity generation and flow

  13. Abstract--Software testing requires the use of a model to guide such efforts as test selection and test verification. In this

    E-Print Network [OSTI]

    Fernandez, Thomas

    Abstract-- Software testing requires the use of a model to guide such efforts as test selection and trajectory information to evolve and test general software. Finally, we close with a discussion of how our-Based testing; Genetic Programming Test Generator; Finite State Machine. I. INTRODUCTION Software behavior can

  14. Seventh International Symposium on Technology and Mine Problem, NPS, Monterey, California, USA, 2-4 May, 2006 1 Abstract -The Navy's Impact Burial Model (IMPACT35)

    E-Print Network [OSTI]

    Chu, Peter C.

    -4 May, 2006 1 1 Abstract - The Navy's Impact Burial Model (IMPACT35) predicts the cylindrical mine.S. Navy from "blue" water, anti-Soviet focus, towards a concentration on the regional littoral threats of the world. With the increasing number of regional and asymmetric threats, the Navy must operate effectively

  15. The nucleation and growth of calcium oxalate monohydrate on self- assembled monolayers (SAMs)

    SciTech Connect (OSTI)

    Campbell, A.A.; Tarasevich, B.J.; Graff, G.L.; Fryxell, G.E.; Rieke, P.C.

    1992-05-01

    A physical chemical approach was used to study calcium oxalate monohydrate (COM) nucleation and growth on various organic interfaces. Self-assembling monolayers (SAMs), containing derivatized organic functional groups, were designed to mimic various amino acid residues present in both urine and stone matrix macromolecules. Derivatized surfaces include SAMs with terminal methyl, bromo, imidazole, and thiazolidine-carboxylic acid functional groups. Pronounced differences in COM deposition were observed for the various interfaces with the imidazole and thiazolidine surfaces having the greatest effect and the methyl and bromo groups having little or no nucleating potential.

  16. Abstract--We present new approaches for building yearly and seasonal models for 5-minute ahead electricity load

    E-Print Network [OSTI]

    Koprinska, Irena

    to building a single yearly model. I. INTRODUCTION PREDICTING the future electricity demand, also called electricity load forecasting. They are evaluated using two full years of Australian electricity load data. We first analyze the cyclic nature of the electricity load and show that the autocorrelation function

  17. Abstract--In this paper two approaches for reducing communication traffic in a control network, namely, Model-

    E-Print Network [OSTI]

    Antsaklis, Panos

    considered in this paper. I. INTRODUCTION N Networked Control Systems (NCS) a digital communication network in control design in order to account for limited feedback information in the analysis and design of NCS, namely, Model- Based Networked Control Systems (MB-NCS) and event- triggered control, are unified under

  18. A Multilingual, Multimodal Digital Video Library System Michael R. Lyu, Edward Yau, Sam Sze

    E-Print Network [OSTI]

    Lyu, Michael R.

    A Multilingual, Multimodal Digital Video Library System Michael R. Lyu, Edward Yau, Sam Sze Computer Science and Engineering Department The Chinese University of Hong Kong +852 2609 8429 {lyu, edyau Storage and Retrieval]: Digital Library ­ Standards, Systems issues, User issues. General Terms Design

  19. HARD X-RAY EMISSIONS FROM PARTIALLY OCCULTED SOLAR FLARES Sam Krucker1

    E-Print Network [OSTI]

    California at Berkeley, University of

    HARD X-RAY EMISSIONS FROM PARTIALLY OCCULTED SOLAR FLARES Sa¨m Krucker1 and R. P. Lin1,2 krucker occulted by the solar limb provide diagnostics of coronal hard X-ray (HXR) emissions in the absence of generally much brighter emissions from footpoints of flare loops. In this paper, a statis- tical survey

  20. 1 INTRODUCTION The plastic behavior of a certain powder or soil sam-

    E-Print Network [OSTI]

    Luding, Stefan

    1 INTRODUCTION The plastic behavior of a certain powder or soil sam- ple depends on the history in order to in- vestigate the elasto-plastic response of granular ma- terials. An alternative is obtained by the calculation of the interaction forces between parti- cles. This includes, e.g., plastic

  1. On the Energy-Efficiency of Speculative Hardware Nana B. Sam

    E-Print Network [OSTI]

    Burtscher, Martin

    On the Energy-Efficiency of Speculative Hardware Nana B. Sam Computer Systems Laboratory Cornell, several researchers have pro- posed and evaluated energy-efficient variants of speculation mechanisms to accurately com- pare the energy-efficiency of speculative architectures. Our met- ric is based on runtime

  2. male baboon intervened in a fight. By analysing DNA from faecal and blood sam-

    E-Print Network [OSTI]

    Neff, Bryan D.

    male baboon intervened in a fight. By analysing DNA from faecal and blood sam- ples the authors be uncertain. But male savannah baboons are seldom confused: when intervening in fights between youngsters 179 of this issue, reveals that when male savannah baboons (Papio cynocephalus) intervene in fights

  3. Sam Houston State University A Member of The Texas State University System

    E-Print Network [OSTI]

    Short, Jon W.

    -IR-02 SHSU Web Accessibility Sam Houston State University is committed to making all official, academic the site. Major reports and other publications that are on the Web site are generally available in HTML or Adobe Portable Document Format. SHSU is committed to making its Web site accessible according

  4. EBS Radionuclide Transport Abstraction

    SciTech Connect (OSTI)

    J.D. Schreiber

    2005-08-25

    The purpose of this report is to develop and analyze the engineered barrier system (EBS) radionuclide transport abstraction model, consistent with Level I and Level II model validation, as identified in ''Technical Work Plan for: Near-Field Environment and Transport: Engineered Barrier System: Radionuclide Transport Abstraction Model Report Integration'' (BSC 2005 [DIRS 173617]). The EBS radionuclide transport abstraction (or EBS RT Abstraction) is the conceptual model used in the total system performance assessment for the license application (TSPA-LA) to determine the rate of radionuclide releases from the EBS to the unsaturated zone (UZ). The EBS RT Abstraction conceptual model consists of two main components: a flow model and a transport model. Both models are developed mathematically from first principles in order to show explicitly what assumptions, simplifications, and approximations are incorporated into the models used in the TSPA-LA. The flow model defines the pathways for water flow in the EBS and specifies how the flow rate is computed in each pathway. Input to this model includes the seepage flux into a drift. The seepage flux is potentially split by the drip shield, with some (or all) of the flux being diverted by the drip shield and some passing through breaches in the drip shield that might result from corrosion or seismic damage. The flux through drip shield breaches is potentially split by the waste package, with some (or all) of the flux being diverted by the waste package and some passing through waste package breaches that might result from corrosion or seismic damage. Neither the drip shield nor the waste package survives an igneous intrusion, so the flux splitting submodel is not used in the igneous scenario class. The flow model is validated in an independent model validation technical review. The drip shield and waste package flux splitting algorithms are developed and validated using experimental data. The transport model considers advective transport and diffusive transport from a breached waste package. Advective transport occurs when radionuclides that are dissolved or sorbed onto colloids (or both) are carried from the waste package by the portion of the seepage flux that passes through waste package breaches. Diffusive transport occurs as a result of a gradient in radionuclide concentration and may take place while advective transport is also occurring, as well as when no advective transport is occurring. Diffusive transport is addressed in detail because it is the sole means of transport when there is no flow through a waste package, which may dominate during the regulatory compliance period in the nominal and seismic scenarios. The advective transport rate, when it occurs, is generally greater than the diffusive transport rate. Colloid-facilitated advective and diffusive transport is also modeled and is presented in detail in Appendix B of this report.

  5. A Core Calculus of Metaclasses Sam Tobin-Hochstadt

    E-Print Network [OSTI]

    Tobin-Hochstadt, Sam

    Allen Sun Microsystems Laboratories eric.allen@sun.com Abstract Metaclasses provide a useful mechanism. This calculus is presented as an adaptation of Featherweight GJ [13], and is powerful enough to capture Copyright c 2005 Sun Microsystems, Inc. All Rights Reserved see the problem, consider a system with a class

  6. Abstract Scalable Performance Engineering Notation | ORNL

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Abstract Scalable Performance Engineering Notation May 01, 2013 Aspen (Abstract Scalable Performance Engineering Notation) is a domain specific language for performance modeling...

  7. Review: The Pedagogical State: Education and the Politics of National Culture in Post-1980 Turkey by Sam Kaplan

    E-Print Network [OSTI]

    Rexhepi, Jevdet

    2008-01-01

    Culture in Post-1980 Turkey by Sam Kaplan. Palo Alto, CA:pp. ISBN 0-8047-5433-0. Turkey has long gripped the ferventparticular ideologies in Turkey to tease out the multiple

  8. System Advisor Model: Flat Plate Photovoltaic Performance Modeling Validation Report

    SciTech Connect (OSTI)

    Freeman, J.; Whitmore, J.; Kaffine, L.; Blair, N.; Dobos, A. P.

    2013-12-01

    The System Advisor Model (SAM) is a free software tool that performs detailed analysis of both system performance and system financing for a variety of renewable energy technologies. This report provides detailed validation of the SAM flat plate photovoltaic performance model by comparing SAM-modeled PV system generation data to actual measured production data for nine PV systems ranging from 75 kW to greater than 25 MW in size. The results show strong agreement between SAM predictions and field data, with annualized prediction error below 3% for all fixed tilt cases and below 8% for all one axis tracked cases. The analysis concludes that snow cover and system outages are the primary sources of disagreement, and other deviations resulting from seasonal biases in the irradiation models and one axis tracking issues are discussed in detail.

  9. F A C U L T Y Sam Minner, PhD

    E-Print Network [OSTI]

    Gering, Jon C.

    F A C U L T Y DEAN Sam Minner, PhD FACULTY Josephine Agnew, EdD Dale Blesz, PhD Kay Clapp, PhD DarlD John Hoffmann, PhD Peter Kelly, PhD Christopher Maglio, PhD Robert J. Martin, PhD Patricia Miller, Ph) Marie Spadaro, PhD (English) Thomas J. Trimborn, PhD (Music) Wynne Wilbur, MFA (Art) D E G R E E S O F F

  10. MuSIC status report 2011 Sam Cook (University College London)

    E-Print Network [OSTI]

    McDonald, Kirk

    04/08/2011 MuSIC status report 2011 1 Sam Cook (University College London) On behalf of the MuSIC Collaboration NuFACT11 at UniGe 4th August, 2011 #12;04/08/2011 Contents What is MuSIC and what do we do with it.2MW(1) proton beam MuSIC aims to reach or beat that using a 400W proton beam (1)Psi website: http

  11. Sam Rayburn G&T Elec Coop Inc | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page onRAPID/Geothermal/Exploration/ColoradoRemsenburg-Speonk,Sage Resources Jump to:Ohio:Project Jump to:SaltonSam Rayburn

  12. Sam's Family Spa Pool & Spa Low Temperature Geothermal Facility | Open

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page onRAPID/Geothermal/Exploration/ColoradoRemsenburg-Speonk,Sage Resources Jump to:Ohio:Project Jump to:SaltonSamEnergy

  13. Reference Manual for the System Advisor Model's Wind Power Performance Model

    SciTech Connect (OSTI)

    Freeman, J.; Jorgenson, J.; Gilman, P.; Ferguson, T.

    2014-08-01

    This manual describes the National Renewable Energy Laboratory's System Advisor Model (SAM) wind power performance model. The model calculates the hourly electrical output of a single wind turbine or of a wind farm. The wind power performance model requires information about the wind resource, wind turbine specifications, wind farm layout (if applicable), and costs. In SAM, the performance model can be coupled to one of the financial models to calculate economic metrics for residential, commercial, or utility-scale wind projects. This manual describes the algorithms used by the wind power performance model, which is available in the SAM user interface and as part of the SAM Simulation Core (SSC) library, and is intended to supplement the user documentation that comes with the software.

  14. Generic CSP Performance Model for NREL's System Advisor Model: Preprint

    SciTech Connect (OSTI)

    Wagner, M. J.; Zhu, G.

    2011-08-01

    The suite of concentrating solar power (CSP) modeling tools in NREL's System Advisor Model (SAM) includes technology performance models for parabolic troughs, power towers, and dish-Stirling systems. Each model provides the user with unique capabilities that are catered to typical design considerations seen in each technology. Since the scope of the various models is generally limited to common plant configurations, new CSP technologies, component geometries, and subsystem combinations can be difficult to model directly in the existing SAM technology models. To overcome the limitations imposed by representative CSP technology models, NREL has developed a 'Generic Solar System' (GSS) performance model for use in SAM. This paper discusses the formulation and performance considerations included in this model and verifies the model by comparing its results with more detailed models.

  15. Anodic Behavior of SAM2X5 Material Applied as Amorphous Coatings

    SciTech Connect (OSTI)

    Hailey, P D; Farmer, J C; Day, S D; Rebak, R B

    2007-08-10

    Iron-based amorphous alloys are desirable industrial materials since they are highly resistant to corrosion and possess enhanced hardness for wear resistance. The amorphous materials can be produced from the melt as powder and later spray deposited as coatings on large engineering structures. As a laboratory experiment, SAM2X5 powder was coated on electrochemical specimens of 304SS for testing. Results show that the coated specimens did not perform satisfactorily during the laboratory testing. This is because of partial devitrification during the deposition of the powder on the small specimen substrates.

  16. Atomistic characterization of SAM coatings as gate insulators in Si-based FET devices

    SciTech Connect (OSTI)

    Gala, F. [Universitá di Roma La Sapienza, Via Scarpa 14-16, 00161 Rome (Italy); Zollo, G. [Universitá di Roma La Sapienza', Via Scarpa 14-16, 00161 Rome (Italy)

    2014-06-19

    Many nano-material systems are currently under consideration as possible candidates for gate dielectric insulators in both metal-oxide-semiconductor (MOSFET) and organic (OFET) field-effect transistors. In this contribution, the possibility of employing self-assembled monolayers (SAMs) of hydroxylated octadecyltrichlorosilane (OTS) chains on a (111) Si substrate as gate dielectrics is discussed; in particular ab initio theoretical simulations have been employed to study the structural properties, work function modifications, and the insulating properties of OTS thin film coatings on Si substrates.

  17. F A C U L T Y Sam Minner, PhD

    E-Print Network [OSTI]

    Gering, Jon C.

    F A C U L T Y DEAN Sam Minner, PhD FACULTY Josephine Agnew, EdD Dale Blesz, PhD Kay Clapp, PhD Darl Davis, EdS Donna Fisher-Rhinesmith, EdD Lou Ann Gilchrist, EdD Janice Grow, PhD Barbara K. Heard, EdD John Hoffmann, PhD Peter Kelly, PhD Christopher Maglio, PhD Robert J. Martin, PhD Patricia Miller, PhD

  18. Abstract Algebra done Concretely

    E-Print Network [OSTI]

    2004-02-19

    Feb 19, 2004 ... find a book that covered basic abstract algebra with the level and emphasis that ...... c) Substitute these back into the previous equation. 5. Let a ...

  19. Programme, Abstracts, Presentations & Proceedings

    E-Print Network [OSTI]

    Programme, Abstracts, Presentations & Proceedings 24th IAEA Fusion Energy Conference October 8 Secretaries: Mr Ralf Kaiser Mr Richard Kamendje Division of Physical and Chemical Sciences International

  20. BEMS: Abstract book

    SciTech Connect (OSTI)

    1995-06-01

    This volume provides abstracts of presentations made at the Sixteenth Meeting of The Bioelectromagnetics Society held June 12-17, 1994 in Copenhagen, Denmark.

  1. Math 453: Abstract Algebra

    E-Print Network [OSTI]

    TEXTBOOK: J. Gallian; Contemporary Abstract Algebra, 7th edition, Heath. There is a copy of Gallian on reserve in the Mathematics library (3rd floor of MATH).

  2. Comparison of Photovoltaic Models in the System Advisor Model: Preprint

    SciTech Connect (OSTI)

    Blair, N. J.; Dobos, A. P.; Gilman, P.

    2013-08-01

    The System Advisor Model (SAM) is free software developed by the National Renewable Energy Laboratory (NREL) for predicting the performance of renewable energy systems and analyzing the financial feasibility of residential, commercial, and utility-scale grid-connected projects. SAM offers several options for predicting the performance of photovoltaic (PV) systems. The model requires that the analyst choose from three PV system models, and depending on that choice, possibly choose from three module and two inverter component models. To obtain meaningful results from SAM, the analyst must be aware of the differences between the model options and their applicability to different modeling scenarios. This paper presents an overview the different PV model options and presents a comparison of results for a 200-kW system using different model options.

  3. Abstract Interpretation patrick cousot

    E-Print Network [OSTI]

    Cousot, Patrick

    -specific abstract seman- tics domain D and an abstract seman- tics S L D which is designed in- tuitively in [Cousot and Cousot 1977, 1979] is constructive in the sense that once the standard seman- tics . An example would be the approximation of a trace-based seman- tics by a relational/denotational seman- tics

  4. Abstracting over Semantic Theories 

    E-Print Network [OSTI]

    Holt, Alexander G B

    The topic of this thesis is abstraction over theories of formal semantics for natural language.It is motivated by the belief that a metatheoretical perspective can contribute both to a better theoretical understanding of semantic theories...

  5. Abstraction for web programming 

    E-Print Network [OSTI]

    Yallop, Jeremy

    2010-01-01

    This thesis considers several instances of abstraction that arose in the design and implementation of the web programming language Links. The first concerns user interfaces, specified using HTML forms. We wish to construct ...

  6. Abstracts of contributed papers

    SciTech Connect (OSTI)

    Not Available

    1994-08-01

    This volume contains 571 abstracts of contributed papers to be presented during the Twelfth US National Congress of Applied Mechanics. Abstracts are arranged in the order in which they fall in the program -- the main sessions are listed chronologically in the Table of Contents. The Author Index is in alphabetical order and lists each paper number (matching the schedule in the Final Program) with its corresponding page number in the book.

  7. Abstract Interpretation patrick cousot

    E-Print Network [OSTI]

    Cousot, Patrick

    ­specific abstract seman­ tics domain D ] and an abstract seman­ tics S ] 2 L 7! D ] which is designed in­ tuitively seman­ tics S and an approximation ff are cho­ sen, one can derive the best choice for the corresponding of a trace­based seman­ tics by a relational/denotational seman­ tics: ff(P ) def = fhs 0 ; s n i j s 0 s 1

  8. An archaeological survey of the Bryan East Side (Sam Rayburn) Park Area in the city of Bryan, Brazos County Texas 

    E-Print Network [OSTI]

    Moore, William

    2015-06-03

    An archaeological survey was conducted at a 23.074 acre tract in the city limits of Bryan, Texas at the site of the Bryan East Side (Sam Rayburn) Park by Brazos Valley Research Associates. Fieldwork was carried out during the period of September 11...

  9. Sensitivity of Concentrating Solar Power Trough Performance, Cost and Financing with Solar Advisor Model

    SciTech Connect (OSTI)

    Blair, N.; Mehos, M.; Christensen, C.

    2008-03-01

    A comprehensive solar technology systems analysis model, the Solar Advisor Model (SAM) was developed to support the federal R&D community and the solar industry. This model, developed by staff at NREL and Sandia National Laboratory, is able to model the costs, finances, and performance of concentrating solar power and photovoltaics (PV). Currently, parabolic troughs and concentrating PV are the two concentrating technologies modeled within the SAM environment.

  10. thesis abstract: Assessing the effect of land-cover changes on species distributions: application of habitat models to conservation of Mediterranean bird communities

    E-Print Network [OSTI]

    Vallecillo, Sara

    2010-01-01

    ISSN 1948-6596 news and update thesis abstract Assessing theThe general aim of my thesis was to identify the ecologicalmain results from my PhD thesis derived in four manuscripts,

  11. abstract-BA.docx

    E-Print Network [OSTI]

    Angelo Camerlenghi

    Seismic techniques, such as wave modeling, traveltime tomography and microseismic imaging of hydraulic fracturing, are briefly outlined to assess the ...

  12. ABSTRACTS OF PAPERS PUBLISHED

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    process involving the formation of the bound states is presently not amenable to calculation. Various models of quarkonia production have been proposed, including color singlet...

  13. ABSTRACTS FOR PAPERS PUBLISHED

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach HomeA Better Anode Design to Improve4AJ01) (See Energy Level79AJ01) (NotAdvanced ABSTRACTS FOR PAPERS

  14. ABSTRACTS FOR PAPERS SUBMITTED

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach HomeA Better Anode Design to Improve4AJ01) (See Energy Level79AJ01) (NotAdvanced ABSTRACTS FOR PAPERSFOR

  15. ABSTRACTS OF PAPERS PUBLISHED

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach HomeA Better Anode Design to Improve4AJ01) (See Energy Level79AJ01) (NotAdvanced ABSTRACTS FOR

  16. ABSTRACTS OF PAPERS PUBLISHED

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach HomeA Better Anode Design to Improve4AJ01) (See Energy Level79AJ01) (NotAdvanced ABSTRACTS FOR3 - March

  17. ABSTRACTS OF PAPERS PUBLISHED

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach HomeA Better Anode Design to Improve4AJ01) (See Energy Level79AJ01) (NotAdvanced ABSTRACTS FOR3 - March8

  18. ABSTRACTS OF PAPERS PUBLISHED

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach HomeA Better Anode Design to Improve4AJ01) (See Energy Level79AJ01) (NotAdvanced ABSTRACTS FOR3 - March89

  19. ABSTRACTS OF PAPERS PUBLISHED

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach HomeA Better Anode Design to Improve4AJ01) (See Energy Level79AJ01) (NotAdvanced ABSTRACTS FOR3 -

  20. ABSTRACTS OF PAPERS PUBLISHED

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefieldSulfateSciTechtail.TheoryTuesday, August 10, 20102016 News BelowAsked toUSC-Aiken,AUii ABSTRACT4 - March

  1. Electronic copy available at: http://ssrn.com/abstract=2014739 Published as: Amir Nosrat and Joshua M. Pearce, "Dispatch Strategy and Model for Hybrid Photovoltaic and Combined Heating,

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    M. Pearce, "Dispatch Strategy and Model for Hybrid Photovoltaic and Combined Heating, Cooling.02.044 Dispatch Strategy and Model for Hybrid Photovoltaic and Trigeneration Power Systems Amir Nosrat1 and Joshua of residential-scale photovoltaic (PV) arrays. These hybrid systems enjoy a symbiotic relationship between

  2. Abstract. This paper applies Kim and Warde's (2004) stratified Warner's randomized response model to Mangat and Singh's (1990) two-stage ran-

    E-Print Network [OSTI]

    Kim, Jong-Min

    2004-01-01

    to Mangat and Singh's (1990) two-stage ran- domized response model. The proposed stratified randomized on the proposed method is more efficient than Kim and Warde's (2004) and Mangat and Singh's (1990) estimators in the case of less than completely truthful reporting. Mangat and Singh (1990) proposed a two-stage RR model

  3. Abstract--The Black-Scholes (B-S) model is the traditional tool for giving a theoretical estimate of the price of

    E-Print Network [OSTI]

    Fernandez, Thomas

    of the price of European-style options. However, the basic assumptions on the assets and market made in the B-S model are ideal. Furthermore, a lot of factors which might affect the prices of options have not been) are applied to forecast the prices of stock options by using the six basic factors in the B-S model

  4. Fuzzy Chemical Abstract Machines

    E-Print Network [OSTI]

    Syropoulos, Apostolos

    2009-01-01

    Fuzzy set theory opens new vistas in computability theory and here I show this by defining a new computational metaphor--the fuzzy chemical metaphor. This metaphor is an extension of the chemical metaphor. In particular, I introduce the idea of a state of a system as a solution of fuzzy molecules, that is molecules that are not just different but rather similar, that react according to a set of fuzzy reaction rules. These notions become precise by introducing fuzzy labeled transition systems. Solutions of fuzzy molecules and fuzzy reaction rules are used to define the general notion of a fuzzy chemical abstract machine, which is a {\\em realization} of the fuzzy chemical metaphor. Based on the idea that these machines can be used to describe the operational semantics of process calculi and algebras that include fuzziness as a fundamental property, I present a toy calculus that is a fuzzy equivalent of the $\\pi$-calculus.

  5. Reconstitution of ThiC in thiamine pyrimidine biosynthesis expands the radical SAM superfamily

    SciTech Connect (OSTI)

    Chatterjee, Abhishek; Li, Yue; Zhang, Yang; Grove, Tyler L.; Lee, Michael; Krebs, Carsten; Booker, Squire J.; Begley, Tadhg P.; Ealick, Steven E. (Cornell); (Penn)

    2009-01-15

    4-Amino-5-hydroxymethyl-2-methylpyrimidine phosphate (HMP-P) synthase catalyzes a complex rearrangement of 5-aminoimidazole ribonucleotide (AIR) to form HMP-P, the pyrimidine moiety of thiamine phosphate. We determined the three-dimensional structures of HMP-P synthase and its complexes with the product HMP-P and a substrate analog imidazole ribotide. The structure of HMP-P synthase reveals a homodimer in which each protomer comprises three domains: an N-terminal domain with a novel fold, a central ({beta}{alpha}){sub 8} barrel and a disordered C-terminal domain that contains a conserved CX{sub 2}CX{sub 4}C motif, which is suggestive of a [4Fe-4S] cluster. Biochemical studies have confirmed that HMP-P synthase is iron sulfur cluster-dependent, that it is a new member of the radical SAM superfamily and that HMP-P and 5{prime}-deoxyadenosine are products of the reaction. Moessbauer and EPR spectroscopy confirm the presence of one [4Fe-4S] cluster. Structural comparisons reveal that HMP-P synthase is homologous to a group of adenosylcobalamin radical enzymes. This similarity supports an evolutionary relationship between these two superfamilies.

  6. NREL's System Advisor Model Simplifies Complex Energy Analysis (Fact Sheet)

    SciTech Connect (OSTI)

    Not Available

    2015-01-01

    NREL has developed a tool -- the System Advisor Model (SAM) -- that can help decision makers analyze cost, performance, and financing of any size grid-connected solar, wind, or geothermal power project. Manufacturers, engineering and consulting firms, research and development firms, utilities, developers, venture capital firms, and international organizations use SAM for end-to-end analysis that helps determine whether and how to make investments in renewable energy projects.

  7. Detailed Physical Trough Model for NREL's Solar Advisor Model: Preprint

    SciTech Connect (OSTI)

    Wagner, M. J.; Blair, N.; Dobos, A.

    2010-10-01

    Solar Advisor Model (SAM) is a free software package made available by the National Renewable Energy Laboratory (NREL), Sandia National Laboratory, and the US Department of Energy. SAM contains hourly system performance and economic models for concentrating solar power (CSP) systems, photovoltaic, solar hot-water, and generic fuel-use technologies. Versions of SAM prior to 2010 included only the parabolic trough model based on Excelergy. This model uses top-level empirical performance curves to characterize plant behavior, and thus is limited in predictive capability for new technologies or component configurations. To address this and other functionality challenges, a new trough model; derived from physical first principles was commissioned to supplement the Excelergy-based empirical model. This new 'physical model' approaches the task of characterizing the performance of the whole parabolic trough plant by replacing empirical curve-fit relationships with more detailed calculations where practical. The resulting model matches the annual performance of the SAM empirical model (which has been previously verified with plant data) while maintaining run-times compatible with parametric analysis, adding additional flexibility in modeled system configurations, and providing more detailed performance calculations in the solar field, power block, piping, and storage subsystems.

  8. AbstractFirst-principles models that incorporate all of the key physics that affect the internal states of a lithium-ion

    E-Print Network [OSTI]

    Subramanian, Venkat

    states of a lithium-ion battery are in the form of coupled nonlinear PDEs. While these models are very systems (BMS) to design and implement better monitoring and control strategies. I. INTRODUCTION Lithium-ion are the main issues that need to be addressed in order to use a lithium-ion battery efficiently and safely

  9. Abstract--In this paper a closed-form 2D analytical model developed for the estimation of eddy current loss in interior

    E-Print Network [OSTI]

    Noé, Reinhold

    current loss in interior permanent magnet machines is presented. To check the generality of the developed model, two different types of commonly employed interior permanent magnet machines are considered. 2D of 2 as in applications like hybrid and pure electric cars [1]. These motors are fed from an inverter

  10. Abstract--We use the OPA global complex systems model of the power transmission system to investigate the effect of a

    E-Print Network [OSTI]

    and the probability of large cascading failures. The OPA model represents the power grid at the level of DC load flow and LP generation dispatch and represents blackouts caused by randomly triggered cascading line outages and generators. We examine the effect of increased component reliability on the long-term risks, the effect

  11. Abstract--We report on an industrial project in which we developed an inventory model to provide decision support for the

    E-Print Network [OSTI]

    Graves, Stephen C.

    . There is now an emerging literature on models for reverse logistics, within which this paper should fit (see of the central facility and the regional depots. Index Terms-- inventory planning, remanufacturing, reverse logistics, multi-echelon systems, supply chain planning. I. INTRODUCTION The supply chains for more and more

  12. Abstract Data Types 5 Algebraic Theory of Abstract Data Types

    E-Print Network [OSTI]

    Berger, Ulrich

    stack top: stack elts The following is an algebra for the signature STACK. Algebra SeqN Carriers N, N43 Part II Abstract Data Types #12;44 5 Algebraic Theory of Abstract Data Types An Abstract Data Type (ADT) is a collection of objects and functions, that is, an algebra, where one ignores how

  13. Analysis of complex networks using aggressive abstraction.

    SciTech Connect (OSTI)

    Colbaugh, Richard; Glass, Kristin.; Willard, Gerald

    2008-10-01

    This paper presents a new methodology for analyzing complex networks in which the network of interest is first abstracted to a much simpler (but equivalent) representation, the required analysis is performed using the abstraction, and analytic conclusions are then mapped back to the original network and interpreted there. We begin by identifying a broad and important class of complex networks which admit abstractions that are simultaneously dramatically simplifying and property preserving - we call these aggressive abstractions -- and which can therefore be analyzed using the proposed approach. We then introduce and develop two forms of aggressive abstraction: 1.) finite state abstraction, in which dynamical networks with uncountable state spaces are modeled using finite state systems, and 2.) onedimensional abstraction, whereby high dimensional network dynamics are captured in a meaningful way using a single scalar variable. In each case, the property preserving nature of the abstraction process is rigorously established and efficient algorithms are presented for computing the abstraction. The considerable potential of the proposed approach to complex networks analysis is illustrated through case studies involving vulnerability analysis of technological networks and predictive analysis for social processes.

  14. Purification of 1-aminocyclopropane-1-carboxylate synthase from apple fruits using s-adenosyl (3,4 sup 14 C)-methionine (SAM) as a probe

    SciTech Connect (OSTI)

    Yip, Wingkip; Dong, Jianguo,; Yang, Shang Fa )

    1989-04-01

    Tomato ACC synthase is inactivated by its substrate SAM, with the moiety of aminobutyrate being covalently linked to ACC synthase during the catalytic reactions. A partial purified ACC synthase (the catalytic activity 100 {mu}mol/h{center dot}mg protein) from pellets of apple extract was incubated with (3,4{sup 14}C) SAM. Only one radioactive peak was revealed in a C-4 reverse phase HPLC and one radioactive band on SDS-PAGE with an M.W. of 48 kDa. Apple ACC synthase in native form is resistant to V8, {alpha}-chromtrypsin and carboxylpeptidase A digestion, but effectively inactivated by trypsin and ficin, as demonstrated by both the activity assay and SAM labeling. The radioactive protein cut from the SDS-PAGE was injected to three mice, two of the mice showed responses to the protein in western blot analysis. The antibodies from mice is currently under characterization.

  15. Memory abstractions for parallel programming

    E-Print Network [OSTI]

    Lee, I-Ting Angelina

    2012-01-01

    A memory abstraction is an abstraction layer between the program execution and the memory that provides a different "view" of a memory location depending on the execution context in which the memory access is made. Properly ...

  16. Abstract

    E-Print Network [OSTI]

    ... the dynamics remained axisymmetric and the response to the applied periodic control mechanism was synchronous over an extensive range of parameters.

  17. Abstracts

    E-Print Network [OSTI]

    Feb 24, 2000 ... ... of laminar flames as an asymptotic limit for high activation energy. ... We extends Hadamard's theorem to the context of Hele-Shaw flow (the ... metric flow)

  18. Abstract

    E-Print Network [OSTI]

    The forcing delays the onset of centrifugal instability and introduces a $Z_2$ symmetry that involves both space and time. This paper examines the influence of ...

  19. Abstracts

    E-Print Network [OSTI]

    2015-05-22

    Jun 1, 2015 ... some energy. In contrast ... that can be treated by free boundary methods developed in that last 35 years. We will .... optimal thermal insulator.

  20. Abstracts

    E-Print Network [OSTI]

    2015-05-22

    ing plasma transport problems. We will discuss .... We study parabolic chord arc domains, introduced by Hofmann, Lewis and Nyström. (Duke, '04), and prove a ...

  1. Abstract

    Office of Scientific and Technical Information (OSTI)

    on oxidation stoichiometry. However, steam to carbon ratio was found to impact soot production as well as burner stability. The data also showed that raising the operating...

  2. Abstracts

    E-Print Network [OSTI]

    Apr 13, 2013 ... Numerical Methods for the Optimal Design of Optical Coatings. Yuliang ... Optical coatings built from thin-film structures have a wide range of ...

  3. Abstracts

    E-Print Network [OSTI]

    2012-05-26

    One of the method to derive sharp isoperimetric inequality for domains in the Euclidean is to apply the ... We also construct a new ancient solution to the. Yamabe flow on ... uniqueness for hydrodynamic flow (u, d) of nematic liquid crystals, with.

  4. Abstract

    E-Print Network [OSTI]

    1910-20-30

    variably saturated soils employing a Monte Carlo simulation method. The water ... over realizations of the fractal parameters in Monte Carlo fashion. Numerical ...

  5. Abstract

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 OutreachProductswsicloudwsicloudden Documentation DataStreamsTotalproposalsAbout SAGEAbout theAboutN ERSCHands

  6. Abstract

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 OutreachProductswsicloudwsicloudden Documentation DataStreamsTotalproposalsAbout SAGEAbout theAboutN ERSCHands331

  7. Abstract:

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 OutreachProductswsicloudwsicloudden Documentation DataStreamsTotalproposalsAbout SAGEAboutJ. Sutherland and P.

  8. Abstract:

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 OutreachProductswsicloudwsicloudden Documentation DataStreamsTotalproposalsAbout SAGEAboutJ. Sutherland and P.New

  9. ABSTRACT

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach HomeA Better Anode Design to Improve4AJ01) (See Energy Level79AJ01) (NotAdvanced AcceleratorBROWNE,

  10. Abstract:

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room News Publications Traditional Knowledge KiosksAbout UsAbout New BrunswickAbout

  11. ABSTRACT

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefieldSulfateSciTechtail.TheoryTuesday, August 10, 20102016 News BelowAsked toUSC-Aiken,AU

  12. ABSTRACT

    Office of Scientific and Technical Information (OSTI)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield MunicipalTechnical Report:Speeding accessby a contractor ofvar generation (Conference)

  13. ABSTRACT

    Office of Scientific and Technical Information (OSTI)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal GasAdministrationTechnicalTechnicalScience.govWSRC-MS-g8-00318 Heat(Journal Article)

  14. Abstract

    Office of Scientific and Technical Information (OSTI)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal GasAdministrationTechnicalTechnicalScience.govWSRC-MS-g8-00318ANUDlSiTM-4026, 20027-2331

  15. Long-run Implications of a Forest-based Carbon Sequestration Policy on the United States Economy: A Computable General Equilibrium (CGE) Modeling Approach 

    E-Print Network [OSTI]

    Monge, Juan

    2012-10-19

    The economic impacts of a government-funded, forest-based sequestration program were analyzed under two different payment schemes. The impacts were obtained by developing a regional, static CGE model built to accommodate a modified IMPLAN SAM for a...

  16. Extended Abstract Model Formulation and Predictions

    E-Print Network [OSTI]

    , and energy principles supplemented by appropriate geo- metrical and constitutive relations, 3) a description-stirred reactor in which all variables are at most time dependent. The system is broken into three subsystems

  17. An abstract approach to music.

    SciTech Connect (OSTI)

    Kaper, H. G.; Tipei, S.

    1999-04-19

    In this article we have outlined a formal framework for an abstract approach to music and music composition. The model is formulated in terms of objects that have attributes, obey relationships, and are subject to certain well-defined operations. The motivation for this approach uses traditional terms and concepts of music theory, but the approach itself is formal and uses the language of mathematics. The universal object is an audio wave; partials, sounds, and compositions are special objects, which are placed in a hierarchical order based on time scales. The objects have both static and dynamic attributes. When we realize a composition, we assign values to each of its attributes: a (scalar) value to a static attribute, an envelope and a size to a dynamic attribute. A composition is then a trajectory in the space of aural events, and the complex audio wave is its formal representation. Sounds are fibers in the space of aural events, from which the composer weaves the trajectory of a composition. Each sound object in turn is made up of partials, which are the elementary building blocks of any music composition. The partials evolve on the fastest time scale in the hierarchy of partials, sounds, and compositions. The ideas outlined in this article are being implemented in a digital instrument for additive sound synthesis and in software for music composition. A demonstration of some preliminary results has been submitted by the authors for presentation at the conference.

  18. Automatic Term-Level Abstraction

    E-Print Network [OSTI]

    Brady, Bryan

    2011-01-01

    Challenges . . . . . . . . . . . . . . . . . . Automatic5 Automatic Function Abstraction 5.1 Identifying Candidatethe Progress of Learning Algorithms 7.2.3 Automatic Feature

  19. An Archaeological Survey of the Proposed Famcor Oil, Inc. Well Pads and Pipeline in the Sam Houston National Forest, San Jacinto County, Texas 

    E-Print Network [OSTI]

    Moore, William; Bradle, Michael

    2015-06-05

    on October 12 and 13, 1996. This project was conducted for Famcor Oil, Inc. of Houston, Texas. The project area is located in the Sam Houston National Forest, San Jacinto County, Texas. This investigation was performed using the pedestrian survey method...

  20. ReaxFFMgH Reactive Force Field for Magnesium Hydride Systems Sam Cheung, Wei-Qiao Deng, Adri C. T. van Duin, and William A. Goddard III*

    E-Print Network [OSTI]

    van Duin, Adri

    ReaxFFMgH Reactive Force Field for Magnesium Hydride Systems Sam Cheung, Wei-Qiao Deng, Adri C. T and Chemical Engineering, California Institute of Technology, Pasadena, California 91125 ReceiVed: September 3FFMgH) for magnesium and magnesium hydride systems. The parameters for this force field were derived from fitting

  1. The Fusion Machine (extended abstract)

    E-Print Network [OSTI]

    Gardner, Philippa

    The Fusion Machine (extended abstract) Philippa Gardner Cosimo Laneve Lucian Wischik March 27, 2002. In particular, we describe a dis- tributed abstract machine called the fusion machine. In it, only channels exist at runtime. It uses a form of concurrent constraints called fusions--equations on channel names

  2. Technical abstracts: Mechanical engineering, 1990

    SciTech Connect (OSTI)

    Broesius, J.Y.

    1991-03-01

    This document is a compilation of the published, unclassified abstracts produced by mechanical engineers at Lawrence Livermore National Laboratory (LLNL) during the calendar year 1990. Many abstracts summarize work completed and published in report form. These are UCRL-JC series documents, which include the full text of articles to be published in journals and of papers to be presented at meetings, and UCID reports, which are informal documents. Not all UCIDs contain abstracts: short summaries were generated when abstracts were not included. Technical Abstracts also provides descriptions of those documents assigned to the UCRL-MI (miscellaneous) category. These are generally viewgraphs or photographs presented at meetings. An author index is provided at the back of this volume for cross referencing.

  3. ABSTRACT OF THESIS LINE ASSOCIATIVE REGISTERS

    E-Print Network [OSTI]

    Dietz, Henry G. "Hank"

    ABSTRACT OF THESIS LINE ASSOCIATIVE REGISTERS As technological advances have improved processor. This thesis takes the approach of trying to create a new memory access model that is more efficient and simple ASSOCIATIVE REGISTERS By Krishna Melarkode Dr. Henry G. Dietz (Director of Thesis) Dr. Yu Ming Zhang (Director

  4. Transforming and Refining Abstract Constraint Specifications

    E-Print Network [OSTI]

    Walsh, Toby

    Transforming and Refining Abstract Constraint Specifications Alan M. Frisch1 , Brahim Hnich2 , Ian choose model transformations to reduce greatly the amount of effort that is required to solve a problem by systematic search. It is a consid- erable challenge to automate such transformations. A problem may be viewed

  5. Micro-Architecture Independent Analytical Processor Performance and Power Modeling

    E-Print Network [OSTI]

    Eeckhout, Lieven

    Micro-Architecture Independent Analytical Processor Performance and Power Modeling Sam Van den models that allow us to produce performance and power estimates across a large design space almost models. In this work we present a micro-architecture independent profiler and associated analytical

  6. Intelligent Metasearch Engine for Knowledge Management Eui-Hong (Sam) Han and George Karypis

    E-Print Network [OSTI]

    Karypis, George

    ,KHatchard}@sagebrushcorp.com ABSTRACT The explosive growth of available information sources and the resulting information overload pose through several information sources, one at a time, is a source of enormous frustra- tion for users that gathers, evaluates, ranks, and reports the most relevant results from multiple information sources

  7. International Pharmaceutical Abstracts (IPA) What is International Pharmaceutical Abstracts?

    E-Print Network [OSTI]

    Saskatchewan, University of

    topic into the search box. #12;2 2. Click on Search to continue. 3. Enter terms to describe another in your search results. "Or" broadens your search by letting you search for related terms or synonyms. #12-related health topics. Searching International Pharmaceutical Abstracts The example below illustrates a step

  8. Library Abstraction for C/C++ Concurrency University of Cambridge

    E-Print Network [OSTI]

    Gotsman, Alexey

    a criterion for library abstraction on the relaxed memory model defined by the new ISO C11 [12] and C++11 [13Library Abstraction for C/C++ Concurrency Mark Batty University of Cambridge Mike Dodds University in this respect, as libraries need not provide sequentially consistent abstractions: to avoid unnecessary

  9. Library Abstraction for C/C++ Concurrency University of Cambridge

    E-Print Network [OSTI]

    Gotsman, Alexey

    a criterion for library abstraction on the relaxed memory model defined by the new ISO C11 [11] and C++11 [12Library Abstraction for C/C++ Concurrency Mark Batty University of Cambridge Mike Dodds University in this respect, as libraries need not provide sequentially consistent abstractions: to avoid unnecessary

  10. Virtual World Grammar (Extended Abstract)

    E-Print Network [OSTI]

    Rodríguez, Inmaculada

    Virtual World Grammar (Extended Abstract) Tomas Trescak Artificial Intelligence Research Institute by means of 3D virtual worlds facilitating then the interaction among participants, i.e humans and agents. In this paper we propose a system that can automatically gen- erate a 3D virtual world from formal

  11. Online Search Aids Petroleum Abstracts

    E-Print Network [OSTI]

    Reynolds, Albert C.

    to enter the words for the query. The center frame will display the list of terms resulting from the queryOnline Search Aids User Guide Petroleum Abstracts® A Division of The University of Tulsa July 1. A compilation of relevant E&P technical index terms and their relationships, covering the areas of geology

  12. Untameable Timed Automata! (Extended Abstract)

    E-Print Network [OSTI]

    Doyen, Laurent

    are a widely studied model for real­time systems. Since 8 years, several tools implement this model­life systems. 1 Introduction Real­Time Systems ­ Since their introduction by Alur and Dill in [AD94], timed au­ tomata are one of the most studied models for real­time systems. Numerous works have been devoted

  13. Untameable Timed Automata! (Extended Abstract)

    E-Print Network [OSTI]

    Doyen, Laurent

    model for real-time systems. Since 8 years, several tools implement this model and are successfully used for a restricted class of timed automata, which has been sufficient for modeling numerous real-life systems. 1 Introduction Real-Time Systems - Since their introduction by Alur and Dill in [AD94], timed au- tomata are one

  14. An Archaeological Survey of the Proposed Jet Oil Producers, Inc.Coline Number 4 Well Pad and Access Road in the Sam Houston National Forest, San Jacinto County, Texas 

    E-Print Network [OSTI]

    Moore, William; Bradle, Michael

    2015-06-05

    . of Coldspring, Texas. The project area is located in the Sam Houston National Forest, south-central San Jacinto County, Texas. This investigation was performed using the pedestrian survey method supported by shovel testing and probing. No prehistoric or historic...

  15. An archaeological Survey of the Proposed Royal Oil and Gas Corporation Foster Minerals D-1 Well and Access Road in the Sam Houston National Forest, San Jacinto County, Texas 

    E-Print Network [OSTI]

    Moore, William

    2015-06-05

    . of Corpus Christi, Texas. The project area is the Foster Minerals D-1 well and access road in the Sam Houston National Forest, San Jacinto County, Texas. This investigation was performed using the pedestrian survey method supported by shovel testing...

  16. Timed Relational Abstractions For Sampled Data Control Systems

    E-Print Network [OSTI]

    Sankaranarayanan, Sriram

    Timed Relational Abstractions For Sampled Data Control Systems Aditya Zutshi1 , Sriram relational abstractions for verifying sampled data control systems. Sampled data control systems consist of a plant, modeled as a hybrid system and a synchronous controller, modeled as a discrete transition system

  17. iSAM2: Incremental smoothing and mapping using the Bayes tree

    E-Print Network [OSTI]

    Kaess, Michael

    We present a novel data structure, the Bayes tree, that provides an algorithmic foundation enabling a better understanding of existing graphical model inference algorithms and their connection to sparse matrix factorization ...

  18. IN-PACKAGE CHEMISTRY ABSTRACTION

    SciTech Connect (OSTI)

    E. Thomas

    2005-07-14

    This report was developed in accordance with the requirements in ''Technical Work Plan for Postclosure Waste Form Modeling'' (BSC 2005 [DIRS 173246]). The purpose of the in-package chemistry model is to predict the bulk chemistry inside of a breached waste package and to provide simplified expressions of that chemistry as a function of time after breach to Total Systems Performance Assessment for the License Application (TSPA-LA). The scope of this report is to describe the development and validation of the in-package chemistry model. The in-package model is a combination of two models, a batch reactor model, which uses the EQ3/6 geochemistry-modeling tool, and a surface complexation model, which is applied to the results of the batch reactor model. The batch reactor model considers chemical interactions of water with the waste package materials, and the waste form for commercial spent nuclear fuel (CSNF) waste packages and codisposed (CDSP) waste packages containing high-level waste glass (HLWG) and DOE spent fuel. The surface complexation model includes the impact of fluid-surface interactions (i.e., surface complexation) on the resulting fluid composition. The model examines two types of water influx: (1) the condensation of water vapor diffusing into the waste package, and (2) seepage water entering the waste package as a liquid from the drift. (1) Vapor-Influx Case: The condensation of vapor onto the waste package internals is simulated as pure H{sub 2}O and enters at a rate determined by the water vapor pressure for representative temperature and relative humidity conditions. (2) Liquid-Influx Case: The water entering a waste package from the drift is simulated as typical groundwater and enters at a rate determined by the amount of seepage available to flow through openings in a breached waste package.

  19. PWM CONVERTERS WITH RESISTIVE INPUT Sam Ben-Yaakov and llya Zeltser

    E-Print Network [OSTI]

    and small signal responses of a Boost converter applied in APFC application. To make the input resistive be described by a simple intuitive reasoning in relation to the Boost converter (Fig. la). It is assumedthat (b) Fig. I. The Boost converter (a) and its behavioral average model (b) (after [7,8]). #12;ill

  20. Big Data: A Foundational Explanation Michael J. Sal, Richard J. Barilla, Steven Lindo, and Sam Elnagdy

    E-Print Network [OSTI]

    Tappert, Charles

    D6.1 Big Data: A Foundational Explanation Michael J. Salé, Richard J. Barilla, Steven Lindo for the science and practice of Big Data analytics. So long as innovations in data processing and storage capabilities continue, Big Data models and the technologies that enable them will also continue to evolve

  1. BookOfAbstracts_REUConference

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Electromagnetic Field Generation Using a Multiphase Transport Model in Heavy-Ion Collisions T. Chen 1,2 , and Che-Ming Ko 2 1 Carleton College, Northfield, MN 55057 2 Cyclotron...

  2. The PHRI Geotechnical Centrifuge [abstract

    E-Print Network [OSTI]

    Terashi, M; Kitazume, M.; Tanaka, H.

    1984-01-01

    Total weight of the centrifuge (t) 1600xl600 I ·t t FIGURECur. it · mml PHRI Geotechnical Centrifuge I I I I I I I I IADVANCES IN GEOTECHNICAL CENTRIFUGE MODELING A symposium on

  3. In-Package Chemistry Abstraction

    SciTech Connect (OSTI)

    E. Thomas

    2004-11-09

    This report was developed in accordance with the requirements in ''Technical Work Plan for: Regulatory Integration Modeling and Analysis of the Waste Form and Waste Package'' (BSC 2004 [DIRS 171583]). The purpose of the in-package chemistry model is to predict the bulk chemistry inside of a breached waste package and to provide simplified expressions of that chemistry as function of time after breach to Total Systems Performance Assessment for the License Application (TSPA-LA). The scope of this report is to describe the development and validation of the in-package chemistry model. The in-package model is a combination of two models, a batch reactor model that uses the EQ3/6 geochemistry-modeling tool, and a surface complexation model that is applied to the results of the batch reactor model. The batch reactor model considers chemical interactions of water with the waste package materials and the waste form for commercial spent nuclear fuel (CSNF) waste packages and codisposed waste packages that contain both high-level waste glass (HLWG) and DOE spent fuel. The surface complexation model includes the impact of fluid-surface interactions (i.e., surface complexation) on the resulting fluid composition. The model examines two types of water influx: (1) the condensation of water vapor that diffuses into the waste package, and (2) seepage water that enters the waste package from the drift as a liquid. (1) Vapor Influx Case: The condensation of vapor onto the waste package internals is simulated as pure H2O and enters at a rate determined by the water vapor pressure for representative temperature and relative humidity conditions. (2) Water Influx Case: The water entering a waste package from the drift is simulated as typical groundwater and enters at a rate determined by the amount of seepage available to flow through openings in a breached waste package. TSPA-LA uses the vapor influx case for the nominal scenario for simulations where the waste package has been breached but the drip shield remains intact, so all of the seepage flow is diverted from the waste package. The chemistry from the vapor influx case is used to determine the stability of colloids and the solubility of radionuclides available for transport by diffusion, and to determine the degradation rates for the waste forms. TSPA-LA uses the water influx case for the seismic scenario, where the waste package has been breached and the drip shield has been damaged such that seepage flow is actually directed into the waste package. The chemistry from the water influx case that is a function of the flow rate is used to determine the stability of colloids and the solubility of radionuclides available for transport by diffusion and advection, and to determine the degradation rates for the CSNF and HLW glass. TSPA-LA does not use this model for the igneous scenario. Outputs from the in-package chemistry model implemented inside TSPA-LA include pH, ionic strength, and total carbonate concentration. These inputs to TSPA-LA will be linked to the following principle factors: dissolution rates of the CSNF and HLWG, dissolved concentrations of radionuclides, and colloid generation.

  4. Ozone Conference II: Abstract Proceedings

    SciTech Connect (OSTI)

    None

    1999-11-01

    Ozone Conference II: Pre- and Post-Harvest Applications Two Years After Gras, was held September 27-28, 1999 in Tulare, California. This conference, sponsored by EPRI's Agricultural Technology Alliance and Southern California Edison's AgTAC facility, was coordinated and organized by the on-site ATA-AgTAC Regional Center. Approximately 175 people attended the day-and-a-half conference at AgTAC. During the Conference twenty-two presentations were given on ozone food processing and agricultural applications. Included in the presentations were topics on: (1) Ozone fumigation; (2) Ozone generation techniques; (3) System and design applications; (4) Prewater treatment requirements; (5) Poultry water reuse; (6) Soil treatments with ozone gas; and (7) Post-harvest aqueous and gaseous ozone research results. A live videoconference between Tulare and Washington, D.C. was held to discuss the regulators' view from inside the beltway. Attendees participated in two Roundtable Question and Answer sessions and visited fifteen exhibits and demonstrations. The attendees included university and governmental researchers, regulators, consultants and industry experts, technology developers and providers, and corporate and individual end-users. This report is comprised of the Abstracts of each presentation, biographical sketches for each speaker and a registration/attendees list.

  5. RENEWAL THEORY IN ANALYSIS OF TRIES AND STRINGS: EXTENDED ABSTRACT

    E-Print Network [OSTI]

    Janson, Svante

    of this paper is to make propaganda for the use of renewal theory to study e.g. Markov models, even if we doRENEWAL THEORY IN ANALYSIS OF TRIES AND STRINGS: EXTENDED ABSTRACT SVANTE JANSON Abstract. We give a survey of a number of simple applications of renewal theory to problems on random strings, in particular

  6. EGS Abstract for MEAN RADIUS, MASS AND INERTIA FOR REFERENCE

    E-Print Network [OSTI]

    EGS Abstract for Nice, 2000 MEAN RADIUS, MASS AND INERTIA FOR REFERENCE EARTH'S MODELS. F. CHAMBAT between real and mean Earth. Abstracts to be submitted on or before December 15, 1999 to EGS OÆce Max-Planck-Str. 13 37191 Katlenburg-Lindau Germany Tel.: [+49] 5556-1440 Fax.: [+49] 5556-4709 Email: EGS

  7. Mobile Agent Abstractions: Formulation and Implementation

    E-Print Network [OSTI]

    Joshi, Rushikesh K.

    , Mumbai-400076, India. Email := {rkj, harikcr, ansari}@cse.iitb.ac.in Abstract We present mobile agent and behavioral properties of the agent abstractions. Guidelines for mapping the abstractions to an implementation

  8. Flexible Hardware Abstraction for Wireless Sensor Networks

    E-Print Network [OSTI]

    California at Berkeley, University of

    Flexible Hardware Abstraction for Wireless Sensor Networks Vlado Handziski, Joseph Polastre, Jan; Computer Science Department Berkeley, CA 94720 US Abstract-- We present a flexible Hardware Abstraction gradually adapts the capabilities of the underlying hardware plat- forms to the selected platform

  9. CALL FOR PAPERS & PRESENTATIONS Abstracts due by September 15, 2014

    E-Print Network [OSTI]

    Su, Xiao

    Energy conservation and efficiency, energy storage modeling, hybrid vehicles, emissions reduction savings, energy storage devices, regenerative braking, smart electrical supply Abstract can be submitted System safety approaches, safety data management, risk analysis approaches, accident avoidance, accident

  10. Scoring an Abstract Contemporary Silent Film

    E-Print Network [OSTI]

    Frost, Crystal

    2014-01-01

    an Abstract Contemporary Silent Film A thesis submitted inAbstract Contemporary Silent Film by Crystal Frost Master ofan original digital audio film score with full sound design

  11. Analysis of a one-dimensional model for the regulation of the size of the renewable zone in biological tissue.

    E-Print Network [OSTI]

    Mjolsness, Eric

    Analysis of a one-dimensional model for the regulation of the size of the renewable zone, 630090 The results of a numerical study of a cell-oriented model of the regulation of the renewable zone of the renewable zone is suggested. The shoot apical meristem (SAM) is provided as an example. The model is cell

  12. A New Structural Form in the SAM/Metal-Dependent O;#8209;Methyltransferase Family: MycE from the Mycinamicin Biosynthetic Pathway

    SciTech Connect (OSTI)

    Akey, David L.; Li, Shengying; Konwerski, Jamie R.; Confer, Laura A.; Bernard, Steffen M.; Anzai, Yojiro; Kato, Fumio; Sherman, David H.; Smith, Janet L. (Michigan); (Toho)

    2012-08-01

    O-linked methylation of sugar substituents is a common modification in the biosynthesis of many natural products and is catalyzed by multiple families of S-adenosyl-l-methionine (SAM or AdoMet)-dependent methyltransferases (MTs). Mycinamicins, potent antibiotics from Micromonospora griseorubida, can be methylated at two positions on a 6-deoxyallose substituent. The first methylation is catalyzed by MycE, a SAM- and metal-dependent MT. Crystal structures were determined for MycE bound to the product S-adenosyl-l-homocysteine (AdoHcy) and magnesium, both with and without the natural substrate mycinamicin VI. This represents the first structure of a natural product sugar MT in complex with its natural substrate. MycE is a tetramer of a two-domain polypeptide, comprising a C-terminal catalytic MT domain and an N-terminal auxiliary domain, which is important for quaternary assembly and for substrate binding. The symmetric MycE tetramer has a novel MT organization in which each of the four active sites is formed at the junction of three monomers within the tetramer. The active-site structure supports a mechanism in which a conserved histidine acts as a general base, and the metal ion helps to position the methyl acceptor and to stabilize a hydroxylate intermediate. A conserved tyrosine is suggested to support activity through interactions with the transferred methyl group from the SAM methyl donor. The structure of the free enzyme reveals a dramatic order-disorder transition in the active site relative to the S-adenosyl-L-homocysteine complexes, suggesting a mechanism for product/substrate exchange through concerted movement of five loops and the polypeptide C-terminus.

  13. Selected Translated Abstracts of Chinese-Language Climate Change Publications

    SciTech Connect (OSTI)

    Cushman, R.M.; Burtis, M.D.

    1999-05-01

    This report contains English-translated abstracts of important Chinese-language literature concerning global climate change for the years 1995-1998. This body of literature includes the topics of adaptation, ancient climate change, climate variation, the East Asia monsoon, historical climate change, impacts, modeling, and radiation and trace-gas emissions. In addition to the biological citations and abstracts translated into English, this report presents the original citations and abstracts in Chinese. Author and title indexes are included to assist the reader in locating abstracts of particular interest.

  14. Counterexample-guided Abstraction Re nement E. Clarke, O. Grumberg, S. Jha, Y. Lu, H. Veith

    E-Print Network [OSTI]

    the model. The atomic formulas are similar to the predicates used for abstraction by Graf and Saidi 14

  15. Gott-Sam.tex

    E-Print Network [OSTI]

    For example, the Coulomb electric vector field E of an electron or a proton has index -1 or 1 respectively. This remains true no matter what what coordinate ...

  16. Congressmember Sam Farr

    E-Print Network [OSTI]

    Farmer, Ellen

    2010-01-01

    had] raised milk cows in Switzerland. When they couldn’gold, they didn’t go back to Switzerland. They came here and

  17. Congressmember Sam Farr

    E-Print Network [OSTI]

    Farmer, Ellen

    2010-01-01

    hottest, sweetest kind of strawberry. You plant it. Youdemonstration garden, their science garden for strawberries.three hundred different strawberry plants. And somebody has

  18. Sam Houston Park 

    E-Print Network [OSTI]

    Unknown

    2011-09-05

    agree that some date back to at least the 1960?s with the unprecedented growth in the manufacturing and agricultural sectors of the border?s economy associated with the Mexican Border Industrial Program (Parcher and Humberson 2007). Thousands... back into the US. The industry grew more rapidly with the passage of the North American Free Trade Agreement (NAFTA). In addition, a large agricultural sector had grown along the Lower Rio Grande Valley where citrus, sugarcane, and other market...

  19. ARM - Campaign Instrument - sam

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Comments? We would love to hear from you! Send us a note below orgovInstrumentssam Comments? We would love to hear

  20. Mr. Leo H. ::sam

    Broader source: Energy.gov (indexed) [DOE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergyTher i nAand DOEDepartment of Energy Motion to Mr. Daniel Cohen U.S.Mr.

  1. Abstract Interpretation of Reactive Systems DENNIS DAMS and ROB GERTH

    E-Print Network [OSTI]

    Grumberg, Orna

    Abstract Interpretation of Reactive Systems DENNIS DAMS and ROB GERTH Eindhoven University, formal methods, model checking, mu-calculus, reactive systems Correspondenceaddress: D. Dams, Dept;112 Dennis Dams et al. 1. INTRODUCTION In the model-checking approach Queille and Sifakis 1982 Clarke et al

  2. Abstract Interpretation of Reactive Systems DENNIS DAMS and ROB GERTH

    E-Print Network [OSTI]

    Dams, Dennis

    Abstract Interpretation of Reactive Systems DENNIS DAMS and ROB GERTH Eindhoven University, formal methods, model checking, mu­calculus, reactive systems Correspondence address: D. Dams, Dept; 112 \\Delta Dennis Dams et al. 1. INTRODUCTION In the model­checking approach [Queille and Sifakis 1982

  3. Bayesian Algorithmic Mechanism Design [Extended Abstract

    E-Print Network [OSTI]

    Hartline, Jason D.

    Bayesian Algorithmic Mechanism Design [Extended Abstract] Jason D. Hartline Northwestern, Canada blucier@cs.toronto.edu ABSTRACT The principal problem in algorithmic mechanism design approach for designing incen- tive compatible mechanisms, namely that of Vickrey, Clarke, and Groves

  4. Classification and Utilization of Abstractions for Optimization

    E-Print Network [OSTI]

    Yi, Qing

    Classification and Utilization of Abstractions for Optimization Dan Quinlan1 , Markus Schordan2.sabjornsen@fys.uio.no Abstract. We define a novel approach to optimize the use of libraries within applications. We propose that library-defined abstractions be clas- sified to support their automated optimization and by leveraging

  5. Hybrid Abstractions that Preserve Timed Languages

    E-Print Network [OSTI]

    Pappas, George J.

    Hybrid Abstractions that Preserve Timed Languages Paulo Tabuada1 and George J. Pappas2 1 Instituto@ee.upenn.edu Abstract. In this paper we consider the problem of extracting an ab- straction from a hybrid control system that determine when trajectories of the original hybrid system can be generated by the abstracted hybrid system

  6. An Archaeological Survey of the Proposed Famcor Oil, Inc. Well Pads, Access Road, Pipeline Routes, Electrical Line, and Telephone Line in the Sam Houston National Forest, South-Central San Jacinto County, Texas 

    E-Print Network [OSTI]

    Moore, William; Bradle, Michael

    2015-06-05

    on November 9 and 10, 1996. This project was conducted for Famcor Oil, Inc. of Houston, Texas. The project area is located in the Sam Houston National Forest, south-central San Jacinto County, Texas. This investigation was performed using the pedestrian survey...

  7. Go to the Right of the Pillar: Modeling Unoccupied Regions for Robot Directives

    E-Print Network [OSTI]

    Skubic, Marjorie

    Go to the Right of the Pillar: Modeling Unoccupied Regions for Robot Directives Marjorie Skubic and Sam Blisard Dept. of Computer Engineering and Computer Science University of Missouri of regions that do not contain objects but may be referenced by objects in the environment, to compute target

  8. Sandia Energy - Online Abstracts and Reports

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Abstract (16.KB PDF) Report (2.0MB PDF) "Simulation and Testing of Resin Infusion Manufacturing Processes for Large Composite Structures" D.B. Mastbergen October 2007...

  9. The adhesion model as a field theory for cosmological clustering

    SciTech Connect (OSTI)

    Rigopoulos, Gerasimos

    2015-01-01

    The adhesion model has been proposed in the past as an improvement of the Zel'dovich approximation, providing a good description of the formation of the cosmic web. We recast the model as a field theory for cosmological large scale structure, adding a stochastic force to account for power generated from very short, highly non-linear scales that is uncorrelated with the initial power spectrum. The dynamics of this Stochastic Adhesion Model (SAM) is reminiscent of the well known Kardar-Parisi-Zhang equation with the difference that the viscosity and the noise spectrum are time dependent. Choosing the viscosity proportional to the growth factor D restricts the form of noise spectrum through a 1-loop renormalization argument. For this choice, the SAM field theory is renormalizable to one loop. We comment on the suitability of this model for describing the non-linear regime of the CDM power spectrum and its utility as a relatively simple approach to cosmological clustering.

  10. EGS Abstract for Nice, April, 1998

    E-Print Network [OSTI]

    EGS Abstract for Nice, April, 1998 LUNAR STRUCTURE AND CLEMENTINE DATA : TEST OF A TECTONIC. Philippe Lognonn'e 4. none 5. Invited talk Abstracts to be submitted on or before December 15, 1997 to EGS­4709 Email: EGS@Copernicus.org http://www.copernicus.org/EGS/EGS.html #12;

  11. Improving large-sized PLC programs verification using abstractions

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    in formal verification by model-checking. In parallel, many researches have been undertaken since several project which was funded by Alstom Power Plant Information and Control Systems, Engineering toolsImproving large-sized PLC programs verification using abstractions V. Gourcuff O. de Smet J

  12. DOE-NABIR Pi Workshop: Abstracts

    E-Print Network [OSTI]

    Various

    2003-01-01

    DOE-NABIR PI WORKSHOP: Abstracts March 17–19, 2003to radionuclides of interest to DOE and the role(s) of these80 iv Introduction DOE–NABIR PI Workshop March 17–19, 2003

  13. DOE-NABIR PI Workshop: Abstracts

    E-Print Network [OSTI]

    Hawkes editor, Dan

    2002-01-01

    DOE-NABIR PI WORKSHOP: Abstracts March 18–20, 2002technologies at EMSL and other DOE sites (Zachara, Fendorf)sediments throughout the DOE complex. Plutonium is generally

  14. Transformations of Conditional Rewrite Systems (Extended Abstract)

    E-Print Network [OSTI]

    Gramlich, Bernhard

    Transformations of Conditional Rewrite Systems Revisited (Extended Abstract) Karl Gmeiner and Bernhard Gramlich TU Wien, Austria, {gmeiner,gramlich}@logic.at We revisit known transformations for describing and classifying such transformations, discuss the major problems arising, pro- vide simplified

  15. Pulmonary toxicology of respirable particles. [Lead abstract

    SciTech Connect (OSTI)

    Sanders, C.L.; Cross, F.T.; Dagle, G.E.; Mahaffey, J.A.

    1980-09-01

    Separate abstracts were prepared for the 44 papers presented in these proceedings. The last paper (Stannard) in the proceedings is an historical review of the field of inhalation toxicology and is not included in the analytics. (DS)

  16. Science Arts & Mtiers (SAM) is an open access repository that collects the work of Arts et Mtiers ParisTech

    E-Print Network [OSTI]

    Boyer, Edmond

    .03.024 #12;Model and simulation of a solar kiln with energy storage D. Luna a , J.-P. Nadeau a,*, Y. Jannot b storage Modeling Quality a b s t r a c t A solar kiln with energy storage can be used for continuous. Introduction Solar systems are currently evolving towards integrating energy storage [1], so as to resolve

  17. Smithsonian/NASA ADS Physics/Geophysics Abstract Service Find Similar Abstracts (with default settings below)

    E-Print Network [OSTI]

    Mojahedi, Mohammad

    Smithsonian/NASA ADS Physics/Geophysics Abstract Service · Find Similar Abstracts (with default | Query Form | Preferences | HELP | FAQ Physics/Geophysics arXiv e-prints Send Query Reset #12;

  18. Photoinduced Hydrogen Abstraction from Phenols by Aromatic Ketones. A New Mechanism for Hydrogen Abstraction by

    E-Print Network [OSTI]

    Leigh, William J.

    Photoinduced Hydrogen Abstraction from Phenols by Aromatic Ketones. A New Mechanism for Hydrogen carried out of the kinetics of inter- and intramolecular phenolic hydrogen abstraction phenolic hydrogen, which yields the corresponding phenoxyl-hemipinacol biradical. The biradicals have also

  19. By April 15 Submit Abstract (electronically) Abstract Payment Form (with $35 check or credit card)

    E-Print Network [OSTI]

    Gadsby, David

    DEADLINES By April 15 Submit Abstract (electronically) Abstract Payment Form (with $35 check Rental Form (with check or credit card) Submit Late Abstract and Form (with $35 check or credit card.sgpweb.org For overnight delivery: Society of General Physiologists 35 Cumloden Drive Falmouth, MA 02540 #12;

  20. Abstracting and Refining Authorization in SQL Arnon Rosenthal, Edward Sciore1

    E-Print Network [OSTI]

    Sciore, Edward

    Abstracting and Refining Authorization in SQL Arnon Rosenthal, Edward Sciore1 Abstract. The SQL and dangerous to change. To make the model easier to work with, we formalize the implicit principles behind SQL solve several administrative problems with existing SQL security. This sort of abstraction is also

  1. Predicate Abstraction of ANSI--C Programs using SAT Edmund Clarke Daniel Kroening Natasha Sharygina

    E-Print Network [OSTI]

    Predicate Abstraction of ANSI--C Programs using SAT Edmund Clarke Daniel Kroening Natasha Sharygina technique that uses an efficient SAT solver for generating the abstract transition relation of ANSI Abstraction, ANSI­C, SAT #12; 1 Introduction It is widely believed that effective model checking [10

  2. Abstract Models of Shape Branching-and Linear-Time

    E-Print Network [OSTI]

    Schmidt, David A.

    = {c0, c1, c2} head = {(c0, c0)} tail = {(c0, c2), (c1, c1), (c1, c2)} I(c0) = {it} I(c1) = {} I(c2) = {x, y} . c0 c1 c2 tail head y it tail tail x Rather than states, the nodes now represent cellsC to compute on sets.) But here we have a relation, C -- not a function -- to approximate. Dams noted that, A

  3. The Blues and the Abstract Truth: Music and Mental Models

    E-Print Network [OSTI]

    Steedman, Mark

    for a fuller account. Rule 0 simply defines the skeleton of the twelve bar as two two bar units of tonic I harmony, followed by two two bar units constituting a ``plagal cadence'' -- a progression #3; To appear in 1: Some Jazz 12­bars (adapted from Coker, 1964) 0: 12bar ! I I7 IV I V7 I 1: X (m)(7 ) ! X (m) X (m

  4. Centrifugal Modeling of Subsidence of Landfill Covers [abstract

    E-Print Network [OSTI]

    Sterling, Harry; Ronayne, Michael

    1984-01-01

    j "Centrifugal Moueling of Subsidence of Landfill Covers" bysites may result in subsidence of the soil cover system.Following subsidence, water flow through the cover may rise

  5. Verification of Parallel Garbage Collection by Abstract Model Checking

    E-Print Network [OSTI]

    Hagiya, Masami

    Hagiya (corresponding author) 1 , Koichi Takahashi 2 1 Department of Information Science, Graduate School

  6. Beyond the Model and Into the Map: A Protein Abstract

    E-Print Network [OSTI]

    Fraser, James Solomon

    2010-01-01

    distribution. Figure 4.14 Liquid ethane freezing is similarafter freezing in liquid ethane suggest that the crystalcrystal is frozen in liquid ethane. 4.13 References Adams,

  7. Algorithms for Software Model Checking: Predicate Abstraction vs. IMPACT

    E-Print Network [OSTI]

    Beyer, Dirk

    - polants [20] is another approach, which is implemented in the tools IMPACT, WOLVERINE [24], and UFO [3

  8. Model Abstraction Techniques for Large-Scale Power Systems

    E-Print Network [OSTI]

    that lend themselves to assessment of the impact of wind energy. The first part of the re- port summarizes of Energy Office of Electricity Delivery and Energy Reliability Under Cooperative Agreement No. DE-FC26-06NT42847 Hawai`i Distributed Energy Resource Technologies for Energy Security Subtask 10.3 Deliverable 2

  9. Predictability of extreme events in a branching diffusion model Abstract

    E-Print Network [OSTI]

    2010-01-15

    proverbial “straws in the wind” preceding a hurricane. The following ... including the extreme ones, a cascade process responsible for redistribution of energy (or.

  10. Abstraction and refinement for model checking inconsistent systems

    E-Print Network [OSTI]

    Huth, Michael

    . In particular, they can guide us in settling design questions such as the semantics of negation machinery. Such machinery is fairly well understood in analyzing consistent systems, but needs

  11. Vulnerability analysis for complex networks using aggressive abstraction.

    SciTech Connect (OSTI)

    Colbaugh, Richard; Glass, Kristin L.

    2010-06-01

    Large, complex networks are ubiquitous in nature and society, and there is great interest in developing rigorous, scalable methods for identifying and characterizing their vulnerabilities. This paper presents an approach for analyzing the dynamics of complex networks in which the network of interest is first abstracted to a much simpler, but mathematically equivalent, representation, the required analysis is performed on the abstraction, and analytic conclusions are then mapped back to the original network and interpreted there. We begin by identifying a broad and important class of complex networks which admit vulnerability-preserving, finite state abstractions, and develop efficient algorithms for computing these abstractions. We then propose a vulnerability analysis methodology which combines these finite state abstractions with formal analytics from theoretical computer science to yield a comprehensive vulnerability analysis process for networks of realworld scale and complexity. The potential of the proposed approach is illustrated with a case study involving a realistic electric power grid model and also with brief discussions of biological and social network examples.

  12. Geophysical Research Abstracts, Vol. 9, 02848, 2007 SRef-ID: 1607-7962/gra/EGU2007-A-02848

    E-Print Network [OSTI]

    detailed geological and palaeomagnetic fieldwork in the northeastern Gobi Altai. Detailed sedimentological in the northeastern Gobi Altai. We sam- pled lower Cretaceous stratigraphy in rift basins flanking the modern Ih Bogd

  13. Model Comparison Tests to Determine Data Information Content

    E-Print Network [OSTI]

    Division of Sciences and Mathematics (SAM) University of Washington, Tacoma Tacoma, Washington 98402

  14. Virtual Sensors: Abstracting Data from Physical Sensors

    E-Print Network [OSTI]

    Julien, Christine

    of heterogeneous physical sensors. For example, on an intelligent construction site, users may desire the cranesVirtual Sensors: Abstracting Data from Physical Sensors TR-UTEDGE-2006-001 Sanem Kabadayi Adam Pridgen Christine Julien © Copyright 2006 The University of Texas at Austin #12;Virtual Sensors

  15. Goldschmidt Conference Abstracts 2005 Mineral Surface Reactivity

    E-Print Network [OSTI]

    Sparks, Donald L.

    Goldschmidt Conference Abstracts 2005 Mineral Surface Reactivity A492 "Hydration" of rhyolitic of Tennessee, Knoxville, Tennessee 37996, USA 2 Chemical Sciences Division, MS 6110, P.O. Box 2008, Bldg. 4500S, Oak Ridge National Laboratory, Oak Ridge, Tennessee 37831-6110, USA 3 Chemical Sciences Division, MS

  16. Static single information form for abstract compilation

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Static single information form for abstract compilation Davide Ancona and Giovanni Lagorio DIBRIS information (SSI), an extension of SSA proposed in literature and adopted by some compilers, to allow integrated with ab- stract compilation, our approach to static type analysis. In particular, we define

  17. Natural radiation environment III. [Lead Abstract

    SciTech Connect (OSTI)

    Gesell, T.F.; Lowder, W.M.

    1980-01-01

    Separate abstracts were prepared for the 52 research papers presented at this symposium in April 1978. The major topics in this volume deal with penetrating radiation measurements, radiation surveys and population exposure, radioactivity in the indoor environment, and technologically enhanced natural radioactivity. (KRM)

  18. Market User Interface Design [Extended Abstract

    E-Print Network [OSTI]

    Chen, Yiling

    Market User Interface Design [Extended Abstract] Sven Seuken1 , David C. Parkes1 , Eric Horvitz2, {horvitz,kamalj,marycz,desney}@microsoft.com 1 Introduction: Market Design & UI Design Electronic markets associated with decision making in complex environments [1], but until now, the market design community has

  19. AbstractThe satellite-borne

    E-Print Network [OSTI]

    Kansas, University of

    , the contributions from the vertical components of wind vectors are small and can therefore be ignoredAbstract­The satellite-borne Scanning for a Satellite Radar Wind Sounder (RAWS) RK Moore, B. Beh Radar Wind Sounder (RAWS) is a proposed radar capable of measuring wind alofi using Doppler shifts

  20. Abstract interpretation from a denotational semantics

    E-Print Network [OSTI]

    Schmidt, David A.

    (x) if x pos? A: abstractly interpret input domain Int by Sign = {neg, zero, pos, any}: readSign(x) x = succ(x) if (filterNeg(x): x = negate (x)) (filterNonNeg(x): x = succ(x)) fi writeSign(x) where succ (pos) = pos succ (zero) = pos succ

  1. Briefly Noted Automatic Indexing and Abstracting of

    E-Print Network [OSTI]

    . The TIPSTER SUMMAC Text Summarization Evaluation, Final Report. The MITRE Corporation, report number MTR 98W abstracting and indexing has received re- newed interest and a number of promising approaches have emerged to the final evaluation of the method. The system developed by the author combines symbolic techniques

  2. Stone Age Distributed Computing (Extended Abstract)

    E-Print Network [OSTI]

    Stone Age Distributed Computing (Extended Abstract) Yuval Emek Distributed Computing Group ETH Zurich, Switzerland yemek@ethz.ch Roger Wattenhofer Distributed Computing Group ETH Zurich, Switzerland and cellular automata is suitable for applying the distributed computing lens to the study of networks of sub

  3. Verification = Specification + Deduction + Computation + Abstraction Logical foundations

    E-Print Network [OSTI]

    Jouannaud, Jean-Pierre

    of powerful, secure, interactive tools #12;Verification Given a system to be analyzed, 1. elaborate a model, interactive tools #12;Verification Given a system to be analyzed, 1. elaborate a model of the system. 2. Test;Verification Given a system to be analyzed, 1. elaborate a model of the system. 2. Test some liveness property

  4. Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement

    E-Print Network [OSTI]

    Clarke, Edmund M.

    verification, abstraction transforms the inherently infinite state system into a finite-state model [7Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement Edmund Clarke1 generated by the model checker. For hybrid systems, analysis of the counterexample requires the computation

  5. Verification of Hybrid Systems Based on CounterexampleGuided Abstraction Refinement ?

    E-Print Network [OSTI]

    Theobald, Michael

    verification, abstraction transforms the inherently infinite state system into a finite­state model [7, 8Verification of Hybrid Systems Based on Counterexample­Guided Abstraction Refinement ? Edmund that eliminates a counterexample generated by the model checker. For hybrid systems, analy­ sis

  6. Automatic identification of abstract online groups

    DOE Patents [OSTI]

    Engel, David W; Gregory, Michelle L; Bell, Eric B; Cowell, Andrew J; Piatt, Andrew W

    2014-04-15

    Online abstract groups, in which members aren't explicitly connected, can be automatically identified by computer-implemented methods. The methods involve harvesting records from social media and extracting content-based and structure-based features from each record. Each record includes a social-media posting and is associated with one or more entities. Each feature is stored on a data storage device and includes a computer-readable representation of an attribute of one or more records. The methods further involve grouping records into record groups according to the features of each record. Further still the methods involve calculating an n-dimensional surface representing each record group and defining an outlier as a record having feature-based distances measured from every n-dimensional surface that exceed a threshold value. Each of the n-dimensional surfaces is described by a footprint that characterizes the respective record group as an online abstract group.

  7. Internal and External Logics of Abstract Interpretations

    E-Print Network [OSTI]

    Schmidt, David A.

    := succ(x) write(x) Q: Is output pos? A: abstractly interpret Int by Sign = {neg, zero, pos, any, none} pos zero none any neg P(Int) Sign Standard, collecting inter- pretation: f : P(Int) P(Int): isPos: isPos (pos) = pos isPos (neg) = none isPos (any) = pos, etc. succ (pos) = pos succ (zero) = pos succ

  8. Extracting program logics from abstract interpretations

    E-Print Network [OSTI]

    Schmidt, David A.

    Int(x) if x>0 : x:= pred(x) x:= succ(x) writeInt(x) Q: Is output pos? A: abstractly interpret domain Int by Sign = {neg, zero, pos, any}: readSign(x) if isPos(x): x:= pred (x) x:= succ(x) writeSign(x) where succ (pos) = pos succ (zero) = pos succ (neg) = any succ (any) = any and pred (neg) = neg pred (zero) = neg

  9. Automation of Termination: Abstracting CCG through MWG Automation of Termination: Abstracting Calling

    E-Print Network [OSTI]

    Ayala-Rincón, Mauricio

    Automation of Termination: Abstracting CCG through MWG Automation of Termination: Abstracting.Ayala-Rinc´on & C.A.Munoz IX Semin´ario Informal(, mas Formal!) November 29, 2013 1 / 32 #12;Automation science. While classical results state the undecidability of various termination problems, automated

  10. ABSTRACT TAMANG, APIL. A Multilevel Method

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefieldSulfateSciTechtail.TheoryTuesday, August 10, 20102016 News BelowAsked toUSC-Aiken,AUii ABSTRACT

  11. Sandia Energy - Online Abstracts and Reports

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home RoomPreservation of Fe(II)Geothermal Energy &WaterNew CREWOnline Abstracts and Reports Home

  12. Sandia Energy - Online Abstracts and Reports

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home RoomPreservation of Fe(II)Geothermal Energy &WaterNew CREWOnline Abstracts and Reports

  13. Current Abstracts Nuclear Reactors and Technology

    SciTech Connect (OSTI)

    Bales, J.D.; Hicks, S.C.

    1993-01-01

    This publication Nuclear Reactors and Technology (NRT) announces on a monthly basis the current worldwide information available from the open literature on nuclear reactors and technology, including all aspects of power reactors, components and accessories, fuel elements, control systems, and materials. This publication contains the abstracts of DOE reports, journal articles, conference papers, patents, theses, and monographs added to the Energy Science and Technology Database during the past month. Also included are US information obtained through acquisition programs or interagency agreements and international information obtained through acquisition programs or interagency agreements and international information obtained through the International Energy Agency`s Energy Technology Data Exchange or government-to-government agreements. The digests in NRT and other citations to information on nuclear reactors back to 1948 are available for online searching and retrieval on the Energy Science and Technology Database and Nuclear Science Abstracts (NSA) database. Current information, added daily to the Energy Science and Technology Database, is available to DOE and its contractors through the DOE Integrated Technical Information System. Customized profiles can be developed to provide current information to meet each user`s needs.

  14. Yair Amran. Fakhralden Huliehcl. and Shmucl (Sam) Ben-Yaakov. Member. IEEf.' Abslracl-A !iimple. uni6ed. and Illpolll~y-independenl model

    E-Print Network [OSTI]

    : a switched inductor. which serves as a tem- porary energy storage element between the input and out- put and validity of the proposed simulation approach were tested by measuring the large and small signal response that is switched at one end between two terminals (8) and (C) at a frequency I. and a duty- ratio DON. for port (8

  15. Properties of NAC and CV[NAC] for Energy Models 

    E-Print Network [OSTI]

    Ruch, D. K.

    1993-01-01

    ESL-TR-93/05-03 Properties of CV [NAC] for Linear Energy Models David K. Ruch Sam Houston State University k Energy Systems Laboratory May 1993 1. Introduction and Notation The stability of the NAC estimate for the PRISM model has been shown em... for many linear energy models of the form E = a + bT and a large range of temperature data sets. Define TL, as in Fels [1], to be the long-term average temperature (30 years is recommended). Then recall that the parameters a, b, and NAC for the model E = a...

  16. Solar Advisor Model User Guide for Version 2.0

    SciTech Connect (OSTI)

    Gilman, P.; Blair, N.; Mehos, M.; Christensen, C.; Janzou, S.; Cameron, C.

    2008-08-01

    The Solar Advisor Model (SAM) provides a consistent framework for analyzing and comparing power system costs and performance across the range of solar technologies and markets, from photovoltaic systems for residential and commercial markets to concentrating solar power and large photovoltaic systems for utility markets. This manual describes Version 2.0 of the software, which can model photovoltaic and concentrating solar power technologies for electric applications for several markets. The current version of the Solar Advisor Model does not model solar heating and lighting technologies.

  17. A posteriori soundness for non-deterministic abstract interpretations

    E-Print Network [OSTI]

    Might, Matt

    . In abstract interpretation, speed and precision are a function of the abstract allocation policy. By abstract://www.ccs.neu.edu/~pete/ Abstract. An abstract interpretation's resource-allocation policy (e.g., one heap summary node per allocation site) largely determines both its speed and precision. Historically, context has driven allocation

  18. DOE-NABIR PI Workshop: Abstracts 2003

    SciTech Connect (OSTI)

    Various

    2003-01-28

    The mission of the NABIR program is to provide the fundamental science that will serve as the basis for the development of cost-effective bioremediation and long-term stewardship of radionuclides and metals in the subsurface at DOE sites. The focus of the program is on strategies leading to long-term immobilization of contaminants in situ to reduce the risk to humans and the environment. Contaminants of special interest are uranium, technetium, plutonium, chromium, and mercury. The focus of the NABIR program is on the bioremediation of these contaminants in the subsurface below the root zone, including both vadose and saturated zones. The program consists of four interrelated Science Elements (Biotransformation, Community Dynamics/Microbial Ecology, Biomolecular Science and Engineering, and Biogeochemistry). The program also has a cross-cutting Assessment Element that supports development of innovative approaches and technologies to support the science elements. An element called Bioremediation and its Societal Implications and Concerns (BASIC) addresses potential societal issues of implementing NABIR scientific findings. The material presented at this year's workshop focuses on approximately 60 research projects funded in FY 2000-2003 by the Environmental Remediation Sciences Division in DOE's Office of Biological and Environmental Research (BER) in the Office of Science. Abstracts of NABIR research projects are provided in this book.

  19. Abstract--We present a method to integrate environmental time series

    E-Print Network [OSTI]

    89 Abstract--We present a method to integrate environmental time series into stock assessment). A general framework for integrating environmental time series into stock assessment models: model models and to test the significance of correlations between population processes and the environmental

  20. Abstract Often, power electronics systems are simulated with ideal switching elements, perhaps augmented with conduction

    E-Print Network [OSTI]

    Kimball, Jonathan W.

    Abstract ­ Often, power electronics systems are simulated with ideal switching elements, perhaps-based models are useful for highly detailed power electronics design, such as gate drive design augmented with conduction loss models. A behavioral model is proposed that also includes switching loss

  1. OpenVL: A Developer-Level Abstraction of Computer Vision Gregor Miller and Sidney Fels

    E-Print Network [OSTI]

    British Columbia, University of

    OpenVL: A Developer-Level Abstraction of Computer Vision Gregor Miller and Sidney Fels Human- ple language model [Miller and Fels 2013]); the third is a detailed description of the individual

  2. Sam Bader | Argonne National Laboratory

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    University of California, Berkeley Argonne Distinguished Fellow Application of nanotechnology to create novel permanent magnets (spring magnets); exploration of laterally...

  3. Sam Rashkin | Department of Energy

    Broader source: Energy.gov (indexed) [DOE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirley Ann JacksonDepartment ofOffice|inWestMay 13, 2015reports issuedExperience |PPPOlower

  4. Structured hints : extracting and abstracting domain expertise.

    SciTech Connect (OSTI)

    Hereld, M.; Stevens, R.; Sterling, T.; Gao, G. R.; Mathematics and Computer Science; California Inst. of Tech.; Louisiana State Univ.; Univ. of Delaware

    2009-03-16

    We propose a new framework for providing information to help optimize domain-specific application codes. Its design addresses problems that derive from the widening gap between the domain problem statement by domain experts and the architectural details of new and future high-end computing systems. The design is particularly well suited to program execution models that incorporate dynamic adaptive methodologies for live tuning of program performance and resource utilization. This new framework, which we call 'structured hints', couples a vocabulary of annotations to a suite of performance metrics. The immediate target is development of a process by which a domain expert describes characteristics of objects and methods in the application code that would not be readily apparent to the compiler; the domain expert provides further information about what quantities might provide the best indications of desirable effect; and the interactive preprocessor identifies potential opportunities for the domain expert to evaluate. Our development of these ideas is progressing in stages from case study, through manual implementation, to automatic or semi-automatic implementation. In this paper we discuss results from our case study, an examination of a large simulation of a neural network modeled after the neocortex.

  5. Composable abstractions for synchronization in dynamic threading platforms

    E-Print Network [OSTI]

    Sukha, Jim

    2011-01-01

    High-level abstractions for parallel programming simplify the development of efficient parallel applications. In particular, composable abstractions allow programmers to construct a complex parallel application out of ...

  6. Modeling Photovoltaic and Concentrating Solar Power Trough Performance, Cost, and Financing with the Solar Advisor Model: Preprint

    SciTech Connect (OSTI)

    Blair, N.; Mehos, M.; Christensen, C.; Cameron, C.

    2008-05-01

    A comprehensive solar technology systems analysis model, the Solar Advisor Model (SAM), has been developed to support the federal R&D community and the solar industry by staff at the National Renewable Energy Laboratory (NREL) and Sandia National Laboratory. This model is able to model the finances, incentives, and performance of flat-plate photovoltaic (PV), concentrating PV, and concentrating solar power (specifically, parabolic troughs). The primary function of the model is to allow users to investigate the impact of variations in performance, cost, and financial parameters to better understand their impact on key figures of merit. Figures of merit related to the cost and performance of these systems include, but aren't limited to, system output, system efficiencies, levelized cost of energy, return on investment, and system capital and O&M costs. There are several models within SAM to model the performance of photovoltaic modules and inverters. This paper presents an overview of each PV and inverter model, introduces a new generic model, and briefly discusses the concentrating solar power (CSP) parabolic trough model. A comparison of results using the different PV and inverter models is also presented.

  7. Abstract This research investigates the requirements for proactive service delivery for heavy industrial equipment

    E-Print Network [OSTI]

    Hsu, Cheng

    Abstract ­ This research investigates the requirements for proactive service delivery for heavy agreements in the field. The observer-participant method was used to develop and test the model with manufacturers of gas turbines, jet engines, and locomotives. The reference model organizes the requirements

  8. Division of Environmental Control Technology Program, 1979. [Lead abstract

    SciTech Connect (OSTI)

    1980-06-01

    Separate abstracts were prepared for the 10 sections in this progress report dealing with environmental engineering. (KRM)

  9. From Continuation Passing Style to Krivine's Abstract Machine

    E-Print Network [OSTI]

    Selinger, Peter

    From Continuation Passing Style to Krivine's Abstract Machine Peter Selinger Department different extensions of typed lambda calculus, how the rules for a version of Krivine's abstract machine can-in types and primitive functions. We also show how Krivine's abstract machine can be implemented

  10. From Continuation Passing Style to Krivine's Abstract Machine

    E-Print Network [OSTI]

    Selinger, Peter

    From Continuation Passing Style to Krivine's Abstract Machine Peter Selinger Department different extensions of typed lambda calculus, how the rules for a version of Krivine's abstract machine can­in types and primitive functions. We also show how Krivine's abstract machine can be implemented

  11. To appear in Proc. AAAI'97 Dynamic Abstraction Planning

    E-Print Network [OSTI]

    Krebsbach, Kurt D.

    To appear in Proc. AAAI'97 Dynamic Abstraction Planning Robert P. Goldman, David J. Musliner, Kurt describes Dynamic Abstraction Planning (DAP), an abstraction planning technique that im- proves the e ciency to produce a plan and the size of the resulting plan. The intuition behind this approach is simple: in some

  12. The Impact of Distributed Programming Abstractions on Application Energy Consumption

    E-Print Network [OSTI]

    Tilevich, Eli

    The Impact of Distributed Programming Abstractions on Application Energy Consumption Young-Woo Kwon of their energy consumption patterns. By varying the abstractions with the rest of the functionality fixed, we measure and analyze the impact of distributed programming abstractions on application energy consumption

  13. Math 4333: Intro to Abstract Algebra II Second Exam

    E-Print Network [OSTI]

    Schmidt, Ralf

    Math 4333: Intro to Abstract Algebra II Second Exam Spring 2015, University of Oklahoma 04 credit. 1 20 2 20 3 20 4 20 5 20 TOTAL 100 #12;Math 4333: Intro to Abstract Algebra II Page 2 1. Let f over Q. (20 points) #12;Math 4333: Intro to Abstract Algebra II Page 4 3. a) Find an example

  14. Modeling Photovoltaic Module-Level Power Electronics in the System Advisor Model; NREL (National Renewable Energy Laboratory)

    SciTech Connect (OSTI)

    2015-07-01

    Module-level power electronics, such as DC power optimizers, microinverters, and those found in AC modules, are increasing in popularity in smaller-scale photovoltaic (PV) systems as their prices continue to decline. Therefore, it is important to provide PV modelers with guidelines about how to model these distributed power electronics appropriately in PV modeling software. This paper extends the work completed at NREL that provided recommendations to model the performance of distributed power electronics in NREL’s popular PVWatts calculator [1], to provide similar guidelines for modeling these technologies in NREL's more complex System Advisor Model (SAM). Module-level power electronics - such as DC power optimizers, microinverters, and those found in AC modules-- are increasing in popularity in smaller-scale photovoltaic (PV) systems as their prices continue to decline. Therefore, it is important to provide PV modelers with guidelines about how to model these distributed power electronics appropriately in PV modeling software.

  15. Understanding the Critical Path in Power State Transition Latencies Sam (Likun) Xi, Marisabel Guevara, Jared Nelson, Patrick Pensabene, and Benjamin C. Lee

    E-Print Network [OSTI]

    Lee, Benjamin C.

    .c.lee@duke.edu Abstract--Increasing demands on datacenter com- puting prompts research in energy-efficient warehouse scale resume sequences to make datacenter server activation viable. With fast transitions, server activation--Transition latency, suspend, sleep, Chrome OS, power consumption, datacenter I. INTRODUCTION Datacenter power

  16. Math 4323: Intro to Abstract Algebra Second Exam

    E-Print Network [OSTI]

    Schmidt, Ralf

    Math 4323: Intro to Abstract Algebra Second Exam Fall 2014, University of Oklahoma 10/29/2014 Ralf credit. 1 20 2 20 3 20 4 20 5 20 TOTAL 100 #12;Math 4323: Intro to Abstract Algebra Page 2 1. Give)(23)(46512). (20 points) #12;Math 4323: Intro to Abstract Algebra Page 4 3. Prove that the map from U(16) to itself

  17. Abstract: Development and Deployment of a Short Rotation Woody...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Development and Deployment of a Short Rotation Woody Crops Harvesting System Based on a Case New Holland Forage Harvester and SRC Woody Crop Header Abstract: Development and...

  18. THE TH SYMPOSIUM ON ANALYSIS & PDES AbstRActs Giovanni ...

    E-Print Network [OSTI]

    2009-05-25

    Patricia Bauman, Purdue University. Existence of solutions to boundary value problems for smectic liquid crys- .... An eigenvalue partition problem. Abstract. TBA.

  19. Deep Borehole Disposal of Spent Fuel. Brady, Patrick V. Abstract...

    Office of Scientific and Technical Information (OSTI)

    Spent Fuel. Brady, Patrick V. Abstract not provided. Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States) USDOE National Nuclear Security Administration (NNSA)...

  20. Alamos National Laboratory] Materials Science(36) Abstract Not...

    Office of Scientific and Technical Information (OSTI)

    Co-Design at the Mesoscale: Opportunities for NSLS-II Sarrao, John L. Los Alamos National Laboratory Materials Science(36) Abstract Not Provided Los Alamos National Laboratory...

  1. 7th international symposium on photosynthetic prokaryotes. Abstracts

    SciTech Connect (OSTI)

    Fuller, R.C.

    1991-12-31

    This book contains the abstracts of all the presentations made either in oral or poster form, at the VII International Symposium on Photosynthetic Prokaryotes.

  2. 2nd Annual DOE-ERSP PI Meeting: Abstracts

    E-Print Network [OSTI]

    Hazen, Terry C.

    2007-01-01

    geochemistry. Abstracts Synthesis of Goethite-Coated SandSynthesis of GCS using the heterogeneous suspension method was a two-step process, wherein pure goethite

  3. SYSTEM DEMONSTRATION NATURAL LANGUAGE GENERATION WITH ABSTRACT MACHINE

    E-Print Network [OSTI]

    ~it Tiibingen 72074 Tiibingen, Germany shuly©sf s.nphi i.uni-tueb ingen, de Abstract" We present a system

  4. Abstract--The METANET model, deduced based on equilibrium state assumption, provides a candidate model for

    E-Print Network [OSTI]

    Horowitz, Roberto

    of Transportation (Caltrans). X. Y. Lu (Corresponding Author), is with PATH, ITS, U. C. Berkeley, Richmond Field and Geomatic Eng., Univ. College London, Gower Street, London WC1E 6BT, England S. Shladover is with PATH, U. C

  5. POSTER ABSTRACT A Web-page Fragmentation Technique for Personalized

    E-Print Network [OSTI]

    POSTER ABSTRACT A Web-page Fragmentation Technique for Personalized Browsing Bouras Christos@cti.gr ABSTRACT In this paper, a technique is presented that allows web sites viewers to build personalized web and reduces the cost of browsing the web by minimizing the data that have to be downloaded. It is based

  6. Abstract State Machines Capture Parallel Andreas Blass Yuri Gurevich y

    E-Print Network [OSTI]

    Blass, Andreas R.

    Abstract State Machines Capture Parallel Algorithms Andreas Blass #3; Yuri Gurevich y Technical Microsoft Way Redmond, WA 98052 Abstract We give an axiomatic description of parallel, synchronous algo state machine with a background that provides for multisets. #3; Partially supported by NSF grant DMS

  7. The Lambda Library: Lambda Abstraction in C++ Jaakko Jarvi

    E-Print Network [OSTI]

    Lumsdaine, Andrew

    provides means to define unnamed functions). In this paper we intro- duce the Lambda Library which fixesThe Lambda Library: Lambda Abstraction in C++ Jaakko J¨arvi Turku Centre for Computer Science (TUCS. gwpowell@hotmail.com Abstract The Lambda Library (LL) adds a form of lambda ab- straction to C++. The LL

  8. Hanford Personnel Dosimeter supporting studies FY-1980. [Lead abstract

    SciTech Connect (OSTI)

    Endres, G.W.R.; Cummings, F.M.; Aldrich, J.M.; Thorson, M.R.; Kathren, R.L.

    1981-02-01

    Separate abstracts were prepared for the 10 sections of this report which describe fundamental characteristics of the Hanford multipurpose personnel dosimeter (HMPD). Abstracts were not prepared for Appendix A and Appendix B which deal with calculated standard deviations for 100 mrem mixed field exposures and detailed calculations of standard deviations, respectively. (KRM)

  9. Privacy Enhanced Fraud Resistant Road Pricing (extended abstract)

    E-Print Network [OSTI]

    Hoepman, Jaap-Henk

    for the current road tax. The announcement of the Dutch authorities stirred a large public debate which stillPrivacy Enhanced Fraud Resistant Road Pricing (extended abstract) Jaap-Henk Hoepman1,2 , George, University of Groningen, the Netherlands g.b.huitema@rug.nl Abstract. A naive implementation of a road

  10. Fast, waitfree (2k \\Gamma 1)Renaming (Extended abstract)

    E-Print Network [OSTI]

    Afek, Yehuda

    Fast, wait­free (2k \\Gamma 1)­Renaming (Extended abstract) Yehuda Afek \\Lambda Michael Merritt y Abstract We describe a fast, wait­free (2k \\Gamma 1)­renaming algo­ rithm which takes O(k 2 ) time. (Where, including a fast (long­lived) atomic snapshot algorithm, are briefly discussed. 1 Introduction Since early

  11. "Large" Abstractions for Software Engineering Dewayne E Perry

    E-Print Network [OSTI]

    Perry, Dewayne E.

    "Large" Abstractions for Software Engineering Dewayne E Perry The Department of Electrical that provide critical distinctions about our field of software engineering as a whole; abstractions that enable do software engineering. I give a number of examples and delineate why I think they have been

  12. Java Separate Type Checking is not Safe (Extended Abstract)

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Java Separate Type Checking is not Safe (Extended Abstract) Davide Ancona, Giovanni Lagorio,lagorio,zuccag@disi.unige.it Abstract. Java supports separate type-checking in the sense that com- pilation can be invoked on a single in the environment. However, the Java speci#12;cation does not de#12;ne precise rules on how this process should

  13. Abstraction and Implementation of a Lightweight Distributed Termination Protocol

    E-Print Network [OSTI]

    Dobson, Simon

    Abstraction and Implementation of a Lightweight Distributed Termination Protocol D.M. Goodeve , C, University of Leeds, UK Department of Computer Science, Trinity College Dublin, Eire Abstract Termination synchronisation on this state costly. Many parallel applica- tions are structured such that termination occurs

  14. Abstract True Concurrency: Adhesive Processes Paolo Baldan1

    E-Print Network [OSTI]

    Baldan, Paolo

    Abstract True Concurrency: Adhesive Processes Paolo Baldan1 , Andrea Corradini2 , Tobias Heindel3 Abstract. Rewriting systems over adhesive categories have been re- cently introduced as a general framework semantics for adhesive rewriting sys- tems by defining the fundamental notion of process, well-known from

  15. RENEWAL THEORY IN ANALYSIS OF TRIES AND STRINGS: EXTENDED ABSTRACT

    E-Print Network [OSTI]

    Janson, Svante

    RENEWAL THEORY IN ANALYSIS OF TRIES AND STRINGS: EXTENDED ABSTRACT SVANTE JANSON Abstract. We give a survey of a number of simple applications of renewal theory to problems on random strings, in particular to tries and Khodak and Tunstall codes. 1. Introduction Although it long has been realized that renewal

  16. Abstract Interpretation with Alien Expressions and Heap Structures

    E-Print Network [OSTI]

    Leino, K. Rustan M.

    Abstract Interpretation with Alien Expressions and Heap Structures Bor-Yuh Evan Chang0, and K constraint mentions other, alien, function or relation symbols, it is ignored (that is, it is very coarsely over-approximated) by the abstract domain. Rather than building in special treatment of such alien

  17. ADO.NET Entity Framework: Raising the Level of Abstraction in Data Programming

    E-Print Network [OSTI]

    Adya, Atul

    Modeling, ADO.NET 1. INTRODUCTION A large number of commercial software applications written today are data-centric and software development companies face the challenge of creating and evolving data-centric applications of abstraction at which application developers work when creating and maintaining data-centric applications

  18. Abstract--The growing popularity and success of fuel cells in aerospace, stationary power, and transportation

    E-Print Network [OSTI]

    Rincon-Mora, Gabriel A.

    1 Abstract-- The growing popularity and success of fuel cells in aerospace, stationary power runtime, and decreasing size. Di- rect-methanol fuel cell batteries have now been built and conformed to low cost technologies and chip-scale dimen- sions. Conventional fuel cell models, however, fail

  19. Probabilistic Analysis of Onion Routing in a Black-box [Extended Abstract

    E-Print Network [OSTI]

    --Distributed applications General Terms Algorithms, Security, Theory Keywords Anonymity, onion routing, Tor A full version-1-59593-883-1/07/0010 ...$5.00. 1. INTRODUCTION Every day, thousands of people use the onion-routing net- work Tor [6Probabilistic Analysis of Onion Routing in a Black-box Model [Extended Abstract] Joan Feigenbaum

  20. Symposium on intermediate-range atmospheric-transport processes and technology assessment. [Lead Abstract

    SciTech Connect (OSTI)

    Not Available

    1981-10-01

    Separate abstracts were prepared for the 47 papers in this proceedings. The purpose of this meeting was to assess the state of the art of modeling atmospheric transport processes 10 to 100 km downwind of point and area sources of pollution. (KRM)

  1. IEEE Access 2015-000125 1 Abstract--Plug-in hybrid electric vehicles (PHEVs) offer the

    E-Print Network [OSTI]

    Eppstein, Margaret J.

    IEEE Access 2015-000125 1 Abstract-- Plug-in hybrid electric vehicles (PHEVs) offer the potential vehicles (PHEVs); agent-based model; market penetration; electric vehicle adoption; vehicle choice-in hybrid electric vehicles (PHEVs) offer the potential to significantly reduce GHG emissions [2

  2. Rounds vs Queries Trade-off in Noisy Computation [Extended Abstract

    E-Print Network [OSTI]

    Saks, Michael

    Rounds vs Queries Trade-off in Noisy Computation [Extended Abstract] Navin Goyal Michael Saks OR of n bits. This answers a question of Newman [21]. We prove more general trade-offs between the number (noise-free) model, a boolean function f(x1, . . . , xn) is to be computed by querying variables

  3. Abstract--Researchers have hypothesized that animal locomotory patterns seen are consistent with the resonant

    E-Print Network [OSTI]

    Krovi, Venkat

    -645-3875). showed that humans, and by extension all animals, maintain resonance during walking and running [1, 2Abstract-- Researchers have hypothesized that animal locomotory patterns seen are consistent employed virtual prototyping with a capable musculoskeletal simulation model to study the same hypothesis

  4. Electronic copy available at: http://ssrn.com/abstract=1594813 A NEW PERSPECTIVE ON THE GENEALOGY OF

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Electronic copy available at: http://ssrn.com/abstract=1594813 A NEW PERSPECTIVE ON THE GENEALOGY@iae-grenoble.fr Abstract: This article puts forwards a "reorientationist" perspective about the genealogy of collective (mainly medievalist) can be helpful in writing a different genealogy of contemporary models of collective

  5. Abstract Flood frequency analysis is usually based on the fitting of an extreme value distribution to the local

    E-Print Network [OSTI]

    Ribatet, Mathieu

    Abstract Flood frequency analysis is usually based on the fitting of an extreme value distribution restrictive than the index flood model while preserving the formalism of ``homogeneous regions indicate that the regional Bayesian model outperforms the index flood model and local estimators

  6. Ethan Burns (UNH) Abstraction in Multicore Heuristic Search 1 / 31 Parallel Best-First Search: The Role of Abstraction

    E-Print Network [OSTI]

    Ruml, Wheeler

    Ethan Burns (UNH) Abstraction in Multicore Heuristic Search ­ 1 / 31 Parallel Best-First Search: The Role of Abstraction Ethan Burns1, Sofia Lemons1, Wheeler Ruml1 and Rong Zhou2 1 2 [Many thanks to NSF s Best-first Search s Parallel Search PRA* PBNF Optimal Search Suboptimal Search Conclusion Ethan Burns

  7. SERS internship Fall 1992--Spring 1993: Abstract and research papers

    SciTech Connect (OSTI)

    Not Available

    1993-08-05

    This report contains the abstracts and research papers by students on a variety of topics in engineering, genetics, solid state physics, thermonuclear energy, astrophysics, and other science related topics.

  8. Earth Sciences Division annual report 1981. [Lead abstract

    SciTech Connect (OSTI)

    Not Available

    1982-09-01

    Separate abstracts were prepared for the 59 papers of the 1981 annual report of the Earth Sciences Division at Lawrence Berkeley Laboratory. The general topics covered included nuclear waste isolation, geophysics and reservoir engineering, and geosciences. (KRM)

  9. thesis abstract: Ecology and biogeography of island parasitoid faunas

    E-Print Network [OSTI]

    Santos, Ana M. C.

    2012-01-01

    ISSN 1948-6596 news and update thesis abstract Ecology andM. C. Santos 1,2,3 PhD Thesis, Silwood Park Campus, Divisionmainland counterparts. In this thesis I investigated whether

  10. Multi-camera: interactive rendering of abstract digital images 

    E-Print Network [OSTI]

    Smith, Jeffrey Statler

    2004-09-30

    The purpose of this thesis is the development of an interactive computer-generated rendering system that provides artists with the ability to create abstract paintings simply and intuitively. This system allows the user to distort a computer...

  11. Graph Coloring on a Coarse Grained Multiprocessor (extended abstract)

    E-Print Network [OSTI]

    Gebremedhin, Assefaw Hadish

    Graph Coloring on a Coarse Grained Multiprocessor (extended abstract) Assefaw Hadish Gebremedhin1 Allwright et al. (1995). However, in a recent result, Gebremedhin and Manne (1999a, 1999b) present

  12. Small Business Innovation Research. Abstracts of Phase I awards, 1999

    SciTech Connect (OSTI)

    None

    1999-12-01

    This booklet presents technical abstracts of Phase I awards made in Fiscal Year (FY) 1999 under the DOE Small Business Innovation Research (SBIR) program. SBIR research explores innovative concepts in important technological and scientific areas that can lead to valuable new technology and products. The work described in the abstracts is novel, high-risk research, but the benefits will also be potentially high if the objectives are met. Brief comments on the potential applications, as described by the awardee, are given after each abstract. Individuals and organizations, including venture capital and larger industrial firms, with an interest in the research described in any of the abstracts are encouraged to contact the appropriate small business directly.

  13. Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation

    E-Print Network [OSTI]

    Xie, Fei

    state representation (a.k.a., quaternary abstraction) which, however, is also their weakness variables (a.k.a., precise nodes) to represent the state space more accurately or (2) specification

  14. 4th Annual DOE-ERSP PI Meeting: Abstracts

    E-Print Network [OSTI]

    Hazen, Terry C.

    2009-01-01

    measuring metabolism, chemistry, and uranium solubility atchemistry and uranyl speciation that generally decreases aqueous uraniumUranium Groundwater Flux Session: Student Abstract Stucker Valerie Stucker, Department of Chemistry and

  15. The Bioelectromagnetic Society Thirteenth Annual Meeting 1991: Program and abstracts

    SciTech Connect (OSTI)

    Not Available

    1992-12-31

    This volume contains author abstracts representing oral and poster presentations made at the Thirteenth Annual Meeting of The Bioelectromagnetic Society held in Salt Lake City, Utah June 23--27, 1991.

  16. Abstracts and research accomplishments of university coal research projects

    SciTech Connect (OSTI)

    Not Available

    1991-06-01

    The Principal Investigators of the grants supported by the University Coal Research Program were requested to submit abstracts and highlight accomplishments of their projects in time for distribution at a grantees conference. This book is a compilation of the material received in response to the request. Abstracts discuss the following area: coal science, coal surface science, reaction chemistry, advanced process concepts, engineering fundamentals and thermodynamics, environmental science.

  17. Machine Learning and Cosmological Simulations I: Semi-Analytical Models

    E-Print Network [OSTI]

    Kamdar, Harshil M; Brunner, Robert J

    2015-01-01

    We present a new exploratory framework to model galaxy formation and evolution in a hierarchical universe by using machine learning (ML). Our motivations are two-fold: (1) presenting a new, promising technique to study galaxy formation, and (2) quantitatively analyzing the extent of the influence of dark matter halo properties on galaxies in the backdrop of semi-analytical models (SAMs). We use the influential Millennium Simulation and the corresponding Munich SAM to train and test various sophisticated machine learning algorithms (k-Nearest Neighbors, decision trees, random forests and extremely randomized trees). By using only essential dark matter halo physical properties for haloes of $M>10^{12} M_{\\odot}$ and a partial merger tree, our model predicts the hot gas mass, cold gas mass, bulge mass, total stellar mass, black hole mass and cooling radius at z = 0 for each central galaxy in a dark matter halo for the Millennium run. Our results provide a unique and powerful phenomenological framework to explore...

  18. Schoolwide Applications Model: Implications for Academic Achievement in the District of Columbia Public Schools

    E-Print Network [OSTI]

    Dunn, Jessica Morgan

    2012-12-31

    . ...................................................................................................................... 18 Adopting RTI. ........................................................................................................................ 19 History of SAM... (RTI) framework. To fully understand SAM and its theoretical underpinnings, it is essential to review educational system shortcomings, policy changes addressing system inadequacies, the emergence of RTI, and RTI ’s goals and implementation...

  19. SRS scientific and technical abstracts, July--September 1992

    SciTech Connect (OSTI)

    Not Available

    1992-10-01

    This document focuses on the scientific and technical information (STT) reports, articles, and presentations generated at the site by various authors and organizations of Westinghouse Savannah River Company and its subcontractors. Abstracts of these STI products are contained within this document. The abstracts have been compiled as they originally appeared in the source reports. No changes to the content have been made except as necessary to correct errors of spelling, to reduce abstract length, or to ensure that the information is unclassified. The abstracts are organized according to information categories ( UC'' categories) established by the Department of Energy's Office of Scientific and Technical Information (OSTI). When reports fall into more than one category, their abstract is included as an entry in the most applicable section of this document. UC-700 General, Miscellaneous, and Progress Reports, UC-701 Chemistry, UC-702 Environmental Sciences, UC-703 Geosciences, UC-704 Materials, UC-705 Mathematics and Computer Sciences, UC-706 Engineering, Equipment, and Instruments, UC-707 Health and Safety, UC-708 Biological Sciences, UC-711 Chemical Separation Processes for Plutonium and Uranium, UC-712 Inertial Confinement Fusion, UC-713 Radioisotope and Radiation Applications, UC-714 Criticality Studies, UC-715 Technology - Feed Materials, UC-721 Defense Waste Management, UC-722 Transportation of Nuclear Materials, UC-731 Nuclear Materials Production, UC-732 Special Isotope Separation (Plutonium), UC-733 Nuclear Raw Materials, UC-741 Chemical High Explosives, UC-742 Applications of Explosions, UC-743 Nuclear Propulsion Systems, UC-744 Aerospace Nuclear Safety, and Index 91.

  20. SRS scientific and technical abstracts, July--September 1992

    SciTech Connect (OSTI)

    Not Available

    1992-10-01

    This document focuses on the scientific and technical information (STT) reports, articles, and presentations generated at the site by various authors and organizations of Westinghouse Savannah River Company and its subcontractors. Abstracts of these STI products are contained within this document. The abstracts have been compiled as they originally appeared in the source reports. No changes to the content have been made except as necessary to correct errors of spelling, to reduce abstract length, or to ensure that the information is unclassified. The abstracts are organized according to information categories (``UC`` categories) established by the Department of Energy`s Office of Scientific and Technical Information (OSTI). When reports fall into more than one category, their abstract is included as an entry in the most applicable section of this document. UC-700 General, Miscellaneous, and Progress Reports, UC-701 Chemistry, UC-702 Environmental Sciences, UC-703 Geosciences, UC-704 Materials, UC-705 Mathematics and Computer Sciences, UC-706 Engineering, Equipment, and Instruments, UC-707 Health and Safety, UC-708 Biological Sciences, UC-711 Chemical Separation Processes for Plutonium and Uranium, UC-712 Inertial Confinement Fusion, UC-713 Radioisotope and Radiation Applications, UC-714 Criticality Studies, UC-715 Technology - Feed Materials, UC-721 Defense Waste Management, UC-722 Transportation of Nuclear Materials, UC-731 Nuclear Materials Production, UC-732 Special Isotope Separation (Plutonium), UC-733 Nuclear Raw Materials, UC-741 Chemical High Explosives, UC-742 Applications of Explosions, UC-743 Nuclear Propulsion Systems, UC-744 Aerospace Nuclear Safety, and Index 91.

  1. A Global View Programming Abstraction for Transitioning MPI Codes to PGAS Languages

    SciTech Connect (OSTI)

    Mintz, Tiffany M [ORNL] [ORNL; Hernandez, Oscar R [ORNL] [ORNL; Bernholdt, David E [ORNL] [ORNL

    2014-01-01

    The multicore generation of scientific high performance computing has provided a platform for the realization of Exascale computing, and has also underscored the need for new paradigms in coding parallel applications. The current standard for writing parallel applications requires programmers to use languages designed for sequential execution. These languages have abstractions that only allow programmers to operate on the process centric local view of data. To provide suitable languages for parallel execution, many research efforts have designed languages based on the Partitioned Global Address Space (PGAS) programming model. Chapel is one of the more recent languages to be developed using this model. Chapel supports multithreaded execution with high-level abstractions for parallelism. With Chapel in mind, we have developed a set of directives that serve as intermediate expressions for transitioning scientific applications from languages designed for sequential execution to PGAS languages like Chapel that are being developed with parallelism in mind.

  2. The Complexity of Pure Nash Equilibria [Extended Abstract

    E-Print Network [OSTI]

    Fabrikant, Alex

    The Complexity of Pure Nash Equilibria [Extended Abstract] Alex Fabrikant Computer Science that are guaranteed to have pure Nash equilibria. We focus on congestion games, and show that a pure Nash equilibrium function method for proving existence of pure Nash equilibria. Categories and Subject Descriptors F.1

  3. The Complexity of Pure Nash Equilibria [Extended Abstract

    E-Print Network [OSTI]

    Fabrikant, Alex

    The Complexity of Pure Nash Equilibria [Extended Abstract] Alex Fabrikant # Computer Science that are guaranteed to have pure Nash equilibria. We focus on congestion games, and show that a pure Nash equilibrium function method for proving existence of pure Nash equilibria. Categories and Subject Descriptors F.1

  4. Data Abstraction Architecture for Spacecraft Scott Bell and David Kortenkamp

    E-Print Network [OSTI]

    Kortenkamp, David

    architecture and used by a high level controller. Our approach improves the process of both controlData Abstraction Architecture for Spacecraft Autonomy Scott Bell and David Kortenkamp TRACLabs Inc. 1012 Hercules Houston Texas 77058 korten@traclabs.com Jack Zaientz Soar Technology Inc. 3600 Green

  5. Abstract of thesis Separating Instruction Fetches from Memory Accesses : ILAR

    E-Print Network [OSTI]

    Dietz, Henry G. "Hank"

    Abstract of thesis Separating Instruction Fetches from Memory Accesses : ILAR (Instruction Line access performance. This thesis investigates applying the same ideas to improve instruction access. ILAR instruction. This thesis proposes an instruction set architecture for ILAR, investigates a mechanism to load

  6. Geophysical Research Abstracts Vol. 12, EGU2010-4885, 2010

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Geophysical Research Abstracts Vol. 12, EGU2010-4885, 2010 EGU General Assembly 2010 © Author(s) 2010 The DIGISOIL multi-sensor system: from geophysical measurements to soil properties. Gilles geophysical technologies for answering this societal demand. To this aim, DIGISOIL addresses four issues

  7. Geophysical Research Abstracts Vol. 12, EGU2010-8384, 2010

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Geophysical Research Abstracts Vol. 12, EGU2010-8384, 2010 EGU General Assembly 2010 © Author are known to be highly dependent on local site characteristics. Therefore combining geophysical meth- ods. In order to calibrate geophysical measurements, obser- vations of 130 boreholes (4 meters deep) were made

  8. Geophysical Research Abstracts Vol. 12, EGU2010-11992, 2010

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Geophysical Research Abstracts Vol. 12, EGU2010-11992, 2010 EGU General Assembly 2010 © Author(s) 2010 Contribution of the airborne geophysical survey to the study of the regolith : A case study of regolith properties: superficial studies combining geology, geochemistry and geophysics become essential

  9. Geophysical Research Abstracts Vol. 12, EGU2010-4993, 2010

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Geophysical Research Abstracts Vol. 12, EGU2010-4993, 2010 EGU General Assembly 2010 © Author(s) 2010 Geophysical observations at cavity collapse Philippe Jousset, Behrooz Bazargan-Sabet, François relate the variations of the brine pumping rate with the evolutions of the induced geophysical signals

  10. Announcement and Call for Abstracts SMAR 2013 Istanbul

    E-Print Network [OSTI]

    in a Journal Special Issue dedicated to SMAR 2013 Conference Conference Venue City/Country: Istanbul / Turkey1st Announcement and Call for Abstracts SMAR 2013 Istanbul Second Conference on Smart Monitoring, Assessment and Rehabilitation of Civil Structures SMAR 2013, Istanbul TR 9 ­11 September 2013 Istanbul

  11. Call for Abstracts Society of Tribologists and Lubrication Engineers

    E-Print Network [OSTI]

    Haase, Markus

    1 Call for Abstracts Society of Tribologists and Lubrication Engineers 70th Annual Meeting and colleagues, The Surface Engineering Technical Committee of the Society of Tribologists and Lubrication range of topics involving the surface engineering (includes hard coatings) and lubricating mechanisms

  12. Byzantine Agreement in Polynomial Expected Time [Extended Abstract

    E-Print Network [OSTI]

    Saia, Jared

    . of Computer Science, University of New Mexico Albuquerque, NM 87131-1386 saia@cs.unm.edu ABSTRACT processors to corrupt and what strategy these processors should use as the algorithm proceeds; the scheduling: it can determine which processors to corrupt and what strategy these processors should use

  13. Optimal Estimation from Relative Measurements: Error Scaling (Extended Abstract)

    E-Print Network [OSTI]

    Hespanha, João Pedro

    "relative" measurement between xu and xv is available: uv = xu - xv + u,v Rk , (u, v) E V × V, (1) whereOptimal Estimation from Relative Measurements: Error Scaling (Extended Abstract) Prabir Barooah Jo~ao P. Hespanha I. ESTIMATION FROM RELATIVE MEASUREMENTS We consider the problem of estimating a number

  14. Abstract State Machines at the Cusp of the Millenium

    E-Print Network [OSTI]

    Börger, Egon

    Abstract State Machines at the Cusp of the Millenium Egon B¨orger Universit`a di Pisa, Dipartimento di Informatica, I-56125 Pisa, Italy boerger@di.unipi.it (Visiting Microsoft Research, Redmond of 1987 when Yuri Gurevich visited Pisa and, in a series of lectures on the fundamental problem

  15. Poster Abstract: Towards Active Measurements of Edge Network Outages

    E-Print Network [OSTI]

    Heidemann, John

    Poster Abstract: Towards Active Measurements of Edge Network Outages Lin Quan John Heidemann Yuri-to-end reachability is a fundamental service of the Internet. We study net- work outages caused by natural disasters [2,5], and political upheavals [8]. We propose a new approach to outage detection using active

  16. TEACHING CLEANROOM SOFTWARE ENGINEERING WITH OBJECT-ORIENTED DATA ABSTRACTION

    E-Print Network [OSTI]

    Ferrer, Gabriel J.

    TEACHING CLEANROOM SOFTWARE ENGINEERING WITH OBJECT- ORIENTED DATA ABSTRACTION Gabriel J. Ferrer] into the teaching of Cleanroom Software Engineering [4][5], namely the specification of method behavior in terms Cleanroom Software Engineering [4] [5] arguably fail to adequately describe how to reconcile the methodology

  17. Theory of Computing: A Scientific Perspective (Extended Abstract) \\Lambda

    E-Print Network [OSTI]

    Goldreich, Oded

    Theory of Computing: A Scientific Perspective (Extended Abstract) \\Lambda Oded Goldreich y Avi Wigderson z November 3, 1996 Theory of Computation (TOC) seeks to understand computational phenomena, be it natural, man­made or imaginative. TOC is an independent scientific discipline of fundamental importance

  18. Theory of Computing: A Scienti c Perspective (Extended Abstract)

    E-Print Network [OSTI]

    Goldreich, Oded

    http://theory.lcs.mit.edu/~oded/toc-sp.html. yDepartment of Computer Science and Applied MathematicsTheory of Computing: A Scienti c Perspective (Extended Abstract) Oded Goldreichy Avi Wigdersonz November 3, 1996 Theory of Computation (TOC) seeks to understand computational phenomena, be it natural

  19. Art & Mathematics: The Interstices of the Abstract and Concrete

    E-Print Network [OSTI]

    de Figueiredo, Luiz Henrique

    Art & Mathematics: The Interstices of the Abstract and Concrete Luiz Velho IMPA ­ Instituto de Matemática Pura e Aplicada Luiz Velho Interatividades - Ciclo Arte, Ciência e Tecnologia 2 Outline · Motivation and Concepts · Art and Mathematics · Surfaces and Sculptures · Scenes and Images · Conclusions

  20. Genomes containing Duplicates are Hard to compare (Extended abstract)

    E-Print Network [OSTI]

    Chauve, Cedric

    1 Genomes containing Duplicates are Hard to compare (Extended abstract) Cedric Chauve LaCIM, CGL, D and Applications, IWBRA 2006, volume 3992 of Lecture Notes in Computer Science, pages 783--790. #12; Genomes)similarity measures between two genomes when they contain duplicated genes. In that case, there are usually two main

  1. Towards a Smart Compilation Manager for Java (Extended Abstract)

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Towards a Smart Compilation Manager for Java (Extended Abstract) Giovanni Lagorio DISI - Universit differently from the program obtained recompiling all the sources from scratch? We say that a compilation the sources for which the recompilation would be unde- fined: indeed, when the entire compilation fails, so

  2. Human genome program report. Part 2, 1996 research abstracts

    SciTech Connect (OSTI)

    1997-11-01

    This report contains Part 2 of a two-part report to reflect research and progress in the US Department of Energy Human Genome Program from 1994 through 1996, with specified updates made just before publication. Part 2 consists of 1996 research abstracts. Attention is focused on the following: sequencing; mapping; informatics; ethical, legal, and social issues; infrastructure; and small business innovation research.

  3. Recent advances in yeast molecular biology: recombinant DNA. [Lead abstract

    SciTech Connect (OSTI)

    Not Available

    1982-09-01

    Separate abstracts were prepared for the 25 papers presented at a workshop focusing on chromosomal structure, gene regulation, recombination, DNA repair, and cell type control, that have been obtained by experimental approaches incorporating the new technologies of yeast DNA transformation, molecular cloning, and DNA sequence analysis. (KRM)

  4. Merging DBMs Efficiently Extended Abstract Alexandre David1

    E-Print Network [OSTI]

    David, Alexandre

    Merging DBMs Efficiently ­ Extended Abstract Alexandre David1 Department of Computer Science algorithms to reduce the number of DBMs in federations by merging them. Federations are unions of DBMs and are used to represent non-convex zones. Inclusion checking between DBMs is a limited technique to reduce

  5. Merging DBMs E#ciently --Extended Abstract Alexandre David 1

    E-Print Network [OSTI]

    David, Alexandre

    Merging DBMs E#ciently -- Extended Abstract Alexandre David 1 Department of Computer Science to reduce the number of DBMs in federations by merging them. Federations are unions of DBMs and are used to represent non­convex zones. Inclusion checking between DBMs is a limited technique to reduce the size

  6. SCDBR: An Automated Reasoner for Database (Extended Abstract)

    E-Print Network [OSTI]

    Bertossi, Leopoldo

    . In general, theories of action and change, such as the specification of the evolution of a database, includeSCDBR: An Automated Reasoner for Database Updates (Extended Abstract) Leopoldo Bertossi, Marcelo In this paper we describe SCDBR, a system that automates reasoning with specifications of database updates

  7. An Approach to Evolving Database Dependent Systems (Extended Abstract)

    E-Print Network [OSTI]

    Perry, Dewayne E.

    -58113-545 -9/02/05...$5.00 ficient and slow evolution of database schemas and software that uses the databasesAn Approach to Evolving Database Dependent Systems (Extended Abstract) Mark Grechanika to relational databases using such standards as Universal Data Access (UDA) and Open Database Connec~vity (ODBC

  8. A LOGIC PROGRAMMING LANGUAGE WITH LAMBDA-ABSTRACTION, FUNCTION VARIABLES,

    E-Print Network [OSTI]

    Miller, Dale

    A LOGIC PROGRAMMING LANGUAGE WITH LAMBDA-ABSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION University of Pennsylvania Philadelphia, PA 19104­6389 USA 1. Introduction A meta programming language must. Although the data types available in most computer programming languages are rich enough to represent all

  9. MINING MEDLINE: ABSTRACTS, SENTENCES, OR PHRASES? , D. BERLEANTa,d

    E-Print Network [OSTI]

    Wurtele, Eve Syrkin

    MINING MEDLINE: ABSTRACTS, SENTENCES, OR PHRASES? J. DINGa , D. BERLEANTa,d , D. NETTLETONb , AND E addresses automated mining for biochemical information from digital repositories of scientific literature, and effectiveness for the task of mining interactions among biochemical terms based on term co- occurrence. Results

  10. National conference on environmental remediation science and technology: Abstracts

    SciTech Connect (OSTI)

    NONE

    1998-12-31

    This conference was held September 8--10, 1998 in Greensboro, North Carolina. The purpose of this conference was to provide a multidisciplinary forum for exchange of state-of-the-art information on methods and site characterization technologies for environmental monitoring and remedial action planning of hazardous materials. This report contains the abstracts of sixty-one papers presented at the conference.

  11. Positive Results for Mechanism Design without Money (Extended Abstract)

    E-Print Network [OSTI]

    Cortes, Corinna

    Positive Results for Mechanism Design without Money (Extended Abstract) Richard Cole Courant to use the proportionally fair solution to design our non-dictatorial strategy-proof mechanism,Theory Keywords Prior-Free Mechanism Design; Proportional Fairness 1. INTRODUCTION How does one allocate

  12. Understanding and Abstracting Total Data Center Power Steven Pelley

    E-Print Network [OSTI]

    Wenisch, Thomas F.

    Understanding and Abstracting Total Data Center Power Steven Pelley David Meisner Thomas F. Wenisch center power consumption has led to a surge in research activity on data center energy effi- ciency. Though myriad, most existing energy-efficiency efforts focus narrowly on a single data center subsystem

  13. Rethinking Abstractions for Big Data: Why, Where, How, and What

    E-Print Network [OSTI]

    Kirby, Mike

    Rethinking Abstractions for Big Data: Why, Where, How, and What Mary Hall, Robert M. Kirby, Feifei Venkatasubramanian, University of Utah June 17, 2013 Big data refers to large and complex data sets that, under, analytical tools and human understanding [7]. Numerous lessons on the scalability of big data can already

  14. 1. Abstract This paper describes the architecture and implementation of

    E-Print Network [OSTI]

    Jahanian, Farnam

    1. Abstract This paper describes the architecture and implementation of Windmill, a passive network protocol performance measurement tool. Windmill enables experimenters to measure a broad range of protocol protocol layers' events. Windmill is split into three functional components: a dynamically compiled

  15. The matrix approach for abstract argumentation frameworks Claudette CAYROL,

    E-Print Network [OSTI]

    Winckler, Marco Antonio Alba

    The matrix approach for abstract argumentation frameworks Claudette CAYROL, Yuming XU IRIT Report- tion framework can be represented by a matrix, and the basic extensions (such as admissible, stable, complete) of an argumentation framework can be determined by sub-blocks of its matrix. In particular

  16. Studying Professional Software Designers and their Use of Abstraction

    E-Print Network [OSTI]

    Godfrey, Michael W.

    and support beams, and the configurations of rooms; electrical plans map out the electrical circuits the water pipes and locations of faucets and sinks; heating and cooling plans show the layout of air ducts- quent software design or development. Information hiding [4] uses abstraction to support software

  17. Poster Abstract: Achieving Stable Network Performance for Wireless Sensor Networks

    E-Print Network [OSTI]

    Zhou, Gang

    , University of Virginia, Charlottesville, VA Department of Computer Science, College of William & Mary, Williamsburg, VA Department of Computer Science and Engineering, University of Minnesota, Minneapolis, MN {sl8yc,yw5s,whitehouse,stankovic}@cs.virginia.edu gzhou@cs.wm.edu tianhe@cs.umn.edu ABSTRACT Extensive

  18. On Some Constructions in Quantitative Domain Theory (Extended Abstract)

    E-Print Network [OSTI]

    Spreen, Dieter

    On Some Constructions in Quantitative Domain Theory (Extended Abstract) Dieter Spreen Theoretische of an approximation, the theory of approximation based on domains was mainly of a qualitative nature. The situation introduced by K. Martin in his thesis [7]. They are strongly intertwined with the topological structure

  19. prop_num pi_lname title Abstract 71313 CHARLES

    E-Print Network [OSTI]

    Nishikawa, Ken-Ichi

    prop_num pi_lname title Abstract 71313 CHARLES DISENTANGLING DARK MATTER GAMMA-RAY SIGNALS FROM and describe a three step procedure we will use to extract constraints on dark matter (DM) signals: (i onwards are publicly available on the web, updated monthly, and being widely used, especially in Fermi

  20. ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION --Extended abstract i --

    E-Print Network [OSTI]

    Sannella, Don

    operations on nat and bool), and suppose A and B are ~-algebras with tAIbunch = the set of finite setsON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION -- Extended abstract i -- Donald Sannella which is adequate to handle reachable algebras only, and show how to extend it to cope with unreachable

  1. Poster Abstract: Community Sensor Grids Deployment and Usage

    E-Print Network [OSTI]

    Bhattacharya, Amiya

    Science New Mexico State University Las Cruces, NM 88003 amiya@nmsu.edu Meddage S. Fernando Department of Computer Science New Mexico State University Las Cruces, NM 88003 saliya@nmsu.edu ABSTRACT Design available for private as well as public monitoring through Internet connectivity, leveraging the mass

  2. Goldschmidt Conference Abstracts 2005 Cosmogenic Nuclides and Surface Processes

    E-Print Network [OSTI]

    Zreda, Marek

    Goldschmidt Conference Abstracts 2005 Cosmogenic Nuclides and Surface Processes A159 Improving@hwr.arizona.edu) Production rates of in-situ cosmogenic nuclides are determined by the intensity of energetic cosmic with elevation remains a major obstacle to utilizing cosmogenic nuclides as geochronometers in applications

  3. Nineteenth annual actinide separations conference: Conference program and abstracts

    SciTech Connect (OSTI)

    Bronson, M.

    1995-12-31

    This report contains the abstracts from the conference presentations. Sessions were divided into the following topics: Waste treatment; Spent fuel treatment; Issues and responses to Defense Nuclear Facility Safety Board 94-1; Pyrochemical technologies; Disposition technologies; and Aqueous separation technologies.

  4. Trace Partitioning in Abstract Interpretation Based Static Analyzers

    E-Print Network [OSTI]

    Mauborgne, Laurent

    .Mauborgne@ens.fr and Xavier.Rival@ens.fr Abstract. When designing a tractable static analysis, one usually needs information about the execution order and the concrete flow paths is lost. However, this reachable states = -1; } else{ sgn = 1; } Clearly sgn is either equal to 1 or -1 at the end of this piece of code

  5. Trace Partitioning in Abstract Interpretation Based Static Analyzers

    E-Print Network [OSTI]

    Mauborgne, Laurent

    .Mauborgne@ens.fr and Xavier.Rival@ens.fr Abstract. When designing a tractable static analysis, one usually needs information about the execution order and the concrete flow paths is lost. However, this reachable states = -1; } else{ sgn = 1; } Clearly sgn is equal to either 1 or -1 at the end of this piece of code

  6. Abstract Interpretation with Alien Expressions and Heap Structures

    E-Print Network [OSTI]

    Chang, Bor-Yuh Evan

    Abstract Interpretation with Alien Expressions and Heap Structures Bor-Yuh Evan Chang1, and K function and relation symbols. If a given constraint mentions other, alien, function or relation symbols in special treatment of such alien symbols in each ab- stract domain, we propose a coordinating congruence

  7. Abstract Interpretation with Alien Expressions and Heap Structures

    E-Print Network [OSTI]

    Chang, Bor-Yuh Evan

    Abstract Interpretation with Alien Expressions and Heap Structures Bor­Yuh Evan Chang 1, # and K supported function and relation symbols. If a given constraint mentions other, alien, function or relation than building in special treatment of such alien symbols in each ab­ stract domain, we propose

  8. Availability Bars for Calendar Scheduling AbstractAndrew Faulring

    E-Print Network [OSTI]

    Myers, Brad A.

    Availability Bars for Calendar Scheduling AbstractAndrew Faulring Carnegie Mellon University 5000 meeting or to what extent an existing meeting can be rescheduled. This paper introduces the "availability. Availability bars, embedded in calendar applications, can help users who manually schedule meetings

  9. Nanotube Boiler 1 Abstract--Controlled copper evaporation at attogram

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Nanotube Boiler 1 Abstract-- Controlled copper evaporation at attogram level from individual carbon nanotube (CNT) vessels, which we call nanotube boilers, is investigated experimentally, and ionization in these CNT boilers, which can serve as sources for mass transport and deposition in nanofluidic

  10. Geophysical Research Abstracts, Vol. 11, EGU2009-8032, 2009

    E-Print Network [OSTI]

    (s) 2009 OASIS4: An Efficient Parallel Code Coupler for Earth System Modelling L. Coquart (1), S. Valcke (1 of Earth system modelling in its full complexity. The development and maintenance of OASIS4 has been

  11. Abstract--Market based contracting introduces increased competition in the power industry, and creates a need for

    E-Print Network [OSTI]

    Berleant, Daniel

    Abstract--Market based contracting introduces increased competition in the power industry) of a bid, generation companies (GENCOs) must strive to use models better than their competitors. Such models should account for factors such as buyers' market power, market mechanisms, other competitors

  12. Abstract--Fusion proteins are an important class of proteins with diverse applications in biotechnology. They consist of 2 or

    E-Print Network [OSTI]

    Abstract-- Fusion proteins are an important class of proteins with diverse applications the conformational space of fusion proteins conferred by the flexible linkers is important to predicting its behavior. In this paper, we introduce a modeling tool called FPMOD (Fusion Protein MODeller) which samples

  13. Abstract--Time-frequency analysis of heart rate variability (HRV) makes it easier to evaluate how the balance

    E-Print Network [OSTI]

    Carvalho, João Luiz

    Abstract--Time-frequency analysis of heart rate variability (HRV) makes it easier to evaluate how-regressive model can be used to calculate the Power Spectrum Density of HRV and to create an auto of optimal orders for different interpolation rates of the HRV signal are presented. Keywords--AR model order

  14. Abstract--We present the Parameter Robust Risk-Sensitive control theory to deal with the parameter uncertainties of a

    E-Print Network [OSTI]

    Won, Chang-Hee

    Abstract-- We present the Parameter Robust Risk-Sensitive control theory to deal with the parameter, and are reflected in the cost function and the noise models. This new method improves the tolerance of a controller control application. The linearized version of the satellite structure attitude model is derived

  15. AN ABSTRACT OF THE THESIS OF Daniel Alan Peterson for the degree of Master of Science in

    E-Print Network [OSTI]

    Apte, Sourabh V.

    Methane-Steam Reformer Abstract approved: Sourabh V. Apte Numerical modeling of methane-steam reforming is performed in a micro/mini-channel with heat input through catalytic channel walls. The low-Mach number numerical framework. Methane-steam reforming is modeled by three reduced-order reactions occurring

  16. Geophysical Research Abstracts Vol. 12, EGU2010-2628, 2010

    E-Print Network [OSTI]

    (s) 2010 OASIS4: a coupling software for next generation earth system modelling René Redler (1), Sophie

  17. Geophysical Research Abstracts Vol. 12, EGU2010-233, 2010

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    (s) 2009 Top-Down, Intelligent Reservoir Model Shahab Mohaghegh West Virginia university, Petroleum & Natural Gas Engineering, United States (shahab@wvu.edu) Conventional reservoir simulation and modeling flow principles are added and solved numerically so as to arrive at a dynamic reservoir model

  18. WS-BPEL Business Process Abstraction and Concretisation

    E-Print Network [OSTI]

    Liu, Chengfei

    . Reluctantly, most of current business process modelling languages, including WS- BPEL, stick to a fixed executable business process models. This feature has been longed for in the practical business process to define and switch among the different views for a business process. A comprehensive model defines

  19. Abstract and research accomplishments of University Coal Research Projects

    SciTech Connect (OSTI)

    1995-06-01

    The Principal Investigators of the grants supported by the University Coal Research Program were requested to submit abstracts and highlight accomplishments of their respective projects in time for distribution at a conference on June 13--14, 1995 at Tennessee State University in Nashville, Tennessee. This book is a compilation of the material received in response to that request. For convenience, the 70 grants reported in this book are stored into eight technical areas, Coal Science, Coal Surface Science, Reaction Chemistry, Advanced Process Concepts, Engineering Fundamentals and Thermodynamics, Environmental Science, high Temperature Phenomena, and Special topics. Indexes are provided for locating projects by subject, principal investigators, and contracting organizations. Each extended abstract describes project objectives, work accomplished, significance to the Fossil Energy Program, and plans for the next year.

  20. Time delay for an abstract quantum scattering process

    E-Print Network [OSTI]

    S. Richard

    2011-03-20

    In this short review paper, we discuss the concept of time delay for an abstract quantum scattering system. Its definition in terms of sojourn times is explained as well as its identity with the so-called Eisenbud-Wigner time delay. Necessary and natural conditions for such a construction are introduced and thoroughly discussed. Assumptions and statements are precisely formulated but proofs are contained in two companion papers written in collaboration with R. Tiedra de Aldecoa.

  1. Rethinking Abstractions for Big Data: Why, Where, How, and What

    E-Print Network [OSTI]

    Mary Hall; Robert M. Kirby; Feifei Li; Miriah Meyer; Valerio Pascucci; Jeff M. Phillips; Rob Ricci; Jacobus Van der Merwe; Suresh Venkatasubramanian

    2013-06-14

    Big data refers to large and complex data sets that, under existing approaches, exceed the capacity and capability of current compute platforms, systems software, analytical tools and human understanding. Numerous lessons on the scalability of big data can already be found in asymptotic analysis of algorithms and from the high-performance computing (HPC) and applications communities. However, scale is only one aspect of current big data trends; fundamentally, current and emerging problems in big data are a result of unprecedented complexity--in the structure of the data and how to analyze it, in dealing with unreliability and redundancy, in addressing the human factors of comprehending complex data sets, in formulating meaningful analyses, and in managing the dense, power-hungry data centers that house big data. The computer science solution to complexity is finding the right abstractions, those that hide as much triviality as possible while revealing the essence of the problem that is being addressed. The "big data challenge" has disrupted computer science by stressing to the very limits the familiar abstractions which define the relevant subfields in data analysis, data management and the underlying parallel systems. As a result, not enough of these challenges are revealed by isolating abstractions in a traditional software stack or standard algorithmic and analytical techniques, and attempts to address complexity either oversimplify or require low-level management of details. The authors believe that the abstractions for big data need to be rethought, and this reorganization needs to evolve and be sustained through continued cross-disciplinary collaboration.

  2. MOVEMENT MODELING1 A possible model for movement is given here. As an abstract model it should work for refugees,

    E-Print Network [OSTI]

    Tobler, Waldo

    for refugees, and for global trade too. More stress should be placed on the measurement of movement since

  3. Subsurface Biogeochemical Research (SBR) Contractor-Grantee Workshop--Abstracts

    E-Print Network [OSTI]

    Hazen, Terry C.

    2010-01-01

    is being applied to the Naturita UMTRA site to investigatetests conducted at the Naturita site. The models for themill tailings site at Naturita, CO, at bench-, decimeter-,

  4. Waste Form and Indrift Colloids-Associated Radionuclide Concentrations: Abstraction and Summary

    SciTech Connect (OSTI)

    R. Aguilar

    2003-06-24

    This Model Report describes the analysis and abstractions of the colloids process model for the waste form and engineered barrier system components of the total system performance assessment calculations to be performed with the Total System Performance Assessment-License Application model. Included in this report is a description of (1) the types and concentrations of colloids that could be generated in the waste package from degradation of waste forms and the corrosion of the waste package materials, (2) types and concentrations of colloids produced from the steel components of the repository and their potential role in radionuclide transport, and (3) types and concentrations of colloids present in natural waters in the vicinity of Yucca Mountain. Additionally, attachment/detachment characteristics and mechanisms of colloids anticipated in the repository are addressed and discussed. The abstraction of the process model is intended to capture the most important characteristics of radionuclide-colloid behavior for use in predicting the potential impact of colloid-facilitated radionuclide transport on repository performance.

  5. Abstract--Standard and routine metabolic rates (SMRs and RMRs,

    E-Print Network [OSTI]

    and to recovery of other coastal shark stocks (Branstetter, 1990). Bioenergetics models can be used to assess accu- rately in order to construct realistic bioenergetics models (Ney, 1993). Systematic metabolic bioenergetics have relied upon metabolic rate data from unrelated species (Medved et al., 1988; Stillwell

  6. Small Business Innovation Research: Abstracts of Phase 1 awards, 1994

    SciTech Connect (OSTI)

    Not Available

    1994-12-31

    The Small Business Innovation Research (SBIR) program enables DOE to obtain effective, innovative solutions to important problems through the private sector, which has a commercial incentive to pursue the resulting technology and bring it to the marketplace. The growing number of awardees, many of them started in business in response to SBIR solicitations, is becoming a significant resource for the solution of high risk, high technology problems for the Department. As detailed here, this publication describes the technical efforts for SBIR Phase 1 awards in 1994. It is intended for the educated layman, and may be of particular interest to potential investors who wish to get in on the ground floor of exciting opportunities. Contained in this booklet are abstracts of the Phase 1 awards made in FY 1994 under the DOE SBIR program. The 212 Phase 1 projects described here were selected in a highly competitive process from a total of 2,276 grant applications received in response to the 1994 DOE annual SBIR Solicitation. The selections for awards were made on scientific and technical merit, as judged against the specific criteria listed in the Solicitation. Conclusions were reached on the basis of detailed reports returned by reviewers drawn from DOE laboratories, universities, private industry, and government. (Any discrepancies noted in prior DOE releases naming the firms selected for awards are due either to the firm changing its name after the award selection or to the firm not proceeding to a signed grant.) It is expected that between one-third and one-half of the Phase 1 projects will be continued into Phase 2. The work described in the abstracts is novel, high-risk research, but the benefits will also be potentially high if the objectives are met. Brief comments on the potential applications are given after each abstract. Individuals and organizations with an interest in the research described are encouraged to contact the appropriate small business directly.

  7. Abstracted publications related to the Hanford environment, 1980 to 1988

    SciTech Connect (OSTI)

    Becker, C.D.; Gray, R.H.

    1989-05-01

    This abstracted bibliography provides a reference to the diverse environmental activities conducted on the Hanford Site from 1980 through 1988. It includes 500 reports and articles that were prepared largely by onsite contractors and the Department of Energy. Documents contained here were separated into eight subject areas: air and atmosphere, aquatic ecology, effluents and wastes, geology and hydrology, Hanford Site, radioactivity, terrestrial ecology, and socioeconomics. These areas form the basis of a key word index, which is intended to help the reader locate subjects of interest. An author index is also included.

  8. Abstract Coordinate Transforms in Kinematic Changeable Sets and their Properties

    E-Print Network [OSTI]

    Ya. I. Grushka

    2015-04-14

    One of the fundamental postulates of the special relativity theory is existence of a single system of universal coordinate transforms for inertial reference frames, that is coordinate transforms, which are uniquely determined by space-time coordinates of a material point. In this paper the abstract mathematical theory of coordinate transforms in kinematic changeable sets is developed. In particular it is proved the formal possibility of existence of kinematics, which do not allow universal coordinate transforms. Such kinematics may be applied for simulation the evolution of physical systems under the condition of hypothesis on existence of particle-dependent velocity of light.

  9. 1. Abstract -algebra AF-algebra AF-algebra C

    E-Print Network [OSTI]

    Ishii, Hitoshi

    C AF K ( ) 4 1. Abstract C -algebra AF-algebra AF-algebra C -algebra AF-algebra K0 2. AF-algebra 2.1 (AF-algebra). C -algebra A C -subalgebra (An) n=1 A = nAn · A AF-algebra AF-algebra Mn(C) Mn 2.2 (CAR algebra). M2 M4 M8 · · · M2n M2n+1 · · · x ( x 0 0 x ) inductive limit C -algebra CAR algebra 2

  10. Development of Ensemble Neural Network Convection Parameterizations for Climate Models

    SciTech Connect (OSTI)

    Fox-Rabinovitz, M. S.; Krasnopolsky, V. M.

    2012-05-02

    The novel neural network (NN) approach has been formulated and used for development of a NN ensemble stochastic convection parametrization for climate models. This fast parametrization is built based on data from Cloud Resolving Model (CRM) simulations initialized with and forced by TOGA-COARE data. The SAM (System for Atmospheric Modeling), developed by D. Randall, M. Khairoutdinov, and their collaborators, has been used for CRM simulations. The observational data are also used for validation of model simulations. The SAM-simulated data have been averaged and projected onto the GCM space of atmospheric states to implicitly define a stochastic convection parametrization. This parametrization is emulated using an ensemble of NNs. An ensemble of NNs with different NN parameters has been trained and tested. The inherent uncertainty of the stochastic convection parametrization derived in such a way is estimated. Due to these inherent uncertainties, NN ensemble is used to constitute a stochastic NN convection parametrization. The developed NN convection parametrization have been validated in a diagnostic CAM (CAM-NN) run vs. the control CAM run. Actually, CAM inputs have been used, at every time step of the control/original CAM integration, for parallel calculations of the NN convection parametrization (CAM-NN) to produce its outputs as a diagnostic byproduct. Total precipitation (P) and cloudiness (CLD) time series, diurnal cycles, and P and CLD distributions for the large Tropical Pacific Ocean for the parallel CAM-NN and CAM runs show similarity and consistency with the NCEP reanalysis. The P and CLD distributions for the tropical area for the parallel runs have been analyzed first for the TOGA-COARE boreal winter season (November 1992 through February 1993) and then for the winter seasons of the follow-up parallel decadal simulations. The obtained results are encouraging and practically meaningful. They show the validity of the NN approach. This constitutes an important practical conclusion of the study: the obtained results on NN ensembles as a stochastic physics parametrization show a realistic possibility of development of NN convection parametrization for climate (and NWP) models based on learning cloud physics from CRM/SAM simulated data.

  11. 15. international conference on plant growth substances: Program -- Abstracts

    SciTech Connect (OSTI)

    1995-12-31

    Since the 14th Conference in Amsterdam in 1991, progress in plant hormone research and developmental plant biology has been truly astonishing. The five ``classical`` plant hormones, auxin, gibberellin, cytokinin, ethylene, and abscisic acid, have been joined by a number of new signal molecules, e.g., systemin, jasmonic acid, salicylic acid, whose biosynthesis and functions are being understood in ever greater detail. Molecular genetics has opened new vistas in an understanding of transduction pathways that regulate developmental processes in response to hormonal and environmental signals. The program of the 15th Conference includes accounts of this progress and brings together scientists whose work focuses on physiological, biochemical, and chemical aspects of plant growth regulation. This volume contains the abstracts of papers presented at this conference.

  12. An abstract continuity theorem of the Lyapunov exponents

    E-Print Network [OSTI]

    Pedro Duarte; Silvius Klein

    2015-07-10

    We devise an abstract, modular scheme to prove continuity of the Lyapunov exponents for a general class of linear cocycles. The main assumption is the availability of appropriate large deviation type (LDT) estimates which are uniform in the data. We provide a modulus of continuity that depends explicitly on the sharpness of the LDT estimate. Our method uses an inductive procedure based on the deterministic, general Avalanche Principle in [4]. The main advantage of this approach, besides the fact that it provides quantitative estimates, is its versatility, as it applies to quasi-periodic cocycles (one and multivariable torus translations), to random cocycles (i.i.d. and Markov systems) and to any other types of base dynamics as long as appropriate LDT estimates are satisfied. Moreover, compared to other available quantitative results for quasi-periodic or random cocycles, this method allows for weaker assumptions. This is a draft of a chapter in our forthcoming research monograph [4].

  13. Laboratory technology research: Abstracts of FY 1998 projects

    SciTech Connect (OSTI)

    NONE

    1998-11-01

    The Laboratory Technology Research (LTR) program supports high-risk, multidisciplinary research partnerships to investigate challenging scientific problems whose solutions have promising commercial potential. These partnerships capitalize on two great strengths of the country: the world-class basic research capability of the DOE Office of Science (SC) national laboratories and the unparalleled entrepreneurial spirit of American industry. Projects supported by the LTR program in FY 1998 explore the applications of basic research advances relevant to DOE`s mission over a full range of scientific disciplines. The program presently emphasizes three critical areas of mission-related research: advanced materials, intelligent processing and manufacturing research, and environmental and biomedical research. Abstracts for 85 projects are contained in this report.

  14. Direct-Steam Linear Fresnel Performance Model for NREL's System Advisor Model

    SciTech Connect (OSTI)

    Wagner, M. J.; Zhu, G.

    2012-09-01

    This paper presents the technical formulation and demonstrated model performance results of a new direct-steam-generation (DSG) model in NREL's System Advisor Model (SAM). The model predicts the annual electricity production of a wide range of system configurations within the DSG Linear Fresnel technology by modeling hourly performance of the plant in detail. The quasi-steady-state formulation allows users to investigate energy and mass flows, operating temperatures, and pressure drops for geometries and solar field configurations of interest. The model includes tools for heat loss calculation using either empirical polynomial heat loss curves as a function of steam temperature, ambient temperature, and wind velocity, or a detailed evacuated tube receiver heat loss model. Thermal losses are evaluated using a computationally efficient nodal approach, where the solar field and headers are discretized into multiple nodes where heat losses, thermal inertia, steam conditions (including pressure, temperature, enthalpy, etc.) are individually evaluated during each time step of the simulation. This paper discusses the mathematical formulation for the solar field model and describes how the solar field is integrated with the other subsystem models, including the power cycle and optional auxiliary fossil system. Model results are also presented to demonstrate plant behavior in the various operating modes.

  15. Sams Energy Academy: Education for sustainable development

    E-Print Network [OSTI]

    Kolaei, Alireza Rezania

    , biomass for district heating etc. #12;· From importing to exporting energy · International magnet efficient turbines · Replace fossil fuel for heating with district heating and heat pumps · Replace cars

  16. Daemons of the Pankration Sam Johnson

    E-Print Network [OSTI]

    Johnson, Samuel

    except the key To that dark world forever lost for me. That world I knew so well, Diameter and all: I there's the most fun. Fa/Sol/la Sol re Re7/la Sol re Re7la --- Hurricanes may form and skater

  17. Sam Palermo Analog & Mixed-Signal Center

    E-Print Network [OSTI]

    Palermo, Sam

    conductor · A semiconductor's conductive properties can be changed by "doping" the material with either n;Semiconductors 5 · A semiconductor is a material whose conductivity lies somewhere between an insulator Semiconductor pn Junction Diode #12;Announcements 2 · HW3 due today · HW4 due Mar. 10 · Exam 1 Mar. 3 · Closed

  18. ARM - Field Campaign - CLASIC - SAM Support

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach HomeA Better Anode Design to Improve4AJ01) (See22, 2012IIIAtlanticMarinegovCampaignsCASES

  19. Geralyn "Sam" Zeller

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journalvivo Low-Dose Low LET

  20. Geralyn "Sam" Zeller

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journalvivo Low-Dose Low LETUseful Links Useful Links: The NuValidator:

  1. Geralyn "Sam" Zeller

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journalvivo Low-Dose Low LETUseful Links Useful Links: The

  2. Sam Barnett | Photosynthetic Antenna Research Center

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home RoomPreservation of Fe(II) byMultidayAlumni > The2/01/12Universitysubmit Phonebook LosWHYSam

  3. Geophysical Research Abstracts Vol. 12, EGU2010-12118, 2010

    E-Print Network [OSTI]

    Boyer, Edmond

    for the assessment of soil depth reduction and the siltation of reservoirs. The project also developed uncertainty(s) 2010 Modelling Soil Erosion Risk and its Impacts in the Mediterranean area for the 21st century Yves Le, loss of organic matter (on-site impacts) as well as on sediment transfer in surface water reservoirs

  4. Component-Based Abstraction and Refinement , Xiuli Sun2

    E-Print Network [OSTI]

    Xie, Fei

    , is a powerful state space reduction algorithm and accomplishes verification of a property on a system, ABV, model checking, and compo- sitional reasoning in system verification, the following challenges in component-based hardware/software co-verification of embedded systems. Case studies have shown

  5. High Level Verification of Control Intensive Systems Using Predicate Abstraction

    E-Print Network [OSTI]

    Clarke, Edmund M.

    to a change of values for the set of predicates and is subse- This research is sponsored by the Semiconductor or recommenda- tions expressed in this material are those of the authors and do not neces- sarily reflect, 14], which is a conservative approach for model checking universal temporal logic [8] properties (we

  6. ABSTRACT RENDERINGS OF DIFFERENT TIMES AND DAYS ADVANCED FENESTRATION BTDF

    E-Print Network [OSTI]

    throughout each day for different months of the year. Having accurate quantitative and qualitative data about on a standard PC. Using the standard CIE Sky Model [5], the system can render qualitatively accurate images-directional Videogoniophotometer for Advanced Fenestration Systems. PhD thesis, Swiss Federal Institute of Technology (EPFL), 2004

  7. MEPS Student Travel Awards, Fall 2007 II. Abstracts of Presentations

    E-Print Network [OSTI]

    Halberd, and a susceptible winter wheat cv Cutter or cv Karl92. These parents were used as models due to the UV- absorption characteristics of the greenhouse glass, hence UV-B was artificially, photosynthesis, primary branches on the main-stem panicle, total number of grains and filled grain weight

  8. Abstract We investigate the model sensitivity of the Atlantic meridional overturning circulation (AMOC)

    E-Print Network [OSTI]

    Goelzer, Heiko

    atmospheric moisture trans- port, melting of sea ice (Johannessen et al. 2002) and of the Greenland ice sheet formation and slow down the AMOC. Furthermore, some abrupt climate chan- ges in the last glacial period

  9. Abstract.-The sublethal effects induced by a model carcinogen and

    E-Print Network [OSTI]

    period of develop- ment and allowed assessment of how a single embryonic exposure might affect emergence significant amounts of B[a]P into the aquatic environment both directly (industrial emissions and oil spills on these early life behaviors. Materials and methods Experimental animals and exposures Two replicates

  10. A Logical Model for Relational Abstract Domains ROBERTO GIACOBAZZI and FRANCESCA SCOZZARI

    E-Print Network [OSTI]

    Giacobazzi, Roberto

    Universit`a di Pisa' addresses: R. Giacobazzi, Universit`a di Pisa, Dipartimento di Inform* *atica, Corso Italia 40, 56125 Pisa, Italy; email: giaco@di.unipi.it; F. Scozzari, Universit`* *a di Pisa, Diparti- mento di Informatica

  11. Extended Abstract which appeared at: IJCAI-93 Workshop on Computational Models of

    E-Print Network [OSTI]

    , transitivity makes the notion of "maximally preferred" be well-defi* *ned. Considering a collection criterion corresponding to desire for higher * *income, and another preference criterion corresponding curre* *nt job versus moonlighting at a second job as well. As another example: beliefs in default

  12. Extended Abstract which appeared at: IJCAI93 Workshop on Computational Models of

    E-Print Network [OSTI]

    is transitivity: in particular, transitivity makes the notion of ``maximally preferred'' be well one preference criterion corresponding to desire for higher income, and another preference criterion working his current job versus moonlighting at a second job as well. As another example: beliefs

  13. Appears in the Proceedings of LICS '96 A Fully Abstract Domain Model for the -Calculus

    E-Print Network [OSTI]

    Stark, Ian

    . This turns out to be a remarkably powerful system, which supports encodings of the -calculus and higher for communicating systems where configurations and topology change dynam- ically. The notion of a name is central is that the categorical con- Basic Research in Computer Science, a centre of the Danish National Research Foundation

  14. T-ASL-01578-2007 1 Abstract--Language modeling for an inflected language

    E-Print Network [OSTI]

    Yanikoglu, Berrin

    items reduces the OOV rate and provides smooth probability estimates while keeping the predictive power was with IBM T.J. Watson Research Center when the work was carried out. He is now with Cairo University, Egypt words, There is an inverse relationship between the predictive power and robust parameter estimation

  15. Abstract--We present new results from Computational Neurogenetic Modeling to aid discoveries of complex gene

    E-Print Network [OSTI]

    Benuskova, Luba

    . INTRODUCTION enetic studies show that human EEG has a strong genetic basis [1-3]. That is, the EEG spectral

  16. On timed models and full abstraction Gavin Lowe and Joel Ouaknine 1

    E-Print Network [OSTI]

    Ouaknine, Joël

    URL: www.elsevier.nl/locate/entcs #12;Lowe and Ouaknine curity clearances (for example, "Top Secret", "Secret", "Confidential", "Un- classified"). The question, then, is whether a user with a high

  17. Abstract Model Counting: A Novel Approach for Quantification of Information Leaks

    E-Print Network [OSTI]

    Malacaria, Pasquale

    checker for ANSI C, and the second one is built on top of Symbolic PathFinder, a Symbolic Executor will know the secret H is 1 .. 15 and observing 8 will know the secret is 0 or greater than 15. Assuming the attacker has no prior knowledge of the secret H apart that is a 32 bits variable his a-priori probability

  18. MFPS XX1 Preliminary Version On timed models and full abstraction

    E-Print Network [OSTI]

    Ouaknine, Joël

    URL: www.elsevier.nl/locate/entcs #12; Lowe and Ouaknine curity clearances (for example, ``Top Secret'', ``Secret'', ``Confidential'', ``Un­ classified''). The question, then, is whether a user with a high

  19. thesis abstract: Applying species distribution modeling for the conservation of Iberian protected invertebrates

    E-Print Network [OSTI]

    Chefaoui, Rosa María

    2011-01-01

    General  para  la  Biodiversidad,  Ministerio  de  Medio Thesis, Departamento de Biodiversidad y Biología Evolutiva, 

  20. CRATERING MODEL VERIFICATION: A CENTRIFUGE PREDICTION VERSUS FIELD RESULT FOR A 40-TON EXPLOSIVE EVENT [abstract

    E-Print Network [OSTI]

    Holsapple, K.A.; Schmidt, R.M.

    1984-01-01

    and experiments on centrifuge crater- ing. J. Geophys. Res.J 980. Schmidt, R. M. , Centrifuge simulation of the JOHNIEformation - implications of centrifuge scaling. Proc. Lunar

  1. Abstract--This paper describes a spreadsheet model for estimating the impact of High Temperature Supercon-

    E-Print Network [OSTI]

    -576-2733, e-mail:mcconnellbw@ornl.gov). J. W. Mulholland is with the Arizona Power Authority, Phoenix AZ 85007 into the grid. The output results are explicit numbers of kWh and dollars; however, the real intent

  2. Fault Tolerant Programming Abstractions and Failure Recovery Models for MPI Applications

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would like submitKansasCommunitiesofExtransScientific Userflow phenomena in aHydrocarbonsFault

  3. Abstract--A cam-based, shear force actuated electromechanical valve drive system offering variable valve timing in internal

    E-Print Network [OSTI]

    Perreault, Dave

    1 Abstract--A cam-based, shear force actuated electromechanical valve drive system offering variable valve timing in internal combustion engines was previously proposed and demonstrated. To transform, optimal cam design, nonlinear friction model, variable valve timing. I. INTRODUCTION espite their simple

  4. Abstract. Breast cancer is the most common cancer in women worldwide. Transformation of a normal cell to a malignant one

    E-Print Network [OSTI]

    Abstract. Breast cancer is the most common cancer in women worldwide. Transformation of a normal regulators of growth. Biomarkers associated with cancer were examined in human breast epithelial cells transformed by high-LET radiation in the presence of 17ß-estradiol. An established cancer model was used

  5. Abstract--The increase in use of power electronics in transmission and distribution applications is the driving

    E-Print Network [OSTI]

    Tolbert, Leon M.

    of the systems. High Voltage DC (HVDC) transmission and Flexible AC Transmission Systems (FACTS) are the widelyAbstract-- The increase in use of power electronics in transmission and distribution applications and compared for SiC and Si devices. These loss models are integrated with an HVDC transmission system to study

  6. Abstract--In Probabilistic Risk Management, risk is characterized by two quantities: the magnitude (or severity) of

    E-Print Network [OSTI]

    Boyer, Edmond

    1 Abstract-- In Probabilistic Risk Management, risk is characterized by two quantities scale: urban risks management models belong to self-organized criticality theory. We chose multiagent of important groups of them. Index Terms-- Risk management, self-organized criticality, multiagent systems

  7. Abstract--Energy efficiency for the buildings is vital for the environment and sustainability. Buildings are responsible for

    E-Print Network [OSTI]

    Jain, Raj

    1 Abstract--Energy efficiency for the buildings is vital for the environment and sustainability for a multi-disciplinary research project on energy efficiency. We collected the building energy data. Index Terms-- Green Buildings, Energy Efficiency, Energy Modeling, Smart Energy, Energy

  8. Abstract--For a Compressed Air Energy Storage (CAES) approach to be viable, the air compressor/expander must be

    E-Print Network [OSTI]

    Li, Perry Y.

    Abstract-- For a Compressed Air Energy Storage (CAES) approach to be viable, the air compressor (CAES) system for offshore wind turbine has been proposed in [1, 2] (Fig. 1). It uses the open Storage (CAES) System for Offshore Wind Turbine Although the heat transfer models above are reasonable

  9. A Study of the Protein Folding Dynamic Abstract--In this paper, we propose two means to

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    A Study of the Protein Folding Dynamic Omar GACI Abstract--In this paper, we propose two means to study the protein folding dynamic. We rely on the HP model to study the protein folding problem in a con algorithms is validated experimentally. Keywords: boids, protein folding problem, interaction networks

  10. AN ABSTRACT OF THE THESIS OF Kenneth G. Martin for the degree of Master of Science in Civil Engineering and

    E-Print Network [OSTI]

    Tullos, Desiree

    . The building had a gable roof system comprised of Fink trusses. Wall and roof sheathing was modeled using SAP Engineering and Wood Science presented on January 29, 2010. Title: Evaluation of System Effects and Structural Load Paths in a Wood-Framed Structure. Abstract approved: Rakesh Gupta The objective of this project

  11. Abstract We measured the xylem sap flux in 64-year-old Taxodium distichum (L.) Richard trees growing in a

    E-Print Network [OSTI]

    Oren, Ram

    Abstract We measured the xylem sap flux in 64-year- old Taxodium distichum (L.) Richard trees deficit (D), photosynthetic photon flux density (Qo), and the transpiration rate per unit of leaf area (EL on a simple hydraulic model in which stomata regulate the minimum leaf water potential. Based on the hydraulic

  12. Currentcy: A Unifying Abstraction for Expressing Energy Management Heng Zeng, Carla S. Ellis, Alvin R. Lebeck, and Amin Vahdat

    E-Print Network [OSTI]

    Vahdat, Amin

    Currentcy: A Unifying Abstraction for Expressing Energy Management Policies Heng Zeng, Carla S policies to effectively manage energy consumption in battery- powered mobile/wireless devices. The proposed cur- rentcy model creates the framework for the operating sys- tem to manage energy as a first

  13. Abstract--This paper develops a static observer for estimating wind speed in order to control wind speed and angle

    E-Print Network [OSTI]

    Hollerbach, John M.

    Abstract--This paper develops a static observer for estimating wind speed in order to control wind speed and angle control at a user position in a submersive virtual environment. Addition of wind display Active Wind Tunnel (TPAWT). Experiments on a scaled model of the TPAWT show that headwind flow stream

  14. Abstracts of Phase 1 awards, (fiscal year) 1987

    SciTech Connect (OSTI)

    Not Available

    1987-01-01

    Contained in this booklet are abstracts of the Phase I awards made in Fiscal Year 1987 under the Small Business Innovation Research (SBIR) program in the Department of Energy (DOE). The program is designed for implementation in a three-phase process, with Phase I determining the scientific or technical merit and feasibility of ideas proposed for investigation. The period of performance in this initial phase is relatively brief, typically about 6 months, and the awards are limited to $50,000. Phase II is the principal research or research and development effort, and the awards are as high as $500,000 for work to be performed in periods of up to 2 years. Phase III is the commercial application. The 111 Phase I projects described were selected in a highly competitive process from a total of 942 proposals received in response to the 1987 Solicitation. They cover the fields of chemistry, materials, control systems, plant natural products, instrumentation, nuclear medicine, health and environmental effects, high energy physics, particle accelerators, nuclear physics, plasma diagnostics and confinement, fusion energy systems, robotics and remote systems, nuclear reactors, space nuclear power, fuel cycle, decontamination/decommissioning, commputers in nuclear plants, coal, enhanced oil recovery/tar sands, fossil energy, photovoltaics, solar thermal, ceramics for heat engines, and industrial separation, conversion and recovery processes. (DLC)

  15. Search Results Cite abstracts as Author(s) (2010), Title, Abstract xxxxx-xxxx presented at 2010 Fall

    E-Print Network [OSTI]

    Ng, Chung-Sang

    2010-01-01

    : SH31C-1809 Poster TI: High-Lundquist Number Scaling Analysis on the Parker's Model of Solar Coronal: [7509] SOLAR PHYSICS, ASTROPHYSICS, AND ASTRONOMY / Corona DE: [7524] SOLAR PHYSICS, ASTROPHYSICS, AND ASTRONOMY / Magnetic fields DE: [7526] SOLAR PHYSICS, ASTROPHYSICS, AND ASTRONOMY / Magnetic reconnection DE

  16. 4th Annual DOE-ERSP PI Meeting: Abstracts

    SciTech Connect (OSTI)

    Hazen, Terry C.

    2009-03-01

    This contains abstracts from the 2009 Annual Environmental Remediation Sciences Program (ERSP) Principal Investigators (PI) Meeting. The ERSP seeks to advance fundamental science to understand, predict, and mitigate the impacts of environmental contamination from past nuclear weapons production and provide a scientific basis for the long-term stewardship of nuclear waste disposal. These ambitious goals cannot be achieved by any one project alone. Therefore, ERSP funds a combination of research programs at the DOE national laboratories, individual projects at universities and federal agencies, and large long(er)-term field site research. Integration of these activities to advance the ERSP goals is a constant challenge, but made significantly simpler by bringing together all funded ERSP researchers once a year to discuss the very latest research results. It is at these meetings where new ideas and/or scientific advancements in support of ERSP goals can be discussed and openly debated among all PIs in the program. The ERSP thrives, in part, on the new ideas, concepts, scientific connections, and collaborations generated as a result of these meetings. The annual PI Meeting is very much a working meeting with three major goals: (1) to provide opportunities for scientific interaction among the ERSP scientists, a critical element for the program; (2) to provide the ERSP program staff with an opportunity to evaluate the progress of each program and project; and (3) to showcase the ERSP to interested parties within DOE and within other federal agencies In addition to program managers from within OBER, there will be representatives from other offices within DOE and other federal agencies in attandance at the meeting.

  17. Data and Computation Abstractions for Dynamic and Irregular Computations

    SciTech Connect (OSTI)

    Krishnamoorthy, Sriram; Nieplocha, Jarek; Sadayappan, Ponnuswamy

    2005-12-31

    Effective data distribution and parallelization of computations involving irregular data structures is a challenging task. We tackle the twin-problems in the context of computations involving block-sparse matrices. The programming model provides a global view of a distributed block-sparse matrix. Mechanisms are provided for the user to express the parallel tasks in the computation. Locality-aware load-balancing of the tasks ensures good scalability. The primitives are based on the Aggregate Remote Memory Copy Interface, and are inter-operable with the Global Arrays programming suite and MPI. Results are presented that demonstrate the utility of this approach.

  18. Counterexample-Guided Abstraction Refinement for POND Planning Jonas Thiem and Robert Mattmuller and Manuela Ortlieb

    E-Print Network [OSTI]

    Teschner, Matthias

    Counterexample-Guided Abstraction Refinement for POND Planning Jonas Thiem and Robert Mattm to define abstractions (guar- anteeing over-approximations). A straightforward way for POND planning

  19. 2nd Annual DOE-ERSP PI Meeting: Abstracts

    SciTech Connect (OSTI)

    Hazen, Terry C.

    2007-03-14

    Welcome to the annual 2007 Environmental Remediation Sciences Program (ERSP) Principal Investigators (PIs) meeting. The purpose of this meeting is to bring together all of the lead PIs and key Co-PIs in the program to share and review the results of funded research from the past year. This meeting allows program managers from the Environmental Remediation Sciences Division (ERSD) within the Office of Biological and Environmental Research (OBER) to gauge the progress and significance of the funded research, and it is also an important venue to showcase ERSP research to interested parties within DOE and other invited federal agency representatives. Additionally, these meetings should serve as an opportunity for funded PIs to view their research in the context of the entire ERSP portfolio. Past ERSP meetings have been very important venues for detailed discussion of research results among PIs, development of new research ideas, fostering new collaborations and discussion with ERSD program managers on future research efforts and/or initiatives within the program. In short, these meetings are an important resource for both program managers and PIs. There will be only one ERSP PI meeting for 2007. In years past, ERSD has sponsored two PI meetings, one in the spring and a separate meeting in the fall that focused primarily on field research. However, this format tends to insulate laboratory-based research from the field research sponsored in the program and is incompatible with the ERSD view that laboratory-based research should progress towards understanding the relevant processes in natural environments at the field scale. Therefore the agenda for this year's PI meeting is well integrated with both lab-based and field-based projects, to allow for detailed discussion between PIs involved in each area. In the agenda, you will notice a more relaxed format than in years past. This year's meeting spans four days, but is less heavily regimented in terms of oral presentations and allows ample time for informal group discussions and poster presentations. The intent of this format is to foster informal discussion of research among PIs and ERSD program managers-discussion that is a hallmark of previous ERSD-sponsored meetings. Morning sessions will be dominated by oral presentations from PIs chosen by ERSD program managers to communicate key topics of research within the program. There is ample time during lunch and in the early afternoon for small group discussions/meetings prior to convening again in the later afternoon for oral presentations on field research conducted at the Integrated Field-Scale Subsurface Research Challenge sites (IFCs). Formal poster sessions begin after dinner. Abstracts for all poster presentations are listed within this meeting booklet. On behalf of the ERSD program managers and staff, we thank you for attending this year's PI meeting. We look forward to discussing the results of your research with you and your ideas for the future, and we hope that this meeting will continue as an important tradition for PIs in the program and serve as a valuable resource for your investigations.

  20. Modeling of a Parabolic Trough Solar Field for Acceptance Testing: A Case Study

    SciTech Connect (OSTI)

    Wagner, M. J.; Mehos, M. S.; Kearney, D. W.; McMahan, A. C.

    2011-01-01

    As deployment of parabolic trough concentrating solar power (CSP) systems ramps up, the need for reliable and robust performance acceptance test guidelines for the solar field is also amplified. Project owners and/or EPC contractors often require extensive solar field performance testing as part of the plant commissioning process in order to ensure that actual solar field performance satisfies both technical specifications and performance guaranties between the involved parties. Performance test code work is currently underway at the National Renewable Energy Laboratory (NREL) in collaboration with the SolarPACES Task-I activity, and within the ASME PTC-52 committee. One important aspect of acceptance testing is the selection of a robust technology performance model. NREL1 has developed a detailed parabolic trough performance model within the SAM software tool. This model is capable of predicting solar field, sub-system, and component performance. It has further been modified for this work to support calculation at subhourly time steps. This paper presents the methodology and results of a case study comparing actual performance data for a parabolic trough solar field to the predicted results using the modified SAM trough model. Due to data limitations, the methodology is applied to a single collector loop, though it applies to larger subfields and entire solar fields. Special consideration is provided for the model formulation, improvements to the model formulation based on comparison with the collected data, and uncertainty associated with the measured data. Additionally, this paper identifies modeling considerations that are of particular importance in the solar field acceptance testing process and uses the model to provide preliminary recommendations regarding acceptable steady-state testing conditions at the single-loop level.

  1. Program Abstracts: Formation and Growth of Atmospheric Aerosols

    SciTech Connect (OSTI)

    Peter H. McMurry; Markku Kulmala

    2006-09-07

    DOE provided $11,000 to sponsor the Workshop on New Particle Formation in the Atmosphere, which was held at The Riverwood Inn and Conference Center near Minneapolis, MN from September 7 to 9, 2006. Recent work has shown that new particle formation is an important atmospheric process that must be better understood due to its impact on cloud cover and the Earth's radiation balance. The conference was an informal gathering of atmospheric and basic scientists with expertise pertinent to this topic. The workshop included discussions of: • atmospheric modeling; • computational chemistry pertinent to clustering; • ions and ion induced nucleation; • basic laboratory and theoretical studies of nucleation; • studies on neutral molecular clusters; • interactions of organic compounds and sulfuric acid; • composition of freshly nucleated particles. Fifty six scientists attended the conference. They included 27 senior scientists, 9 younger independent scientists (assistant professor or young associate professor level), 7 postdocs, 13 graduate students, 10 women, 35 North Americans (34 from the U.S.), 1 Asian, and 20 Europeans. This was an excellent informal workshop on an important topic. An effort was made to include individuals from communities that do not regularly interact. A number of participants have provided informal feedback indicating that the workshop led to research ideas and possible future collaborations.

  2. Selected translated abstracts of Russian-language climate-change publications, III aerosols: Issue 164

    SciTech Connect (OSTI)

    Razuvaev, V.N.; Ssivachok, S.G. [All-Russian Research Inst. of Hydrometeorological Information-World Data Center, Obninsk (Russian Federation)

    1995-10-01

    This report presents abstracts in Russian and translated into English of important Russian-language literature concerning aerosols as they relate to climate change. In 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.

  3. 11th Topical conference high-temperature plasma diagnostics. Book of abstracts

    SciTech Connect (OSTI)

    1996-06-01

    This report contains abstracts from the 11th topical conference on high-temperature plasma diagnostics.

  4. Selected translated abstracts of Russian-language climate-change publications: II, Clouds. Issue 159

    SciTech Connect (OSTI)

    Burtis, M.D.

    1994-01-01

    This report presents abstracts (translated into English) of important Russian-language literature concerning clouds as they relate to climate change. In 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.

  5. Selected translated abstracts of Russian-language climate-change publications: I, Surface energy budget

    SciTech Connect (OSTI)

    Burtis, M.D.

    1992-09-01

    This report presents abstracts (translated into English) of important Russian-language literature concerning the surface energy budget as it relates to climate change. In 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.

  6. Changes in the Economic Value of Variable Generation at High Penetration Levels: A Pilot Case Study of California

    E-Print Network [OSTI]

    Mills, Andrew

    2013-01-01

    standard Real time System Advisor Model Transmission andusing the NREL System Advisor Model (SAM). The PV data are

  7. Synchronous Closing of Timed SDL Systems for Model Checking

    E-Print Network [OSTI]

    Sidorova, Natalia

    the model from a piece of software? additional techniques: 1. abstraction: (a) data abstraction: replace concrete domains by finite, abstract ones (b) control abstraction, i.e., add non-determinism 2. system solutions 1. one-valued data abstraction ¢¡ no external data 2. three-valued timer abstraction 3

  8. Long-Term Corrosion Tests of Prototypical SAM2X5 (Fe49.7Cr17.7Mn1.9Mo7.4W1.6B15.2C3.8Si2.4) Coatings

    SciTech Connect (OSTI)

    Farmer, J C; Choi, J S; Saw, C K; Rebak, R H; Day, S D; Lian, T; Hailey, P D; Payer, J H; Branagan, D J; Aprigliano, L F

    2007-05-10

    An iron-based amorphous metal with good corrosion resistance and a high absorption cross-section for thermal neutrons has been developed and is reported here. This amorphous alloy has the approximate formula Fe{sub 49.7}Cr{sub 17.7}Mn{sub 1.9}Mo{sub 7.4}W{sub 1.6}B{sub 15.2}C{sub 3.8}Si{sub 2.4} and is known as SAM2X5. Chromium (Cr), molybdenum (Mo) and tungsten (W) were added to provide corrosion resistance, while boron (B) was added to promote glass formation and the absorption of thermal neutrons. Since this amorphous metal has a higher boron content than conventional borated stainless steels, it provides the nuclear engineer with design advantages for criticality control structures with enhanced safety. While melt-spun ribbons with limited practical applications were initially produced, large quantities (several tons) of gas atomized powder have now been produced on an industrial scale, and applied as thermal-spray coatings on prototypical half-scale spent nuclear fuel containers and neutron-absorbing baskets. These prototypes and other SAM2X5 samples have undergone a variety of corrosion testing, including both salt-fog and long-term immersion testing. The modes and rates of corrosion have been determined in the various environments, and are reported here. While these coatings have less corrosion resistance than melt-spun ribbons and optimized coatings produced in the laboratory, substantial corrosion resistance has been achieved.

  9. Solar Adoption and Energy Consumption in the Residential Sector

    E-Print Network [OSTI]

    McAllister, Joseph Andrew

    2012-01-01

    Portfolio Standard System Advisor Model Single-familyhave used. NREL’s System Advisor Model (SAM) is the optimalLab’s (NREL) System Advisor Model (SAM), for PV production

  10. SciFinder Scholar (CAS Chemical Abstracts Service) O SciFinder Scholar, verso online do Chemical Abstracts, cobre as reas de

    E-Print Network [OSTI]

    Paraná, Universidade Federal do

    SciFinder Scholar (CAS Chemical Abstracts Service) O SciFinder Scholar, versão online do Chemical Abstracts, cobre as áreas de Química Orgânica, Química Inorgânica, Físicoquímica, Química Analítica, incluindo o GenBank. Chemical Reactions (1840-presente) 10 milhões de reações químicas. Substâncias Químicas

  11. Abstract submitted to the XXXIst International Conference on High Energy Physics

    E-Print Network [OSTI]

    , Amsterdam, The Netherlands Abstract: 000 Parallel Sessions: 0,0 One­ and two­dimensional Bose­Einstein correlations in DIS ZEUS Collaboration Abstract Measurements of Bose­Einstein correlations (BEC) in one and two

  12. Dual Coding Theory and Chinese: Recall of Concrete and Abstract Sentences in Chinese-English Bilinguals 

    E-Print Network [OSTI]

    Chen, Tsuei-Fen

    2010-10-12

    concreteness and abstractness on immediate recall. Forty Chinese-English bilinguals read and recalled five concrete sentences and five matched abstract sentences. Of the ten sentences, five were English, and five were Chinese. Due to the characteristics...

  13. Complete Abstract Interpretations made Constructive Roberto Giacobazzi? Francesco Ranzato?? Francesca Scozzari?

    E-Print Network [OSTI]

    Giacobazzi, Roberto

    Complete Abstract Interpretations made Constructive Roberto Giacobazzi? Francesco Padova, Italy franz@math.unipd.it Abstract.Completeness is a desirable consider he* *re the most general form of completeness, where concrete semantic functions can have

  14. Fractured Processes: Adaptive, Fine-Grained Process Abstractions Thanumalayan Sankaranarayana Pillai

    E-Print Network [OSTI]

    Swift, Michael

    Fractured Processes: Adaptive, Fine-Grained Process Abstractions Thanumalayan Sankaranarayana. Arpaci-Dusseau University of Wisconsin-Madison Abstract. We introduce Fracture, a novel framework that transforms and modernizes the basic process ab- straction. By "fracturing" an application into logical

  15. The Relationship between Abstract Reasoning and Performance in High School Algebra

    E-Print Network [OSTI]

    Drager, Kirk W.

    2014-08-31

    This study examined abstract reasoning ability as a predictor of success in high school algebra controlling for age, motivation, and previous math achievement. A valid and reliable instrument, the Abstract Reasoning Assessment (ARA), a matrix...

  16. On the Relationships of Substrate Orientation, Hydrogen Abstraction, and Product Stereochemistry in Single and

    E-Print Network [OSTI]

    Ronquist, Fredrik

    On the Relationships of Substrate Orientation, Hydrogen Abstraction, and Product Stereochemistry) catalysis with a conserved active site alanine for S configuration hydroperoxide products for this stereocontrol we compared the stereoselec- tivity of the initiating hydrogen abstraction in soybean LOX-1

  17. Counterexampleguided Abstraction Refinement E. Clarke, O. Grumberg, S. Jha, Y. Lu, H. Veith

    E-Print Network [OSTI]

    . The atomic formulas are similar to the predicates used for abstraction by Graf and Saidi [14] and later

  18. Abstracting Preparation

    E-Print Network [OSTI]

    Allen, John F.

    is defined here as the maintenance of a constant electrochemical potential and ionic concentration gradient motive force for energy conversion, providing for metabolism, for active transport, and for synthesis

  19. Abstracting Preparation

    E-Print Network [OSTI]

    de Weck, Olivier L.

    . This paper addresses the challenge of long-term exploration and colonization of Mars from a logistical, Rewriting Science News Founding Publisher's Statement Contact The Human Mission to Mars. Colonizin... Paul-November, 2010 Interplanetary Trajectory Analysis and Logistical Considerations of Human Mars Exploration Takuto

  20. talk abstracts

    E-Print Network [OSTI]

    2015-11-06

    Nov 6, 2015 ... Green–Tao theorem on arithmetic progressions in the prime numbers. ... Struwe's energy monotonicity for solutions to the heat equation.