National Library of Energy BETA

Sample records for abstract unavailable authors

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

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

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

  4. SIAM conference on applications of dynamical systems. Abstracts and author index

    SciTech Connect (OSTI)

    Not Available

    1992-12-31

    A conference (Oct.15--19, 1992, Snowbird, Utah; sponsored by SIAM (Society for Industrial and Applied Mathematics) Activity Group on Dynamical Systems) was held that highlighted recent developments in applied dynamical systems. The main lectures and minisymposia covered theory about chaotic motion, applications in high energy physics and heart fibrillations, turbulent motion, Henon map and attractor, integrable problems in classical physics, pattern formation in chemical reactions, etc. The conference fostered an exchange between mathematicians working on theoretical issues of modern dynamical systems and applied scientists. This two-part document contains abstracts, conference program, and an author index.

  5. Westinghouse Reactor Protection System Unavailability, 1984--1995

    SciTech Connect (OSTI)

    Eide, Steven Arvid; Calley, Michael Brennan; Gentillon, Cynthia Ann; Wierman, Thomas Edward; Rasmuson, D.; Marksberry, D.

    1999-08-01

    An analysis was performed of the safety-related performance of the reactor protection system (RPS) at U. S. Westinghouse commercial reactors during the period 1984 through 1995. RPS operational data were collected from the Nuclear Plant Reliability Data System and Licensee Event Reports. A risk-based analysis was performed on the data to estimate the observed unavailability of the RPS, based on a fault tree model of the system. Results were compared with existing unavailability estimates from Individual Plant Examinations and other reports.

  6. Westinghouse Reactor Protection System Unavailability, 1984-1995

    SciTech Connect (OSTI)

    C. D. Gentillon; D. Marksberry (USNRC); D. Rasmuson; M. B. Calley; S. A. Eide; T. Wierman (INEEL)

    1999-08-01

    An analysis was performed of the safety-related performance of the reactor protection system (RPS) at U.S. Westinghouse commercial reactors during the period 1984 through 1995. RPS operational data were collected from the Nuclear Plant Reliability Data System and Licensee Event Reports. A risk-based analysis was performed on the data to estimate the observed unavailability of the RPS, based on a fault tree model of the system. Results were compared with existing unavailability estimates from Individual Plant Examinations and other reports.

  7. Quantifying the Impact of Unavailability in Cyber-Physical Environments

    SciTech Connect (OSTI)

    Aissa, Anis Ben; Abercrombie, Robert K; Sheldon, Federick T.; Mili, Ali

    2014-01-01

    The Supervisory Control and Data Acquisition (SCADA) system discussed in this work manages a distributed control network for the Tunisian Electric & Gas Utility. The network is dispersed over a large geographic area that monitors and controls the flow of electricity/gas from both remote and centralized locations. The availability of the SCADA system in this context is critical to ensuring the uninterrupted delivery of energy, including safety, security, continuity of operations and revenue. Such SCADA systems are the backbone of national critical cyber-physical infrastructures. Herein, we propose adapting the Mean Failure Cost (MFC) metric for quantifying the cost of unavailability. This new metric combines the classic availability formulation with MFC. The resulting metric, so-called Econometric Availability (EA), offers a computational basis to evaluate a system in terms of the gain/loss ($/hour of operation) that affects each stakeholder due to unavailability.

  8. 503 Service Temporarily Unavailable

    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.Theory of rare Kaonforsupernovae modelsearch this siteSearch Go! USU.S.Temporarily

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

  10. Network Abstractions:

    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 NewsInformationJessework usesofPublications TheScience4.21 4.43EnergyAuthor:

  11. Job Salary Prediction Anonymous Author(s)

    E-Print Network [OSTI]

    Freitas, Nando de

    050 051 052 053 Job Salary Prediction Anonymous Author(s) Affiliation Address email Abstract Kaggle based classifieds company, hosted a Kaggle competition with the goal of improving job salary pre- dictions for job postings in which the salary does not appear. Using various lin- ear models, random

  12. Title: Author(s):

    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 MunicipalTechnicalInformation FederatedInformationTITLE: AUTHOR(S)Patterns,(Journal A uttwr(s):

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

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

  15. Exploration and Development Techniques for Basin and Range Geothermal...

    Open Energy Info (EERE)

    Abstract Abstract unavailable. Authors David D. Blackwell, Mark Leidig, Richard P. Smith, Stuart D. Johnson and Kenneth W. Wisian Conference GRC Annual Meeting; Reno, NV;...

  16. Search Results Cite abstracts as Author(s) (2010), Title, Abstract xxxxx-xxxx presented at 2010 Fall

    E-Print Network [OSTI]

    Ng, Chung-Sang

    2010-01-01

    : SH31C-1809 Poster TI: High-Lundquist Number Scaling Analysis on the Parker's Model of Solar Coronal: [7509] SOLAR PHYSICS, ASTROPHYSICS, AND ASTRONOMY / Corona DE: [7524] SOLAR PHYSICS, ASTROPHYSICS, AND ASTRONOMY / Magnetic fields DE: [7526] SOLAR PHYSICS, ASTROPHYSICS, AND ASTRONOMY / Magnetic reconnection DE

  17. Multimedia Authoring III: Web Authoring

    E-Print Network [OSTI]

    Dahlquist, Kam D.

    Multimedia Authoring III: Web Authoring · Many multimedia applications today have a Web manifestation, whether it is the application itself or something about the application, like a DVD info Web site · The Web can "wrap" other types of content as well: Flash, audio, video · The Web provides technologies

  18. Abstract Submissions Authors are invited to submit 300 word abstracts for

    E-Print Network [OSTI]

    . Harik (USA) K. Harries (USA) A. Ilki (Turkey) T. Keller (Switzerland) J. Kim (USA) V. Kodur (USA) R (Switzerland) M. Motavalli (Switzerland) T. Mottram (UK) A. Mufti (Canada) A. Nanni (USA) K. Neale (Canada) J

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

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

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

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

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

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

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

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

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

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

  9. Author Select

    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 ofvarDOE PAGES11 PPPL-AtmosphericAuthor

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

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

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

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

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

  15. ABSTRACTS OF PAPERS PUBLISHED

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

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

  16. ABSTRACTS OF PAPERS PUBLISHED

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

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

  17. ABSTRACTS OF PAPERS PUBLISHED

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

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

  18. ABSTRACTS OF PAPERS PUBLISHED

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

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

  19. ABSTRACTS OF PAPERS PUBLISHED

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

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

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

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

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

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

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

  5. Epinephrine for Anaphylaxis: Underutilized and Unavailable

    E-Print Network [OSTI]

    Dudley, Larissa S.; Mansour, Madonna I.; Merlin, Mark A.

    2015-01-01

    commonly triggered by foods, medications, and insect stings.food reactions averaged 25-30 minutes, 10-15 minutes for insectfoods that cause respiratory symptoms, while anaphylaxis in the elderly manifests with cardiovascular symptoms, most often triggered by medications or insect

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  5. ABSTRACT

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

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

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

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

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

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

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

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

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

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

  14. Policy-Based Authorization William R. Cook

    E-Print Network [OSTI]

    Cook, William R.

    Page 1 Policy-Based Authorization William R. Cook Department of Computer Sciences University of Texas at Austin Abstract This paper discusses policy-based authorization, an effective intermediate point between MAC and DAC that promises to combine the best features of both models. Policy

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

  16. Manuscript Preprint "NOTICE: this is the author's version of a work that was accepted for publication in

    E-Print Network [OSTI]

    Berggren, Karl K.

    Massachusetts Avenue, Cambridge, MA 02139. * Corresponding author: berggren@mit.edu Abstract: We demonstrated

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

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

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

  1. Selected translated abstracts of Russian-language climate-change publications, III aerosols: Issue 164

    SciTech Connect (OSTI)

    Razuvaev, V.N.; Ssivachok, S.G. [All-Russian Research Inst. of Hydrometeorological Information-World Data Center, Obninsk (Russian Federation)

    1995-10-01

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

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

  3. Selected translated abstracts of Russian-language climate-change publications: II, Clouds. Issue 159

    SciTech Connect (OSTI)

    Burtis, M.D.

    1994-01-01

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

  4. Selected translated abstracts of Russian-language climate-change publications: I, Surface energy budget

    SciTech Connect (OSTI)

    Burtis, M.D.

    1992-09-01

    This report presents abstracts (translated into English) of important Russian-language literature concerning the surface energy budget as it relates to climate change. In addition to the bibliographic citations and abstracts translated into English, this report presents the original citations and abstracts in Russian. Author and title indexes are included, to assist the reader in locating abstracts of particular interest.

  5. Recycling Authorizations: Toward Secondary and Approximate Authorizations Model

    E-Print Network [OSTI]

    of matching best suitable approximate authorizations. 1 Introduction Although, every authorization decision

  6. Storage Operators and Directed Lambda-Calculus Author(s): Rene David and Karim Nour

    E-Print Network [OSTI]

    Nour, Karim

    Storage Operators and Directed Lambda-Calculus Author(s): Rene David and Karim Nour Source, December 1995 STORAGE OPERATORS AND DIRECTED LAMBDA-CALCULUS RENE DAVID AND KARIM NOUR Abstract. Storage. With this calculus we get an equivalent-and simple-definition of the storage operators that allows to show some

  7. Natural and Experimental Boudinage and Pinch-and-Swell Structures Author(s): Hans Ramberg

    E-Print Network [OSTI]

    Lee, Cin-Ty Aeolus

    Natural and Experimental Boudinage and Pinch-and-Swell Structures Author(s): Hans Ramberg Source, and build upon a wide range of content in a trusted digital archive. We use information technology and tools BOUDINAGE AND PINCH-AND-SWELL STRUCTURES1 HANS RAMBERG University of Chicago ABSTRACT Examples of boudinage

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

  9. OKLAHOMA STATE UNIVERSITY MEDICAL AUTHORITY

    E-Print Network [OSTI]

    Veiga, Pedro Manuel Barbosa

    OKLAHOMA STATE UNIVERSITY MEDICAL AUTHORITY June 30, 2010 #12;OKLAHOMA STATE UNIVERSITY MEDICAL Authority Members Oklahoma State University Medical Authority Tulsa, Oklahoma We have audited the accompanying statements of financial position of the Oklahoma State University Medical Authority (the

  10. OKLAHOMA STATE UNIVERSITY MEDICAL AUTHORITY

    E-Print Network [OSTI]

    Veiga, Pedro Manuel Barbosa

    OKLAHOMA STATE UNIVERSITY MEDICAL AUTHORITY June 30, 2009 #12;OKLAHOMA STATE UNIVERSITY MEDICAL Authority Members Oklahoma State University Medical Authority Tulsa, Oklahoma We have audited the accompanying statements of financial position of the Oklahoma State University Medical Authority (the

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

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

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

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

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

  16. Work Authorization System

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2005-04-21

    To establish a work authorization and control process for work performed by designated site and facility management contractors, and other contractors as determined by the procurement executive, consistent with the budget execution and program evaluation requirements of the Department of Energy's (DOE's) Planning, Programming, Budgeting, and Evaluation process. Cancels DOE O 412.1.

  17. Work Authorization System

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2005-04-21

    To establish a work authorization and control process for work performed by designated site and facility management contractors, and other contractors as determined by the procurement executive, consistent with the budget execution and program evaluation requirements of the Department of Energy's Planning, Programming, Budgeting, and Evaluation process. Admin Chg 1, dated 5-21-2014, cancels DOE O 412.1A.

  18. Work Authorization System

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    1999-04-20

    It establishes a work authorization and control process for work performed by designated management and operating (M&O), management and integrating (M&I), environmental restoration management contracts (ERMC) and other contracts determined by the Procurement Executive (hereafter referred to as M&O contractors). Cancels DOE O 5700.7C. Canceled by DOE O 412.1A.

  19. Organizational Evaluation and Authority 

    E-Print Network [OSTI]

    Scott, Richard W.; Dornbusch, Sanford M.; Busching, Bruce C.; Laing, James D.

    2015-07-21

    condition for internal pressures for change in the authority system--in short, for instability of the system. Both conception and theory are limited in scope to organizations which fulfill these conditions: 1) Organizational sanctions are distributed..., at least in part, on the basis of evaluations made of participants. 2) Evaluators who influence the distribution of organizational sanctions attempt to base their evaluations, at least in part, on the performance of organizational tasks by participants...

  20. Advanced light source: Compendium of user abstracts and technical reports,1993-1996

    SciTech Connect (OSTI)

    None, None

    1997-04-01

    This compendium contains abstracts written by users summarizing research completed or in progress from 1993-1996, ALS technical reports describing ongoing efforts related to improvement in machine operations and research and development projects, and information on ALS beamlines planned through 1998. Two tables of contents organize the user abstracts by beamline and by area of research, and an author index makes abstracts accessible by author and by principal investigator. Technical details for each beamline including whom to contact for additional information can be found in the beamline information section. Separate abstracts have been indexed into the database for contributions to this compendium.

  1. A Subject-Delegated Decryption Scheme with "Tightly" Limited Authority

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    A Subject-Delegated Decryption Scheme with "Tightly" Limited Authority Lihua Wang1 , Takeshi@cs.tsukuba.ac.jp Abstract. In this paper, we present a new proxy cryptosystem named subject-delegated decryption scheme subjects. The advantage of our scheme is that the proxy authorities are tightly limited ("Tightly" Limited

  2. 2008 The Authors Journal Compilation 2008 Blackwell Publishing Ltd

    E-Print Network [OSTI]

    Troch, Peter

    © 2008 The Authors Journal Compilation © 2008 Blackwell Publishing Ltd Geography Compass 2 (2008 and Water Resources, University of Arizona Abstract Predictions of hydrologic system response to natural some threshold #12;2 Landscape heterogeneity and hydrological theory © 2008 The Authors Geography

  3. Bayesian Algorithmic Mechanism Design [Extended Abstract

    E-Print Network [OSTI]

    Hartline, Jason D.

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

  4. Geophysical Research Abstracts Vol. 12, EGU2010-4777-1, 2010

    E-Print Network [OSTI]

    Boyer, Edmond

    Geophysical Research Abstracts Vol. 12, EGU2010-4777-1, 2010 EGU General Assembly 2010 © Author" River and the damage caused can create routes for floods. Geophysical methods such as Multi

  5. Abstract --Securing a Grid environment presents a distinctive set of challenges. This paper groups the activities

    E-Print Network [OSTI]

    Thompson, Mary R.

    1 Abstract -- Securing a Grid environment presents a distinctive set of challenges. This paper the security requirements of Grids more completely. Index Terms -- Grid security, authentication, authorization, trust management, secure communication, security policy I. INTRODUCTION The goal of Grid Computing

  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. Inhibition of Photosynthesis in Some Algae by Extreme-Red Light Author(s): Eugene Rabinowitch, Govindjee, Jan B. Thomas

    E-Print Network [OSTI]

    Govindjee

    Inhibition of Photosynthesis in Some Algae by Extreme-Red Light Author(s): Eugene Rabinowitch://www.jstor.org #12;Inhibition of Photosynthesis in Some Algae by Extreme"Red Light Abstract. Photosynthesis produced by far-red light (about 700 m,b) is reversibly inhibited in some algae by extreme-red light ( 750 m

  9. Species Diversity of Seed-Eating Desert Rodents in Sand Dune Habitats Author(s): James H. Brown

    E-Print Network [OSTI]

    Brown, James H.

    Species Diversity of Seed-Eating Desert Rodents in Sand Dune Habitats Author(s): James H. Brown DIVERSITY OF SEED-EATING DESERT RODENTS IN SAND DUNE HABITATS' JAMES H. BROWN Department of Biology, University of Utah, Salt Lake City 84112 Abstract.The seed-eatingrodent faunas were sampled on 18 dunes

  10. Logical Attestation: An Authorization Architecture

    E-Print Network [OSTI]

    Schneider, Fred B.

    , Credentials-Based Authorization 1. Introduction Secure coprocessors, such as industry standard Trusted

  11. State authorization manual. Volume 1

    SciTech Connect (OSTI)

    Brugler-Jones, S.

    1990-10-01

    The State Authorization Manual (SAM) (Vol. I) provides guidance for States applying for program revisions to their authorized RCRA State program. The SAM is an updated version of the 1988 State Consolidated RCRA Authorization Manual (SCRAM). It focuses on program revision applications rather than initial applications since most States have received initial authorization for the RCRA program. The SCRAM should continue to be used to assist States not yet authorized under the RCRA program.

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

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

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

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

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

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

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

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

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

  2. Unavailable Data Sources in Mediator Based Applications Philippe Bonnet

    E-Print Network [OSTI]

    Tomasic, Anthony

    information system a mediator accesses data sources located in the di erent services to provide doctors a network of public and private institutions a mediator accesses the data sources located in each in the application. New data sources are needed due to the evolution of the hospital information system: services

  3. Proceedings of the international conference on nuclear physics, August 24-30, 1980, Berkeley, California. Volume 1. Abstracts. [Berkeley, California, August 24-30, 1980 (abstracts only)

    SciTech Connect (OSTI)

    Not Available

    1980-01-01

    This volume contains all abstracts (931) received by the conference organizers before June 20, 1980. The abstracts are grouped according to the following topics: nucleon-nucleon interactions, free and in nuclei; distribution of matter, charge, and magnetism; exotic nuclei and exotic probes; giant resonances and other high-lying excitations; applications of nuclear science; nuclei with large angular momentum and deformation; heavy-ion reactions and relaxation phenomena; new techniques and instruments; pion absorption and scattering by nuclei; and miscellaneous. Some of these one-page abstracts contain data. A complete author index is provided. (RWR)

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

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

  6. Multiple Sclerosis Journal The Author(s) 2013

    E-Print Network [OSTI]

    Gaser, Christian

    Multiple Sclerosis Journal 0(0) 1­8 © The Author(s) 2013 Reprints and permissions: sagepub.co.uk/journalsPermissions.nav DOI: 10.1177/1352458513478673 msj.sagepub.com MULTIPLE SCLEROSIS MSJ JOURNAL Introduction (MRIs) are the most striking finding in multiple sclerosis (MS) and they have become the most important

  7. Predicting Job Salaries from Text Descriptions Anonymous Author(s)

    E-Print Network [OSTI]

    Freitas, Nando de

    050 051 052 053 Predicting Job Salaries from Text Descriptions Anonymous Author(s) Affiliation Address descriptions of the posted jobs. Many listings provide a salary, but as many as half do not. For those listings that do not provide a salary, it is useful to predict a salary based on the description of that job. We

  8. FAQ for Case Study Authors

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

    Reviews FAQ for Case Study Authors Science Engagement Move your data Programs & Workshops Science Requirements Reviews Network Requirements Reviews Documents and Background...

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

  10. Author's personal copy Cosmogenic 7

    E-Print Network [OSTI]

    Usoskin, Ilya G.

    Author's personal copy Cosmogenic 7 Be and 22 Na in Finland: Production, observed periodicities a Radiation and Nuclear Safety Authority, Regional Laboratory in Northern Finland, Rovaniemi, Finland b Sodankyl¨a Geophysical Observatory, Oulu Unit, University of Oulu, Finland c Ioffe Physical

  11. Waste Management Coordinating Lead Authors

    E-Print Network [OSTI]

    Columbia University

    10 Waste Management Coordinating Lead Authors: Jean Bogner (USA) Lead Authors: Mohammed Abdelrafie Ahmed, C. Diaz, A. Faaij, Q. Gao, S. Hashimoto, K. Mareckova, R. Pipatti, T. Zhang, Waste Management University Press, Cambridge, United Kingdom and New York, NY, USA. #12;586 Waste Management Chapter 10 Table

  12. Author'sProof Dear Author/Editor,

    E-Print Network [OSTI]

    New Hampshire, University of

    of the chapter that will be visualized online Book Title Marine Renewable Energy Technology and Environmental Organization University of Bergen Address 5020, 7803 Bergen, Norway Abstract Marine renewable energy conversion. In case there were no abstracts for this book submitted with the manuscript, the first 10-15 lines

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

  14. Virtual Sensors: Abstracting Data from Physical Sensors

    E-Print Network [OSTI]

    Julien, Christine

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

  15. Goldschmidt Conference Abstracts 2005 Mineral Surface Reactivity

    E-Print Network [OSTI]

    Sparks, Donald L.

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

  16. Static single information form for abstract compilation

    E-Print Network [OSTI]

    Robbiano, Lorenzo

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

  17. Natural radiation environment III. [Lead Abstract

    SciTech Connect (OSTI)

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

    1980-01-01

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

  18. Market User Interface Design [Extended Abstract

    E-Print Network [OSTI]

    Chen, Yiling

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

  19. AbstractThe satellite-borne

    E-Print Network [OSTI]

    Kansas, University of

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

  20. Abstract interpretation from a denotational semantics

    E-Print Network [OSTI]

    Schmidt, David A.

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

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

  2. Stone Age Distributed Computing (Extended Abstract)

    E-Print Network [OSTI]

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

  3. Abstract polymer models with general pair interactions

    E-Print Network [OSTI]

    Aldo Procacci

    2008-11-26

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

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

  5. Authority and Review Chart Exhibit A R = REVIEW A = AUTHORITY

    E-Print Network [OSTI]

    Zhou, Yuanyuan

    Authority and Review Chart Exhibit A R = REVIEW A = AUTHORITY ¹ OFF-SCALE NOT HANDLED PER POLICY Chancellor Academic Affairs ASST PROF (LRF, In Residence, Clinical X) Appointment R R R³ R R R R R4 R A Merit/ Reappointment A A³ R A R A Merit with off-scale salary increase R R³ R R R R R A Merit with 6th Year Market os

  6. 1990 fuel cell seminar: Program and abstracts

    SciTech Connect (OSTI)

    Not Available

    1990-12-31

    This volume contains author prepared short resumes of the presentations at the 1990 Fuel Cell Seminar held November 25-28, 1990 in Phoenix, Arizona. Contained herein are 134 short descriptions organized into topic areas entitled An Environmental Overview, Transportation Applications, Technology Advancements for Molten Carbonate Fuel Cells, Technology Advancements for Solid Fuel Cells, Component Technologies and Systems Analysis, Stationary Power Applications, Marine and Space Applications, Technology Advancements for Acid Type Fuel Cells, and Technology Advancement for Solid Oxide Fuel Cells.

  7. AUTHORITY

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergyTher i n c i p a l De p u t y A s sconveyance of9,Septemeber 19, 2014

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

  9. Collaborative Authoring of Walden's Paths 

    E-Print Network [OSTI]

    Li, Yuanling

    2012-10-19

    The World Wide Web contains rich collections of digital materials that can be used in education and learning settings. The collaborative authoring prototype of Walden's Paths targets two groups of users: educators and ...

  10. Author Order and Research Quality

    E-Print Network [OSTI]

    Kissan, Joseph; Laband, David N.; Patil, Vivek

    2005-01-01

    We observe a great deal of heterogeneity in the manner in which author orderings are assigned both across and within academic markets. To better understand this phenomenon, we develop and analyze a stochastic model of ...

  11. Danish Energy Authority Final report

    E-Print Network [OSTI]

    1 Danish Energy Authority Final report Kaliningrad Regional District Heating Network 2004 - 2006 2006 #12;Kaliningrad District Heating Network Project 2004 - 2006 2 Table of content The report........................................................................................................... 7 1.4.1 District heating in the Region

  12. Retrofitting the Tennessee Valley Authority

    E-Print Network [OSTI]

    Zeiber, Kristen (Kristen Ann)

    2013-01-01

    As the flagship of the New Deal, the Tennessee Valley Authority (TVA) was a triumph of regional and environmental design that has since fallen on hard times. When writer James Agee toured the region in 1935, he described ...

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

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

  15. Author's personal copy GPU based real-time instrument tracking

    E-Print Network [OSTI]

    Author's personal copy GPU based real-time instrument tracking with three-dimensional ultrasound q April 2007; accepted 4 June 2007 Available online 5 July 2007 Abstract Real-time three-dimensional ultrasound enables new intracardiac surgical procedures, but the distorted appearance of instruments

  16. * Corresponding author address: Jrg Schweizer, WSL Institute for Snow and

    E-Print Network [OSTI]

    Jamieson, Bruce

    ___________________ * Corresponding author address: Jürg Schweizer, WSL Institute for Snow Institute for Snow and Avalanche Research SLF, Davos, Switzerland 2 Department of Geological Sciences of Calgary, Calgary AB, Canada ABSTRACT: The release of a dry-snow slab avalanche is preceded by a series

  17. Author's personal copy Protein folding: Then and now

    E-Print Network [OSTI]

    Dokholyan, Nikolay V.

    Author's personal copy Review Protein folding: Then and now Yiwen Chen 1 , Feng Ding 1 , Huifen Nie Available online 8 June 2007 Abstract Over the past three decades the protein folding field has undergone monumental changes. Originally a purely academic question, how a protein folds has now become vital

  18. Tamper-Evident Digital Signatures: Protecting Certification Authorities Against Malware

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Tamper-Evident Digital Signatures: Protecting Certification Authorities Against Malware Jong Youl of Informatics, Indiana University at Bloomington, IN 47406 Abstract. We introduce the notion of tamper schemes tamper-evident since any deviation from the protocol is immediately detectable. We demonstrate our

  19. An Export Architecture for a Multimedia Authoring Environment

    E-Print Network [OSTI]

    Joseph Fourier Grenoble-I, Université

    An Export Architecture for a Multimedia Authoring Environment Jan Mikác INRIA RhôneAlpes 655 04 60 leducbao@gmail.com ABSTRACT In this paper, we propose an export architecture that provides, Standardization. Keywords Export, multimedia document, publishing format, SMIL, Timesheets 1. INTRODUCTION

  20. Enhancing Clustering Blog Documents by Utilizing Author/Reader Comments

    E-Print Network [OSTI]

    Zhang, Jun

    Enhancing Clustering Blog Documents by Utilizing Author/Reader Comments Beibei Li Department)257-3892 jzhang@cs.uky.edu ABSTRACT Blogs are a new form of internet phenomenon and a vast ever- increasing information resource. Mining blog files for information is a very new research direction in data mining. We

  1. authors here 1 Computational Mechanism Design page 4

    E-Print Network [OSTI]

    Chen, Yiling

    Title Here Edited by authors here #12;#12;Contents 1 Computational Mechanism Design page 4 3 #12;1 COMPUTATIONAL MECHANISM DESIGN Abstract Computational mechanism design brings together the concern in microeco.1 Introduction Mechanism design (MD) is a sub-field of microeconomics and game the- ory which considers how

  2. 6. Fracture mechanics lead author: J, R. Rice

    E-Print Network [OSTI]

    6. Fracture mechanics lead author: J, R. Rice Division of Applied Sciences, Harvard University. F. Shih, and the ASME/AMD Technical Committee on Fracture Mechanics, pro- vided by A. S. Argon, S. N, W. D. Stuart, and R. Thomson. 6.0 ABSTRACT Fracture mechanics is an active research field

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

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

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

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

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

  8. Regulatory and technical reports (abstract index journal): Annual compilation for 1997. Volume 22, Number 4

    SciTech Connect (OSTI)

    1998-04-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  9. University of Alberta Improving AI Planning and Search with Automatic Abstraction

    E-Print Network [OSTI]

    Botea, Adi

    University of Alberta Improving AI Planning and Search with Automatic Abstraction by Adi Botea of the requirements for the degree of Doctor of Philosophy. Department of Computing Science Edmonton, Alberta Spring 2006 #12;University of Alberta Library Release Form Name of Author: Adi Botea Title of Thesis

  10. Extended Abstract: Constructing Area-Proportional Venn and Euler Diagrams with Three Circles

    E-Print Network [OSTI]

    Kent, University of

    Extended Abstract: Constructing Area-Proportional Venn and Euler Diagrams with Three Circles to their respective populations; such diagrams are referred to as area-proportional [1] and are intended to enhance readability. In [1], the authors describe an algorithm for constructing area-proportional 3-Venn diagrams

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

  12. Interference Mitigation in Femtocell Network Using Anonymous Author(s)

    E-Print Network [OSTI]

    Freitas, Nando de

    the power adaptation process of the FUEs and MUE to be a discrete multi agent Markov decision problem 050 051 052 053 Interference Mitigation in Femtocell Network Using Q-learning Anonymous Author problems is the so-called co-tier and cross-tier interference caused by the new femtocell network layer

  13. KLab Abstracts http://vision.rutgers.edu/ Authors: Bremmer F, Kubischik M, Hoffmann K-P, Krekelberg B

    E-Print Network [OSTI]

    Krekelberg, Bart

    of saccade-onset. This magnification of the responsive region could account for the behaviorally observed

  14. Please make sure that your abstract does not exceed one column, and complies with the Instructions to Authors

    E-Print Network [OSTI]

    Andersen, Anja C.

    Maries Vej 30, DK-2100 Copenhagen, Denmark (anja@astro.ku.dk) Presolar nano-diamonds isolated from. Various mechanisms have been proposed to account for the production of diamond grains in space constants of the material by fitting with Lorentzian oscillators. Electron energy loss spectroscopy results

  15. n errla lona Guest Author -

    E-Print Network [OSTI]

    F R p · Fiber Remforced Plastics n errla lona·········· Guest Author - Dr. Aftab Mufti. P-Stengthening Using Prestressed Carbon Fiber Sheets In recent years, researthers at EMfA Duhendorl, Switzerland, have been working extensively on ~.I ,trengtllening reinforced concrete member.; u,mg lillht· weight carbon

  16. Designated Responsible Authority (DRA) Training

    E-Print Network [OSTI]

    Minnesota, University of

    · The role of Designated Responsible Authority (DRA) is defined in the Using Vehicles for University Business policy. · The head of each University department with permanently assigned vehicles must appoint. Be familiar with the policies and related documents governing the use of University vehicles, and direct

  17. JOURNAL AUTHORS SURVEY Prepared by

    E-Print Network [OSTI]

    Stevenson, Paul

    JISC/OSI JOURNAL AUTHORS SURVEY Report Prepared by Key Perspectives Ltd 48 Old Coach Road, Playing behind its development 4 2.2 Models and definitions of open access 8 2.2.1 Open access journals 8 2 4.1 Respondent profiles 18 4.2 Awareness of open access journals 18 4.2.1 Extent and longevity

  18. Danish Energy Authority Project Document

    E-Print Network [OSTI]

    for larger existing buildings subject to major renovation 4. Energy performance certification (energyDanish Energy Authority Project Document Implementation of the EU directive on the energy performance of buildings: Development of the Latvian Scheme for energy auditing of buildings and inspection

  19. Danish Energy Authority Final Report

    E-Print Network [OSTI]

    on the energy performance for larger existing buildings subject to major renovation 4. Energy performanceDanish Energy Authority Final Report Implementation of the EU directive on the energy performance of buildings: Development of the Latvian Scheme for energy auditing of buildings and inspection of boilers

  20. With Compliments of the Author

    E-Print Network [OSTI]

    Zhang, Meirong

    Operators and Matrices With Compliments of the Author OaM-08-50 889­899 Zagreb, Croatia Volume 8, Croatia. All correspondence and subscription orders should be addressed to the Editorial Office: www, Croatia Fax: +385 1 6008799 The content of this publication is indexed in Mathematical Reviews (Math

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

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

  3. North Carolina DOT's Experience with Fiber Reinforced Polymers Authors: Rodger D. Rochelle

    E-Print Network [OSTI]

    North Carolina DOT's Experience with Fiber Reinforced Polymers Authors: Rodger D. Rochelle Gichuru Muchane Sami H. Rizkalla Janos Gergely #12;ABSTRACT This paper discusses North Carolina Department Research Engineer, Research and Development Unit, North Carolina Department of Transportation, 1549 Mail

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

  5. Central Characterization Program (CCP) Transuranic Authorized...

    Office of Environmental Management (EM)

    Authorized Methods for Payload Control Central Characterization Program (CCP) Transuranic Authorized Methods for Payload Control This document was used to determine facts and...

  6. Energy Department Authorizes Corpus Christi Liquefaction Project...

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

    Authorizes Corpus Christi Liquefaction Project to Export Liquefied Natural Gas Energy Department Authorizes Corpus Christi Liquefaction Project to Export Liquefied Natural Gas May...

  7. Peoria Tribe: Housing Authority- 2010 Project

    Broader source: Energy.gov [DOE]

    The Housing Authority of the Peoria Tribe of Indians of Oklahoma (Peoria Housing Authority or PHA) will conduct the "PHA Weatherization Training Project."

  8. Obama Administration Announces Billions in Lending Authority...

    Energy Savers [EERE]

    Billions in Lending Authority for Renewable Energy Projects and to Modernize the Grid Obama Administration Announces Billions in Lending Authority for Renewable Energy Projects and...

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

  10. Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud

    E-Print Network [OSTI]

    Cortes, Corinna

    Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud Arnar,ataly,mvrable,mzero}@google.com Abstract--Controlled sharing is fundamental to distributed systems; yet, on the Web, and in the Cloud introduces macaroons: flexible authorization cre- dentials for Cloud services that support decentralized

  11. Regulatory and technical reports (abstract index journal): Annual compilation for 1994. Volume 19, Number 4

    SciTech Connect (OSTI)

    1995-03-01

    This compilation consists of bibliographic data and abstracts for the formal regulatory and technical reports issued by the US Nuclear Regulatory Commission (NRC) Staff and its contractors. It is NRC`s intention to publish this compilation quarterly and to cumulate it annually. The main citations and abstracts in this compilation are listed in NUREG number order. These precede the following indexes: secondary report number index, personal author index, subject index, NRC originating organization index (staff reports), NRC originating organization index (international agreements), NRC contract sponsor index (contractor reports), contractor index, international organization index, and licensed facility index. A detailed explanation of the entries precedes each index.

  12. For more than half a century, the Ministry of Water, the Dodoma Urban Water Supply and Sewerage Authority (DUWASA) and the Tanzania

    E-Print Network [OSTI]

    Jones, Peter JS

    Authority (DUWASA) and the Tanzania Meteorological Agency have been monitoring groundwater abstraction, groundwater levels, and rainfall in central Tanzania at the Makutapora Wellfield (Figure 1

  13. Flexible Visual Authoring Using Operation History

    E-Print Network [OSTI]

    Su, Sara

    Flexible Visual Authoring Using Operation History Sara Su Massachusetts Institute of Technology l Revisiting history Storing and retrieving state Hierarchical authoring Grouping, structure, selections #12;Operations and selections today Uses of history System activity logs, instrumentation (not our focus

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

  15. GM-Ford-Chrysler: Allocating Loan Authority

    Broader source: Energy.gov [DOE]

    Statement from GM, Ford, and Chrysler: "Allocating the $25 Billion in Direct Loan Authority to Loan Applicants"

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

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

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

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

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

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

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

  3. State authorization manual. Volume 2. Appendices

    SciTech Connect (OSTI)

    Brugler-Jones, S.

    1990-10-01

    The document provides the supportive appendices for Volume 1 of the State Authorization Manual (SAM), which provides guidance for States applying for program revisions to their authorized RCRA State program. Among the appendices are: various program checklists, lists of revision checklists by cluster, model Federal Register Notices, guidance for State Authorization Files, and guidance for using Wordperfect files and for CFR files.

  4. Regulatory and technical reports (abstract index journal): Compilation for first quarter 1996, January--March. Volume 21, Number 1

    SciTech Connect (OSTI)

    1996-06-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, proceedings of conferences and workshops, grants, and international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  5. Regulatory and technical reports (abstract index journal). Volume 20, No. 1: First quarterly January--March 1995

    SciTech Connect (OSTI)

    1995-07-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  6. Regulatory and technical reports: Abstract index journal. Volume 20, No. 3, Compilation for third quarter 1995, July--September

    SciTech Connect (OSTI)

    1996-01-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  7. Regulatory and technical reports (abstract index journal), Compilation for third quarter 1993, July--September. Volume 18, No. 3

    SciTech Connect (OSTI)

    Not Available

    1993-11-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, proceedings of conferences and workshops, grants, and international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  8. Regulatory and technical reports (abstract index journal): Compilation for second quarter 1997 April--June. Volume 22, Number 2

    SciTech Connect (OSTI)

    1997-10-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  9. Department of Radiation Oncology 2013 ASTRO Abstracts Accepted for Presentation

    E-Print Network [OSTI]

    Weber, David J.

    -ic and Symptomatic Seroma Formation Author Block: Huma E. Chaudhry1,5, Alexandra L. Hanlon2, Susan B. Kesmodel3 of Worldwide Proton Beam Therapy Clinical Trials Author Block: Mark V. Mishra, MD, William Regine, MD, Minesh Kwok MD, Alexandra Hanlon Ph.D; Randi Cohen MD, MS. Selected for Poster Viewing during the ASTRO 2013

  10. Geophysical Research Abstracts, Vol. 10, EGU2008-A-10672, 2008

    E-Print Network [OSTI]

    Belousov, Alexander

    volcano on January 8, 1933 with the volume 0.4 km3. The failure generated tsunami up to 20 m high with 2-10672 EGU General Assembly 2008 © Author(s) 2008 Large scale failures and debris avalanche deposits volumes of the failures - around 1 km3. Three largest 3 to 4 km-across scars (which were formed

  11. Standing Delegations of Authority as at 1 December 2014 1 STANDING DELEGATIONS OF AUTHORITY

    E-Print Network [OSTI]

    University of Technology, Sydney

    Standing Delegations of Authority as at 1 December 2014 1 STANDING DELEGATIONS OF AUTHORITY 1 the Delegation Principles outlined on pages 5 and 6. Any questions about the interpretation of the Standing Delegations of Authority, suggestions for amendment of the Standing Delegations of Authority and requests

  12. Plastic Phenotypic Response to Light of 16 Congeneric Shrubs from a Panamanian Rainforest Author(s): Fernando Valladares, S. Joseph Wright, Eloisa Lasso, Kaoru Kitajima, Robert W.

    E-Print Network [OSTI]

    Saleska, Scott

    Plastic Phenotypic Response to Light of 16 Congeneric Shrubs from a Panamanian Rainforest Author, 81(7), 2000, pp. 1925-1936 ? 2000 by the Ecological Society of America PLASTIC PHENOTYPIC RESPONSE of California, Davis, California 95616 USA Abstract. The comparative phenotypic plasticity of 16 species

  13. Citation classics and top-cited authors of psoriasis in five high-impact general medical journals, 1970-2012

    E-Print Network [OSTI]

    Choi, Young M; Nakatomi, Dilan; Wu, Jashin J

    2014-01-01

    top-cited authors of psoriasis in five high-impact general323) 783-1629 Abstract Psoriasis is a relevant topic forthe search term of “psoriasis” in five high-impact general

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

  15. National Training and Education Resource Advanced Authoring Training

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

    Advanced Authoring Training Participant Guide NTER Advanced Authoring Training Participant Guide (032012 pw) 2 Contents OBJECTIVES ......

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

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

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

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

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

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

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

  3. Montana Water Quality Permit Application, Nondegradation Authorization...

    Open Energy Info (EERE)

    Montana Water Quality Permit Application, Nondegradation Authorization, and Permit Fees Jump to: navigation, search OpenEI Reference LibraryAdd to library PermittingRegulatory...

  4. Authorization basis for the 209-E Building

    SciTech Connect (OSTI)

    TIFFANY, M.S.

    1999-02-23

    This Authorization Basis document is one of three documents that constitute the Authorization Basis for the 209-E Building. Per the U.S. Department of Energy, Richland Operations Office (RL) letter 98-WSD-074, this document, the 209-E Building Preliminary Hazards Analysis (WHC-SD-WM-TI-789), and the 209-E Building Safety Evaluation Report (97-WSD-074) constitute the Authorization Basis for the 209-E Building. This Authorization Basis and the associated controls and safety programs will remain in place until safety documentation addressing deactivation of the 209-E Building is developed by the contractor and approved by RL.

  5. Oregon Underground Injection Control Program Authorized Injection...

    Open Energy Info (EERE)

    Systems Webpage Jump to: navigation, search OpenEI Reference LibraryAdd to library Web Site: Oregon Underground Injection Control Program Authorized Injection Systems Webpage...

  6. Coordination of Federal Authorizations for Electric Transmission...

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

    rulemaking and opportunity for comment on the coordination of federal authorizations for electric transmission facilities, September 19, 2008 Coordination of Federal...

  7. Disposal Authorization Statement | Department of Energy

    Office of Environmental Management (EM)

    DAS requirements ensure the facility does not pose a threat to human health and the environment, defines the authorization for the design, construction, operation,...

  8. Stockroom Authorization Department of Chemistry & Biochemistry

    E-Print Network [OSTI]

    Morgan, Stephen L.

    Stockroom Authorization Department of Chemistry & Biochemistry University of South Carolina, GSRC supplies from the Dept. of Chemistry & Biochemistry Stockroom must bring with them this completed pre

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  5. Danish Energy Authority Poland -Electricity and gas

    E-Print Network [OSTI]

    Danish Energy Authority Poland - Electricity and gas market development study and practical guidelines for using EU Funds Electricity sector analyses December 2004 #12;Danish Energy Authority Poland - Electricity and gas market development study and practical guidelines for using EU Funds Electricity sector

  6. Financial Policy Manual 2107 ACCOUNTING AUTHORITY & RESPONSIBILITY

    E-Print Network [OSTI]

    George, Edward I.

    Financial Policy Manual Page 1 2107 ACCOUNTING AUTHORITY & RESPONSIBILITY Effective: December 1986: Research Services PURPOSE To assign authority and responsibility for the accounting for sponsored projects must be separately accounted for per the terms of the award An advance account may be established prior

  7. Using the Web for Name Authority Work

    E-Print Network [OSTI]

    Whittaker, Beth M.; Spillane, Jodi Lynn

    2001-01-01

    While many catalogers are using the Web to find the information they need to perform authority work quickly and accurately, the full potential of the Web to assist catalogers in name authority work has yet to be realized. The ever-growing nature...

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

  9. PP-22 British Columbia Hydro and Power Authority, Amendment 1967...

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

    PP-22 British Columbia Hydro and Power Authority, Amendment 1967 PP-22 British Columbia Hydro and Power Authority, Amendment 1967 Presidential permit authorizing British Columbia...

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

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

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

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

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

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

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

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

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

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

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

  1. The Lichens of Aton Forest, Connecticut Author(s): Mason E. Hale, Jr.

    E-Print Network [OSTI]

    LeTourneau, Peter M.

    The Lichens of Aton Forest, Connecticut Author(s): Mason E. Hale, Jr. Source: The Bryologist, Vol OF ATON FOREST THE LICHENS OF ATON FOREST, CONNECTICUT MASONE. HALE, JR. INTRODUCTION During the summer, CONNECTICUT MASONE. HALE, JR. INTRODUCTION During the summer of 1949 the author studied the lichens of Aton

  2. Delegation as Officially Designated Federal Security Authority...

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

    Status: Current Effective Date: Sep 27, 2012 Re-delegation Allowed: No Authorities: DOE O 473.3 Related History Related to: DOE O 473.3, Protection Program Operations There...

  3. Safety Management Functions, Responsibilities, and Authorities Manual

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2003-12-31

    This Manual defines safety management functions, responsibilities, and authorities for DOE senior management with responsibilities for line, support, oversight, and enforcement actions. Cancels DOE M 411.1-1B. Canceled by DOE O 450.2.

  4. Safety Management Functions, Responsibilities, and Authorities Manual

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    1997-10-08

    This Manual defines safety management functions, responsibilities, and authorities for DOE senior management with responsibilities for line, support, oversight, and enforcement actions. Canceled by DOE M 411.1-1A. Does not cancel other directives.

  5. Shared Authority Concerns in Automated Driving Applications

    E-Print Network [OSTI]

    Cummings, M.L.

    2014-05-13

    Given the move toward driverless cars, which includes the more short-term goal of driving assistance, what the appropriate shared authority and interaction paradigms should be between human drivers and the automation remains ...

  6. LASER TRANSFER DOPING USING AMORPHOUS SILICON Rafel Ferr (Correspondence author)1

    E-Print Network [OSTI]

    LASER TRANSFER DOPING USING AMORPHOUS SILICON Rafel Ferré (Correspondence author)1 , Ralf Gogolin1@isfh.de ABSTRACT: We demonstrate and characterize "Laser Transfer Doping" (LTD) for producing locally doped regions. For this purpose we use nanosecond pulsed laser for transferring phosphorus doped amorphous silicon from a carrier

  7. Author's personal copy Evaluation of methods for sorting CCA-treated wood

    E-Print Network [OSTI]

    Florida, University of

    Author's personal copy Evaluation of methods for sorting CCA-treated wood Gary Jacobi a , Helena September 2006 Available online 2 January 2007 Abstract Construction and demolition (C&D) wood frequently contains treated wood including wood treated with chromated copper arsenate (CCA). Many recycling options

  8. Louisiana Coastal Area (LCA) Ecosystem Restoration, LA Six Conditionally Authorized Projects

    E-Print Network [OSTI]

    US Army Corps of Engineers

    Louisiana Coastal Area (LCA) Ecosystem Restoration, LA Six Conditionally Authorized Projects 27 August 2010 Abstract: In 2004, USACE completed the Louisiana Coastal Area (LCA) Near-Term Report measures are needed to sustain coastal ecosystems, the LCA Near-Term Report was developed to identify cost

  9. Author / Computing, 2000, Vol. 0, Issue 0, 1-2 Digital Storytelling in Africa

    E-Print Network [OSTI]

    Blake, Edwin

    Author / Computing, 2000, Vol. 0, Issue 0, 1-2 1 Digital Storytelling in Africa Gary Marsden1 Science, University of Cape Town, South Africa, gaz@acm.org, http://www.cs.uct.ac.za/ 2) Meraka Institute of the CSIR, Pretoria, South Africa, nic.bidwell@gmail.com, http://www.meraka.org.za/ Abstract: In this paper

  10. Author's personal copy Canopy disturbance and tree recruitment over two centuries

    E-Print Network [OSTI]

    Pederson, Neil

    , particularly reconstructing disturbance size, shape, frequency, and severity, is fundamental for developmentAuthor's personal copy Canopy disturbance and tree recruitment over two centuries in a managed 2007 Abstract Disturbance history was reconstructed across an 11300 ha managed longleaf pine (Pinus

  11. BAAP: A Behavioral Animation Authoring Platform for Emotion Driven 3D Virtual Characters

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    BAAP: A Behavioral Animation Authoring Platform for Emotion Driven 3D Virtual Characters Ling Li1 and practical in generating intelligent and emotional behavioral animations. Keywords: virtual character edwin.song@intel.com Abstract. Emotion, as an important aspect of human intelligence, has been playing

  12. Safety Management Functions, Responsibilities, and Authorities

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2001-05-22

    This Manual provides the responsibilities of Headquarters and field element offices required by DOE P 411.1, Safety Management Functions, Responsibilities and Authorities Policy, dated 1-28-97. It also contains detailed requirements to supplement the policy's direction for each DOE organization having safety management functions to establish and maintain separate documentation of their responsibilities and authorities. Cancels DOE M 411.1-1A. Canceled by DOE M 411.1-1C.

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

  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. PsycINFO user guide citations summaries abstracts

    E-Print Network [OSTI]

    Hodges, Kevin

    the period you wish to search. #12;2 PsycINFO user guide September 2002 Enter your search term or terms) will search all of the records for your search term. If you want to limit your search to an author or a title search, select from the drop down button alongside "Find Terms" (marked below). Find Terms: Anyw here

  16. Risk Assessment in Distributed Authorization Peter Chapin

    E-Print Network [OSTI]

    Wang, Xiaoyang "Sean"

    of Vermont pchapin@cs.uvm.edu Christian Skalka Department of Computer Science University of Vermont skalka@cs.uvm.edu X. Sean Wang Department of Computer Science University of Vermont xywang@cs.uvm.edu ABSTRACT

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  6. State authority in an expanded territorial sea 

    E-Print Network [OSTI]

    Fulbright, Michael Gene

    1977-01-01

    . , University of West Florida Chairman of Advisory Committee: John L. Seymour The purpose of this thesis was to examine what types of state authority would extend to an expanded area of the territorial sea. This thesis first exa- mines the historical... miles ioso 82 facto for any Gulf State. State boundaries were to be determined by the historic action taken with respect to them jointly by Congress and the state itself. The authors of the SLA intended that such joint action wou~M fix the states...

  7. Risk Management for Distributed Authorization Christian Skalka

    E-Print Network [OSTI]

    Wang, Xiaoyang "Sean"

    Risk Management for Distributed Authorization Christian Skalka University of Vermont X. Sean Wang assess risk, but risk in trust management is usually an informal consideration. In this paper, we de trust management systems treat all assertions as equally valid up to certificate authentication

  8. Energy Resources and Convening Lead Author (CLA)

    E-Print Network [OSTI]

    Power S.p.A., Italy) S.C. Bhattacharya (International Energy Initiative, India) Maurice B. Dusseault (University of Waterloo, Canada) Luc Gagnon (HydroQuébec, Canada) Helmut Haberl (Klagenfurt University Leoben,Austria) Vladimir Yakushev (Gazprom, Russia) Contributing Authors (CA) Doug J. Arent (National

  9. WEAPONS ON CAMPUS Authority: Chief of Police

    E-Print Network [OSTI]

    Scharf, Fred

    05.501 WEAPONS ON CAMPUS Authority: Chief of Police History: Established September 14, 2006 Source of weapons on UNCW property. II. Policy A. The University of North Carolina system of campuses is classified be unlawful for any person to possess the following weapons on UNCW property: 1. Dynamite cartridge, bomb

  10. Guide to Authors About the Journal

    E-Print Network [OSTI]

    Loss, Daniel

    nature physics Guide to Authors About the Journal Aims and scope of the journal Nature Physics. The journal content reflects core physics disciplines, but is also open to a broad range of topics whose to experiment, also features. Research areas covered in the journal include: · Quantum physics · Atomic

  11. Page 1 of 1 Author Query Form

    E-Print Network [OSTI]

    Utsunomiya, Satoshi

    ;A/Author phone: C;A/Title C;A/Department Department of Nuclear Engineering and Radiological Sciences C 48109-2104 C;A/Country U.S.A. C;A/Title C;A/Department Department of Nuclear Engineering, and Nuclear Engineering and Radiological Science C;A/Institution University of Michigan C;A/Street Address

  12. COMPARING THE VANCOUVER INTERNATIONAL AIRPORT AUTHORITY'S

    E-Print Network [OSTI]

    prescribed authorities to conduct environmental impact assessments (EIAs) of projects carried out on federal environmental management. The International Association for Impact Assessment's (IAIA) Principles for EIA Best if the proposed CEAA regulations come into force. Keywords: Environmental impact assessment; best practice

  13. Web Information Retrieval Author Preprint for Web

    E-Print Network [OSTI]

    Hawking, David

    indexes is often called `the hidden web', `the deep web', or `web dark matter' (Bailey et al., 2000). 2Web Information Retrieval Author Preprint for Web Nick Craswell and David Hawking 18 April 2009 1 Introduction This chapter outlines some distinctive characteristics of web information re- trieval, starting

  14. Authorization in Trust Management: Features and Foundations

    E-Print Network [OSTI]

    Wang, Xiaoyang "Sean"

    Authorization in Trust Management: Features and Foundations Peter C. Chapin University of Vermont and Christian Skalka University of Vermont and X. Sean Wang University of Vermont Trust management systems' addresses: Peter Chapin, University of Vermont, Department of Computer Science, Burlington, VT 05405

  15. Intuitive Ontology Authoring using Controlled Natural Language

    E-Print Network [OSTI]

    Dimitrova, Vania

    in accordance with the requirements for the degree of Doctor of Philosophy University of Leeds School. 246-264. This paper was mostly written by me, and reviewed and improved by the other authors. ©2013 University of Leeds and Ronald Denaux #12;to... domain experts, I suppose. #12;Acknowledgements My

  16. Reconsidering Authority Scientific Expertise, Bounded Rationality,

    E-Print Network [OSTI]

    Strevens, Michael

    , perhaps, but disastrous for us, living in this world in which almost all information about anything sources; rather, we should give it special treatment, keeping track of it even after we have extracted of that authority. I will search for a semiformal model of epistemic backtracking, a model formal enough

  17. The Evolution of Science Museums Author(s): Silvio A. Bedini

    E-Print Network [OSTI]

    Short, Daniel

    University Press on behalf of the Society for the History of Technology Stable URL: http@jstor.org. . Society for the History of Technology and The Johns Hopkins University Press are collaborating with JSTORThe Evolution of Science Museums Author(s): Silvio A. Bedini Reviewed work(s): Source: Technology

  18. Deriving Morality from Politics: Rethinking the Formula of Humanity Author(s): Japa Pallikkathayil

    E-Print Network [OSTI]

    Machery, Edouard

    Deriving Morality from Politics: Rethinking the Formula of Humanity Author(s): Japa Pallikkathayil-1704/2010/12101-0001$10.00 116 Deriving Morality from Politics: Rethinking the Formula of Humanity* Japa Pallikkathayil Kant's Formula of Humanity famously forbids treating others merely as a means. It is unclear, however, what

  19. Rainbow Trout Production in Dystrophic Lakes Author(s): Waldo E. Johnson and Arthur D. Hasler

    E-Print Network [OSTI]

    Notre Dame, University of

    Rainbow Trout Production in Dystrophic Lakes Author(s): Waldo E. Johnson and Arthur D. Hasler://www.jstor.org #12;RAINBOW TROUT PRODUCTION IN DYSTROPHIC LAKES1 Waldo E. Johnson and Arthur D. Hasler Department, and it is well known that these small lakes contribute very little to the sport fishery of this area

  20. Carbon Dioxide Evolution from the Floor of Three Minnesota Forests Author(s): W. A. Reiners

    E-Print Network [OSTI]

    Thomas, David D.

    Carbon Dioxide Evolution from the Floor of Three Minnesota Forests Author(s): W. A. Reiners and extend access to Ecology. http://www.jstor.org #12;Late Spring 1968 CARBON DIOXIDE EVOLUTION RATES 471. Germination behavior of some halc- phytes. Bull. Res. Council Israel (D) 6: 187-188. CARBON DIOXIDE EVOLUTION

  1. Buy Coal! A Case for Supply-Side Environmental Policy Author(s): Brd Harstad

    E-Print Network [OSTI]

    Stølen, Ketil

    Buy Coal! A Case for Supply-Side Environmental Policy Author(s): Bård Harstad Reviewed work by The University of Chicago. All rights reserved. 0022-3808/2012/12001-0003$10.00 Buy Coal! A Case for Supply, world prices change and nonpartici- pants typically emit more; they may also extract the dirtiest type

  2. Journal of Philosophy, Inc. Author(s): Alan Ross Anderson and Nuel D. Belnap, Jr.

    E-Print Network [OSTI]

    Belnap, Nuel

    Journal of Philosophy, Inc. Enthymemes Author(s): Alan Ross Anderson and Nuel D. Belnap, Jr. Source: The Journal of Philosophy, Vol. 58, No. 23, American Philosophical Association Eastern Division Fifty: Journal of Philosophy, Inc. Stable URL: http://www.jstor.org/stable/2023169 Accessed: 28/05/2009 15

  3. Multivariate Analysis of Drosophila Courtship Author(s): Therese A. Markow and Stephen J. Hanson

    E-Print Network [OSTI]

    Markow, Therese

    Multivariate Analysis of Drosophila Courtship Author(s): Therese A. Markow and Stephen J. Hanson.Natl.Acad.Sci.USA Vol. 78, No. 1, pp. 430-434, January1981 Genetics Multivariate analysis of Drosophila (sequential%). Potential ap- plications of this multivariate analysis to investigations of neuro- biological

  4. Natural Selection and Culture Author(s): Peter J. Richerson and Robert Boyd

    E-Print Network [OSTI]

    Richerson, Peter J.

    Natural Selection and Culture Author(s): Peter J. Richerson and Robert Boyd Source: BioScience, Vol indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info the discovery and use of these resources. For more information about JSTOR, please contact support

  5. A. E. K.Ris Ris-M-Dl^ Title and author(s)

    E-Print Network [OSTI]

    A. E. K.Risø Risø-M-Dl^ Title and author(s) Application of Statistical Linear El -it:tic Fracture illustrations Date October 1 -}? $ Department or group R e a c t o r Group's own registration number(s) 25 crack, same time and ated as statisti- ty functions, tial cracks, f failure prob- program utilizing ce

  6. On Stress and Linguistic Rhythm Author(s): Mark Liberman and Alan Prince

    E-Print Network [OSTI]

    Pennsylvania, University of

    On Stress and Linguistic Rhythm Author(s): Mark Liberman and Alan Prince Source: Linguistic Inquiry-336. Mark Liberman, On Stress and Linguistic Alan Prince Rhythm* 0. Prospectus In this essay a new theory to JSTOR Terms and Conditions #12;250 MARK LIBERMAN AND ALAN PRINCE patternsof stress in termsof

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

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

  9. (c)2001 American Institute of Aeronautics & Astronautics or Published with Permission of Author(s) and/or Author(s)' Sponsoring Organization. AIAA 2001-2842

    E-Print Network [OSTI]

    Mohseni, Kamran

    Streets Kamran Mohseni Division of Engineering and Applied Science California Institute of Technology-81, California Institute of Technology. mohseniOcds.caltech.edu ABSTRACT Periodic vortex streets, often-dimensional Euler equations. Similar to the vortex ring pinch-off process it is spec- ulated

  10. Author Index Abezgauz, Ludmila P1

    E-Print Network [OSTI]

    Martin, Jan M.L.

    Author Index Abezgauz, Ludmila P1 Abu-Reziq, Raed S1b3 Abutbul, Inbal P130 Adadi, Racheli P2 Addadi, Lia S2c5, P67, P123, P129, P159, P182 Adler, Michal P69 Afri, Michal P3, P26, P38 Agmon, Noam P131 Aharoni, Anna P4 Aharonov, Yakir P106 Akiva, Udi S4c1 Albeck, Amnon S1c5, P5 Albu-Yaron, Ana P210

  11. Evaluating the Web Hubs and Authorities

    E-Print Network [OSTI]

    Ullman, Jeffrey D.

    1 Evaluating the Web PageRank Hubs and Authorities #12;2 PageRank Intuition: solve the recursive = the principal eigenvector of the stochastic matrix of the Web. A few fixups needed. #12;3 Stochastic Matrix of the Web Enumerate pages. Page i corresponds to row and column i. M [i,j ] = 1/n if page j links to n pages

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

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

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

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

  16. Contact-Handled Transuranic Waste Authorized Methods for Payload...

    Office of Environmental Management (EM)

    Contact-Handled Transuranic Waste Authorized Methods for Payload Control (CH TRAMPAC) Contact-Handled Transuranic Waste Authorized Methods for Payload Control (CH TRAMPAC) This...

  17. Energy Department Authorizes Dominion Cove Point LNG to Export...

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

    Energy Department Authorizes Dominion Cove Point LNG to Export Liquefied Natural Gas Energy Department Authorizes Dominion Cove Point LNG to Export Liquefied Natural Gas May 7,...

  18. Energy Department Authorizes Freeport LNG to Export Liquefied...

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

    Department Authorizes Freeport LNG to Export Liquefied Natural Gas Energy Department Authorizes Freeport LNG to Export Liquefied Natural Gas November 14, 2014 - 2:00pm Addthis News...

  19. Energy Department Authorizes Second Proposed Facility to Export...

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

    Energy Department Authorizes Second Proposed Facility to Export Liquefied Natural Gas Energy Department Authorizes Second Proposed Facility to Export Liquefied Natural Gas May 17,...

  20. Energy Department Authorizes Emera CNG, LLC's Application to...

    Office of Environmental Management (EM)

    Authorizes Emera CNG, LLC's Application to Export Compressed Natural Gas Energy Department Authorizes Emera CNG, LLC's Application to Export Compressed Natural Gas October 19, 2015...

  1. Orders Granting Natural Gas, LNG & CNG Authorizations Issued...

    Office of Environmental Management (EM)

    Orders Granting Natural Gas, LNG & CNG Authorizations Issued in 2014 Orders Granting Natural Gas, LNG & CNG Authorizations Issued in 2014 Order 3378 - Encana Natural Gas Inc. Order...

  2. Project Reports for Peoria Tribe: Housing Authority- 2010 Project

    Office of Energy Efficiency and Renewable Energy (EERE)

    The Housing Authority of the Peoria Tribe of Indians of Oklahoma (Peoria Housing Authority or PHA) will conduct the "PHA Weatherization Training Project."

  3. Presidential Permits and Export Authorizations - About the Program...

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

    transmission lines which cross the U.S. international border; and 2.Authorizing exports of electric energy to foreign countries. The authority to grant Presidential permits...

  4. POLICY GUIDANCE MEMORANDUM #09A Direct Hire Authority for Acquisition...

    Office of Environmental Management (EM)

    09A Direct Hire Authority for Acquisition Positions (Expired) POLICY GUIDANCE MEMORANDUM 09A Direct Hire Authority for Acquisition Positions (Expired) THIS GUIDANCE HAS EXPIRED...

  5. POLICY GUIDANCE MEMORANDUM #02 Using Schedule A Hiring Authority...

    Office of Environmental Management (EM)

    02 Using Schedule A Hiring Authority for ARRA Positions (Expired) POLICY GUIDANCE MEMORANDUM 02 Using Schedule A Hiring Authority for ARRA Positions (Expired) THIS GUIDANCE HAS...

  6. Santa Clara Valley Transportation Authority and San Mateo County...

    Energy Savers [EERE]

    Santa Clara Valley Transportation Authority and San Mateo County Transit District -- Fuel Cell Transit Buses: Evaluation Results Santa Clara Valley Transportation Authority and San...

  7. Cooperation Among Balancing Authorities Offers Greater Use of...

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

    Cooperation Among Balancing Authorities Offers Greater Use of Renewable Energy with Lower Integration Costs Cooperation Among Balancing Authorities Offers Greater Use of Renewable...

  8. Abstract. Hart and Mas-Colell [2000] show that if all players play ``regret-matching'' strategies, i.e., they play with probabilities proportional to the

    E-Print Network [OSTI]

    Hart, Sergiu

    Abstract. Hart and Mas-Colell [2000] show that if all players play ``regret- matching'' strategies introduced in Hart and Mas-Colell [2001]. In particular, these simplify the ``conditional smooth fictitious. y The author thanks Professor Sergiu Hart for his help and guidance, and the Associate Editor

  9. Part 17, Authors: U To Wyville 

    E-Print Network [OSTI]

    Humphrey, Judith M.; Hassall, Albert; Doss, Mildred A.

    1952-01-01

    of MASTER OF SCIENCE Approved by: Chair of Committee, Amy Epps Martin Committee Members, Robert L Lytton Charles J Glover Head of Department, John Niedzwecki August 2012 Major Subject: Civil Engineering iii ABSTRACT Validation... of Surface Performance-Graded Specification For Surface Treatment Binders. (August 2012) Aishwarya Vijaykumar, B.Tech., Jawaharlal Nehru Technological University Chair of Advisory Committee: Dr. Amy Epps Martin The design and selection of surface...

  10. A. E. K. Ris Ris-M-GHZ Title and authors)

    E-Print Network [OSTI]

    A. E. K. Risø Risø-M-GHZ r» I Gto Title and authors) Users Manual for the PWR-PLASIM Model by P. la of the PWR power plant model PWR-PLASIM described in Risø Report No. 318. It should serve as a users guide Reactor Technology Group's own registration numbers) PWR-1-7 5 Copies to Abstract to #12;ISBN 87 550 0302

  11. Author-produced version of the article published in Water Research, 2014, 56 (1), 156-161. The original publication is available at http://www.sciencedirect.com/ doi: 10.1016/j.watres.2014.02.048.

    E-Print Network [OSTI]

    Author-produced version of the article published in Water Research, 2014, 56 (1), 156,version1-1Sep2014 Author manuscript, published in "Water Research 56, 1 (2014) p. 156 - p. 161" #12;Author-produced Montoldre, France6 Abstract7 This study investigated the partially irreversible effect of thermal treatment

  12. Long Island Power Authority | 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 NewTexas:Montezuma, Arizona:Oregon: EnergyLloyd, NewBranch Capital Jump to:Authority Jump to:

  13. Lower Colorado River Authority | 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 NewTexas:Montezuma, Arizona:Oregon:Lowell Point, Alaska: Energy ResourcesAuthority Jump to:

  14. Municipal Electric Authority | 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 Jump to: navigation,Mereg GmbHMontebalitoMt Princeton HotMultilagosAuthority

  15. Tennessee Valley Authority (Kentucky) | 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 BatterySolarfinMarketMemberI PLLCsourceValley Authority (Kentucky)

  16. Bolivar Energy Authority | 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 JEnvironmental JumpInformationBio-GasIllinois:Energy Authority Jump to: navigation, search

  17. Property:Author | 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 APPENDIXsourceII JumpQuarterly SmartDB-2,Information PromotingProperty EditAuthor Jump to:

  18. Property:Authority | 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 APPENDIXsourceII JumpQuarterly SmartDB-2,Information PromotingProperty EditAuthor Jump

  19. Property:File/Author | 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 JEnvironmental Jump to: navigation,Property Edit withExplorationTimePerMetricProperty EditAuthor

  20. Technology Partnership Ombudsman - Roles, Responsibilities, Authorities and

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OF APPLICABLEStatutory Authority J-I- 1May 20062012

  1. NercEnergy, Author at Nercenergy

    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 NewsInformationJessework usesofPublications TheScience4.21 4.43EnergyAuthor: NercEnergy

  2. Electronic Prehospital Records are Often Unavailable for Emergency Department Medical Decision Making

    E-Print Network [OSTI]

    Bledsoe, Bryan E; Wasden, Chad; Johnson, Larry

    2013-01-01

    of Emergency Physicians (ACEP) email lists. As a result,of Emergency Physicians (ACEP). The study was limited to

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

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

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

  6. MULTIPLE AUTHORIZATION A Model and Architecture for Increased, Practical Security

    E-Print Network [OSTI]

    ]. Contraction-Minimal triangulations are called minimal or irreducible triangu- lations by various authors. 1

  7. Logical Attestation: An Authorization Architecture for Trustworthy Computing

    E-Print Network [OSTI]

    Sirer, Emin Gun

    system. Key words: simulation, interactive storytelling, story authoring 1 Introduction Storytelling

  8. Motor Fleet Request/Authorization Page 1 UNCW Travel System

    E-Print Network [OSTI]

    Olszewski Jr., Edward A.

    Motor Fleet Request/Authorization Page 1 UNCW Travel System Motor Fleet Request/Travel Authorization ENTER THE MOTOR FLEET REQUEST IN THE TRANSPORTATION SECTION OF THE TRAVEL AUTHORIZATION. PRESS CLICK TO ADD AND SELECT MOTOR FLEET FROM THE DROP-DOWN BOX. #12;Motor Fleet Request/Authorization Page 2

  9. 168 Hinweise fr die Autoren Instructions to Authors

    E-Print Network [OSTI]

    Wien, Universität

    in SMALL CAPITALS: SINGER (1964), KÜHNER & ROMAGNESI (1975), when more than two authors: SMITH & al. (1982

  10. Authorized limits for Fernald copper ingots

    SciTech Connect (OSTI)

    Frink, N.; Kamboj, S.; Hensley, J.; Chen, S. Y.

    1997-09-01

    This development document contains data and analysis to support the approval of authorized limits for the unrestricted release of 59 t of copper ingots containing residual radioactive material from the U.S. Department of Energy (DOE) Fernald Environmental Management Project (FEMP). The analysis presented in this document comply with the requirements of DOE Order 5400.5, {open_quotes}Radiation Protection of the Public and the Environment,{close_quotes} as well as the requirements of the proposed promulgation of this order as 10 CFR Part 834. The document was developed following the step-by-step process described in the Draft Handbook for Controlling Release for Reuse or Recycle Property Containing Residual Radioactive Material.

  11. TITLE: AUTHOR(S) SUBMITTED TO: Mm EVOLUTIO:l C: S!LICIC

    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 MunicipalTechnicalInformation FederatedInformationTITLE: AUTHOR(S) SUBMITTED TO: Mm EVOLUTIO:l

  12. Abstracts of Phase 1 awards, (fiscal year) 1987

    SciTech Connect (OSTI)

    Not Available

    1987-01-01

    Contained in this booklet are abstracts of the Phase I awards made in Fiscal Year 1987 under the Small Business Innovation Research (SBIR) program in the Department of Energy (DOE). The program is designed for implementation in a three-phase process, with Phase I determining the scientific or technical merit and feasibility of ideas proposed for investigation. The period of performance in this initial phase is relatively brief, typically about 6 months, and the awards are limited to $50,000. Phase II is the principal research or research and development effort, and the awards are as high as $500,000 for work to be performed in periods of up to 2 years. Phase III is the commercial application. The 111 Phase I projects described were selected in a highly competitive process from a total of 942 proposals received in response to the 1987 Solicitation. They cover the fields of chemistry, materials, control systems, plant natural products, instrumentation, nuclear medicine, health and environmental effects, high energy physics, particle accelerators, nuclear physics, plasma diagnostics and confinement, fusion energy systems, robotics and remote systems, nuclear reactors, space nuclear power, fuel cycle, decontamination/decommissioning, commputers in nuclear plants, coal, enhanced oil recovery/tar sands, fossil energy, photovoltaics, solar thermal, ceramics for heat engines, and industrial separation, conversion and recovery processes. (DLC)

  13. *Corresponding author, E-mail: ndelucca@nd.edu The Airborne Aero-Optics Laboratory, Recent Data

    E-Print Network [OSTI]

    Gordeyev, Stanislav

    *Corresponding author, E-mail: ndelucca@nd.edu The Airborne Aero-Optics Laboratory, Recent Data, Notre Dame, IN USA 46556 ABSTRACT In this paper recent in-flight aero-optical measurements on the Airborne Aero-Optics Laboratory (AAOL) will be given. Instrumentation and experimental set

  14. Nutrition and Cancer, 62(5), 567573 Authors' version Freeze-Dried Ham Promotes Azoxymethane-Induced

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Nutrition and Cancer, 62(5), 567­573 Authors' version Freeze-Dried Ham Promotes Azoxymethane, INRA, 180 Tournefeuille, F-31931 Toulouse, France Abstract Processed and red meat consumption with processed meat is higher. Most processed meats are cured and cooked, which leads to formation of free

  15. Composites Part A, 34, 979-986 (2003) Author prepared reprint Hygrothermal Aging of Polyimide Matrix Composite Laminates

    E-Print Network [OSTI]

    Nairn, John A.

    2003-01-01

    Composites Part A, 34, 979-986 (2003) Author prepared reprint Hygrothermal Aging of Polyimide of Utah, Salt Lake City, Utah 84112, USA ABSTRACT Two polyimide-matrix systems (Avimid R K3B/IM7 and PETI; accelerated test method; hygrothermal stability. Introduction Various types of polyimide-matrix composites

  16. This is a free offprint provided to the author by the publisher. Copyright restrictions may apply. Contemporary Mathematics

    E-Print Network [OSTI]

    Polyak, Roman A.

    for Non-Negative Least Square Roman A. Polyak Abstract. The projected gradient (PG) method was introduced) be the LS matrix and b Rm be the right-hand side. The non-negative least square (NNLS) problem consists to the author by the publisher. Copyright restrictions may apply. 168 ROMAN A. POLYAK (see, for example, [15

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

    SciTech Connect (OSTI)

    Hazen, Terry C.

    2009-03-01

    This contains abstracts from the 2009 Annual Environmental Remediation Sciences Program (ERSP) Principal Investigators (PI) Meeting. The ERSP seeks to advance fundamental science to understand, predict, and mitigate the impacts of environmental contamination from past nuclear weapons production and provide a scientific basis for the long-term stewardship of nuclear waste disposal. These ambitious goals cannot be achieved by any one project alone. Therefore, ERSP funds a combination of research programs at the DOE national laboratories, individual projects at universities and federal agencies, and large long(er)-term field site research. Integration of these activities to advance the ERSP goals is a constant challenge, but made significantly simpler by bringing together all funded ERSP researchers once a year to discuss the very latest research results. It is at these meetings where new ideas and/or scientific advancements in support of ERSP goals can be discussed and openly debated among all PIs in the program. The ERSP thrives, in part, on the new ideas, concepts, scientific connections, and collaborations generated as a result of these meetings. The annual PI Meeting is very much a working meeting with three major goals: (1) to provide opportunities for scientific interaction among the ERSP scientists, a critical element for the program; (2) to provide the ERSP program staff with an opportunity to evaluate the progress of each program and project; and (3) to showcase the ERSP to interested parties within DOE and within other federal agencies In addition to program managers from within OBER, there will be representatives from other offices within DOE and other federal agencies in attandance at the meeting.

  18. Telemetry as a Technique in the Study of Predation Author(s): L. David Mech

    E-Print Network [OSTI]

    Thomas, David D.

    in this regard by Marshall and Kupa (1963). These authors were able to locate four predator- killed grouse (Bonasa umbellus) and deter- mine the type of predation in three cases. Recently McEwen and Brown (1966 in a collar of dental acrylic (Mech et al. 1965). They were re- leased where captured. Movements

  19. Counterexample-Guided Abstraction Refinement for POND Planning Jonas Thiem and Robert Mattmuller and Manuela Ortlieb

    E-Print Network [OSTI]

    Teschner, Matthias

    Counterexample-Guided Abstraction Refinement for POND Planning Jonas Thiem and Robert Mattm to define abstractions (guar- anteeing over-approximations). A straightforward way for POND planning

  20. Authorization basis status report (miscellaneous TWRS facilities, tanks and components)

    SciTech Connect (OSTI)

    Stickney, R.G.

    1998-04-29

    This report presents the results of a systematic evaluation conducted to identify miscellaneous TWRS facilities, tanks and components with potential needed authorization basis upgrades. It provides the Authorization Basis upgrade plan for those miscellaneous TWRS facilities, tanks and components identified.

  1. National Defense Authorization Act for Fiscal Year 1993 (PL 102...

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

    National Defense Authorization Act for Fiscal Year 1993 (PL 102-484) National Defense Authorization Act for Fiscal Year 1993 (PL 102-484) Section 3162 of the National Defense...

  2. Authoring Large and Complex Hypertext with Reusable Components 

    E-Print Network [OSTI]

    Park, Yung Ah

    2011-10-21

    from Petri net theory to select, categorize, and modify existing net fragments as building blocks for composing larger networks. Authors may switch modes between visual and textual authoring at will, thus combining the strengths of expressing large nets...

  3. Children’s story authoring with Propp’s morphology 

    E-Print Network [OSTI]

    Hammond, Sean Paul

    2011-06-30

    This thesis applies concepts from Vladimir Propp’s model of the narrative structure of fairy tales (Propp’s morphology) to a story authoring tool for children. A computer story authoring application based on Propp’s ...

  4. A. b. K.Kis Ris-M-Ll^li Titie and author(s)

    E-Print Network [OSTI]

    51 01, ezt. 334, telex: 5072. Date Department or group Reactor Phj sies Group's own registration numbers) Copies to Abstract to #12;CONTENTS Page 1. Introduction 1 2. The Physical Principles of Flux Several reactor physics problems involve three-dimensional neutron flux calculations. The classical

  5. A. E. K. Ris Ris-M-[ 1U07 Title and author(s)

    E-Print Network [OSTI]

    -+- 7 illustrations Date Department or group Reactor Physics Department Group's own registration numbers) Abstract A method for treating heterogeneities in diffusion calculations for a reactor is de- scribed.2. Principles of the Monte Carlo Calculation ... 5 2.3. The Monte Carlo Program MOVAX 8 2.3.1. Data Input 8 2

  6. Copyright 2009 The Author(s) Journal compilation 2009 National Ground Water Association.

    E-Print Network [OSTI]

    Alvarez, Pedro J.

    and transport of higher ethanol content fuel blends. Likely release scenarios include E85 (85% ethanol; 15 Following a Release of Neat Ethanol onto Pre-existing NAPL by Brent P. Stafford, Natalie L. Cápiro, Pedro J.J. Alvarez, and William G. Rixey Abstract Neat ethanol (75.7 L) was released into the upper capillary zone

  7. Fort Pierce Utilities Authority- Solar Water Heating Rebate

    Office of Energy Efficiency and Renewable Energy (EERE)

    Note: Fort Pierce Utilities Authority has completed its rebate program for 2015. Check the website for updates.

  8. Author's personal copy Physica D 239 (2010) 15271541

    E-Print Network [OSTI]

    Froyland, Gary

    2010-01-01

    particles is completely determined Corresponding author. Tel.: +61 2 9385 7050; fax: +61 2 9385 7123. E

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

    SciTech Connect (OSTI)

    Hazen, Terry C.

    2007-03-14

    Welcome to the annual 2007 Environmental Remediation Sciences Program (ERSP) Principal Investigators (PIs) meeting. The purpose of this meeting is to bring together all of the lead PIs and key Co-PIs in the program to share and review the results of funded research from the past year. This meeting allows program managers from the Environmental Remediation Sciences Division (ERSD) within the Office of Biological and Environmental Research (OBER) to gauge the progress and significance of the funded research, and it is also an important venue to showcase ERSP research to interested parties within DOE and other invited federal agency representatives. Additionally, these meetings should serve as an opportunity for funded PIs to view their research in the context of the entire ERSP portfolio. Past ERSP meetings have been very important venues for detailed discussion of research results among PIs, development of new research ideas, fostering new collaborations and discussion with ERSD program managers on future research efforts and/or initiatives within the program. In short, these meetings are an important resource for both program managers and PIs. There will be only one ERSP PI meeting for 2007. In years past, ERSD has sponsored two PI meetings, one in the spring and a separate meeting in the fall that focused primarily on field research. However, this format tends to insulate laboratory-based research from the field research sponsored in the program and is incompatible with the ERSD view that laboratory-based research should progress towards understanding the relevant processes in natural environments at the field scale. Therefore the agenda for this year's PI meeting is well integrated with both lab-based and field-based projects, to allow for detailed discussion between PIs involved in each area. In the agenda, you will notice a more relaxed format than in years past. This year's meeting spans four days, but is less heavily regimented in terms of oral presentations and allows ample time for informal group discussions and poster presentations. The intent of this format is to foster informal discussion of research among PIs and ERSD program managers-discussion that is a hallmark of previous ERSD-sponsored meetings. Morning sessions will be dominated by oral presentations from PIs chosen by ERSD program managers to communicate key topics of research within the program. There is ample time during lunch and in the early afternoon for small group discussions/meetings prior to convening again in the later afternoon for oral presentations on field research conducted at the Integrated Field-Scale Subsurface Research Challenge sites (IFCs). Formal poster sessions begin after dinner. Abstracts for all poster presentations are listed within this meeting booklet. On behalf of the ERSD program managers and staff, we thank you for attending this year's PI meeting. We look forward to discussing the results of your research with you and your ideas for the future, and we hope that this meeting will continue as an important tradition for PIs in the program and serve as a valuable resource for your investigations.

  10. Legal Authority 1 Export Administration Regulations EARB 298 -October 2001

    E-Print Network [OSTI]

    Bernstein, Daniel

    Legal Authority 1 Export Administration Regulations EARB 298 - October 2001 Part I PRINCIPAL STATUTORY AUTHORITY FOR THE EXPORT ADMINISTRATION REGULATIONS #12;Legal Authority 2 1 The Act expired Presidential notices, continued in effect the provisions of the Export Administration Regulations. The Act

  11. 11th Topical conference high-temperature plasma diagnostics. Book of abstracts

    SciTech Connect (OSTI)

    1996-06-01

    This report contains abstracts from the 11th topical conference on high-temperature plasma diagnostics.

  12. "Title","Creator/Author","Publication Date","OSTI Identifier...

    Office of Scientific and Technical Information (OSTI)

    POLLUTANT EFFECTS ON LIVING ORGANISMS AND BIOLOGICAL MATERIALS; ENGINES; NOISE POLLUTION ABATEMENT; POLLUTION CONTROL EQUIPMENT; ELECTRIC GENERATORS",,"No abstract...

  13. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Materials Science Material Science topological insulators ultrafast spectroscopy graphene Material Science topological insulators ultrafast spectroscopy graphene Abstract Not...

  14. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Chertkov Michael Los Alamos National Laboratory Construction and Facility Engineering Energy Conservation Consumption Utilization Energy Planning Policy Economy Abstract Not...

  15. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Laboratory Carey James W Los Alamos National Laboratory Earth Sciences Energy Sciences Energy Conservation Consumption Utilization Environmental Sciences Geosciences Abstract...

  16. SciFinder Scholar (CAS Chemical Abstracts Service) O SciFinder Scholar, verso online do Chemical Abstracts, cobre as reas de

    E-Print Network [OSTI]

    Paraná, Universidade Federal do

    SciFinder Scholar (CAS Chemical Abstracts Service) O SciFinder Scholar, versão online do Chemical Abstracts, cobre as áreas de Química Orgânica, Química Inorgânica, Físicoquímica, Química Analítica, incluindo o GenBank. Chemical Reactions (1840-presente) 10 milhões de reações químicas. Substâncias Químicas

  17. RCRA (Resource Conservation and Recovery Act) final authorization guidance manual

    SciTech Connect (OSTI)

    Not Available

    1983-06-10

    The document provides guidance regarding final authorization of State Hazardous Waste programs for the pre-HSWA RCRA program. The manual establishes a process and schedule for State Authorization applications, and provides detailed guidance on what State programs must contain in order to qualify for final authorization. The primary audience is U.S. EPA Headquarters and Regional offices and also State agencies, but public requests have also been received so they are included in that broad audience.

  18. 16 USC 797a - Congressional Authorization for Projects Within...

    Open Energy Info (EERE)

    16 USC 797a - Congressional Authorization for Projects Within National Parks or Monuments Jump to: navigation, search OpenEI Reference LibraryAdd to library Legal Document-...

  19. "Title","Creator/Author","Publication Date","OSTI Identifier...

    Office of Scientific and Technical Information (OSTI)

    Valley Authority, Knoxville, TN (United States)","20 FOSSIL-FUELED POWER PLANTS; 32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATION; 42 ENGINEERING NOT INCLUDED IN OTHER...

  20. Control and Accountability of Nuclear Materials: Responsibilities and Authorities

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    1992-09-23

    The order prescribes the Department of Energy (DOE) policies, responsibilities, and authorities for control and accountability of nuclear materials. Cancels DOE O 5633.2.

  1. Oklahoma Municipal Power Authority- WISE Energy Efficiency Loan Program

    Broader source: Energy.gov [DOE]

    The Oklahoma Municipal Power Authority (OMPA) offers loans for a variety of measures and equipment through its WISE Loan Program. This program encourages residential and commercial customers to...

  2. National Defense Authorization Act for Fiscal Year 2000 § 3164...

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

    Scope: Section 3164 of the National Defense Authorization Act for Fiscal Year 2000 implements a whistleblower protection program to ensure that covered individuals may...

  3. Chapter VII Appendix D FEDERAL EMERGENCY AUTHORITIES AND POLICY...

    Office of Environmental Management (EM)

    Gasoline Supply Reserve, and provides for the presidentially directed drawdown of the reserves through the Secretary of Energy. It also authorizes the Secretary of Energy to...

  4. Applications for Change or Transfer of Control of Authorizations...

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

    Applicants for authorization to import or export natural gas, including liquefied natural gas (LNG), apply on behalf of a given entity, whose corporate structure and place of...

  5. Excepted Service Authorities for EJ and EK Pay Plans

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2012-03-30

    The order establishes requirements and responsibilities for the employment and compensation of individuals when using DOE excepted service authorities. Admin Chg 1 dated 6-20-12.

  6. Title 10 CFR 900 Coordination of Federal Authorizations for Electric...

    Open Energy Info (EERE)

    Title 10 CFR 900 Coordination of Federal Authorizations for Electric Transmission Facilities Jump to: navigation, search OpenEI Reference LibraryAdd to library Legal Document-...

  7. Kissimmee Utility Authority- Commercial Energy Efficiency Rebate Program

    Broader source: Energy.gov [DOE]

    Kissimmee Utility Authority (KUA) offers several rebates to commercial customers for energy efficiency improvements. Rebates are available for HVAC maintenance, heat pumps, duct leak repairs,...

  8. Acronyms A AAAP Accelerated Access Authorization Program ACREM...

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

    12 I IAA Interim Access Authorization ICAM Identity, Credential, and Access Management IEA Office of Independent Enterprise Assessments IG Inspector General IN Office of...

  9. Author's personal copy Large deformation and electrochemistry of polyelectrolyte gels

    E-Print Network [OSTI]

    Hong, Wei

    Author's personal copy Large deformation and electrochemistry of polyelectrolyte gels Wei Hong and electrochemistry. A specific material model is described, including the effects of stretching the network, mixing

  10. National Defense Authorization Act for Fiscal Year 2005, Information...

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

    Section 3116 from "National Defense Authorization Act for Fiscal Year 2005" (Public Law 108-375 Oct. 28 2004) Transition20082009EMAdditionalMaterialMACopy.pdf PUBLIC LAW...

  11. Oklahoma Municipal Power Authority- Commercial and Industrial Energy Efficiency Program

    Broader source: Energy.gov [DOE]

    The Oklahoma Municipal Power Authority (OMPA) offers the Demand and Energy Efficiency Program (DEEP) to eligible commercial, industrial, and municipal government customers served by OMPA. This...

  12. Energy Department Authorizes Additional Volume at Proposed Freeport...

    Energy Savers [EERE]

    Additional Volume at Proposed Freeport LNG Facility to Export Liquefied Natural Gas Energy Department Authorizes Additional Volume at Proposed Freeport LNG Facility to Export...

  13. Energy Department Authorizes Second Proposed Facility to Export...

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

    - The Energy Department announced today that it has conditionally authorized Freeport LNG Expansion, L.P. and FLNG Liquefaction, LLC (Freeport) to export domestically produced...

  14. Energy Department Authorizes American LNG Marketing LLC's Application...

    Energy Savers [EERE]

    American LNG Marketing LLC's Application to Export Liquefied Natural Gas Energy Department Authorizes American LNG Marketing LLC's Application to Export Liquefied Natural Gas...

  15. Energy Department Authorizes Alaska LNG Project, LLC to Export...

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

    Department announced today that it has issued a conditional authorization for the Alaska LNG Project, LLC (Alaska LNG) to export domestically produced liquefied natural gas (LNG)...

  16. Energy Department Authorizes Dominion's Proposed Cove Point Facility...

    Office of Environmental Management (EM)

    Department announced today that it has conditionally authorized Dominion Cove Point LNG, LP to export domestically produced liquefied natural gas (LNG) to countries that do...

  17. Energy Department Conditionally Authorizes Cameron LNG to Export...

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

    Cameron LNG to Export Liquefied Natural Gas Energy Department Conditionally Authorizes Cameron LNG to Export Liquefied Natural Gas February 11, 2014 - 11:15am Addthis WASHINGTON -...

  18. Energy Department Conditionally Authorizes Oregon LNG to Export...

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

    WASHINGTON - The Energy Department announced today that it has conditionally authorized LNG Development Co., LLC (Oregon LNG) to export domestically produced liquefied natural gas...

  19. DOE Replies Support NRC Commissioners and Authority to Withdraw...

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

    that the arguments that it lacked authority to withdraw the pending Yucca Mountain license application are uniformly without merit. DOE's reply brief is available here. In a...

  20. Notice of Termination for Authorization under TPDES General Permit...

    Open Energy Info (EERE)

    Termination for Authorization under TPDES General Permit (TXR150000) Jump to: navigation, search OpenEI Reference LibraryAdd to library Reference: Notice of Termination for...

  1. National Training and Education Resource Authoring Course Participant...

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

    adding questions to the pool as needed. Begin a glossary and continue adding terms to the glossary as needed. NTER Authoring Participant Guide (012012 pw) 10 LOGIN To...

  2. Listing of DOE/FE Authorizations Issued in 2015 | Department...

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

    Stabilis Energy Services LLC Modification to include Agency Rights Errata 3563 14-175-NG 010815 MPower Energy LLC Modification to increase requested authority Errata 3521...

  3. NMOCD - Form G-104 - Certificate of Compliance and Authorization...

    Open Energy Info (EERE)

    Resources Author State of New Mexico Energy and Minerals Department Published New Mexico Oil Conservation Division, 1978 DOI Not Provided Check for DOI availability: http:...

  4. Santa Clara Valley Transportation Authority and San Mateo County...

    Energy Savers [EERE]

    Santa Clara Valley Transportation Authority and San Mateo County Transit District Fuel Cell Transit Buses: Preliminary Evaluation Results vtaprelimevalresults.pdf More...

  5. Presidential Permits and Export Authorizations - About the Program...

    Office of Environmental Management (EM)

    electric energy to foreign countries. The authority to grant Presidential permits is derived from the constitutional power of the President to protect the territorial integrity...

  6. This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research

    E-Print Network [OSTI]

    Angell, C. Austen

    institution and sharing with colleagues. Other uses, including reproduction and distribution, or selling's personal copy Doped sulfone electrolytes for high voltage Li-ion cell applications Xiaoguang Sun, C. Austen unavailable as solvents for ambient temperature electrochemistry because of their high melting points

  7. Abstract submitted to the XXXIst International Conference on High Energy Physics

    E-Print Network [OSTI]

    , Amsterdam, The Netherlands Abstract: 000 Parallel Sessions: 0,0 One­ and two­dimensional Bose­Einstein correlations in DIS ZEUS Collaboration Abstract Measurements of Bose­Einstein correlations (BEC) in one and two

  8. Dual Coding Theory and Chinese: Recall of Concrete and Abstract Sentences in Chinese-English Bilinguals 

    E-Print Network [OSTI]

    Chen, Tsuei-Fen

    2010-10-12

    concreteness and abstractness on immediate recall. Forty Chinese-English bilinguals read and recalled five concrete sentences and five matched abstract sentences. Of the ten sentences, five were English, and five were Chinese. Due to the characteristics...

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

  10. Complete Abstract Interpretations made Constructive Roberto Giacobazzi? Francesco Ranzato?? Francesca Scozzari?

    E-Print Network [OSTI]

    Giacobazzi, Roberto

    Complete Abstract Interpretations made Constructive Roberto Giacobazzi? Francesco Padova, Italy franz@math.unipd.it Abstract.Completeness is a desirable consider he* *re the most general form of completeness, where concrete semantic functions can have

  11. Fractured Processes: Adaptive, Fine-Grained Process Abstractions Thanumalayan Sankaranarayana Pillai

    E-Print Network [OSTI]

    Swift, Michael

    Fractured Processes: Adaptive, Fine-Grained Process Abstractions Thanumalayan Sankaranarayana. Arpaci-Dusseau University of Wisconsin-Madison Abstract. We introduce Fracture, a novel framework that transforms and modernizes the basic process ab- straction. By "fracturing" an application into logical

  12. The Relationship between Abstract Reasoning and Performance in High School Algebra

    E-Print Network [OSTI]

    Drager, Kirk W.

    2014-08-31

    This study examined abstract reasoning ability as a predictor of success in high school algebra controlling for age, motivation, and previous math achievement. A valid and reliable instrument, the Abstract Reasoning Assessment (ARA), a matrix...

  13. On the Relationships of Substrate Orientation, Hydrogen Abstraction, and Product Stereochemistry in Single and

    E-Print Network [OSTI]

    Ronquist, Fredrik

    On the Relationships of Substrate Orientation, Hydrogen Abstraction, and Product Stereochemistry) catalysis with a conserved active site alanine for S configuration hydroperoxide products for this stereocontrol we compared the stereoselec- tivity of the initiating hydrogen abstraction in soybean LOX-1

  14. Counterexampleguided Abstraction Refinement E. Clarke, O. Grumberg, S. Jha, Y. Lu, H. Veith

    E-Print Network [OSTI]

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

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

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

  17. Abstracting Preparation

    E-Print Network [OSTI]

    Allen, John F.

    is defined here as the maintenance of a constant electrochemical potential and ionic concentration gradient motive force for energy conversion, providing for metabolism, for active transport, and for synthesis

  18. Abstracting Preparation

    E-Print Network [OSTI]

    de Weck, Olivier L.

    . This paper addresses the challenge of long-term exploration and colonization of Mars from a logistical, Rewriting Science News Founding Publisher's Statement Contact The Human Mission to Mars. Colonizin... Paul-November, 2010 Interplanetary Trajectory Analysis and Logistical Considerations of Human Mars Exploration Takuto

  19. talk abstracts

    E-Print Network [OSTI]

    2015-11-06

    Nov 6, 2015 ... Green–Tao theorem on arithmetic progressions in the prime numbers. ... Struwe's energy monotonicity for solutions to the heat equation.

  20. Abstract As

    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 theAboutNAbstract -As

  1. Abstract2007

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

  2. Abstract Measurement

    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 SLACHeat

  3. Error abstractions

    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 submitKansasCommunitiesof Energy ServicesEnergy4thwrites out the header html.

  4. Construction of abstract state graphs with PVS Susanne Graf and Hassen Saidi

    E-Print Network [OSTI]

    Grosu, Radu

    Construction of abstract state graphs with PVS Susanne Graf and Hassen Saidi VERIMAG Centre at the address http:://www.imag.fr/VERIMAG/PEOPLE/Hassen.Saidi/BRP 2 #12; Construction of abstract state graphs of infinite systems with PVS Susanne Graf and Hassen Saidi VERIMAG 1 Abstract In this paper, we propose

  5. Aiding Library Writers in Optimizing the Use of High-Level Abstractions in Scientific Applications

    E-Print Network [OSTI]

    Ramanujam, J. "Ram"

    of the C++ language with a library's abstractions. The high-level grammars simplify the recognition of user-definedAiding Library Writers in Optimizing the Use of High-Level Abstractions in Scientific Applications of abstractions in- troduced (e.g. parallel array objects) are ignored by the C++ compiler. User defined classes

  6. Intra-Class Testing of Abstract Class Features Peter J. Clarke, Djuradj Babich, Tariq M. King

    E-Print Network [OSTI]

    Power, James

    Intra-Class Testing of Abstract Class Features Peter J. Clarke, Djuradj Babich, Tariq M. King is the proliferation of dependencies on abstract classes. Such classes defer the implementation of some features, abstract classes cannot be instantiated, and thus pose challenges for execution-based testing strategies

  7. ABSTRACT APPROACH TO RAMSEY THEORY AND RAMSEY THEOREMS FOR FINITE TREES

    E-Print Network [OSTI]

    Solecki, Slawomir

    ABSTRACT APPROACH TO RAMSEY THEORY AND RAMSEY THEOREMS FOR FINITE TREES SLAWOMIR SOLECKI Abstract. I will give a presentation of an abstract approach to finite Ramsey theory found in an earlier paper of mine. I will prove from it a common generalization of Deuber's Ramsey theorem for regular trees

  8. ABSTRACT APPROACH TO FINITE RAMSEY THEORY AND A SELF-DUAL RAMSEY THEOREM

    E-Print Network [OSTI]

    Solecki, Slawomir

    ABSTRACT APPROACH TO FINITE RAMSEY THEORY AND A SELF-DUAL RAMSEY THEOREM S_LAWOMIR SOLECKI Abstract. We give an abstract approach to finite Ramsey theory and prove a general Ramsey-type theorem. We deduce from it a self-dual Ramsey theorem, which is a new

  9. ABSTRACT APPROACH TO FINITE RAMSEY THEORY AND A SELF-DUAL RAMSEY THEOREM

    E-Print Network [OSTI]

    Solecki, Slawomir

    ABSTRACT APPROACH TO FINITE RAMSEY THEORY AND A SELF-DUAL RAMSEY THEOREM SLAWOMIR SOLECKI Abstract. We give an abstract approach to finite Ramsey theory and prove a general Ramsey-type theorem. We deduce from it a self-dual Ramsey theorem, which is a new result naturally generalizing both

  10. A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

    E-Print Network [OSTI]

    Miller, Dale

    A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification 19104­6389 USA Abstract: It has been argued elsewhere that a logic programming language with function variables and -abstractions within terms makes a good meta-programming language, especially when an object-language

  11. A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

    E-Print Network [OSTI]

    Miller, Dale

    A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification 19104-6389 USA Abstract: It has been argued elsewhere that a logic programming language with function variables and ~-abstractions within terms makes a good meta-programming language, especially when

  12. A Logic Programming Language with LambdaAbstraction, Function Variables, and Simple Unification

    E-Print Network [OSTI]

    Miller, Dale

    A Logic Programming Language with Lambda­Abstraction, Function Variables, and Simple Unification 19104--6389 USA Abstract: It has been argued elsewhere that a logic programming language with function variables and â??­abstractions within terms makes a good meta­programming language, especially when an object­language

  13. The Spurious Path Problem in Abstraction Gaojian Fan and Robert C. Holte

    E-Print Network [OSTI]

    Holte, Robert

    The Spurious Path Problem in Abstraction Gaojian Fan and Robert C. Holte University of Alberta, Edmonton, Alberta, Canada {gaojian, rholte}@ualberta.ca Abstract Abstraction is a powerful technique. We provide syntactical conditions under which our method can re- move state-independent spurious

  14. ASH'S THEOREM FOR ABSTRACT STRUCTURES I. N. SOSKOV AND V. BALEVA

    E-Print Network [OSTI]

    Soskov, Ivan N.

    ASH'S THEOREM FOR ABSTRACT STRUCTURES I. N. SOSKOV AND V. BALEVA Abstract. We introduce and study In this paper we are going to prove an analog of Ash's Theorem 1] for abstract structures. We shall consider of generalization which is in the spirit of the Ash's Theorem 1]. Consider a set B Na. Suppose that you want to add

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

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

  17. Conference program and abstracts. International Biogeography Society 6th Biennial Meeting – 9-13 January 2013, Miami, Florida, USA

    E-Print Network [OSTI]

    2012-01-01

    diverse in the tropics? In Conference program and abstracts.2013, Miami, Florida, USA Conference Program and Abstracts2012 (ISSN 1948-6596 ) Conference Program and Abstracts

  18. Power and Water Resources Pooling Authority NOTICE OF SPECIAL MEETING

    E-Print Network [OSTI]

    Power and Water Resources Pooling Authority NOTICE OF SPECIAL MEETING Notice is hereby given that a special meeting of the Board of Directors of the Power and Water Resources Pooling Authority (PWRPA or service at least 3 days before the meeting. Requests should be sent to: Power and Water Resources Pooling

  19. Export Administration Regulations EARB 298 -October 2001 LEGAL AUTHORITY

    E-Print Network [OSTI]

    Bernstein, Daniel

    omitted text. PART I Principal Statutory Authority 1. Export Administration Act of 1979, as amended (Pub) . . . . . . . . . . . . 69 PART II Executive Orders and Other Presidential Documents Relevant to Part I Statutory Authorities 1. E.O. 12002 - Administration of the Export Administration Act of 1969, as amended (42 FR 35623; 3

  20. Web authoring principles Deborah Cross, ANU Web Coordinator

    E-Print Network [OSTI]

    Web authoring principles Deborah Cross, ANU Web Coordinator ANU Marketing Office #12;Remembering today's session · All tips available in the web style guide at styles.anu.edu.au/guide/author.php · Contact your local web manager · Contact the ANU web team via webstyle@anu.edu.au 2 #12;3 Possible

  1. A Pedagogical Interface for Authoring Adaptive e-Learning Courses

    E-Print Network [OSTI]

    Lau, W. H. Nynson

    different approaches towards learning. In light of this, adaptive educational hypermedia systems (AEHSsA Pedagogical Interface for Authoring Adaptive e-Learning Courses Christopher Watson1 Frederick W to support adaptive e-learning course authoring for different types of students. They require teachers

  2. A Web-based Animation Authoring Application for Quadrupedal Characters 

    E-Print Network [OSTI]

    Murphy, Krista Lea

    2014-12-03

    AUTHORING APPLICATION FOR QUADRUPEDAL CHARACTERS A Thesis by KRISTA LEA MURPHY Submitted to the Office of Graduate and Professional Studies of Texas A&M University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE Chair... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Contributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2. BACKGROUND . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.1 Methods for Authoring Animation . . . . . . . . . . . . . . . . . . . . 3 2...

  3. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Deep Borehole Disposal of Nuclear Waste Arnold Bill Walter Brady Patrick Vane Abstract not provided Sandia National Laboratories SNL NM Albuquerque NM United States USDOE National...

  4. "Title","Creator/Author","Publication Date","OSTI Identifier...

    Office of Scientific and Technical Information (OSTI)

    -06NA25396",,"Technical Report",,,,"Los Alamos National Laboratory (LANL)","LDRD","Instrumentation Related to Nuclear Science & Technology(46) Analytical Chemistry",,"Abstract Not...

  5. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Lorenz Using the Web to Make HPC Easier Long J W GENERAL AND MISCELLANEOUS MATHEMATICS COMPUTING AND INFORMATION SCIENCE Abstract not provided Lawrence Livermore National...

  6. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Los Alamos National Laboratory Physics of Elementary Particles Fields Atomic and Nuclear Physics Atomic and Nuclear Physics Abstract Not Provided Los Alamos National...

  7. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Lestone John P Los Alamos National Laboratory Moller Peter Los Alamos National Laboratory Nuclear Physics Radiation Physics Abstract Not Provided Los Alamos National Laboratory...

  8. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    National Laboratory Steele Steven Los Alamos National Laboratory Atomic and Nuclear Physics Nuclear Physics Radiation Physics Abstract Not Provided Los Alamos National...

  9. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Ion Reactions Romero Redondo C Navratil P Quaglioni S Hupin G Langhammer J Calci A Roth R NUCLEAR PHYSICS AND RADIATION PHYSICS Abstract not provided Lawrence Livermore National...

  10. "Title","Creator/Author","Publication Date","OSTI Identifier...

    Office of Scientific and Technical Information (OSTI)

    ; Merida, Mexico","Los Alamos National Laboratory (LANL)","LDRD","Atomic and Nuclear Physics; Nuclear Physics & Radiation Physics(73)",,"Abstract Not Provided",,"United...

  11. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Yields Calculated in a Time Dependent Microscopic Theory of Fission Younes W Gogny D NUCLEAR PHYSICS AND RADIATION PHYSICS Abstract not provided Lawrence Livermore National...

  12. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    A microscopic theory of low energy fission fragment properties Younes W Gogny D Schunck N NUCLEAR PHYSICS AND RADIATION PHYSICS Abstract not provided Lawrence Livermore National...

  13. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Geothermal Legacy Geothermal Legacy No abstract prepared OSTI as DE00751116 Brookhaven National Lab Upton NY US USDOE Office of Energy Research ER US United States English...

  14. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    POLLUTANT EFFECTS ON LIVING ORGANISMS AND BIOLOGICAL MATERIALS ENGINES NOISE POLLUTION ABATEMENT POLLUTION CONTROL EQUIPMENT ELECTRIC GENERATORS No abstract prepared OSTI...

  15. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Deep Borehole Disposal of Spent Fuel Brady Patrick V Abstract not provided Sandia National Laboratories SNL NM Albuquerque NM United States USDOE National Nuclear Security...

  16. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Future Bottlenecks for Industrial Water Recycling Brady Patrick V Abstract Not Provided Sandia National Laboratories USDOE National Nuclear Security Administration NNSA United...

  17. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Sequential Threat Detection for Harbor Defense An X ray Physics Based Bayesian Approach Candy J V ENGINEERING NUCLEAR PHYSICS AND RADIATION PHYSICS Abstract not provided Lawrence...

  18. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    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 Abstract Not Provided Los Alamos National Laboratory LANL DOE...

  19. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Research Development and Demonstration Roadmap for Deep Borehole Disposal Arnold Bill W MacKinnon Robert J Brady Patrick V Abstract Not Provided Sandia National Laboratories USDOE...

  20. TITLE AUTHORS SUBJECT SUBJECT RELATED DESCRIPTION PUBLISHER AVAILABILI...

    Office of Scientific and Technical Information (OSTI)

    Graphene resonators analysis and film transfer Suggs Maria E Abstract Not Provided Sandia National Laboratories USDOE United States English Technical Report Medium ED Size p OSTI...