National Library of Energy BETA

Sample records for advisor model abstract

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  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. 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.

  8. 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

  9. 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

  10. 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.

  11. 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.

  12. 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.

  13. 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.

  14. 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.

  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. 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.

  17. 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.

  18. P50/P90 Analysis for Solar Energy Systems Using the System Advisor Model: Preprint

    SciTech Connect (OSTI)

    Dobos, A. P.; Gilman, P.; Kasberg, M.

    2012-06-01

    To secure competitive financing for a solar energy generation project, the economic risk associated with interannual solar resource variability must be quantified. One way to quantify this risk is to calculate exceedance probabilities representing the amount of energy expected to be produced by a plant. Many years of solar radiation and metereological data are required to determine these values, often called P50 or P90 values for the level of certainty they represent. This paper describes the two methods implemented in the National Renewable Energy Laboratory's System Advisor Model (SAM) to calculate P50 and P90 exceedance probabilities for solar energy projects. The methodology and supporting data sets are applicable to photovoltaic, solar water heating, and concentrating solar power (CSP) systems.

  19. 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.

  20. 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.

  1. 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.

  2. 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.

  3. 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.

  4. 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 ...

  5. 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...

  6. 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 ...

  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 of NaturalDukeWakefieldSulfateSciTechtail.TheoryTuesday, August 10, 20102016 News BelowAsked toUSC-Aiken,AUii ABSTRACT This

  8. Training Advisor | Department of Energy

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

    Training Advisor Training Advisor Our consulting services provide the client with an overview of the skills needed to help an organization improve its performance, primarily...

  9. 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

  10. 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

  11. 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

  12. 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

  13. The Bayesian Advisor Project Alex Dekhytar and Judy Goldsmith

    E-Print Network [OSTI]

    Goldsmith, Judy

    ]. A Markov decision process models a controlled stochastic system. Because the advisor system is explicitly over stochastic systems. An academic program could be modeled with a Bayes net. For reasons of con#12 Advisor Project will produce a variety of tools to au- tomate and support building stochastic models

  14. 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

  15. 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

  16. Safety review advisor

    SciTech Connect (OSTI)

    Boshers, J.A.; Alguindigue, I.E.; Uhrig, R.E. (Tennessee Univ., Knoxville, TN (USA). Dept. of Nuclear Engineering); Burnett, C.G. (Tennessee Valley Authority, Knoxville, TN (USA))

    1989-01-01

    The University of Tennessee's Nuclear Engineering Department, in cooperation with the Tennessee Valley Authority (TVA), is evaluating the feasibility of utilizing an expert system to aid in 10CFR50.59 evaluations. This paper discusses the history of 10CFR50.59 reviews, and details the development approach used in the construction of a prototype Safety Review Advisor (SRA). The goals for this expert system prototype are to (1) aid the engineer in the evaluation process by directing his attention to the appropriate critical issues, (2) increase the efficiency, consistency, and thoroughness of the evaluation process, and (3) provide a foundation of appropriate Safety Analysis Report (SAR) references for the reviewer. 6 refs., 2 figs.

  17. 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

  18. 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

  19. 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'

  20. 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

  1. 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

  2. SecAdvise : A Security Mechanism Advisor Rima Saliba, Gilbert Babin, and Peter Kropf

    E-Print Network [OSTI]

    Kropf, Peter

    Interconnection) reference model [2]. Section 3 describes a trust management model developed in [8]. Our advisorSecAdvise : A Security Mechanism Advisor Rima Saliba½, Gilbert Babin¾, and Peter Kropf of incompatible e-commerce systems applying dif- ferent security technologies imposes difficult choices on all

  3. 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

  4. 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.

  5. ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20___/___

    E-Print Network [OSTI]

    Pulfrey, David L.

    be completed by end of 2nd year. Rev.05/11 #12;ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20

  6. 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

  7. 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

  8. ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20__/__

    E-Print Network [OSTI]

    Pulfrey, David L.

    The Writing Requirement must be completed by end of 2nd year. Rev.05/11 #12;ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20

  9. Undergraduate Advisors - Department of Mathematics, Purdue ...

    E-Print Network [OSTI]

    $author.value

    Consult the Undergraduate Academic Advising Office website for more information and a complete list of of College of Science Undergraduate Advisors.

  10. Daniel Yates Advisor: Dr. Rogachev Texas...

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

    gas mixtures for active target detector application Daniel Yates Advisor: Dr. Rogachev Texas Active Target (TexAT) New active target detector under development by Rogachev...

  11. DOE International Energy Advisors | Department of Energy

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

    Advisors Energy is a critical operational requirement and cornerstone of planning and logistics for the Department of Defense (DOD). It is also part of the strategic context in...

  12. 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

  13. 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

  14. 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

  15. Intel® Advisor XE

    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 likeUniverseIMPACT EVALUATION PLANIs gravityIntellectual PropertyEnergyAdvisor XE 2013

  16. 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

  17. 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

  18. 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.

  19. ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20___/___

    E-Print Network [OSTI]

    Pulfrey, David L.

    be waived when Minimum Achievements for 2 nd year secondary piano have already been met. 153 or 154 Large be completed by end of 2nd year. #12;Rev.05/11 ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1

  20. ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20__/__

    E-Print Network [OSTI]

    Pulfrey, David L.

    Minimum Achievements for 2 nd year secondary piano have already been met. Note: Secondary Piano credits Requirement must be completed by end of 2nd year. Rev.05/11 #12;ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20

  1. ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20___/___

    E-Print Network [OSTI]

    Pulfrey, David L.

    by end of 2nd year. Rev.05/10 #12;ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20 take either 112 or 122 second year and the other, third year. 309 Instrumentation 2 310 Orchestration 2

  2. ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20___/___

    E-Print Network [OSTI]

    Pulfrey, David L.

    for 2 nd year secondary piano have already been met. 150 Large Instrumental Ensemble 4 150 Large Requirement must be completed by end of 2nd year. Rev.05/11 #12;ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20

  3. ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20__/__

    E-Print Network [OSTI]

    Pulfrey, David L.

    Minimum Achievements for 2 nd year secondary piano have already been met. Large Ensemble at least 3 Large Requirement must be completed by end of 2nd year. Rev.05/11 #12;ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20

  4. CHEMISTRY DEPARTMENT REQUEST FOR CAPSTONE RESEARCH ADVISOR

    E-Print Network [OSTI]

    Sanyal, Suman

    CHEMISTRY DEPARTMENT REQUEST FOR CAPSTONE RESEARCH ADVISOR The capstone project should reflect student's ability to integrate chemistry knowledge gained through the coursework, to learn outside the classroom, and to demonstrate independence. An intellectual contribution within the field of chemistry

  5. 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

  6. Ontology-based Model Transformation Stephan Roser

    E-Print Network [OSTI]

    Bauer, Bernhard

    Ontology-based Model Transformation Stephan Roser Advisor: Bernhard Bauer Progamming of Distributed to achieve interoperability in modeling enterprises and application systems by semantic enrichment, which can abstract descriptions of systems, as they are used for model- and code- generation ­ they are the key part

  7. Advisor 2.0: A Second-Generation Advanced Vehicle Simulator for Systems Analysis

    SciTech Connect (OSTI)

    Wipke, K.; Cuddy, M.; Bharathan, D.; Burch, S.; Johnson, V.; Markel, A.; Sprik, S.

    1999-03-23

    The National Renewable Energy Laboratory has recently publicly released its second-generation advanced vehicle simulator called ADVISOR 2.0. This software program was initially developed four years ago, and after several years of in-house usage and evolution, the tool is now available to the public through a new vehicle systems analysis World Wide Web page. ADVISOR has been applied to many different systems analysis problems, such as helping to develop the SAE J1711 test procedure for hybrid vehicles and helping to evaluate new technologies as part of the Partnership for a New Generation of Vehicles (PNGV) technology selection process. The model has been and will continue to be benchmarked and validated with other models and with real vehicle test data. After two months of being available on the Web, more than 100 users have downloaded ADVISOR. ADVISOR 2.0 has many new features, including an easy-to-use graphical user interface, a detailed exhaust aftertreatment thermal model, and complete browser-based documentation. Future work will include adding to the library of components available in ADVISOR, including optimization functionality, and linking with a more detailed fuel cell model.

  8. Host laboratory: INRIA Bordeaux (France), Iparla team. Advisors: Pascal Barla, Gael Guennebaud

    E-Print Network [OSTI]

    Guennebaud, Gaël

    Host laboratory: INRIA Bordeaux (France), Iparla team. Advisors: Pascal Barla, Gael Guennebaud E digital sculpting, or painting applications, or densely scanned from real-world objects. Unfortunately automatic simplification or abstraction. The main challenge of this thesis is thus to identify the most

  9. Feasibility of the Detroit Area Schools Supernova Survey Research Advisor, Prof. David Cinabro

    E-Print Network [OSTI]

    Cinabro, David

    Feasibility of the Detroit Area Schools Supernova Survey Nick Davis Research Advisor, Prof. David Cinabro Wayne State University Department of Physics August 10, 2009 Abstract The Detroit Area Schools in Detroit. Initial testing had been promising despite the complications of working with low cost equipment

  10. 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

  11. 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

  12. Choosing a Thesis Advisor and a Postdoctoral Position Giving Talks

    E-Print Network [OSTI]

    Miller, Peter D.

    athematics A Vignette Choosing a Thesis Advisor and a Postdoctoral Position Giving Talks Joining. is not enough! #12;athematics A Vignette Choosing a Thesis Advisor and a Postdoctoral Position Giving Talks Joining Professional Organizations Outline 1 A Vignette 2 Choosing a Thesis Advisor and a Postdoctoral

  13. Health Advisor An Online Game for Managing Healthcare Delivery

    E-Print Network [OSTI]

    Li, Mo

    Health Advisor An Online Game for Managing Healthcare Delivery Tennenbaum Institute Georgia, valuable change. Health Advisor The Tennenbaum Institute is developing, with partial support from IBM, an online game for managing healthcare delivery ­ Health Advisor. Each player manages a set of clients

  14. Beginning Fall 2014 (201409), all registered students should have assigned advisors with an Advisor Type that corresponds with their curriculum.

    E-Print Network [OSTI]

    Wenderholm, Elaine

    SIAIQRY will open. "Next Block" down into the form or click on a blank line in the form. Enter your search an advisor) highlight a new line on the SGAADVR form, enter/search and select the advisor ID and Advisor Type, enter/search and select the new ID and Advisor Type then Record Remove (Shift+F6) the old one. When done

  15. ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20___/___

    E-Print Network [OSTI]

    Pulfrey, David L.

    Requirement must be completed by end of 2nd year. Rev.05/11 #12;ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20 Woodwinds 2 Note: Must take either 112 or 122 second year and the other, third year. 309 Instrumentation 2

  16. ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20___/___

    E-Print Network [OSTI]

    Pulfrey, David L.

    Requirement must be completed by end of 2nd year. Rev.05/11 #12;ADVISOR YEAR NAME OF STUDENT __________________________________ ___________________ (1) 20 Composition IV (Arts Research Requirement) 6 Note: In each year of the program, there must be at least one

  17. BIOCHEMISTRY Britta Osborne | Academic Advisor/Recruiter

    E-Print Network [OSTI]

    Deng, Bo

    in medical technology and climate change (biofuels/plant biotechnology). Career opportunitiesBIOCHEMISTRY Britta Osborne | Academic Advisor/Recruiter N208 Beadle Center | 402-472-9090 | britta and evaluate data. Beyond the core requirements, you will have the opportunity to enroll in elective courses

  18. 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

  19. 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

  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. Systems Advisor Model | 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:Financing ToolInternational Affairs, Before theFebruary 1,7/109 Historical Perspectiveof

  3. 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

  4. 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

  5. Written Statement of David Huizenga Senior Advisor for Environmental...

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

    the FY 2014 Request. Written Statement of David Huizenga Senior Advisor for Environmental Management United States Department of Energy Before the Subcommittee on Strategic Forces...

  6. Senior Advisor David Huizenga's Written Statement Before the...

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

    and Water Development Committee on Appropriations (March 19, 2013) Written Statement of David Huizenga, Senior Advisor for Environmental Management, United States Department of...

  7. What I Heard About Energy Policy through Advise the Advisor

    Broader source: Energy.gov [DOE]

    Secretary Chu relays some of the most popular sentiments that Americans conveyed to him during the White House's "Advise the Advisor" program on energy policy.

  8. TO: Deans, Chairs, Graduate Advisors FROM: Philip Cohen

    E-Print Network [OSTI]

    Texas at Arlington, University of

    MEMORANDUM TO: Deans, Chairs, Graduate Advisors FROM: Philip Cohen Dean, Graduate School RE: Graduate Assembly Approved Policies DATE: 25 February 2003 cc: Robert Witt, President; George Wright

  9. 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 

  10. Greentech Capital Advisors GCA | 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:QAsource History View New PagesSustainableGlynn County,Solar Jump to: navigation,Capital Advisors GCA Jump to:

  11. Richard Gerber! NERSC Senior Science Advisor

    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 wouldMassR&D100Nationalquestionnaires 0serialIndustrialSenior Science Advisor

  12. Richard Gerber! NERSC Senior Science Advisor

    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 wouldMassR&D100Nationalquestionnaires 0serialIndustrialSenior Science AdvisorNERSC 2014

  13. Cora Capital Advisors LLC | 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 ECoopButtePower Ventures JumpCommercialRenewableGlobal L P JumpFarmCopisa GroupAdvisors

  14. Labor Compliance Advisor | Department of Energy

    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 likeUniverseIMPACTThousand CubicResource andfirstDeviceLabLabor Compliance Advisor Labor

  15. 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

  16. 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

  17. Curriculum for Liberal Education A Guide for Students, Advisors & Faculty

    E-Print Network [OSTI]

    Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2013 - 2014 Updated: June 2013 Note: As of October 2006, the University Core Curriculum was renamed the Curriculum for Liberal Education #12;2 Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2013 - 2014

  18. Curriculum for Liberal Education A Guide for Students, Advisors & Faculty

    E-Print Network [OSTI]

    Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2015 - 2016 Updated: June 12, 2015 Note: As of October 2006, the University Core Curriculum was renamed the Curriculum for Liberal Education #12;2 Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2015

  19. Curriculum for Liberal Education A Guide for Students, Advisors & Faculty

    E-Print Network [OSTI]

    Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2012 - 2013 Updated: June 2012 Note: As of October 2006, the University Core Curriculum was renamed the Curriculum for Liberal Education #12;2 Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2012 - 2013

  20. Curriculum for Liberal Education A Guide for Students, Advisors & Faculty

    E-Print Network [OSTI]

    Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2014 - 2015 Updated: July 29, 2014 (Revised) Note: As of October 2006, the University Core Curriculum was renamed the Curriculum for Liberal Education #12;2 Curriculum for Liberal Education A Guide for Students, Advisors

  1. Curriculum for Liberal Education A Guide for Students, Advisors & Faculty

    E-Print Network [OSTI]

    Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2010 - 2011 Updated: June 2010 Note: As of October 2006, the University Core Curriculum was renamed the Curriculum for Liberal Education #12;2 Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2010 - 2011

  2. Curriculum for Liberal Education A Guide for Students, Advisors & Faculty

    E-Print Network [OSTI]

    Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2011 - 2012 Updated: June 2011 Note: As of October 2006, the University Core Curriculum was renamed the Curriculum for Liberal Education #12;2 Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2011 - 2012

  3. 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

  4. 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

  5. Undergraduate Psychology Advisors: advisor@psych.wisc.edu Rooms 426, 428, & 430 Psychology bldg UNIVERSITY OF WISCONSIN -MADISON

    E-Print Network [OSTI]

    Green, C. Shawn

    Undergraduate Psychology Advisors: advisor@psych.wisc.edu Rooms 426, 428, & 430 Psychology bldg UNIVERSITY OF WISCONSIN - MADISON DEPARTMENT OF PSYCHOLOGY Undergraduate Advising PSYCHOLOGY MAJOR FOUR YEAR PSYCH 201, 202, Or 281: INTRODUCTION TO PSYCHOLOGY (Social Science) If you received a 4 or a 5

  6. 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

  7. 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

  8. ISIS 9.0: Degree Audit for Advisors 1 Reviewed: 09.08.15

    E-Print Network [OSTI]

    Capogna, Luca

    ISIS 9.0: Degree Audit for Advisors 1 Reviewed: 09.08.15 Degree Audit for Advisors ISIS 9.0 Degree Center > Academics > Degree Audit (button) #12;ISIS 9.0: Degree Audit for Advisors 2 Reviewed: 09.08.15 Degree Audit for Advisors ISIS 9.0 Plan Selection From the Degree Audit Plan Selection page you can run

  9. TripAdvisorN-D : A Tourism-Inspired

    E-Print Network [OSTI]

    TripAdvisorN-D : A Tourism-Inspired High-Dimensional Space Exploration Framework with Overview, also experience the world in a serial fashion. But we typically have access to a map to help

  10. TO: Deans, Chairs, Graduate Advisors FROM: Philip Cohen

    E-Print Network [OSTI]

    Texas at Arlington, University of

    MEMORANDUM TO: Deans, Chairs, Graduate Advisors FROM: Philip Cohen Dean, Graduate School RE: New C Grade and POW Policy DATE: 3 December 2001 cc: Robert Witt, President; George Wright, Executive Vice

  11. TO: Deans, Chairs, and Graduate Advisors FROM: Philip Cohen

    E-Print Network [OSTI]

    Texas at Arlington, University of

    MEMORANDUM TO: Deans, Chairs, and Graduate Advisors FROM: Philip Cohen Dean, Graduate School RE: Drop Dates for Graduate Students in Non-Traditional Semesters DATE: 14 June 2001 CC: Robert Witt

  12. TO: Deans, Chairs, Graduate Advisors FROM: Philip Cohen

    E-Print Network [OSTI]

    Texas at Arlington, University of

    MEMORANDUM TO: Deans, Chairs, Graduate Advisors FROM: Philip Cohen Dean, Graduate School RE: New Graduate School Policies DATE: 22 October 2001 cc: Robert Witt, President; George Wright, Executive Vice

  13. 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

  14. Neal Lane: Confessions of a President's Science Advisor

    ScienceCinema (OSTI)

    Neal Lane

    2010-09-01

    Former science advisor to president Bill Clinton Neal Lane briefly reviews the history of the job of Science Advisor to the President and give some examples of issues he had to deal with when he was in that position, including climate change, stem cell research, the human genome, nanotechnology and research funding. He will also give his opinions about the present and future state of science in the U.S.

  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. Developing a tight gas sand advisor for completion and stimulation in tight gas reservoirs worldwide 

    E-Print Network [OSTI]

    Bogatchev, Kirill Y.

    2009-05-15

    and experience about completion and stimulation technologies used in TGS reservoirs. We developed the principal design and two modules of a computer program called Tight Gas Sand Advisor (TGS Advisor), which can be used to assist engineers in making decisions...

  18. U-153: EMC Data Protection Advisor Server and Collector Bugs Let Remote Users Deny Service

    Broader source: Energy.gov [DOE]

    Two vulnerabilities were reported in EMC Data Protection Advisor. A remote user can cause denial of service conditions.

  19. 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

  20. 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

  1. 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

  2. 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

  3. Curriculum for Liberal Education A Guide for Students, Advisors & Faculty

    E-Print Network [OSTI]

    Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2009 - 2010 Updated: June 2009 Note: As of October 2006, the University Core Curriculum was renamed the Curriculum for Liberal Education #12;2 The Curriculum for Liberal Education (CLE) at Virginia Tech Welcome to the CLE Guide

  4. Curriculum for Liberal Education A Guide for Students, Advisors & Faculty

    E-Print Network [OSTI]

    Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2008 - 2009 Updated: June 2008 Note: As of October 2006, the University Core Curriculum was renamed the Curriculum for Liberal Education #12;2 The Curriculum for Liberal Education (CLE) at Virginia Tech This guide will assist students

  5. Curriculum for Liberal Education A Guide for Students, Advisors & Faculty

    E-Print Network [OSTI]

    Curriculum for Liberal Education A Guide for Students, Advisors & Faculty 2007 - 2008 Updated: July 2007 Note: As of October 2006, the University Core Curriculum was renamed the Curriculum for Liberal Education #12;2 The Curriculum for Liberal Education (CLE) at Virginia Tech This guide will assist students

  6. MTS Evaluation Rubric: Thesis Option Student ________________________ Advisor or Reader ________________________

    E-Print Network [OSTI]

    Palmeri, Thomas

    MTS Evaluation Rubric: Thesis Option Student ________________________ Advisor or Reader ________________________ Each thesis is unique in focus and content. To do a thesis well requires the academic capacities and skills listed below, which are developed through MTS coursework. Please review the thesis and evaluate

  7. Arts Technology Program Program Advisor: Mrs. Nevon Bruschke

    E-Print Network [OSTI]

    Capecchi, Mario R.

    in an interdisciplinary environment with the visual arts and with technology. The student plans a course of studyArts Technology Program Program Advisor: Mrs. Nevon Bruschke 161 ART 801-581-8677 n.bruschke@utah.edu www.art.utah.edu Minor. Interdisciplinary minor in Arts and Technology Certificate. Arts Technology

  8. An XML Index Advisor for DB2 Iman Elghandour

    E-Print Network [OSTI]

    Aboulnaga, Ashraf

    workload, while taking into account the cost of updating the index on data modification. Details about our its index selection and cost estimation capabilities, and provides a solid and easy way for ensuringAn XML Index Advisor for DB2 Iman Elghandour University of Waterloo Waterloo, ON, Canada ielghand

  9. MATOURA: MULTI-AGENT TOURIST ADVISOR Constantin Halatsis1

    E-Print Network [OSTI]

    Panagiotis, Stamatopoulos

    , for an integrated and friendly access to the relevant data. Thus, tourism infor- matics as well as other of the on-line computer ser- vices in the area of tourism has contributed signif- icantly to improving, a speci c application on tourism, called MaTourA (Multi-agent Tourist Advisor) 7, 6] is presented

  10. Advisor : Dr. Jennifer Kay Department of Computer Science

    E-Print Network [OSTI]

    Kay, Jennifer S.

    Advisor : Dr. Jennifer Kay Department of Computer Science What Does It Do? Our robot can find its way out of a connected maze composed of straight hallways and right- angled turns. It will walk through a maze, following the wall to its right-hand side, negotiating left hand turns and dead ends

  11. 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...

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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.

  17. 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

  18. 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

  19. 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

  20. 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

  1. 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

  2. Richard Gerber! NERSC Senior Science Advisor! NERSC Training Lead

    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 wouldMassR&D100Nationalquestionnaires 0serialIndustrialSenior Science AdvisorNERSCNERSC

  3. 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

  4. 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

  5. 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.

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

    SciTech Connect (OSTI)

    Not Available

    2011-10-01

    The energy market is diversifying. In addition to traditional power sources, decision makers can choose among solar, wind, and geothermal technologies as well. Each of these technologies has complex performance characteristics and economics that vary with location and other project specifics, making it difficult to analyze the viability of such projects. But that analysis is easier now, thanks to the National Renewable Energy Laboratory (NREL).

  7. System Advisor Model Enhancements for CSP- FY13 Q1

    Office of Energy Efficiency and Renewable Energy (EERE)

    This document summarizes the progress of this NREL project, funded by SunShot, for the first quarter of fiscal year 2013.

  8. Project Profile: System Advisor Model Enhancements for CSP | Department of

    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 RankADVANCED MANUFACTURINGEnergy Bills andOrderNATIONALofDefineEnergy National Solar ThermalReduce

  9. 2011 Asia Value Advisors. All rights reserved Launching Your Social Business

    E-Print Network [OSTI]

    create social value / impact ? ¨ How do I launch a social business ? #12;© 2011 Asia Value Advisors. All Impact Creation #12;© 2011 Asia Value Advisors. All rights reserved Social Issues (Systematic Approach me ? ¨ How do I create social value / impact ? ¨ How do I launch a social business ? #12;© 2011 Asia

  10. 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...

  11. 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...

  12. Recovery Act update from Sr. Advisor Matt Rogers-- End of Obligations

    Broader source: Energy.gov [DOE]

    Matt Rogers, Senior Advisor to the Secretary for Recovery Act Implementation, shares his thoughts as the Recovery Act reaches a critical milestone -- the end of the 2010 fiscal year and the last...

  13. Student Services Program Coordinator II Training Coordinator for Academic Advisors University Advising Center

    E-Print Network [OSTI]

    Almor, Amit

    and certification program including online modules and resources, in-person training sessions, and trainingStudent Services Program Coordinator II ­ Training Coordinator for Academic Advisors University Advising Center University of South Carolina ­ Columbia Position Description Training Coordinator

  14. 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 ...

  15. 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

  16. 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.

  17. 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).

  18. 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

  19. Geology and Geophysics at the University of Utah Advisors for Undergraduate Geology & Geophysics Students (2014-15 academic year)

    E-Print Network [OSTI]

    Johnson, Cari

    Geology and Geophysics at the University of Utah Advisors for Undergraduate Geology & Geophysics Students (2014-15 academic year): General Academic Advising for Geology & Geophysics Majors ­ Ms. Judy.dinter@utah.edu, office: 321 FASB, phone 801-581-7937) Faculty Advisor for Geophysics Emphasis, Geoscience Major ­ Prof

  20. Will I have enough money in retirement? There's an easy way to find out. Use the online Financial Engines Investment ADVISOR

    E-Print Network [OSTI]

    Fernandez, Eduardo

    retirement income target, the ADVISOR SERVICE will alert you by displaying a lightbulb icon to indicate a new

  1. 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...

  2. 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 ...

  3. 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.

  4. 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

  5. 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,

  6. Computer Science Major Worksheet B.A. Degree Student: _______________________ ID#___________ Catalog:_________ Advisor _____________

    E-Print Network [OSTI]

    Delene, David J.

    10/15/2012 Computer Science Major Worksheet ­ B.A. Degree Student: _______________________ ID#___________ Catalog:_________ Advisor _____________ Computer Science Required Courses Cr. Semester Gr. CSci 160 Computer Science I 4 CSci 161 Computer Science II 4 CSci 230 Systems Programming 3 CSci 242 Algo. & Data

  7. C Compiler Targeting the Java Virtual Machine Senior Honors Thesis (Advisor: Javed A. Aslam)

    E-Print Network [OSTI]

    C Compiler Targeting the Java Virtual Machine Jack Pien Senior Honors Thesis (Advisor: Javed A to compile once and execute across many different platforms. With the emergence of the Internet by Sun Microsystems to address this "Write Once, Run Anywhere" problem. What sets a compiled Java program

  8. MATOURA: MULTIAGENT TOURIST ADVISOR Constantin Halatsis 1 , Panagiotis Stamatopoulos 1 , Isambo Karali 1 , Constantin Mourlas 1 ,

    E-Print Network [OSTI]

    Margaritis, Dimitris

    apparent, for an integrated and friendly access to the relevant data. Thus, tourism infor­ matics as well The introduction of the on­line computer ser­ vices in the area of tourism has contributed signif­ icantly, a specific application on tourism, called MaTourA (Multi­agent Tourist Advisor) [7, 6] is presented

  9. Elliott J Blumenthal-Biology Lead Advisor and Associate Chair-Biology

    E-Print Network [OSTI]

    Hamburger, Peter

    Elliott J Blumenthal- Biology Lead Advisor and Associate Chair- Biology Frank V Paladino- Chair, Department of Biology #12;Objectives for Orientation today To give a description of the Biology Program To give an overview of the various "CONCENTRATIONS" that are available for majors in Biology To describe

  10. Bridge Courses in the United States Student:Andrew Pyzdek Faculty Advisor: Dorin Dumitrascu

    E-Print Network [OSTI]

    Fatkullin, Ibrahim

    Bridge Courses in the United States Student:Andrew Pyzdek Faculty Advisor: Dorin Dumitrascu, and the approach taken by American universities when offering a "bridge course." We understand a "bridge course bridge course at the University of Arizona, Math 323 -Formal Mathematical Reasoning and Writing

  11. ACADEMIC TRAINING FOR J-1 STUDENTS -5 SAMPLE ADVISOR'S LETTER FOR ACADEMIC TRAINING

    E-Print Network [OSTI]

    Mohan, Chilukuri K.

    ACADEMIC TRAINING FOR J-1 STUDENTS - 5 SAMPLE ADVISOR'S LETTER FOR ACADEMIC TRAINING must Services FROM: Name Title RE: Recommendation for Academic Training for ___________________________ DATE ____________________________ ______________________________________________________. This student has an opportunity to pursue academic training with the employer indicated below. I have discussed

  12. Development of an On-Line Expert System: Heat Rate Degradation Expert System Advisor 

    E-Print Network [OSTI]

    Sopocy, D. M.; Henry, R. E.; Gehl, S.; Divakaruni, S. M.

    1989-01-01

    An on-line expert system for fossil-fueled power plants, the "Heat Rate Degradation Expert System Advisor," is being developed. This expert system will operate on a microcomputer and will interface with existing plant data acquisition and/or thermal...

  13. GetDressed: A Personalized and Contextually-Aware Clothing Advisor for the Home

    E-Print Network [OSTI]

    Caverlee, James

    GetDressed: A Personalized and Contextually-Aware Clothing Advisor for the Home Zhijiao Liu Jesus on people's lives and many people are unsatisfied with the outfits they select and the time and effort and weather conditions, the user's preferences and history, and a style coordination metric. We performed

  14. Energy Advisors at Work: Charity Work Practices to Support People in Fuel Poverty

    E-Print Network [OSTI]

    Energy Advisors at Work: Charity Work Practices to Support People in Fuel Poverty Joel E. Fischer to people in fuel poverty. Our fieldwork comprises detailed observations that reveal the collaborative design challenges that relate the domestic fuel poverty setting to the wider Ubicomp literature. Our work

  15. Amigo Bob Cantisano: Organic Farming Advisor, Founder, Ecological Farming Conference

    E-Print Network [OSTI]

    Rabkin, Sarah

    2010-01-01

    It’s a very unique business model, to be able to now be inand model of how they operate as a family and as a business.

  16. 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 ...

  17. 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...

  18. Master's Thesis Hybrid Statistical Model Checking Technique for

    E-Print Network [OSTI]

    Master's Thesis Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems Technique for Reliable Safety Critical Systems #12;Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems Advisor : Professor Kim, Moonzoo by Kim, Youngjoo Department of Computer Science

  19. 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

  20. 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

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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 -

  6. 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

  7. 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

  8. 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

  9. 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

  10. 5.5 ACADEMIC ADVISORS The various MMath/BSc (Honours) programmes offered by the School of

    E-Print Network [OSTI]

    Sidorov, Nikita

    to Reception in the Alan Turing Building to arrange a mutually convenient time. Alternatively, you can contact Advisor should see the Director of Undergraduate Studies (Dr L A Walker, Room 2.243, Alan Turing Building

  11. DATA-DRIVEN MODELS IN STORAGE SYSTEM DESIGN Florentina I. Popovici

    E-Print Network [OSTI]

    Yeom, Heon Young

    DATA-DRIVEN MODELS IN STORAGE SYSTEM DESIGN by Florentina I. Popovici A dissertation submitted) at the UNIVERSITY OF WISCONSIN­MADISON 2007 #12;i I would like to thank to my advisors Andrea Arpaci the same process know very well how invaluable is the role of the advisor. I have been very lucky

  12. 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.

  13. Recovery Act update from Sr. Advisor Matt Rogers -- End of Obligations

    ScienceCinema (OSTI)

    Rogers, Matt

    2013-05-29

    Senior Advisor to the Secretary for Recovery Act Implementation Matt Rogers shares his thoughts as the Recovery Act reaches a critical milestone -- the end of the 2010 fiscal year and the last day to obligation contract and grant funding under the Recovery Act. For more information about the Recovery Act at the Department of Energy: http://www.energy.gov/recovery Follow the Department of Energy! http://facebook.com/energygov http://twitter.com/energy

  14. 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

  15. 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

  16. 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

  17. 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

  18. M.S. IN BIOENGINEERING WORKSHEET Name: __________________________________ Z#:__________________ Advisor: ____________________________

    E-Print Network [OSTI]

    Fernandez, Eduardo

    10/28/2014 M.S. IN BIOENGINEERING WORKSHEET Name: __________________________________ Z to Bioengineering BME 5742 Biosystems Modeling and Control BME 6762 BioInformatics: Bioengineering Perspectives BSC credits from Group A below) Group A: Engineering, Computer Science and Bioengineering Electives Computer

  19. 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

  20. Richard Gerber! NERSC Senior Science Advisor! Acting User Services Group Lead

    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 wouldMassR&D100Nationalquestionnaires 0serialIndustrialSenior Science AdvisorNERSC

  1. 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.

  2. 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 ...

  3. 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.

  4. 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)

  5. 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 ...

  6. 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.

  7. 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 ...

  8. 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...

  9. 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 ...

  10. 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.

  11. 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 ...

  12. 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

  13. 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

  14. 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.

  15. 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

  16. 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,

  17. 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

  18. 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

  19. 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)

  20. 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)

  1. 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

  2. Intrinsic Case Study of Advisors’ Perceptions of Advising International Transfer Students Transitioning from a Two-Year College to a Land-Grant University in the Southwest Region of the United States 

    E-Print Network [OSTI]

    De Sousa, David Alexandre

    2014-12-15

    This qualitative intrinsic case study examined advisor’s perceptions of advising transitioning international transfer students transferring from a two-year college to a land-grant institution in the southwest region on the United States. Literature...

  3. 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

  4. 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.

  5. 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

  6. Student ID Advisor 1st Year Fall __________ (year) 1st Year Spr. __________ (year) 1st Year Sum. __________ (year)

    E-Print Network [OSTI]

    Barrash, Warren

    . HRS. 2nd Year Fall __________ (year) 2nd Year Spr. _________ (year) 2nd Year Sum. _________ (yearName Major Student ID Advisor 1st Year Fall __________ (year) 1st Year Spr. __________ (year) 1st Year Sum. __________ (year) SUBJECT COURSE # CR. HRS. SUBJECT COURSE # CR. HRS. SUBJECT COURSE # CR

  7. Geology and Geophysics at the University of Utah Advisors for Undergraduate Geology & Geophysics Students (2014-15 academic year)

    E-Print Network [OSTI]

    Johnson, Cari

    Geology and Geophysics at the University of Utah Advisors for Undergraduate Geology & Geophysics Students (2014-15 academic year): General Academic Advising for Geology & Geophysics Majors ­ Ms. Judy for Geology Emphasis, Geoscience Major ­ Prof. Brenda Bowen (email: brenda.bowen@ utah.edu, office: 341 FASB

  8. 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

  9. Improvements to building energy usage modeling during early design stages and retrofits

    E-Print Network [OSTI]

    Mandelbaum, Andrew (Andrew Joseph)

    2014-01-01

    A variety of improvements to the MIT Design Advisor, a whole-building energy usage modeling tool intended for use during early design stages, are investigated. These include changes to the thermal mass temperature distribution ...

  10. 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.

  11. 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

  12. 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

  13. 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).

  14. Dissertation Advisor: Thomas Sphicopoulos, Professor. Contribution to the modeling of coupled resonator optical

    E-Print Network [OSTI]

    Kouroupetroglou, Georgios

    crystals are periodic structures created by materials with different dielectric constants that are periodically placed in space. Photonic crystals are classified in 1D, 2D and 3D according to their dielectric resonator optical waveguides in photonic crystals Nikolaos Avaritsiotis National and Kapodistrian University

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  1. 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

  2. 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

  3. Spectral Modeling Hot Star Winds

    E-Print Network [OSTI]

    Cohen, David

    Spectral Modeling of X-Rays from Hot Star Winds Emma Wollman Advisor: David Cohen #12;Hot Stars ·· Short-livedShort-lived (~ 1-10 million yrs)(~ 1-10 million yrs) #12;Stellar Winds · Net momentum · More luminosity !"stronger wind · Mass-loss rate determines the fate of the star #12;X-ray Production

  4. 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.

  5. Blackbox Stencil Interpolation Method For Model Reduction

    E-Print Network [OSTI]

    Peraire, Jaime

    Reservoir Simulation Computational intensive Large geological uncertainty Legacy or commercial code-space-parameter principal component analysis [8] K. Willcox et al., Balanced model reduction via the proper orthogonalBlackbox Stencil Interpolation Method For Model Reduction Han Chen Advisors: Qiqi Wang, Karen

  6. 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...

  7. 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

  8. 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.

  9. Unsteady Aerodynamic Models for Agile Flight at Low Reynolds Numbers

    E-Print Network [OSTI]

    Rowley, Clarence W.

    for Wagner's and Theodorsen's models, making them compatible with modern control-system analysis. A number thanks are to my advisor, Clancy Rowley, who has been both a role model and a source of encouragementUnsteady Aerodynamic Models for Agile Flight at Low Reynolds Numbers Steven L. Brunton

  10. 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.

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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.

  18. Optimal Model-Based Production Planning

    E-Print Network [OSTI]

    Grossmann, Ignacio E.

    Given Refinery configuration: Process units Feedstock & Final Product Objective Select crude oils Hydrotreatment Gasoline blending Distillate blending Gas oil blending Cat Crack CDU crude1 crude2 butane Fuel gas1 Optimal Model-Based Production Planning for Refinery Operation Abdulrahman Alattas Advisor

  19. MEAN-FIELD BOOLEAN NETWORK MODEL OF A SIGNAL TRANSDUCTION NETWORK

    E-Print Network [OSTI]

    Matache, Dora

    MEAN-FIELD BOOLEAN NETWORK MODEL OF A SIGNAL TRANSDUCTION NETWORK Student:Naomi Kochi Advisor that the system is stable under a variety of parameter combinations. It is also shown that this model is suitable presents some prospects for using Boolean network models for predictive modeling of systems

  20. 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

  1. Stochastic Models of Gene Expression Bachelor of Engineering

    E-Print Network [OSTI]

    Dix, Daniel B.

    of the state of a chemical system. The Master equation is built on a Markov model foundation. We deriveStochastic Models of Gene Expression by Lanjia Lin Bachelor of Engineering Wuhan University, 2003 gratitude to my advisor, Dr. Daniel Dix, for his invaluable guidance and constant patience. Second, I wish

  2. Computational Modeling of theComputational Modeling of the Vacuum Assisted Resin Transfer MoldingVacuum Assisted Resin Transfer Molding

    E-Print Network [OSTI]

    Grujicic, Mica

    Computational Modeling of theComputational Modeling of the Vacuum Assisted Resin Transfer MoldingVacuum Assisted Resin Transfer Molding (VARTM) Process(VARTM) Process April 2004April 2004 DepartmentMS Thesis Advisor: Dr. Grujicic #12;What is VARTM?What is VARTM? Vacuum Assisted Resin Transfer Molding

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. KBST: A Support Tool for Business Modeling in YunHeh ChenBurger

    E-Print Network [OSTI]

    Chen-Burger, Yun-Heh (Jessica)

    , and not only IT related ones. One such enterprise modeling methodology is IBM's Business System Development intelligent modeling advise and analysis. 1 Paper Summary IT systems which are built using traditional Microsoft Windows (Version 3.0 and 3.1). With the exception of a generic model advisor, all KBST code has

  9. 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...

  10. Senior Design Projects 2013 Project Title 1 : Monte Carlo Simulations Using a Benchmark Full-Core Pressured Water Rector Model

    E-Print Network [OSTI]

    Danon, Yaron

    -Core Pressured Water Rector Model Advisor: Prof. X. George Xu (JEC 5003; Tel: 518-276-4014; Email: xug2@rpi in the design and analysis of nuclear reactor systems. One of the most desirable modeling and simulation a full-core PWR reactor model for parallel MCNP calculations on the CCNI system 4. Code optimization

  11. Gray boxes indicate courses for which student must be admitted to upper-level. Students must meet all prerequisites for each course. All prerequisites are strictly enforced, unless approval has been given by the ID Academic Advisor. INDUSTRIAL DISTRIBUTI

    E-Print Network [OSTI]

    Behmer, Spencer T.

    Trans IDIS 400 3-3-4 Industrial Automation IDIS 300 3-3-4 Industrial Electricity IDIS 303 2-2-3 Mech given by the ID Academic Advisor. INDUSTRIAL DISTRIBUTION Texas A&M University Catalog 137 2014

  12. 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;

  13. 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

  14. Multiscale models of atmospheric mercury: bromine chemistry, air-sea exchange, and global transport

    E-Print Network [OSTI]

    Holmes, Christopher D.

    by atomic bromine (Br) in the tropo- sphere by combining kinetic data for the Hg-Br system with modeledMultiscale models of atmospheric mercury: bromine chemistry, air-sea exchange, and global transport rights reserved. #12;iii Dissertation Advisor Author Professor Daniel J. Jacob Christopher D. Holmes

  15. 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

  16. 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

  17. 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

  18. 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)

  19. 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;

  20. 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

  1. 2008 RESEARCH EXPO POSTER NAMES, PARTICIPANTS, FACULTY ADVISORS AND RESEARCH INSTITUTES

    E-Print Network [OSTI]

    Fainman, Yeshaiahu

    Conte Jose Restrepo 216 SEISMIC LOADING OF WIND TURBINES Ian M. Prowell Ahmed Elgamal 217 SHAKE TABLE NEAR A STRUCTURE Janet Crumrine Wolfson Gilbert A. Hegemier Frieder Seible 221 POST-DISASTER URBAN DEGRADATION MODELS TO HOT, HUMID ENVIRONMENTS Stephanie L. Svetlik Vistasp Karbhari 228 HIGH STRENGTH

  2. 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;

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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,

  10. 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

  11. 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

  12. 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.

  13. 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

  14. A Model of the Lateral Geniculate Complex of the Turtle Visual System: Noise Suppression and Target Motion Detection

    E-Print Network [OSTI]

    Ghosh, Bijoy K.

    A Model of the Lateral Geniculate Complex of the Turtle Visual System: Noise Suppression and Target-Cybernetics and Intelligent Systems (CBCIS) at Texas Tech University, served as my thesis advisor and com- mittee chair of this work - showing an unwavering dedication to the topic of modeling vision neural systems. As a long

  15. 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.

  16. 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.

  17. 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

  18. 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

  19. 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

  20. 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)

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. Entry Number: 1 GL A NEW HONEY BEE THREAT-THE PARASITIZING PHORID FLY APOCEPHALUS BOREALIS

    E-Print Network [OSTI]

    . maritima as a model system, I have quantitated the characteristics that lead to male reproductive success: Andrew Core Ecology and Systematics Faculty Advisor: Dr. John Hafernik Abstract: Colony Collapse Disorder and Systematics Faculty Advisor: Dr. Andrew Zink Abstract: Sexual selection is a driving force behind evolution

  10. MODELING OF HYDRONIC AND ELECTRIC-CABLE SNOW-MELTING SYSTEMS FOR PAVEMENTS

    E-Print Network [OSTI]

    Smart Bridge Research Project at the Oklahoma State University with the close cooperationMODELING OF HYDRONIC AND ELECTRIC-CABLE SNOW-MELTING SYSTEMS FOR PAVEMENTS AND BRIDGE DECKS By XIA FOR PAVEMENTS AND BRIDGE DECKS Thesis Approved: _______________________________________________ Thesis Advisor

  11. Decoding the Speed and Motion Direction of Moving Targets Using a Turtle Retinal Patch Model

    E-Print Network [OSTI]

    Ghosh, Bijoy K.

    Decoding the Speed and Motion Direction of Moving Targets Using a Turtle Retinal Patch Model to express my sincerest gratitude to my advisor, Dr. Bijoy Ghosh, whose guidance, advice, encouragement and support made my research possible at the Center for BioCybernetis and Intelligent Systems (CBCIS

  12. Theory of Dynamical Model Reductions in Systems Biology and Implementation in Constraint Logic Programming

    E-Print Network [OSTI]

    Radulescu, Ovidiu

    qualitative [Gay et al, 2010, 2011, Fages et al., 2012] and quantitative models [Crudu et al., 2009, Gorban et Programming PhD Thesis Subject, Advisors: François Fages, Inria Paris-Rocquencourt, http al, 2004, 2008 & 2010; Radulescu et al, 2008, 2012; Noel et al 2011]. The subject of the Thesis

  13. 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.

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  1. 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.

  2. Safety Advisor (Nuclear Engineer)

    Broader source: Energy.gov [DOE]

    WHO MAY APPLY: Current or former (competitive and excepted service) Federal civilian employees; Veterans discharged under honorable conditions (this means an honorable or general discharge), AND...

  3. Safety Advisor (Nuclear Engineer)

    Broader source: Energy.gov [DOE]

    **This is an Excepted Service position. This appointment will not confer Competitive Service career-conditional or career tenure status. This means that if you are selected, you would have to...

  4. Intel® Advisor XE

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

    MERCHANTABILITY, OR INFRINGEMENT OF ANY PATENT, COPYRIGHT OR OTHER INTELLECTUAL PROPERTY RIGHT. Software and workloads used in performance tests may have been optimized for...

  5. Advisor Overview Plans, Templates,

    E-Print Network [OSTI]

    Lawrence, Rick L.

    by using a student ID number, enter the student ID number in the Student ID box. Press Enter to process the request. DegreeWorks will begin a search for the student and a new page will open with the requested Select a Starting Term to choose the desired term. Click on the drop-down list of terms to select

  6. 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

  7. 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.

  8. Strong Correlations in Lattice Models

    E-Print Network [OSTI]

    Hansen, Daniel Luke

    2012-01-01

    is approved: Professor B. Sriram Shastry, Chair Professorto thank my advisor, Prof. Sriram Shastry. While the work in

  9. 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

  10. 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

  11. 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

  12. Gray boxes indicate courses for which student must be admitted to upper-level. Students must meet all prerequisites for each course. All prerequisites are strictly enforced, unless approval has been given by the ID Academic Advisor. INDUSTRIAL DISTRIBUTI

    E-Print Network [OSTI]

    Behmer, Spencer T.

    IDIS 403 2-2-3 Fluid Power Trans IDIS 400 3-3-4 Industrial Automation IDIS 300 3-3-4 Industrial given by the ID Academic Advisor. INDUSTRIAL DISTRIBUTION Texas A&M University Catalogs 134 to 136 2011

  13. Gray boxes indicate courses for which student must be admitted to upper-level. Students must meet all prerequisites for each course. All prerequisites are strictly enforced, unless approval has been given by the ID Academic Advisor. INDUSTRIAL DISTRIBUTI

    E-Print Network [OSTI]

    Behmer, Spencer T.

    IDIS 403 2-2-3 Fluid Power Trans IDIS 400 3-3-4 Industrial Automation IDIS 300 3-3-4 Industrial given by the ID Academic Advisor. INDUSTRIAL DISTRIBUTION Texas A&M University Catalogs 134-135 2011

  14. 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.

  15. 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 ...

  16. 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

  17. M. Ufuk alayan Current and Former PhD Students

    E-Print Network [OSTI]

    Model Based on Recommendations, January 2013 (Dokuz Eylül University EEE, Co-Advisor, Advisor: Zafer Network Protocols by Model Checking, November 2010 (Dokuz Eylül University EEE, Co-Advisor, Advisor: Zafer and Performance of Picture Archival and Communications Systems, November 1994 (Co-Advisor, Advisor: Bülent Sankur

  18. 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.

  19. 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)

  20. 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

  1. 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

  2. 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

  3. 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

  4. 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

  5. Gray boxes indicate courses for which student must be admitted to upper-level. Students must meet all prerequisites for each course. All prerequisites are strictly enforced, unless approval has been given by the ID Academic Advisor. INDUSTRIAL DISTRIBUTI

    E-Print Network [OSTI]

    Behmer, Spencer T.

    & Ctrl Sys IDIS 403 2-2-3 Fluid Power Trans IDIS 400 3-3-4 Industrial Automation IDIS 300 3 given by the ID Academic Advisor. INDUSTRIAL DISTRIBUTION Texas A&M University Catalogs 129 to 133 2006-3-4 Industrial Electricity IDIS 303 2-2-3 Mech Power Trans Tech Elec. 3 credits Choose from List IDIS 364/464 3

  6. Students supervised and visitors hosted by Jarek Rossignac Current Graduate students (PhD advisor of students in bold)

    E-Print Network [OSTI]

    Rossignac, Jarek

    2010 · Bill Pilger (Shape Analysis for Surgery Planning), Spring 2006 · Brandon Beck (model with Tetrameshes), Spring 2005 · David Cardoze (Shape approximation), Winter 98 · Davis King (3D compression), 1998-2002 · Doug Davis (Geometric approximation), Winter-fall 98 · Dun Liu (Surface fitting and compression), 1999

  7. 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

  8. 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...

  9. 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.

  10. 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)...

  11. 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...

  12. 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.

  13. 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

  14. 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

  15. Communication with U.S. federal decision makers : a primer with notes on the use of computer models as a means of communication.

    SciTech Connect (OSTI)

    Webb, Erik Karl; Tidwell, Vincent Carroll

    2009-10-01

    This document outlines ways to more effectively communicate with U.S. Federal decision makers by outlining the structure, authority, and motivations of various Federal groups, how to find the trusted advisors, and how to structure communication. All three branches of Federal governments have decision makers engaged in resolving major policy issues. The Legislative Branch (Congress) negotiates the authority and the resources that can be used by the Executive Branch. The Executive Branch has some latitude in implementation and prioritizing resources. The Judicial Branch resolves disputes. The goal of all decision makers is to choose and implement the option that best fits the needs and wants of the community. However, understanding the risk of technical, political and/or financial infeasibility and possible unintended consequences is extremely difficult. Primarily, decision makers are supported in their deliberations by trusted advisors who engage in the analysis of options as well as the day-to-day tasks associated with multi-party negotiations. In the best case, the trusted advisors use many sources of information to inform the process including the opinion of experts and if possible predictive analysis from which they can evaluate the projected consequences of their decisions. The paper covers the following: (1) Understanding Executive and Legislative decision makers - What can these decision makers do? (2) Finding the target audience - Who are the internal and external trusted advisors? (3) Packaging the message - How do we parse and integrate information, and how do we use computer simulation or models in policy communication?

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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)

  1. 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

  2. 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

  3. "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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. DOE Workshop; Pan-Gass Conference on the Representation of Atmospheric Processes in Weather and Climate Models

    SciTech Connect (OSTI)

    Morrison, PI Hugh

    2012-09-21

    This is the first meeting of the whole new GEWEX (Global Energy and Water Cycle Experiment) Atmospheric System Study (GASS) project that has been formed from the merger of the GEWEX Cloud System Study (GCSS) Project and the GEWEX Atmospheric Boundary Layer Studies (GABLS). As such, this meeting will play a major role in energizing GEWEX work in the area of atmospheric parameterizations of clouds, convection, stable boundary layers, and aerosol-cloud interactions for the numerical models used for weather and climate projections at both global and regional scales. The representation of these processes in models is crucial to GEWEX goals of improved prediction of the energy and water cycles at both weather and climate timescales. This proposal seeks funds to be used to cover incidental and travel expenses for U.S.-based graduate students and early career scientists (i.e., within 5 years of receiving their highest degree). We anticipate using DOE funding to support 5-10 people. We will advertise the availability of these funds by providing a box to check for interested participants on the online workshop registration form. We will also send a note to our participants' mailing lists reminding them that the funds are available and asking senior scientists to encourage their more junior colleagues to participate. All meeting participants are encouraged to submit abstracts for oral or poster presentations. The science organizing committee (see below) will base funding decisions on the relevance and quality of these abstracts, with preference given to under-represented populations (especially women and minorities) and to early career scientists being actively mentored at the meeting (e.g. students or postdocs attending the meeting with their advisor).

  10. 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

  11. 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

  12. 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

  13. 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)

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. System Advisor Model Includes Analysis of Hybrid CSP Option (Fact Sheet), NREL Highlights, Research & Development, NREL (National Renewable Energy Laboratory)

    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 RoomPreservationBio-Inspired Solar Fuel Production 1:PhysicsSyndicated Content andTransitionhas

  1. 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.

  2. 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)

  3. 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

  4. 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...

  5. 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

  6. 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.

  7. 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

  8. 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

  9. 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.

  10. 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.

  11. 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.

  12. 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.

  13. 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

  14. 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.

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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.

  16. 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)

  17. 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

  18. 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

  19. 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

  20. 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

  1. 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

  2. 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

  3. 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.

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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.

  17. 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

  18. 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

  19. 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

  20. 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

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. PRESENTATION TO THE SCIENCE ADVISOR

    E-Print Network [OSTI]

    Rathbun, Julie A.

    1547 APOLLO 15 SOLAR WIND SPECTROMETER · MON ITORED LM IMPACT · TWO INSTRUMENTS NOW IN OPERATION. WILL STUDY: · MOTION OF ION CLOUDS OVER MOON'S SURFACE · INTERACTION OF SOLAR WIND IONS WITH EARTH'S MAGNETIC. WILL STUDY: -SOLAR WIND PROTONS AND ELECTRONS AND DIRECTION OF IMPINGEMENT ON LUNAR SURFACE - DEFLECTION

  13. ULTRANS BOARD OF ADVISORS Biographies

    E-Print Network [OSTI]

    California at Davis, University of

    as a Caltrans District 5 Director (Central Coast) and at headquarters where he served as Deputy Director issues. His efforts resulted in influencing new policy development that balances California's Climate Change, energy, public health and "green" initiatives within the broader context of economic vitality. Mr

  14. MATHEMATICS Lori Mueller | Undergraduate Advisor

    E-Print Network [OSTI]

    Deng, Bo

    to select from electives such as Introduction to Modern Algebra, Advanced Calculus, Elementary Analysis. In fact, the top 15 highest-earning college degrees have one thing in common­math skills. Employment/Minor/Secondary Major/Pre-Professional/Science 3 Total Hours 14 FIFTHSemester MATH 310: Intro to Modern Algebra 3 MATH

  15. Advisors Day 13 May 2015

    E-Print Network [OSTI]

    Molinari, Marc

    Economic Geography Drainage Basin Geomorphology Remote Sensing Cultural Geographies Quaternary Geomorphology Palaeoecology & Landscape Change Glaciers & Glaciation River Basin Management Aeolian Processes exchange opportunities #12;19/05/2015 4 Fieldwork BA Geography BSc Geography Southampton-New Forest Paris

  16. 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.

  17. 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.

  18. 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.

  19. 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.

  20. 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

  1. 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-,

  2. 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.

  3. 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

  4. 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.

  5. 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.

  6. 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.

  7. 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

  8. 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.

  9. 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].

  10. 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.

  11. ENES 489P Project Template Your ENES 489P project should begin with a concise problem statement and follow

    E-Print Network [OSTI]

    Austin, Mark

    . Simplified Models of System Behavior Create activity diagrams and sequence with a concise problem statement and follow the system development procedure implied: Students: ISR Advisor: Industry/Government Advisor(s): (if applicable). Project

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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, 

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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